diff options
Diffstat (limited to 'lib/Bitcode')
| -rw-r--r-- | lib/Bitcode/Reader/BitcodeReader.cpp | 15 | ||||
| -rw-r--r-- | lib/Bitcode/Writer/BitcodeWriter.cpp | 12 |
2 files changed, 27 insertions, 0 deletions
diff --git a/lib/Bitcode/Reader/BitcodeReader.cpp b/lib/Bitcode/Reader/BitcodeReader.cpp index d3c8678578..f31637e044 100644 --- a/lib/Bitcode/Reader/BitcodeReader.cpp +++ b/lib/Bitcode/Reader/BitcodeReader.cpp @@ -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; } diff --git a/lib/Bitcode/Writer/BitcodeWriter.cpp b/lib/Bitcode/Writer/BitcodeWriter.cpp index cf3c9fd74e..6206479b8d 100644 --- a/lib/Bitcode/Writer/BitcodeWriter.cpp +++ b/lib/Bitcode/Writer/BitcodeWriter.cpp @@ -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; |