1 ; RUN: llvm-dis < %s.bc| FileCheck %s
\r
3 ; miscInstructions.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
\r
4 ; The test checks that LLVM does not misread miscellaneous instructions of
\r
5 ; older bitcode files.
\r
7 define void @icmp(i32 %x1, i32 %x2, i32* %ptr1, i32* %ptr2, <2 x i32> %vec1, <2 x i32> %vec2){
\r
9 ; CHECK: %res1 = icmp eq i32 %x1, %x2
\r
10 %res1 = icmp eq i32 %x1, %x2
\r
12 ; CHECK-NEXT: %res2 = icmp ne i32 %x1, %x2
\r
13 %res2 = icmp ne i32 %x1, %x2
\r
15 ; CHECK-NEXT: %res3 = icmp ugt i32 %x1, %x2
\r
16 %res3 = icmp ugt i32 %x1, %x2
\r
18 ; CHECK-NEXT: %res4 = icmp uge i32 %x1, %x2
\r
19 %res4 = icmp uge i32 %x1, %x2
\r
21 ; CHECK-NEXT: %res5 = icmp ult i32 %x1, %x2
\r
22 %res5 = icmp ult i32 %x1, %x2
\r
24 ; CHECK-NEXT: %res6 = icmp ule i32 %x1, %x2
\r
25 %res6 = icmp ule i32 %x1, %x2
\r
27 ; CHECK-NEXT: %res7 = icmp sgt i32 %x1, %x2
\r
28 %res7 = icmp sgt i32 %x1, %x2
\r
30 ; CHECK-NEXT: %res8 = icmp sge i32 %x1, %x2
\r
31 %res8 = icmp sge i32 %x1, %x2
\r
33 ; CHECK-NEXT: %res9 = icmp slt i32 %x1, %x2
\r
34 %res9 = icmp slt i32 %x1, %x2
\r
36 ; CHECK-NEXT: %res10 = icmp sle i32 %x1, %x2
\r
37 %res10 = icmp sle i32 %x1, %x2
\r
39 ; CHECK-NEXT: %res11 = icmp eq i32* %ptr1, %ptr2
\r
40 %res11 = icmp eq i32* %ptr1, %ptr2
\r
42 ; CHECK-NEXT: %res12 = icmp eq <2 x i32> %vec1, %vec2
\r
43 %res12 = icmp eq <2 x i32> %vec1, %vec2
\r
49 define void @fcmp(float %x1, float %x2, <2 x float> %vec1, <2 x float> %vec2){
\r
51 ; CHECK: %res1 = fcmp oeq float %x1, %x2
\r
52 %res1 = fcmp oeq float %x1, %x2
\r
54 ; CHECK-NEXT: %res2 = fcmp one float %x1, %x2
\r
55 %res2 = fcmp one float %x1, %x2
\r
57 ; CHECK-NEXT: %res3 = fcmp ugt float %x1, %x2
\r
58 %res3 = fcmp ugt float %x1, %x2
\r
60 ; CHECK-NEXT: %res4 = fcmp uge float %x1, %x2
\r
61 %res4 = fcmp uge float %x1, %x2
\r
63 ; CHECK-NEXT: %res5 = fcmp ult float %x1, %x2
\r
64 %res5 = fcmp ult float %x1, %x2
\r
66 ; CHECK-NEXT: %res6 = fcmp ule float %x1, %x2
\r
67 %res6 = fcmp ule float %x1, %x2
\r
69 ; CHECK-NEXT: %res7 = fcmp ogt float %x1, %x2
\r
70 %res7 = fcmp ogt float %x1, %x2
\r
72 ; CHECK-NEXT: %res8 = fcmp oge float %x1, %x2
\r
73 %res8 = fcmp oge float %x1, %x2
\r
75 ; CHECK-NEXT: %res9 = fcmp olt float %x1, %x2
\r
76 %res9 = fcmp olt float %x1, %x2
\r
78 ; CHECK-NEXT: %res10 = fcmp ole float %x1, %x2
\r
79 %res10 = fcmp ole float %x1, %x2
\r
81 ; CHECK-NEXT: %res11 = fcmp ord float %x1, %x2
\r
82 %res11 = fcmp ord float %x1, %x2
\r
84 ; CHECK-NEXT: %res12 = fcmp ueq float %x1, %x2
\r
85 %res12 = fcmp ueq float %x1, %x2
\r
87 ; CHECK-NEXT: %res13 = fcmp une float %x1, %x2
\r
88 %res13 = fcmp une float %x1, %x2
\r
90 ; CHECK-NEXT: %res14 = fcmp uno float %x1, %x2
\r
91 %res14 = fcmp uno float %x1, %x2
\r
93 ; CHECK-NEXT: %res15 = fcmp true float %x1, %x2
\r
94 %res15 = fcmp true float %x1, %x2
\r
96 ; CHECK-NEXT: %res16 = fcmp false float %x1, %x2
\r
97 %res16 = fcmp false float %x1, %x2
\r
99 ; CHECK-NEXT: %res17 = fcmp oeq <2 x float> %vec1, %vec2
\r
100 %res17 = fcmp oeq <2 x float> %vec1, %vec2
\r
105 declare i32 @printf(i8* noalias nocapture, ...)
\r
107 define void @call(i32 %x, i8* %msg ){
\r
110 ; CHECK: %res1 = call i32 @test(i32 %x)
\r
111 %res1 = call i32 @test(i32 %x)
\r
113 ; CHECK-NEXT: %res2 = tail call i32 @test(i32 %x)
\r
114 %res2 = tail call i32 @test(i32 %x)
\r
116 ; CHECK-NEXT: %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42)
\r
117 %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42)
\r
122 define i32 @test(i32 %x){
\r