Update tests.

dbcana · Mar 10, 2021 · b73e9f3 · b73e9f3
1 parent 63017bd
commit b73e9f3
Show file tree

Hide file tree

Showing 133 changed files with 502 additions and 37 deletions.
diff --git a/test/libsolidity/semanticTests/abiEncoderV1/abi_decode_v2_storage.sol b/test/libsolidity/semanticTests/abiEncoderV1/abi_decode_v2_storage.sol
@@ -24,3 +24,6 @@ contract C {
 // compileViaYul: also
 // ----
 // f() -> 0x20, 0x8, 0x40, 0x3, 0x9, 0xa, 0xb
+// gas irOptimized: 194189
+// gas legacy: 196426
+// gas legacyOptimized: 193424
diff --git a/test/libsolidity/semanticTests/abiEncoderV1/abi_encode_calldata_slice.sol b/test/libsolidity/semanticTests/abiEncoderV1/abi_encode_calldata_slice.sol
@@ -56,8 +56,14 @@ contract C {
 	}
 }
 // ====
-// compileViaYul: also
 // EVMVersion: >homestead
+// compileViaYul: also
 // ----
 // test_bytes() ->
+// gas irOptimized: 516922
+// gas legacy: 466763
+// gas legacyOptimized: 374537
 // test_uint256() ->
+// gas irOptimized: 712790
+// gas legacy: 634592
+// gas legacyOptimized: 499481
diff --git a/test/libsolidity/semanticTests/abiEncoderV1/struct/struct_storage_ptr.sol b/test/libsolidity/semanticTests/abiEncoderV1/struct/struct_storage_ptr.sol
@@ -26,3 +26,6 @@ contract C {
 // ----
 // library: L
 // f() -> 8, 7, 1, 2, 7, 12
+// gas irOptimized: 172153
+// gas legacy: 164775
+// gas legacyOptimized: 162697
diff --git a/test/libsolidity/semanticTests/abiEncoderV2/abi_encode_calldata_slice.sol b/test/libsolidity/semanticTests/abiEncoderV2/abi_encode_calldata_slice.sol
@@ -57,8 +57,14 @@ contract C {
 	}
 }
 // ====
-// compileViaYul: also
 // EVMVersion: >homestead
+// compileViaYul: also
 // ----
 // test_bytes() ->
+// gas irOptimized: 516922
+// gas legacy: 466763
+// gas legacyOptimized: 374537
 // test_uint256() ->
