Simplify the tracking of used physregs to a bulk bitor followed by a transitive
[oota-llvm.git] / test / CodeGen / X86 / liveness-local-regalloc.ll
1 ; RUN: llc < %s -O3 -regalloc=local -mtriple=x86_64-apple-darwin10
2 ; RUN: llc < %s -O3 -regalloc=fast -mtriple=x86_64-apple-darwin10
3 ; <rdar://problem/7755473>
4
5 %0 = type { i32, i8*, i8*, %1*, i8*, i64, i64, i32, i32, i32, i32, [1024 x i8] }
6 %1 = type { i8*, i32, i32, i16, i16, %2, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %2, %3*, i32, [3 x i8], [1 x i8], %2, i32, i64 }
7 %2 = type { i8*, i32 }
8 %3 = type opaque
9
10 declare fastcc i32 @func(%0*, i32, i32) nounwind ssp
11
12 define fastcc void @func2(%0* %arg, i32 %arg1) nounwind ssp {
13 bb:
14   br label %.exit3
15
16 .exit3:                                           ; preds = %.exit3, %bb
17   switch i32 undef, label %.exit3 [
18     i32 -1, label %.loopexit
19     i32 37, label %bb2
20   ]
21
22 bb2:                                              ; preds = %bb5, %bb3, %.exit3
23   br i1 undef, label %bb3, label %bb5
24
25 bb3:                                              ; preds = %bb2
26   switch i32 undef, label %infloop [
27     i32 125, label %.loopexit
28     i32 -1, label %bb4
29     i32 37, label %bb2
30   ]
31
32 bb4:                                              ; preds = %bb3
33   %tmp = add nsw i32 undef, 1                     ; <i32> [#uses=1]
34   br label %.loopexit
35
36 bb5:                                              ; preds = %bb2
37   switch i32 undef, label %infloop1 [
38     i32 -1, label %.loopexit
39     i32 37, label %bb2
40   ]
41
42 .loopexit:                                        ; preds = %bb5, %bb4, %bb3, %.exit3
43   %.04 = phi i32 [ %tmp, %bb4 ], [ undef, %bb3 ], [ undef, %.exit3 ], [ undef, %bb5 ] ; <i32> [#uses=2]
44   br i1 undef, label %bb8, label %bb6
45
46 bb6:                                              ; preds = %.loopexit
47   %tmp7 = tail call fastcc i32 @func(%0* %arg, i32 %.04, i32 undef) nounwind ssp ; <i32> [#uses=0]
48   ret void
49
50 bb8:                                              ; preds = %.loopexit
51   %tmp9 = sext i32 %.04 to i64                    ; <i64> [#uses=1]
52   %tmp10 = getelementptr inbounds %0* %arg, i64 0, i32 11, i64 %tmp9 ; <i8*> [#uses=1]
53   store i8 0, i8* %tmp10, align 1
54   ret void
55
56 infloop:                                          ; preds = %infloop, %bb3
57   br label %infloop
58
59 infloop1:                                         ; preds = %infloop1, %bb5
60   br label %infloop1
61 }