1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic 64-bit floating-point comparison operations assemble as
6 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
7 target triple = "wasm32-unknown-unknown"
9 ; CHECK-LABEL: ord_f64:
10 ; CHECK-NEXT: .param f64{{$}}
11 ; CHECK-NEXT: .param f64{{$}}
12 ; CHECK-NEXT: .result i32{{$}}
13 ; CHECK-NEXT: f64.eq $push[[NUM0:[0-9]+]], $0, $0{{$}}
14 ; CHECK-NEXT: f64.eq $push[[NUM1:[0-9]+]], $1, $1{{$}}
15 ; CHECK-NEXT: i32.and $push[[NUM2:[0-9]+]], $pop[[NUM0]], $pop[[NUM1]]{{$}}
16 ; CHECK-NEXT: return $pop[[NUM2]]{{$}}
17 define i32 @ord_f64(double %x, double %y) {
18 %a = fcmp ord double %x, %y
19 %b = zext i1 %a to i32
23 ; CHECK-LABEL: uno_f64:
24 ; CHECK-NEXT: .param f64{{$}}
25 ; CHECK-NEXT: .param f64{{$}}
26 ; CHECK-NEXT: .result i32{{$}}
27 ; CHECK-NEXT: f64.ne $push[[NUM0:[0-9]+]], $0, $0{{$}}
28 ; CHECK-NEXT: f64.ne $push[[NUM1:[0-9]+]], $1, $1{{$}}
29 ; CHECK-NEXT: i32.or $push[[NUM2:[0-9]+]], $pop[[NUM0]], $pop[[NUM1]]{{$}}
30 ; CHECK-NEXT: return $pop[[NUM2]]{{$}}
31 define i32 @uno_f64(double %x, double %y) {
32 %a = fcmp uno double %x, %y
33 %b = zext i1 %a to i32
37 ; CHECK-LABEL: oeq_f64:
38 ; CHECK-NEXT: .param f64{{$}}
39 ; CHECK-NEXT: .param f64{{$}}
40 ; CHECK-NEXT: .result i32{{$}}
41 ; CHECK-NEXT: f64.eq $push[[NUM:[0-9]+]], $0, $1{{$}}
42 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
43 define i32 @oeq_f64(double %x, double %y) {
44 %a = fcmp oeq double %x, %y
45 %b = zext i1 %a to i32
49 ; CHECK-LABEL: une_f64:
50 ; CHECK: f64.ne $push[[NUM:[0-9]+]], $0, $1{{$}}
51 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
52 define i32 @une_f64(double %x, double %y) {
53 %a = fcmp une double %x, %y
54 %b = zext i1 %a to i32
58 ; CHECK-LABEL: olt_f64:
59 ; CHECK: f64.lt $push[[NUM:[0-9]+]], $0, $1{{$}}
60 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
61 define i32 @olt_f64(double %x, double %y) {
62 %a = fcmp olt double %x, %y
63 %b = zext i1 %a to i32
67 ; CHECK-LABEL: ole_f64:
68 ; CHECK: f64.le $push[[NUM:[0-9]+]], $0, $1{{$}}
69 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
70 define i32 @ole_f64(double %x, double %y) {
71 %a = fcmp ole double %x, %y
72 %b = zext i1 %a to i32
76 ; CHECK-LABEL: ogt_f64:
77 ; CHECK: f64.gt $push[[NUM:[0-9]+]], $0, $1{{$}}
78 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
79 define i32 @ogt_f64(double %x, double %y) {
80 %a = fcmp ogt double %x, %y
81 %b = zext i1 %a to i32
85 ; CHECK-LABEL: oge_f64:
86 ; CHECK: f64.ge $push[[NUM:[0-9]+]], $0, $1{{$}}
87 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
88 define i32 @oge_f64(double %x, double %y) {
89 %a = fcmp oge double %x, %y
90 %b = zext i1 %a to i32
94 ; Expanded comparisons, which also check for NaN.
96 ; CHECK-LABEL: ueq_f64:
97 ; CHECK-NEXT: .param f64{{$}}
98 ; CHECK-NEXT: .param f64{{$}}
99 ; CHECK-NEXT: .result i32{{$}}
100 ; CHECK-NEXT: f64.eq $push[[NUM0:[0-9]+]], $0, $1{{$}}
101 ; CHECK-NEXT: f64.ne $push[[NUM1:[0-9]+]], $0, $0{{$}}
102 ; CHECK-NEXT: f64.ne $push[[NUM2:[0-9]+]], $1, $1{{$}}
103 ; CHECK-NEXT: i32.or $push[[NUM3:[0-9]+]], $pop[[NUM1]], $pop[[NUM2]]{{$}}
104 ; CHECK-NEXT: i32.or $push[[NUM4:[0-9]+]], $pop[[NUM0]], $pop[[NUM3]]{{$}}
105 ; CHECK-NEXT: return $pop[[NUM4]]{{$}}
106 define i32 @ueq_f64(double %x, double %y) {
107 %a = fcmp ueq double %x, %y
108 %b = zext i1 %a to i32
112 ; CHECK-LABEL: one_f64:
113 ; CHECK-NEXT: .param f64
114 ; CHECK-NEXT: .param f64
115 ; CHECK-NEXT: .result i32
116 ; CHECK-NEXT: f64.ne $push[[NUM0:[0-9]+]], $0, $1{{$}}
117 ; CHECK-NEXT: f64.eq $push[[NUM1:[0-9]+]], $0, $0{{$}}
118 ; CHECK-NEXT: f64.eq $push[[NUM2:[0-9]+]], $1, $1{{$}}
119 ; CHECK-NEXT: i32.and $push[[NUM3:[0-9]+]], $pop[[NUM1]], $pop[[NUM2]]{{$}}
120 ; CHECK-NEXT: i32.and $push[[NUM4:[0-9]+]], $pop[[NUM0]], $pop[[NUM3]]{{$}}
121 ; CHECK-NEXT: return $pop[[NUM4]]
122 define i32 @one_f64(double %x, double %y) {
123 %a = fcmp one double %x, %y
124 %b = zext i1 %a to i32
128 ; CHECK-LABEL: ult_f64:
129 ; CHECK-NEXT: .param f64{{$}}
130 ; CHECK-NEXT: .param f64{{$}}
131 ; CHECK-NEXT: .result i32{{$}}
132 ; CHECK-NEXT: f64.lt $push[[NUM0:[0-9]+]], $0, $1{{$}}
133 ; CHECK-NEXT: f64.ne $push[[NUM1:[0-9]+]], $0, $0{{$}}
134 ; CHECK-NEXT: f64.ne $push[[NUM2:[0-9]+]], $1, $1{{$}}
135 ; CHECK-NEXT: i32.or $push[[NUM3:[0-9]+]], $pop[[NUM1]], $pop[[NUM2]]{{$}}
136 ; CHECK-NEXT: i32.or $push[[NUM4:[0-9]+]], $pop[[NUM0]], $pop[[NUM3]]{{$}}
137 ; CHECK-NEXT: return $pop[[NUM4]]{{$}}
138 define i32 @ult_f64(double %x, double %y) {
139 %a = fcmp ult double %x, %y
140 %b = zext i1 %a to i32
144 ; CHECK-LABEL: ule_f64:
145 ; CHECK-NEXT: .param f64{{$}}
146 ; CHECK-NEXT: .param f64{{$}}
147 ; CHECK-NEXT: .result i32{{$}}
148 ; CHECK-NEXT: f64.le $push[[NUM0:[0-9]+]], $0, $1{{$}}
149 ; CHECK-NEXT: f64.ne $push[[NUM1:[0-9]+]], $0, $0{{$}}
150 ; CHECK-NEXT: f64.ne $push[[NUM2:[0-9]+]], $1, $1{{$}}
151 ; CHECK-NEXT: i32.or $push[[NUM3:[0-9]+]], $pop[[NUM1]], $pop[[NUM2]]{{$}}
152 ; CHECK-NEXT: i32.or $push[[NUM4:[0-9]+]], $pop[[NUM0]], $pop[[NUM3]]{{$}}
153 ; CHECK-NEXT: return $pop[[NUM4]]{{$}}
154 define i32 @ule_f64(double %x, double %y) {
155 %a = fcmp ule double %x, %y
156 %b = zext i1 %a to i32
160 ; CHECK-LABEL: ugt_f64:
161 ; CHECK-NEXT: .param f64{{$}}
162 ; CHECK-NEXT: .param f64{{$}}
163 ; CHECK-NEXT: .result i32{{$}}
164 ; CHECK-NEXT: f64.gt $push[[NUM0:[0-9]+]], $0, $1{{$}}
165 ; CHECK-NEXT: f64.ne $push[[NUM1:[0-9]+]], $0, $0{{$}}
166 ; CHECK-NEXT: f64.ne $push[[NUM2:[0-9]+]], $1, $1{{$}}
167 ; CHECK-NEXT: i32.or $push[[NUM3:[0-9]+]], $pop[[NUM1]], $pop[[NUM2]]{{$}}
168 ; CHECK-NEXT: i32.or $push[[NUM4:[0-9]+]], $pop[[NUM0]], $pop[[NUM3]]{{$}}
169 ; CHECK-NEXT: return $pop[[NUM4]]{{$}}
170 define i32 @ugt_f64(double %x, double %y) {
171 %a = fcmp ugt double %x, %y
172 %b = zext i1 %a to i32
176 ; CHECK-LABEL: uge_f64:
177 ; CHECK-NEXT: .param f64{{$}}
178 ; CHECK-NEXT: .param f64{{$}}
179 ; CHECK-NEXT: .result i32{{$}}
180 ; CHECK-NEXT: f64.ge $push[[NUM0:[0-9]+]], $0, $1{{$}}
181 ; CHECK-NEXT: f64.ne $push[[NUM1:[0-9]+]], $0, $0{{$}}
182 ; CHECK-NEXT: f64.ne $push[[NUM2:[0-9]+]], $1, $1{{$}}
183 ; CHECK-NEXT: i32.or $push[[NUM3:[0-9]+]], $pop[[NUM1]], $pop[[NUM2]]{{$}}
184 ; CHECK-NEXT: i32.or $push[[NUM4:[0-9]+]], $pop[[NUM0]], $pop[[NUM3]]{{$}}
185 ; CHECK-NEXT: return $pop[[NUM4]]{{$}}
186 define i32 @uge_f64(double %x, double %y) {
187 %a = fcmp uge double %x, %y
188 %b = zext i1 %a to i32