blob: 60f2feded6ce59fa3767e2f3724a055dd1ddbc09 [file] [log] [blame]
Janos Follathdf8239b2022-11-02 14:40:58 +00001"""Framework classes for generation of bignum mod_raw test cases."""
2# Copyright The Mbed TLS Contributors
3# SPDX-License-Identifier: Apache-2.0
4#
5# Licensed under the Apache License, Version 2.0 (the "License"); you may
6# not use this file except in compliance with the License.
7# You may obtain a copy of the License at
8#
9# http://www.apache.org/licenses/LICENSE-2.0
10#
11# Unless required by applicable law or agreed to in writing, software
12# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
13# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14# See the License for the specific language governing permissions and
15# limitations under the License.
16
Janos Follath284672c2022-11-19 14:55:43 +000017from typing import Dict, List
Janos Follathdf8239b2022-11-02 14:40:58 +000018
19from . import test_data_generation
Minos Galanakise9c86a12022-11-09 11:46:47 +000020from . import bignum_common
Janos Follathdf8239b2022-11-02 14:40:58 +000021
Janos Follath0cd89672022-11-09 12:14:14 +000022class BignumModRawTarget(test_data_generation.BaseTarget):
23 #pylint: disable=abstract-method, too-few-public-methods
Janos Follathdf8239b2022-11-02 14:40:58 +000024 """Target for bignum mod_raw test case generation."""
25 target_basename = 'test_suite_bignum_mod_raw.generated'
26
Minos Galanakis855c2282022-11-10 11:33:25 +000027# BEGIN MERGE SLOT 1
28
29# END MERGE SLOT 1
30
31# BEGIN MERGE SLOT 2
32
33# END MERGE SLOT 2
34
35# BEGIN MERGE SLOT 3
36
37# END MERGE SLOT 3
38
39# BEGIN MERGE SLOT 4
40
41# END MERGE SLOT 4
42
43# BEGIN MERGE SLOT 5
44
45# END MERGE SLOT 5
46
47# BEGIN MERGE SLOT 6
48
49# END MERGE SLOT 6
50
51# BEGIN MERGE SLOT 7
Janos Follathf352c672022-11-20 13:40:25 +000052
Janos Follath155ad8c2022-11-17 14:42:40 +000053class BignumModRawConvertToMont(bignum_common.ModOperationCommon,
Janos Follath948afce2022-11-17 13:38:56 +000054 BignumModRawTarget):
Minos Galanakisa252f6b2022-11-09 19:23:53 +000055 """ Test cases for mpi_mod_raw_to_mont_rep(). """
Minos Galanakisa252f6b2022-11-09 19:23:53 +000056 test_function = "mpi_mod_raw_to_mont_rep"
57 test_name = "Convert into Mont: "
Janos Follath8ae7a652022-11-19 15:05:19 +000058 symbol = "R *"
Janos Follath6fa3f062022-11-17 20:33:51 +000059 input_style = "arch_split"
Janos Follath1921fd52022-11-18 17:51:02 +000060 arity = 1
Minos Galanakisa252f6b2022-11-09 19:23:53 +000061
Minos Galanakisa252f6b2022-11-09 19:23:53 +000062 def result(self) -> List[str]:
Janos Follath1921fd52022-11-18 17:51:02 +000063 result = (self.int_a * self.r) % self.int_n
64 return [self.format_result(result)]
Minos Galanakisa252f6b2022-11-09 19:23:53 +000065
Minos Galanakis50de0732022-11-09 19:36:16 +000066
Janos Follathf352c672022-11-20 13:40:25 +000067class BignumModRawConvertFromMont(bignum_common.ModOperationCommon,
68 BignumModRawTarget):
Minos Galanakis50de0732022-11-09 19:36:16 +000069 """ Test cases for mpi_mod_raw_from_mont_rep(). """
Minos Galanakis50de0732022-11-09 19:36:16 +000070 test_function = "mpi_mod_raw_from_mont_rep"
71 test_name = "Convert from Mont: "
Janos Follath8ae7a652022-11-19 15:05:19 +000072 symbol = "1/R *"
Janos Follathf352c672022-11-20 13:40:25 +000073 input_style = "arch_split"
74 arity = 1
Minos Galanakis50de0732022-11-09 19:36:16 +000075
Janos Follath1921fd52022-11-18 17:51:02 +000076 def result(self) -> List[str]:
77 result = (self.int_a * self.r_inv) % self.int_n
78 return [self.format_result(result)]
79
80
Janos Follath1be322a2022-11-02 14:46:23 +000081# END MERGE SLOT 7
82
83# BEGIN MERGE SLOT 8
84
85# END MERGE SLOT 8
86
87# BEGIN MERGE SLOT 9
88
89# END MERGE SLOT 9
90
91# BEGIN MERGE SLOT 10
92
93# END MERGE SLOT 10