Skip to content

Commit 38f2a1c

Browse files
topperctopperc
authored
[RISCV][GISel] Test legalizing s64 G_UADDE on RV32. And s128 on RV64. NFC (#159412)
1 parent aa8b624 commit 38f2a1c

File tree

2 files changed

+77
-52
lines changed

2 files changed

+77
-52
lines changed

‎llvm/test/CodeGen/RISCV/GlobalISel/legalizer/legalize-uadde-rv32.mir‎

Lines changed: 37 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -136,38 +136,49 @@ body: |
136136
; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $x13
137137
; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s32) = COPY $x14
138138
; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY2]]
139-
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD]](s32), [[COPY]]
140-
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
141-
; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C]]
142-
; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[ADD]], [[AND]]
143-
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
144-
; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[ADD1]](s32), [[C1]]
145-
; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[ICMP1]], [[COPY4]]
146-
; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[ICMP]], [[AND1]]
147-
; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ADD1]](s32)
148-
; CHECK-NEXT: [[ADD2:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[COPY3]]
149-
; CHECK-NEXT: [[ICMP2:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD2]](s32), [[COPY1]]
150-
; CHECK-NEXT: [[ADD3:%[0-9]+]]:_(s32) = G_ADD [[ADD2]], [[OR]]
151-
; CHECK-NEXT: [[ICMP3:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[ADD3]](s32), [[C1]]
152-
; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[ICMP3]], [[OR]]
153-
; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s32) = G_OR [[ICMP2]], [[AND2]]
154-
; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s32) = COPY [[ADD3]](s32)
155-
; CHECK-NEXT: $x10 = COPY [[COPY5]](s32)
156-
; CHECK-NEXT: $x11 = COPY [[COPY6]](s32)
139+
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD]](s32), [[COPY2]]
140+
; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ADD]](s32)
141+
; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[COPY3]]
142+
; CHECK-NEXT: [[ADD2:%[0-9]+]]:_(s32) = G_ADD [[ADD1]], [[ICMP]]
143+
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
144+
; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s32) = COPY [[ADD2]](s32)
145+
; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[COPY5]](s32), [[COPY]]
146+
; CHECK-NEXT: [[ICMP2:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[COPY6]](s32), [[COPY1]]
147+
; CHECK-NEXT: [[ICMP3:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[COPY6]](s32), [[COPY1]]
148+
; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[ICMP3]](s32), [[ICMP1]], [[ICMP2]]
149+
; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF
150+
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
151+
; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C1]]
152+
; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]
153+
; CHECK-NEXT: [[ADD3:%[0-9]+]]:_(s32) = G_ADD [[COPY5]], [[AND]]
154+
; CHECK-NEXT: [[ICMP4:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD3]](s32), [[AND]]
155+
; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s32) = COPY [[ADD3]](s32)
156+
; CHECK-NEXT: [[ADD4:%[0-9]+]]:_(s32) = G_ADD [[COPY6]], [[AND1]]
157+
; CHECK-NEXT: [[ADD5:%[0-9]+]]:_(s32) = G_ADD [[ADD4]], [[ICMP4]]
158+
; CHECK-NEXT: [[COPY8:%[0-9]+]]:_(s32) = COPY [[ADD5]](s32)
159+
; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY7]], [[C]]
160+
; CHECK-NEXT: [[XOR1:%[0-9]+]]:_(s32) = G_XOR [[COPY8]], [[C]]
161+
; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[XOR]], [[XOR1]]
162+
; CHECK-NEXT: [[ICMP5:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[OR]](s32), [[C]]
163+
; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[ICMP5]], [[COPY4]]
164+
; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s32) = G_OR [[SELECT]], [[AND2]]
165+
; CHECK-NEXT: $x10 = COPY [[COPY7]](s32)
166+
; CHECK-NEXT: $x11 = COPY [[COPY8]](s32)
157167
; CHECK-NEXT: $x12 = COPY [[OR1]](s32)
158168
; CHECK-NEXT: PseudoRET implicit $x10, implicit $x11, implicit $x12
159169
%0:_(s32) = COPY $x10
160170
%1:_(s32) = COPY $x11
161171
%2:_(s32) = COPY $x12
162172
%3:_(s32) = COPY $x13
163173
%4:_(s32) = COPY $x14
164-
%5:_(s1) = G_TRUNC %4(s32)
165-
%6:_(s32), %7:_(s1) = G_UADDE %0, %2, %5
166-
%8:_(s32), %9:_(s1) = G_UADDE %1, %3, %7
167-
%10:_(s32) = G_ANYEXT %9(s1)
168-
$x10 = COPY %6(s32)
169-
$x11 = COPY %8(s32)
170-
$x12 = COPY %10(s32)
171-
174+
%5:_(s64) = G_MERGE_VALUES %0, %1
175+
%6:_(s64) = G_MERGE_VALUES %2, %3
176+
%7:_(s1) = G_TRUNC %4(s32)
177+
%8:_(s64), %9:_(s1) = G_UADDE %5, %6, %7
178+
%10:_(s32), %11:_(s32) = G_UNMERGE_VALUES %8
179+
%12:_(s32) = G_ANYEXT %9(s1)
180+
$x10 = COPY %10(s32)
181+
$x11 = COPY %11(s32)
182+
$x12 = COPY %12(s32)
172183
PseudoRET implicit $x10, implicit $x11, implicit $x12
173184
...

