1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -keep-loops=false -sink-common-insts=true -S | FileCheck %s 3 4; This would infinite-loop because we allowed code sinking to examine an infinite-loop block (%j). 5 6define void @PR49541(ptr %t1, i32 %a, i1 %bool) { 7; CHECK-LABEL: @PR49541( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: br label [[I:%.*]] 10; CHECK: j: 11; CHECK-NEXT: [[T3:%.*]] = phi i32 [ [[B:%.*]], [[J:%.*]] ], [ [[A:%.*]], [[COND_TRUE:%.*]] ], [ [[A]], [[COND_FALSE:%.*]] ] 12; CHECK-NEXT: [[T2:%.*]] = phi i32 [ [[T2]], [[J]] ], [ [[PRE2:%.*]], [[COND_TRUE]] ], [ 0, [[COND_FALSE]] ] 13; CHECK-NEXT: [[B]] = load i32, ptr [[T1:%.*]], align 4 14; CHECK-NEXT: br label [[J]] 15; CHECK: i: 16; CHECK-NEXT: [[G_1:%.*]] = phi i16 [ undef, [[ENTRY:%.*]] ], [ [[G_1]], [[COND_FALSE]] ] 17; CHECK-NEXT: br i1 [[BOOL:%.*]], label [[COND_FALSE]], label [[COND_TRUE]] 18; CHECK: cond.true: 19; CHECK-NEXT: [[TOBOOL9_NOT:%.*]] = icmp eq i16 [[G_1]], 0 20; CHECK-NEXT: [[PRE2]] = load i32, ptr [[T1]], align 4 21; CHECK-NEXT: br label [[J]] 22; CHECK: cond.false: 23; CHECK-NEXT: [[T5:%.*]] = load i32, ptr [[T1]], align 4 24; CHECK-NEXT: [[B2:%.*]] = icmp eq i32 [[T5]], 0 25; CHECK-NEXT: br i1 [[B2]], label [[J]], label [[I]] 26; 27entry: 28 br label %i 29 30j: 31 %t3 = phi i32 [ %b, %j ], [ %a, %cond.true ], [ %a, %cond.false ] 32 %t2 = phi i32 [ %t2, %j ], [ %pre2, %cond.true ], [ 0, %cond.false ] 33 %b = load i32, ptr %t1, align 4 34 br label %j 35 36i: 37 %g.1 = phi i16 [ undef, %entry ], [ %g.1, %cond.false ] 38 br i1 %bool, label %cond.false, label %cond.true 39 40cond.true: 41 %tobool9.not = icmp eq i16 %g.1, 0 42 %pre2 = load i32, ptr %t1, align 4 43 br label %j 44 45cond.false: 46 %t5 = load i32, ptr %t1, align 4 47 %b2 = icmp eq i32 %t5, 0 48 br i1 %b2, label %j, label %i 49} 50