Extend the statepoint intrinsic to allow statepoints to be marked as transitions...
[oota-llvm.git] / test / CodeGen / X86 / misched-crash.ll
1 ; RUN: llc < %s -verify-machineinstrs -enable-misched -verify-misched
2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
3 target triple = "x86_64-apple-macosx10"
4
5 ; This function contains a cmp instruction with two users.
6 ; Hoisting the last use requires trimming the EFLAGS live range to the second.
7 define void @rdar13353090(i8* %plane, i64 %_x1, i64 %_x2) {
8 entry:
9   %cmp = icmp ult i64 %_x1, %_x2
10   %cond = select i1 %cmp, i64 %_x1, i64 %_x2
11   %cond10 = select i1 %cmp, i64 %_x2, i64 %_x1
12   %0 = load i64, i64* null, align 8
13   %cmp16 = icmp ult i64 %cond, %0
14   %cmp23 = icmp ugt i64 %cond10, 0
15   br i1 %cmp16, label %land.lhs.true21, label %return
16
17 land.lhs.true21:                                  ; preds = %entry
18   %sub = add i64 %0, -1
19   br i1 %cmp23, label %if.then24, label %return
20
21 if.then24:                                        ; preds = %land.lhs.true21
22   %cmp16.i = icmp ult i64 %cond, %sub
23   %cond20.i = select i1 %cmp16.i, i64 %cond, i64 %sub
24   %add21.i = add i64 0, %cond20.i
25   br label %for.body34.i
26
27 for.body34.i:                                     ; preds = %for.inc39.i, %if.then24
28   %index.178.i = phi i64 [ %add21.i, %if.then24 ], [ %inc41.i, %for.inc39.i ]
29   %arrayidx35.i = getelementptr inbounds i8, i8* %plane, i64 %index.178.i
30   %1 = load i8, i8* %arrayidx35.i, align 1
31   %tobool36.i = icmp eq i8 %1, 0
32   br i1 %tobool36.i, label %for.inc39.i, label %return
33
34 for.inc39.i:                                      ; preds = %for.body34.i
35   %inc41.i = add i64 %index.178.i, 1
36   br i1 undef, label %return, label %for.body34.i
37
38 return:                                           ; preds = %for.inc39.i, %for.body34.i, %land.lhs.true21, %entry
39   ret void
40 }