cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

LLL bytecode is padded by STOP in tests

Browse Source
This commit is contained in:
Alex Beregszaszi 2018-09-19 17:29:01 +01:00 committed by chriseth
parent 280255e64d
commit d2e65a3ac4
1 changed files with 239 additions and 239 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

478
test/liblll/Compiler.cpp
View File

@ -147,109 +147,109 @@ BOOST_AUTO_TEST_CASE(disallowed_functional_asm_instructions)
BOOST_AUTO_TEST_CASE(valid_opcodes_functional) BOOST_AUTO_TEST_CASE(valid_opcodes_functional)
{ {
vector<string> opcodes_bytecode { vector<string> opcodes_bytecode {
"00", "0000",
"6000600001", "600060000100",
"6000600002", "600060000200",
"6000600003", "600060000300",
"6000600004", "600060000400",
"6000600005", "600060000500",
"6000600006", "600060000600",
"6000600007", "600060000700",
"60006000600008", "6000600060000800",
"60006000600009", "6000600060000900",
"600060000a", "600060000a00",
"600060000b", "600060000b00",
"6000600010", "600060001000",
"6000600011", "600060001100",
"6000600012", "600060001200",
"6000600013", "600060001300",
"6000600014", "600060001400",
"600015", "60001500",
"6000600016", "600060001600",
"6000600017", "600060001700",
"6000600018", "600060001800",
"600019", "60001900",
"600060001a", "600060001a00",
"6000600020", "600060002000",
"30", "3000",
"600031", "60003100",
"32", "3200",
"33", "3300",
"34", "3400",
"600035", "60003500",
"36", "3600",
"60006000600037", "6000600060003700",
"38", "3800",
"60006000600039", "6000600060003900",
"3a", "3a00",
"60003b", "60003b00",
"60006000600060003c", "60006000600060003c00",
"3d", "3d00",
"6000600060003e", "6000600060003e00",
"60003f", "60003f00",
"600040", "60004000",
"41", "4100",
"42", "4200",
"43", "4300",
"44", "4400",
"45", "4500",
"600050", "60005000",
"600051", "60005100",
"6000600052", "600060005200",
"6000600053", "600060005300",
"600054", "60005400",
"6000600055", "600060005500",
"600056", "60005600",
"6000600057", "600060005700",
"58", "5800",
"59", "5900",
"5a", "5a00",
"60ff", "60ff00",
"61ffff", "61ffff00",
"62ffffff", "62ffffff00",
"63ffffffff", "63ffffffff00",
"64ffffffffff", "64ffffffffff00",
"65ffffffffffff", "65ffffffffffff00",
"66ffffffffffffff", "66ffffffffffffff00",
"67ffffffffffffffff", "67ffffffffffffffff00",
"68ffffffffffffffffff", "68ffffffffffffffffff00",
"69ffffffffffffffffffff", "69ffffffffffffffffffff00",
"6affffffffffffffffffffff", "6affffffffffffffffffffff00",
"6bffffffffffffffffffffffff", "6bffffffffffffffffffffffff00",
"6cffffffffffffffffffffffffff", "6cffffffffffffffffffffffffff00",
"6dffffffffffffffffffffffffffff", "6dffffffffffffffffffffffffffff00",
"6effffffffffffffffffffffffffffff", "6effffffffffffffffffffffffffffff00",
"6fffffffffffffffffffffffffffffffff", "6fffffffffffffffffffffffffffffffff00",
"70ffffffffffffffffffffffffffffffffff", "70ffffffffffffffffffffffffffffffffff00",
"71ffffffffffffffffffffffffffffffffffff", "71ffffffffffffffffffffffffffffffffffff00",
"72ffffffffffffffffffffffffffffffffffffff", "72ffffffffffffffffffffffffffffffffffffff00",
"73ffffffffffffffffffffffffffffffffffffffff", "73ffffffffffffffffffffffffffffffffffffffff00",
"74ffffffffffffffffffffffffffffffffffffffffff", "74ffffffffffffffffffffffffffffffffffffffffff00",
"75ffffffffffffffffffffffffffffffffffffffffffff", "75ffffffffffffffffffffffffffffffffffffffffffff00",
"76ffffffffffffffffffffffffffffffffffffffffffffff", "76ffffffffffffffffffffffffffffffffffffffffffffff00",
"77ffffffffffffffffffffffffffffffffffffffffffffffff", "77ffffffffffffffffffffffffffffffffffffffffffffffff00",
"78ffffffffffffffffffffffffffffffffffffffffffffffffff", "78ffffffffffffffffffffffffffffffffffffffffffffffffff00",
"79ffffffffffffffffffffffffffffffffffffffffffffffffffff", "79ffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7affffffffffffffffffffffffffffffffffffffffffffffffffffff", "7affffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"60006000a0", "60006000a000",
"600060006000a1", "600060006000a100",
"6000600060006000a2", "6000600060006000a200",
"60006000600060006000a3", "60006000600060006000a300",
"600060006000600060006000a4", "600060006000600060006000a400",
"600060006000f0", "600060006000f000",
"6000600060006000600060006000f1", "6000600060006000600060006000f100",
"6000600060006000600060006000f2", "6000600060006000600060006000f200",
"60006000f3", "60006000f300",
"600060006000600060006000f4", "600060006000600060006000f400",
"600060006000600060006000fa", "600060006000600060006000fa00",
"60006000fd", "60006000fd00",
"fe", "fe00",
"6000ff" "6000ff00"
}; };
vector<string> opcodes_lll { vector<string> opcodes_lll {
@ -372,142 +372,142 @@ BOOST_AUTO_TEST_CASE(valid_opcodes_functional)
BOOST_AUTO_TEST_CASE(valid_opcodes_asm) BOOST_AUTO_TEST_CASE(valid_opcodes_asm)
{ {
vector<string> opcodes_bytecode { vector<string> opcodes_bytecode {
"00", "0000",
"01", "0100",
"02", "0200",
"03", "0300",
"04", "0400",
"05", "0500",
"06", "0600",
"07", "0700",
"08", "0800",
"09", "0900",
"0a", "0a00",
"0b", "0b00",
"10", "1000",
"11", "1100",
"12", "1200",
"13", "1300",
"14", "1400",
"15", "1500",
"16", "1600",
"17", "1700",
"18", "1800",
"19", "1900",
"1a", "1a00",
"20", "2000",
"30", "3000",
"31", "3100",
"32", "3200",
"33", "3300",
"34", "3400",
"35", "3500",
"36", "3600",
"37", "3700",
"38", "3800",
"39", "3900",
"3a", "3a00",
"3b", "3b00",
"3c", "3c00",
"3d", "3d00",
"3e", "3e00",
"3f", "3f00",
"40", "4000",
"41", "4100",
"42", "4200",
"43", "4300",
"44", "4400",
"45", "4500",
"50", "5000",
"51", "5100",
"52", "5200",
"53", "5300",
"54", "5400",
"55", "5500",
"56", "5600",
"57", "5700",
"58", "5800",
"59", "5900",
"5a", "5a00",
"5b", "5b00",
"60ff", "60ff00",
"61ffff", "61ffff00",
"62ffffff", "62ffffff00",
"63ffffffff", "63ffffffff00",
"64ffffffffff", "64ffffffffff00",
"65ffffffffffff", "65ffffffffffff00",
"66ffffffffffffff", "66ffffffffffffff00",
"67ffffffffffffffff", "67ffffffffffffffff00",
"68ffffffffffffffffff", "68ffffffffffffffffff00",
"69ffffffffffffffffffff", "69ffffffffffffffffffff00",
"6affffffffffffffffffffff", "6affffffffffffffffffffff00",
"6bffffffffffffffffffffffff", "6bffffffffffffffffffffffff00",
"6cffffffffffffffffffffffffff", "6cffffffffffffffffffffffffff00",
"6dffffffffffffffffffffffffffff", "6dffffffffffffffffffffffffffff00",
"6effffffffffffffffffffffffffffff", "6effffffffffffffffffffffffffffff00",
"6fffffffffffffffffffffffffffffffff", "6fffffffffffffffffffffffffffffffff00",
"70ffffffffffffffffffffffffffffffffff", "70ffffffffffffffffffffffffffffffffff00",
"71ffffffffffffffffffffffffffffffffffff", "71ffffffffffffffffffffffffffffffffffff00",
"72ffffffffffffffffffffffffffffffffffffff", "72ffffffffffffffffffffffffffffffffffffff00",
"73ffffffffffffffffffffffffffffffffffffffff", "73ffffffffffffffffffffffffffffffffffffffff00",
"74ffffffffffffffffffffffffffffffffffffffffff", "74ffffffffffffffffffffffffffffffffffffffffff00",
"75ffffffffffffffffffffffffffffffffffffffffffff", "75ffffffffffffffffffffffffffffffffffffffffffff00",
"76ffffffffffffffffffffffffffffffffffffffffffffff", "76ffffffffffffffffffffffffffffffffffffffffffffff00",
"77ffffffffffffffffffffffffffffffffffffffffffffffff", "77ffffffffffffffffffffffffffffffffffffffffffffffff00",
"78ffffffffffffffffffffffffffffffffffffffffffffffffff", "78ffffffffffffffffffffffffffffffffffffffffffffffffff00",
"79ffffffffffffffffffffffffffffffffffffffffffffffffffff", "79ffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7affffffffffffffffffffffffffffffffffffffffffffffffffffff", "7affffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
"80", "8000",
"81", "8100",
"82", "8200",
"83", "8300",
"84", "8400",
"85", "8500",
"86", "8600",
"87", "8700",
"88", "8800",
"89", "8900",
"8a", "8a00",
"8b", "8b00",
"8c", "8c00",
"8d", "8d00",
"8e", "8e00",
"8f", "8f00",
"90", "9000",
"91", "9100",
"92", "9200",
"93", "9300",
"94", "9400",
"95", "9500",
"96", "9600",
"97", "9700",
"98", "9800",
"99", "9900",
"9a", "9a00",
"9b", "9b00",
"9c", "9c00",
"9d", "9d00",
"9e", "9e00",
"9f", "9f00",
"a0", "a000",
"a1", "a100",
"a2", "a200",
"a3", "a300",
"a4", "a400",
"f0", "f000",
"f1", "f100",
"f2", "f200",
"f3", "f300",
"f4", "f400",
"fa", "fa00",
"fd", "fd00",
"fe", "fe00",
"ff" "ff00"
}; };
vector<string> opcodes_lll { vector<string> opcodes_lll {