83 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes='loop(indvars,loop-unroll-full)' -S %s | FileCheck %s3 4; FIXME: The function is mis-compiled at the moment,5; store i64 [[SEL_2_LCSSA]], ptr [[DST_2:%.*]] writes the wrong value.6define i8 @test_pr58340(ptr %dst.1, ptr %dst.2) {7; CHECK-LABEL: @test_pr58340(8; CHECK-NEXT: entry:9; CHECK-NEXT: br label [[OUTER_HEADER:%.*]]10; CHECK: outer.header:11; CHECK-NEXT: br label [[INNER_1_HEADER:%.*]]12; CHECK: inner.1.header:13; CHECK-NEXT: br i1 true, label [[MERGE:%.*]], label [[THEN:%.*]]14; CHECK: then:15; CHECK-NEXT: br label [[MERGE]]16; CHECK: merge:17; CHECK-NEXT: [[SEL_1:%.*]] = phi i32 [ 0, [[INNER_1_HEADER]] ], [ 2, [[THEN]] ]18; CHECK-NEXT: store i32 [[SEL_1]], ptr [[DST_1:%.*]], align 419; CHECK-NEXT: br label [[INNER_1_LATCH:%.*]]20; CHECK: inner.2.header.preheader:21; CHECK-NEXT: br label [[INNER_2_HEADER:%.*]]22; CHECK: inner.1.latch:23; CHECK-NEXT: br i1 false, label [[MERGE_1:%.*]], label [[THEN_1:%.*]]24; CHECK: then.1:25; CHECK-NEXT: br label [[MERGE_1]]26; CHECK: merge.1:27; CHECK-NEXT: [[SEL_1_1:%.*]] = phi i32 [ 0, [[INNER_1_LATCH]] ], [ 2, [[THEN_1]] ]28; CHECK-NEXT: store i32 [[SEL_1_1]], ptr [[DST_1]], align 429; CHECK-NEXT: br i1 false, label [[INNER_1_LATCH_1:%.*]], label [[INNER_2_HEADER_PREHEADER:%.*]]30; CHECK: inner.1.latch.1:31; CHECK-NEXT: unreachable32; CHECK: inner.2.header:33; CHECK-NEXT: br label [[INNER_3:%.*]]34; CHECK: inner.3:35; CHECK-NEXT: store i32 0, ptr [[DST_1]], align 436; CHECK-NEXT: store i64 0, ptr [[DST_2:%.*]], align 837; CHECK-NEXT: call void @clobber()38; CHECK-NEXT: br label [[OUTER_HEADER]]39;40entry:41 br label %outer.header42 43outer.header:44 %p.1 = phi i64 [ 0, %entry ], [ %sel.2, %outer.latch ]45 br label %inner.1.header46 47inner.1.header:48 %p.2 = phi i64 [ %p.1, %outer.header ], [ 0, %inner.1.latch ]49 %b = phi i1 [ true, %outer.header ], [ false, %inner.1.latch ]50 br i1 %b, label %merge, label %then51 52then:53 br label %merge54 55merge:56 %sel.1 = phi i32 [ 0, %inner.1.header ], [ 2, %then ]57 store i32 %sel.1, ptr %dst.1, align 458 br i1 %b, label %inner.1.latch, label %inner.2.header59 60inner.1.latch:61 br label %inner.1.header62 63inner.2.header:64 br label %inner.365 66inner.3:67 %sel.2 = phi i64 [ %sel.1.ext, %inner.3 ], [ 0, %inner.2.header ]68 %c.1 = icmp ult i32 %sel.1, 169 %sel.1.ext = sext i32 %sel.1 to i6470 br i1 %c.1, label %inner.3, label %inner.2.latch71 72inner.2.latch:73 br i1 false, label %inner.2.header, label %outer.latch74 75outer.latch:76 store i32 0, ptr %dst.1, align 477 store i64 %sel.2, ptr %dst.2, align 878 call void @clobber()79 br label %outer.header80}81 82declare void @clobber()83