1*cee313d2SEric Christopher; RUN: opt < %s -indvars -loop-deletion -S | FileCheck %s 2*cee313d2SEric Christopher 3*cee313d2SEric Christopherdefine i32 @test(i32 %x_offs) nounwind readnone { 4*cee313d2SEric Christopher; CHECK-LABEL: @test( 5*cee313d2SEric Christopher; CHECK: phi 6*cee313d2SEric Christopher; CHECK-NOT: phi 7*cee313d2SEric Christopher 8*cee313d2SEric Christopherentry: 9*cee313d2SEric Christopher %0 = icmp sgt i32 %x_offs, 4 ; <i1> [#uses=1] 10*cee313d2SEric Christopher br i1 %0, label %bb.nph, label %bb2 11*cee313d2SEric Christopher 12*cee313d2SEric Christopherbb.nph: ; preds = %entry 13*cee313d2SEric Christopher br label %bb 14*cee313d2SEric Christopher 15*cee313d2SEric Christopherbb: ; preds = %bb1, %bb.nph 16*cee313d2SEric Christopher %x_offs_addr.01 = phi i32 [ %1, %bb1 ], [ %x_offs, %bb.nph ] ; <i32> [#uses=1] 17*cee313d2SEric Christopher %1 = add i32 %x_offs_addr.01, -4 ; <i32> [#uses=3] 18*cee313d2SEric Christopher br label %bb1 19*cee313d2SEric Christopher 20*cee313d2SEric Christopherbb1: ; preds = %bb 21*cee313d2SEric Christopher %2 = icmp sgt i32 %1, 4 ; <i1> [#uses=1] 22*cee313d2SEric Christopher br i1 %2, label %bb, label %bb1.bb2_crit_edge 23*cee313d2SEric Christopher 24*cee313d2SEric Christopherbb1.bb2_crit_edge: ; preds = %bb1 25*cee313d2SEric Christopher br label %bb2 26*cee313d2SEric Christopher 27*cee313d2SEric Christopherbb2: ; preds = %bb1.bb2_crit_edge, %entry 28*cee313d2SEric Christopher %x_offs_addr.0.lcssa = phi i32 [ %1, %bb1.bb2_crit_edge ], [ %x_offs, %entry ] ; <i32> [#uses=1] 29*cee313d2SEric Christopher ret i32 %x_offs_addr.0.lcssa 30*cee313d2SEric Christopher} 31