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