SimplifyLibCalls.cpp File Reference

#include "llvm/Transforms/Utils/SimplifyLibCalls.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringMap.h"
#include "llvm/ADT/Triple.h"
#include "llvm/Analysis/BlockFrequencyInfo.h"
#include "llvm/Analysis/ConstantFolding.h"
#include "llvm/Analysis/OptimizationRemarkEmitter.h"
#include "llvm/Analysis/ProfileSummaryInfo.h"
#include "llvm/Transforms/Utils/Local.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/Analysis/CaptureTracking.h"
#include "llvm/Analysis/Loads.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Intrinsics.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/KnownBits.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Transforms/Utils/BuildLibCalls.h"
#include "llvm/Transforms/Utils/SizeOpts.h"

Include dependency graph for SimplifyLibCalls.cpp:

Go to the source code of this file.

Functions
static bool	ignoreCallingConv (LibFunc Func)
static bool	isOnlyUsedInEqualityComparison (Value *V, Value *With)
	Return true if it is only used in equality comparisons with With. More...
static bool	callHasFloatingPointArgument (const CallInst *CI)
static bool	callHasFP128Argument (const CallInst *CI)
static Value *	convertStrToNumber (CallInst *CI, StringRef &Str, int64_t Base)
static bool	isOnlyUsedInComparisonWithZero (Value *V)
static bool	canTransformToMemCmp (CallInst *CI, Value *Str, uint64_t Len, const DataLayout &DL)
static void	annotateDereferenceableBytes (CallInst *CI, ArrayRef< unsigned > ArgNos, uint64_t DereferenceableBytes)
static void	annotateNonNullNoUndefBasedOnAccess (CallInst *CI, ArrayRef< unsigned > ArgNos)
static void	annotateNonNullAndDereferenceable (CallInst *CI, ArrayRef< unsigned > ArgNos, Value *Size, const DataLayout &DL)
static Value *	optimizeMemCmpConstantSize (CallInst *CI, Value *LHS, Value *RHS, uint64_t Len, IRBuilderBase &B, const DataLayout &DL)
static Value *	replaceUnaryCall (CallInst *CI, IRBuilderBase &B, Intrinsic::ID IID)
static Value *	valueHasFloatPrecision (Value *Val)
	Return a variant of Val with float type. More...
static Value *	optimizeDoubleFP (CallInst *CI, IRBuilderBase &B, bool isBinary, bool isPrecise=false)
	Shrink double -> float functions. More...
static Value *	optimizeUnaryDoubleFP (CallInst *CI, IRBuilderBase &B, bool isPrecise=false)
	Shrink double -> float for unary functions. More...
static Value *	optimizeBinaryDoubleFP (CallInst *CI, IRBuilderBase &B, bool isPrecise=false)
	Shrink double -> float for binary functions. More...
static Value *	optimizeTrigReflections (CallInst *Call, LibFunc Func, IRBuilderBase &B)
static Value *	getPow (Value *InnerChain[33], unsigned Exp, IRBuilderBase &B)
static Value *	getIntToFPVal (Value *I2F, IRBuilderBase &B, unsigned DstWidth)
static Value *	getSqrtCall (Value *V, AttributeList Attrs, bool NoErrno, Module *M, IRBuilderBase &B, const TargetLibraryInfo *TLI)
static Value *	createPowWithIntegerExponent (Value *Base, Value *Expo, Module *M, IRBuilderBase &B)
static bool	isTrigLibCall (CallInst *CI)
static void	insertSinCosCall (IRBuilderBase &B, Function *OrigCallee, Value *Arg, bool UseFloat, Value *&Sin, Value *&Cos, Value *&SinCos)
static bool	isReportingError (Function *Callee, CallInst *CI, int StreamArg)

Variables
static cl::opt< bool >	EnableUnsafeFPShrink ("enable-double-float-shrink", cl::Hidden, cl::init(false), cl::desc("Enable unsafe double to float " "shrinking for math lib calls"))

Function Documentation

annotateDereferenceableBytes()

static void annotateDereferenceableBytes ( CallInst *  CI, ArrayRef< unsigned >  ArgNos, uint64_t  DereferenceableBytes  )

static

Definition at line 134 of file SimplifyLibCalls.cpp.

References llvm::CallBase::addParamAttr(), F, llvm::CallBase::getArgOperand(), llvm::CallBase::getCaller(), llvm::Value::getContext(), llvm::CallBase::getParamDereferenceableBytes(), llvm::CallBase::getParamDereferenceableOrNullBytes(), llvm::Type::getPointerAddressSpace(), llvm::Value::getType(), llvm::Attribute::getWithDereferenceableBytes(), llvm::max(), llvm::NullPointerIsDefined(), llvm::CallBase::paramHasAttr(), and llvm::CallBase::removeParamAttr().

Referenced by annotateNonNullAndDereferenceable(), and annotateNonNullNoUndefBasedOnAccess().

annotateNonNullAndDereferenceable()

static void annotateNonNullAndDereferenceable ( CallInst *  CI, ArrayRef< unsigned >  ArgNos, Value *  Size, const DataLayout &  DL  )