+// gas irOptimized: 712790
+// gas legacy: 634592
+// gas legacyOptimized: 499481
diff --git a/test/libsolidity/semanticTests/abiEncoderV2/abi_encode_v2.sol b/test/libsolidity/semanticTests/abiEncoderV2/abi_encode_v2.sol
@@ -53,3 +53,6 @@ contract C {
 // f2() -> 0x20, 0xa0, 0x1, 0x60, 0x2, 0x3, "abc"
 // f3() -> 0x20, 0xa0, 0x1, 0x60, 0x2, 0x3, "abc"
 // f4() -> 0x20, 0x160, 0x1, 0x80, 0xc0, 0x2, 0x3, "abc", 0x7, 0x40, 0x2, 0x2, 0x3
+// gas irOptimized: 110858
+// gas legacy: 111328
+// gas legacyOptimized: 109206
diff --git a/...olidity/semanticTests/abiEncoderV2/abi_encode_v2_in_function_inherited_in_v1_contract.sol b/...olidity/semanticTests/abiEncoderV2/abi_encode_v2_in_function_inherited_in_v1_contract.sol
@@ -30,3 +30,6 @@ contract C is B {
 // compileViaYul: also
 // ----
 // test() -> 77
+// gas irOptimized: 139834
+// gas legacy: 156573
+// gas legacyOptimized: 112983
diff --git a/.../libsolidity/semanticTests/abiEncoderV2/abi_encode_v2_in_modifier_used_in_v1_contract.sol b/.../libsolidity/semanticTests/abiEncoderV2/abi_encode_v2_in_modifier_used_in_v1_contract.sol
@@ -38,3 +38,4 @@ contract C is B {
 // compileViaYul: also
 // ----
 // test() -> 5, 10
+// gas legacy: 100441
diff --git a/test/libsolidity/semanticTests/abiEncoderV2/calldata_array.sol b/test/libsolidity/semanticTests/abiEncoderV2/calldata_array.sol
@@ -15,9 +15,12 @@ contract C {
     }
 }
 // ====
-// compileViaYul: also
 // EVMVersion: >homestead
+// compileViaYul: also
 // ----
 // f(uint256[][1]): 32, 32, 0 -> true
 // f(uint256[][1]): 32, 32, 1, 42 -> true
 // f(uint256[][1]): 32, 32, 8, 421, 422, 423, 424, 425, 426, 427, 428 -> true
+// gas irOptimized: 227663
+// gas legacy: 144300
+// gas legacyOptimized: 124199
diff --git a/test/libsolidity/semanticTests/abiEncoderV2/storage_array_encoding.sol b/test/libsolidity/semanticTests/abiEncoderV2/storage_array_encoding.sol
@@ -15,8 +15,14 @@ contract C {
     }
 }
 // ====
-// compileViaYul: also
 // EVMVersion: >homestead
+// compileViaYul: also
 // ----
 // h(uint256[2][]): 0x20, 3, 123, 124, 223, 224, 323, 324 -> 32, 256, 0x20, 3, 123, 124, 223, 224, 323, 324
+// gas irOptimized: 172714
+// gas legacy: 175929
+// gas legacyOptimized: 172506
 // i(uint256[2][2]): 123, 124, 223, 224 -> 32, 128, 123, 124, 223, 224
+// gas irOptimized: 107681
+// gas legacy: 109868
+// gas legacyOptimized: 107388
diff --git a/test/libsolidity/semanticTests/abiencodedecode/abi_decode_simple_storage.sol b/test/libsolidity/semanticTests/abiencodedecode/abi_decode_simple_storage.sol
@@ -11,3 +11,6 @@ contract C {
 // compileViaYul: also
 // ----
 // f(bytes): 0x20, 0x80, 0x21, 0x40, 0x7, "abcdefg" -> 0x21, 0x40, 0x7, "abcdefg"
+// gas irOptimized: 130305
+// gas legacy: 131690
+// gas legacyOptimized: 130574
diff --git a/test/libsolidity/semanticTests/arithmetics/check_var_init.sol b/test/libsolidity/semanticTests/arithmetics/check_var_init.sol
@@ -18,3 +18,4 @@ contract D {
 // ----
 // f() -> FAILURE, hex"4e487b71", 0x11
 // g(), 100 wei -> 1
+// gas legacy: 101718
diff --git a/test/libsolidity/semanticTests/array/arrays_complex_from_and_to_storage.sol b/test/libsolidity/semanticTests/array/arrays_complex_from_and_to_storage.sol
@@ -14,6 +14,9 @@ contract Test {
 // compileViaYul: also
 // ----
 // set(uint24[3][]): 0x20, 0x06, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f, 0x10, 0x11, 0x12 -> 0x06
+// gas irOptimized: 200205
+// gas legacy: 278685
+// gas legacyOptimized: 273734
 // data(uint256,uint256): 0x02, 0x02 -> 0x09
 // data(uint256,uint256): 0x05, 0x01 -> 0x11
 // data(uint256,uint256): 0x06, 0x00 -> FAILURE

diff --git a/test/libsolidity/semanticTests/array/byte_array_storage_layout.sol b/test/libsolidity/semanticTests/array/byte_array_storage_layout.sol
@@ -43,8 +43,15 @@ contract c {
 // ----
 // storage: empty
 // test_short() -> 1780731860627700044960722568376587075150542249149356309979516913770823710
+// gas legacy: 110938
+// gas legacyOptimized: 109691
 // storage: nonempty
 // test_long() -> 67
+// gas irOptimized: 134832
+// gas legacy: 213590
+// gas legacyOptimized: 211011
 // storage: nonempty
 // test_pop() -> 1780731860627700044960722568376592200742329637303199754547598369979433020
+// gas legacy: 176030
+// gas legacyOptimized: 173470
 // storage: nonempty
diff --git a/test/libsolidity/semanticTests/array/byte_array_transitional_2.sol b/test/libsolidity/semanticTests/array/byte_array_transitional_2.sol
@@ -19,3 +19,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 0
+// gas irOptimized: 312920
+// gas legacy: 483915
+// gas legacyOptimized: 478508
diff --git a/test/libsolidity/semanticTests/array/bytes_length_member.sol b/test/libsolidity/semanticTests/array/bytes_length_member.sol
@@ -15,4 +15,7 @@ contract c {
 // ----
 // getLength() -> 0
 // set(): 1, 2 -> true
+// gas irOptimized: 103213
+// gas legacy: 103126
+// gas legacyOptimized: 102966
 // getLength() -> 68
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_calldata_storage.sol b/test/libsolidity/semanticTests/array/copying/array_copy_calldata_storage.sol
@@ -22,4 +22,7 @@ contract c {
 // compileViaYul: also
 // ----
 // store(uint256[9],uint8[3][]): 21, 22, 23, 24, 25, 26, 27, 28, 29, 0x140, 4, 1, 2, 3, 11, 12, 13, 21, 22, 23, 31, 32, 33 -> 32
+// gas irOptimized: 629040
+// gas legacy: 817315
+// gas legacyOptimized: 816813
 // retrieve() -> 9, 28, 9, 28, 4, 3, 32
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint128.sol b/test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint128.sol
@@ -23,3 +23,6 @@ contract C {
 // compileViaYul: also
 // ----
 // f() -> true
+// gas irOptimized: 112029
+// gas legacy: 107335
+// gas legacyOptimized: 105857
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint40.sol b/test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint40.sol
@@ -48,3 +48,6 @@ contract C {
 // compileViaYul: also
 // ----
 // f() -> true
+// gas irOptimized: 253583
+// gas legacy: 239061
+// gas legacyOptimized: 235988
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_clear_storage.sol b/test/libsolidity/semanticTests/array/copying/array_copy_clear_storage.sol
@@ -15,3 +15,6 @@ contract C {
 // compileViaYul: also
 // ----
 // f() -> 0
+// gas irOptimized: 150551
+// gas legacy: 138913
+// gas legacyOptimized: 137448
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_clear_storage_packed.sol b/test/libsolidity/semanticTests/array/copying/array_copy_clear_storage_packed.sol
@@ -42,5 +42,11 @@ contract C {
 // compileViaYul: also
 // ----
 // f() -> 0
+// gas irOptimized: 112032
+// gas legacy: 107306
+// gas legacyOptimized: 105861
 // g() -> 0
-// h() -> 0
+// h() -> 0
+// gas irOptimized: 112057
+// gas legacy: 107328
+// gas legacyOptimized: 105903
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_different_packing.sol b/test/libsolidity/semanticTests/array/copying/array_copy_different_packing.sol
@@ -21,3 +21,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 0x01000000000000000000000000000000000000000000000000, 0x02000000000000000000000000000000000000000000000000, 0x03000000000000000000000000000000000000000000000000, 0x04000000000000000000000000000000000000000000000000, 0x05000000000000000000000000000000000000000000000000
+// gas irOptimized: 247582
+// gas legacy: 276683
+// gas legacyOptimized: 275534
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_including_array.sol b/test/libsolidity/semanticTests/array/copying/array_copy_including_array.sol
@@ -37,6 +37,12 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 0x02000202
+// gas irOptimized: 2481131
+// gas legacy: 2288641
+// gas legacyOptimized: 2258654
 // storage: empty
 // clear() -> 0, 0
+// gas irOptimized: 1856788
+// gas legacy: 1727169
+// gas legacyOptimized: 1698931
 // storage: empty
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_nested_array.sol b/test/libsolidity/semanticTests/array/copying/array_copy_nested_array.sol
@@ -15,3 +15,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test(uint256[2][]): 32, 3, 7, 8, 9, 10, 11, 12 -> 10
+// gas irOptimized: 611500
+// gas legacy: 604268
+// gas legacyOptimized: 603690
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base.sol b/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base.sol
@@ -19,3 +19,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 5, 4
+// gas irOptimized: 235646
+// gas legacy: 237001
+// gas legacyOptimized: 235316
diff --git a/...solidity/semanticTests/array/copying/array_copy_storage_storage_different_base_nested.sol b/...solidity/semanticTests/array/copying/array_copy_storage_storage_different_base_nested.sol
@@ -23,3 +23,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 3, 4
+// gas irOptimized: 195485
+// gas legacy: 208853
+// gas legacyOptimized: 200341
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dynamic_dynamic.sol b/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dynamic_dynamic.sol
@@ -20,3 +20,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 5, 4
+// gas irOptimized: 276032
+// gas legacy: 264734
+// gas legacyOptimized: 263160
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_dynamic.sol b/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_dynamic.sol
@@ -14,3 +14,4 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 9, 4
+// gas irOptimized: 100285
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_simple.sol b/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_simple.sol
@@ -13,3 +13,5 @@ contract C {
 // compileViaYul: also
 // ----
 // test() -> left(0x01), left(0x02)
+// gas legacy: 154001
+// gas legacyOptimized: 152385
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_static.sol b/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_static.sol
@@ -14,7 +14,10 @@ contract c {
 }
 
 // ====
-// compileViaYul: also
 // compileToEwasm: also
+// compileViaYul: also
 // ----
 // test() -> 8, 0
+// gas irOptimized: 158935
+// gas legacy: 153995
+// gas legacyOptimized: 153403
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_struct.sol b/test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_struct.sol
@@ -19,4 +19,7 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 4, 5
+// gas irOptimized: 282888
+// gas legacy: 255936
+// gas legacyOptimized: 254359
 // storage: empty
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_storage_to_memory_nested.sol b/test/libsolidity/semanticTests/array/copying/array_copy_storage_to_memory_nested.sol
@@ -17,3 +17,6 @@ contract C {
 // compileViaYul: also
 // ----
 // f() -> 0x20, 2, 0x40, 0xa0, 2, 0, 1, 2, 2, 3
+// gas irOptimized: 170704
+// gas legacy: 163978
+// gas legacyOptimized: 158152
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_target_leftover.sol b/test/libsolidity/semanticTests/array/copying/array_copy_target_leftover.sol
@@ -19,3 +19,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 0xffffffff, 0x0000000000000000000000000a00090008000700060005000400030002000100, 0x0000000000000000000000000000000000000000000000000000000000000000
+// gas irOptimized: 223456
+// gas legacy: 328106
+// gas legacyOptimized: 308072
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_target_leftover2.sol b/test/libsolidity/semanticTests/array/copying/array_copy_target_leftover2.sol
@@ -21,3 +21,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 0x04000000000000000000000000000000000000000000000000, 0x0, 0x0
+// gas irOptimized: 109240
+// gas legacy: 116651
+// gas legacyOptimized: 107000
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_target_simple.sol b/test/libsolidity/semanticTests/array/copying/array_copy_target_simple.sol
@@ -21,3 +21,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 0x01000000000000000000000000000000000000000000000000, 0x02000000000000000000000000000000000000000000000000, 0x03000000000000000000000000000000000000000000000000, 0x04000000000000000000000000000000000000000000000000, 0x0
+// gas irOptimized: 290262
+// gas legacy: 309353
+// gas legacyOptimized: 307699
diff --git a/test/libsolidity/semanticTests/array/copying/array_copy_target_simple_2.sol b/test/libsolidity/semanticTests/array/copying/array_copy_target_simple_2.sol
@@ -21,3 +21,6 @@ contract c {
 // compileViaYul: also
 // ----
 // test() -> 0x01000000000000000000000000000000000000000000000000, 0x02000000000000000000000000000000000000000000000000, 0x03000000000000000000000000000000000000000000000000, 0x04000000000000000000000000000000000000000000000000, 0x00
+// gas irOptimized: 269636
+// gas legacy: 269681
+// gas legacyOptimized: 268753
diff --git a/test/libsolidity/semanticTests/array/copying/array_nested_calldata_to_storage.sol b/test/libsolidity/semanticTests/array/copying/array_nested_calldata_to_storage.sol
@@ -38,6 +38,10 @@ contract c {
 // compileViaYul: true
 // ----
 // test1(uint256[][]): 0x20, 2, 0x40, 0x40, 2, 23, 42 -> 2, 65
+// gas irOptimized: 179776
 // test2(uint256[][2]): 0x20, 0x40, 0x40, 2, 23, 42 -> 2, 65
+// gas irOptimized: 155253
 // test3(uint256[2][]): 0x20, 2, 23, 42, 23, 42 -> 2, 65
+// gas irOptimized: 133521
 // test4(uint256[2][2]): 23, 42, 23, 42 -> 65
+// gas irOptimized: 107882
diff --git a/test/libsolidity/semanticTests/array/copying/array_nested_memory_to_storage.sol b/test/libsolidity/semanticTests/array/copying/array_nested_memory_to_storage.sol
@@ -40,6 +40,12 @@ contract Test {
 // compileViaYul: also
 // ----
 // test() -> 24
+// gas irOptimized: 217774
+// gas legacy: 215533
+// gas legacyOptimized: 214947
 // test1() -> 3
 // test2() -> 6
-// test3() -> 24
+// test3() -> 24
+// gas irOptimized: 124684
+// gas legacy: 122795
+// gas legacyOptimized: 121883
diff --git a/test/libsolidity/semanticTests/array/copying/array_of_struct_calldata_to_storage.sol b/test/libsolidity/semanticTests/array/copying/array_of_struct_calldata_to_storage.sol
@@ -16,4 +16,5 @@ contract C {
 // ====
 // compileViaYul: true
 // ----
-// f((uint128, uint64, uint128)[]): 0x20, 3, 0, 0, 12, 0, 11, 0, 10, 0, 0 -> 10, 11, 12
+// f((uint128,uint64,uint128)[]): 0x20, 3, 0, 0, 12, 0, 11, 0, 10, 0, 0 -> 10, 11, 12
+// gas irOptimized: 123327
diff --git a/test/libsolidity/semanticTests/array/copying/array_of_struct_memory_to_storage.sol b/test/libsolidity/semanticTests/array/copying/array_of_struct_memory_to_storage.sol
@@ -18,4 +18,5 @@ contract C {
 // ====
 // compileViaYul: true
 // ----
-// f() -> 10, 11, 12
+// f() -> 10, 11, 12
+// gas irOptimized: 122695
diff --git a/...ty/semanticTests/array/copying/array_of_structs_containing_arrays_calldata_to_storage.sol b/...ty/semanticTests/array/copying/array_of_structs_containing_arrays_calldata_to_storage.sol
@@ -22,4 +22,5 @@ contract C {
 // ====
 // compileViaYul: true
 // ----
-// f((uint256[])[]): 0x20, 3, 0x60, 0x60, 0x60, 0x20, 3, 1, 2, 3 -> 3, 1
+// f((uint256[])[]): 0x20, 3, 0x60, 0x60, 0x60, 0x20, 3, 1, 2, 3 -> 3, 1
+// gas irOptimized: 354585
diff --git a/...dity/semanticTests/array/copying/array_of_structs_containing_arrays_memory_to_storage.sol b/...dity/semanticTests/array/copying/array_of_structs_containing_arrays_memory_to_storage.sol
@@ -26,3 +26,4 @@ contract C {
 // compileViaYul: true
 // ----
 // f() -> 3, 3, 3, 1
+// gas irOptimized: 189829
diff --git a/test/libsolidity/semanticTests/array/copying/array_storage_multi_items_per_slot.sol b/test/libsolidity/semanticTests/array/copying/array_storage_multi_items_per_slot.sol
@@ -11,7 +11,10 @@ contract C {
     }
 }
 // ====
-// compileViaYul: also
 // compileToEwasm: also
+// compileViaYul: also
 // ----
 // f() -> 1, 2, 3
+// gas irOptimized: 135092
+// gas legacy: 134419
+// gas legacyOptimized: 125440
diff --git a/test/libsolidity/semanticTests/array/copying/arrays_from_and_to_storage.sol b/test/libsolidity/semanticTests/array/copying/arrays_from_and_to_storage.sol
@@ -12,6 +12,9 @@ contract Test {
 // compileViaYul: also
 // ----
 // set(uint24[]): 0x20, 18, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 -> 18
+// gas irOptimized: 121147
+// gas legacy: 125815
+// gas legacyOptimized: 123617
 // data(uint256): 7 -> 8
 // data(uint256): 15 -> 16
 // data(uint256): 18 -> FAILURE

diff --git a/test/libsolidity/semanticTests/array/copying/bytes_inside_mappings.sol b/test/libsolidity/semanticTests/array/copying/bytes_inside_mappings.sol
@@ -7,7 +7,13 @@ contract c {
 // compileViaYul: also
 // ----
 // set(uint256): 1, 2 -> true
+// gas irOptimized: 103365
+// gas legacy: 103491
+// gas legacyOptimized: 103135
 // set(uint256): 2, 2, 3, 4, 5 -> true
+// gas irOptimized: 164052
+// gas legacy: 164121
+// gas legacyOptimized: 163765
 // storage: nonempty
 // copy(uint256,uint256): 1, 2 -> true
 // storage: nonempty