73de7bf5de
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
248 lines
6.4 KiB
LLVM
248 lines
6.4 KiB
LLVM
; RUN: llc -mtriple=aarch64-none-linux-gnu -verify-machineinstrs < %s | FileCheck %s
|
|
|
|
@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) {
|
|
; CHECK: test_cos:
|
|
|
|
%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) {
|
|
; CHECK: test_exp:
|
|
|
|
%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) {
|
|
; CHECK: test_exp2:
|
|
|
|
%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) {
|
|
; CHECK: test_log:
|
|
|
|
%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) {
|
|
; CHECK: test_log2:
|
|
|
|
%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) {
|
|
; CHECK: test_log10:
|
|
|
|
%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) {
|
|
; CHECK: test_sin:
|
|
|
|
%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) {
|
|
; CHECK: test_pow:
|
|
|
|
%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) {
|
|
; CHECK: test_powi:
|
|
|
|
%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) {
|
|
; CHECK: test_frem:
|
|
|
|
%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
|
|
}
|
|
|
|
declare fp128 @llvm.fma.f128(fp128, fp128, fp128)
|
|
|
|
define void @test_fma(fp128 %fp128) {
|
|
; CHECK: test_fma:
|
|
|
|
%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) {
|
|
; CHECK: test_fmuladd:
|
|
|
|
%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
|
|
}
|