This file implements the IRTranslator class. More...

#include "llvm/CodeGen/GlobalISel/IRTranslator.h"
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/BranchProbabilityInfo.h"
#include "llvm/Analysis/Loads.h"
#include "llvm/Analysis/OptimizationRemarkEmitter.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/Analysis/VectorUtils.h"
#include "llvm/CodeGen/Analysis.h"
#include "llvm/CodeGen/GlobalISel/CSEInfo.h"
#include "llvm/CodeGen/GlobalISel/CSEMIRBuilder.h"
#include "llvm/CodeGen/GlobalISel/CallLowering.h"
#include "llvm/CodeGen/GlobalISel/GISelChangeObserver.h"
#include "llvm/CodeGen/GlobalISel/InlineAsmLowering.h"
#include "llvm/CodeGen/GlobalISel/MachineIRBuilder.h"
#include "llvm/CodeGen/LowLevelTypeUtils.h"
#include "llvm/CodeGen/MachineBasicBlock.h"
#include "llvm/CodeGen/MachineFrameInfo.h"
#include "llvm/CodeGen/MachineFunction.h"
#include "llvm/CodeGen/MachineInstrBuilder.h"
#include "llvm/CodeGen/MachineMemOperand.h"
#include "llvm/CodeGen/MachineModuleInfo.h"
#include "llvm/CodeGen/MachineOperand.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/CodeGen/RuntimeLibcallUtil.h"
#include "llvm/CodeGen/StackProtector.h"
#include "llvm/CodeGen/SwitchLoweringUtils.h"
#include "llvm/CodeGen/TargetFrameLowering.h"
#include "llvm/CodeGen/TargetInstrInfo.h"
#include "llvm/CodeGen/TargetLowering.h"
#include "llvm/CodeGen/TargetOpcodes.h"
#include "llvm/CodeGen/TargetPassConfig.h"
#include "llvm/CodeGen/TargetRegisterInfo.h"
#include "llvm/CodeGen/TargetSubtargetInfo.h"
#include "llvm/CodeGenTypes/LowLevelType.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/CFG.h"
#include "llvm/IR/Constant.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/DiagnosticInfo.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/GetElementPtrTypeIterator.h"
#include "llvm/IR/InlineAsm.h"
#include "llvm/IR/InstrTypes.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Intrinsics.h"
#include "llvm/IR/IntrinsicsAMDGPU.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/IR/Statepoint.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/User.h"
#include "llvm/IR/Value.h"
#include "llvm/InitializePasses.h"
#include "llvm/MC/MCContext.h"
#include "llvm/Pass.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CodeGen.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Target/TargetIntrinsicInfo.h"
#include "llvm/Target/TargetMachine.h"
#include "llvm/Transforms/Utils/Local.h"
#include "llvm/Transforms/Utils/MemoryOpRemark.h"
#include <algorithm>
#include <cassert>
#include <cstdint>
#include <iterator>
#include <optional>
#include <string>
#include <utility>
#include <vector>
#include "llvm/IR/ConstrainedOps.def"
#include "llvm/IR/Instruction.def"

Macros
#define	DEBUG_TYPE "irtranslator"

#define	INSTRUCTION(NAME, NARG, ROUND_MODE, INTRINSIC) case Intrinsic::INTRINSIC:

#define	HANDLE_INST(NUM, OPCODE, CLASS)

#define	HANDLE_INST(NUM, OPCODE, CLASS)

Functions
	INITIALIZE_PASS_BEGIN (IRTranslator, DEBUG_TYPE, "IRTranslator LLVM IR -> MI", false, false) INITIALIZE_PASS_END(IRTranslator

IRTranslator LLVM IR static false void	reportTranslationError (MachineFunction &MF, const TargetPassConfig &TPC, OptimizationRemarkEmitter &ORE, OptimizationRemarkMissed &R)

static bool	isValInBlock (const Value V, const BasicBlock BB)

static bool	isSwiftError (const Value *V)

static uint64_t	getOffsetFromIndices (const User &U, const DataLayout &DL)

static unsigned	getConstrainedOpcode (Intrinsic::ID ID)

static unsigned	getConvOpcode (Intrinsic::ID ID)

static bool	checkForMustTailInVarArgFn (bool IsVarArg, const BasicBlock &BB)
	Returns true if a BasicBlock `BB` within a variadic function contains a variadic musttail call.

Variables
static cl::opt< bool >	EnableCSEInIRTranslator ("enable-cse-in-irtranslator", cl::desc("Should enable CSE in irtranslator"), cl::Optional, cl::init(false))

	DEBUG_TYPE

IRTranslator LLVM IR	MI

IRTranslator LLVM IR	false

Detailed Description

This file implements the IRTranslator class.

Definition in file IRTranslator.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "irtranslator"

Definition at line 96 of file IRTranslator.cpp.

◆ HANDLE_INST [1/2]

#define HANDLE_INST	(	NUM,
		OPCODE,
		CLASS
	)