‎llvm/test/CodeGen/RISCV/GlobalISel/legalizer/legalize-uadde-rv64.mir‎

Lines changed: 40 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -177,38 +177,52 @@ body: |
177177
; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $x13
178178
; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s64) = COPY $x14
179179
; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY]], [[COPY2]]
180-
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[ADD]](s64), [[COPY]]
181-
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
182-
; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY4]], [[C]]
183-
; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s64) = G_ADD [[ADD]], [[AND]]
184-
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
185-
; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[ADD1]](s64), [[C1]]
186-
; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[ICMP1]], [[COPY4]]
187-
; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[ICMP]], [[AND1]]
188-
; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY [[ADD1]](s64)
189-
; CHECK-NEXT: [[ADD2:%[0-9]+]]:_(s64) = G_ADD [[COPY1]], [[COPY3]]
190-
; CHECK-NEXT: [[ICMP2:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[ADD2]](s64), [[COPY1]]
191-
; CHECK-NEXT: [[ADD3:%[0-9]+]]:_(s64) = G_ADD [[ADD2]], [[OR]]
192-
; CHECK-NEXT: [[ICMP3:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[ADD3]](s64), [[C1]]
193-
; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[ICMP3]], [[OR]]
194-
; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s64) = G_OR [[ICMP2]], [[AND2]]
195-
; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY [[ADD3]](s64)
196-
; CHECK-NEXT: $x10 = COPY [[COPY5]](s64)
197-
; CHECK-NEXT: $x11 = COPY [[COPY6]](s64)
180+
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[ADD]](s64), [[COPY2]]
181+
; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY [[ADD]](s64)
182+
; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s64) = G_ADD [[COPY1]], [[COPY3]]
183+
; CHECK-NEXT: [[ADD2:%[0-9]+]]:_(s64) = G_ADD [[ADD1]], [[ICMP]]
184+
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
185+
; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY [[ADD2]](s64)
186+
; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[COPY5]](s64), [[COPY]]
187+
; CHECK-NEXT: [[ICMP2:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[COPY6]](s64), [[COPY1]]
188+
; CHECK-NEXT: [[ICMP3:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[COPY6]](s64), [[COPY1]]
189+
; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[ICMP1]](s64)
190+
; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[ICMP2]](s64)
191+
; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[ICMP3]](s64), [[TRUNC]], [[TRUNC1]]
192+
; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF
193+
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
194+
; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY4]], [[C1]]
195+
; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[DEF]], [[C]]
196+
; CHECK-NEXT: [[ADD3:%[0-9]+]]:_(s64) = G_ADD [[COPY5]], [[AND]]
197+
; CHECK-NEXT: [[ICMP4:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[ADD3]](s64), [[AND]]
198+
; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s64) = COPY [[ADD3]](s64)
199+
; CHECK-NEXT: [[ADD4:%[0-9]+]]:_(s64) = G_ADD [[COPY6]], [[AND1]]
200+
; CHECK-NEXT: [[ADD5:%[0-9]+]]:_(s64) = G_ADD [[ADD4]], [[ICMP4]]
201+
; CHECK-NEXT: [[COPY8:%[0-9]+]]:_(s64) = COPY [[ADD5]](s64)
202+
; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s64) = G_XOR [[COPY7]], [[C]]
203+
; CHECK-NEXT: [[XOR1:%[0-9]+]]:_(s64) = G_XOR [[COPY8]], [[C]]
204+
; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[XOR]], [[XOR1]]
205+
; CHECK-NEXT: [[ICMP5:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[OR]](s64), [[C]]
206+
; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[ICMP5]], [[COPY4]]
207+
; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[SELECT]](s32)
208+
; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s64) = G_OR [[ANYEXT]], [[AND2]]
209+
; CHECK-NEXT: $x10 = COPY [[COPY7]](s64)
210+
; CHECK-NEXT: $x11 = COPY [[COPY8]](s64)
198211
; CHECK-NEXT: $x12 = COPY [[OR1]](s64)
199212
; CHECK-NEXT: PseudoRET implicit $x10, implicit $x11, implicit $x12
200213
%0:_(s64) = COPY $x10
201214
%1:_(s64) = COPY $x11
202215
%2:_(s64) = COPY $x12
203216
%3:_(s64) = COPY $x13
204217
%4:_(s64) = COPY $x14
205-
%5:_(s1) = G_TRUNC %4(s64)
206-
%6:_(s64), %7:_(s1) = G_UADDE %0, %2, %5
207-
%8:_(s64), %9:_(s1) = G_UADDE %1, %3, %7
208-
%10:_(s64) = G_ANYEXT %9(s1)
209-
$x10 = COPY %6(s64)
210-
$x11 = COPY %8(s64)
211-
$x12 = COPY %10(s64)
212-
218+
%5:_(s128) = G_MERGE_VALUES %0, %1
219+
%6:_(s128) = G_MERGE_VALUES %2, %3
220+
%7:_(s1) = G_TRUNC %4(s64)
221+
%8:_(s128), %9:_(s1) = G_UADDE %5, %6, %7
222+
%10:_(s64), %11:_(s64) = G_UNMERGE_VALUES %8
223+
%12:_(s64) = G_ANYEXT %9(s1)
224+
$x10 = COPY %10(s64)
225+
$x11 = COPY %11(s64)
226+
$x12 = COPY %12(s64)
213227
PseudoRET implicit $x10, implicit $x11, implicit $x12
214228
...

0 commit comments

Comments
 (0)