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 ptr [ [[SCEVGEP:%.*]], [[LOOP_LATCH:%.*]] ], [ inttoptr (i64 -8 to ptr), [[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 ptr [ [[SCEVGEP2:%.*]], [[LOOP2_HEADER]] ], [ [[LSR_IV]], [[LOOP2_PREHEADER]] ] 23; CHECK-NEXT: [[SCEVGEP2]] = getelementptr i8, ptr [[LSR_IV1]], i64 8 24; CHECK-NEXT: br i1 false, label [[LOOP2_HEADER]], label [[LOOP2_CONT:%.*]] 25; CHECK: loop2.cont: 26; CHECK-NEXT: [[V:%.*]] = load i8, ptr [[SCEVGEP2]], align 1 27; CHECK-NEXT: [[C:%.*]] = icmp ne i8 [[V]], 0 28; CHECK-NEXT: br i1 [[C]], label [[LOOP_EXIT]], label [[LOOP_LATCH]] 29; CHECK: loop.latch: 30; CHECK-NEXT: [[SCEVGEP]] = getelementptr i8, ptr [[LSR_IV]], i64 8 31; CHECK-NEXT: br label [[LOOP_HEADER]] 32; 33entry: 34 br label %loop.header 35 36loop.header: 37 %ptr = phi ptr [ %ptr.next, %loop.latch ], [ null, %entry ] 38 br i1 true, label %loop.exit, label %loop2.preheader 39 40loop.exit: 41 ret void 42 43loop2.preheader: 44 br label %loop2.header 45 46loop2.header: 47 %ptr2 = phi ptr [ %ptr, %loop2.preheader ], [ %ptr2.next, %loop2.header ] 48 %ptr2.next = getelementptr inbounds i64, ptr %ptr2, i64 1 49 br i1 false, label %loop2.header, label %loop2.cont 50 51loop2.cont: 52 %v = load i8, ptr %ptr2 53 %c = icmp ne i8 %v, 0 54 br i1 %c, label %loop.exit, label %loop.latch 55 56loop.latch: 57 %ptr.next = getelementptr inbounds i64, ptr %ptr, i64 1 58 br label %loop.header 59} 60