e665e781dc
When expanding a load into two loads, use nuw for the add that computes the offset from the base of the second load, because the original load doesn't straddle the address space. It turns out there's already a dedicated helper function for doing this, `getObjectPtrOffset`. This is in target-independent code, however in practice it only seems to affact WebAssembly code, because WebAssembly load and store instructions' constant offsets don't perform wrapping, so constant folding often depends on the nuw flag being present. This was noticed in the development of #119204.
221 lines
8.4 KiB
LLVM
221 lines
8.4 KiB
LLVM
; 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
|
|
}
|