blob: 042009b9365e7dd6d1723fdd47b8f19fb9776898 [file] [log] [blame]
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s
; Test a subset of compiler-rt/libm libcalls expected to be emitted by the wasm backend
target triple = "wasm32-unknown-unknown"
declare fp128 @llvm.sin.f128(fp128)
declare fp128 @llvm.cos.f128(fp128)
declare fp128 @llvm.tan.f128(fp128)
declare fp128 @llvm.asin.f128(fp128)
declare fp128 @llvm.acos.f128(fp128)
declare fp128 @llvm.atan.f128(fp128)
declare fp128 @llvm.sinh.f128(fp128)
declare fp128 @llvm.cosh.f128(fp128)
declare fp128 @llvm.tanh.f128(fp128)
declare fp128 @llvm.atan2.f128(fp128, fp128)
declare double @llvm.sin.f64(double)
declare double @llvm.cos.f64(double)
declare double @llvm.tan.f64(double)
declare double @llvm.asin.f64(double)
declare double @llvm.acos.f64(double)
declare double @llvm.atan.f64(double)
declare double @llvm.sinh.f64(double)
declare double @llvm.cosh.f64(double)
declare double @llvm.tanh.f64(double)
declare double @llvm.atan2.f64(double, double)
declare float @llvm.sin.f32(float)
declare float @llvm.cos.f32(float)
declare float @llvm.tan.f32(float)
declare float @llvm.asin.f32(float)
declare float @llvm.acos.f32(float)
declare float @llvm.atan.f32(float)
declare float @llvm.sinh.f32(float)
declare float @llvm.cosh.f32(float)
declare float @llvm.tanh.f32(float)
declare float @llvm.atan2.f32(float, float)
define fp128 @fp128libcalls(fp128 %x) {
; compiler-rt call
; CHECK-LABEL: fp128libcalls:
; CHECK: .functype fp128libcalls (i32, i64, i64) -> ()
; CHECK-NEXT: .local i32
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: global.get $push20=, __stack_pointer
; CHECK-NEXT: i32.const $push21=, 160
; CHECK-NEXT: i32.sub $push43=, $pop20, $pop21
; CHECK-NEXT: local.tee $push42=, 3, $pop43
; CHECK-NEXT: global.set __stack_pointer, $pop42
; CHECK-NEXT: local.get $push44=, 3
; CHECK-NEXT: i32.const $push40=, 144
; CHECK-NEXT: i32.add $push41=, $pop44, $pop40
; CHECK-NEXT: local.get $push46=, 1
; CHECK-NEXT: local.get $push45=, 2
; CHECK-NEXT: call sinl, $pop41, $pop46, $pop45
; CHECK-NEXT: local.get $push47=, 3
; CHECK-NEXT: i32.const $push38=, 128
; CHECK-NEXT: i32.add $push39=, $pop47, $pop38
; CHECK-NEXT: local.get $push48=, 3
; CHECK-NEXT: i64.load $push1=, 144($pop48)
; CHECK-NEXT: local.get $push49=, 3
; CHECK-NEXT: i64.load $push0=, 152($pop49)
; CHECK-NEXT: call cosl, $pop39, $pop1, $pop0
; CHECK-NEXT: local.get $push50=, 3
; CHECK-NEXT: i32.const $push36=, 112
; CHECK-NEXT: i32.add $push37=, $pop50, $pop36
; CHECK-NEXT: local.get $push51=, 3
; CHECK-NEXT: i64.load $push3=, 128($pop51)
; CHECK-NEXT: local.get $push52=, 3
; CHECK-NEXT: i64.load $push2=, 136($pop52)
; CHECK-NEXT: call tanl, $pop37, $pop3, $pop2
; CHECK-NEXT: local.get $push53=, 3
; CHECK-NEXT: i32.const $push34=, 96
; CHECK-NEXT: i32.add $push35=, $pop53, $pop34
; CHECK-NEXT: local.get $push54=, 3
; CHECK-NEXT: i64.load $push5=, 112($pop54)
; CHECK-NEXT: local.get $push55=, 3
; CHECK-NEXT: i64.load $push4=, 120($pop55)
; CHECK-NEXT: call asinl, $pop35, $pop5, $pop4
; CHECK-NEXT: local.get $push56=, 3
; CHECK-NEXT: i32.const $push32=, 80
; CHECK-NEXT: i32.add $push33=, $pop56, $pop32
; CHECK-NEXT: local.get $push57=, 3
; CHECK-NEXT: i64.load $push7=, 96($pop57)
; CHECK-NEXT: local.get $push58=, 3
; CHECK-NEXT: i64.load $push6=, 104($pop58)
; CHECK-NEXT: call acosl, $pop33, $pop7, $pop6
; CHECK-NEXT: local.get $push59=, 3
; CHECK-NEXT: i32.const $push30=, 64
; CHECK-NEXT: i32.add $push31=, $pop59, $pop30
; CHECK-NEXT: local.get $push60=, 3
; CHECK-NEXT: i64.load $push9=, 80($pop60)
; CHECK-NEXT: local.get $push61=, 3
; CHECK-NEXT: i64.load $push8=, 88($pop61)
; CHECK-NEXT: call atanl, $pop31, $pop9, $pop8
; CHECK-NEXT: local.get $push62=, 3
; CHECK-NEXT: i32.const $push28=, 48
; CHECK-NEXT: i32.add $push29=, $pop62, $pop28
; CHECK-NEXT: local.get $push63=, 3
; CHECK-NEXT: i64.load $push11=, 64($pop63)
; CHECK-NEXT: local.get $push64=, 3
; CHECK-NEXT: i64.load $push10=, 72($pop64)
; CHECK-NEXT: call sinhl, $pop29, $pop11, $pop10
; CHECK-NEXT: local.get $push65=, 3
; CHECK-NEXT: i32.const $push26=, 32
; CHECK-NEXT: i32.add $push27=, $pop65, $pop26
; CHECK-NEXT: local.get $push66=, 3
; CHECK-NEXT: i64.load $push13=, 48($pop66)
; CHECK-NEXT: local.get $push67=, 3
; CHECK-NEXT: i64.load $push12=, 56($pop67)
; CHECK-NEXT: call coshl, $pop27, $pop13, $pop12
; CHECK-NEXT: local.get $push68=, 3
; CHECK-NEXT: i32.const $push24=, 16
; CHECK-NEXT: i32.add $push25=, $pop68, $pop24
; CHECK-NEXT: local.get $push69=, 3
; CHECK-NEXT: i64.load $push15=, 32($pop69)
; CHECK-NEXT: local.get $push70=, 3
; CHECK-NEXT: i64.load $push14=, 40($pop70)
; CHECK-NEXT: call tanhl, $pop25, $pop15, $pop14
; CHECK-NEXT: local.get $push75=, 3
; CHECK-NEXT: local.get $push74=, 1
; CHECK-NEXT: local.get $push73=, 2
; CHECK-NEXT: local.get $push71=, 3
; CHECK-NEXT: i64.load $push17=, 16($pop71)
; CHECK-NEXT: local.get $push72=, 3
; CHECK-NEXT: i64.load $push16=, 24($pop72)
; CHECK-NEXT: call atan2l, $pop75, $pop74, $pop73, $pop17, $pop16
; CHECK-NEXT: local.get $push77=, 0
; CHECK-NEXT: local.get $push76=, 3
; CHECK-NEXT: i64.load $push18=, 8($pop76)
; CHECK-NEXT: i64.store 8($pop77), $pop18
; CHECK-NEXT: local.get $push79=, 0
; CHECK-NEXT: local.get $push78=, 3
; CHECK-NEXT: i64.load $push19=, 0($pop78)
; CHECK-NEXT: i64.store 0($pop79), $pop19
; CHECK-NEXT: local.get $push80=, 3
; CHECK-NEXT: i32.const $push22=, 160
; CHECK-NEXT: i32.add $push23=, $pop80, $pop22
; CHECK-NEXT: global.set __stack_pointer, $pop23
; CHECK-NEXT: return
; libm calls
%d = call fp128 @llvm.sin.f128(fp128 %x)
%e = call fp128 @llvm.cos.f128(fp128 %d)
%f = call fp128 @llvm.tan.f128(fp128 %e)
%g = call fp128 @llvm.asin.f128(fp128 %f)
%h = call fp128 @llvm.acos.f128(fp128 %g)
%i = call fp128 @llvm.atan.f128(fp128 %h)
%a = call fp128 @llvm.sinh.f128(fp128 %i)
%b = call fp128 @llvm.cosh.f128(fp128 %a)
%c = call fp128 @llvm.tanh.f128(fp128 %b)
%j = call fp128 @llvm.atan2.f128(fp128 %x, fp128 %c)
ret fp128 %j
}
define double @f64libcalls(double %x) {
; CHECK-LABEL: f64libcalls:
; CHECK: .functype f64libcalls (f64) -> (f64)
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: local.get $push11=, 0
; CHECK-NEXT: local.get $push10=, 0
; CHECK-NEXT: call $push0=, sin, $pop10
; CHECK-NEXT: call $push1=, cos, $pop0
; CHECK-NEXT: call $push2=, tan, $pop1
; CHECK-NEXT: call $push3=, asin, $pop2
; CHECK-NEXT: call $push4=, acos, $pop3
; CHECK-NEXT: call $push5=, atan, $pop4
; CHECK-NEXT: call $push6=, sinh, $pop5
; CHECK-NEXT: call $push7=, cosh, $pop6
; CHECK-NEXT: call $push8=, tanh, $pop7
; CHECK-NEXT: call $push9=, atan2, $pop11, $pop8
; CHECK-NEXT: return $pop9
%k = call double @llvm.sin.f64(double %x)
%a = call double @llvm.cos.f64(double %k)
%b = call double @llvm.tan.f64(double %a)
%c = call double @llvm.asin.f64(double %b)
%d = call double @llvm.acos.f64(double %c)
%e = call double @llvm.atan.f64(double %d)
%f = call double @llvm.sinh.f64(double %e)
%g = call double @llvm.cosh.f64(double %f)
%h = call double @llvm.tanh.f64(double %g)
%i = call double @llvm.atan2.f64(double %x, double %h)
ret double %i
}
define float @f32libcalls(float %x) {
; CHECK-LABEL: f32libcalls:
; CHECK: .functype f32libcalls (f32) -> (f32)
; CHECK-NEXT: # %bb.0:
; CHECK-NEXT: local.get $push11=, 0
; CHECK-NEXT: local.get $push10=, 0
; CHECK-NEXT: call $push0=, sinf, $pop10
; CHECK-NEXT: call $push1=, cosf, $pop0
; CHECK-NEXT: call $push2=, tanf, $pop1
; CHECK-NEXT: call $push3=, asinf, $pop2
; CHECK-NEXT: call $push4=, acosf, $pop3
; CHECK-NEXT: call $push5=, atanf, $pop4
; CHECK-NEXT: call $push6=, sinhf, $pop5
; CHECK-NEXT: call $push7=, coshf, $pop6
; CHECK-NEXT: call $push8=, tanhf, $pop7
; CHECK-NEXT: call $push9=, atan2f, $pop11, $pop8
; CHECK-NEXT: return $pop9
%k = call float @llvm.sin.f32(float %x)
%a = call float @llvm.cos.f32(float %k)
%b = call float @llvm.tan.f32(float %a)
%c = call float @llvm.asin.f32(float %b)
%d = call float @llvm.acos.f32(float %c)
%e = call float @llvm.atan.f32(float %d)
%f = call float @llvm.sinh.f32(float %e)
%g = call float @llvm.cosh.f32(float %f)
%h = call float @llvm.tanh.f32(float %g)
%i = call float @llvm.atan2.f32(float %x, float %h)
ret float %i
}