1; RUN: llvm-dis < %s.bc| FileCheck %s
2; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order
3
4; miscInstructions.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
5; The test checks that LLVM does not misread miscellaneous instructions of
6; older bitcode files.
7
8define void @icmp(i32 %x1, i32 %x2, i32* %ptr1, i32* %ptr2, <2 x i32> %vec1, <2 x i32> %vec2){
9entry:
10; CHECK: %res1 = icmp eq i32 %x1, %x2
11  %res1 = icmp eq i32 %x1, %x2
12
13; CHECK-NEXT: %res2 = icmp ne i32 %x1, %x2
14  %res2 = icmp ne i32 %x1, %x2
15
16; CHECK-NEXT: %res3 = icmp ugt i32 %x1, %x2
17  %res3 = icmp ugt i32 %x1, %x2
18
19; CHECK-NEXT: %res4 = icmp uge i32 %x1, %x2
20  %res4 = icmp uge i32 %x1, %x2
21
22; CHECK-NEXT: %res5 = icmp ult i32 %x1, %x2
23  %res5 = icmp ult i32 %x1, %x2
24
25; CHECK-NEXT: %res6 = icmp ule i32 %x1, %x2
26  %res6 = icmp ule i32 %x1, %x2
27
28; CHECK-NEXT: %res7 = icmp sgt i32 %x1, %x2
29  %res7 = icmp sgt i32 %x1, %x2
30
31; CHECK-NEXT: %res8 = icmp sge i32 %x1, %x2
32  %res8 = icmp sge i32 %x1, %x2
33
34; CHECK-NEXT: %res9 = icmp slt i32 %x1, %x2
35  %res9 = icmp slt i32 %x1, %x2
36
37; CHECK-NEXT: %res10 = icmp sle i32 %x1, %x2
38  %res10 = icmp sle i32 %x1, %x2
39
40; CHECK-NEXT: %res11 = icmp eq i32* %ptr1, %ptr2
41  %res11 = icmp eq i32* %ptr1, %ptr2
42
43; CHECK-NEXT: %res12 = icmp eq <2 x i32> %vec1, %vec2
44  %res12 = icmp eq <2 x i32> %vec1, %vec2
45
46  ret void
47}
48
49
50define void @fcmp(float %x1, float %x2, <2 x float> %vec1, <2 x float> %vec2){
51entry:
52; CHECK: %res1 = fcmp oeq float %x1, %x2
53  %res1 = fcmp oeq float %x1, %x2
54
55; CHECK-NEXT: %res2 = fcmp one float %x1, %x2
56  %res2 = fcmp one float %x1, %x2
57
58; CHECK-NEXT: %res3 = fcmp ugt float %x1, %x2
59  %res3 = fcmp ugt float %x1, %x2
60
61; CHECK-NEXT: %res4 = fcmp uge float %x1, %x2
62  %res4 = fcmp uge float %x1, %x2
63
64; CHECK-NEXT: %res5 = fcmp ult float %x1, %x2
65  %res5 = fcmp ult float %x1, %x2
66
67; CHECK-NEXT: %res6 = fcmp ule float %x1, %x2
68  %res6 = fcmp ule float %x1, %x2
69
70; CHECK-NEXT: %res7 = fcmp ogt float %x1, %x2
71  %res7 = fcmp ogt float %x1, %x2
72
73; CHECK-NEXT: %res8 = fcmp oge float %x1, %x2
74  %res8 = fcmp oge float %x1, %x2
75
76; CHECK-NEXT: %res9 = fcmp olt float %x1, %x2
77  %res9 = fcmp olt float %x1, %x2
78
79; CHECK-NEXT: %res10 = fcmp ole float %x1, %x2
80  %res10 = fcmp ole float %x1, %x2
81
82; CHECK-NEXT: %res11 = fcmp ord float %x1, %x2
83  %res11 = fcmp ord float %x1, %x2
84
85; CHECK-NEXT: %res12 = fcmp ueq float %x1, %x2
86  %res12 = fcmp ueq float %x1, %x2
87
88; CHECK-NEXT: %res13 = fcmp une float %x1, %x2
89  %res13 = fcmp une float %x1, %x2
90
91; CHECK-NEXT: %res14 = fcmp uno float %x1, %x2
92  %res14 = fcmp uno float %x1, %x2
93
94; CHECK-NEXT: %res15 = fcmp true float %x1, %x2
95  %res15 = fcmp true float %x1, %x2
96
97; CHECK-NEXT: %res16 = fcmp false float %x1, %x2
98  %res16 = fcmp false float %x1, %x2
99
100; CHECK-NEXT: %res17 = fcmp oeq <2 x float> %vec1, %vec2
101  %res17 = fcmp oeq <2 x float> %vec1, %vec2
102
103  ret void
104}
105
106declare i32 @printf(i8* noalias nocapture, ...)
107
108define void @call(i32 %x, i8* %msg ){
109entry:
110
111; CHECK: %res1 = call i32 @test(i32 %x)
112  %res1 = call i32 @test(i32 %x)
113
114; CHECK-NEXT: %res2 = tail call i32 @test(i32 %x)
115  %res2 = tail call i32 @test(i32 %x)
116
117; CHECK-NEXT: %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42)
118  %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42)
119
120  ret void
121}
122
123define i32 @test(i32 %x){
124entry:
125
126  ret i32 %x
127}
128