Skip to content

Commit 80b78f5

Browse files
committed
[RISCV] Update fold-scalar-load-crash.ll
So that the loop won't be hoisted completely.
1 parent 9f85bc8 commit 80b78f5

File tree

1 file changed

+20
-14
lines changed

1 file changed

+20
-14
lines changed

llvm/test/CodeGen/RISCV/rvv/fold-scalar-load-crash.ll

Lines changed: 20 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -8,57 +8,62 @@ define i32 @test(i32 %size, ptr %add.ptr, i64 %const) {
88
; RV32-LABEL: test:
99
; RV32: # %bb.0: # %entry
1010
; RV32-NEXT: th.lbib a3, (a1), -1, 0
11-
; RV32-NEXT: th.lrb a0, a1, a0, 0
1211
; RV32-NEXT: vsetivli zero, 8, e8, mf2, ta, ma
1312
; RV32-NEXT: vmv.v.x v8, a3
14-
; RV32-NEXT: addi a1, a2, 1
13+
; RV32-NEXT: addi a3, a2, 1
14+
; RV32-NEXT: addi a4, a0, 1
1515
; RV32-NEXT: .LBB0_1: # %for.body
1616
; RV32-NEXT: # =>This Inner Loop Header: Depth=1
17+
; RV32-NEXT: th.lrb a0, a1, a0, 0
1718
; RV32-NEXT: vmv.s.x v9, zero
1819
; RV32-NEXT: vmv1r.v v10, v8
19-
; RV32-NEXT: vsetvli zero, a1, e8, mf2, tu, ma
20+
; RV32-NEXT: vsetvli zero, a3, e8, mf2, tu, ma
2021
; RV32-NEXT: vslideup.vx v10, v9, a2
2122
; RV32-NEXT: vsetivli zero, 8, e8, mf2, tu, ma
2223
; RV32-NEXT: vmv.s.x v10, a0
2324
; RV32-NEXT: vsetvli zero, zero, e8, mf2, ta, ma
2425
; RV32-NEXT: vmseq.vi v9, v10, 0
25-
; RV32-NEXT: vmv.x.s a3, v9
26-
; RV32-NEXT: andi a3, a3, 255
27-
; RV32-NEXT: bnez a3, .LBB0_1
26+
; RV32-NEXT: vmv.x.s a0, v9
27+
; RV32-NEXT: andi a5, a0, 255
28+
; RV32-NEXT: mv a0, a4
29+
; RV32-NEXT: bnez a5, .LBB0_1
2830
; RV32-NEXT: # %bb.2: # %if.then381
2931
; RV32-NEXT: li a0, 0
3032
; RV32-NEXT: ret
3133
;
3234
; RV64-LABEL: test:
3335
; RV64: # %bb.0: # %entry
3436
; RV64-NEXT: th.lbib a3, (a1), -1, 0
35-
; RV64-NEXT: sext.w a0, a0
36-
; RV64-NEXT: th.lrb a0, a1, a0, 0
3737
; RV64-NEXT: vsetivli zero, 8, e8, mf2, ta, ma
3838
; RV64-NEXT: vmv.v.x v8, a3
39-
; RV64-NEXT: addi a1, a2, 1
39+
; RV64-NEXT: addi a3, a2, 1
40+
; RV64-NEXT: addi a4, a0, 1
4041
; RV64-NEXT: .LBB0_1: # %for.body
4142
; RV64-NEXT: # =>This Inner Loop Header: Depth=1
43+
; RV64-NEXT: sext.w a0, a0
44+
; RV64-NEXT: th.lrb a0, a1, a0, 0
4245
; RV64-NEXT: vmv.s.x v9, zero
4346
; RV64-NEXT: vmv1r.v v10, v8
44-
; RV64-NEXT: vsetvli zero, a1, e8, mf2, tu, ma
47+
; RV64-NEXT: vsetvli zero, a3, e8, mf2, tu, ma
4548
; RV64-NEXT: vslideup.vx v10, v9, a2
4649
; RV64-NEXT: vsetivli zero, 8, e8, mf2, tu, ma
4750
; RV64-NEXT: vmv.s.x v10, a0
4851
; RV64-NEXT: vsetvli zero, zero, e8, mf2, ta, ma
4952
; RV64-NEXT: vmseq.vi v9, v10, 0
50-
; RV64-NEXT: vmv.x.s a3, v9
51-
; RV64-NEXT: andi a3, a3, 255
52-
; RV64-NEXT: bnez a3, .LBB0_1
53+
; RV64-NEXT: vmv.x.s a0, v9
54+
; RV64-NEXT: andi a5, a0, 255
55+
; RV64-NEXT: mv a0, a4
56+
; RV64-NEXT: bnez a5, .LBB0_1
5357
; RV64-NEXT: # %bb.2: # %if.then381
5458
; RV64-NEXT: li a0, 0
5559
; RV64-NEXT: ret
5660
entry:
5761
br label %for.body
5862

5963
for.body: ; preds = %for.body, %entry
64+
%size.actual = phi i32 [%size, %entry], [%size.inc, %for.body]
6065
%add.ptr1 = getelementptr i8, ptr %add.ptr, i32 -1
61-
%add.ptr2 = getelementptr i8, ptr %add.ptr1, i32 %size
66+
%add.ptr2 = getelementptr i8, ptr %add.ptr1, i32 %size.actual
6267
%0 = load i8, ptr %add.ptr1, align 1
6368
%1 = load i8, ptr %add.ptr2, align 1
6469
%2 = insertelement <8 x i8> poison, i8 %0, i64 0
@@ -68,6 +73,7 @@ for.body: ; preds = %for.body, %entry
6873
%6 = bitcast <8 x i1> %5 to i8
6974
%7 = zext i8 %6 to i32
7075
%cond = icmp eq i32 %7, 0
76+
%size.inc = add i32 %size, 1
7177
br i1 %cond, label %if.then381, label %for.body
7278

7379
if.then381: ; preds = %for.body

0 commit comments

Comments
 (0)