77 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -S -passes=loop-idiom < %s | FileCheck %s3 4; Make sure that any inserted LCSSA phi nodes are removed if the transform5; is aborted.6 7define void @test() {8; CHECK-LABEL: define void @test() {9; CHECK-NEXT: entry:10; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [64 x i8], align 1611; CHECK-NEXT: br label [[LOOP:%.*]]12; CHECK: loop:13; CHECK-NEXT: [[PHI:%.*]] = phi i64 [ 0, [[ENTRY:%.*]] ], [ 1, [[LOOP_LATCH:%.*]] ]14; CHECK-NEXT: br i1 false, label [[LOOP_EXIT2:%.*]], label [[LOOP_LATCH]]15; CHECK: loop.latch:16; CHECK-NEXT: [[OR:%.*]] = or i64 [[PHI]], 417; CHECK-NEXT: br i1 false, label [[LOOP_EXIT:%.*]], label [[LOOP]]18; CHECK: loop.exit:19; CHECK-NEXT: [[OR_LCSSA:%.*]] = phi i64 [ [[OR]], [[LOOP_LATCH]] ]20; CHECK-NEXT: br label [[LOOP2_PREHEADER:%.*]]21; CHECK: loop.exit2:22; CHECK-NEXT: br label [[LOOP2_PREHEADER]]23; CHECK: loop2.preheader:24; CHECK-NEXT: [[PHI5_PH:%.*]] = phi ptr [ null, [[LOOP_EXIT2]] ], [ [[ALLOCA]], [[LOOP_EXIT]] ]25; CHECK-NEXT: [[PHI6_PH:%.*]] = phi i64 [ 0, [[LOOP_EXIT2]] ], [ [[OR_LCSSA]], [[LOOP_EXIT]] ]26; CHECK-NEXT: br label [[LOOP2:%.*]]27; CHECK: loop2:28; CHECK-NEXT: [[PHI5:%.*]] = phi ptr [ [[GETELEMENTPTR7:%.*]], [[LOOP2]] ], [ [[PHI5_PH]], [[LOOP2_PREHEADER]] ]29; CHECK-NEXT: [[PHI6:%.*]] = phi i64 [ [[ADD:%.*]], [[LOOP2]] ], [ [[PHI6_PH]], [[LOOP2_PREHEADER]] ]30; CHECK-NEXT: [[GETELEMENTPTR:%.*]] = getelementptr i8, ptr [[ALLOCA]], i64 [[PHI6]]31; CHECK-NEXT: [[LOAD:%.*]] = load i8, ptr [[GETELEMENTPTR]], align 132; CHECK-NEXT: store i8 [[LOAD]], ptr [[PHI5]], align 133; CHECK-NEXT: [[GETELEMENTPTR7]] = getelementptr i8, ptr [[PHI5]], i64 134; CHECK-NEXT: [[ADD]] = add i64 [[PHI6]], 135; CHECK-NEXT: [[ICMP:%.*]] = icmp eq i64 [[PHI6]], 036; CHECK-NEXT: br i1 [[ICMP]], label [[LOOP2_EXIT:%.*]], label [[LOOP2]]37; CHECK: loop2.exit:38; CHECK-NEXT: ret void39;40entry:41 %alloca = alloca [64 x i8], align 1642 br label %loop43 44loop:45 %phi = phi i64 [ 0, %entry ], [ 1, %loop.latch ]46 br i1 false, label %loop.exit2, label %loop.latch47 48loop.latch:49 %or = or i64 %phi, 450 br i1 false, label %loop.exit, label %loop51 52loop.exit:53 br label %loop2.preheader54 55loop.exit2:56 br label %loop2.preheader57 58loop2.preheader:59 %phi5.ph = phi ptr [ null, %loop.exit2 ], [ %alloca, %loop.exit ]60 %phi6.ph = phi i64 [ 0, %loop.exit2 ], [ %or, %loop.exit ]61 br label %loop262 63loop2:64 %phi5 = phi ptr [ %getelementptr7, %loop2 ], [ %phi5.ph, %loop2.preheader ]65 %phi6 = phi i64 [ %add, %loop2 ], [ %phi6.ph, %loop2.preheader ]66 %getelementptr = getelementptr i8, ptr %alloca, i64 %phi667 %load = load i8, ptr %getelementptr, align 168 store i8 %load, ptr %phi5, align 169 %getelementptr7 = getelementptr i8, ptr %phi5, i64 170 %add = add i64 %phi6, 171 %icmp = icmp eq i64 %phi6, 072 br i1 %icmp, label %loop2.exit, label %loop273 74loop2.exit:75 ret void76}77