cerc-io/solidity
10
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

Updating cmdline tests to include origin source locations.

Browse Source
This commit is contained in:
Djordje Mijovic 2021-03-30 15:54:14 +02:00
parent 0563e826b5
commit d89e9b9c7f
9 changed files with 73 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
test/cmdlineTests/combined_json_generated_sources/output
View File

@ -51,7 +51,7 @@
{
"name": "revert",
"nodeType": "YulIdentifier",
"src": "165:6:1"
"src": "165:12:1"
},
"nodeType": "YulFunctionCall",
"src": "165:12:1"
@ -88,7 +88,7 @@
{
"name": "add",
"nodeType": "YulIdentifier",
"src": "138:3:1"
"src": "138:17:1"
},
"nodeType": "YulFunctionCall",
"src": "138:17:1"
@ -103,7 +103,7 @@
{
"name": "slt",
"nodeType": "YulIdentifier",
"src": "134:3:1"
"src": "134:27:1"
},
"nodeType": "YulFunctionCall",
"src": "134:27:1"
@ -113,7 +113,7 @@
{
"name": "iszero",
"nodeType": "YulIdentifier",
"src": "127:6:1"
"src": "127:35:1"
},
"nodeType": "YulFunctionCall",
"src": "127:35:1"
@ -138,7 +138,7 @@
{
"name": "calldataload",
"nodeType": "YulIdentifier",
"src": "198:12:1"
"src": "198:20:1"
},
"nodeType": "YulFunctionCall",
"src": "198:20:1"
@ -148,7 +148,7 @@
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "188:6:1"
"src": "188:30:1"
}
]
},
@ -183,7 +183,7 @@
{
"name": "revert",
"nodeType": "YulIdentifier",
"src": "263:6:1"
"src": "263:12:1"
},
"nodeType": "YulFunctionCall",
"src": "263:12:1"
@ -214,7 +214,7 @@
{
"name": "gt",
"nodeType": "YulIdentifier",
"src": "230:2:1"
"src": "230:30:1"
},
"nodeType": "YulFunctionCall",
"src": "230:30:1"
@ -246,7 +246,7 @@
{
"name": "add",
"nodeType": "YulIdentifier",
"src": "298:3:1"
"src": "298:17:1"
},
"nodeType": "YulFunctionCall",
"src": "298:17:1"
@ -256,7 +256,7 @@
{
"name": "arrayPos",
"nodeType": "YulIdentifier",
"src": "286:8:1"
"src": "286:29:1"
}
]
},
@ -291,7 +291,7 @@
{
"name": "revert",
"nodeType": "YulIdentifier",
"src": "371:6:1"
"src": "371:12:1"
},
"nodeType": "YulFunctionCall",
"src": "371:12:1"
@ -333,7 +333,7 @@
{
"name": "mul",
"nodeType": "YulIdentifier",
"src": "344:3:1"
"src": "344:17:1"
},
"nodeType": "YulFunctionCall",
"src": "344:17:1"
@ -343,7 +343,7 @@
{
"name": "add",
"nodeType": "YulIdentifier",
"src": "330:3:1"
"src": "330:32:1"
},
"nodeType": "YulFunctionCall",
"src": "330:32:1"
@ -358,7 +358,7 @@
{
"name": "gt",
"nodeType": "YulIdentifier",
"src": "327:2:1"
"src": "327:41:1"
},
"nodeType": "YulFunctionCall",
"src": "327:41:1"
@ -440,7 +440,7 @@
{
"name": "revert",
"nodeType": "YulIdentifier",
"src": "546:6:1"
"src": "546:12:1"
},
"nodeType": "YulFunctionCall",
"src": "546:12:1"
@ -472,7 +472,7 @@
{
"name": "sub",
"nodeType": "YulIdentifier",
"src": "515:3:1"
"src": "515:23:1"
},
"nodeType": "YulFunctionCall",
"src": "515:23:1"
@ -489,7 +489,7 @@
{
"name": "slt",
"nodeType": "YulIdentifier",
"src": "511:3:1"
"src": "511:32:1"
},
"nodeType": "YulFunctionCall",
"src": "511:32:1"
@ -529,7 +529,7 @@
{
"name": "add",
"nodeType": "YulIdentifier",
"src": "612:3:1"
"src": "612:17:1"
},
"nodeType": "YulFunctionCall",
"src": "612:17:1"
@ -539,7 +539,7 @@
{
"name": "calldataload",
"nodeType": "YulIdentifier",
"src": "599:12:1"
"src": "599:31:1"
},
"nodeType": "YulFunctionCall",
"src": "599:31:1"
@ -585,7 +585,7 @@
{
"name": "revert",
"nodeType": "YulIdentifier",
"src": "679:6:1"
"src": "679:12:1"
},
"nodeType": "YulFunctionCall",
"src": "679:12:1"
@ -616,7 +616,7 @@
{
"name": "gt",
"nodeType": "YulIdentifier",
"src": "646:2:1"
"src": "646:30:1"
},
"nodeType": "YulFunctionCall",
"src": "646:30:1"
@ -649,7 +649,7 @@
{
"name": "add",
"nodeType": "YulIdentifier",
"src": "773:3:1"
"src": "773:22:1"
},
"nodeType": "YulFunctionCall",
"src": "773:22:1"
@ -664,7 +664,7 @@
{
"name": "abi_decode_t_array$_t_uint256_$dyn_calldata_ptr",
"nodeType": "YulIdentifier",
"src": "725:47:1"
"src": "725:80:1"
},
"nodeType": "YulFunctionCall",
"src": "725:80:1"
@ -674,7 +674,7 @@
{
"name": "value0",
"nodeType": "YulIdentifier",
"src": "707:6:1"
"src": "707:98:1"
},
{
"name": "value1",

42
test/cmdlineTests/exp_base_literal/output
View File

@ -209,68 +209,110 @@ object "C_81" {
var__19 := zero_t_uint256_4
let expr_23 := 0x02
/// @origin exp_base_literal/input.sol:199,200
let _5 := var_a_4
let expr_24 := _5
/// @origin exp_base_literal/input.sol:196,200
let _6 := convert_t_rational_2_by_1_to_t_uint256(expr_23)
let expr_25 := checked_exp_t_rational_2_by_1_t_uint256(expr_24)
/// @origin exp_base_literal/input.sol:187,200
let var_w_22 := expr_25
/// @origin exp_base_literal/input.sol:212,219
let expr_29 := 0x02
/// @origin exp_base_literal/input.sol:213,215
let expr_30 := 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
/// @origin exp_base_literal/input.sol:212,216
let expr_31 := expr_30
/// @origin exp_base_literal/input.sol:218,219
let _7 := var_b_6
let expr_32 := _7
/// @origin exp_base_literal/input.sol:212,219
let _8 := convert_t_rational_minus_2_by_1_to_t_int256(expr_31)
let expr_33 := checked_exp_t_rational_minus_2_by_1_t_uint256(expr_32)
/// @origin exp_base_literal/input.sol:204,219
let var_x_28 := expr_33
/// @origin exp_base_literal/input.sol:232,237
let expr_37 := 0x0a
/// @origin exp_base_literal/input.sol:236,237
let _9 := var_c_8
let expr_38 := _9
/// @origin exp_base_literal/input.sol:232,237
let _10 := convert_t_rational_10_by_1_to_t_uint256(expr_37)
let expr_39 := checked_exp_t_rational_10_by_1_t_uint256(expr_38)
/// @origin exp_base_literal/input.sol:223,237
let var_y_36 := expr_39
/// @origin exp_base_literal/input.sol:250,265
let expr_47 := 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
/// @origin exp_base_literal/input.sol:250,262
let expr_48 := expr_47
/// @origin exp_base_literal/input.sol:264,265
let _11 := var_d_10
let expr_49 := _11
/// @origin exp_base_literal/input.sol:250,265
let _12 := convert_t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1_to_t_uint256(expr_48)
let expr_50 := checked_exp_t_rational_115792089237316195423570985008687907853269984665640564039457584007913129639935_by_1_t_uint256(expr_49)
/// @origin exp_base_literal/input.sol:241,265
let var_z_42 := expr_50
/// @origin exp_base_literal/input.sol:307,313
let expr_53 := 0x00
/// @origin exp_base_literal/input.sol:307,310
let expr_54 := expr_53
/// @origin exp_base_literal/input.sol:312,313
let _13 := var_a_4
let expr_55 := _13
/// @origin exp_base_literal/input.sol:307,313
let _14 := convert_t_rational_0_by_1_to_t_uint256(expr_54)
let expr_56 := checked_exp_t_rational_0_by_1_t_uint256(expr_55)
/// @origin exp_base_literal/input.sol:303,313
var_w_22 := expr_56
let expr_57 := expr_56
/// @origin exp_base_literal/input.sol:321,328
let expr_60 := 0x01
/// @origin exp_base_literal/input.sol:322,324
let expr_61 := 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
/// @origin exp_base_literal/input.sol:321,325
let expr_62 := expr_61
/// @origin exp_base_literal/input.sol:327,328
let _15 := var_b_6
let expr_63 := _15
/// @origin exp_base_literal/input.sol:321,328
let _16 := convert_t_rational_minus_1_by_1_to_t_int256(expr_62)
let expr_64 := checked_exp_t_rational_minus_1_by_1_t_uint256(expr_63)
/// @origin exp_base_literal/input.sol:317,328
var_x_28 := expr_64
let expr_65 := expr_64
/// @origin exp_base_literal/input.sol:336,340
let expr_68 := 0x01
/// @origin exp_base_literal/input.sol:339,340
let _17 := var_c_8
let expr_69 := _17
/// @origin exp_base_literal/input.sol:336,340
let _18 := convert_t_rational_1_by_1_to_t_uint256(expr_68)
let expr_70 := checked_exp_t_rational_1_by_1_t_uint256(expr_69)
/// @origin exp_base_literal/input.sol:332,340
var_y_36 := expr_70
let expr_71 := expr_70
/// @origin exp_base_literal/input.sol:352,364
let _19 := var_w_22
let expr_73 := _19
/// @origin exp_base_literal/input.sol:352,364
let expr_77_component_1 := expr_73
/// @origin exp_base_literal/input.sol:356,357
let _20 := var_x_28
let expr_74 := _20
/// @origin exp_base_literal/input.sol:352,364
let expr_77_component_2 := expr_74
/// @origin exp_base_literal/input.sol:359,360
let _21 := var_y_36
let expr_75 := _21
/// @origin exp_base_literal/input.sol:352,364
let expr_77_component_3 := expr_75
/// @origin exp_base_literal/input.sol:362,363
let _22 := var_z_42
let expr_76 := _22
/// @origin exp_base_literal/input.sol:352,364
let expr_77_component_4 := expr_76
/// @origin exp_base_literal/input.sol:345,364
var__13 := expr_77_component_1
var__15 := expr_77_component_2
var__17 := expr_77_component_3

2
test/cmdlineTests/standard_generatedSources/output.json
View File

File diff suppressed because one or more lines are too long

2
test/cmdlineTests/standard_optimizer_generatedSources/output.json
View File

File diff suppressed because one or more lines are too long

1
test/cmdlineTests/standard_viair_requested/output.json
View File

@ -125,6 +125,7 @@ object \"D_16\" {
if iszero(expr_12_address) { revert_forward_1() }
/// @origin A:128,141
let var_c_8_address := expr_12_address
}

2
test/cmdlineTests/strict_asm_jump/err
View File

@ -3,4 +3,4 @@ Error: Function "jump" not found.
--> strict_asm_jump/input.yul:1:3:
|
1 | { jump(1) }
| ^^^^
| ^^^^^^^

1
test/cmdlineTests/viair_abicoder_v1/output
View File

@ -78,6 +78,7 @@ object "test_11" {
var__5 := zero_t_bool_1
let expr_7 := 0x01
/// @origin viair_abicoder_v1/input.sol:149,160
var__5 := expr_7
leave

1
test/cmdlineTests/yul_string_format_ascii_bytes32_from_number/output.json
View File

@ -85,6 +85,7 @@ object \"C_11\" {
var__5 := zero_t_bytes4_1
let expr_7 := 0x61626364
/// @origin A:137,154
var__5 := convert_t_rational_1633837924_by_1_to_t_bytes4(expr_7)
leave

1
test/cmdlineTests/yul_string_format_hex/output.json
View File

@ -85,6 +85,7 @@ object \"C_11\" {
var__5 := zero_t_bytes4_1
let expr_7 := 0xaabbccdd
/// @origin A:137,154
var__5 := convert_t_rational_2864434397_by_1_to_t_bytes4(expr_7)
leave