Changeset View
Changeset View
Standalone View
Standalone View
llvm/trunk/test/CodeGen/SystemZ/fp-strict-mul-10.ll
| ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s | ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s | ||||
| declare double @llvm.experimental.constrained.fma.f64(double %f1, double %f2, double %f3, metadata, metadata) | declare double @llvm.experimental.constrained.fma.f64(double %f1, double %f2, double %f3, metadata, metadata) | ||||
| declare float @llvm.experimental.constrained.fma.f32(float %f1, float %f2, float %f3, metadata, metadata) | declare float @llvm.experimental.constrained.fma.f32(float %f1, float %f2, float %f3, metadata, metadata) | ||||
| define double @f1(double %f1, double %f2, double %acc) { | define double @f1(double %f1, double %f2, double %acc) #0 { | ||||
| ; CHECK-LABEL: f1: | ; CHECK-LABEL: f1: | ||||
| ; CHECK: wfnmadb %f0, %f0, %f2, %f4 | ; CHECK: wfnmadb %f0, %f0, %f2, %f4 | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %res = call double @llvm.experimental.constrained.fma.f64 ( | %res = call double @llvm.experimental.constrained.fma.f64 ( | ||||
| double %f1, double %f2, double %acc, | double %f1, double %f2, double %acc, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %negres = fsub double -0.0, %res | %negres = fsub double -0.0, %res | ||||
| ret double %negres | ret double %negres | ||||
| } | } | ||||
| define double @f2(double %f1, double %f2, double %acc) { | define double @f2(double %f1, double %f2, double %acc) #0 { | ||||
| ; CHECK-LABEL: f2: | ; CHECK-LABEL: f2: | ||||
| ; CHECK: wfnmsdb %f0, %f0, %f2, %f4 | ; CHECK: wfnmsdb %f0, %f0, %f2, %f4 | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %negacc = fsub double -0.0, %acc | %negacc = fsub double -0.0, %acc | ||||
| %res = call double @llvm.experimental.constrained.fma.f64 ( | %res = call double @llvm.experimental.constrained.fma.f64 ( | ||||
| double %f1, double %f2, double %negacc, | double %f1, double %f2, double %negacc, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %negres = fsub double -0.0, %res | %negres = fsub double -0.0, %res | ||||
| ret double %negres | ret double %negres | ||||
| } | } | ||||
| define float @f3(float %f1, float %f2, float %acc) { | define float @f3(float %f1, float %f2, float %acc) #0 { | ||||
| ; CHECK-LABEL: f3: | ; CHECK-LABEL: f3: | ||||
| ; CHECK: wfnmasb %f0, %f0, %f2, %f4 | ; CHECK: wfnmasb %f0, %f0, %f2, %f4 | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %res = call float @llvm.experimental.constrained.fma.f32 ( | %res = call float @llvm.experimental.constrained.fma.f32 ( | ||||
| float %f1, float %f2, float %acc, | float %f1, float %f2, float %acc, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %negres = fsub float -0.0, %res | %negres = fsub float -0.0, %res | ||||
| ret float %negres | ret float %negres | ||||
| } | } | ||||
| define float @f4(float %f1, float %f2, float %acc) { | define float @f4(float %f1, float %f2, float %acc) #0 { | ||||
| ; CHECK-LABEL: f4: | ; CHECK-LABEL: f4: | ||||
| ; CHECK: wfnmssb %f0, %f0, %f2, %f4 | ; CHECK: wfnmssb %f0, %f0, %f2, %f4 | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %negacc = fsub float -0.0, %acc | %negacc = fsub float -0.0, %acc | ||||
| %res = call float @llvm.experimental.constrained.fma.f32 ( | %res = call float @llvm.experimental.constrained.fma.f32 ( | ||||
| float %f1, float %f2, float %negacc, | float %f1, float %f2, float %negacc, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %negres = fsub float -0.0, %res | %negres = fsub float -0.0, %res | ||||
| ret float %negres | ret float %negres | ||||
| } | } | ||||
| attributes #0 = { strictfp } | |||||