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