aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhexcoder- <heiko@hexco.de>2019-09-23 21:57:38 +0200
committerhexcoder- <heiko@hexco.de>2019-09-23 21:57:38 +0200
commit59d4b0aadb11c893d10a838fa5795286d3fd7264 (patch)
treef825b3c9404d129826a8ca8485af583f578d5fab
parente36e5f4fc927370c3c04fd589aca23197e1b518a (diff)
downloadafl++-59d4b0aadb11c893d10a838fa5795286d3fd7264.tar.gz
avoid floatSemantics, not available in LLVM 3.8.0
-rw-r--r--llvm_mode/split-compares-pass.so.cc27
1 files changed, 13 insertions, 14 deletions
diff --git a/llvm_mode/split-compares-pass.so.cc b/llvm_mode/split-compares-pass.so.cc
index c5da42c0..b6d16331 100644
--- a/llvm_mode/split-compares-pass.so.cc
+++ b/llvm_mode/split-compares-pass.so.cc
@@ -22,7 +22,6 @@
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/IR/Verifier.h"
#include "llvm/IR/Module.h"
-#include "llvm/ADT/APFloat.h"
#include "llvm/IR/IRBuilder.h"
@@ -497,9 +496,12 @@ size_t SplitComparesTransform::splitFPCompares(Module &M) {
continue;
}
- const unsigned int precision = llvm::APFloatBase::semanticsPrecision(op0->getType()->getFltSemantics());
- const unsigned int sizeInBits = llvm::APFloatBase::semanticsSizeInBits(op0->getType()->getFltSemantics());
-
+ const unsigned int sizeInBits = op0->getType()->getPrimitiveSizeInBits();
+ const unsigned int precision = sizeInBits == 32 ? 24 :
+ sizeInBits == 64 ? 53 :
+ sizeInBits == 128 ? 113 :
+ sizeInBits == 16 ? 11 :
+ 65;
const unsigned shiftR_exponent = precision - 1;
const unsigned long long mask_fraction = ((1 << (precision - 2))) | ((1 << (precision - 2)) - 1);
@@ -573,20 +575,17 @@ size_t SplitComparesTransform::splitFPCompares(Module &M) {
signequal_bb->getInstList().insert(signequal_bb->getTerminator()->getIterator(), s_e0);
signequal_bb->getInstList().insert(signequal_bb->getTerminator()->getIterator(), s_e1);
+ t_e0 = new TruncInst(s_e0, IntExponentTy);
+ t_e1 = new TruncInst(s_e1, IntExponentTy);
+ signequal_bb->getInstList().insert(signequal_bb->getTerminator()->getIterator(), t_e0);
+ signequal_bb->getInstList().insert(signequal_bb->getTerminator()->getIterator(), t_e1);
+
if (sizeInBits - precision < exTySizeBytes * 8) {
- m_e0 = BinaryOperator::Create(Instruction::And, s_e0, ConstantInt::get(s_e0->getType(), mask_exponent));
- m_e1 = BinaryOperator::Create(Instruction::And, s_e1, ConstantInt::get(s_e1->getType(), mask_exponent));
+ m_e0 = BinaryOperator::Create(Instruction::And, t_e0, ConstantInt::get(t_e0->getType(), mask_exponent));
+ m_e1 = BinaryOperator::Create(Instruction::And, t_e1, ConstantInt::get(t_e1->getType(), mask_exponent));
signequal_bb->getInstList().insert(signequal_bb->getTerminator()->getIterator(), m_e0);
signequal_bb->getInstList().insert(signequal_bb->getTerminator()->getIterator(), m_e1);
-
- t_e0 = new TruncInst(m_e0, IntExponentTy);
- t_e1 = new TruncInst(m_e1, IntExponentTy);
- } else {
- t_e0 = new TruncInst(s_e0, IntExponentTy);
- t_e1 = new TruncInst(s_e1, IntExponentTy);
}
- signequal_bb->getInstList().insert(signequal_bb->getTerminator()->getIterator(), t_e0);
- signequal_bb->getInstList().insert(signequal_bb->getTerminator()->getIterator(), t_e1);
/* compare the exponents of the operands */
Instruction *icmp_exponent_result;
switch (FcmpInst->getPredicate()) {