125 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes="loop(indvars,loop-deletion)" -S < %s | FileCheck %s3 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 don't crash.8define void @test() {9; CHECK-LABEL: @test(10; CHECK-NEXT: bb:11; CHECK-NEXT: br label [[BB1:%.*]]12; CHECK: bb1:13; CHECK-NEXT: [[TMP9:%.*]] = and i32 undef, 114; CHECK-NEXT: [[TMP10:%.*]] = icmp eq i32 [[TMP9]], 015; CHECK-NEXT: br i1 [[TMP10]], label [[BB33_LOOPEXIT1:%.*]], label [[BB34_PREHEADER:%.*]]16; CHECK: bb34.preheader:17; CHECK-NEXT: br label [[BB34:%.*]]18; CHECK: bb11:19; CHECK-NEXT: [[TMP2_LCSSA12:%.*]] = phi i32 [ 11, [[BB34]] ]20; CHECK-NEXT: br label [[BB33_LOOPEXIT:%.*]]21; CHECK: bb12:22; CHECK-NEXT: br label [[BB14:%.*]]23; CHECK: bb14:24; CHECK-NEXT: br i1 true, label [[BB32:%.*]], label [[BB22:%.*]]25; CHECK: bb22:26; CHECK-NEXT: br i1 false, label [[BB42:%.*]], label [[BB25:%.*]]27; CHECK: bb25:28; CHECK-NEXT: br label [[BB31:%.*]]29; CHECK: bb31:30; CHECK-NEXT: unreachable31; CHECK: bb32:32; CHECK-NEXT: ret void33; CHECK: bb33.loopexit:34; CHECK-NEXT: [[TMP2_LCSSA9:%.*]] = phi i32 [ [[TMP2_LCSSA12]], [[BB11:%.*]] ]35; CHECK-NEXT: br label [[BB33:%.*]]36; CHECK: bb33.loopexit1:37; CHECK-NEXT: [[TMP2_LCSSA:%.*]] = phi i32 [ 11, [[BB1]] ]38; CHECK-NEXT: br label [[BB33]]39; CHECK: bb33:40; CHECK-NEXT: [[TMP210:%.*]] = phi i32 [ [[TMP2_LCSSA]], [[BB33_LOOPEXIT1]] ], [ [[TMP2_LCSSA9]], [[BB33_LOOPEXIT]] ]41; CHECK-NEXT: call void @use(i32 [[TMP210]])42; CHECK-NEXT: ret void43; CHECK: bb34:44; CHECK-NEXT: br i1 false, label [[BB11]], label [[BB12:%.*]]45; CHECK: bb42:46; CHECK-NEXT: [[TMP24_LCSSA:%.*]] = phi i32 [ undef, [[BB22]] ]47; CHECK-NEXT: [[TMP18_LCSSA4:%.*]] = phi i64 [ undef, [[BB22]] ]48; CHECK-NEXT: store atomic i64 [[TMP18_LCSSA4]], ptr addrspace(1) undef unordered, align 849; CHECK-NEXT: call void @use(i32 [[TMP24_LCSSA]])50; CHECK-NEXT: ret void51;52bb:53 br label %bb154 55bb1: ; preds = %bb31, %bb56 %tmp = phi i32 [ %tmp29, %bb31 ], [ undef, %bb ]57 %tmp2 = phi i32 [ %tmp4, %bb31 ], [ 11, %bb ]58 %tmp3 = add nsw i32 112, -159 %tmp4 = add nuw nsw i32 %tmp2, 160 %tmp5 = mul i32 %tmp3, %tmp361 %tmp6 = mul nsw i32 %tmp2, -662 %tmp7 = mul i32 %tmp6, %tmp563 %tmp8 = add i32 %tmp7, %tmp264 %tmp9 = and i32 undef, 165 %tmp10 = icmp eq i32 %tmp9, 066 br i1 %tmp10, label %bb33, label %bb3467 68bb11: ; preds = %bb3469 br i1 true, label %bb33, label %bb3470 71bb12: ; preds = %bb3472 %tmp13 = icmp eq ptr addrspace(1) undef, null73 br label %bb1474 75bb14: ; preds = %bb25, %bb1276 %tmp15 = phi i32 [ %tmp29, %bb25 ], [ %tmp37, %bb12 ]77 %tmp16 = phi i64 [ undef, %bb25 ], [ %tmp41, %bb12 ]78 %tmp17 = phi i32 [ %tmp26, %bb25 ], [ 4, %bb12 ]79 %tmp18 = add i64 %tmp16, undef80 %tmp19 = add i32 %tmp15, 181 %tmp20 = and i32 %tmp19, 182 %tmp21 = icmp eq i32 %tmp20, 083 br i1 %tmp21, label %bb32, label %bb2284 85bb22: ; preds = %bb1486 %tmp23 = or i32 %tmp17, undef87 %tmp24 = add i32 %tmp23, undef88 br i1 %tmp13, label %bb42, label %bb2589 90bb25: ; preds = %bb2291 %tmp26 = add nuw nsw i32 %tmp17, 192 %tmp27 = zext i32 %tmp26 to i6493 %tmp28 = getelementptr inbounds i32, ptr addrspace(1) undef, i64 %tmp2794 %tmp29 = add i32 %tmp15, 395 %tmp30 = icmp ugt i32 %tmp17, 11096 br i1 %tmp30, label %bb31, label %bb1497 98bb31: ; preds = %bb2599 br label %bb1100 101bb32: ; preds = %bb14102 ret void103 104bb33: ; preds = %bb11, %bb1105 call void @use(i32 %tmp2)106 ret void107 108bb34: ; preds = %bb11, %bb1109 %tmp35 = phi i32 [ %tmp37, %bb11 ], [ %tmp, %bb1 ]110 %tmp36 = xor i32 0, %tmp8111 %tmp37 = add i32 %tmp35, 2112 %tmp38 = add i32 %tmp36, undef113 %tmp39 = add i32 %tmp38, undef114 %tmp40 = sext i32 %tmp39 to i64115 %tmp41 = add i64 undef, %tmp40116 br i1 false, label %bb11, label %bb12117 118bb42: ; preds = %bb22119 store atomic i64 %tmp18, ptr addrspace(1) undef unordered, align 8120 call void @use(i32 %tmp24)121 ret void122}123 124declare void @use(i32)125