Skip to content

Commit 614646b

Browse files
committed
Add test with non-zero PUSH #[$] asm instructions
1 parent 4f23c18 commit 614646b

File tree

3 files changed

+121
-0
lines changed

3 files changed

+121
-0
lines changed

Diff for: test/cmdlineTests/asm_json_nested_structure/args

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
--asm-json --pretty-json --strict-assembly
+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
object "root" {
2+
code {
3+
// this produces non-zero PUSH #[$] assembly item values
4+
mstore(42, datasize("sub1.sub1_2"))
5+
mstore(42, datasize("sub2.sub2_2"))
6+
}
7+
object "sub1" {
8+
code {}
9+
object "sub1_2" {
10+
code {}
11+
}
12+
}
13+
object "sub2" {
14+
code {}
15+
object "sub2_2" {
16+
code {}
17+
}
18+
}
19+
}

Diff for: test/cmdlineTests/asm_json_nested_structure/output

+101
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,101 @@
1+
2+
======= asm_json_nested_structure/input.yul (EVM) =======
3+
4+
EVM assembly:
5+
{
6+
".code": [
7+
{
8+
"begin": 60,
9+
"end": 83,
10+
"name": "PUSH #[$]",
11+
"source": -1,
12+
"value": "000000000000000000000000000000000000000000000000ffffffffffffffff"
13+
},
14+
{
15+
"begin": 56,
16+
"end": 58,
17+
"name": "PUSH",
18+
"source": -1,
19+
"value": "2A"
20+
},
21+
{
22+
"begin": 49,
23+
"end": 84,
24+
"name": "MSTORE",
25+
"source": -1
26+
},
27+
{
28+
"begin": 108,
29+
"end": 131,
30+
"name": "PUSH #[$]",
31+
"source": -1,
32+
"value": "000000000000000000000000000000000000000000000000fffffffffffffffe"
33+
},
34+
{
35+
"begin": 104,
36+
"end": 106,
37+
"name": "PUSH",
38+
"source": -1,
39+
"value": "2A"
40+
},
41+
{
42+
"begin": 97,
43+
"end": 132,
44+
"name": "MSTORE",
45+
"source": -1
46+
},
47+
{
48+
"begin": 25,
49+
"end": 148,
50+
"name": "STOP",
51+
"source": -1
52+
}
53+
],
54+
".data": {
55+
"0": {
56+
".code": [
57+
{
58+
"begin": 182,
59+
"end": 189,
60+
"name": "STOP",
61+
"source": -1
62+
}
63+
],
64+
".data": {
65+
"0": {
66+
".code": [
67+
{
68+
"begin": 233,
69+
"end": 240,
70+
"name": "STOP",
71+
"source": -1
72+
}
73+
]
74+
}
75+
}
76+
},
77+
"1": {
78+
".code": [
79+
{
80+
"begin": 290,
81+
"end": 297,
82+
"name": "STOP",
83+
"source": -1
84+
}
85+
],
86+
".data": {
87+
"0": {
88+
".code": [
89+
{
90+
"begin": 341,
91+
"end": 348,
92+
"name": "STOP",
93+
"source": -1
94+
}
95+
]
96+
}
97+
}
98+
}
99+
},
100+
"sourceList": []
101+
}

0 commit comments

Comments
 (0)