If a vr is already marked alive in a bb, then it has PHI uses that are visited earlie...
[oota-llvm.git] / test / CodeGen / PowerPC / 2007-11-16-landingpad-split.ll
1 ; RUN: llvm-as < %s | opt -std-compile-opts | llc -enable-eh
2 ;; Formerly crashed, see PR 1508
3 ; ModuleID = '5550437.c'
4 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f128:64:128"
5 target triple = "powerpc64-apple-darwin8"
6   %struct.Range = type { i64, i64 }
7
8 define void @Bork(i64 %range.0.0, i64 %range.0.1, i64 %size) {
9 entry:
10   %range_addr = alloca %struct.Range    ; <%struct.Range*> [#uses=5]
11   %size_addr = alloca i64   ; <i64*> [#uses=2]
12   %size.0 = alloca i64, align 8   ; <i64*> [#uses=6]
13   %additionalKeys.5 = alloca i8**   ; <i8***> [#uses=2]
14   %saved_stack.7 = alloca i8*   ; <i8**> [#uses=3]
15   %eh_exception = alloca i8*    ; <i8**> [#uses=3]
16   %eh_selector = alloca i64   ; <i64*> [#uses=1]
17   %effectiveRange = alloca %struct.Range, align 8   ; <%struct.Range*> [#uses=2]
18   %"alloca point" = bitcast i32 0 to i32    ; <i32> [#uses=0]
19   %tmp = bitcast %struct.Range* %range_addr to { [2 x i64] }*   ; <{ [2 x i64] }*> [#uses=1]
20   %tmp1 = getelementptr { [2 x i64] }* %tmp, i32 0, i32 0   ; <[2 x i64]*> [#uses=2]
21   %tmp2 = getelementptr [2 x i64]* %tmp1, i32 0, i32 0    ; <i64*> [#uses=1]
22   store i64 %range.0.0, i64* %tmp2
23   %tmp3 = getelementptr [2 x i64]* %tmp1, i32 0, i32 1    ; <i64*> [#uses=1]
24   store i64 %range.0.1, i64* %tmp3
25   store i64 %size, i64* %size_addr
26   %tmp4 = call i8* @llvm.stacksave( )   ; <i8*> [#uses=1]
27   store i8* %tmp4, i8** %saved_stack.7, align 8
28   %tmp5 = load i64* %size_addr, align 8   ; <i64> [#uses=1]
29   store i64 %tmp5, i64* %size.0, align 8
30   %tmp6 = load i64* %size.0, align 8    ; <i64> [#uses=1]
31   %tmp7 = sub i64 %tmp6, 1    ; <i64> [#uses=0]
32   %tmp8 = load i64* %size.0, align 8    ; <i64> [#uses=1]
33   %tmp9 = mul i64 %tmp8, 64   ; <i64> [#uses=0]
34   %tmp10 = load i64* %size.0, align 8   ; <i64> [#uses=1]
35   %tmp11 = mul i64 %tmp10, 8    ; <i64> [#uses=0]
36   %tmp12 = load i64* %size.0, align 8   ; <i64> [#uses=1]
37   %tmp13 = mul i64 %tmp12, 64   ; <i64> [#uses=0]
38   %tmp14 = load i64* %size.0, align 8   ; <i64> [#uses=1]
39   %tmp15 = mul i64 %tmp14, 8    ; <i64> [#uses=1]
40   %tmp1516 = trunc i64 %tmp15 to i32    ; <i32> [#uses=1]
41   %tmp17 = alloca i8, i32 %tmp1516    ; <i8*> [#uses=1]
42   %tmp1718 = bitcast i8* %tmp17 to i8**   ; <i8**> [#uses=1]
43   store i8** %tmp1718, i8*** %additionalKeys.5, align 8
44   %tmp19 = load i8*** %additionalKeys.5, align 8    ; <i8**> [#uses=1]
45   invoke void @Foo( i8** %tmp19 )
46       to label %invcont unwind label %unwind
47
48 unwind:   ; preds = %bb, %entry
49   %eh_ptr = call i8* @llvm.eh.exception( )    ; <i8*> [#uses=1]
50   store i8* %eh_ptr, i8** %eh_exception
51   %eh_ptr20 = load i8** %eh_exception   ; <i8*> [#uses=1]
52   %eh_select = call i64 (i8*, i8*, ...)* @llvm.eh.selector.i64( i8* %eh_ptr20, i8* bitcast (void ()* @__gxx_personality_v0 to i8*), i8* null )    ; <i64> [#uses=1]
53   store i64 %eh_select, i64* %eh_selector
54   br label %cleanup37
55
56 invcont:    ; preds = %entry
57   br label %bb30
58
59 bb:   ; preds = %cond_true
60   %tmp21 = getelementptr %struct.Range* %range_addr, i32 0, i32 0   ; <i64*> [#uses=1]
61   %tmp22 = load i64* %tmp21, align 8    ; <i64> [#uses=1]
62   invoke void @Bar( i64 %tmp22, %struct.Range* %effectiveRange )
63       to label %invcont23 unwind label %unwind
64
65 invcont23:    ; preds = %bb
66   %tmp24 = getelementptr %struct.Range* %range_addr, i32 0, i32 1   ; <i64*> [#uses=1]
67   %tmp25 = load i64* %tmp24, align 8    ; <i64> [#uses=1]
68   %tmp26 = getelementptr %struct.Range* %effectiveRange, i32 0, i32 1   ; <i64*> [#uses=1]
69   %tmp27 = load i64* %tmp26, align 8    ; <i64> [#uses=1]
70   %tmp28 = sub i64 %tmp25, %tmp27   ; <i64> [#uses=1]
71   %tmp29 = getelementptr %struct.Range* %range_addr, i32 0, i32 1   ; <i64*> [#uses=1]
72   store i64 %tmp28, i64* %tmp29, align 8
73   br label %bb30
74
75 bb30:   ; preds = %invcont23, %invcont
76   %tmp31 = getelementptr %struct.Range* %range_addr, i32 0, i32 1   ; <i64*> [#uses=1]
77   %tmp32 = load i64* %tmp31, align 8    ; <i64> [#uses=1]
78   %tmp33 = icmp ne i64 %tmp32, 0    ; <i1> [#uses=1]
79   %tmp3334 = zext i1 %tmp33 to i8   ; <i8> [#uses=1]
80   %toBool = icmp ne i8 %tmp3334, 0    ; <i1> [#uses=1]
81   br i1 %toBool, label %cond_true, label %cond_false
82
83 cond_true:    ; preds = %bb30
84   br label %bb
85
86 cond_false:   ; preds = %bb30
87   br label %bb35
88
89 cond_next:    ; No predecessors!
90   br label %bb35
91
92 bb35:   ; preds = %cond_next, %cond_false
93   br label %cleanup
94
95 cleanup:    ; preds = %bb35
96   %tmp36 = load i8** %saved_stack.7, align 8    ; <i8*> [#uses=1]
97   call void @llvm.stackrestore( i8* %tmp36 )
98   br label %finally
99
100 cleanup37:    ; preds = %unwind
101   %tmp38 = load i8** %saved_stack.7, align 8    ; <i8*> [#uses=1]
102   call void @llvm.stackrestore( i8* %tmp38 )
103   br label %Unwind
104
105 finally:    ; preds = %cleanup
106   br label %return
107
108 return:   ; preds = %finally
109   ret void
110
111 Unwind:   ; preds = %cleanup37
112   %eh_ptr39 = load i8** %eh_exception   ; <i8*> [#uses=1]
113   call void @_Unwind_Resume( i8* %eh_ptr39 )
114   unreachable
115 }
116
117 declare i8* @llvm.stacksave()
118
119 declare void @Foo(i8**)
120
121 declare i8* @llvm.eh.exception()
122
123 declare i64 @llvm.eh.selector.i64(i8*, i8*, ...)
124
125 declare i64 @llvm.eh.typeid.for.i64(i8*)
126
127 declare void @__gxx_personality_v0()
128
129 declare void @_Unwind_Resume(i8*)
130
131 declare void @Bar(i64, %struct.Range*)
132
133 declare void @llvm.stackrestore(i8*)