add unit tests for constant optimizer using solfuzzer

Author: Mohammad Rezaei

test/cmdlineTests/~soljson_via_fuzzer/test.sh

@@ -13,4 +13,7 @@ cd "$SOLTMPDIR"
 gnu_grep -L --include="*.sol" "^pragma experimental solidity;$" ./* | xargs -P 4 -n 50 "${SOLIDITY_BUILD_DIR}/test/tools/solfuzzer" --quiet --input-files
 gnu_grep -L --include="*.sol" "^pragma experimental solidity;$" ./* | xargs -P 4 -n 50 "${SOLIDITY_BUILD_DIR}/test/tools/solfuzzer" --without-optimizer --quiet --input-files
 
+# constant optimizer tests
+grep -v "#" "$REPO_ROOT"/test/libevmasm/constants.txt | xargs -I {} sh -c "echo -n {} | "${SOLIDITY_BUILD_DIR}"/test/tools/solfuzzer --quiet --const-opt --hex"
+
 rm -r "$SOLTMPDIR"

test/libevmasm/constants.txt

@@ -0,0 +1,358 @@
+# masks with 1 bits
+1
+2000000
+8000000000000
+10000000000000000000
+40000000000000000000000000
+80000000000000000000000000000000
+200000000000000000000000000000000000000
+400000000000000000000000000000000000000000000
+1000000000000000000000000000000000000000000000000000
+2000000000000000000000000000000000000000000000000000000000
+8000000000000000000000000000000000000000000000000000000000000000
+# masks with 2 bits
+3
+6000000
+c000000000000
+30000000000000000000
+60000000000000000000000000
+180000000000000000000000000000000
+300000000000000000000000000000000000000
+600000000000000000000000000000000000000000000
+1800000000000000000000000000000000000000000000000000
+3000000000000000000000000000000000000000000000000000000000
+c000000000000000000000000000000000000000000000000000000000000000
+# masks with 3 bits
+7
+e000000
+1c000000000000
+38000000000000000000
+e0000000000000000000000000
+1c0000000000000000000000000000000
+380000000000000000000000000000000000000
+e00000000000000000000000000000000000000000000
+1c00000000000000000000000000000000000000000000000000
+3800000000000000000000000000000000000000000000000000000000
+e000000000000000000000000000000000000000000000000000000000000000
+# masks with 4 bits
+f
+1e000000
+3c000000000000
+78000000000000000000
+f0000000000000000000000000
+3c0000000000000000000000000000000
+780000000000000000000000000000000000000
+f00000000000000000000000000000000000000000000
+1e00000000000000000000000000000000000000000000000000
+3c00000000000000000000000000000000000000000000000000000000
+f000000000000000000000000000000000000000000000000000000000000000
+# masks with 7 bits
+7f
+7f000000
+fe000000000000
+1fc000000000000000000
+3f8000000000000000000000000
+7f0000000000000000000000000000000
+fe0000000000000000000000000000000000000
+1fc0000000000000000000000000000000000000000000
+3f80000000000000000000000000000000000000000000000000
+7f00000000000000000000000000000000000000000000000000000000
+fe00000000000000000000000000000000000000000000000000000000000000
+# masks with 8 bits
+ff
+ff000000
+1fe000000000000
+3fc000000000000000000
+7f8000000000000000000000000
+ff0000000000000000000000000000000
+ff0000000000000000000000000000000000000
+1fe0000000000000000000000000000000000000000000
+3fc0000000000000000000000000000000000000000000000000
+7f80000000000000000000000000000000000000000000000000000000
+ff00000000000000000000000000000000000000000000000000000000000000
+# masks with 16 bits
+ffff
+ffff000000
+ffff000000000000
+ffff000000000000000000
+ffff000000000000000000000000
+ffff000000000000000000000000000000
+ffff000000000000000000000000000000000000
+ffff000000000000000000000000000000000000000000
+ffff000000000000000000000000000000000000000000000000
+ffff000000000000000000000000000000000000000000000000000000
+ffff000000000000000000000000000000000000000000000000000000000000
+# masks with 23 bits
+7fffff
+3fffff800000
+1fffffc00000000000
+fffffe00000000000000000
+fffffe00000000000000000000000
+7fffff00000000000000000000000000000
+3fffff80000000000000000000000000000000000
+3fffff80000000000000000000000000000000000000000
+1fffffc0000000000000000000000000000000000000000000000
+fffffe0000000000000000000000000000000000000000000000000000
+fffffe0000000000000000000000000000000000000000000000000000000000
+# masks with 32 bits
+ffffffff
+3fffffffc00000
+ffffffff00000000000
+7fffffff80000000000000000
+1fffffffe0000000000000000000000
+ffffffff0000000000000000000000000000
+3fffffffc000000000000000000000000000000000
+ffffffff000000000000000000000000000000000000000
+7fffffff800000000000000000000000000000000000000000000
+1fffffffe00000000000000000000000000000000000000000000000000
+ffffffff00000000000000000000000000000000000000000000000000000000
+# masks with 47 bits
+7fffffffffff
+7fffffffffff00000
+fffffffffffe0000000000
+1fffffffffffc000000000000000
+3fffffffffff800000000000000000000
+7fffffffffff00000000000000000000000000
+fffffffffffe0000000000000000000000000000000
+1fffffffffffc000000000000000000000000000000000000
+3fffffffffff800000000000000000000000000000000000000000
+7fffffffffff00000000000000000000000000000000000000000000000
+fffffffffffe0000000000000000000000000000000000000000000000000000
+# masks with 64 bits
+ffffffffffffffff
+7fffffffffffffff80000
+3fffffffffffffffc000000000
+1fffffffffffffffe00000000000000
+ffffffffffffffff0000000000000000000
+ffffffffffffffff000000000000000000000000
+7fffffffffffffff80000000000000000000000000000
+3fffffffffffffffc000000000000000000000000000000000
+1fffffffffffffffe00000000000000000000000000000000000000
+ffffffffffffffff0000000000000000000000000000000000000000000
+ffffffffffffffff000000000000000000000000000000000000000000000000
+# masks with 92 bits
+fffffffffffffffffffffff
+fffffffffffffffffffffff0000
+fffffffffffffffffffffff00000000
+1ffffffffffffffffffffffe000000000000
+1ffffffffffffffffffffffe0000000000000000
+3ffffffffffffffffffffffc00000000000000000000
+3ffffffffffffffffffffffc000000000000000000000000
+3ffffffffffffffffffffffc0000000000000000000000000000
+7ffffffffffffffffffffff800000000000000000000000000000000
+7ffffffffffffffffffffff8000000000000000000000000000000000000
+fffffffffffffffffffffff00000000000000000000000000000000000000000
+# masks with 103 bits
+7fffffffffffffffffffffffff
+3fffffffffffffffffffffffff8000
+1fffffffffffffffffffffffffc0000000
+fffffffffffffffffffffffffe00000000000
+fffffffffffffffffffffffffe000000000000000
+7fffffffffffffffffffffffff0000000000000000000
+3fffffffffffffffffffffffff80000000000000000000000
+3fffffffffffffffffffffffff800000000000000000000000000
+1fffffffffffffffffffffffffc000000000000000000000000000000
+fffffffffffffffffffffffffe0000000000000000000000000000000000
+fffffffffffffffffffffffffe00000000000000000000000000000000000000
+# masks with 128 bits
+ffffffffffffffffffffffffffffffff
+ffffffffffffffffffffffffffffffff000
+1fffffffffffffffffffffffffffffffe000000
+3fffffffffffffffffffffffffffffffc000000000
+7fffffffffffffffffffffffffffffff8000000000000
+ffffffffffffffffffffffffffffffff0000000000000000
+ffffffffffffffffffffffffffffffff0000000000000000000
+1fffffffffffffffffffffffffffffffe0000000000000000000000
+3fffffffffffffffffffffffffffffffc0000000000000000000000000
+7fffffffffffffffffffffffffffffff80000000000000000000000000000
+ffffffffffffffffffffffffffffffff00000000000000000000000000000000
+# masks with 133 bits
+1fffffffffffffffffffffffffffffffff
+1fffffffffffffffffffffffffffffffff000
+1fffffffffffffffffffffffffffffffff000000
+1fffffffffffffffffffffffffffffffff000000000
+3ffffffffffffffffffffffffffffffffe000000000000
+3ffffffffffffffffffffffffffffffffe000000000000000
+3ffffffffffffffffffffffffffffffffe000000000000000000
+7ffffffffffffffffffffffffffffffffc000000000000000000000
+7ffffffffffffffffffffffffffffffffc000000000000000000000000
+7ffffffffffffffffffffffffffffffffc000000000000000000000000000
+fffffffffffffffffffffffffffffffff8000000000000000000000000000000
+# masks with 160 bits
+ffffffffffffffffffffffffffffffffffffffff
+1fffffffffffffffffffffffffffffffffffffffe00
+7fffffffffffffffffffffffffffffffffffffff80000
+ffffffffffffffffffffffffffffffffffffffff0000000
+3fffffffffffffffffffffffffffffffffffffffc000000000
+ffffffffffffffffffffffffffffffffffffffff000000000000
+1fffffffffffffffffffffffffffffffffffffffe00000000000000
+7fffffffffffffffffffffffffffffffffffffff80000000000000000
+ffffffffffffffffffffffffffffffffffffffff0000000000000000000
+3fffffffffffffffffffffffffffffffffffffffc000000000000000000000
+ffffffffffffffffffffffffffffffffffffffff000000000000000000000000
+# masks with 175 bits
+7fffffffffffffffffffffffffffffffffffffffffff
+7fffffffffffffffffffffffffffffffffffffffffff00
+7fffffffffffffffffffffffffffffffffffffffffff0000
+7fffffffffffffffffffffffffffffffffffffffffff000000
+7fffffffffffffffffffffffffffffffffffffffffff00000000
+7fffffffffffffffffffffffffffffffffffffffffff0000000000
+7fffffffffffffffffffffffffffffffffffffffffff000000000000
+7fffffffffffffffffffffffffffffffffffffffffff00000000000000
+7fffffffffffffffffffffffffffffffffffffffffff0000000000000000
+7fffffffffffffffffffffffffffffffffffffffffff000000000000000000
+fffffffffffffffffffffffffffffffffffffffffffe00000000000000000000
+# masks with 200 bits
+ffffffffffffffffffffffffffffffffffffffffffffffffff
+1fffffffffffffffffffffffffffffffffffffffffffffffffe0
+7fffffffffffffffffffffffffffffffffffffffffffffffff800
+ffffffffffffffffffffffffffffffffffffffffffffffffff0000
+3fffffffffffffffffffffffffffffffffffffffffffffffffc00000
+ffffffffffffffffffffffffffffffffffffffffffffffffff0000000
+1fffffffffffffffffffffffffffffffffffffffffffffffffe00000000
+7fffffffffffffffffffffffffffffffffffffffffffffffff8000000000
+ffffffffffffffffffffffffffffffffffffffffffffffffff00000000000
+3fffffffffffffffffffffffffffffffffffffffffffffffffc000000000000
+ffffffffffffffffffffffffffffffffffffffffffffffffff00000000000000
+# masks with 255 bits
+7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
+# masks with 256 bits
+ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+# powers of ten multiplied by 1
+a
+64
+3e8
+2710
+186a0
+f4240
+989680
+5f5e100
+3b9aca00
+2540be400
+174876e800
+e8d4a51000
+9184e72a000
+5af3107a4000
+38d7ea4c68000
+2386f26fc10000
+16345785d8a0000
+de0b6b3a7640000
+8ac7230489e80000
+56bc75e2d63100000
+3635c9adc5dea00000
+21e19e0c9bab2400000
+152d02c7e14af6800000
+d3c21bcecceda1000000
+84595161401484a000000
+52b7d2dcc80cd2e4000000
+33b2e3c9fd0803ce8000000
+204fce5e3e25026110000000
+1431e0fae6d7217caa0000000
+c9f2c9cd04674edea40000000
+7e37be2022c0914b2680000000
+4ee2d6d415b85acef8100000000
+314dc6448d9338c15b0a00000000
+1ed09bead87c0378d8e6400000000
+13426172c74d822b878fe800000000
+c097ce7bc90715b34b9f1000000000
+785ee10d5da46d900f436a000000000
+4b3b4ca85a86c47a098a224000000000
+2f050fe938943acc45f65568000000000
+1d6329f1c35ca4bfabb9f5610000000000
+125dfa371a19e6f7cb54395ca0000000000
+b7abc627050305adf14a3d9e40000000000
+72cb5bd86321e38cb6ce6682e80000000000
+47bf19673df52e37f2410011d100000000000
+2cd76fe086b93ce2f768a00b22a00000000000
+1c06a5ec5433c60ddaa16406f5a400000000000
+118427b3b4a05bc8a8a4de845986800000000000
+af298d050e4395d69670b12b7f41000000000000
+6d79f82328ea3da61e066ebb2f88a000000000000
+446c3b15f9926687d2c40534fdb564000000000000
+2ac3a4edbbfb8014e3ba83411e915e8000000000000
+1aba4714957d300d0e549208b31adb10000000000000
+10b46c6cdd6e3e0828f4db456ff0c8ea0000000000000
+a70c3c40a64e6c51999090b65f67d9240000000000000
+6867a5a867f103b2fffa5a71fba0e7b680000000000000
+4140c78940f6a24fdffc78873d4490d2100000000000000
+28c87cb5c89a2571ebfdcb54864ada834a00000000000000
+197d4df19d605767337e9f14d3eec8920e400000000000000
+fee50b7025c36a0802f236d04753d5b48e800000000000000
+9f4f2726179a224501d762422c946590d91000000000000000
+63917877cec0556b21269d695bdcbf7a87aa000000000000000
+3e3aeb4ae1383562f4b82261d969f7ac94ca4000000000000000
+26e4d30eccc3215dd8f3157d27e23acbdcfe68000000000000000
+184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000
+f316271c7fc3908a8bef464e3945ef7a25360a0000000000000000
+97edd871cfda3a5697758bf0e3cbb5ac5741c640000000000000000
+5ef4a74721e864761ea977768e5f518bb6891be80000000000000000
+3b58e88c75313ec9d329eaaa18fb92f75215b17100000000000000000
+25179157c93ec73e23fa32aa4f9d3bda934d8ee6a00000000000000000
+172ebad6ddc73c86d67c5faa71c245689c1079502400000000000000000
+e7d34c64a9c85d4460dbbca87196b61618a4bd216800000000000000000
+90e40fbeea1d3a4abc8955e946fe31cdcf66f634e1000000000000000000
+5a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca000000000000000000
+3899162693736ac531a5a58f1fbb4b746504382ca7e4000000000000000000
+235fadd81c2822bb3f07877973d50f28bf22a31be8ee8000000000000000000
+161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000
+dd15fe86affad91249ef0eb713f39ebeaa987b6e6fd2a0000000000000000000
+# powers of ten multiplied by ffffffffffffffff
+9fffffffffffffff6
+63ffffffffffffff9c
+3e7fffffffffffffc18
+270fffffffffffffd8f0
+1869ffffffffffffe7960
+f423ffffffffffff0bdc0
+98967fffffffffff676980
+5f5e0fffffffffffa0a1f00
+3b9ac9ffffffffffc4653600
+2540be3fffffffffdabf41c00
+174876e7ffffffffe8b7891800
+e8d4a50fffffffff172b5af000
+9184e729ffffffff6e7b18d6000
+5af3107a3fffffffa50cef85c000
+38d7ea4c67ffffffc72815b398000
+2386f26fc0ffffffdc790d903f0000
+16345785d89fffffe9cba87a2760000
+de0b6b3a763fffff21f494c589c0000
+8ac7230489e7ffff7538dcfb76180000
+56bc75e2d630ffffa9438a1d29cf00000
+3635c9adc5de9fffc9ca36523a21600000
+21e19e0c9bab23ffde1e61f36454dc00000
+152d02c7e14af67fead2fd381eb509800000
+d3c21bcecceda0ff2c3de43133125f000000
+845951614014849f7ba6ae9ebfeb7b6000000
+52b7d2dcc80cd2e3ad482d2337f32d1c000000
+33b2e3c9fd0803ce4c4d1c3602f7fc318000000
+204fce5e3e250260efb031a1c1dafd9ef0000000
+1431e0fae6d7217c95ce1f051928de83560000000
+c9f2c9cd04674eddda0d3632fb98b1215c0000000
+7e37be2022c0914aa84841dfdd3f6eb4d980000000
+4ee2d6d415b85acea92d292bea47a53107f00000000
+314dc6448d9338c129bc39bb726cc73ea4f600000000
+1ed09bead87c0378ba15a4152783fc872719c00000000
+13426172c74d822b744d868d38b27dd478701800000000
+c097ce7bc90715b28b07418436f8ea4cb460f000000000
+785ee10d5da46d8f96e488f2a25b926ff0bc96000000000
+4b3b4ca85a86c479be4ed597a5793b85f675ddc000000000
+2f050fe938943acc16f1457ec76bc533ba09aa98000000000
+1d6329f1c35ca4bf8e56cb6f3ca35b4054460a9f0000000000
+125dfa371a19e6f7b8f63f2585e6190834abc6a360000000000
+b7abc627050305ad399e77773afcfa520eb5c261c0000000000
+72cb5bd86321e38c44030aaa84de1c734931997d180000000000
+47bf19673df52e37aa81e6aa930ad1c80dbeffee2f00000000000
+2cd76fe086b93ce2ca91302a9be6c31d08975ff4dd600000000000
+1c06a5ec5433c60dbe9abe1aa17039f2255e9bf90a5c00000000000
+118427b3b4a05bc89720b6d0a4e62437575b217ba679800000000000
+af298d050e4395d5e747242670fd6a29698f4ed480bf000000000000
+6d79f82328ea3da5b08c7698069e6259e1f99144d0776000000000000
+446c3b15f99266878e57ca1f0422fd782d3bfacb024a9c000000000000
+2ac3a4edbbfb8014b8f6de536295de6b1c457cbee16ea18000000000000
+1aba4714957d300cf39a4af41d9dab02f1ab6df74ce524f0000000000000
+10b46c6cdd6e3e0818406ed892828ae1d70b24ba900f37160000000000000
+a70c3c40a64e6c50f2845475b9196cd2666f6f49a09826dc0000000000000
+6867a5a867f103b29792b4c993afe4038005a58e045f184980000000000000
+4140c78940f6a24f9ebbb0fdfc4dee8230038778c2bb6f2df00000000000000
+28c87cb5c89a2571c3354e9ebdb0b5115e0234ab79b5257cb600000000000000
+# end of file -- no newline please

test/tools/afl_fuzzer.cpp

@@ -55,7 +55,12 @@ Allowed options)",
 		(
 			"const-opt",
 			"Run the constant optimizer instead of compiling. "
-			"Expects a binary string of up to 32 bytes on stdin."
+			"Expects a binary string of up to 32 bytes on stdin or a single hex string with --hex."
+		)
+		(
+			"hex",
+			"Only usd with const-opt"
+			"stdin must contain a single hex value, including 0x at the front"
 		)
 		(
 			"input-file",
@@ -120,7 +125,7 @@ Allowed options)",
 		try
 		{
 			if (arguments.count("const-opt"))
-				FuzzerUtil::testConstantOptimizer(input, quiet);
+				FuzzerUtil::testConstantOptimizer(input, quiet, arguments.count("hex"));
 			else if (arguments.count("standard-json"))
 				FuzzerUtil::testStandardCompiler(input, quiet);
 			else