1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s
2
3; Test a subset of compiler-rt/libm libcalls expected to be emitted by the wasm backend
4
5target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
6target triple = "wasm32-unknown-unknown"
7
8declare fp128 @llvm.sqrt.f128(fp128)
9declare fp128 @llvm.floor.f128(fp128)
10declare fp128 @llvm.trunc.f128(fp128)
11declare fp128 @llvm.nearbyint.f128(fp128)
12declare fp128 @llvm.pow.f128(fp128, fp128)
13
14declare double @llvm.cos.f64(double)
15declare double @llvm.log10.f64(double)
16declare double @llvm.pow.f64(double, double)
17declare double @llvm.log.f64(double)
18declare double @llvm.exp.f64(double)
19declare i32 @llvm.lround(double)
20
21
22
23; CHECK-LABEL: fp128libcalls:
24define fp128 @fp128libcalls(fp128 %x, fp128 %y) {
25  ; compiler-rt call
26  ; CHECK: call __addtf3
27  %a = fadd fp128 %x, %y
28  ; CHECK: call __multf3
29  %b = fmul fp128 %a, %y
30  ; CHECK: call __divtf3
31  %c = fdiv fp128 %b, %y
32  ; libm calls
33  ; CHECK: call sqrtl
34  %d = call fp128 @llvm.sqrt.f128(fp128 %c)
35  ; CHECK: call floorl
36  %e = call fp128 @llvm.floor.f128(fp128 %d)
37  ; CHECK: call powl
38  %f = call fp128 @llvm.pow.f128(fp128 %e, fp128 %y)
39  ; CHECK: call truncl
40  %g = call fp128 @llvm.trunc.f128(fp128 %f)
41  ; CHECK: call nearbyintl
42  %h = call fp128 @llvm.nearbyint.f128(fp128 %g)
43  ret fp128 %h
44}
45
46; CHECK-LABEL: i128libcalls:
47define i128 @i128libcalls(i128 %x, i128 %y) {
48  ; Basic ops should be expanded
49  ; CHECK_NOT: call
50  %a = add i128 %x, %y
51  ; CHECK: call __multi3
52  %b = mul i128 %a, %y
53  ; CHECK: call __umodti3
54  %c = urem i128 %b, %y
55  ret i128 %c
56}
57
58; CHECK-LABEL: f64libcalls:
59define i32 @f64libcalls(double %x, double %y) {
60 ; CHECK: f64.call $push{{[0-9]}}=, cos
61 %a = call double @llvm.cos.f64(double %x)
62 ; CHECK: f64.call $push{{[0-9]}}=, log10
63 %b = call double @llvm.log10.f64(double %a)
64 ; CHECK: f64.call $push{{[0-9]}}=, pow
65 %c = call double @llvm.pow.f64(double %b, double %y)
66 ; CHECK: f64.call $push{{[0-9]}}=, log
67 %d = call double @llvm.log.f64(double %c)
68 ; CHECK: f64.call $push{{[0-9]}}=, exp
69 %e = call double @llvm.exp.f64(double %d)
70 ; CHECK: i32.call $push{{[0-9]}}=, lround
71 %f = call i32 @llvm.lround(double %e)
72 ret i32 %f
73}
74
75; fcmp ord and unord (RTLIB::O_F32 / RTLIB::UO_F32 etc) are a special case (see
76; comment in WebAssemblyRunimeLibcallSignatures.cpp) so check them separately.
77; no libcalls are needed for f32 and f64
78
79; CHECK-LABEL: unordd:
80define i1 @unordd(double %x, double %y) {
81 ; CHECK-NOT: call
82 ; CHECK: f64.ne
83 %a = fcmp uno double %x, %y
84 ; CHECK-NOT: call
85 ; CHECK: f64.eq
86 %b = fcmp ord double %x, %y
87 ; CHECK: i32.xor
88 %c = xor i1 %a, %b
89 ret i1 %c
90}
91
92; CHECK-LABEL: unordf:
93define i1 @unordf(float %x, float %y) {
94 ; CHECK-NOT: call
95 ; CHECK: f32.ne
96 %a = fcmp uno float %x, %y
97 ; CHECK-NOT: call
98 ; CHECK: f32.eq
99 %b = fcmp ord float %x, %y
100 ; CHECK: i32.xor
101 %c = xor i1 %a, %b
102 ret i1 %c
103}
104
105; CHECK-LABEL: unordt:
106define i1 @unordt(fp128 %x, fp128 %y) {
107 ; CHECK: i32.call $push[[CALL:[0-9]]]=, __unordtf2
108 ; CHECK-NEXT: i32.const $push[[ZERO:[0-9]+]]=, 0
109 ; CHECK-NEXT: i32.ne $push{{[0-9]}}=, $pop[[CALL]], $pop[[ZERO]]
110 %a = fcmp uno fp128 %x, %y
111 ret i1 %a
112}
113
114; CHECK-LABEL: ordt:
115define i1 @ordt(fp128 %x, fp128 %y) {
116 ; CHECK: i32.call $push[[CALL:[0-9]]]=, __unordtf2
117 ; CHECK-NEXT: i32.eqz $push{{[0-9]}}=, $pop[[CALL]]
118 %a = fcmp ord fp128 %x, %y
119 ret i1 %a
120}
121