xref: /llvm-project/llvm/test/CodeGen/WebAssembly/libcalls-trig.ll (revision e665e781dc3f8fac0400f6ac8e168805b0cdf74a)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s
3
4; Test a subset of compiler-rt/libm libcalls expected to be emitted by the wasm backend
5
6target triple = "wasm32-unknown-unknown"
7
8declare fp128 @llvm.sin.f128(fp128)
9declare fp128 @llvm.cos.f128(fp128)
10declare fp128 @llvm.tan.f128(fp128)
11declare fp128 @llvm.asin.f128(fp128)
12declare fp128 @llvm.acos.f128(fp128)
13declare fp128 @llvm.atan.f128(fp128)
14declare fp128 @llvm.sinh.f128(fp128)
15declare fp128 @llvm.cosh.f128(fp128)
16declare fp128 @llvm.tanh.f128(fp128)
17declare fp128 @llvm.atan2.f128(fp128, fp128)
18
19declare double @llvm.sin.f64(double)
20declare double @llvm.cos.f64(double)
21declare double @llvm.tan.f64(double)
22declare double @llvm.asin.f64(double)
23declare double @llvm.acos.f64(double)
24declare double @llvm.atan.f64(double)
25declare double @llvm.sinh.f64(double)
26declare double @llvm.cosh.f64(double)
27declare double @llvm.tanh.f64(double)
28declare double @llvm.atan2.f64(double, double)
29
30declare float @llvm.sin.f32(float)
31declare float @llvm.cos.f32(float)
32declare float @llvm.tan.f32(float)
33declare float @llvm.asin.f32(float)
34declare float @llvm.acos.f32(float)
35declare float @llvm.atan.f32(float)
36declare float @llvm.sinh.f32(float)
37declare float @llvm.cosh.f32(float)
38declare float @llvm.tanh.f32(float)
39declare float @llvm.atan2.f32(float, float)
40
41
42define fp128 @fp128libcalls(fp128 %x) {
43  ; compiler-rt call
44; CHECK-LABEL: fp128libcalls:
45; CHECK:         .functype fp128libcalls (i32, i64, i64) -> ()
46; CHECK-NEXT:    .local i32
47; CHECK-NEXT:  # %bb.0:
48; CHECK-NEXT:    global.get $push20=, __stack_pointer
49; CHECK-NEXT:    i32.const $push21=, 160
50; CHECK-NEXT:    i32.sub  $push43=, $pop20, $pop21
51; CHECK-NEXT:    local.tee $push42=, 3, $pop43
52; CHECK-NEXT:    global.set __stack_pointer, $pop42
53; CHECK-NEXT:    local.get $push44=, 3
54; CHECK-NEXT:    i32.const $push40=, 144
55; CHECK-NEXT:    i32.add  $push41=, $pop44, $pop40
56; CHECK-NEXT:    local.get $push46=, 1
57; CHECK-NEXT:    local.get $push45=, 2
58; CHECK-NEXT:    call sinl, $pop41, $pop46, $pop45
59; CHECK-NEXT:    local.get $push47=, 3
60; CHECK-NEXT:    i32.const $push38=, 128
61; CHECK-NEXT:    i32.add  $push39=, $pop47, $pop38
62; CHECK-NEXT:    local.get $push48=, 3
63; CHECK-NEXT:    i64.load $push1=, 144($pop48)
64; CHECK-NEXT:    local.get $push49=, 3
65; CHECK-NEXT:    i64.load $push0=, 152($pop49)
66; CHECK-NEXT:    call cosl, $pop39, $pop1, $pop0
67; CHECK-NEXT:    local.get $push50=, 3
68; CHECK-NEXT:    i32.const $push36=, 112
69; CHECK-NEXT:    i32.add  $push37=, $pop50, $pop36
70; CHECK-NEXT:    local.get $push51=, 3
71; CHECK-NEXT:    i64.load $push3=, 128($pop51)
72; CHECK-NEXT:    local.get $push52=, 3
73; CHECK-NEXT:    i64.load $push2=, 136($pop52)
74; CHECK-NEXT:    call tanl, $pop37, $pop3, $pop2
75; CHECK-NEXT:    local.get $push53=, 3
76; CHECK-NEXT:    i32.const $push34=, 96
77; CHECK-NEXT:    i32.add  $push35=, $pop53, $pop34
78; CHECK-NEXT:    local.get $push54=, 3
79; CHECK-NEXT:    i64.load $push5=, 112($pop54)
80; CHECK-NEXT:    local.get $push55=, 3
81; CHECK-NEXT:    i64.load $push4=, 120($pop55)
82; CHECK-NEXT:    call asinl, $pop35, $pop5, $pop4
83; CHECK-NEXT:    local.get $push56=, 3
84; CHECK-NEXT:    i32.const $push32=, 80
85; CHECK-NEXT:    i32.add  $push33=, $pop56, $pop32
86; CHECK-NEXT:    local.get $push57=, 3
87; CHECK-NEXT:    i64.load $push7=, 96($pop57)
88; CHECK-NEXT:    local.get $push58=, 3
89; CHECK-NEXT:    i64.load $push6=, 104($pop58)
90; CHECK-NEXT:    call acosl, $pop33, $pop7, $pop6
91; CHECK-NEXT:    local.get $push59=, 3
92; CHECK-NEXT:    i32.const $push30=, 64
93; CHECK-NEXT:    i32.add  $push31=, $pop59, $pop30
94; CHECK-NEXT:    local.get $push60=, 3
95; CHECK-NEXT:    i64.load $push9=, 80($pop60)
96; CHECK-NEXT:    local.get $push61=, 3
97; CHECK-NEXT:    i64.load $push8=, 88($pop61)
98; CHECK-NEXT:    call atanl, $pop31, $pop9, $pop8
99; CHECK-NEXT:    local.get $push62=, 3
100; CHECK-NEXT:    i32.const $push28=, 48
101; CHECK-NEXT:    i32.add  $push29=, $pop62, $pop28
102; CHECK-NEXT:    local.get $push63=, 3
103; CHECK-NEXT:    i64.load $push11=, 64($pop63)
104; CHECK-NEXT:    local.get $push64=, 3
105; CHECK-NEXT:    i64.load $push10=, 72($pop64)
106; CHECK-NEXT:    call sinhl, $pop29, $pop11, $pop10
107; CHECK-NEXT:    local.get $push65=, 3
108; CHECK-NEXT:    i32.const $push26=, 32
109; CHECK-NEXT:    i32.add  $push27=, $pop65, $pop26
110; CHECK-NEXT:    local.get $push66=, 3
111; CHECK-NEXT:    i64.load $push13=, 48($pop66)
112; CHECK-NEXT:    local.get $push67=, 3
113; CHECK-NEXT:    i64.load $push12=, 56($pop67)
114; CHECK-NEXT:    call coshl, $pop27, $pop13, $pop12
115; CHECK-NEXT:    local.get $push68=, 3
116; CHECK-NEXT:    i32.const $push24=, 16
117; CHECK-NEXT:    i32.add  $push25=, $pop68, $pop24
118; CHECK-NEXT:    local.get $push69=, 3
119; CHECK-NEXT:    i64.load $push15=, 32($pop69)
120; CHECK-NEXT:    local.get $push70=, 3
121; CHECK-NEXT:    i64.load $push14=, 40($pop70)
122; CHECK-NEXT:    call tanhl, $pop25, $pop15, $pop14
123; CHECK-NEXT:    local.get $push75=, 3
124; CHECK-NEXT:    local.get $push74=, 1
125; CHECK-NEXT:    local.get $push73=, 2
126; CHECK-NEXT:    local.get $push71=, 3
127; CHECK-NEXT:    i64.load $push17=, 16($pop71)
128; CHECK-NEXT:    local.get $push72=, 3
129; CHECK-NEXT:    i64.load $push16=, 24($pop72)
130; CHECK-NEXT:    call atan2l, $pop75, $pop74, $pop73, $pop17, $pop16
131; CHECK-NEXT:    local.get $push77=, 0
132; CHECK-NEXT:    local.get $push76=, 3
133; CHECK-NEXT:    i64.load $push18=, 8($pop76)
134; CHECK-NEXT:    i64.store 8($pop77), $pop18
135; CHECK-NEXT:    local.get $push79=, 0
136; CHECK-NEXT:    local.get $push78=, 3
137; CHECK-NEXT:    i64.load $push19=, 0($pop78)
138; CHECK-NEXT:    i64.store 0($pop79), $pop19
139; CHECK-NEXT:    local.get $push80=, 3
140; CHECK-NEXT:    i32.const $push22=, 160
141; CHECK-NEXT:    i32.add  $push23=, $pop80, $pop22
142; CHECK-NEXT:    global.set __stack_pointer, $pop23
143; CHECK-NEXT:    return
144  ; libm calls
145  %d = call fp128 @llvm.sin.f128(fp128 %x)
146  %e = call fp128 @llvm.cos.f128(fp128 %d)
147  %f = call fp128 @llvm.tan.f128(fp128 %e)
148  %g = call fp128 @llvm.asin.f128(fp128 %f)
149  %h = call fp128 @llvm.acos.f128(fp128 %g)
150  %i = call fp128 @llvm.atan.f128(fp128 %h)
151  %a = call fp128 @llvm.sinh.f128(fp128 %i)
152  %b = call fp128 @llvm.cosh.f128(fp128 %a)
153  %c = call fp128 @llvm.tanh.f128(fp128 %b)
154  %j = call fp128 @llvm.atan2.f128(fp128 %x, fp128 %c)
155  ret fp128 %j
156}
157
158define double @f64libcalls(double %x) {
159; CHECK-LABEL: f64libcalls:
160; CHECK:         .functype f64libcalls (f64) -> (f64)
161; CHECK-NEXT:  # %bb.0:
162; CHECK-NEXT:    local.get $push11=, 0
163; CHECK-NEXT:    local.get $push10=, 0
164; CHECK-NEXT:    call $push0=, sin, $pop10
165; CHECK-NEXT:    call $push1=, cos, $pop0
166; CHECK-NEXT:    call $push2=, tan, $pop1
167; CHECK-NEXT:    call $push3=, asin, $pop2
168; CHECK-NEXT:    call $push4=, acos, $pop3
169; CHECK-NEXT:    call $push5=, atan, $pop4
170; CHECK-NEXT:    call $push6=, sinh, $pop5
171; CHECK-NEXT:    call $push7=, cosh, $pop6
172; CHECK-NEXT:    call $push8=, tanh, $pop7
173; CHECK-NEXT:    call $push9=, atan2, $pop11, $pop8
174; CHECK-NEXT:    return $pop9
175
176
177 %k = call double @llvm.sin.f64(double %x)
178 %a = call double @llvm.cos.f64(double %k)
179 %b = call double @llvm.tan.f64(double %a)
180 %c = call double @llvm.asin.f64(double %b)
181 %d = call double @llvm.acos.f64(double %c)
182 %e = call double @llvm.atan.f64(double %d)
183 %f = call double @llvm.sinh.f64(double %e)
184 %g = call double @llvm.cosh.f64(double %f)
185 %h = call double @llvm.tanh.f64(double %g)
186 %i = call double @llvm.atan2.f64(double %x, double %h)
187 ret double %i
188}
189
190define float @f32libcalls(float %x) {
191; CHECK-LABEL: f32libcalls:
192; CHECK:         .functype f32libcalls (f32) -> (f32)
193; CHECK-NEXT:  # %bb.0:
194; CHECK-NEXT:    local.get $push11=, 0
195; CHECK-NEXT:    local.get $push10=, 0
196; CHECK-NEXT:    call $push0=, sinf, $pop10
197; CHECK-NEXT:    call $push1=, cosf, $pop0
198; CHECK-NEXT:    call $push2=, tanf, $pop1
199; CHECK-NEXT:    call $push3=, asinf, $pop2
200; CHECK-NEXT:    call $push4=, acosf, $pop3
201; CHECK-NEXT:    call $push5=, atanf, $pop4
202; CHECK-NEXT:    call $push6=, sinhf, $pop5
203; CHECK-NEXT:    call $push7=, coshf, $pop6
204; CHECK-NEXT:    call $push8=, tanhf, $pop7
205; CHECK-NEXT:    call $push9=, atan2f, $pop11, $pop8
206; CHECK-NEXT:    return $pop9
207
208
209 %k = call float @llvm.sin.f32(float %x)
210 %a = call float @llvm.cos.f32(float %k)
211 %b = call float @llvm.tan.f32(float %a)
212 %c = call float @llvm.asin.f32(float %b)
213 %d = call float @llvm.acos.f32(float %c)
214 %e = call float @llvm.atan.f32(float %d)
215 %f = call float @llvm.sinh.f32(float %e)
216 %g = call float @llvm.cosh.f32(float %f)
217 %h = call float @llvm.tanh.f32(float %g)
218 %i = call float @llvm.atan2.f32(float %x, float %h)
219 ret float %i
220}
221