static

Definition at line 180 of file SimplifyLibCalls.cpp.

References annotateDereferenceableBytes(), annotateNonNullNoUndefBasedOnAccess(), DL, llvm::isKnownNonZero(), llvm::PatternMatch::m_APInt(), llvm::PatternMatch::m_Select(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), llvm::min(), llvm::Check::Size, X, and Y.

annotateNonNullNoUndefBasedOnAccess()

static void annotateNonNullNoUndefBasedOnAccess ( CallInst *  CI, ArrayRef< unsigned >  ArgNos  )

static

Definition at line 159 of file SimplifyLibCalls.cpp.

References llvm::CallBase::addParamAttr(), annotateDereferenceableBytes(), F, llvm::CallBase::getArgOperand(), llvm::CallBase::getCaller(), llvm::Type::getPointerAddressSpace(), llvm::Value::getType(), llvm::NullPointerIsDefined(), and llvm::CallBase::paramHasAttr().

Referenced by annotateNonNullAndDereferenceable().

callHasFloatingPointArgument()

static bool callHasFloatingPointArgument ( const CallInst *  CI )

static

Definition at line 71 of file SimplifyLibCalls.cpp.

References llvm::any_of(), and llvm::User::operands().

callHasFP128Argument()

static bool callHasFP128Argument ( const CallInst *  CI )

static

Definition at line 77 of file SimplifyLibCalls.cpp.

References llvm::any_of(), and llvm::User::operands().

canTransformToMemCmp()

static bool canTransformToMemCmp ( CallInst *  CI, Value *  Str, uint64_t  Len, const DataLayout &  DL  )

static

Definition at line 120 of file SimplifyLibCalls.cpp.

References Align, DL, llvm::Instruction::getFunction(), llvm::Function::hasFnAttribute(), llvm::isDereferenceableAndAlignedPointer(), and isOnlyUsedInComparisonWithZero().

convertStrToNumber()

static Value* convertStrToNumber ( CallInst *  CI, StringRef &  Str, int64_t  Base  )

static

Definition at line 83 of file SimplifyLibCalls.cpp.

References llvm::sampleprof::Base.

createPowWithIntegerExponent()

static Value* createPowWithIntegerExponent ( Value *  Base, Value *  Expo, Module *  M, IRBuilderBase &  B  )

static

Definition at line 1614 of file SimplifyLibCalls.cpp.

References llvm::AMDGPU::HSAMD::Kernel::Key::Args, B, llvm::sampleprof::Base, F, llvm::Intrinsic::getDeclaration(), llvm::Value::getType(), M, and powi().

getIntToFPVal()

static Value* getIntToFPVal ( Value *  I2F, IRBuilderBase &  B, unsigned  DstWidth  )

static

Definition at line 1379 of file SimplifyLibCalls.cpp.

References B, and llvm::BitWidth.

getPow()

static Value* getPow ( Value *  InnerChain[33], unsigned  Exp, IRBuilderBase &  B  )

static

Definition at line 1352 of file SimplifyLibCalls.cpp.

References assert(), and B.

getSqrtCall()

static Value* getSqrtCall ( Value *  V, AttributeList  Attrs, bool  NoErrno, Module *  M, IRBuilderBase &  B, const TargetLibraryInfo *  TLI  )

static

Definition at line 1542 of file SimplifyLibCalls.cpp.

References Attrs, B, llvm::emitUnaryFloatFnCall(), llvm::Intrinsic::getDeclaration(), llvm::Value::getType(), llvm::hasFloatFn(), and M.

ignoreCallingConv()

static bool ignoreCallingConv ( LibFunc  Func )

static

Definition at line 54 of file SimplifyLibCalls.cpp.

Referenced by llvm::FortifiedLibCallSimplifier::optimizeCall(), and llvm::LibCallSimplifier::optimizeCall().

insertSinCosCall()

static void insertSinCosCall ( IRBuilderBase &  B, Function *  OrigCallee, Value *  Arg, bool  UseFloat, Value *&  Sin, Value *&  Cos, Value *&  SinCos  )

static

Definition at line 2056 of file SimplifyLibCalls.cpp.

References Arg, assert(), B, llvm::BasicBlock::begin(), Callee, llvm::ConstantInt::get(), llvm::StructType::get(), llvm::FixedVectorType::get(), llvm::Function::getAttributes(), llvm::GlobalValue::getParent(), llvm::Module::getTargetTriple(), llvm::Value::getType(), llvm::Type::isStructTy(), M, llvm::Triple::x86, and llvm::Triple::x86_64.

isOnlyUsedInComparisonWithZero()

static bool isOnlyUsedInComparisonWithZero ( Value *  V )

static

Definition at line 108 of file SimplifyLibCalls.cpp.

References llvm::Value::users().

Referenced by canTransformToMemCmp().

isOnlyUsedInEqualityComparison()

static bool isOnlyUsedInEqualityComparison ( Value *  V, Value *  With  )

static

Return true if it is only used in equality comparisons with With.

Definition at line 60 of file SimplifyLibCalls.cpp.

References llvm::Value::users().

isReportingError()

