Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 3cb66c85b91dcbf3d693f226a08c4bfa17b5d276 / . / llvm / test / CodeGen / WebAssembly / comparisons_f32.ll
blob: 4648fef1f093537e15935b68a002805bcc68f8e5 [file] [log] [blame]
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3; Test that basic 32-bit floating-point comparison operations assemble as
4; expected.
5
Dan Gohmandde8dce2015-08-19 20:30:20 +0000[diff] [blame]6target datalayout = "e-p:32:32-i64:64-n32:64-S128"
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]7target triple = "wasm32-unknown-unknown"
8
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]9; CHECK-LABEL: ord_f32:
10; CHECK-NEXT: .param f32{{$}}
11; CHECK-NEXT: .param f32{{$}}
12; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]13; CHECK-NEXT: .local f32, f32, i32, i32, i32{{$}}
Dan Gohman8d456e42015-11-06 21:26:50 +0000[diff] [blame]14; CHECK-NEXT: get_local push, 0{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]15; CHECK-NEXT: set_local 2, pop{{$}}
Dan Gohman8d456e42015-11-06 21:26:50 +0000[diff] [blame]16; CHECK-NEXT: get_local push, 1{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]17; CHECK-NEXT: set_local 3, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]18; CHECK-NEXT: f32.eq push, (get_local 3), (get_local 3){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]19; CHECK-NEXT: set_local 4, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]20; CHECK-NEXT: f32.eq push, (get_local 2), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]21; CHECK-NEXT: set_local 5, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]22; CHECK-NEXT: i32.and push, (get_local 5), (get_local 4){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]23; CHECK-NEXT: set_local 6, pop{{$}}
24; CHECK-NEXT: return (get_local 6){{$}}
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]25define i32 @ord_f32(float %x, float %y) {
26 %a = fcmp ord float %x, %y
27 %b = zext i1 %a to i32
28 ret i32 %b
29}
30
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]31; CHECK-LABEL: uno_f32:
32; CHECK-NEXT: .param f32{{$}}
33; CHECK-NEXT: .param f32{{$}}
34; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]35; CHECK-NEXT: .local f32, f32, i32, i32, i32{{$}}
Dan Gohman8d456e42015-11-06 21:26:50 +0000[diff] [blame]36; CHECK-NEXT: get_local push, 0{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]37; CHECK-NEXT: set_local 2, pop{{$}}
Dan Gohman8d456e42015-11-06 21:26:50 +0000[diff] [blame]38; CHECK-NEXT: get_local push, 1{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]39; CHECK-NEXT: set_local 3, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]40; CHECK-NEXT: f32.ne push, (get_local 3), (get_local 3){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]41; CHECK-NEXT: set_local 4, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]42; CHECK-NEXT: f32.ne push, (get_local 2), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]43; CHECK-NEXT: set_local 5, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]44; CHECK-NEXT: i32.or push, (get_local 5), (get_local 4){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]45; CHECK-NEXT: set_local 6, pop{{$}}
46; CHECK-NEXT: return (get_local 6){{$}}
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]47define i32 @uno_f32(float %x, float %y) {
48 %a = fcmp uno float %x, %y
49 %b = zext i1 %a to i32
50 ret i32 %b
51}
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]52
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]53; CHECK-LABEL: oeq_f32:
54; CHECK-NEXT: .param f32{{$}}
55; CHECK-NEXT: .param f32{{$}}
56; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]57; CHECK-NEXT: .local f32, f32, i32{{$}}
Dan Gohman8d456e42015-11-06 21:26:50 +0000[diff] [blame]58; CHECK-NEXT: get_local push, 1{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]59; CHECK-NEXT: set_local 2, pop{{$}}
Dan Gohman8d456e42015-11-06 21:26:50 +0000[diff] [blame]60; CHECK-NEXT: get_local push, 0{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]61; CHECK-NEXT: set_local 3, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]62; CHECK-NEXT: f32.eq push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]63; CHECK-NEXT: set_local 4, pop{{$}}
64; CHECK-NEXT: return (get_local 4){{$}}
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]65define i32 @oeq_f32(float %x, float %y) {
66 %a = fcmp oeq float %x, %y
67 %b = zext i1 %a to i32
68 ret i32 %b
69}
70
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]71; CHECK-LABEL: une_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]72; CHECK: f32.ne push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]73; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]74define i32 @une_f32(float %x, float %y) {
75 %a = fcmp une float %x, %y
76 %b = zext i1 %a to i32
77 ret i32 %b
78}
79
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]80; CHECK-LABEL: olt_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]81; CHECK: f32.lt push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]82; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]83define i32 @olt_f32(float %x, float %y) {
84 %a = fcmp olt float %x, %y
85 %b = zext i1 %a to i32
86 ret i32 %b
87}
88
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]89; CHECK-LABEL: ole_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]90; CHECK: f32.le push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]91; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]92define i32 @ole_f32(float %x, float %y) {
93 %a = fcmp ole float %x, %y
94 %b = zext i1 %a to i32
95 ret i32 %b
96}
97
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]98; CHECK-LABEL: ogt_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]99; CHECK: f32.gt push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]100; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]101define i32 @ogt_f32(float %x, float %y) {
102 %a = fcmp ogt float %x, %y
103 %b = zext i1 %a to i32
104 ret i32 %b
105}
106
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]107; CHECK-LABEL: oge_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]108; CHECK: f32.ge push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]109; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastienda06bce2015-08-11 21:02:46 +0000[diff] [blame]110define i32 @oge_f32(float %x, float %y) {
111 %a = fcmp oge float %x, %y
112 %b = zext i1 %a to i32
113 ret i32 %b
114}
115
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]116; Expanded comparisons, which also check for NaN.
117
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]118; CHECK-LABEL: ueq_f32:
119; CHECK-NEXT: .param f32{{$}}
120; CHECK-NEXT: .param f32{{$}}
121; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]122; CHECK-NEXT: .local f32, f32, i32, i32, i32, i32, i32{{$}}
Dan Gohman8d456e42015-11-06 21:26:50 +0000[diff] [blame]123; CHECK-NEXT: get_local push, 1{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]124; CHECK-NEXT: set_local 2, pop{{$}}
Dan Gohman8d456e42015-11-06 21:26:50 +0000[diff] [blame]125; CHECK-NEXT: get_local push, 0{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]126; CHECK-NEXT: set_local 3, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]127; CHECK-NEXT: f32.eq push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]128; CHECK-NEXT: set_local 4, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]129; CHECK-NEXT: f32.ne push, (get_local 2), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]130; CHECK-NEXT: set_local 5, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]131; CHECK-NEXT: f32.ne push, (get_local 3), (get_local 3){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]132; CHECK-NEXT: set_local 6, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]133; CHECK-NEXT: i32.or push, (get_local 6), (get_local 5){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]134; CHECK-NEXT: set_local 7, pop{{$}}
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]135; CHECK-NEXT: i32.or push, (get_local 4), (get_local 7){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]136; CHECK-NEXT: set_local 8, pop{{$}}
137; CHECK-NEXT: return (get_local 8){{$}}
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]138define i32 @ueq_f32(float %x, float %y) {
139 %a = fcmp ueq float %x, %y
140 %b = zext i1 %a to i32
141 ret i32 %b
142}
143
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]144; CHECK-LABEL: one_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]145; CHECK: f32.ne push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]146; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]147define i32 @one_f32(float %x, float %y) {
148 %a = fcmp one float %x, %y
149 %b = zext i1 %a to i32
150 ret i32 %b
151}
152
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]153; CHECK-LABEL: ult_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]154; CHECK: f32.lt push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]155; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]156define i32 @ult_f32(float %x, float %y) {
157 %a = fcmp ult float %x, %y
158 %b = zext i1 %a to i32
159 ret i32 %b
160}
161
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]162; CHECK-LABEL: ule_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]163; CHECK: f32.le push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]164; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]165define i32 @ule_f32(float %x, float %y) {
166 %a = fcmp ule float %x, %y
167 %b = zext i1 %a to i32
168 ret i32 %b
169}
170
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]171; CHECK-LABEL: ugt_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]172; CHECK: f32.gt push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]173; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]174define i32 @ugt_f32(float %x, float %y) {
175 %a = fcmp ugt float %x, %y
176 %b = zext i1 %a to i32
177 ret i32 %b
178}
179
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]180; CHECK-LABEL: uge_f32:
Dan Gohman3cb66c82015-11-06 21:32:42 +0000[diff] [blame^]181; CHECK: f32.ge push, (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]182; CHECK-NEXT: set_local 4, pop{{$}}
JF Bastien71d29ac2015-08-12 17:53:29 +0000[diff] [blame]183define i32 @uge_f32(float %x, float %y) {
184 %a = fcmp uge float %x, %y
185 %b = zext i1 %a to i32
186 ret i32 %b
187}