diff options
| -rw-r--r-- | lib/Analysis/ConstantFolding.cpp | 11 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/fold-calls.ll | 19 |
2 files changed, 28 insertions, 2 deletions
diff --git a/lib/Analysis/ConstantFolding.cpp b/lib/Analysis/ConstantFolding.cpp index 0bf7967..69581ba 100644 --- a/lib/Analysis/ConstantFolding.cpp +++ b/lib/Analysis/ConstantFolding.cpp @@ -32,6 +32,7 @@ #include "llvm/Support/MathExtras.h" #include <cerrno> #include <cmath> +#include <fenv.h> using namespace llvm; //===----------------------------------------------------------------------===// @@ -1039,9 +1040,12 @@ llvm::canConstantFoldCallTo(const Function *F) { static Constant *ConstantFoldFP(double (*NativeFP)(double), double V, const Type *Ty) { + feclearexcept(FE_ALL_EXCEPT); errno = 0; V = NativeFP(V); - if (errno != 0) { + if (errno != 0 || + fetestexcept(FE_DIVBYZERO | FE_UNDERFLOW | FE_OVERFLOW | FE_INVALID)) { + feclearexcept(FE_ALL_EXCEPT); errno = 0; return 0; } @@ -1056,9 +1060,12 @@ static Constant *ConstantFoldFP(double (*NativeFP)(double), double V, static Constant *ConstantFoldBinaryFP(double (*NativeFP)(double, double), double V, double W, const Type *Ty) { + feclearexcept(FE_ALL_EXCEPT); errno = 0; V = NativeFP(V, W); - if (errno != 0) { + if (errno != 0 || + fetestexcept(FE_DIVBYZERO | FE_UNDERFLOW | FE_OVERFLOW | FE_INVALID)) { + feclearexcept(FE_ALL_EXCEPT); errno = 0; return 0; } diff --git a/test/Transforms/InstCombine/fold-calls.ll b/test/Transforms/InstCombine/fold-calls.ll new file mode 100644 index 0000000..2b11771 --- /dev/null +++ b/test/Transforms/InstCombine/fold-calls.ll @@ -0,0 +1,19 @@ +; RUN: opt -instcombine -S < %s | FileCheck %s + +; This shouldn't fold, because sin(inf) is invalid. +; CHECK: @foo +; CHECK: %t = call double @sin(double 0x7FF0000000000000) +define double @foo() { + %t = call double @sin(double 0x7FF0000000000000) + ret double %t +} + +; This should fold. +; CHECK: @bar +; CHECK: ret double 0x3FDA6026360C2F91 +define double @bar() { + %t = call double @sin(double 9.0) + ret double %t +} + +declare double @sin(double) |