LLL: do not wrap opcode tests into sequence

This commit is contained in:
Alex Beregszaszi 2018-09-19 13:37:59 +01:00 committed by chriseth
parent c320a650f9
commit 280255e64d

View File

@ -253,109 +253,109 @@ BOOST_AUTO_TEST_CASE(valid_opcodes_functional)
}; };
vector<string> opcodes_lll { vector<string> opcodes_lll {
"{ (STOP) }", "(STOP)",
"{ (ADD 0 0) }", "(ADD 0 0)",
"{ (MUL 0 0) }", "(MUL 0 0)",
"{ (SUB 0 0) }", "(SUB 0 0)",
"{ (DIV 0 0) }", "(DIV 0 0)",
"{ (SDIV 0 0) }", "(SDIV 0 0)",
"{ (MOD 0 0) }", "(MOD 0 0)",
"{ (SMOD 0 0) }", "(SMOD 0 0)",
"{ (ADDMOD 0 0 0) }", "(ADDMOD 0 0 0)",
"{ (MULMOD 0 0 0) }", "(MULMOD 0 0 0)",
"{ (EXP 0 0) }", "(EXP 0 0)",
"{ (SIGNEXTEND 0 0) }", "(SIGNEXTEND 0 0)",
"{ (LT 0 0) }", "(LT 0 0)",
"{ (GT 0 0) }", "(GT 0 0)",
"{ (SLT 0 0) }", "(SLT 0 0)",
"{ (SGT 0 0) }", "(SGT 0 0)",
"{ (EQ 0 0) }", "(EQ 0 0)",
"{ (ISZERO 0) }", "(ISZERO 0)",
"{ (AND 0 0) }", "(AND 0 0)",
"{ (OR 0 0) }", "(OR 0 0)",
"{ (XOR 0 0) }", "(XOR 0 0)",
"{ (NOT 0) }", "(NOT 0)",
"{ (BYTE 0 0) }", "(BYTE 0 0)",
"{ (KECCAK256 0 0) }", "(KECCAK256 0 0)",
"{ (ADDRESS) }", "(ADDRESS)",
"{ (BALANCE 0) }", "(BALANCE 0)",
"{ (ORIGIN) }", "(ORIGIN)",
"{ (CALLER) }", "(CALLER)",
"{ (CALLVALUE) }", "(CALLVALUE)",
"{ (CALLDATALOAD 0) }", "(CALLDATALOAD 0)",
"{ (CALLDATASIZE) }", "(CALLDATASIZE)",
"{ (CALLDATACOPY 0 0 0) }", "(CALLDATACOPY 0 0 0)",
"{ (CODESIZE) }", "(CODESIZE)",
"{ (CODECOPY 0 0 0) }", "(CODECOPY 0 0 0)",
"{ (GASPRICE) }", "(GASPRICE)",
"{ (EXTCODESIZE 0) }", "(EXTCODESIZE 0)",
"{ (EXTCODECOPY 0 0 0 0) }", "(EXTCODECOPY 0 0 0 0)",
"{ (RETURNDATASIZE) }", "(RETURNDATASIZE)",
"{ (RETURNDATACOPY 0 0 0) }", "(RETURNDATACOPY 0 0 0)",
"{ (EXTCODEHASH 0) }", "(EXTCODEHASH 0)",
"{ (BLOCKHASH 0) }", "(BLOCKHASH 0)",
"{ (COINBASE) }", "(COINBASE)",
"{ (TIMESTAMP) }", "(TIMESTAMP)",
"{ (NUMBER) }", "(NUMBER)",
"{ (DIFFICULTY) }", "(DIFFICULTY)",
"{ (GASLIMIT) }", "(GASLIMIT)",
"{ (POP 0) }", "(POP 0)",
"{ (MLOAD 0) }", "(MLOAD 0)",
"{ (MSTORE 0 0) }", "(MSTORE 0 0)",
"{ (MSTORE8 0 0) }", "(MSTORE8 0 0)",
"{ (SLOAD 0) }", "(SLOAD 0)",
"{ (SSTORE 0 0) }", "(SSTORE 0 0)",
"{ (JUMP 0) }", "(JUMP 0)",
"{ (JUMPI 0 0) }", "(JUMPI 0 0)",
"{ (PC) }", "(PC)",
"{ (MSIZE) }", "(MSIZE)",
"{ (GAS) }", "(GAS)",
"{ 0xff }", "0xff",
"{ 0xffff }", "0xffff",
"{ 0xffffff }", "0xffffff",
"{ 0xffffffff }", "0xffffffff",
"{ 0xffffffffff }", "0xffffffffff",
"{ 0xffffffffffff }", "0xffffffffffff",
"{ 0xffffffffffffff }", "0xffffffffffffff",
"{ 0xffffffffffffffff }", "0xffffffffffffffff",
"{ 0xffffffffffffffffff }", "0xffffffffffffffffff",
"{ 0xffffffffffffffffffff }", "0xffffffffffffffffffff",
"{ 0xffffffffffffffffffffff }", "0xffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffff }", "0xffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
"{ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff }", "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
"{ (LOG0 0 0) }", "(LOG0 0 0)",
"{ (LOG1 0 0 0) }", "(LOG1 0 0 0)",
"{ (LOG2 0 0 0 0) }", "(LOG2 0 0 0 0)",
"{ (LOG3 0 0 0 0 0) }", "(LOG3 0 0 0 0 0)",
"{ (LOG4 0 0 0 0 0 0) }", "(LOG4 0 0 0 0 0 0)",
"{ (CREATE 0 0 0) }", "(CREATE 0 0 0)",
"{ (CALL 0 0 0 0 0 0 0) }", "(CALL 0 0 0 0 0 0 0)",
"{ (CALLCODE 0 0 0 0 0 0 0) }", "(CALLCODE 0 0 0 0 0 0 0)",
"{ (RETURN 0 0) }", "(RETURN 0 0)",
"{ (DELEGATECALL 0 0 0 0 0 0) }", "(DELEGATECALL 0 0 0 0 0 0)",
"{ (STATICCALL 0 0 0 0 0 0) }", "(STATICCALL 0 0 0 0 0 0)",
"{ (REVERT 0 0) }", "(REVERT 0 0)",
"{ (INVALID) }", "(INVALID)",
"{ (SELFDESTRUCT 0) }" "(SELFDESTRUCT 0)"
}; };
for (size_t i = 0; i < opcodes_bytecode.size(); i++) for (size_t i = 0; i < opcodes_bytecode.size(); i++)
@ -511,142 +511,142 @@ BOOST_AUTO_TEST_CASE(valid_opcodes_asm)
}; };
vector<string> opcodes_lll { vector<string> opcodes_lll {
"{ (asm STOP) }", "(asm STOP)",
"{ (asm ADD) }", "(asm ADD)",
"{ (asm MUL) }", "(asm MUL)",
"{ (asm SUB) }", "(asm SUB)",
"{ (asm DIV) }", "(asm DIV)",
"{ (asm SDIV ) }", "(asm SDIV )",
"{ (asm MOD) }", "(asm MOD)",
"{ (asm SMOD) }", "(asm SMOD)",
"{ (asm ADDMOD) }", "(asm ADDMOD)",
"{ (asm MULMOD) }", "(asm MULMOD)",
"{ (asm EXP) }", "(asm EXP)",
"{ (asm SIGNEXTEND) }", "(asm SIGNEXTEND)",
"{ (asm LT) }", "(asm LT)",
"{ (asm GT) }", "(asm GT)",
"{ (asm SLT) }", "(asm SLT)",
"{ (asm SGT) }", "(asm SGT)",
"{ (asm EQ) }", "(asm EQ)",
"{ (asm ISZERO) }", "(asm ISZERO)",
"{ (asm AND) }", "(asm AND)",
"{ (asm OR) }", "(asm OR)",
"{ (asm XOR) }", "(asm XOR)",
"{ (asm NOT) }", "(asm NOT)",
"{ (asm BYTE) }", "(asm BYTE)",
"{ (asm KECCAK256) }", "(asm KECCAK256)",
"{ (asm ADDRESS) }", "(asm ADDRESS)",
"{ (asm BALANCE) }", "(asm BALANCE)",
"{ (asm ORIGIN) }", "(asm ORIGIN)",
"{ (asm CALLER) }", "(asm CALLER)",
"{ (asm CALLVALUE) }", "(asm CALLVALUE)",
"{ (asm CALLDATALOAD) }", "(asm CALLDATALOAD)",
"{ (asm CALLDATASIZE) }", "(asm CALLDATASIZE)",
"{ (asm CALLDATACOPY) }", "(asm CALLDATACOPY)",
"{ (asm CODESIZE) }", "(asm CODESIZE)",
"{ (asm CODECOPY) }", "(asm CODECOPY)",
"{ (asm GASPRICE) }", "(asm GASPRICE)",
"{ (asm EXTCODESIZE)}", "(asm EXTCODESIZE)}",
"{ (asm EXTCODECOPY) }", "(asm EXTCODECOPY)",
"{ (asm RETURNDATASIZE) }", "(asm RETURNDATASIZE)",
"{ (asm RETURNDATACOPY) }", "(asm RETURNDATACOPY)",
"{ (asm EXTCODEHASH) }", "(asm EXTCODEHASH)",
"{ (asm BLOCKHASH) }", "(asm BLOCKHASH)",
"{ (asm COINBASE) }", "(asm COINBASE)",
"{ (asm TIMESTAMP) }", "(asm TIMESTAMP)",
"{ (asm NUMBER) }", "(asm NUMBER)",
"{ (asm DIFFICULTY) }", "(asm DIFFICULTY)",
"{ (asm GASLIMIT) }", "(asm GASLIMIT)",
"{ (asm POP) }", "(asm POP)",
"{ (asm MLOAD) }", "(asm MLOAD)",
"{ (asm MSTORE) }", "(asm MSTORE)",
"{ (asm MSTORE8) }", "(asm MSTORE8)",
"{ (asm SLOAD) }", "(asm SLOAD)",
"{ (asm SSTORE) }", "(asm SSTORE)",
"{ (asm JUMP ) }", "(asm JUMP )",
"{ (asm JUMPI ) }", "(asm JUMPI )",
"{ (asm PC) }", "(asm PC)",
"{ (asm MSIZE) }", "(asm MSIZE)",
"{ (asm GAS) }", "(asm GAS)",
"{ (asm JUMPDEST) }", "(asm JUMPDEST)",
"{ (asm 0xff) }", "(asm 0xff)",
"{ (asm 0xffff) }", "(asm 0xffff)",
"{ (asm 0xffffff) }", "(asm 0xffffff)",
"{ (asm 0xffffffff) }", "(asm 0xffffffff)",
"{ (asm 0xffffffffff) }", "(asm 0xffffffffff)",
"{ (asm 0xffffffffffff) }", "(asm 0xffffffffffff)",
"{ (asm 0xffffffffffffff) }", "(asm 0xffffffffffffff)",
"{ (asm 0xffffffffffffffff) }", "(asm 0xffffffffffffffff)",
"{ (asm 0xffffffffffffffffff) }", "(asm 0xffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffff) }", "(asm 0xffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) }", "(asm 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)",
"{ (asm DUP1) }", "(asm DUP1)",
"{ (asm DUP2) }", "(asm DUP2)",
"{ (asm DUP3) }", "(asm DUP3)",
"{ (asm DUP4) }", "(asm DUP4)",
"{ (asm DUP5) }", "(asm DUP5)",
"{ (asm DUP6) }", "(asm DUP6)",
"{ (asm DUP7) }", "(asm DUP7)",
"{ (asm DUP8) }", "(asm DUP8)",
"{ (asm DUP9) }", "(asm DUP9)",
"{ (asm DUP10) }", "(asm DUP10)",
"{ (asm DUP11) }", "(asm DUP11)",
"{ (asm DUP12) }", "(asm DUP12)",
"{ (asm DUP13) }", "(asm DUP13)",
"{ (asm DUP14) }", "(asm DUP14)",
"{ (asm DUP15) }", "(asm DUP15)",
"{ (asm DUP16) }", "(asm DUP16)",
"{ (asm SWAP1) }", "(asm SWAP1)",
"{ (asm SWAP2) }", "(asm SWAP2)",
"{ (asm SWAP3) }", "(asm SWAP3)",
"{ (asm SWAP4) }", "(asm SWAP4)",
"{ (asm SWAP5) }", "(asm SWAP5)",
"{ (asm SWAP6) }", "(asm SWAP6)",
"{ (asm SWAP7) }", "(asm SWAP7)",
"{ (asm SWAP8) }", "(asm SWAP8)",
"{ (asm SWAP9) }", "(asm SWAP9)",
"{ (asm SWAP10) }", "(asm SWAP10)",
"{ (asm SWAP11) }", "(asm SWAP11)",
"{ (asm SWAP12) }", "(asm SWAP12)",
"{ (asm SWAP13) }", "(asm SWAP13)",
"{ (asm SWAP14) }", "(asm SWAP14)",
"{ (asm SWAP15) }", "(asm SWAP15)",
"{ (asm SWAP16) }", "(asm SWAP16)",
"{ (asm LOG0) }", "(asm LOG0)",
"{ (asm LOG1) }", "(asm LOG1)",
"{ (asm LOG2) }", "(asm LOG2)",
"{ (asm LOG3) }", "(asm LOG3)",
"{ (asm LOG4) }", "(asm LOG4)",
"{ (asm CREATE) }", "(asm CREATE)",
"{ (asm CALL) }", "(asm CALL)",
"{ (asm CALLCODE) }", "(asm CALLCODE)",
"{ (asm RETURN) }", "(asm RETURN)",
"{ (asm DELEGATECALL) }", "(asm DELEGATECALL)",
"{ (asm STATICCALL) }", "(asm STATICCALL)",
"{ (asm REVERT) }", "(asm REVERT)",
"{ (asm INVALID) }", "(asm INVALID)",
"{ (asm SELFDESTRUCT) }" "(asm SELFDESTRUCT)"
}; };
for (size_t i = 0; i < opcodes_bytecode.size(); i++) for (size_t i = 0; i < opcodes_bytecode.size(); i++)