maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Use ConstantFoldFP for folding all unary floating-point operations which may 

have an error, and refector out the code for binary operators into
ConstantFoldBinaryFP and use it for all binary floating-point operations
which may have an error. These functions still rely exclusively on errno
to detect errors though.

llvm-svn: 39923
This commit is contained in:
Dan Gohman 2007-07-16 15:26:22 +00:00
parent 33988db5d5
commit 72efc04d8e
1 changed files with 25 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
llvm/lib/Analysis/ConstantFolding.cpp
View File

@ -363,6 +363,17 @@ static Constant *ConstantFoldFP(double (*NativeFP)(double), double V,
return 0; return 0;
} }
static Constant *ConstantFoldBinaryFP(double (*NativeFP)(double, double),
double V, double W,
const Type *Ty) {
errno = 0;
V = NativeFP(V, W);
if (errno == 0)
return ConstantFP::get(Ty, V);
errno = 0;
return 0;
}
/// ConstantFoldCall - Attempt to constant fold a call to the specified function /// ConstantFoldCall - Attempt to constant fold a call to the specified function
/// with the specified arguments, returning null if unsuccessful. /// with the specified arguments, returning null if unsuccessful.
Constant * Constant *
@ -381,19 +392,19 @@ llvm::ConstantFoldCall(Function *F, Constant** Operands, unsigned NumOperands) {
else if (Name == "asin") else if (Name == "asin")
return ConstantFoldFP(asin, V, Ty); return ConstantFoldFP(asin, V, Ty);
else if (Name == "atan") else if (Name == "atan")
return ConstantFP::get(Ty, atan(V)); return ConstantFoldFP(atan, V, Ty);
break; break;
case 'c': case 'c':
if (Name == "ceil") if (Name == "ceil")
return ConstantFoldFP(ceil, V, Ty); return ConstantFoldFP(ceil, V, Ty);
else if (Name == "cos") else if (Name == "cos")
return ConstantFP::get(Ty, cos(V)); return ConstantFoldFP(cos, V, Ty);
else if (Name == "cosh") else if (Name == "cosh")
return ConstantFP::get(Ty, cosh(V)); return ConstantFoldFP(cosh, V, Ty);
break; break;
case 'e': case 'e':
if (Name == "exp") if (Name == "exp")
return ConstantFP::get(Ty, exp(V)); return ConstantFoldFP(exp, V, Ty);
break; break;
case 'f': case 'f':
if (Name == "fabs") if (Name == "fabs")
@ -403,7 +414,7 @@ llvm::ConstantFoldCall(Function *F, Constant** Operands, unsigned NumOperands) {
break; break;
case 'l': case 'l':
if (Name == "log" && V > 0) if (Name == "log" && V > 0)
return ConstantFP::get(Ty, log(V)); return ConstantFoldFP(log, V, Ty);
else if (Name == "log10" && V > 0) else if (Name == "log10" && V > 0)
return ConstantFoldFP(log10, V, Ty); return ConstantFoldFP(log10, V, Ty);
else if (Name == "llvm.sqrt.f32" || Name == "llvm.sqrt.f64") { else if (Name == "llvm.sqrt.f32" || Name == "llvm.sqrt.f64") {
@ -415,19 +426,19 @@ llvm::ConstantFoldCall(Function *F, Constant** Operands, unsigned NumOperands) {
break; break;
case 's': case 's':
if (Name == "sin") if (Name == "sin")
return ConstantFP::get(Ty, sin(V)); return ConstantFoldFP(sin, V, Ty);
else if (Name == "sinh") else if (Name == "sinh")
return ConstantFP::get(Ty, sinh(V)); return ConstantFoldFP(sinh, V, Ty);
else if (Name == "sqrt" && V >= 0) else if (Name == "sqrt" && V >= 0)
return ConstantFP::get(Ty, sqrt(V)); return ConstantFoldFP(sqrt, V, Ty);
else if (Name == "sqrtf" && V >= 0) else if (Name == "sqrtf" && V >= 0)
return ConstantFP::get(Ty, sqrt((float)V)); return ConstantFoldFP(sqrt, V, Ty);
break; break;
case 't': case 't':
if (Name == "tan") if (Name == "tan")
return ConstantFP::get(Ty, tan(V)); return ConstantFoldFP(tan, V, Ty);
else if (Name == "tanh") else if (Name == "tanh")
return ConstantFP::get(Ty, tanh(V)); return ConstantFoldFP(tanh, V, Ty);
break; break;
default: default:
break; break;
@ -453,17 +464,11 @@ llvm::ConstantFoldCall(Function *F, Constant** Operands, unsigned NumOperands) {
double Op2V = Op2->getValue(); double Op2V = Op2->getValue();
if (Name == "pow") { if (Name == "pow") {
errno = 0; return ConstantFoldBinaryFP(pow, Op1V, Op2V, Ty);
double V = pow(Op1V, Op2V);
if (errno == 0)
return ConstantFP::get(Ty, V);
} else if (Name == "fmod") { } else if (Name == "fmod") {
errno = 0; return ConstantFoldBinaryFP(fmod, Op1V, Op2V, Ty);
double V = fmod(Op1V, Op2V);
if (errno == 0)
return ConstantFP::get(Ty, V);
} else if (Name == "atan2") { } else if (Name == "atan2") {
return ConstantFP::get(Ty, atan2(Op1V,Op2V)); return ConstantFoldBinaryFP(atan2, Op1V, Op2V, Ty);
} }
} else if (ConstantInt *Op2C = dyn_cast<ConstantInt>(Operands[1])) { } else if (ConstantInt *Op2C = dyn_cast<ConstantInt>(Operands[1])) {
if (Name == "llvm.powi.f32") { if (Name == "llvm.powi.f32") {