Merge pull request #11305 from ethereum/ewasm-semantic-tests

Enable more semantic tests for Ewasm

Author: axic

test/libsolidity/semanticTests/abiEncoderV2/struct/struct_validation.sol

@@ -12,6 +12,7 @@ contract C {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // f((int16,uint8,bytes2)): 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01, 0xff, "ab" -> 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01, 0xff, "ab"
 // f((int16,uint8,bytes2)): 0xff010, 0xff, "ab" -> FAILURE

test/libsolidity/semanticTests/abiEncoderV2/struct/validation_function_type_inside_struct.sol

@@ -8,6 +8,7 @@ contract C {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // f((function)): "01234567890123456789abcd" -> 1
 // f((function)): "01234567890123456789abcdX" -> FAILURE

test/libsolidity/semanticTests/abiencodedecode/abi_encode_with_selector.sol

@@ -17,6 +17,7 @@ contract C {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // f0() -> 0x20, 4, 8234104107246695022420661102507966550300666591269321702959126607540084801536
 // f1() -> 0x20, 0x64, 8234104107246695022420661102507966550300666591269321702959126607540084801536, 862718293348820473429344482784628181556388621521298319395315527974912, 91135606241822717681769169345594720818313984248279388438121731325952, 0

test/libsolidity/semanticTests/abiencodedecode/abi_encode_with_selectorv2.sol

@@ -26,6 +26,7 @@ contract C {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // f0() -> 0x20, 4, 8234104107246695022420661102507966550300666591269321702959126607540084801536
 // f1() -> 0x20, 0x64, 8234104107246695022420661102507966550300666591269321702959126607540084801536, 862718293348820473429344482784628181556388621521298319395315527974912, 91135606241822717681769169345594720818313984248279388438121731325952, 0

test/libsolidity/semanticTests/abiencodedecode/offset_overflow_in_array_decoding.sol

@@ -25,5 +25,6 @@ contract Test {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // test() -> FAILURE

test/libsolidity/semanticTests/abiencodedecode/offset_overflow_in_array_decoding_2.sol

@@ -26,5 +26,6 @@ contract Test {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // withinArray() -> FAILURE

test/libsolidity/semanticTests/abiencodedecode/offset_overflow_in_array_decoding_3.sol

@@ -19,5 +19,6 @@ contract Test {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // test() -> FAILURE

test/libsolidity/semanticTests/arithmetics/checked_modifier_called_by_unchecked.sol

@@ -10,6 +10,7 @@ contract C {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // f(uint16,uint16,uint16): 0xe000, 0xe500, 2 -> 58626
 // f(uint16,uint16,uint16): 0x1000, 0xe500, 0xe000 -> FAILURE, hex"4e487b71", 0x11

test/libsolidity/semanticTests/arithmetics/signed_mod.sol

@@ -14,6 +14,7 @@ contract C {
 
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // f(int256,int256): 7, 5 -> 2
 // f(int256,int256): 7, -5 -> 2

test/libsolidity/semanticTests/array/concat/bytes_concat_empty.sol

@@ -5,5 +5,6 @@ contract C {
 }
 // ====
 // compileViaYul: also
+// compileToEwasm: also
 // ----
 // f() -> 0x20, 0