60 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4; Make sure we don't crash.5 6@j = internal constant i32 47 8define void @y() {9; CHECK-LABEL: define void @y() {10; CHECK-NEXT: entry:11; CHECK-NEXT: br label [[FOR_COND_I:%.*]]12; CHECK: for.cond.i:13; CHECK-NEXT: br i1 false, label [[FOR_COND_I]], label [[FOR_COND5_PREHEADER_I:%.*]]14; CHECK: for.cond1.loopexit.i:15; CHECK-NEXT: store i1 true, ptr poison, align 116; CHECK-NEXT: br i1 poison, label [[FOR_COND_I]], label [[FOR_COND5_PREHEADER_I]]17; CHECK: for.cond5.preheader.i:18; CHECK-NEXT: br i1 false, label [[FOR_INC19_I:%.*]], label [[FOR_COND1_LOOPEXIT_I:%.*]]19; CHECK: for.inc19.i:20; CHECK-NEXT: br i1 poison, label [[FOR_INC19_I]], label [[FOR_COND1_LOOPEXIT_I]]21;22entry:23 br label %for.cond.i24 25for.cond.i: ; preds = %for.cond1.loopexit.i, %for.cond.i, %entry26 %phi1 = phi ptr [ @j, %entry ], [ @j, %for.cond.i ], [ null, %for.cond1.loopexit.i ]27 %load1 = load i32, ptr %phi1, align 428 br i1 false, label %for.cond.i, label %for.cond5.preheader.i29 30for.cond1.loopexit.i: ; preds = %for.inc19.i, %for.cond5.preheader.i31 %load2 = load i32, ptr null, align 432 %conv.i = sext i32 %load2 to i6433 %tobool4.not.i = icmp eq i64 0, %conv.i34 br i1 %tobool4.not.i, label %for.cond.i, label %for.cond5.preheader.i35 36for.cond5.preheader.i: ; preds = %for.cond1.loopexit.i, %for.cond.i37 %phi = phi i32 [ 0, %for.cond1.loopexit.i ], [ %load1, %for.cond.i ]38 %sub6.i = or i32 %load1, 139 %cmp5.i.i = icmp sgt i32 %load1, 4140 %a.1.3.i.i = select i1 %cmp5.i.i, i32 %sub6.i, i32 041 %add.4.i.i = add i32 %a.1.3.i.i, 142 %cmp8.4.i.i = icmp sgt i32 %a.1.3.i.i, 043 %spec.select.4.i.i1 = select i1 %cmp8.4.i.i, i32 %add.4.i.i, i32 044 %cmp11.4.i.i = icmp eq i32 %add.4.i.i, 045 %add.5.i.i = or i32 %add.4.i.i, %sub6.i46 %cmp8.5.i.i = icmp sgt i32 %add.5.i.i, 047 %sel = select i1 %cmp5.i.i, i1 %cmp8.5.i.i, i1 false48 %i.1.5.i.i = select i1 %sel, i32 0, i32 %spec.select.4.i.i149 %spec.select = select i1 %cmp11.4.i.i, i32 0, i32 %i.1.5.i.i50 %add8.i = or i32 %spec.select, -102049971451 %cmp.i3 = icmp sgt i32 %add8.i, -102049963852 br i1 %cmp.i3, label %for.inc19.i, label %for.cond1.loopexit.i53 54for.inc19.i: ; preds = %for.inc19.i, %for.cond5.preheader.i55 br i1 %sel, label %for.inc19.i, label %for.cond1.loopexit.i56 57; uselistorder directives58 uselistorder i32 %load1, { 1, 0, 2 }59}60