Skip to content

Commit 738cf7f

Browse files
ekpyronekpyron
committed
Simplify shuffling test.
1 parent 5afe728 commit 738cf7f

File tree

2 files changed

+4
-84
lines changed

2 files changed

+4
-84
lines changed

‎test/libyul/yulStackShuffling/pop_early_to_avoid_swap17.stack‎

Lines changed: 2 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
[ junk v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 junk deep ]
2-
[ deep v14 v13 v12 v11 v10 v09 v08 v07 v06 v05 v04 v03 v02 v01 v00 ]
2+
[ deep v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 junk ]
33
// ----
44
// [ junk v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 junk deep ]
55
// SWAP1
@@ -8,44 +8,4 @@
88
// [ junk v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 deep ]
99
// SWAP16
1010
// [ deep v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 junk ]
11-
// POP
12-
// [ deep v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 ]
13-
// SWAP14
14-
// [ deep v14 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v00 ]
15-
// SWAP13
16-
// [ deep v14 v00 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v01 ]
17-
// SWAP1
18-
// [ deep v14 v00 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v01 v13 ]
19-
// SWAP13
20-
// [ deep v14 v13 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v01 v00 ]
21-
// SWAP12
22-
// [ deep v14 v13 v00 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v01 v02 ]
23-
// SWAP2
24-
// [ deep v14 v13 v00 v03 v04 v05 v06 v07 v08 v09 v10 v11 v02 v01 v12 ]
25-
// SWAP12
26-
// [ deep v14 v13 v12 v03 v04 v05 v06 v07 v08 v09 v10 v11 v02 v01 v00 ]
27-
// SWAP11
28-
// [ deep v14 v13 v12 v00 v04 v05 v06 v07 v08 v09 v10 v11 v02 v01 v03 ]
29-
// SWAP3
30-
// [ deep v14 v13 v12 v00 v04 v05 v06 v07 v08 v09 v10 v03 v02 v01 v11 ]
31-
// SWAP11
32-
// [ deep v14 v13 v12 v11 v04 v05 v06 v07 v08 v09 v10 v03 v02 v01 v00 ]
33-
// SWAP10
34-
// [ deep v14 v13 v12 v11 v00 v05 v06 v07 v08 v09 v10 v03 v02 v01 v04 ]
35-
// SWAP4
36-
// [ deep v14 v13 v12 v11 v00 v05 v06 v07 v08 v09 v04 v03 v02 v01 v10 ]
37-
// SWAP10
38-
// [ deep v14 v13 v12 v11 v10 v05 v06 v07 v08 v09 v04 v03 v02 v01 v00 ]
39-
// SWAP9
40-
// [ deep v14 v13 v12 v11 v10 v00 v06 v07 v08 v09 v04 v03 v02 v01 v05 ]
41-
// SWAP5
42-
// [ deep v14 v13 v12 v11 v10 v00 v06 v07 v08 v05 v04 v03 v02 v01 v09 ]
43-
// SWAP9
44-
// [ deep v14 v13 v12 v11 v10 v09 v06 v07 v08 v05 v04 v03 v02 v01 v00 ]
45-
// SWAP8
46-
// [ deep v14 v13 v12 v11 v10 v09 v00 v07 v08 v05 v04 v03 v02 v01 v06 ]
47-
// SWAP6
48-
// [ deep v14 v13 v12 v11 v10 v09 v00 v07 v06 v05 v04 v03 v02 v01 v08 ]
49-
// SWAP8
50-
// [ deep v14 v13 v12 v11 v10 v09 v08 v07 v06 v05 v04 v03 v02 v01 v00 ]
51-
// 23 operations
11+
// 3 operations

‎test/libyul/yulStackShuffling/swap17.stack‎

Lines changed: 2 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
[ junk v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 junk deep ]
2-
[ deep v14 v13 v12 v11 v10 v09 v08 v07 v06 v05 v04 v03 v02 v01 v00 ]
2+
[ deep v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 junk ]
33
// ====
44
// maximumStackDepth: 256
55
// ----
@@ -8,44 +8,4 @@
88
// [ deep v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 junk junk ]
99
// POP
1010
// [ deep v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 junk ]
11-
// POP
12-
// [ deep v00 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v14 ]
13-
// SWAP14
14-
// [ deep v14 v01 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v00 ]
15-
// SWAP13
16-
// [ deep v14 v00 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v13 v01 ]
17-
// SWAP1
18-
// [ deep v14 v00 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v01 v13 ]
19-
// SWAP13
20-
// [ deep v14 v13 v02 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v01 v00 ]
21-
// SWAP12
22-
// [ deep v14 v13 v00 v03 v04 v05 v06 v07 v08 v09 v10 v11 v12 v01 v02 ]
23-
// SWAP2
24-
// [ deep v14 v13 v00 v03 v04 v05 v06 v07 v08 v09 v10 v11 v02 v01 v12 ]
25-
// SWAP12
26-
// [ deep v14 v13 v12 v03 v04 v05 v06 v07 v08 v09 v10 v11 v02 v01 v00 ]
27-
// SWAP11
28-
// [ deep v14 v13 v12 v00 v04 v05 v06 v07 v08 v09 v10 v11 v02 v01 v03 ]
29-
// SWAP3
30-
// [ deep v14 v13 v12 v00 v04 v05 v06 v07 v08 v09 v10 v03 v02 v01 v11 ]
31-
// SWAP11
32-
// [ deep v14 v13 v12 v11 v04 v05 v06 v07 v08 v09 v10 v03 v02 v01 v00 ]
33-
// SWAP10
34-
// [ deep v14 v13 v12 v11 v00 v05 v06 v07 v08 v09 v10 v03 v02 v01 v04 ]
35-
// SWAP4
36-
// [ deep v14 v13 v12 v11 v00 v05 v06 v07 v08 v09 v04 v03 v02 v01 v10 ]
37-
// SWAP10
38-
// [ deep v14 v13 v12 v11 v10 v05 v06 v07 v08 v09 v04 v03 v02 v01 v00 ]
39-
// SWAP9
40-
// [ deep v14 v13 v12 v11 v10 v00 v06 v07 v08 v09 v04 v03 v02 v01 v05 ]
41-
// SWAP5
42-
// [ deep v14 v13 v12 v11 v10 v00 v06 v07 v08 v05 v04 v03 v02 v01 v09 ]
43-
// SWAP9
44-
// [ deep v14 v13 v12 v11 v10 v09 v06 v07 v08 v05 v04 v03 v02 v01 v00 ]
45-
// SWAP8
46-
// [ deep v14 v13 v12 v11 v10 v09 v00 v07 v08 v05 v04 v03 v02 v01 v06 ]
47-
// SWAP6
48-
// [ deep v14 v13 v12 v11 v10 v09 v00 v07 v06 v05 v04 v03 v02 v01 v08 ]
49-
// SWAP8
50-
// [ deep v14 v13 v12 v11 v10 v09 v08 v07 v06 v05 v04 v03 v02 v01 v00 ]
51-
// 22 operations
11+
// 2 operations

0 commit comments

Comments
 (0)