@@ -19,9 +19,9 @@ target triple = "x86_64-unknown-linux-gnu"
19
19
@c = global i32 0 , align 4
20
20
21
21
; Function Attrs: nounwind uwtable
22
- define void @_Z3fn1v () #0 {
22
+ define void @_Z3fn1v (ptr %r , ptr %a ) #0 {
23
23
; CHECK-LABEL: define void @_Z3fn1v(
24
- ; CHECK-SAME: ) local_unnamed_addr #[[ATTR0:[0-9]+]] {
24
+ ; CHECK-SAME: ptr nocapture writeonly [[R:%.*]], ptr nocapture readonly [[A:%.*]] ) local_unnamed_addr #[[ATTR0:[0-9]+]] {
25
25
; CHECK-NEXT: [[ENTRY:.*]]:
26
26
; CHECK-NEXT: [[TMP:%.*]] = load i32, ptr @b, align 4
27
27
; CHECK-NEXT: [[TOBOOL20:%.*]] = icmp eq i32 [[TMP]], 0
@@ -40,8 +40,8 @@ define void @_Z3fn1v() #0 {
40
40
; CHECK-NEXT: br i1 [[TOBOOL]], label %[[FOR_END6]], label %[[FOR_BODY]]
41
41
; CHECK: [[FOR_BODY]]:
42
42
; CHECK-NEXT: [[T12]] = phi i32 [ [[T1]], %[[FOR_COND_LOOPEXIT]] ], [ [[TMP]], %[[ENTRY]] ]
43
- ; CHECK-NEXT: [[R_022]] = phi ptr [ [[R_1_LCSSA]], %[[FOR_COND_LOOPEXIT]] ], [ undef , %[[ENTRY]] ]
44
- ; CHECK-NEXT: [[A_021]] = phi ptr [ [[A_1_LCSSA]], %[[FOR_COND_LOOPEXIT]] ], [ undef , %[[ENTRY]] ]
43
+ ; CHECK-NEXT: [[R_022]] = phi ptr [ [[R_1_LCSSA]], %[[FOR_COND_LOOPEXIT]] ], [ [[R]] , %[[ENTRY]] ]
44
+ ; CHECK-NEXT: [[A_021]] = phi ptr [ [[A_1_LCSSA]], %[[FOR_COND_LOOPEXIT]] ], [ [[A]] , %[[ENTRY]] ]
45
45
; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr @c, align 4
46
46
; CHECK-NEXT: [[TOBOOL215:%.*]] = icmp eq i32 [[TMP2]], 0
47
47
; CHECK-NEXT: br i1 [[TOBOOL215]], label %[[FOR_COND_LOOPEXIT]], label %[[FOR_BODY3_PREHEADER:.*]]
@@ -131,8 +131,8 @@ for.cond.loopexit: ; preds = %for.body, %for.cond
131
131
br i1 %tobool , label %for.cond.for.end6_crit_edge , label %for.body
132
132
133
133
for.body: ; preds = %for.cond.loopexit, %for.body.lr.ph
134
- %r.022 = phi ptr [ undef , %for.body.lr.ph ], [ %r.1.lcssa , %for.cond.loopexit ]
135
- %a.021 = phi ptr [ undef , %for.body.lr.ph ], [ %a.1.lcssa , %for.cond.loopexit ]
134
+ %r.022 = phi ptr [ %r , %for.body.lr.ph ], [ %r.1.lcssa , %for.cond.loopexit ]
135
+ %a.021 = phi ptr [ %a , %for.body.lr.ph ], [ %a.1.lcssa , %for.cond.loopexit ]
136
136
%t2 = load i32 , ptr @c , align 4
137
137
%tobool215 = icmp eq i32 %t2 , 0
138
138
br i1 %tobool215 , label %for.cond.loopexit , label %for.body3.lr.ph
0 commit comments