Fix bogus assertion using getSExtValue for legitimate values, like -1 in
[oota-llvm.git] / test / Transforms / GlobalOpt / ctor-list-opt.ll
1 ; RUN: llvm-as < %s | opt -globalopt | llvm-dis | not grep CTOR
2 @llvm.global_ctors = appending global [10 x { i32, void ()* }] [ { i32, void ()* } { i32 65535, void ()* @CTOR1 }, { i32, void ()* } { i32 65535, void ()* @CTOR1 }, { i32, void ()* } { i32 65535, void ()* @CTOR2 }, { i32, void ()* } { i32 65535, void ()* @CTOR3 }, { i32, void ()* } { i32 65535, void ()* @CTOR4 }, { i32, void ()* } { i32 65535, void ()* @CTOR5 }, { i32, void ()* } { i32 65535, void ()* @CTOR6 }, { i32, void ()* } { i32 65535, void ()* @CTOR7 }, { i32, void ()* } { i32 65535, void ()* @CTOR8 }, { i32, void ()* } { i32 2147483647, void ()* null } ]                ; <[10 x { i32, void ()* }]*> [#uses=0]
3 @G = global i32 0               ; <i32*> [#uses=1]
4 @G2 = global i32 0              ; <i32*> [#uses=1]
5 @G3 = global i32 -123           ; <i32*> [#uses=2]
6 @X = global { i32, [2 x i32] } { i32 0, [2 x i32] [ i32 17, i32 21 ] }          ; <{ i32, [2 x i32] }*> [#uses=2]
7 @Y = global i32 -1              ; <i32*> [#uses=2]
8 @Z = global i32 123             ; <i32*> [#uses=1]
9 @D = global double 0.000000e+00         ; <double*> [#uses=1]
10 @CTORGV = internal global i1 false              ; <i1*> [#uses=2]
11
12 define internal void @CTOR1() {
13         ret void
14 }
15
16 define internal void @CTOR2() {
17         %A = add i32 1, 23              ; <i32> [#uses=1]
18         store i32 %A, i32* @G
19         store i1 true, i1* @CTORGV
20         ret void
21 }
22
23 define internal void @CTOR3() {
24         %X = or i1 true, false          ; <i1> [#uses=1]
25         br label %Cont
26
27 Cont:           ; preds = %0
28         br i1 %X, label %S, label %T
29
30 S:              ; preds = %Cont
31         store i32 24, i32* @G2
32         ret void
33
34 T:              ; preds = %Cont
35         ret void
36 }
37
38 define internal void @CTOR4() {
39         %X = load i32* @G3              ; <i32> [#uses=1]
40         %Y = add i32 %X, 123            ; <i32> [#uses=1]
41         store i32 %Y, i32* @G3
42         ret void
43 }
44
45 define internal void @CTOR5() {
46         %X.2p = getelementptr { i32, [2 x i32] }* @X, i32 0, i32 1, i32 0               ; <i32*> [#uses=2]
47         %X.2 = load i32* %X.2p          ; <i32> [#uses=1]
48         %X.1p = getelementptr { i32, [2 x i32] }* @X, i32 0, i32 0              ; <i32*> [#uses=1]
49         store i32 %X.2, i32* %X.1p
50         store i32 42, i32* %X.2p
51         ret void
52 }
53
54 define internal void @CTOR6() {
55         %A = alloca i32         ; <i32*> [#uses=2]
56         %y = load i32* @Y               ; <i32> [#uses=1]
57         store i32 %y, i32* %A
58         %Av = load i32* %A              ; <i32> [#uses=1]
59         %Av1 = add i32 %Av, 1           ; <i32> [#uses=1]
60         store i32 %Av1, i32* @Y
61         ret void
62 }
63
64 define internal void @CTOR7() {
65         call void @setto( i32* @Z, i32 0 )
66         ret void
67 }
68
69 define void @setto(i32* %P, i32 %V) {
70         store i32 %V, i32* %P
71         ret void
72 }
73
74 declare double @cos(double)
75
76 define internal void @CTOR8() {
77         %X = call double @cos( double 1.000000e+00 )            ; <double> [#uses=1]
78         store double %X, double* @D
79         ret void
80 }
81
82 define i1 @accessor() {
83         %V = load i1* @CTORGV           ; <i1> [#uses=1]
84         ret i1 %V
85 }