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

Add trace for unreachable in Yul Ewasm translation tests

Browse Source
This commit is contained in:
Alex Beregszaszi 2019-12-15 13:26:43 +00:00
parent 1c01c69eab
commit 2a808e4f32
25 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
test/libyul/ewasmTranslationTests/balance.yul
View File

@ -4,6 +4,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000011111111000000000000000000000000 // 0: 0000000000000000000000000000000011111111000000000000000000000000
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/blockhash.yul
View File

@ -3,5 +3,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/chainid.yul
View File

@ -5,5 +5,6 @@
// EVMVersion: >=istanbul // EVMVersion: >=istanbul
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/coinbase.yul
View File

@ -3,5 +3,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/extcodecopy.yul
View File

@ -4,6 +4,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000011111111000000000000000000000000 // 0: 0000000000000000000000000000000011111111000000000000000000000000
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/extcodehash.yul
View File

@ -5,6 +5,7 @@
// EVMVersion: >=constantinople // EVMVersion: >=constantinople
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000011111111000000000000000000000000 // 0: 0000000000000000000000000000000011111111000000000000000000000000
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/extcodesize.yul
View File

@ -3,6 +3,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000011111111000000000000000000000000 // 0: 0000000000000000000000000000000011111111000000000000000000000000
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/invalid.yul
View File

@ -7,6 +7,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 20: 0000000000000000000000000000000000000000000000000000000000001234 // 20: 0000000000000000000000000000000000000000000000000000000000001234
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/keccak256.yul
View File

@ -4,5 +4,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/log0.yul
View File

@ -3,5 +3,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/log1.yul
View File

@ -3,5 +3,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/log2.yul
View File

@ -3,5 +3,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/log3.yul
View File

@ -3,5 +3,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/log4.yul
View File

@ -3,5 +3,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/msize.yul
View File

@ -7,5 +7,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/mstore8.yul
View File

@ -8,6 +8,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 60: 00000000000000000000000000000000ffffffffffffffffffffffffffffffff // 60: 00000000000000000000000000000000ffffffffffffffffffffffffffffffff
// 80: ffffffffffffffffffffffffffffffff00000000000000000000000000000000 // 80: ffffffffffffffffffffffffffffffff00000000000000000000000000000000

1
test/libyul/ewasmTranslationTests/pc.yul
View File

@ -3,5 +3,6 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/selfbalance.yul
View File

@ -5,5 +5,6 @@
// EVMVersion: >=istanbul // EVMVersion: >=istanbul
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/smoke_call.yul
View File

@ -3,6 +3,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000011111111000000000000000000000000 // 0: 0000000000000000000000000000000011111111000000000000000000000000
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/smoke_callcode.yul
View File

@ -3,6 +3,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000011111111000000000000000000000000 // 0: 0000000000000000000000000000000011111111000000000000000000000000
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/smoke_create.yul
View File

@ -5,6 +5,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000000000000000000000000000000000014 // 0: 0000000000000000000000000000000000000000000000000000000000000014
// 40: 636f6465636f6465636f6465636f6465636f6465000000000000000000000000 // 40: 636f6465636f6465636f6465636f6465636f6465000000000000000000000000

1
test/libyul/ewasmTranslationTests/smoke_create2.yul
View File

@ -7,6 +7,7 @@
// EVMVersion: >=constantinople // EVMVersion: >=constantinople
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000000000000000000000000000000000014 // 0: 0000000000000000000000000000000000000000000000000000000000000014
// 80: 636f6465636f6465636f6465636f6465636f6465000000000000000000000000 // 80: 636f6465636f6465636f6465636f6465636f6465000000000000000000000000

1
test/libyul/ewasmTranslationTests/smoke_delegatecall.yul
View File

@ -3,6 +3,7 @@
} }
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000011111111000000000000000000000000 // 0: 0000000000000000000000000000000011111111000000000000000000000000
// Storage dump: // Storage dump:

1
test/libyul/ewasmTranslationTests/smoke_staticcall.yul
View File

@ -5,6 +5,7 @@
// EVMVersion: >=byzantium // EVMVersion: >=byzantium
// ---- // ----
// Trace: // Trace:
// INVALID()
// Memory dump: // Memory dump:
// 0: 0000000000000000000000000000000011111111000000000000000000000000 // 0: 0000000000000000000000000000000011111111000000000000000000000000
// Storage dump: // Storage dump:

3
test/tools/yulInterpreter/EWasmBuiltinInterpreter.cpp
View File

@ -79,7 +79,10 @@ u256 EWasmBuiltinInterpreter::evalBuiltin(YulString _fun, vector<u256> const& _a
else if (_fun == "drop"_yulstring) else if (_fun == "drop"_yulstring)
return {}; return {};
else if (_fun == "unreachable"_yulstring) else if (_fun == "unreachable"_yulstring)
{
logTrace(eth::Instruction::INVALID, {});
throw ExplicitlyTerminated(); throw ExplicitlyTerminated();
}
else if (_fun == "i64.add"_yulstring) else if (_fun == "i64.add"_yulstring)
return arg[0] + arg[1]; return arg[0] + arg[1];
else if (_fun == "i64.sub"_yulstring) else if (_fun == "i64.sub"_yulstring)