Extend the statepoint intrinsic to allow statepoints to be marked as transitions...
[oota-llvm.git] / test / CodeGen / X86 / coalesce_commute_subreg.ll
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 }