@@ -19,9 +19,9 @@ target triple = "x86_64-unknown-linux-gnu"
1919@c = global i32 0 , align 4
2020
2121; Function Attrs: nounwind uwtable
22- define void @_Z3fn1v () #0 {
22+ define void @_Z3fn1v (ptr %r , ptr %a ) #0 {
2323; 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]+]] {
2525; CHECK-NEXT: [[ENTRY:.*]]:
2626; CHECK-NEXT: [[TMP:%.*]] = load i32, ptr @b, align 4
2727; CHECK-NEXT: [[TOBOOL20:%.*]] = icmp eq i32 [[TMP]], 0
@@ -40,8 +40,8 @@ define void @_Z3fn1v() #0 {
4040; CHECK-NEXT: br i1 [[TOBOOL]], label %[[FOR_END6]], label %[[FOR_BODY]]
4141; CHECK: [[FOR_BODY]]:
4242; 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]] ]
4545; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr @c, align 4
4646; CHECK-NEXT: [[TOBOOL215:%.*]] = icmp eq i32 [[TMP2]], 0
4747; 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
131131 br i1 %tobool , label %for.cond.for.end6_crit_edge , label %for.body
132132
133133for.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 ]
136136 %t2 = load i32 , ptr @c , align 4
137137 %tobool215 = icmp eq i32 %t2 , 0
138138 br i1 %tobool215 , label %for.cond.loopexit , label %for.body3.lr.ph
0 commit comments