1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -loop-reduce -S %s | FileCheck %s 3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2" 5target triple = "x86_64-unknown-linux-gnu" 6 7; Make sure we do not crash when applying info from loop guards to expressions in @bar. 8; Test case for PR47776. 9 10define void @bar() personality i32* ()* @zot { 11; CHECK-LABEL: @bar( 12; CHECK-NEXT: bb: 13; CHECK-NEXT: br label [[BB1:%.*]] 14; CHECK: bb1.loopexit: 15; CHECK-NEXT: br label [[BB1]] 16; CHECK: bb1: 17; CHECK-NEXT: [[TMP:%.*]] = phi i32 [ 1, [[BB:%.*]] ], [ 0, [[BB1_LOOPEXIT:%.*]] ] 18; CHECK-NEXT: br label [[BB2:%.*]] 19; CHECK: bb2: 20; CHECK-NEXT: [[TMP3:%.*]] = phi i64 [ 0, [[BB1]] ], [ [[TMP7:%.*]], [[BB5:%.*]] ] 21; CHECK-NEXT: [[TMP4:%.*]] = invoke i32 @fn() 22; CHECK-NEXT: to label [[BB5]] unwind label [[BB23_LOOPEXIT_SPLIT_LP:%.*]] 23; CHECK: bb5: 24; CHECK-NEXT: [[TMP6:%.*]] = load atomic i32, i32 addrspace(1)* undef unordered, align 8 25; CHECK-NEXT: [[TMP7]] = add nuw nsw i64 [[TMP3]], 1 26; CHECK-NEXT: [[C_0:%.*]] = icmp ult i64 [[TMP7]], 10000 27; CHECK-NEXT: br i1 [[C_0]], label [[BB2]], label [[BB8:%.*]] 28; CHECK: bb8: 29; CHECK-NEXT: [[TMP9:%.*]] = icmp ult i32 [[TMP]], [[TMP6]] 30; CHECK-NEXT: br i1 [[TMP9]], label [[BB10:%.*]], label [[BB29:%.*]] 31; CHECK: bb10: 32; CHECK-NEXT: [[TMP11:%.*]] = mul i32 [[TMP]], -1 33; CHECK-NEXT: [[TMP0:%.*]] = sext i32 [[TMP11]] to i64 34; CHECK-NEXT: [[TMP1:%.*]] = add nsw i64 [[TMP0]], 1 35; CHECK-NEXT: [[TMP2:%.*]] = sub i64 [[TMP1]], [[TMP7]] 36; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[TMP2]] to i32 37; CHECK-NEXT: [[TMP16:%.*]] = and i32 [[TMP1]], 7 38; CHECK-NEXT: br label [[BB17:%.*]] 39; CHECK: bb17: 40; CHECK-NEXT: [[TMP18:%.*]] = phi i32 [ [[TMP21:%.*]], [[BB20:%.*]] ], [ [[TMP16]], [[BB10]] ] 41; CHECK-NEXT: [[TMP19:%.*]] = invoke i32 @fn() 42; CHECK-NEXT: to label [[BB20]] unwind label [[BB23_LOOPEXIT:%.*]] 43; CHECK: bb20: 44; CHECK-NEXT: [[TMP21]] = add i32 [[TMP18]], -1 45; CHECK-NEXT: [[TMP22:%.*]] = icmp eq i32 [[TMP21]], 0 46; CHECK-NEXT: br i1 [[TMP22]], label [[BB1_LOOPEXIT]], label [[BB17]] 47; CHECK: bb23.loopexit: 48; CHECK-NEXT: [[LPAD_LOOPEXIT:%.*]] = landingpad token 49; CHECK-NEXT: cleanup 50; CHECK-NEXT: br label [[BB23:%.*]] 51; CHECK: bb23.loopexit.split-lp: 52; CHECK-NEXT: [[LPAD_LOOPEXIT_SPLIT_LP:%.*]] = landingpad token 53; CHECK-NEXT: cleanup 54; CHECK-NEXT: br label [[BB23]] 55; CHECK: bb23: 56; CHECK-NEXT: ret void 57; CHECK: bb29: 58; CHECK-NEXT: ret void 59; 60bb: 61 br label %bb1 62 63bb1: ; preds = %bb20, %bb 64 %tmp = phi i32 [ 1, %bb ], [ 0, %bb20 ] 65 br label %bb2 66 67bb2: ; preds = %bb5, %bb1 68 %tmp3 = phi i64 [ 0, %bb1 ], [ %tmp7, %bb5 ] 69 %tmp4 = invoke i32 @fn() 70 to label %bb5 unwind label %bb23 71 72bb5: ; preds = %bb2 73 %tmp6 = load atomic i32, i32 addrspace(1)* undef unordered, align 8 74 %tmp7 = add nuw nsw i64 %tmp3, 1 75 %c.0 = icmp ult i64 %tmp7, 10000 76 br i1 %c.0, label %bb2, label %bb8 77 78bb8: ; preds = %bb5 79 %tmp9 = icmp ult i32 %tmp, %tmp6 80 br i1 %tmp9, label %bb10, label %bb29 81 82bb10: ; preds = %bb8 83 %tmp11 = mul i32 %tmp, -1 84 %tmp12 = zext i32 %tmp11 to i64 85 %tmp13 = sub i64 %tmp12, %tmp7 86 %tmp14 = add i64 %tmp13, 1 87 %tmp15 = trunc i64 %tmp14 to i32 88 %tmp16 = and i32 %tmp15, 7 89 br label %bb17 90 91bb17: ; preds = %bb20, %bb10 92 %tmp18 = phi i32 [ %tmp21, %bb20 ], [ %tmp16, %bb10 ] 93 %tmp19 = invoke i32 @fn() 94 to label %bb20 unwind label %bb23 95 96bb20: ; preds = %bb17 97 %tmp21 = add i32 %tmp18, -1 98 %tmp22 = icmp eq i32 %tmp21, 0 99 br i1 %tmp22, label %bb1, label %bb17 100 101bb23: ; preds = %bb17 102 %tmp24 = landingpad token 103 cleanup 104 ret void 105 106bb29: ; preds = %bb8 107 ret void 108} 109 110declare i32* @zot() #1 111 112declare i32 @fn() 113