1 ; RUN: llvm-dis < %s.bc| FileCheck %s
2 ; RUN: verify-uselistorder < %s.bc -preserve-bc-use-list-order
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
8 define void @icmp(i32 %x1, i32 %x2, i32* %ptr1, i32* %ptr2, <2 x i32> %vec1, <2 x i32> %vec2){
10 ; CHECK: %res1 = icmp eq i32 %x1, %x2
11 %res1 = icmp eq i32 %x1, %x2
13 ; CHECK-NEXT: %res2 = icmp ne i32 %x1, %x2
14 %res2 = icmp ne i32 %x1, %x2
16 ; CHECK-NEXT: %res3 = icmp ugt i32 %x1, %x2
17 %res3 = icmp ugt i32 %x1, %x2
19 ; CHECK-NEXT: %res4 = icmp uge i32 %x1, %x2
20 %res4 = icmp uge i32 %x1, %x2
22 ; CHECK-NEXT: %res5 = icmp ult i32 %x1, %x2
23 %res5 = icmp ult i32 %x1, %x2
25 ; CHECK-NEXT: %res6 = icmp ule i32 %x1, %x2
26 %res6 = icmp ule i32 %x1, %x2
28 ; CHECK-NEXT: %res7 = icmp sgt i32 %x1, %x2
29 %res7 = icmp sgt i32 %x1, %x2
31 ; CHECK-NEXT: %res8 = icmp sge i32 %x1, %x2
32 %res8 = icmp sge i32 %x1, %x2
34 ; CHECK-NEXT: %res9 = icmp slt i32 %x1, %x2
35 %res9 = icmp slt i32 %x1, %x2
37 ; CHECK-NEXT: %res10 = icmp sle i32 %x1, %x2
38 %res10 = icmp sle i32 %x1, %x2
40 ; CHECK-NEXT: %res11 = icmp eq i32* %ptr1, %ptr2
41 %res11 = icmp eq i32* %ptr1, %ptr2
43 ; CHECK-NEXT: %res12 = icmp eq <2 x i32> %vec1, %vec2
44 %res12 = icmp eq <2 x i32> %vec1, %vec2
50 define void @fcmp(float %x1, float %x2, <2 x float> %vec1, <2 x float> %vec2){
52 ; CHECK: %res1 = fcmp oeq float %x1, %x2
53 %res1 = fcmp oeq float %x1, %x2
55 ; CHECK-NEXT: %res2 = fcmp one float %x1, %x2
56 %res2 = fcmp one float %x1, %x2
58 ; CHECK-NEXT: %res3 = fcmp ugt float %x1, %x2
59 %res3 = fcmp ugt float %x1, %x2
61 ; CHECK-NEXT: %res4 = fcmp uge float %x1, %x2
62 %res4 = fcmp uge float %x1, %x2
64 ; CHECK-NEXT: %res5 = fcmp ult float %x1, %x2
65 %res5 = fcmp ult float %x1, %x2
67 ; CHECK-NEXT: %res6 = fcmp ule float %x1, %x2
68 %res6 = fcmp ule float %x1, %x2
70 ; CHECK-NEXT: %res7 = fcmp ogt float %x1, %x2
71 %res7 = fcmp ogt float %x1, %x2
73 ; CHECK-NEXT: %res8 = fcmp oge float %x1, %x2
74 %res8 = fcmp oge float %x1, %x2
76 ; CHECK-NEXT: %res9 = fcmp olt float %x1, %x2
77 %res9 = fcmp olt float %x1, %x2
79 ; CHECK-NEXT: %res10 = fcmp ole float %x1, %x2
80 %res10 = fcmp ole float %x1, %x2
82 ; CHECK-NEXT: %res11 = fcmp ord float %x1, %x2
83 %res11 = fcmp ord float %x1, %x2
85 ; CHECK-NEXT: %res12 = fcmp ueq float %x1, %x2
86 %res12 = fcmp ueq float %x1, %x2
88 ; CHECK-NEXT: %res13 = fcmp une float %x1, %x2
89 %res13 = fcmp une float %x1, %x2
91 ; CHECK-NEXT: %res14 = fcmp uno float %x1, %x2
92 %res14 = fcmp uno float %x1, %x2
94 ; CHECK-NEXT: %res15 = fcmp true float %x1, %x2
95 %res15 = fcmp true float %x1, %x2
97 ; CHECK-NEXT: %res16 = fcmp false float %x1, %x2
98 %res16 = fcmp false float %x1, %x2
100 ; CHECK-NEXT: %res17 = fcmp oeq <2 x float> %vec1, %vec2
101 %res17 = fcmp oeq <2 x float> %vec1, %vec2
106 declare i32 @printf(i8* noalias nocapture, ...)
108 define void @call(i32 %x, i8* %msg ){
111 ; CHECK: %res1 = call i32 @test(i32 %x)
112 %res1 = call i32 @test(i32 %x)
114 ; CHECK-NEXT: %res2 = tail call i32 @test(i32 %x)
115 %res2 = tail call i32 @test(i32 %x)
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)
123 define i32 @test(i32 %x){