Value:

case Instruction::OPCODE: \

return translate##OPCODE(Inst, *CurBuilder.get());

OPCODE

#define OPCODE(NAME)

◆ HANDLE_INST [2/2]

#define HANDLE_INST	(	NUM,
		OPCODE,
		CLASS
	)

Value:

case Instruction::OPCODE: \

return translate##OPCODE(*CE, *EntryBuilder.get());

◆ INSTRUCTION

#define INSTRUCTION	(	NAME,
		NARG,
		ROUND_MODE,
		INTRINSIC
	)	case Intrinsic::INTRINSIC:

Function Documentation

◆ checkForMustTailInVarArgFn()

static bool checkForMustTailInVarArgFn	(	bool	IsVarArg,
		const BasicBlock &	BB
	)

static

Returns true if a BasicBlock BB within a variadic function contains a variadic musttail call.

Definition at line 3821 of file IRTranslator.cpp.

References llvm::any_of(), I, llvm::CallInst::isMustTailCall(), and llvm::reverse().

Referenced by llvm::IRTranslator::runOnMachineFunction().

◆ getConstrainedOpcode()

static unsigned getConstrainedOpcode ( Intrinsic::ID ID )

static

Definition at line 2032 of file IRTranslator.cpp.

◆ getConvOpcode()

static unsigned getConvOpcode ( Intrinsic::ID ID )

static

Definition at line 2119 of file IRTranslator.cpp.

References llvm_unreachable.

◆ getOffsetFromIndices()

static uint64_t getOffsetFromIndices	(	const User &	U,
		const DataLayout &	DL
	)

static

Definition at line 1450 of file IRTranslator.cpp.

References DL, llvm::drop_begin(), llvm::Type::getInt32Ty(), Idx, and llvm::SmallVectorTemplateBase< T, bool >::push_back().

◆ INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	IRTranslator	,
		DEBUG_TYPE	,
		"IRTranslator LLVM IR -> MI"	,
		false	,
		false
	)

◆ isSwiftError()

static bool isSwiftError ( const Value * V )

static

Definition at line 1354 of file IRTranslator.cpp.

References llvm::AllocaInst::isSwiftError().

◆ isValInBlock()

static bool isValInBlock	(	const Value *	V,
		const BasicBlock *	BB
	)

static

Definition at line 413 of file IRTranslator.cpp.

References I.

◆ reportTranslationError()

IRTranslator LLVM IR static false void reportTranslationError	(	MachineFunction &	MF,
		const TargetPassConfig &	TPC,
		OptimizationRemarkEmitter &	ORE,
		OptimizationRemarkMissed &	R
	)

static

Definition at line 116 of file IRTranslator.cpp.

References llvm::report_fatal_error().

Referenced by llvm::IRTranslator::runOnMachineFunction().

Variable Documentation

◆ DEBUG_TYPE

DEBUG_TYPE

Definition at line 113 of file IRTranslator.cpp.

◆ EnableCSEInIRTranslator

cl::opt< bool > EnableCSEInIRTranslator("enable-cse-in-irtranslator", cl::desc("Should enable CSE in irtranslator"), cl::Optional, cl::init(false))	(	"enable-cse-in-irtranslator"	,
		cl::desc("Should enable CSE in irtranslator")	,
		cl::Optional	,
		cl::init(false)
	)

static

Referenced by llvm::IRTranslator::runOnMachineFunction().

◆ false

IRTranslator LLVM IR false

Definition at line 114 of file IRTranslator.cpp.

◆ MI

IRTranslator LLVM IR MI

Definition at line 113 of file IRTranslator.cpp.

Macros

Functions

Variables

Detailed Description

Macro Definition Documentation

◆ DEBUG_TYPE

◆ HANDLE_INST [1/2]

◆ HANDLE_INST [2/2]

◆ INSTRUCTION

Function Documentation

◆ checkForMustTailInVarArgFn()

◆ getConstrainedOpcode()

◆ getConvOpcode()

◆ getOffsetFromIndices()

◆ INITIALIZE_PASS_BEGIN()

◆ isSwiftError()

◆ isValInBlock()

◆ reportTranslationError()

Variable Documentation

◆ DEBUG_TYPE

◆ EnableCSEInIRTranslator

◆ false

◆ MI