Skip to content
This repository was archived by the owner on Jun 26, 2020. It is now read-only.

Commit c96bda0

Browse files
committed
Use BB-like EBB in filetests/regalloc/*.clif
1 parent 5dd9294 commit c96bda0

File tree

9 files changed

+360
-0
lines changed

9 files changed

+360
-0
lines changed

filetests/regalloc/coalesce.clif

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,9 @@ ebb0(v0: i32):
1212
; not: copy
1313
; v0 is used by the branch and passed as an arg - that's no conflict.
1414
brnz v0, ebb1(v0)
15+
fallthrough ebb2
16+
17+
ebb2:
1518
; v0 is live across the branch above. That's no conflict.
1619
v1 = iadd_imm v0, 7
1720
jump ebb1(v1)
@@ -26,6 +29,9 @@ ebb0(v0: i32):
2629
; check: $(cp1=$V) = copy v0
2730
; nextln: brnz v0, ebb1($cp1)
2831
brnz v0, ebb1(v0)
32+
fallthrough ebb2
33+
34+
ebb2:
2935
; not: copy
3036
v1 = iadd_imm v0, 7
3137
jump ebb1(v1)
@@ -42,6 +48,9 @@ ebb0(v0: i32):
4248
; check: $(cp1=$V) = copy v0
4349
; nextln: brnz v0, ebb1($cp1, v0)
4450
brnz v0, ebb1(v0, v0)
51+
fallthrough ebb2
52+
53+
ebb2:
4554
v1 = iadd_imm v0, 7
4655
v2 = iadd_imm v1, 56
4756
jump ebb1(v1, v2)
@@ -59,6 +68,9 @@ ebb0(v0: i32):
5968
; not: copy
6069
; check: brnz v0, ebb1($cp0)
6170
brnz v0, ebb1(v0)
71+
fallthrough ebb2
72+
73+
ebb2:
6274
v1 = iadd_imm v0, 7
6375
; v1 and v0 interfere here:
6476
v2 = iadd_imm v0, 8
@@ -89,6 +101,9 @@ ebb1(v10: i32, v11: i32):
89101
; not: copy
90102
; check: brnz v13, ebb1($nv11b, v12)
91103
brnz v13, ebb1(v11, v12)
104+
fallthrough ebb2
105+
106+
ebb2:
92107
return v12
93108
}
94109

@@ -116,7 +131,13 @@ ebb0(v0: i32):
116131

117132
ebb2(v3: i32, v4: i32):
118133
brnz v3, ebb2(v3, v4)
134+
fallthrough ebb3
135+
136+
ebb3:
119137
v5 = iconst.i32 1
120138
brnz v3, ebb2(v2, v5)
139+
fallthrough ebb4
140+
141+
ebb4:
121142
return
122143
}

0 commit comments

Comments
 (0)