static bool isReportingError ( Function *  Callee, CallInst *  CI, int  StreamArg  )

static

Definition at line 2291 of file SimplifyLibCalls.cpp.

References llvm::CallBase::arg_size(), Callee, llvm::CallBase::getArgOperand(), llvm::Value::getName(), llvm::LoadInst::getPointerOperand(), and llvm::GlobalValue::isDeclaration().

isTrigLibCall()

static bool isTrigLibCall ( CallInst *  CI )

static

Definition at line 2048 of file SimplifyLibCalls.cpp.

References llvm::CallBase::hasFnAttr().

optimizeBinaryDoubleFP()

static Value* optimizeBinaryDoubleFP ( CallInst *  CI, IRBuilderBase &  B, bool  isPrecise = false  )

static

Shrink double -> float for binary functions.

Definition at line 1283 of file SimplifyLibCalls.cpp.

References B, and optimizeDoubleFP().

optimizeDoubleFP()

static Value* optimizeDoubleFP ( CallInst *  CI, IRBuilderBase &  B, bool  isBinary, bool  isPrecise = false  )

static

Shrink double -> float functions.

Definition at line 1219 of file SimplifyLibCalls.cpp.

References B, llvm::StringRef::back(), llvm::emitBinaryFloatFnCall(), llvm::emitUnaryFloatFnCall(), llvm::StringRef::empty(), llvm::CallBase::getArgOperand(), llvm::Function::getAttributes(), llvm::CallBase::getCalledFunction(), llvm::Intrinsic::getDeclaration(), llvm::Instruction::getFastMathFlags(), llvm::Instruction::getFunction(), llvm::Function::getIntrinsicID(), llvm::Instruction::getModule(), llvm::Value::getName(), llvm::Value::getType(), isBinary(), llvm::Type::isDoubleTy(), llvm::Type::isFloatTy(), llvm::Function::isIntrinsic(), M, llvm::StringRef::size(), llvm::StringRef::startswith(), llvm::Value::users(), and valueHasFloatPrecision().

Referenced by optimizeBinaryDoubleFP(), and optimizeUnaryDoubleFP().

optimizeMemCmpConstantSize()

static Value* optimizeMemCmpConstantSize ( CallInst *  CI, Value *  LHS, Value *  RHS, uint64_t  Len, IRBuilderBase &  B, const DataLayout &  DL  )

static

Definition at line 953 of file SimplifyLibCalls.cpp.

References B, llvm::castToCStr(), llvm::ConstantFoldLoadFromConstPtr(), llvm::StringRef::data(), DL, llvm::IntegerType::get(), llvm::ConstantInt::get(), llvm::ConstantExpr::getBitCast(), llvm::getConstantStringInfo(), llvm::Value::getContext(), llvm::getKnownAlignment(), llvm::Constant::getNullValue(), llvm::Type::getPointerAddressSpace(), llvm::Type::getPointerTo(), llvm::Value::getType(), llvm::isOnlyUsedInZeroEqualityComparison(), memcmp, llvm::MipsISD::Ret, and llvm::StringRef::size().

optimizeTrigReflections()

static Value* optimizeTrigReflections ( CallInst *  Call, LibFunc  Func, IRBuilderBase &  B  )

static

Definition at line 1317 of file SimplifyLibCalls.cpp.

References B, llvm::PatternMatch::m_FNeg(), llvm::PatternMatch::m_OneUse(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), and X.

optimizeUnaryDoubleFP()

static Value* optimizeUnaryDoubleFP ( CallInst *  CI, IRBuilderBase &  B, bool  isPrecise = false  )

static

Shrink double -> float for unary functions.

Definition at line 1277 of file SimplifyLibCalls.cpp.

References B, and optimizeDoubleFP().

replaceUnaryCall()

static Value* replaceUnaryCall ( CallInst *  CI, IRBuilderBase &  B, Intrinsic::ID  IID  )

static

Definition at line 1182 of file SimplifyLibCalls.cpp.

References B, F, llvm::CallBase::getArgOperand(), llvm::Intrinsic::getDeclaration(), llvm::Instruction::getFastMathFlags(), llvm::Instruction::getModule(), llvm::Value::getType(), M, and llvm::Value::takeName().

valueHasFloatPrecision()

static Value* valueHasFloatPrecision ( Value *  Val )

static

Return a variant of Val with float type.

Currently this works in two cases: If Val is an FPExtension of a float value to something bigger, simply return the operand. If Val is a ConstantFP but can be converted to a float ConstantFP without loss of precision do so.

Definition at line 1201 of file SimplifyLibCalls.cpp.

References F, llvm::ConstantFP::get(), llvm::APFloatBase::IEEEsingle(), and llvm::APFloatBase::rmNearestTiesToEven.

Referenced by optimizeDoubleFP().

Variable Documentation

EnableUnsafeFPShrink

cl::opt<bool> EnableUnsafeFPShrink("enable-double-float-shrink", cl::Hidden, cl::init(false), cl::desc("Enable unsafe double to float " "shrinking for math lib calls"))

static

Referenced by llvm::LibCallSimplifier::optimizeCall().