1*d5c56c51SNikita Popov; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 2*d5c56c51SNikita Popov; RUN: opt -S -passes=loop-idiom < %s | FileCheck %s 3*d5c56c51SNikita Popov 4*d5c56c51SNikita Popov; Make sure that any inserted LCSSA phi nodes are removed if the transform 5*d5c56c51SNikita Popov; is aborted. 6*d5c56c51SNikita Popov 7*d5c56c51SNikita Popovdefine void @test() { 8*d5c56c51SNikita Popov; CHECK-LABEL: define void @test() { 9*d5c56c51SNikita Popov; CHECK-NEXT: entry: 10*d5c56c51SNikita Popov; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [64 x i8], align 16 11*d5c56c51SNikita Popov; CHECK-NEXT: br label [[LOOP:%.*]] 12*d5c56c51SNikita Popov; CHECK: loop: 13*d5c56c51SNikita Popov; CHECK-NEXT: [[PHI:%.*]] = phi i64 [ 0, [[ENTRY:%.*]] ], [ 1, [[LOOP_LATCH:%.*]] ] 14*d5c56c51SNikita Popov; CHECK-NEXT: br i1 false, label [[LOOP_EXIT2:%.*]], label [[LOOP_LATCH]] 15*d5c56c51SNikita Popov; CHECK: loop.latch: 16*d5c56c51SNikita Popov; CHECK-NEXT: [[OR:%.*]] = or i64 [[PHI]], 4 17*d5c56c51SNikita Popov; CHECK-NEXT: br i1 false, label [[LOOP_EXIT:%.*]], label [[LOOP]] 18*d5c56c51SNikita Popov; CHECK: loop.exit: 19*d5c56c51SNikita Popov; CHECK-NEXT: [[OR_LCSSA:%.*]] = phi i64 [ [[OR]], [[LOOP_LATCH]] ] 20*d5c56c51SNikita Popov; CHECK-NEXT: br label [[LOOP2_PREHEADER:%.*]] 21*d5c56c51SNikita Popov; CHECK: loop.exit2: 22*d5c56c51SNikita Popov; CHECK-NEXT: br label [[LOOP2_PREHEADER]] 23*d5c56c51SNikita Popov; CHECK: loop2.preheader: 24*d5c56c51SNikita Popov; CHECK-NEXT: [[PHI5_PH:%.*]] = phi ptr [ null, [[LOOP_EXIT2]] ], [ [[ALLOCA]], [[LOOP_EXIT]] ] 25*d5c56c51SNikita Popov; CHECK-NEXT: [[PHI6_PH:%.*]] = phi i64 [ 0, [[LOOP_EXIT2]] ], [ [[OR_LCSSA]], [[LOOP_EXIT]] ] 26*d5c56c51SNikita Popov; CHECK-NEXT: br label [[LOOP2:%.*]] 27*d5c56c51SNikita Popov; CHECK: loop2: 28*d5c56c51SNikita Popov; CHECK-NEXT: [[PHI5:%.*]] = phi ptr [ [[GETELEMENTPTR7:%.*]], [[LOOP2]] ], [ [[PHI5_PH]], [[LOOP2_PREHEADER]] ] 29*d5c56c51SNikita Popov; CHECK-NEXT: [[PHI6:%.*]] = phi i64 [ [[ADD:%.*]], [[LOOP2]] ], [ [[PHI6_PH]], [[LOOP2_PREHEADER]] ] 30*d5c56c51SNikita Popov; CHECK-NEXT: [[GETELEMENTPTR:%.*]] = getelementptr i8, ptr [[ALLOCA]], i64 [[PHI6]] 31*d5c56c51SNikita Popov; CHECK-NEXT: [[LOAD:%.*]] = load i8, ptr [[GETELEMENTPTR]], align 1 32*d5c56c51SNikita Popov; CHECK-NEXT: store i8 [[LOAD]], ptr [[PHI5]], align 1 33*d5c56c51SNikita Popov; CHECK-NEXT: [[GETELEMENTPTR7]] = getelementptr i8, ptr [[PHI5]], i64 1 34*d5c56c51SNikita Popov; CHECK-NEXT: [[ADD]] = add i64 [[PHI6]], 1 35*d5c56c51SNikita Popov; CHECK-NEXT: [[ICMP:%.*]] = icmp eq i64 [[PHI6]], 0 36*d5c56c51SNikita Popov; CHECK-NEXT: br i1 [[ICMP]], label [[LOOP2_EXIT:%.*]], label [[LOOP2]] 37*d5c56c51SNikita Popov; CHECK: loop2.exit: 38*d5c56c51SNikita Popov; CHECK-NEXT: ret void 39*d5c56c51SNikita Popov; 40*d5c56c51SNikita Popoventry: 41*d5c56c51SNikita Popov %alloca = alloca [64 x i8], align 16 42*d5c56c51SNikita Popov br label %loop 43*d5c56c51SNikita Popov 44*d5c56c51SNikita Popovloop: 45*d5c56c51SNikita Popov %phi = phi i64 [ 0, %entry ], [ 1, %loop.latch ] 46*d5c56c51SNikita Popov br i1 false, label %loop.exit2, label %loop.latch 47*d5c56c51SNikita Popov 48*d5c56c51SNikita Popovloop.latch: 49*d5c56c51SNikita Popov %or = or i64 %phi, 4 50*d5c56c51SNikita Popov br i1 false, label %loop.exit, label %loop 51*d5c56c51SNikita Popov 52*d5c56c51SNikita Popovloop.exit: 53*d5c56c51SNikita Popov br label %loop2.preheader 54*d5c56c51SNikita Popov 55*d5c56c51SNikita Popovloop.exit2: 56*d5c56c51SNikita Popov br label %loop2.preheader 57*d5c56c51SNikita Popov 58*d5c56c51SNikita Popovloop2.preheader: 59*d5c56c51SNikita Popov %phi5.ph = phi ptr [ null, %loop.exit2 ], [ %alloca, %loop.exit ] 60*d5c56c51SNikita Popov %phi6.ph = phi i64 [ 0, %loop.exit2 ], [ %or, %loop.exit ] 61*d5c56c51SNikita Popov br label %loop2 62*d5c56c51SNikita Popov 63*d5c56c51SNikita Popovloop2: 64*d5c56c51SNikita Popov %phi5 = phi ptr [ %getelementptr7, %loop2 ], [ %phi5.ph, %loop2.preheader ] 65*d5c56c51SNikita Popov %phi6 = phi i64 [ %add, %loop2 ], [ %phi6.ph, %loop2.preheader ] 66*d5c56c51SNikita Popov %getelementptr = getelementptr i8, ptr %alloca, i64 %phi6 67*d5c56c51SNikita Popov %load = load i8, ptr %getelementptr, align 1 68*d5c56c51SNikita Popov store i8 %load, ptr %phi5, align 1 69*d5c56c51SNikita Popov %getelementptr7 = getelementptr i8, ptr %phi5, i64 1 70*d5c56c51SNikita Popov %add = add i64 %phi6, 1 71*d5c56c51SNikita Popov %icmp = icmp eq i64 %phi6, 0 72*d5c56c51SNikita Popov br i1 %icmp, label %loop2.exit, label %loop2 73*d5c56c51SNikita Popov 74*d5c56c51SNikita Popovloop2.exit: 75*d5c56c51SNikita Popov ret void 76*d5c56c51SNikita Popov} 77