diff options
| -rw-r--r-- | llvm/test/tools/llvm-reduce/remove-operands-fp.ll | 87 | ||||
| -rw-r--r-- | llvm/tools/llvm-reduce/deltas/ReduceOperands.cpp | 33 |
2 files changed, 114 insertions, 6 deletions
diff --git a/llvm/test/tools/llvm-reduce/remove-operands-fp.ll b/llvm/test/tools/llvm-reduce/remove-operands-fp.ll new file mode 100644 index 0000000..0f23520 --- /dev/null +++ b/llvm/test/tools/llvm-reduce/remove-operands-fp.ll @@ -0,0 +1,87 @@ +; Test that llvm-reduce can reduce floating point operands +; +; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=operands-undef --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t +; RUN: FileCheck --check-prefixes=CHECK,UNDEF %s < %t + +; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=operands-one --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t +; RUN: FileCheck --check-prefixes=CHECK,ONE %s < %t + +; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=operands-zero --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t +; RUN: FileCheck --check-prefixes=CHECK,ZERO %s < %t + +; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t +; RUN: FileCheck --check-prefixes=CHECK,ZERO %s < %t + +; CHECK-INTERESTINGNESS: = fadd float % +; CHECK-INTERESTINGNESS: = fadd float +; CHECK-INTERESTINGNESS: = fadd float +; CHECK-INTERESTINGNESS: = fadd float +; CHECK-INTERESTINGNESS: = fadd float +; CHECK-INTERESTINGNESS: = fadd float + +; CHECK-INTERESTINGNESS: = fadd <2 x float> % +; CHECK-INTERESTINGNESS: = fadd <2 x float> +; CHECK-INTERESTINGNESS: = fadd <2 x float> +; CHECK-INTERESTINGNESS: = fadd <2 x float> +; CHECK-INTERESTINGNESS: = fadd <2 x float> +; CHECK-INTERESTINGNESS: = fadd <2 x float> + +; CHECK-LABEL: define void @foo( + +; UNDEF: %fadd0 = fadd float %arg0, undef +; UNDEF: %fadd1 = fadd float undef, undef +; UNDEF: %fadd2 = fadd float undef, 0.000000e+00 +; UNDEF: %fadd3 = fadd float undef, 1.000000e+00 +; UNDEF: %fadd4 = fadd float undef, 0x7FF8000000000000 +; UNDEF: %fadd5 = fadd float undef, undef +; UNDEF: %fadd6 = fadd <2 x float> %arg2, undef +; UNDEF: %fadd7 = fadd <2 x float> undef, undef +; UNDEF: %fadd8 = fadd <2 x float> undef, zeroinitializer +; UNDEF: %fadd9 = fadd <2 x float> undef, <float 1.000000e+00, float 1.000000e+00> +; UNDEF: %fadd10 = fadd <2 x float> undef, undef +; UNDEF: %fadd11 = fadd <2 x float> undef, <float 0x7FF8000000000000, float 0x7FF8000000000000> + + +; ONE: %fadd0 = fadd float %arg0, 1.000000e+00 +; ONE: %fadd1 = fadd float 1.000000e+00, 1.000000e+00 +; ONE: %fadd2 = fadd float 1.000000e+00, 0.000000e+00 +; ONE: %fadd3 = fadd float 1.000000e+00, 1.000000e+00 +; ONE: %fadd4 = fadd float 1.000000e+00, 1.000000e+00 +; ONE: %fadd5 = fadd float 1.000000e+00, 1.000000e+00 +; ONE: %fadd6 = fadd <2 x float> %arg2, <float 1.000000e+00, float 1.000000e+00> +; ONE: %fadd7 = fadd <2 x float> <float 1.000000e+00, float 1.000000e+00>, <float 1.000000e+00, float 1.000000e+00> +; ONE: %fadd8 = fadd <2 x float> <float 1.000000e+00, float 1.000000e+00>, zeroinitializer +; ONE: %fadd9 = fadd <2 x float> <float 1.000000e+00, float 1.000000e+00>, <float 1.000000e+00, float 1.000000e+00> +; ONE: %fadd10 = fadd <2 x float> <float 1.000000e+00, float 1.000000e+00>, <float 1.000000e+00, float 1.000000e+00> +; ONE: %fadd11 = fadd <2 x float> <float 1.000000e+00, float 1.000000e+00>, <float 1.000000e+00, float 1.000000e+00> + + +; ZERO: %fadd0 = fadd float %arg0, 0.000000e+00 +; ZERO: %fadd1 = fadd float 0.000000e+00, 0.000000e+00 +; ZERO: %fadd2 = fadd float 0.000000e+00, 0.000000e+00 +; ZERO: %fadd3 = fadd float 0.000000e+00, 0.000000e+00 +; ZERO: %fadd4 = fadd float 0.000000e+00, 0.000000e+00 +; ZERO: %fadd5 = fadd float 0.000000e+00, 0.000000e+00 +; ZERO: %fadd6 = fadd <2 x float> %arg2, zeroinitializer +; ZERO: %fadd7 = fadd <2 x float> zeroinitializer, zeroinitializer +; ZERO: %fadd8 = fadd <2 x float> zeroinitializer, zeroinitializer +; ZERO: %fadd9 = fadd <2 x float> zeroinitializer, zeroinitializer +; ZERO: %fadd10 = fadd <2 x float> zeroinitializer, zeroinitializer +; ZERO: %fadd11 = fadd <2 x float> zeroinitializer, zeroinitializer + +define void @foo(float %arg0, float %arg1, <2 x float> %arg2, <2 x float> %arg3) { +bb0: + %fadd0 = fadd float %arg0, %arg1 + %fadd1 = fadd float %arg0, %arg1 + %fadd2 = fadd float %arg0, 0.0 + %fadd3 = fadd float %arg0, 1.0 + %fadd4 = fadd float %arg0, 0x7FF8000000000000 + %fadd5 = fadd float %arg0, undef + %fadd6 = fadd <2 x float> %arg2, %arg3 + %fadd7 = fadd <2 x float> %arg2, %arg3 + %fadd8 = fadd <2 x float> %arg2, zeroinitializer + %fadd9 = fadd <2 x float> %arg2, <float 1.0, float 1.0> + %fadd10 = fadd <2 x float> %arg2, undef + %fadd11 = fadd <2 x float> %arg2, <float 0x7FF8000000000000, float 0x7FF8000000000000> + ret void +} diff --git a/llvm/tools/llvm-reduce/deltas/ReduceOperands.cpp b/llvm/tools/llvm-reduce/deltas/ReduceOperands.cpp index 5bfd876..02b0bd2 100644 --- a/llvm/tools/llvm-reduce/deltas/ReduceOperands.cpp +++ b/llvm/tools/llvm-reduce/deltas/ReduceOperands.cpp @@ -11,9 +11,11 @@ #include "llvm/IR/InstIterator.h" #include "llvm/IR/InstrTypes.h" #include "llvm/IR/Operator.h" +#include "llvm/IR/PatternMatch.h" #include "llvm/IR/Type.h" using namespace llvm; +using namespace PatternMatch; static void extractOperandsFromModule(Oracle &O, Module &Program, @@ -39,6 +41,12 @@ static bool isZero(Use &Op) { return C && C->isNullValue(); } +static bool isZeroOrOneFP(Value *Op) { + const APFloat *C; + return match(Op, m_APFloat(C)) && + ((C->isZero() && !C->isNegative()) || C->isExactlyValue(1.0)); +} + static bool shouldReduceOperand(Use &Op) { Type *Ty = Op->getType(); if (Ty->isLabelTy() || Ty->isMetadataTy()) @@ -70,14 +78,27 @@ void llvm::reduceOperandsUndefDeltaPass(TestRunner &Test) { void llvm::reduceOperandsOneDeltaPass(TestRunner &Test) { errs() << "*** Reducing Operands to one...\n"; auto ReduceValue = [](Use &Op) -> Value * { - // TODO: support floats if (!shouldReduceOperand(Op)) return nullptr; - auto *Ty = dyn_cast<IntegerType>(Op->getType()); - if (!Ty) - return nullptr; - // Don't replace existing ones and zeroes. - return (isOne(Op) || isZero(Op)) ? nullptr : ConstantInt::get(Ty, 1); + + Type *Ty = Op->getType(); + if (auto *IntTy = dyn_cast<IntegerType>(Ty)) { + // Don't replace existing ones and zeroes. + return (isOne(Op) || isZero(Op)) ? nullptr : ConstantInt::get(IntTy, 1); + } + + if (Ty->isFloatingPointTy()) + return isZeroOrOneFP(Op) ? nullptr : ConstantFP::get(Ty, 1.0); + + if (VectorType *VT = dyn_cast<VectorType>(Ty)) { + if (isZeroOrOneFP(Op)) + return nullptr; + + return ConstantVector::getSplat( + VT->getElementCount(), ConstantFP::get(VT->getElementType(), 1.0)); + } + + return nullptr; }; runDeltaPass(Test, [ReduceValue](Oracle &O, Module &Program) { extractOperandsFromModule(O, Program, ReduceValue); |