81 lines · plain
1; RUN: opt -passes=jump-threading -S < %s | FileCheck %s2@a = common dso_local local_unnamed_addr global i16 0, align 23 4; Function Attrs: nofree norecurse nounwind5define internal fastcc void @s() unnamed_addr {6; CHECK-LABEL: @s(7; CHECK-NEXT: for.cond1.preheader.lr.ph:8; CHECK-NEXT: br label [[FOR_COND1_PREHEADER:%.*]]9; CHECK: for.cond1.preheader:10; CHECK-NEXT: [[DOTPR_I_19:%.*]] = phi i32 [ undef, [[FOR_COND1_PREHEADER_LR_PH:%.*]] ], [ 0, [[FOR_INC_SPLIT_1:%.*]] ]11; CHECK-NEXT: [[TMP0:%.*]] = phi i16 [ undef, [[FOR_COND1_PREHEADER_LR_PH]] ], [ [[INC9:%.*]], [[FOR_INC_SPLIT_1]] ]12; CHECK-NEXT: [[TOBOOL4_I:%.*]] = icmp eq i32 [[DOTPR_I_19]], 013; CHECK-NEXT: br i1 [[TOBOOL4_I]], label [[FOR_INC_SPLIT_1]], label [[FOR_BODY_LR_PH_I:%.*]]14; CHECK: for.body.lr.ph.i:15; CHECK-NEXT: ret void16; CHECK: for.cond.for.end10_crit_edge:17; CHECK-NEXT: ret void18; CHECK: for.inc.split.1:19; CHECK-NEXT: [[INC9]] = add i16 [[TMP0]], 120; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i16 [[INC9]], 021; CHECK-NEXT: br i1 [[TOBOOL]], label [[FOR_COND_FOR_END10_CRIT_EDGE:%.*]], label [[FOR_COND1_PREHEADER]]22;23for.cond1.preheader.lr.ph:24 br label %for.cond1.preheader25 26for.cond1.preheader: ; preds = %for.inc.split.1, %for.cond1.preheader.lr.ph27 %.pr.i.19 = phi i32 [ undef, %for.cond1.preheader.lr.ph ], [ 0, %for.inc.split.1 ]28 %0 = phi i16 [ undef, %for.cond1.preheader.lr.ph ], [ %inc9, %for.inc.split.1 ]29 %tobool4.i = icmp eq i32 %.pr.i.19, 030 br i1 %tobool4.i, label %t.exit, label %for.body.lr.ph.i31 32for.body.lr.ph.i: ; preds = %for.cond1.preheader33 ret void34 35t.exit: ; preds = %for.cond1.preheader36 br label %for.inc.split37 38for.inc.split: ; preds = %t.exit39 %tobool4.i.1 = icmp eq i32 %.pr.i.19, 040 br i1 %tobool4.i.1, label %for.inc.split.1, label %for.body.lr.ph.i.141 42for.cond.for.end10_crit_edge: ; preds = %for.inc.split.143 ret void44 45for.body.lr.ph.i.1: ; preds = %for.inc.split46 br label %for.body.lr.ph.split.i.147 48for.body.lr.ph.split.i.1: ; preds = %for.body.lr.ph.i.149 br label %for.body.preheader.i.150 51for.body.preheader.i.1: ; preds = %for.body.lr.ph.split.i.152 br label %for.body.i.us.1.preheader53 54for.body.i.us.1.preheader: ; preds = %for.body.preheader.i.155 br label %for.body.i.us.156 57for.body.i.us.1: ; preds = %lor.end.i.us.1, %for.body.i.us.1.preheader58 %.b.i.us.1 = phi i1 [ %spec.select44.i.us.1, %lor.end.i.us.1 ], [ undef, %for.body.i.us.1.preheader ]59 br i1 %.b.i.us.1, label %lor.end.i.us.1, label %lor.rhs.i.us.160 61lor.rhs.i.us.1: ; preds = %for.body.i.us.162 %conv5.i.us.1 = trunc i32 undef to i863 br label %lor.end.i.us.164 65lor.end.i.us.1: ; preds = %lor.rhs.i.us.1, %for.body.i.us.166 %.b31.i.us.1 = or i1 undef, %.b.i.us.167 %spec.select44.i.us.1 = or i1 undef, %.b31.i.us.168 br i1 undef, label %for.end18.loopexit42.i.1.loopexit, label %for.body.i.us.169 70for.end18.loopexit42.i.1.loopexit: ; preds = %lor.end.i.us.171 br label %for.end18.loopexit42.i.172 73for.end18.loopexit42.i.1: ; preds = %for.end18.loopexit42.i.1.loopexit74 br label %for.inc.split.175 76for.inc.split.1: ; preds = %for.end18.loopexit42.i.1, %for.inc.split77 %inc9 = add i16 %0, 178 %tobool = icmp eq i16 %inc9, 079 br i1 %tobool, label %for.cond.for.end10_crit_edge, label %for.cond1.preheader80}81