2014-05-24 12:50:23 +00:00
|
|
|
; RUN: llc -mtriple=aarch64-none-linux-gnu -verify-machineinstrs -o - %s | FileCheck %s
|
No longer generate calls to *_finite
According to Joseph Myers, a libm maintainer
> They were only ever an ABI (selected by use of -ffinite-math-only or
> options implying it, which resulted in the headers using "asm" to redirect
> calls to some libm functions), not an API. The change means that ABI has
> turned into compat symbols (only available for existing binaries, not for
> anything newly linked, not included in static libm at all, not included in
> shared libm for future glibc ports such as RV32), so, yes, in any case
> where tools generate direct calls to those functions (rather than just
> following the "asm" annotations on function declarations in the headers),
> they need to stop doing so.
As a consequence, we should no longer assume these symbols are available on the
target system.
Still keep the TargetLibraryInfo for constant folding.
Differential Revision: https://reviews.llvm.org/D74712
2020-02-21 15:51:19 +01:00
|
|
|
; RUN: llc -mtriple=aarch64-linux-android -verify-machineinstrs -o - %s | FileCheck %s
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
@varfloat = global float 0.0
|
|
|
|
|
@vardouble = global double 0.0
|
|
|
|
|
@varfp128 = global fp128 zeroinitializer
|
|
|
|
|
|
|
|
|
|
declare float @llvm.cos.f32(float)
|
|
|
|
|
declare double @llvm.cos.f64(double)
|
|
|
|
|
declare fp128 @llvm.cos.f128(fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_cos(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_cos:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%cosfloat = call float @llvm.cos.f32(float %float)
|
|
|
|
|
store float %cosfloat, float* @varfloat
|
|
|
|
|
; CHECK: bl cosf
|
|
|
|
|
|
|
|
|
|
%cosdouble = call double @llvm.cos.f64(double %double)
|
|
|
|
|
store double %cosdouble, double* @vardouble
|
|
|
|
|
; CHECK: bl cos
|
|
|
|
|
|
|
|
|
|
%cosfp128 = call fp128 @llvm.cos.f128(fp128 %fp128)
|
|
|
|
|
store fp128 %cosfp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl cosl
|
|
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @llvm.exp.f32(float)
|
|
|
|
|
declare double @llvm.exp.f64(double)
|
|
|
|
|
declare fp128 @llvm.exp.f128(fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_exp(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_exp:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%expfloat = call float @llvm.exp.f32(float %float)
|
|
|
|
|
store float %expfloat, float* @varfloat
|
|
|
|
|
; CHECK: bl expf
|
|
|
|
|
|
|
|
|
|
%expdouble = call double @llvm.exp.f64(double %double)
|
|
|
|
|
store double %expdouble, double* @vardouble
|
|
|
|
|
; CHECK: bl exp
|
|
|
|
|
|
|
|
|
|
%expfp128 = call fp128 @llvm.exp.f128(fp128 %fp128)
|
|
|
|
|
store fp128 %expfp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl expl
|
|
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @llvm.exp2.f32(float)
|
|
|
|
|
declare double @llvm.exp2.f64(double)
|
|
|
|
|
declare fp128 @llvm.exp2.f128(fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_exp2(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_exp2:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%exp2float = call float @llvm.exp2.f32(float %float)
|
|
|
|
|
store float %exp2float, float* @varfloat
|
|
|
|
|
; CHECK: bl exp2f
|
|
|
|
|
|
|
|
|
|
%exp2double = call double @llvm.exp2.f64(double %double)
|
|
|
|
|
store double %exp2double, double* @vardouble
|
|
|
|
|
; CHECK: bl exp2
|
|
|
|
|
|
|
|
|
|
%exp2fp128 = call fp128 @llvm.exp2.f128(fp128 %fp128)
|
|
|
|
|
store fp128 %exp2fp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl exp2l
|
|
|
|
|
ret void
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @llvm.log.f32(float)
|
|
|
|
|
declare double @llvm.log.f64(double)
|
|
|
|
|
declare fp128 @llvm.log.f128(fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_log(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_log:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%logfloat = call float @llvm.log.f32(float %float)
|
|
|
|
|
store float %logfloat, float* @varfloat
|
|
|
|
|
; CHECK: bl logf
|
|
|
|
|
|
|
|
|
|
%logdouble = call double @llvm.log.f64(double %double)
|
|
|
|
|
store double %logdouble, double* @vardouble
|
|
|
|
|
; CHECK: bl log
|
|
|
|
|
|
|
|
|
|
%logfp128 = call fp128 @llvm.log.f128(fp128 %fp128)
|
|
|
|
|
store fp128 %logfp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl logl
|
|
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @llvm.log2.f32(float)
|
|
|
|
|
declare double @llvm.log2.f64(double)
|
|
|
|
|
declare fp128 @llvm.log2.f128(fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_log2(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_log2:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%log2float = call float @llvm.log2.f32(float %float)
|
|
|
|
|
store float %log2float, float* @varfloat
|
|
|
|
|
; CHECK: bl log2f
|
|
|
|
|
|
|
|
|
|
%log2double = call double @llvm.log2.f64(double %double)
|
|
|
|
|
store double %log2double, double* @vardouble
|
|
|
|
|
; CHECK: bl log2
|
|
|
|
|
|
|
|
|
|
%log2fp128 = call fp128 @llvm.log2.f128(fp128 %fp128)
|
|
|
|
|
store fp128 %log2fp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl log2l
|
|
|
|
|
ret void
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @llvm.log10.f32(float)
|
|
|
|
|
declare double @llvm.log10.f64(double)
|
|
|
|
|
declare fp128 @llvm.log10.f128(fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_log10(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_log10:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%log10float = call float @llvm.log10.f32(float %float)
|
|
|
|
|
store float %log10float, float* @varfloat
|
|
|
|
|
; CHECK: bl log10f
|
|
|
|
|
|
|
|
|
|
%log10double = call double @llvm.log10.f64(double %double)
|
|
|
|
|
store double %log10double, double* @vardouble
|
|
|
|
|
; CHECK: bl log10
|
|
|
|
|
|
|
|
|
|
%log10fp128 = call fp128 @llvm.log10.f128(fp128 %fp128)
|
|
|
|
|
store fp128 %log10fp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl log10l
|
|
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @llvm.sin.f32(float)
|
|
|
|
|
declare double @llvm.sin.f64(double)
|
|
|
|
|
declare fp128 @llvm.sin.f128(fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_sin(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_sin:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%sinfloat = call float @llvm.sin.f32(float %float)
|
|
|
|
|
store float %sinfloat, float* @varfloat
|
|
|
|
|
; CHECK: bl sinf
|
|
|
|
|
|
|
|
|
|
%sindouble = call double @llvm.sin.f64(double %double)
|
|
|
|
|
store double %sindouble, double* @vardouble
|
|
|
|
|
; CHECK: bl sin
|
|
|
|
|
|
|
|
|
|
%sinfp128 = call fp128 @llvm.sin.f128(fp128 %fp128)
|
|
|
|
|
store fp128 %sinfp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl sinl
|
|
|
|
|
ret void
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @llvm.pow.f32(float, float)
|
|
|
|
|
declare double @llvm.pow.f64(double, double)
|
|
|
|
|
declare fp128 @llvm.pow.f128(fp128, fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_pow(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_pow:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%powfloat = call float @llvm.pow.f32(float %float, float %float)
|
|
|
|
|
store float %powfloat, float* @varfloat
|
|
|
|
|
; CHECK: bl powf
|
|
|
|
|
|
|
|
|
|
%powdouble = call double @llvm.pow.f64(double %double, double %double)
|
|
|
|
|
store double %powdouble, double* @vardouble
|
|
|
|
|
; CHECK: bl pow
|
|
|
|
|
|
|
|
|
|
%powfp128 = call fp128 @llvm.pow.f128(fp128 %fp128, fp128 %fp128)
|
|
|
|
|
store fp128 %powfp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl powl
|
|
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare float @llvm.powi.f32(float, i32)
|
|
|
|
|
declare double @llvm.powi.f64(double, i32)
|
|
|
|
|
declare fp128 @llvm.powi.f128(fp128, i32)
|
|
|
|
|
|
|
|
|
|
define void @test_powi(float %float, double %double, i32 %exponent, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_powi:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%powifloat = call float @llvm.powi.f32(float %float, i32 %exponent)
|
|
|
|
|
store float %powifloat, float* @varfloat
|
|
|
|
|
; CHECK: bl __powisf2
|
|
|
|
|
|
|
|
|
|
%powidouble = call double @llvm.powi.f64(double %double, i32 %exponent)
|
|
|
|
|
store double %powidouble, double* @vardouble
|
|
|
|
|
; CHECK: bl __powidf2
|
|
|
|
|
|
|
|
|
|
%powifp128 = call fp128 @llvm.powi.f128(fp128 %fp128, i32 %exponent)
|
|
|
|
|
store fp128 %powifp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl __powitf2
|
|
|
|
|
ret void
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define void @test_frem(float %float, double %double, fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_frem:
|
2013-01-31 12:12:40 +00:00
|
|
|
|
|
|
|
|
%fremfloat = frem float %float, %float
|
|
|
|
|
store float %fremfloat, float* @varfloat
|
|
|
|
|
; CHECK: bl fmodf
|
|
|
|
|
|
|
|
|
|
%fremdouble = frem double %double, %double
|
|
|
|
|
store double %fremdouble, double* @vardouble
|
|
|
|
|
; CHECK: bl fmod
|
|
|
|
|
|
|
|
|
|
%fremfp128 = frem fp128 %fp128, %fp128
|
|
|
|
|
store fp128 %fremfp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl fmodl
|
|
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
AArch64/PowerPC/SystemZ/X86: This patch fixes the interface, usage, and all
in-tree implementations of TargetLoweringBase::isFMAFasterThanMulAndAdd in
order to resolve the following issues with fmuladd (i.e. optional FMA)
intrinsics:
1. On X86(-64) targets, ISD::FMA nodes are formed when lowering fmuladd
intrinsics even if the subtarget does not support FMA instructions, leading
to laughably bad code generation in some situations.
2. On AArch64 targets, ISD::FMA nodes are formed for operations on fp128,
resulting in a call to a software fp128 FMA implementation.
3. On PowerPC targets, FMAs are not generated from fmuladd intrinsics on types
like v2f32, v8f32, v4f64, etc., even though they promote, split, scalarize,
etc. to types that support hardware FMAs.
The function has also been slightly renamed for consistency and to force a
merge/build conflict for any out-of-tree target implementing it. To resolve,
see comments and fixed in-tree examples.
llvm-svn: 185956
2013-07-09 18:16:56 +00:00
|
|
|
|
|
|
|
|
declare fp128 @llvm.fma.f128(fp128, fp128, fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_fma(fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_fma:
|
AArch64/PowerPC/SystemZ/X86: This patch fixes the interface, usage, and all
in-tree implementations of TargetLoweringBase::isFMAFasterThanMulAndAdd in
order to resolve the following issues with fmuladd (i.e. optional FMA)
intrinsics:
1. On X86(-64) targets, ISD::FMA nodes are formed when lowering fmuladd
intrinsics even if the subtarget does not support FMA instructions, leading
to laughably bad code generation in some situations.
2. On AArch64 targets, ISD::FMA nodes are formed for operations on fp128,
resulting in a call to a software fp128 FMA implementation.
3. On PowerPC targets, FMAs are not generated from fmuladd intrinsics on types
like v2f32, v8f32, v4f64, etc., even though they promote, split, scalarize,
etc. to types that support hardware FMAs.
The function has also been slightly renamed for consistency and to force a
merge/build conflict for any out-of-tree target implementing it. To resolve,
see comments and fixed in-tree examples.
llvm-svn: 185956
2013-07-09 18:16:56 +00:00
|
|
|
|
|
|
|
|
%fmafp128 = call fp128 @llvm.fma.f128(fp128 %fp128, fp128 %fp128, fp128 %fp128)
|
|
|
|
|
store fp128 %fmafp128, fp128* @varfp128
|
|
|
|
|
; CHECK: bl fmal
|
|
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare fp128 @llvm.fmuladd.f128(fp128, fp128, fp128)
|
|
|
|
|
|
|
|
|
|
define void @test_fmuladd(fp128 %fp128) {
|
2013-07-12 14:54:12 +00:00
|
|
|
; CHECK-LABEL: test_fmuladd:
|
AArch64/PowerPC/SystemZ/X86: This patch fixes the interface, usage, and all
in-tree implementations of TargetLoweringBase::isFMAFasterThanMulAndAdd in
order to resolve the following issues with fmuladd (i.e. optional FMA)
intrinsics:
1. On X86(-64) targets, ISD::FMA nodes are formed when lowering fmuladd
intrinsics even if the subtarget does not support FMA instructions, leading
to laughably bad code generation in some situations.
2. On AArch64 targets, ISD::FMA nodes are formed for operations on fp128,
resulting in a call to a software fp128 FMA implementation.
3. On PowerPC targets, FMAs are not generated from fmuladd intrinsics on types
like v2f32, v8f32, v4f64, etc., even though they promote, split, scalarize,
etc. to types that support hardware FMAs.
The function has also been slightly renamed for consistency and to force a
merge/build conflict for any out-of-tree target implementing it. To resolve,
see comments and fixed in-tree examples.
llvm-svn: 185956
2013-07-09 18:16:56 +00:00
|
|
|
|
|
|
|
|
%fmuladdfp128 = call fp128 @llvm.fmuladd.f128(fp128 %fp128, fp128 %fp128, fp128 %fp128)
|
|
|
|
|
store fp128 %fmuladdfp128, fp128* @varfp128
|
|
|
|
|
; CHECK-NOT: bl fmal
|
|
|
|
|
; CHECK: bl __multf3
|
|
|
|
|
; CHECK: bl __addtf3
|
|
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
2018-01-23 11:11:36 +00:00
|
|
|
|
2020-01-03 09:15:52 -08:00
|
|
|
define i32 @test_fptosi32(fp128 %a) {
|
|
|
|
|
; CHECK-LABEL: test_fptosi32:
|
|
|
|
|
; CHECK: bl __fixtfsi
|
|
|
|
|
%conv.i = fptosi fp128 %a to i32
|
|
|
|
|
%b = add nsw i32 %conv.i, 48
|
|
|
|
|
ret i32 %b
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define i64 @test_fptosi64(fp128 %a) {
|
|
|
|
|
; CHECK-LABEL: test_fptosi64:
|
|
|
|
|
; CHECK: bl __fixtfdi
|
|
|
|
|
%conv.i = fptosi fp128 %a to i64
|
|
|
|
|
%b = add nsw i64 %conv.i, 48
|
|
|
|
|
ret i64 %b
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define i128 @test_fptosi128(fp128 %a) {
|
|
|
|
|
; CHECK-LABEL: test_fptosi128:
|
|
|
|
|
; CHECK: bl __fixtfti
|
|
|
|
|
%conv.i = fptosi fp128 %a to i128
|
|
|
|
|
%b = add nsw i128 %conv.i, 48
|
|
|
|
|
ret i128 %b
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define i32 @test_fptoui32(fp128 %a) {
|
|
|
|
|
; CHECK-LABEL: test_fptoui32:
|
|
|
|
|
; CHECK: bl __fixunstfsi
|
|
|
|
|
%conv.i = fptoui fp128 %a to i32
|
|
|
|
|
%b = add nsw i32 %conv.i, 48
|
|
|
|
|
ret i32 %b
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define i64 @test_fptoui64(fp128 %a) {
|
|
|
|
|
; CHECK-LABEL: test_fptoui64:
|
|
|
|
|
; CHECK: bl __fixunstfdi
|
|
|
|
|
%conv.i = fptoui fp128 %a to i64
|
|
|
|
|
%b = add nsw i64 %conv.i, 48
|
|
|
|
|
ret i64 %b
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define i128 @test_fptoui128(fp128 %a) {
|
|
|
|
|
; CHECK-LABEL: test_fptoui128:
|
|
|
|
|
; CHECK: bl __fixunstfti
|
|
|
|
|
%conv.i = fptoui fp128 %a to i128
|
|
|
|
|
%b = add nsw i128 %conv.i, 48
|
|
|
|
|
ret i128 %b
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-23 11:11:36 +00:00
|
|
|
define void @test_exp_finite(double %double) #0 {
|
|
|
|
|
%expdouble = call double @llvm.exp.f64(double %double)
|
|
|
|
|
store double %expdouble, double* @vardouble
|
|
|
|
|
; ANDROID-AARCH64-NOT: bl __exp_finite
|
No longer generate calls to *_finite
According to Joseph Myers, a libm maintainer
> They were only ever an ABI (selected by use of -ffinite-math-only or
> options implying it, which resulted in the headers using "asm" to redirect
> calls to some libm functions), not an API. The change means that ABI has
> turned into compat symbols (only available for existing binaries, not for
> anything newly linked, not included in static libm at all, not included in
> shared libm for future glibc ports such as RV32), so, yes, in any case
> where tools generate direct calls to those functions (rather than just
> following the "asm" annotations on function declarations in the headers),
> they need to stop doing so.
As a consequence, we should no longer assume these symbols are available on the
target system.
Still keep the TargetLibraryInfo for constant folding.
Differential Revision: https://reviews.llvm.org/D74712
2020-02-21 15:51:19 +01:00
|
|
|
; CHECK: bl exp
|
2018-01-23 11:11:36 +00:00
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define void @test_exp2_finite(double %double) #0 {
|
|
|
|
|
%expdouble = call double @llvm.exp2.f64(double %double)
|
|
|
|
|
store double %expdouble, double* @vardouble
|
No longer generate calls to *_finite
According to Joseph Myers, a libm maintainer
> They were only ever an ABI (selected by use of -ffinite-math-only or
> options implying it, which resulted in the headers using "asm" to redirect
> calls to some libm functions), not an API. The change means that ABI has
> turned into compat symbols (only available for existing binaries, not for
> anything newly linked, not included in static libm at all, not included in
> shared libm for future glibc ports such as RV32), so, yes, in any case
> where tools generate direct calls to those functions (rather than just
> following the "asm" annotations on function declarations in the headers),
> they need to stop doing so.
As a consequence, we should no longer assume these symbols are available on the
target system.
Still keep the TargetLibraryInfo for constant folding.
Differential Revision: https://reviews.llvm.org/D74712
2020-02-21 15:51:19 +01:00
|
|
|
; CHECK-NOT: bl __exp2_finite
|
|
|
|
|
; CHECK: bl exp2
|
2018-01-23 11:11:36 +00:00
|
|
|
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-31 19:12:50 +00:00
|
|
|
define void @test_log_finite(double %double) #0 {
|
|
|
|
|
%logdouble = call double @llvm.log.f64(double %double)
|
|
|
|
|
store double %logdouble, double* @vardouble
|
No longer generate calls to *_finite
According to Joseph Myers, a libm maintainer
> They were only ever an ABI (selected by use of -ffinite-math-only or
> options implying it, which resulted in the headers using "asm" to redirect
> calls to some libm functions), not an API. The change means that ABI has
> turned into compat symbols (only available for existing binaries, not for
> anything newly linked, not included in static libm at all, not included in
> shared libm for future glibc ports such as RV32), so, yes, in any case
> where tools generate direct calls to those functions (rather than just
> following the "asm" annotations on function declarations in the headers),
> they need to stop doing so.
As a consequence, we should no longer assume these symbols are available on the
target system.
Still keep the TargetLibraryInfo for constant folding.
Differential Revision: https://reviews.llvm.org/D74712
2020-02-21 15:51:19 +01:00
|
|
|
; CHECK-NOT: bl __log_finite
|
|
|
|
|
; CHECK: bl log
|
2018-01-31 19:12:50 +00:00
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define void @test_log2_finite(double %double) #0 {
|
|
|
|
|
%log2double = call double @llvm.log2.f64(double %double)
|
|
|
|
|
store double %log2double, double* @vardouble
|
No longer generate calls to *_finite
According to Joseph Myers, a libm maintainer
> They were only ever an ABI (selected by use of -ffinite-math-only or
> options implying it, which resulted in the headers using "asm" to redirect
> calls to some libm functions), not an API. The change means that ABI has
> turned into compat symbols (only available for existing binaries, not for
> anything newly linked, not included in static libm at all, not included in
> shared libm for future glibc ports such as RV32), so, yes, in any case
> where tools generate direct calls to those functions (rather than just
> following the "asm" annotations on function declarations in the headers),
> they need to stop doing so.
As a consequence, we should no longer assume these symbols are available on the
target system.
Still keep the TargetLibraryInfo for constant folding.
Differential Revision: https://reviews.llvm.org/D74712
2020-02-21 15:51:19 +01:00
|
|
|
; CHECK-NOT: bl __log2_finite
|
|
|
|
|
; CHECK: bl log2
|
2018-01-31 19:12:50 +00:00
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define void @test_log10_finite(double %double) #0 {
|
|
|
|
|
%log10double = call double @llvm.log10.f64(double %double)
|
|
|
|
|
store double %log10double, double* @vardouble
|
No longer generate calls to *_finite
According to Joseph Myers, a libm maintainer
> They were only ever an ABI (selected by use of -ffinite-math-only or
> options implying it, which resulted in the headers using "asm" to redirect
> calls to some libm functions), not an API. The change means that ABI has
> turned into compat symbols (only available for existing binaries, not for
> anything newly linked, not included in static libm at all, not included in
> shared libm for future glibc ports such as RV32), so, yes, in any case
> where tools generate direct calls to those functions (rather than just
> following the "asm" annotations on function declarations in the headers),
> they need to stop doing so.
As a consequence, we should no longer assume these symbols are available on the
target system.
Still keep the TargetLibraryInfo for constant folding.
Differential Revision: https://reviews.llvm.org/D74712
2020-02-21 15:51:19 +01:00
|
|
|
; CHECK-NOT: bl __log10_finite
|
|
|
|
|
; CHECK: bl log10
|
2018-01-31 19:12:50 +00:00
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
2018-01-23 11:11:36 +00:00
|
|
|
define void @test_pow_finite(double %double) #0 {
|
|
|
|
|
%powdouble = call double @llvm.pow.f64(double %double, double %double)
|
|
|
|
|
store double %powdouble, double* @vardouble
|
No longer generate calls to *_finite
According to Joseph Myers, a libm maintainer
> They were only ever an ABI (selected by use of -ffinite-math-only or
> options implying it, which resulted in the headers using "asm" to redirect
> calls to some libm functions), not an API. The change means that ABI has
> turned into compat symbols (only available for existing binaries, not for
> anything newly linked, not included in static libm at all, not included in
> shared libm for future glibc ports such as RV32), so, yes, in any case
> where tools generate direct calls to those functions (rather than just
> following the "asm" annotations on function declarations in the headers),
> they need to stop doing so.
As a consequence, we should no longer assume these symbols are available on the
target system.
Still keep the TargetLibraryInfo for constant folding.
Differential Revision: https://reviews.llvm.org/D74712
2020-02-21 15:51:19 +01:00
|
|
|
; CHECK-NOT: bl __pow_finite
|
|
|
|
|
; CHECK: bl pow
|
2018-01-23 11:11:36 +00:00
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
attributes #0 = { "no-infs-fp-math"="true" "no-nans-fp-math"="true" }
|
