mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-07-27 13:29:50 +00:00
e023141322
boolean flag to an enum: { Fast, Standard, Strict } (default = Standard).
This option controls the creation by optimizations of fused FP ops that store
intermediate results in higher precision than IEEE allows (E.g. FMAs). The
behavior of this option is intended to match the behaviour specified by a
soon-to-be-introduced frontend flag: '-ffuse-fp-ops'.
Fast mode - allows formation of fused FP ops whenever they're profitable.
Standard mode - allow fusion only for 'blessed' FP ops. At present the only
blessed op is the fmuladd intrinsic. In the future more blessed ops may be
added.
Strict mode - allow fusion only if/when it can be proven that the excess
precision won't effect the result.
Note: This option only controls formation of fused ops by the optimizers. Fused
operations that are explicitly requested (e.g. FMA via the llvm.fma.* intrinsic)
will always be honored, regardless of the value of this option.
Internally TargetOptions::AllowExcessFPPrecision has been replaced by
TargetOptions::AllowFPOpFusion.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158956 91177308-0d34-0410-b5e6-96231b3b80d8
55 lines
1.7 KiB
LLVM
55 lines
1.7 KiB
LLVM
; RUN: llc < %s -march=ppc32 -fuse-fp-ops=fast | \
|
|
; RUN: egrep {fn?madd|fn?msub} | count 8
|
|
|
|
define double @test_FMADD1(double %A, double %B, double %C) {
|
|
%D = fmul double %A, %B ; <double> [#uses=1]
|
|
%E = fadd double %D, %C ; <double> [#uses=1]
|
|
ret double %E
|
|
}
|
|
|
|
define double @test_FMADD2(double %A, double %B, double %C) {
|
|
%D = fmul double %A, %B ; <double> [#uses=1]
|
|
%E = fadd double %D, %C ; <double> [#uses=1]
|
|
ret double %E
|
|
}
|
|
|
|
define double @test_FMSUB(double %A, double %B, double %C) {
|
|
%D = fmul double %A, %B ; <double> [#uses=1]
|
|
%E = fsub double %D, %C ; <double> [#uses=1]
|
|
ret double %E
|
|
}
|
|
|
|
define double @test_FNMADD1(double %A, double %B, double %C) {
|
|
%D = fmul double %A, %B ; <double> [#uses=1]
|
|
%E = fadd double %D, %C ; <double> [#uses=1]
|
|
%F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
|
|
ret double %F
|
|
}
|
|
|
|
define double @test_FNMADD2(double %A, double %B, double %C) {
|
|
%D = fmul double %A, %B ; <double> [#uses=1]
|
|
%E = fadd double %C, %D ; <double> [#uses=1]
|
|
%F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
|
|
ret double %F
|
|
}
|
|
|
|
define double @test_FNMSUB1(double %A, double %B, double %C) {
|
|
%D = fmul double %A, %B ; <double> [#uses=1]
|
|
%E = fsub double %C, %D ; <double> [#uses=1]
|
|
ret double %E
|
|
}
|
|
|
|
define double @test_FNMSUB2(double %A, double %B, double %C) {
|
|
%D = fmul double %A, %B ; <double> [#uses=1]
|
|
%E = fsub double %D, %C ; <double> [#uses=1]
|
|
%F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
|
|
ret double %F
|
|
}
|
|
|
|
define float @test_FNMSUBS(float %A, float %B, float %C) {
|
|
%D = fmul float %A, %B ; <float> [#uses=1]
|
|
%E = fsub float %D, %C ; <float> [#uses=1]
|
|
%F = fsub float -0.000000e+00, %E ; <float> [#uses=1]
|
|
ret float %F
|
|
}
|