Fast-math flags for the bitcode

Added in bitcode enum for the serializing of fast-math flags. Added in the reading/writing of fast-math flags from the OptimizationFlags record for BinaryOps.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@168646 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Michael Ilseman
2012-11-27 00:43:38 +00:00
parent 15c13d3e63
commit 495d10ad56
3 changed files with 37 additions and 0 deletions
+15
View File
@@ -2044,7 +2044,22 @@ bool BitcodeReader::ParseFunctionBody(Function *F) {
Opc == Instruction::AShr) {
if (Record[OpNum] & (1 << bitc::PEO_EXACT))
cast<BinaryOperator>(I)->setIsExact(true);
} else if (isa<FPMathOperator>(I)) {
FastMathFlags FMF;
FMF.UnsafeAlgebra =
0 != (Record[OpNum] & (1 << bitc::FMF_UNSAFE_ALGEBRA));
FMF.NoNaNs
= 0 != (Record[OpNum] & (1 << bitc::FMF_NO_NANS));
FMF.NoInfs
= 0 != (Record[OpNum] & (1 << bitc::FMF_NO_INFS));
FMF.NoSignedZeros
= 0 != (Record[OpNum] & (1 << bitc::FMF_NO_SIGNED_ZEROS));
FMF.AllowReciprocal
= 0 != (Record[OpNum] & (1 << bitc::FMF_ALLOW_RECIPROCAL));
if (FMF.any())
I->setFastMathFlags(FMF);
}
}
break;
}
+12
View File
@@ -553,6 +553,18 @@ static uint64_t GetOptimizationFlags(const Value *V) {
dyn_cast<PossiblyExactOperator>(V)) {
if (PEO->isExact())
Flags |= 1 << bitc::PEO_EXACT;
} else if (const FPMathOperator *FPMO =
dyn_cast<const FPMathOperator>(V)) {
if (FPMO->hasUnsafeAlgebra())
Flags |= 1 << bitc::FMF_UNSAFE_ALGEBRA;
if (FPMO->hasNoNaNs())
Flags |= 1 << bitc::FMF_NO_NANS;
if (FPMO->hasNoInfs())
Flags |= 1 << bitc::FMF_NO_INFS;
if (FPMO->hasNoSignedZeros())
Flags |= 1 << bitc::FMF_NO_SIGNED_ZEROS;
if (FPMO->hasAllowReciprocal())
Flags |= 1 << bitc::FMF_ALLOW_RECIPROCAL;
}
return Flags;