mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
fba10ebb96
The ISD::STRICT_ nodes used to implement the constrained floating-point intrinsics are currently never passed to the target back-end, which makes it impossible to handle them correctly (e.g. mark instructions are depending on a floating-point status and control register, or mark instructions as possibly trapping). This patch allows the target to use setOperationAction to switch the action on ISD::STRICT_ nodes to Legal. If this is done, the SelectionDAG common code will stop converting the STRICT nodes to regular floating-point nodes, but instead pass the STRICT nodes to the target using normal SelectionDAG matching rules. To avoid having the back-end duplicate all the floating-point instruction patterns to handle both strict and non-strict variants, we make the MI codegen explicitly aware of the floating-point exceptions by introducing two new concepts: - A new MCID flag "mayRaiseFPException" that the target should set on any instruction that possibly can raise FP exception according to the architecture definition. - A new MI flag FPExcept that CodeGen/SelectionDAG will set on any MI instruction resulting from expansion of any constrained FP intrinsic. Any MI instruction that is *both* marked as mayRaiseFPException *and* FPExcept then needs to be considered as raising exceptions by MI-level codegen (e.g. scheduling). Setting those two new flags is straightforward. The mayRaiseFPException flag is simply set via TableGen by marking all relevant instruction patterns in the .td files. The FPExcept flag is set in SDNodeFlags when creating the STRICT_ nodes in the SelectionDAG, and gets inherited in the MachineSDNode nodes created from it during instruction selection. The flag is then transfered to an MIFlag when creating the MI from the MachineSDNode. This is handled just like fast-math flags like no-nans are handled today. This patch includes both common code changes required to implement the new features, and the SystemZ implementation. Reviewed By: andrew.w.kaylor Differential Revision: https://reviews.llvm.org/D55506 llvm-svn: 362663
139 lines
4.9 KiB
LLVM
139 lines
4.9 KiB
LLVM
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 \
|
|
; RUN: | FileCheck -check-prefix=CHECK -check-prefix=CHECK-SCALAR %s
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 \
|
|
; RUN: | FileCheck -check-prefix=CHECK -check-prefix=CHECK-VECTOR %s
|
|
|
|
declare double @llvm.experimental.constrained.fma.f64(double %f1, double %f2, double %f3, metadata, metadata)
|
|
|
|
define double @f1(double %f1, double %f2, double %acc) {
|
|
; CHECK-LABEL: f1:
|
|
; CHECK-SCALAR: msdbr %f4, %f0, %f2
|
|
; CHECK-SCALAR: ldr %f0, %f4
|
|
; CHECK-VECTOR: wfmsdb %f0, %f0, %f2, %f4
|
|
; CHECK: br %r14
|
|
%negacc = fsub double -0.0, %acc
|
|
%res = call double @llvm.experimental.constrained.fma.f64 (
|
|
double %f1, double %f2, double %negacc,
|
|
metadata !"round.dynamic",
|
|
metadata !"fpexcept.strict")
|
|
ret double %res
|
|
}
|
|
|
|
define double @f2(double %f1, double *%ptr, double %acc) {
|
|
; CHECK-LABEL: f2:
|
|
; CHECK: msdb %f2, %f0, 0(%r2)
|
|
; CHECK: ldr %f0, %f2
|
|
; CHECK: br %r14
|
|
%f2 = load double, double *%ptr
|
|
%negacc = fsub double -0.0, %acc
|
|
%res = call double @llvm.experimental.constrained.fma.f64 (
|
|
double %f1, double %f2, double %negacc,
|
|
metadata !"round.dynamic",
|
|
metadata !"fpexcept.strict")
|
|
ret double %res
|
|
}
|
|
|
|
define double @f3(double %f1, double *%base, double %acc) {
|
|
; CHECK-LABEL: f3:
|
|
; CHECK: msdb %f2, %f0, 4088(%r2)
|
|
; CHECK: ldr %f0, %f2
|
|
; CHECK: br %r14
|
|
%ptr = getelementptr double, double *%base, i64 511
|
|
%f2 = load double, double *%ptr
|
|
%negacc = fsub double -0.0, %acc
|
|
%res = call double @llvm.experimental.constrained.fma.f64 (
|
|
double %f1, double %f2, double %negacc,
|
|
metadata !"round.dynamic",
|
|
metadata !"fpexcept.strict")
|
|
ret double %res
|
|
}
|
|
|
|
define double @f4(double %f1, double *%base, double %acc) {
|
|
; The important thing here is that we don't generate an out-of-range
|
|
; displacement. Other sequences besides this one would be OK.
|
|
;
|
|
; CHECK-LABEL: f4:
|
|
; CHECK: aghi %r2, 4096
|
|
; CHECK: msdb %f2, %f0, 0(%r2)
|
|
; CHECK: ldr %f0, %f2
|
|
; CHECK: br %r14
|
|
%ptr = getelementptr double, double *%base, i64 512
|
|
%f2 = load double, double *%ptr
|
|
%negacc = fsub double -0.0, %acc
|
|
%res = call double @llvm.experimental.constrained.fma.f64 (
|
|
double %f1, double %f2, double %negacc,
|
|
metadata !"round.dynamic",
|
|
metadata !"fpexcept.strict")
|
|
ret double %res
|
|
}
|
|
|
|
define double @f5(double %f1, double *%base, double %acc) {
|
|
; Here too the important thing is that we don't generate an out-of-range
|
|
; displacement. Other sequences besides this one would be OK.
|
|
;
|
|
; CHECK-LABEL: f5:
|
|
; CHECK: aghi %r2, -8
|
|
; CHECK: msdb %f2, %f0, 0(%r2)
|
|
; CHECK: ldr %f0, %f2
|
|
; CHECK: br %r14
|
|
%ptr = getelementptr double, double *%base, i64 -1
|
|
%f2 = load double, double *%ptr
|
|
%negacc = fsub double -0.0, %acc
|
|
%res = call double @llvm.experimental.constrained.fma.f64 (
|
|
double %f1, double %f2, double %negacc,
|
|
metadata !"round.dynamic",
|
|
metadata !"fpexcept.strict")
|
|
ret double %res
|
|
}
|
|
|
|
define double @f6(double %f1, double *%base, i64 %index, double %acc) {
|
|
; CHECK-LABEL: f6:
|
|
; CHECK: sllg %r1, %r3, 3
|
|
; CHECK: msdb %f2, %f0, 0(%r1,%r2)
|
|
; CHECK: ldr %f0, %f2
|
|
; CHECK: br %r14
|
|
%ptr = getelementptr double, double *%base, i64 %index
|
|
%f2 = load double, double *%ptr
|
|
%negacc = fsub double -0.0, %acc
|
|
%res = call double @llvm.experimental.constrained.fma.f64 (
|
|
double %f1, double %f2, double %negacc,
|
|
metadata !"round.dynamic",
|
|
metadata !"fpexcept.strict")
|
|
ret double %res
|
|
}
|
|
|
|
define double @f7(double %f1, double *%base, i64 %index, double %acc) {
|
|
; CHECK-LABEL: f7:
|
|
; CHECK: sllg %r1, %r3, 3
|
|
; CHECK: msdb %f2, %f0, 4088({{%r1,%r2|%r2,%r1}})
|
|
; CHECK: ldr %f0, %f2
|
|
; CHECK: br %r14
|
|
%index2 = add i64 %index, 511
|
|
%ptr = getelementptr double, double *%base, i64 %index2
|
|
%f2 = load double, double *%ptr
|
|
%negacc = fsub double -0.0, %acc
|
|
%res = call double @llvm.experimental.constrained.fma.f64 (
|
|
double %f1, double %f2, double %negacc,
|
|
metadata !"round.dynamic",
|
|
metadata !"fpexcept.strict")
|
|
ret double %res
|
|
}
|
|
|
|
define double @f8(double %f1, double *%base, i64 %index, double %acc) {
|
|
; CHECK-LABEL: f8:
|
|
; CHECK: sllg %r1, %r3, 3
|
|
; CHECK: lay %r1, 4096({{%r1,%r2|%r2,%r1}})
|
|
; CHECK: msdb %f2, %f0, 0(%r1)
|
|
; CHECK: ldr %f0, %f2
|
|
; CHECK: br %r14
|
|
%index2 = add i64 %index, 512
|
|
%ptr = getelementptr double, double *%base, i64 %index2
|
|
%f2 = load double, double *%ptr
|
|
%negacc = fsub double -0.0, %acc
|
|
%res = call double @llvm.experimental.constrained.fma.f64 (
|
|
double %f1, double %f2, double %negacc,
|
|
metadata !"round.dynamic",
|
|
metadata !"fpexcept.strict")
|
|
ret double %res
|
|
}
|