forked from OSchip/llvm-project
83 lines
2.7 KiB
LLVM
83 lines
2.7 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes='loop(indvars,loop-unroll-full)' -S %s | FileCheck %s
|
|
|
|
; FIXME: The function is mis-compiled at the moment,
|
|
; store i64 [[SEL_2_LCSSA]], ptr [[DST_2:%.*]] writes the wrong value.
|
|
define i8 @test_pr58340(ptr %dst.1, ptr %dst.2) {
|
|
; CHECK-LABEL: @test_pr58340(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: br label [[OUTER_HEADER:%.*]]
|
|
; CHECK: outer.header:
|
|
; CHECK-NEXT: br label [[INNER_1_HEADER:%.*]]
|
|
; CHECK: inner.1.header:
|
|
; CHECK-NEXT: br i1 true, label [[MERGE:%.*]], label [[THEN:%.*]]
|
|
; CHECK: then:
|
|
; CHECK-NEXT: br label [[MERGE]]
|
|
; CHECK: merge:
|
|
; CHECK-NEXT: [[SEL_1:%.*]] = phi i32 [ 0, [[INNER_1_HEADER]] ], [ 2, [[THEN]] ]
|
|
; CHECK-NEXT: store i32 [[SEL_1]], ptr [[DST_1:%.*]], align 4
|
|
; CHECK-NEXT: br label [[INNER_1_LATCH:%.*]]
|
|
; CHECK: inner.2.header.preheader:
|
|
; CHECK-NEXT: br label [[INNER_2_HEADER:%.*]]
|
|
; CHECK: inner.1.latch:
|
|
; CHECK-NEXT: br i1 false, label [[MERGE_1:%.*]], label [[THEN_1:%.*]]
|
|
; CHECK: then.1:
|
|
; CHECK-NEXT: br label [[MERGE_1]]
|
|
; CHECK: merge.1:
|
|
; CHECK-NEXT: [[SEL_1_1:%.*]] = phi i32 [ 0, [[INNER_1_LATCH]] ], [ 2, [[THEN_1]] ]
|
|
; CHECK-NEXT: store i32 [[SEL_1_1]], ptr [[DST_1]], align 4
|
|
; CHECK-NEXT: br i1 false, label [[INNER_1_LATCH_1:%.*]], label [[INNER_2_HEADER_PREHEADER:%.*]]
|
|
; CHECK: inner.1.latch.1:
|
|
; CHECK-NEXT: unreachable
|
|
; CHECK: inner.2.header:
|
|
; CHECK-NEXT: br label [[INNER_3:%.*]]
|
|
; CHECK: inner.3:
|
|
; CHECK-NEXT: store i32 0, ptr [[DST_1]], align 4
|
|
; CHECK-NEXT: store i64 0, ptr [[DST_2:%.*]], align 8
|
|
; CHECK-NEXT: call void @clobber()
|
|
; CHECK-NEXT: br label [[OUTER_HEADER]]
|
|
;
|
|
entry:
|
|
br label %outer.header
|
|
|
|
outer.header:
|
|
%p.1 = phi i64 [ 0, %entry ], [ %sel.2, %outer.latch ]
|
|
br label %inner.1.header
|
|
|
|
inner.1.header:
|
|
%p.2 = phi i64 [ %p.1, %outer.header ], [ 0, %inner.1.latch ]
|
|
%b = phi i1 [ true, %outer.header ], [ false, %inner.1.latch ]
|
|
br i1 %b, label %merge, label %then
|
|
|
|
then:
|
|
br label %merge
|
|
|
|
merge:
|
|
%sel.1 = phi i32 [ 0, %inner.1.header ], [ 2, %then ]
|
|
store i32 %sel.1, ptr %dst.1, align 4
|
|
br i1 %b, label %inner.1.latch, label %inner.2.header
|
|
|
|
inner.1.latch:
|
|
br label %inner.1.header
|
|
|
|
inner.2.header:
|
|
br label %inner.3
|
|
|
|
inner.3:
|
|
%sel.2 = phi i64 [ %sel.1.ext, %inner.3 ], [ 0, %inner.2.header ]
|
|
%c.1 = icmp ult i32 %sel.1, 1
|
|
%sel.1.ext = sext i32 %sel.1 to i64
|
|
br i1 %c.1, label %inner.3, label %inner.2.latch
|
|
|
|
inner.2.latch:
|
|
br i1 false, label %inner.2.header, label %outer.latch
|
|
|
|
outer.latch:
|
|
store i32 0, ptr %dst.1, align 4
|
|
store i64 %sel.2, ptr %dst.2, align 8
|
|
call void @clobber()
|
|
br label %outer.header
|
|
}
|
|
|
|
declare void @clobber()
|