1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s
2
3; Test that basic 32-bit floating-point operations assemble as expected.
4
5target triple = "wasm32-unknown-unknown"
6
7declare float @llvm.fabs.f32(float)
8declare float @llvm.copysign.f32(float, float)
9declare float @llvm.sqrt.f32(float)
10declare float @llvm.ceil.f32(float)
11declare float @llvm.floor.f32(float)
12declare float @llvm.trunc.f32(float)
13declare float @llvm.nearbyint.f32(float)
14declare float @llvm.rint.f32(float)
15declare float @llvm.fma.f32(float, float, float)
16
17; CHECK-LABEL: fadd32:
18; CHECK-NEXT: .functype fadd32 (f32, f32) -> (f32){{$}}
19; CHECK-NEXT: local.get $push[[L0:[0-9]+]]=, 0{{$}}
20; CHECK-NEXT: local.get $push[[L1:[0-9]+]]=, 1{{$}}
21; CHECK-NEXT: f32.add $push[[LR:[0-9]+]]=, $pop[[L0]], $pop[[L1]]{{$}}
22; CHECK-NEXT: return $pop[[LR]]{{$}}
23define float @fadd32(float %x, float %y) {
24  %a = fadd float %x, %y
25  ret float %a
26}
27
28; CHECK-LABEL: fsub32:
29; CHECK: f32.sub $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
30; CHECK-NEXT: return $pop[[LR]]{{$}}
31define float @fsub32(float %x, float %y) {
32  %a = fsub float %x, %y
33  ret float %a
34}
35
36; CHECK-LABEL: fmul32:
37; CHECK: f32.mul $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
38; CHECK-NEXT: return $pop[[LR]]{{$}}
39define float @fmul32(float %x, float %y) {
40  %a = fmul float %x, %y
41  ret float %a
42}
43
44; CHECK-LABEL: fdiv32:
45; CHECK: f32.div $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
46; CHECK-NEXT: return $pop[[LR]]{{$}}
47define float @fdiv32(float %x, float %y) {
48  %a = fdiv float %x, %y
49  ret float %a
50}
51
52; CHECK-LABEL: fabs32:
53; CHECK: f32.abs $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}{{$}}
54; CHECK-NEXT: return $pop[[LR]]{{$}}
55define float @fabs32(float %x) {
56  %a = call float @llvm.fabs.f32(float %x)
57  ret float %a
58}
59
60; CHECK-LABEL: fneg32:
61; CHECK: f32.neg $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}{{$}}
62; CHECK-NEXT: return $pop[[LR]]{{$}}
63define float @fneg32(float %x) {
64  %a = fsub float -0., %x
65  ret float %a
66}
67
68; CHECK-LABEL: copysign32:
69; CHECK: f32.copysign $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
70; CHECK-NEXT: return $pop[[LR]]{{$}}
71define float @copysign32(float %x, float %y) {
72  %a = call float @llvm.copysign.f32(float %x, float %y)
73  ret float %a
74}
75
76; CHECK-LABEL: sqrt32:
77; CHECK: f32.sqrt $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}{{$}}
78; CHECK-NEXT: return $pop[[LR]]{{$}}
79define float @sqrt32(float %x) {
80  %a = call float @llvm.sqrt.f32(float %x)
81  ret float %a
82}
83
84; CHECK-LABEL: ceil32:
85; CHECK: f32.ceil $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}{{$}}
86; CHECK-NEXT: return $pop[[LR]]{{$}}
87define float @ceil32(float %x) {
88  %a = call float @llvm.ceil.f32(float %x)
89  ret float %a
90}
91
92; CHECK-LABEL: floor32:
93; CHECK: f32.floor $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}{{$}}
94; CHECK-NEXT: return $pop[[LR]]{{$}}
95define float @floor32(float %x) {
96  %a = call float @llvm.floor.f32(float %x)
97  ret float %a
98}
99
100; CHECK-LABEL: trunc32:
101; CHECK: f32.trunc $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}{{$}}
102; CHECK-NEXT: return $pop[[LR]]{{$}}
103define float @trunc32(float %x) {
104  %a = call float @llvm.trunc.f32(float %x)
105  ret float %a
106}
107
108; CHECK-LABEL: nearest32:
109; CHECK: f32.nearest $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}{{$}}
110; CHECK-NEXT: return $pop[[LR]]{{$}}
111define float @nearest32(float %x) {
112  %a = call float @llvm.nearbyint.f32(float %x)
113  ret float %a
114}
115
116; CHECK-LABEL: nearest32_via_rint:
117; CHECK: f32.nearest $push[[LR:[0-9]+]]=, $pop{{[0-9]+}}{{$}}
118; CHECK-NEXT: return $pop[[LR]]{{$}}
119define float @nearest32_via_rint(float %x) {
120  %a = call float @llvm.rint.f32(float %x)
121  ret float %a
122}
123
124; CHECK-LABEL: fmin32:
125; CHECK: f32.min $push1=, $pop{{[0-9]+}}, $pop[[LR]]{{$}}
126; CHECK-NEXT: return $pop1{{$}}
127define float @fmin32(float %x) {
128  %a = fcmp ult float %x, 0.0
129  %b = select i1 %a, float %x, float 0.0
130  ret float %b
131}
132
133; CHECK-LABEL: fmax32:
134; CHECK: f32.max $push1=, $pop{{[0-9]+}}, $pop[[LR]]{{$}}
135; CHECK-NEXT: return $pop1{{$}}
136define float @fmax32(float %x) {
137  %a = fcmp ugt float %x, 0.0
138  %b = select i1 %a, float %x, float 0.0
139  ret float %b
140}
141
142; CHECK-LABEL: fmin32_intrinsic:
143; CHECK: f32.min $push0=, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
144; CHECK-NEXT: return $pop0{{$}}
145declare float @llvm.minimum.f32(float, float)
146define float @fmin32_intrinsic(float %x, float %y) {
147  %a = call float @llvm.minimum.f32(float %x, float %y)
148  ret float %a
149}
150
151; CHECK-LABEL: fminnum32_intrinsic:
152; CHECK: f32.min $push0=, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
153; CHECK-NEXT: return $pop0{{$}}
154declare float @llvm.minnum.f32(float, float)
155define float @fminnum32_intrinsic(float %x, float %y) {
156  %a = call nnan float @llvm.minnum.f32(float %x, float %y)
157  ret float %a
158}
159
160; CHECK-LABEL: fmax32_intrinsic:
161; CHECK: f32.max $push0=, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
162; CHECK-NEXT: return $pop0{{$}}
163declare float @llvm.maximum.f32(float, float)
164define float @fmax32_intrinsic(float %x, float %y) {
165  %a = call float @llvm.maximum.f32(float %x, float %y)
166  ret float %a
167}
168
169; CHECK-LABEL: fmaxnum32_intrinsic:
170; CHECK: f32.max $push0=, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
171; CHECK-NEXT: return $pop0{{$}}
172declare float @llvm.maxnum.f32(float, float)
173define float @fmaxnum32_intrinsic(float %x, float %y) {
174  %a = call nnan float @llvm.maxnum.f32(float %x, float %y)
175  ret float %a
176}
177
178; CHECK-LABEL: fma32:
179; CHECK: {{^}} call $push[[LR:[0-9]+]]=, fmaf, $pop{{[0-9]+}}, $pop{{[0-9]+}}, $pop{{[0-9]+}}{{$}}
180; CHECK-NEXT: return $pop[[LR]]{{$}}
181define float @fma32(float %a, float %b, float %c) {
182  %d = call float @llvm.fma.f32(float %a, float %b, float %c)
183  ret float %d
184}
185