From 495d10ad56d1113ba33e0589e7c4f96f3c16fa52 Mon Sep 17 00:00:00 2001 From: Michael Ilseman Date: Tue, 27 Nov 2012 00:43:38 +0000 Subject: 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 --- lib/Bitcode/Writer/BitcodeWriter.cpp | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'lib/Bitcode/Writer/BitcodeWriter.cpp') 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(V)) { if (PEO->isExact()) Flags |= 1 << bitc::PEO_EXACT; + } else if (const FPMathOperator *FPMO = + dyn_cast(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; -- cgit v1.2.3-18-g5258