1 ; RUN: llc -mtriple="x86_64-apple-darwin" -o - -verify-machineinstrs %s 2 3 define void @make_wanted() #0 { 4 entry: 5 br i1 undef, label %for.end20, label %for.cond1.preheader.lr.ph 6 7 for.cond1.preheader.lr.ph: 8 br label %for.body3 9 10 for.body3: 11 %cmp20.i = icmp eq i32 undef, 0 12 %.col.057 = select i1 %cmp20.i, i32 0, i32 undef 13 br i1 undef, label %while.cond.i, label %for.body5.lr.ph.i 14 15 for.body5.lr.ph.i: 16 %0 = sext i32 %.col.057 to i64 17 %1 = sub i32 0, %.col.057 18 %2 = zext i32 %1 to i64 19 %3 = add nuw nsw i64 %2, 1 20 %n.vec110 = and i64 %3, 8589934588 21 %end.idx.rnd.down111 = add nsw i64 %n.vec110, %0 22 br i1 undef, label %middle.block105, label %vector.ph103 23 24 vector.ph103: 25 br i1 undef, label %middle.block105, label %vector.body104 26 27 vector.body104: 28 %4 = icmp eq i64 undef, %end.idx.rnd.down111 29 br i1 %4, label %middle.block105, label %vector.body104 30 31 middle.block105: 32 %resume.val114 = phi i64 [ %0, %for.body5.lr.ph.i ], [ %end.idx.rnd.down111, %vector.body104 ], [ %end.idx.rnd.down111, %vector.ph103 ] 33 %cmp.n116 = icmp eq i64 undef, %resume.val114 34 br i1 %cmp.n116, label %while.cond.i, label %for.body5.i.preheader 35 36 for.body5.i.preheader: 37 %lcmp.or182 = or i1 undef, undef 38 br i1 %lcmp.or182, label %for.body5.i.prol, label %while.cond.i 39 40 for.body5.i.prol: 41 br i1 undef, label %for.body5.i.prol, label %while.cond.i 42 43 while.cond.i: 44 br i1 undef, label %while.cond.i, label %if.then 45 46 if.then: 47 br label %for.body3 48 49 for.end20: 50 ret void 51 } 52