xref: /llvm-project/polly/lib/External/isl/imath/tests/isprime.tc (revision 658eb9e14264d48888ade0e3daf0b648f76c3f0e)
1*658eb9e1SMichael Kruse# Primality check tests
2*658eb9e1SMichael Kruse
3*658eb9e1SMichael Kruse# Values < 2 are definitionally nonprime.
4*658eb9e1SMichael Kruseisprime:-39849281983491823000:$MP_FALSE
5*658eb9e1SMichael Kruseisprime:-1:$MP_FALSE
6*658eb9e1SMichael Kruseisprime:0:$MP_FALSE
7*658eb9e1SMichael Kruseisprime:1:$MP_FALSE
8*658eb9e1SMichael Kruse
9*658eb9e1SMichael Kruse# Various small primes.
10*658eb9e1SMichael Kruseisprime:2:$MP_TRUE
11*658eb9e1SMichael Kruseisprime:3:$MP_TRUE
12*658eb9e1SMichael Kruseisprime:5:$MP_TRUE
13*658eb9e1SMichael Kruseisprime:7:$MP_TRUE
14*658eb9e1SMichael Kruseisprime:23:$MP_TRUE
15*658eb9e1SMichael Kruseisprime:37:$MP_TRUE
16*658eb9e1SMichael Kruseisprime:997:$MP_TRUE
17*658eb9e1SMichael Kruse
18*658eb9e1SMichael Kruse# Mersenne primes.
19*658eb9e1SMichael Kruseisprime:162259276829213363391578010288127:$MP_TRUE
20*658eb9e1SMichael Kruseisprime:170141183460469231731687303715884105727:$MP_TRUE
21*658eb9e1SMichael Kruseisprime:6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151:$MP_TRUE
22*658eb9e1SMichael Kruse
23*658eb9e1SMichael Kruse# M11 * 829
24*658eb9e1SMichael Kruseisprime:134512940491417878251618170528857283:$MP_FALSE
25*658eb9e1SMichael Kruse# M12 * 1013
26*658eb9e1SMichael Kruseisprime:172353018845455331744199238664190599101451:$MP_FALSE
27*658eb9e1SMichael Kruse# M13 * 65537
28*658eb9e1SMichael Kruseisprime:449898244251979768890768832669397267280186981265491806615484951724642943610332184687956191170029747169547068359663480993178863727537429685544664092114807500505087:$MP_FALSE
29*658eb9e1SMichael Kruse
30*658eb9e1SMichael Kruse# NIST CAVP test vectors (RSA key factors).
31*658eb9e1SMichael Kruse# http://csrc.nist.gov/groups/STM/cavp/documents/dss/186-2rsatestvectors.zip
32*658eb9e1SMichael Kruseisprime:#xe55a8129ca50f0243e06db83063bcf28cd006dc7c8ca269b96c642576a6c27606b57d8395b5c06852f9f1c6bc4be816610335871411733986a64094c115f35e7:$MP_TRUE
33*658eb9e1SMichael Kruseisprime:#xed47455771df4e093355ffff707d2bd626ee5afcd7b6b609894d285311c8bebc914f50cf40d33532b5e44a1cab04444b474e9f843e018efe425ee8e3e8521101:$MP_TRUE
34