Skip to content

Commit d5a482a

Browse files
nikicnikic
committed
[SimplifyCFG] Regenerate test checks (NFC)
1 parent 20a60f4 commit d5a482a

File tree

4 files changed

+91
-52
lines changed

4 files changed

+91
-52
lines changed

‎llvm/test/Transforms/SimplifyCFG/ForwardSwitchConditionToPHI.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -34,8 +34,8 @@ define i32 @t(i32 %m) nounwind readnone {
3434
; FWD-LABEL: @t(
3535
; FWD-NEXT: entry:
3636
; FWD-NEXT: [[SWITCH:%.*]] = icmp ult i32 [[M:%.*]], 4
37-
; FWD-NEXT: [[M_:%.*]] = select i1 [[SWITCH]], i32 [[M]], i32 4
38-
; FWD-NEXT: ret i32 [[M_]]
37+
; FWD-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[SWITCH]], i32 [[M]], i32 4
38+
; FWD-NEXT: ret i32 [[SPEC_SELECT]]
3939
;
4040
entry:
4141
switch i32 %m, label %sw.bb4 [

‎llvm/test/Transforms/SimplifyCFG/X86/switch_to_lookup_table.ll

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ define i32 @f(i32 %c) {
4141
; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
4242
; CHECK: switch.lookup:
4343
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [7 x i32], [7 x i32]* @switch.table.f, i32 0, i32 [[SWITCH_TABLEIDX]]
44-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
44+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
4545
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
4646
; CHECK: return:
4747
; CHECK-NEXT: ret i32 15
@@ -80,7 +80,7 @@ define i8 @char(i32 %c) {
8080
; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
8181
; CHECK: switch.lookup:
8282
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [9 x i8], [9 x i8]* @switch.table.char, i32 0, i32 [[SWITCH_TABLEIDX]]
83-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i8, i8* [[SWITCH_GEP]]
83+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i8, i8* [[SWITCH_GEP]], align 1
8484
; CHECK-NEXT: ret i8 [[SWITCH_LOAD]]
8585
; CHECK: return:
8686
; CHECK-NEXT: ret i8 15
@@ -126,7 +126,7 @@ define void @h(i32 %x) {
126126
; CHECK-NEXT: [[SWITCH_DOWNSHIFT:%.*]] = lshr i32 89655594, [[SWITCH_SHIFTAMT]]
127127
; CHECK-NEXT: [[SWITCH_MASKED:%.*]] = trunc i32 [[SWITCH_DOWNSHIFT]] to i8
128128
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [4 x float], [4 x float]* @switch.table.h, i32 0, i32 [[X]]
129-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load float, float* [[SWITCH_GEP]]
129+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load float, float* [[SWITCH_GEP]], align 4
130130
; CHECK-NEXT: br label [[SW_EPILOG]]
131131
; CHECK: sw.epilog:
132132
; CHECK-NEXT: [[A_0:%.*]] = phi i8 [ [[SWITCH_MASKED]], [[SWITCH_LOOKUP]] ], [ 7, [[ENTRY:%.*]] ]
@@ -171,7 +171,7 @@ define i8* @foostring(i32 %x) {
171171
; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
172172
; CHECK: switch.lookup:
173173
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [4 x i8*], [4 x i8*]* @switch.table.foostring, i32 0, i32 [[X]]
174-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i8*, i8** [[SWITCH_GEP]]
174+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i8*, i8** [[SWITCH_GEP]], align 8
175175
; CHECK-NEXT: ret i8* [[SWITCH_LOAD]]
176176
; CHECK: return:
177177
; CHECK-NEXT: ret i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str4, i64 0, i64 0)
@@ -209,7 +209,7 @@ define i32 @earlyreturncrash(i32 %x) {
209209
; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[SW_EPILOG:%.*]]
210210
; CHECK: switch.lookup:
211211
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [4 x i32], [4 x i32]* @switch.table.earlyreturncrash, i32 0, i32 [[X]]
212-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
212+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
213213
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
214214
; CHECK: sw.epilog:
215215
; CHECK-NEXT: ret i32 7
@@ -383,7 +383,7 @@ define i32 @large(i32 %x) {
383383
; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
384384
; CHECK: switch.lookup:
385385
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [199 x i32], [199 x i32]* @switch.table.large, i32 0, i32 [[SWITCH_TABLEIDX]]
386-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
386+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
387387
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
388388
; CHECK: return:
389389
; CHECK-NEXT: ret i32 0
@@ -813,7 +813,7 @@ define i32 @cprop(i32 %x, i32 %y) {
813813
; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
814814
; CHECK: switch.lookup:
815815
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [7 x i32], [7 x i32]* @switch.table.cprop, i32 0, i32 [[SWITCH_TABLEIDX]]
816-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
816+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
817817
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
818818
; CHECK: return:
819819
; CHECK-NEXT: ret i32 123
@@ -862,7 +862,7 @@ define i32 @unreachable_case(i32 %x) {
862862
; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
863863
; CHECK: switch.lookup:
864864
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [9 x i32], [9 x i32]* @switch.table.unreachable_case, i32 0, i32 [[X]]
865-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
865+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
866866
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
867867
; CHECK: return:
868868
; CHECK-NEXT: ret i32 2
@@ -896,7 +896,7 @@ define i32 @unreachable_default(i32 %x) {
896896
; CHECK-LABEL: @unreachable_default(
897897
; CHECK-NEXT: entry:
898898
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [4 x i32], [4 x i32]* @switch.table.unreachable_default, i32 0, i32 [[X:%.*]]
899-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
899+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
900900
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
901901
;
902902
entry:
@@ -976,7 +976,7 @@ define i32 @nodefaultnoholes(i32 %c) {
976976
; CHECK-NEXT: unreachable
977977
; CHECK: switch.lookup:
978978
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [4 x i32], [4 x i32]* @switch.table.nodefaultnoholes, i32 0, i32 [[C]]
979-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
979+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
980980
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
981981
;
982982
entry:
@@ -1014,7 +1014,7 @@ define i32 @nodefaultwithholes(i32 %c) {
10141014
; CHECK-NEXT: br i1 [[SWITCH_LOBIT]], label [[SWITCH_LOOKUP:%.*]], label [[SW_DEFAULT]]
10151015
; CHECK: switch.lookup:
10161016
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [6 x i32], [6 x i32]* @switch.table.nodefaultwithholes, i32 0, i32 [[C]]
1017-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
1017+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
10181018
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
10191019
;
10201020
entry:
@@ -1079,7 +1079,7 @@ define i32 @threecases(i32 %c) {
10791079
; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
10801080
; CHECK: switch.lookup:
10811081
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [3 x i32], [3 x i32]* @switch.table.threecases, i32 0, i32 [[C]]
1082-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
1082+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
10831083
; CHECK-NEXT: ret i32 [[SWITCH_LOAD]]
10841084
; CHECK: return:
10851085
; CHECK-NEXT: ret i32 3
@@ -1550,7 +1550,7 @@ define i32 @covered_switch_with_bit_tests(i3) {
15501550
; CHECK: switch.lookup:
15511551
; CHECK-NEXT: [[SWITCH_TABLEIDX_ZEXT:%.*]] = zext i3 [[SWITCH_TABLEIDX]] to i4
15521552
; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [8 x i32], [8 x i32]* @switch.table.covered_switch_with_bit_tests, i32 0, i4 [[SWITCH_TABLEIDX_ZEXT]]
1553-
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]]
1553+
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
15541554
; CHECK-NEXT: br label [[L6]]
15551555
; CHECK: l6:
15561556
; CHECK-NEXT: [[R:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[SWITCH_LOAD]], [[SWITCH_LOOKUP]] ]

‎llvm/test/Transforms/SimplifyCFG/duplicate-landingpad.ll

Lines changed: 71 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -1,40 +1,46 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
12
; RUN: opt < %s -simplifycfg -S | FileCheck %s
23
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
34

45
declare i32 @__gxx_personality_v0(...)
56
declare void @fn()
67

78

8-
; CHECK-LABEL: @test1
99
define void @test1() personality i32 (...)* @__gxx_personality_v0 {
10+
; CHECK-LABEL: @test1(
11+
; CHECK-NEXT: entry:
12+
; CHECK-NEXT: invoke void @fn()
13+
; CHECK-NEXT: to label [[INVOKE2:%.*]] unwind label [[LPAD2:%.*]]
14+
; CHECK: invoke2:
15+
; CHECK-NEXT: invoke void @fn()
16+
; CHECK-NEXT: to label [[INVOKE_CONT:%.*]] unwind label [[LPAD2]]
17+
; CHECK: invoke.cont:
18+
; CHECK-NEXT: ret void
19+
; CHECK: lpad2:
20+
; CHECK-NEXT: [[EXN2:%.*]] = landingpad { i8*, i32 }
21+
; CHECK-NEXT: cleanup
22+
; CHECK-NEXT: call void @fn()
23+
; CHECK-NEXT: ret void
24+
;
1025
entry:
11-
; CHECK-LABEL: entry:
12-
; CHECK: to label %invoke2 unwind label %lpad2
1326
invoke void @fn()
14-
to label %invoke2 unwind label %lpad1
27+
to label %invoke2 unwind label %lpad1
1528

1629
invoke2:
17-
; CHECK-LABEL: invoke2:
18-
; CHECK: to label %invoke.cont unwind label %lpad2
1930
invoke void @fn()
20-
to label %invoke.cont unwind label %lpad2
31+
to label %invoke.cont unwind label %lpad2
2132

2233
invoke.cont:
2334
ret void
2435

2536
lpad1:
2637
%exn = landingpad {i8*, i32}
27-
cleanup
38+
cleanup
2839
br label %shared_resume
2940

3041
lpad2:
31-
; CHECK-LABEL: lpad2:
32-
; CHECK: landingpad { i8*, i32 }
33-
; CHECK-NEXT: cleanup
34-
; CHECK-NEXT: call void @fn()
35-
; CHECK-NEXT: ret void
3642
%exn2 = landingpad {i8*, i32}
37-
cleanup
43+
cleanup
3844
br label %shared_resume
3945

4046
shared_resume:
@@ -44,31 +50,48 @@ shared_resume:
4450

4551
; Don't trigger if blocks aren't the same/empty
4652
define void @neg1() personality i32 (...)* @__gxx_personality_v0 {
47-
; CHECK-LABEL: @neg1
53+
; CHECK-LABEL: @neg1(
54+
; CHECK-NEXT: entry:
55+
; CHECK-NEXT: invoke void @fn()
56+
; CHECK-NEXT: to label [[INVOKE2:%.*]] unwind label [[LPAD1:%.*]]
57+
; CHECK: invoke2:
58+
; CHECK-NEXT: invoke void @fn()
59+
; CHECK-NEXT: to label [[INVOKE_CONT:%.*]] unwind label [[LPAD2:%.*]]
60+
; CHECK: invoke.cont:
61+
; CHECK-NEXT: ret void
62+
; CHECK: lpad1:
63+
; CHECK-NEXT: [[EXN:%.*]] = landingpad { i8*, i32 }
64+
; CHECK-NEXT: filter [0 x i8*] zeroinitializer
65+
; CHECK-NEXT: call void @fn()
66+
; CHECK-NEXT: br label [[SHARED_RESUME:%.*]]
67+
; CHECK: lpad2:
68+
; CHECK-NEXT: [[EXN2:%.*]] = landingpad { i8*, i32 }
69+
; CHECK-NEXT: cleanup
70+
; CHECK-NEXT: br label [[SHARED_RESUME]]
71+
; CHECK: shared_resume:
72+
; CHECK-NEXT: call void @fn()
73+
; CHECK-NEXT: ret void
74+
;
4875
entry:
49-
; CHECK-LABEL: entry:
50-
; CHECK: to label %invoke2 unwind label %lpad1
5176
invoke void @fn()
52-
to label %invoke2 unwind label %lpad1
77+
to label %invoke2 unwind label %lpad1
5378

5479
invoke2:
55-
; CHECK-LABEL: invoke2:
56-
; CHECK: to label %invoke.cont unwind label %lpad2
5780
invoke void @fn()
58-
to label %invoke.cont unwind label %lpad2
81+
to label %invoke.cont unwind label %lpad2
5982

6083
invoke.cont:
6184
ret void
6285

6386
lpad1:
6487
%exn = landingpad {i8*, i32}
65-
filter [0 x i8*] zeroinitializer
88+
filter [0 x i8*] zeroinitializer
6689
call void @fn()
6790
br label %shared_resume
6891

6992
lpad2:
7093
%exn2 = landingpad {i8*, i32}
71-
cleanup
94+
cleanup
7295
br label %shared_resume
7396

7497
shared_resume:
@@ -78,30 +101,46 @@ shared_resume:
78101

79102
; Should not trigger when the landing pads are not the exact same
80103
define void @neg2() personality i32 (...)* @__gxx_personality_v0 {
81-
; CHECK-LABEL: @neg2
104+
; CHECK-LABEL: @neg2(
105+
; CHECK-NEXT: entry:
106+
; CHECK-NEXT: invoke void @fn()
107+
; CHECK-NEXT: to label [[INVOKE2:%.*]] unwind label [[LPAD1:%.*]]
108+
; CHECK: invoke2:
109+
; CHECK-NEXT: invoke void @fn()
110+
; CHECK-NEXT: to label [[INVOKE_CONT:%.*]] unwind label [[LPAD2:%.*]]
111+
; CHECK: invoke.cont:
112+
; CHECK-NEXT: ret void
113+
; CHECK: lpad1:
114+
; CHECK-NEXT: [[EXN:%.*]] = landingpad { i8*, i32 }
115+
; CHECK-NEXT: filter [0 x i8*] zeroinitializer
116+
; CHECK-NEXT: br label [[SHARED_RESUME:%.*]]
117+
; CHECK: lpad2:
118+
; CHECK-NEXT: [[EXN2:%.*]] = landingpad { i8*, i32 }
119+
; CHECK-NEXT: cleanup
120+
; CHECK-NEXT: br label [[SHARED_RESUME]]
121+
; CHECK: shared_resume:
122+
; CHECK-NEXT: call void @fn()
123+
; CHECK-NEXT: ret void
124+
;
82125
entry:
83-
; CHECK-LABEL: entry:
84-
; CHECK: to label %invoke2 unwind label %lpad1
85126
invoke void @fn()
86-
to label %invoke2 unwind label %lpad1
127+
to label %invoke2 unwind label %lpad1
87128

88129
invoke2:
89-
; CHECK-LABEL: invoke2:
90-
; CHECK: to label %invoke.cont unwind label %lpad2
91130
invoke void @fn()
92-
to label %invoke.cont unwind label %lpad2
131+
to label %invoke.cont unwind label %lpad2
93132

94133
invoke.cont:
95134
ret void
96135

97136
lpad1:
98137
%exn = landingpad {i8*, i32}
99-
filter [0 x i8*] zeroinitializer
138+
filter [0 x i8*] zeroinitializer
100139
br label %shared_resume
101140

102141
lpad2:
103142
%exn2 = landingpad {i8*, i32}
104-
cleanup
143+
cleanup
105144
br label %shared_resume
106145

107146
shared_resume:

‎llvm/test/Transforms/SimplifyCFG/wc-widen-block.ll

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ define i32 @basic(i1 %cond_0, i32* %p) {
1111
; CHECK-NEXT: [[DEOPTRET:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32() [ "deopt"() ]
1212
; CHECK-NEXT: ret i32 [[DEOPTRET]]
1313
; CHECK: guarded:
14-
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]]
14+
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]], align 4
1515
; CHECK-NEXT: [[COND_1:%.*]] = icmp eq i32 [[V]], 0
1616
; CHECK-NEXT: br i1 [[COND_1]], label [[RETURN:%.*]], label [[DEOPT]], !prof !0
1717
; CHECK: return:
@@ -84,7 +84,7 @@ define i32 @basic_swapped_branch(i1 %cond_0, i32* %p) {
8484
; CHECK-NEXT: [[DEOPTRET:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32() [ "deopt"() ]
8585
; CHECK-NEXT: ret i32 [[DEOPTRET]]
8686
; CHECK: guarded:
87-
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]]
87+
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]], align 4
8888
; CHECK-NEXT: [[COND_1:%.*]] = icmp eq i32 [[V]], 0
8989
; CHECK-NEXT: br i1 [[COND_1]], label [[DEOPT]], label [[RETURN:%.*]], !prof !0
9090
; CHECK: return:
@@ -324,7 +324,7 @@ define i32 @neg_correlated(i1 %cond_0, i1 %cond_1, i32* %p) {
324324
; CHECK-NEXT: [[DEOPTRET2:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32() [ "deopt"() ]
325325
; CHECK-NEXT: ret i32 [[DEOPTRET2]]
326326
; CHECK: guarded2:
327-
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]]
327+
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]], align 4
328328
; CHECK-NEXT: [[COND_2:%.*]] = icmp eq i32 [[V]], 0
329329
; CHECK-NEXT: br i1 [[COND_2]], label [[RETURN:%.*]], label [[DEOPT3:%.*]], !prof !0
330330
; CHECK: deopt3:
@@ -372,7 +372,7 @@ define i32 @trivial_wb(i1 %cond_0, i32* %p) {
372372
; CHECK-NEXT: [[DEOPTRET:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32() [ "deopt"() ]
373373
; CHECK-NEXT: ret i32 [[DEOPTRET]]
374374
; CHECK: guarded:
375-
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]]
375+
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]], align 4
376376
; CHECK-NEXT: [[COND_1:%.*]] = icmp eq i32 [[V]], 0
377377
; CHECK-NEXT: br i1 [[COND_1]], label [[RETURN:%.*]], label [[DEOPT]], !prof !0
378378
; CHECK: return:
@@ -410,7 +410,7 @@ define i32 @swapped_wb(i1 %cond_0, i32* %p) {
410410
; CHECK-NEXT: [[DEOPTRET:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32() [ "deopt"() ]
411411
; CHECK-NEXT: ret i32 [[DEOPTRET]]
412412
; CHECK: guarded:
413-
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]]
413+
; CHECK-NEXT: [[V:%.*]] = load i32, i32* [[P:%.*]], align 4
414414
; CHECK-NEXT: [[COND_1:%.*]] = icmp eq i32 [[V]], 0
415415
; CHECK-NEXT: br i1 [[COND_1]], label [[RETURN:%.*]], label [[DEOPT]], !prof !0
416416
; CHECK: return:

0 commit comments

Comments
 (0)