1; RUN:  llvm-dis < %s.bc| FileCheck %s
2
3; constantsTest.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
4; The test checks that LLVM does not misread binary float instructions of
5; older bitcode files.
6
7;global variable address
8; CHECK: @X = global i32 0
9@X = global i32 0
10; CHECK: @Y = global i32 1
11@Y = global i32 1
12; CHECK: @Z = global [2 x i32*] [i32* @X, i32* @Y]
13@Z = global [2 x i32*] [i32* @X, i32* @Y]
14
15
16define void @SimpleConstants(i32 %x) {
17entry:
18; null
19; CHECK: store i32 %x, i32* null
20  store i32 %x, i32* null
21
22; boolean
23; CHECK-NEXT: %res1 = fcmp true float 1.000000e+00, 1.000000e+00
24  %res1 = fcmp true float 1.0, 1.0
25; CHECK-NEXT: %res2 = fcmp false float 1.000000e+00, 1.000000e+00
26  %res2 = fcmp false float 1.0, 1.0
27
28;integer
29; CHECK-NEXT: %res3 = add i32 0, 0
30  %res3 = add i32 0, 0
31
32;float
33; CHECK-NEXT: %res4 = fadd float 0.000000e+00, 0.000000e+00
34  %res4 = fadd float 0.0, 0.0
35
36  ret void
37}
38
39define void @ComplexConstants(<2 x i32> %x){
40entry:
41;constant structure
42; CHECK: %res1 = extractvalue { i32, float } { i32 1, float 2.000000e+00 }, 0
43  %res1 = extractvalue {i32, float} {i32 1, float 2.0}, 0
44
45;const array
46; CHECK-NEXT: %res2 = extractvalue [2 x i32] [i32 1, i32 2], 0
47  %res2 = extractvalue [2 x i32] [i32 1, i32 2], 0
48
49;const vector
50; CHECK-NEXT: %res3 = add <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
51  %res3 = add <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
52
53;zeroinitializer
54; CHECK-NEXT: %res4 = add <2 x i32> %x, zeroinitializer
55  %res4 = add <2 x i32> %x, zeroinitializer
56
57  ret void
58}
59
60define void @OtherConstants(i32 %x, i8* %Addr){
61entry:
62  ;undef
63  ; CHECK: %res1 = add i32 %x, undef
64  %res1 = add i32 %x, undef
65
66  ;poison
67  ; CHECK-NEXT: %poison = sub nuw i32 0, 1
68  %poison = sub nuw i32 0, 1
69
70  ;address of basic block
71  ; CHECK-NEXT: %res2 = icmp eq i8* blockaddress(@OtherConstants, %Next), null
72  %res2 = icmp eq i8* blockaddress(@OtherConstants, %Next), null
73  br label %Next
74  Next:
75  ret void
76}
77
78define void @OtherConstants2(){
79entry:
80  ; CHECK: trunc i32 1 to i8
81  trunc i32 1 to i8
82  ; CHECK-NEXT: zext i8 1 to i32
83  zext i8 1 to i32
84  ; CHECK-NEXT: sext i8 1 to i32
85  sext i8 1 to i32
86  ; CHECK-NEXT: fptrunc double 1.000000e+00 to float
87  fptrunc double 1.0 to float
88  ; CHECK-NEXT: fpext float 1.000000e+00 to double
89  fpext float 1.0 to double
90  ; CHECK-NEXT: fptosi float 1.000000e+00 to i32
91  fptosi float 1.0 to i32
92  ; CHECK-NEXT: uitofp i32 1 to float
93  uitofp i32 1 to float
94  ; CHECK-NEXT: sitofp i32 -1 to float
95  sitofp i32 -1 to float
96  ; CHECK-NEXT: ptrtoint i32* @X to i32
97  ptrtoint i32* @X to i32
98  ; CHECK-NEXT: inttoptr i8 1 to i8*
99  inttoptr i8 1 to i8*
100  ; CHECK-NEXT: bitcast i32 1 to <2 x i16>
101  bitcast i32 1 to <2 x i16>
102  ; CHECK-NEXT: getelementptr i32, i32* @X, i32 0
103  getelementptr i32, i32* @X, i32 0
104  ; CHECK-NEXT: getelementptr inbounds i32, i32* @X, i32 0
105  getelementptr inbounds i32, i32* @X, i32 0
106  ; CHECK: select i1 true, i32 1, i32 0
107  select i1 true ,i32 1, i32 0
108  ; CHECK-NEXT: icmp eq i32 1, 0
109  icmp eq i32 1, 0
110  ; CHECK-NEXT: fcmp oeq float 1.000000e+00, 0.000000e+00
111  fcmp oeq float 1.0, 0.0
112  ; CHECK-NEXT: extractelement <2 x i32> <i32 1, i32 1>, i32 1
113  extractelement <2 x i32> <i32 1, i32 1>, i32 1
114  ; CHECK-NEXT: insertelement <2 x i32> <i32 1, i32 1>, i32 0, i32 1
115  insertelement <2 x i32> <i32 1, i32 1>, i32 0, i32 1
116  ; CHECK-NEXT: shufflevector <2 x i32> <i32 1, i32 1>, <2 x i32> zeroinitializer, <4 x i32> <i32 0, i32 2, i32 1, i32 3>
117  shufflevector <2 x i32> <i32 1, i32 1>, <2 x i32> zeroinitializer, <4 x i32> <i32 0, i32 2, i32 1, i32 3>
118  ; CHECK-NEXT: extractvalue { i32, float } { i32 1, float 2.000000e+00 }, 0
119  extractvalue { i32, float } { i32 1, float 2.0 }, 0
120  ; CHECK-NEXT: insertvalue { i32, float } { i32 1, float 2.000000e+00 }, i32 0, 0
121  insertvalue { i32, float } { i32 1, float 2.0 }, i32 0, 0
122
123  ret void
124}