Skip to content

Commit a69cb20

Browse files
author
Chen Zheng
committed
[NFC] Fix the PowerPC broken cases in D152215.
Reviewed By: qiucf Differential Revision: https://reviews.llvm.org/D159052
1 parent 067bd7d commit a69cb20

File tree

3 files changed

+364
-167
lines changed

3 files changed

+364
-167
lines changed

‎llvm/test/CodeGen/PowerPC/aix-lower-jump-table-mir.ll

Lines changed: 234 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,234 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 2
2+
; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-altivec -mtriple powerpc-ibm-aix-xcoff \
3+
; RUN: -ppc-min-jump-table-entries=4 -code-model=small -stop-after=machine-cp < %s | FileCheck \
4+
; RUN: --check-prefix=32SMALL-MIR %s
5+
6+
; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-altivec -mtriple powerpc-ibm-aix-xcoff \
7+
; RUN: -ppc-min-jump-table-entries=4 -code-model=large -stop-after=machine-cp < %s | FileCheck \
8+
; RUN: --check-prefix=32LARGE-MIR %s
9+
10+
; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-altivec -mtriple powerpc64-ibm-aix-xcoff \
11+
; RUN: -ppc-min-jump-table-entries=4 -code-model=small -stop-after=machine-cp < %s | FileCheck \
12+
; RUN: --check-prefix=64SMALL-MIR %s
13+
14+
; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-altivec -mtriple powerpc64-ibm-aix-xcoff \
15+
; RUN: -ppc-min-jump-table-entries=4 -code-model=large -stop-after=machine-cp < %s | FileCheck \
16+
; RUN: --check-prefix=64LARGE-MIR %s
17+
18+
define i32 @jump_table(i32 %a) {
19+
; 32SMALL-MIR-LABEL: name: jump_table
20+
; 32SMALL-MIR: bb.0.entry:
21+
; 32SMALL-MIR-NEXT: successors: %bb.6(0x19999998), %bb.1(0x66666668)
22+
; 32SMALL-MIR-NEXT: liveins: $r3
23+
; 32SMALL-MIR-NEXT: {{ $}}
24+
; 32SMALL-MIR-NEXT: renamable $r3 = ADDI killed renamable $r3, -1
25+
; 32SMALL-MIR-NEXT: renamable $cr0 = CMPLWI renamable $r3, 3
26+
; 32SMALL-MIR-NEXT: BCC 44, killed renamable $cr0, %bb.6
27+
; 32SMALL-MIR-NEXT: {{ $}}
28+
; 32SMALL-MIR-NEXT: bb.1.entry:
29+
; 32SMALL-MIR-NEXT: successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
30+
; 32SMALL-MIR-NEXT: liveins: $r3
31+
; 32SMALL-MIR-NEXT: {{ $}}
32+
; 32SMALL-MIR-NEXT: renamable $r4 = LWZtoc %jump-table.0, $r2 :: (load (s32) from got)
33+
; 32SMALL-MIR-NEXT: renamable $r3 = RLWINM killed renamable $r3, 2, 0, 29
34+
; 32SMALL-MIR-NEXT: renamable $r3 = LWZX killed renamable $r3, renamable $r4 :: (load (s32) from jump-table)
35+
; 32SMALL-MIR-NEXT: renamable $r3 = ADD4 killed renamable $r3, killed renamable $r4
36+
; 32SMALL-MIR-NEXT: MTCTR killed renamable $r3, implicit-def $ctr
37+
; 32SMALL-MIR-NEXT: BCTR implicit $ctr
38+
; 32SMALL-MIR-NEXT: {{ $}}
39+
; 32SMALL-MIR-NEXT: bb.2.sw.bb:
40+
; 32SMALL-MIR-NEXT: successors: %bb.6(0x80000000)
41+
; 32SMALL-MIR-NEXT: {{ $}}
42+
; 32SMALL-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
43+
; 32SMALL-MIR-NEXT: B %bb.6
44+
; 32SMALL-MIR-NEXT: {{ $}}
45+
; 32SMALL-MIR-NEXT: bb.3.sw.bb1:
46+
; 32SMALL-MIR-NEXT: successors: %bb.6(0x80000000)
47+
; 32SMALL-MIR-NEXT: {{ $}}
48+
; 32SMALL-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
49+
; 32SMALL-MIR-NEXT: B %bb.6
50+
; 32SMALL-MIR-NEXT: {{ $}}
51+
; 32SMALL-MIR-NEXT: bb.4.sw.bb2:
52+
; 32SMALL-MIR-NEXT: successors: %bb.6(0x80000000)
53+
; 32SMALL-MIR-NEXT: {{ $}}
54+
; 32SMALL-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
55+
; 32SMALL-MIR-NEXT: B %bb.6
56+
; 32SMALL-MIR-NEXT: {{ $}}
57+
; 32SMALL-MIR-NEXT: bb.5.sw.bb3:
58+
; 32SMALL-MIR-NEXT: successors: %bb.6(0x80000000)
59+
; 32SMALL-MIR-NEXT: {{ $}}
60+
; 32SMALL-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
61+
; 32SMALL-MIR-NEXT: {{ $}}
62+
; 32SMALL-MIR-NEXT: bb.6.sw.epilog:
63+
; 32SMALL-MIR-NEXT: $r3 = LI 0
64+
; 32SMALL-MIR-NEXT: BLR implicit $lr, implicit $rm, implicit $r3
65+
;
66+
; 32LARGE-MIR-LABEL: name: jump_table
67+
; 32LARGE-MIR: bb.0.entry:
68+
; 32LARGE-MIR-NEXT: successors: %bb.6(0x19999998), %bb.1(0x66666668)
69+
; 32LARGE-MIR-NEXT: liveins: $r3
70+
; 32LARGE-MIR-NEXT: {{ $}}
71+
; 32LARGE-MIR-NEXT: renamable $r3 = ADDI killed renamable $r3, -1
72+
; 32LARGE-MIR-NEXT: renamable $cr0 = CMPLWI renamable $r3, 3
73+
; 32LARGE-MIR-NEXT: BCC 44, killed renamable $cr0, %bb.6
74+
; 32LARGE-MIR-NEXT: {{ $}}
75+
; 32LARGE-MIR-NEXT: bb.1.entry:
76+
; 32LARGE-MIR-NEXT: successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
77+
; 32LARGE-MIR-NEXT: liveins: $r3
78+
; 32LARGE-MIR-NEXT: {{ $}}
79+
; 32LARGE-MIR-NEXT: renamable $r4 = ADDIStocHA $r2, %jump-table.0
80+
; 32LARGE-MIR-NEXT: renamable $r4 = LWZtocL %jump-table.0, killed renamable $r4, implicit $r2 :: (load (s32) from got)
81+
; 32LARGE-MIR-NEXT: renamable $r3 = RLWINM killed renamable $r3, 2, 0, 29
82+
; 32LARGE-MIR-NEXT: renamable $r3 = LWZX killed renamable $r3, renamable $r4 :: (load (s32) from jump-table)
83+
; 32LARGE-MIR-NEXT: renamable $r3 = ADD4 killed renamable $r3, killed renamable $r4
84+
; 32LARGE-MIR-NEXT: MTCTR killed renamable $r3, implicit-def $ctr
85+
; 32LARGE-MIR-NEXT: BCTR implicit $ctr
86+
; 32LARGE-MIR-NEXT: {{ $}}
87+
; 32LARGE-MIR-NEXT: bb.2.sw.bb:
88+
; 32LARGE-MIR-NEXT: successors: %bb.6(0x80000000)
89+
; 32LARGE-MIR-NEXT: {{ $}}
90+
; 32LARGE-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
91+
; 32LARGE-MIR-NEXT: B %bb.6
92+
; 32LARGE-MIR-NEXT: {{ $}}
93+
; 32LARGE-MIR-NEXT: bb.3.sw.bb1:
94+
; 32LARGE-MIR-NEXT: successors: %bb.6(0x80000000)
95+
; 32LARGE-MIR-NEXT: {{ $}}
96+
; 32LARGE-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
97+
; 32LARGE-MIR-NEXT: B %bb.6
98+
; 32LARGE-MIR-NEXT: {{ $}}
99+
; 32LARGE-MIR-NEXT: bb.4.sw.bb2:
100+
; 32LARGE-MIR-NEXT: successors: %bb.6(0x80000000)
101+
; 32LARGE-MIR-NEXT: {{ $}}
102+
; 32LARGE-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
103+
; 32LARGE-MIR-NEXT: B %bb.6
104+
; 32LARGE-MIR-NEXT: {{ $}}
105+
; 32LARGE-MIR-NEXT: bb.5.sw.bb3:
106+
; 32LARGE-MIR-NEXT: successors: %bb.6(0x80000000)
107+
; 32LARGE-MIR-NEXT: {{ $}}
108+
; 32LARGE-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
109+
; 32LARGE-MIR-NEXT: {{ $}}
110+
; 32LARGE-MIR-NEXT: bb.6.sw.epilog:
111+
; 32LARGE-MIR-NEXT: $r3 = LI 0
112+
; 32LARGE-MIR-NEXT: BLR implicit $lr, implicit $rm, implicit $r3
113+
;
114+
; 64SMALL-MIR-LABEL: name: jump_table
115+
; 64SMALL-MIR: bb.0.entry:
116+
; 64SMALL-MIR-NEXT: successors: %bb.6(0x19999998), %bb.1(0x66666668)
117+
; 64SMALL-MIR-NEXT: liveins: $x3
118+
; 64SMALL-MIR-NEXT: {{ $}}
119+
; 64SMALL-MIR-NEXT: renamable $r3 = ADDI renamable $r3, -1, implicit killed $x3, implicit-def $x3
120+
; 64SMALL-MIR-NEXT: renamable $cr0 = CMPLWI renamable $r3, 3
121+
; 64SMALL-MIR-NEXT: BCC 44, killed renamable $cr0, %bb.6
122+
; 64SMALL-MIR-NEXT: {{ $}}
123+
; 64SMALL-MIR-NEXT: bb.1.entry:
124+
; 64SMALL-MIR-NEXT: successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
125+
; 64SMALL-MIR-NEXT: liveins: $x3
126+
; 64SMALL-MIR-NEXT: {{ $}}
127+
; 64SMALL-MIR-NEXT: renamable $x4 = LDtocJTI %jump-table.0, $x2 :: (load (s64) from got)
128+
; 64SMALL-MIR-NEXT: renamable $x3 = RLDIC killed renamable $x3, 2, 30
129+
; 64SMALL-MIR-NEXT: renamable $x3 = LWAX killed renamable $x3, renamable $x4 :: (load (s32) from jump-table)
130+
; 64SMALL-MIR-NEXT: renamable $x3 = ADD8 killed renamable $x3, killed renamable $x4
131+
; 64SMALL-MIR-NEXT: MTCTR8 killed renamable $x3, implicit-def $ctr8
132+
; 64SMALL-MIR-NEXT: BCTR8 implicit $ctr8
133+
; 64SMALL-MIR-NEXT: {{ $}}
134+
; 64SMALL-MIR-NEXT: bb.2.sw.bb:
135+
; 64SMALL-MIR-NEXT: successors: %bb.6(0x80000000)
136+
; 64SMALL-MIR-NEXT: {{ $}}
137+
; 64SMALL-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
138+
; 64SMALL-MIR-NEXT: B %bb.6
139+
; 64SMALL-MIR-NEXT: {{ $}}
140+
; 64SMALL-MIR-NEXT: bb.3.sw.bb1:
141+
; 64SMALL-MIR-NEXT: successors: %bb.6(0x80000000)
142+
; 64SMALL-MIR-NEXT: {{ $}}
143+
; 64SMALL-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
144+
; 64SMALL-MIR-NEXT: B %bb.6
145+
; 64SMALL-MIR-NEXT: {{ $}}
146+
; 64SMALL-MIR-NEXT: bb.4.sw.bb2:
147+
; 64SMALL-MIR-NEXT: successors: %bb.6(0x80000000)
148+
; 64SMALL-MIR-NEXT: {{ $}}
149+
; 64SMALL-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
150+
; 64SMALL-MIR-NEXT: B %bb.6
151+
; 64SMALL-MIR-NEXT: {{ $}}
152+
; 64SMALL-MIR-NEXT: bb.5.sw.bb3:
153+
; 64SMALL-MIR-NEXT: successors: %bb.6(0x80000000)
154+
; 64SMALL-MIR-NEXT: {{ $}}
155+
; 64SMALL-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
156+
; 64SMALL-MIR-NEXT: {{ $}}
157+
; 64SMALL-MIR-NEXT: bb.6.sw.epilog:
158+
; 64SMALL-MIR-NEXT: $x3 = LI8 0
159+
; 64SMALL-MIR-NEXT: BLR8 implicit $lr8, implicit $rm, implicit $x3
160+
;
161+
; 64LARGE-MIR-LABEL: name: jump_table
162+
; 64LARGE-MIR: bb.0.entry:
163+
; 64LARGE-MIR-NEXT: successors: %bb.6(0x19999998), %bb.1(0x66666668)
164+
; 64LARGE-MIR-NEXT: liveins: $x3
165+
; 64LARGE-MIR-NEXT: {{ $}}
166+
; 64LARGE-MIR-NEXT: renamable $r3 = ADDI renamable $r3, -1, implicit killed $x3, implicit-def $x3
167+
; 64LARGE-MIR-NEXT: renamable $cr0 = CMPLWI renamable $r3, 3
168+
; 64LARGE-MIR-NEXT: BCC 44, killed renamable $cr0, %bb.6
169+
; 64LARGE-MIR-NEXT: {{ $}}
170+
; 64LARGE-MIR-NEXT: bb.1.entry:
171+
; 64LARGE-MIR-NEXT: successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
172+
; 64LARGE-MIR-NEXT: liveins: $x3
173+
; 64LARGE-MIR-NEXT: {{ $}}
174+
; 64LARGE-MIR-NEXT: renamable $x4 = ADDIStocHA8 $x2, %jump-table.0
175+
; 64LARGE-MIR-NEXT: renamable $x4 = LDtocL %jump-table.0, killed renamable $x4, implicit $x2 :: (load (s64) from got)
176+
; 64LARGE-MIR-NEXT: renamable $x3 = RLDIC killed renamable $x3, 2, 30
177+
; 64LARGE-MIR-NEXT: renamable $x3 = LWAX killed renamable $x3, renamable $x4 :: (load (s32) from jump-table)
178+
; 64LARGE-MIR-NEXT: renamable $x3 = ADD8 killed renamable $x3, killed renamable $x4
179+
; 64LARGE-MIR-NEXT: MTCTR8 killed renamable $x3, implicit-def $ctr8
180+
; 64LARGE-MIR-NEXT: BCTR8 implicit $ctr8
181+
; 64LARGE-MIR-NEXT: {{ $}}
182+
; 64LARGE-MIR-NEXT: bb.2.sw.bb:
183+
; 64LARGE-MIR-NEXT: successors: %bb.6(0x80000000)
184+
; 64LARGE-MIR-NEXT: {{ $}}
185+
; 64LARGE-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
186+
; 64LARGE-MIR-NEXT: B %bb.6
187+
; 64LARGE-MIR-NEXT: {{ $}}
188+
; 64LARGE-MIR-NEXT: bb.3.sw.bb1:
189+
; 64LARGE-MIR-NEXT: successors: %bb.6(0x80000000)
190+
; 64LARGE-MIR-NEXT: {{ $}}
191+
; 64LARGE-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
192+
; 64LARGE-MIR-NEXT: B %bb.6
193+
; 64LARGE-MIR-NEXT: {{ $}}
194+
; 64LARGE-MIR-NEXT: bb.4.sw.bb2:
195+
; 64LARGE-MIR-NEXT: successors: %bb.6(0x80000000)
196+
; 64LARGE-MIR-NEXT: {{ $}}
197+
; 64LARGE-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
198+
; 64LARGE-MIR-NEXT: B %bb.6
199+
; 64LARGE-MIR-NEXT: {{ $}}
200+
; 64LARGE-MIR-NEXT: bb.5.sw.bb3:
201+
; 64LARGE-MIR-NEXT: successors: %bb.6(0x80000000)
202+
; 64LARGE-MIR-NEXT: {{ $}}
203+
; 64LARGE-MIR-NEXT: INLINEASM &"", 1 /* sideeffect attdialect */
204+
; 64LARGE-MIR-NEXT: {{ $}}
205+
; 64LARGE-MIR-NEXT: bb.6.sw.epilog:
206+
; 64LARGE-MIR-NEXT: $x3 = LI8 0
207+
; 64LARGE-MIR-NEXT: BLR8 implicit $lr8, implicit $rm, implicit $x3
208+
entry:
209+
switch i32 %a, label %sw.epilog [
210+
i32 1, label %sw.bb
211+
i32 2, label %sw.bb1
212+
i32 3, label %sw.bb2
213+
i32 4, label %sw.bb3
214+
]
215+
216+
sw.bb:
217+
tail call void asm sideeffect "", ""()
218+
br label %sw.epilog
219+
220+
sw.bb1:
221+
tail call void asm sideeffect "", ""()
222+
br label %sw.epilog
223+
224+
sw.bb2:
225+
tail call void asm sideeffect "", ""()
226+
br label %sw.epilog
227+
228+
sw.bb3:
229+
tail call void asm sideeffect "", ""()
230+
br label %sw.epilog
231+
232+
sw.epilog:
233+
ret i32 0
234+
}

0 commit comments

Comments
 (0)