Add a modexp test where base length is 2^64

2 files changed, 48 insertions, 5 deletions

diff --git a/GeneralStateTests/stPreCompiledContracts/modexp.json b/GeneralStateTests/stPreCompiledContracts/modexp.json
index c5a8c75ce..c5817b927 100644
--- a/GeneralStateTests/stPreCompiledContracts/modexp.json
+++ b/GeneralStateTests/stPreCompiledContracts/modexp.json
@@ -2,7 +2,7 @@
     "modexp" : {
         "_info" : {
             "comment" : "",
-            "filledwith" : "cpp-1.3.0+commit.bc18ce87.Linux.g++",
+            "filledwith" : "cpp-1.3.0+commit.29c877a3.Linux.g++",
             "source" : "/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json"
         },
         "env" : {
@@ -238,6 +238,14 @@
                         "gas" : 0,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "0x04c1a9eddf133cae0729735fa6251863e2ea8e0760d4205a75bc87803555a1f3",
+                    "indexes" : {
+                        "data" : 28,
+                        "gas" : 0,
+                        "value" : 0
+                    }
                 }
             ],
             "EIP158" : [
@@ -464,6 +472,14 @@
                         "gas" : 0,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "0x04c1a9eddf133cae0729735fa6251863e2ea8e0760d4205a75bc87803555a1f3",
+                    "indexes" : {
+                        "data" : 28,
+                        "gas" : 0,
+                        "value" : 0
+                    }
                 }
             ],
             "Frontier" : [
@@ -690,6 +706,14 @@
                         "gas" : 0,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "0xbbe41bbf20a3f2663091f141148c584776955f1ddfe40a9c56eeb43c63cf961f",
+                    "indexes" : {
+                        "data" : 28,
+                        "gas" : 0,
+                        "value" : 0
+                    }
                 }
             ],
             "Homestead" : [
@@ -916,6 +940,14 @@
                         "gas" : 0,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "0xbbe41bbf20a3f2663091f141148c584776955f1ddfe40a9c56eeb43c63cf961f",
+                    "indexes" : {
+                        "data" : 28,
+                        "gas" : 0,
+                        "value" : 0
+                    }
                 }
             ],
             "Metropolis" : [
@@ -1142,6 +1174,14 @@
                         "gas" : 0,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "0x8b0936c7732c47d392f0985635df5cbf80b287c306abb56f667a932933921275",
+                    "indexes" : {
+                        "data" : 28,
+                        "gas" : 0,
+                        "value" : 0
+                    }
                 }
             ]
         },
@@ -1190,7 +1230,8 @@
                 "0x000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002",
                 "0x000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001001001010010",
                 "0x000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000064",
-                "0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000010100000000000000000000000000000000000000000000000000000000000000020200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030006"
+                "0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000010100000000000000000000000000000000000000000000000000000000000000020200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030006",
+                "0x00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000"
             ],
             "gasLimit" : [
                 "0x05f5e100"
diff --git a/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json b/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
index 842adfc4a..db2feefcb 100644
--- a/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
+++ b/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
@@ -59,7 +59,7 @@
             },
 	    {
                 "indexes" : {
-                    "data" : [2],
+                    "data" : [2,28],
                     "gas" : -1,
                     "value" : -1
                 },
@@ -180,7 +180,8 @@
 		"24 - Non-zero length base & exp & mod and no values in input data - interpreted as all zeroes",
 		"25 - Price calculation when baseLength > modLength",
 		"26 - bigint_expmod precompiled contract returns 1 for 0 ^ 0 mod 100",
-		"27 - 02 ** 03 % 06, but exp with 256 bytes of zero in front."
+		"27 - 02 ** 03 % 06, but exp with 256 bytes of zero in front.",
+		"28 - base length 2^64"
 	    ],
             "data" : [
                 "0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002003fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2efffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f",
@@ -210,7 +211,8 @@
 "0x000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002",
 "0x000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001001001010010",
 "0x000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000064",
-"0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000010100000000000000000000000000000000000000000000000000000000000000020200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030006"
+"0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000010100000000000000000000000000000000000000000000000000000000000000020200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030006",
+"0x00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000"
             ],
             "gasLimit" : [
                 "100000000"