#include "llvm/Analysis/MemoryBuiltins.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/TargetFolder.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/Analysis/Utils/Local.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Argument.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/GlobalAlias.h"
#include "llvm/IR/GlobalVariable.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Operator.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <cstdint>
#include <iterator>
#include <numeric>
#include <optional>
#include <type_traits>
#include <utility>

Include dependency graph for MemoryBuiltins.cpp:

Classes
struct	AllocFnsTy

struct	FreeFnsTy

Macros
#define	DEBUG_TYPE "memory-builtins"

Enumerations
enum	AllocType : uint8_t { OpNewLike = 1<<0 , MallocLike = 1<<1 , StrDupLike = 1<<2 , MallocOrOpNewLike = MallocLike \| OpNewLike , AllocLike = MallocOrOpNewLike \| StrDupLike , AnyAlloc = AllocLike }

enum class	MallocFamily { Malloc , CPPNew , CPPNewAligned , CPPNewArray , CPPNewArrayAligned , MSVCNew , MSVCArrayNew , VecMalloc , KmpcAllocShared }

Functions
StringRef	mangledNameForMallocFamily (const MallocFamily &Family)

static const Function *	getCalledFunction (const Value *V, bool &IsNoBuiltin)

static std::optional< AllocFnsTy >	getAllocationDataForFunction (const Function Callee, AllocType AllocTy, const TargetLibraryInfo TLI)
	Returns the allocation data for the given value if it's a call to a known allocation function.

static std::optional< AllocFnsTy >	getAllocationData (const Value V, AllocType AllocTy, const TargetLibraryInfo TLI)

static std::optional< AllocFnsTy >	getAllocationData (const Value *V, AllocType AllocTy, function_ref< const TargetLibraryInfo &(Function &)> GetTLI)

static std::optional< AllocFnsTy >	getAllocationSize (const Value V, const TargetLibraryInfo TLI)

static AllocFnKind	getAllocFnKind (const Value *V)

static AllocFnKind	getAllocFnKind (const Function *F)

static bool	checkFnAllocKind (const Value *V, AllocFnKind Wanted)

static bool	checkFnAllocKind (const Function *F, AllocFnKind Wanted)

static bool	CheckedZextOrTrunc (APInt &I, unsigned IntTyBits)
	When we're compiling N-bit code, and the user uses parameters that are greater than N bits (e.g.

std::optional< FreeFnsTy >	getFreeFunctionDataForFunction (const Function *Callee, const LibFunc TLIFn)

static APInt	getSizeWithOverflow (const SizeOffsetType &Data)

	STATISTIC (ObjectVisitorArgument, "Number of arguments with unsolved size and offset")

	STATISTIC (ObjectVisitorLoad, "Number of load instructions with unsolved size and offset")

Variables
static const std::pair< LibFunc, AllocFnsTy >	AllocationFnData []

static const std::pair< LibFunc, FreeFnsTy >	FreeFnData []

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "memory-builtins"

Definition at line 51 of file MemoryBuiltins.cpp.

Enumeration Type Documentation

◆ AllocType

enum AllocType : uint8_t

Enumerator
OpNewLike
MallocLike
StrDupLike
MallocOrOpNewLike
AllocLike
AnyAlloc

Definition at line 53 of file MemoryBuiltins.cpp.

◆ MallocFamily

enum class MallocFamily

strong

Enumerator
Malloc
CPPNew
CPPNewAligned
CPPNewArray
CPPNewArrayAligned
MSVCNew
MSVCArrayNew
VecMalloc
KmpcAllocShared

Definition at line 62 of file MemoryBuiltins.cpp.

Function Documentation

◆ CheckedZextOrTrunc()

static bool CheckedZextOrTrunc	(	APInt &	I,
		unsigned	IntTyBits
	)

static

When we're compiling N-bit code, and the user uses parameters that are greater than N bits (e.g.

uint64_t on a 32-bit build), we can run into trouble with APInt size issues. This function handles resizing + overflow checks for us. Check and zext or trunc I depending on IntTyBits and I's value.

Definition at line 355 of file MemoryBuiltins.cpp.

References I.

Referenced by llvm::getAllocSize().