1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -loop-reduce < %s | FileCheck %s
3
4; Test an assertion failure from D113349, where the SCEV for the outer phi
5; gets computed and registered in the value map while attempting to compute it.
6
7target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
8target triple = "x86_64-unknown-linux-gnu"
9
10define void @test() {
11; CHECK-LABEL: @test(
12; CHECK-NEXT:  entry:
13; CHECK-NEXT:    br label [[LOOP_HEADER:%.*]]
14; CHECK:       loop.header:
15; CHECK-NEXT:    [[LSR_IV:%.*]] = phi i64* [ [[SCEVGEP:%.*]], [[LOOP_LATCH:%.*]] ], [ inttoptr (i64 -8 to i64*), [[ENTRY:%.*]] ]
16; CHECK-NEXT:    br i1 true, label [[LOOP_EXIT:%.*]], label [[LOOP2_PREHEADER:%.*]]
17; CHECK:       loop.exit:
18; CHECK-NEXT:    ret void
19; CHECK:       loop2.preheader:
20; CHECK-NEXT:    br label [[LOOP2_HEADER:%.*]]
21; CHECK:       loop2.header:
22; CHECK-NEXT:    [[LSR_IV1:%.*]] = phi i64* [ [[SCEVGEP2:%.*]], [[LOOP2_HEADER]] ], [ [[LSR_IV]], [[LOOP2_PREHEADER]] ]
23; CHECK-NEXT:    [[SCEVGEP2]] = getelementptr i64, i64* [[LSR_IV1]], i64 1
24; CHECK-NEXT:    [[SCEVGEP23:%.*]] = bitcast i64* [[SCEVGEP2]] to i8*
25; CHECK-NEXT:    br i1 false, label [[LOOP2_HEADER]], label [[LOOP2_CONT:%.*]]
26; CHECK:       loop2.cont:
27; CHECK-NEXT:    [[V:%.*]] = load i8, i8* [[SCEVGEP23]], align 1
28; CHECK-NEXT:    [[C:%.*]] = icmp ne i8 [[V]], 0
29; CHECK-NEXT:    br i1 [[C]], label [[LOOP_EXIT]], label [[LOOP_LATCH]]
30; CHECK:       loop.latch:
31; CHECK-NEXT:    [[SCEVGEP]] = getelementptr i64, i64* [[LSR_IV]], i64 1
32; CHECK-NEXT:    br label [[LOOP_HEADER]]
33;
34entry:
35  br label %loop.header
36
37loop.header:
38  %ptr = phi i64* [ %ptr.next, %loop.latch ], [ null, %entry ]
39  br i1 true, label %loop.exit, label %loop2.preheader
40
41loop.exit:
42  ret void
43
44loop2.preheader:
45  br label %loop2.header
46
47loop2.header:
48  %ptr2 = phi i64* [ %ptr, %loop2.preheader ], [ %ptr2.next, %loop2.header ]
49  %ptr2.next = getelementptr inbounds i64, i64* %ptr2, i64 1
50  br i1 false, label %loop2.header, label %loop2.cont
51
52loop2.cont:
53  %ptr2.i8 = bitcast i64* %ptr2 to i8*
54  %v = load i8, i8* %ptr2.i8
55  %c = icmp ne i8 %v, 0
56  br i1 %c, label %loop.exit, label %loop.latch
57
58loop.latch:
59  %ptr.next = getelementptr inbounds i64, i64* %ptr, i64 1
60  br label %loop.header
61}
62