#include "clang/CIR/Dialect/IR/CIRDialect.h"
#include "clang/CIR/Dialect/IR/CIRAttrs.h"
#include "clang/CIR/Dialect/IR/CIROpsEnums.h"
#include "clang/CIR/Dialect/IR/CIRTypes.h"
#include "mlir/IR/Attributes.h"
#include "mlir/IR/DialectImplementation.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/Interfaces/ControlFlowInterfaces.h"
#include "mlir/Interfaces/FunctionImplementation.h"
#include "mlir/Support/LLVM.h"
#include "clang/CIR/Dialect/IR/CIROpsDialect.cpp.inc"
#include "clang/CIR/Dialect/IR/CIROpsEnums.cpp.inc"
#include "clang/CIR/MissingFeatures.h"
#include "llvm/ADT/SetOperations.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/Support/LogicalResult.h"
#include "clang/CIR/Dialect/IR/CIROps.cpp.inc"

Macros
#define	GET_OP_LIST
#define	REGISTER_ENUM_TYPE(Ty)
#define	GET_OP_CLASSES

Functions
static int	parseOptionalKeywordAlternative (AsmParser &parser, ArrayRef< llvm::StringRef > keywords)
template<typename EnumTy, typename RetTy = EnumTy>
static RetTy	parseOptionalCIRKeyword (AsmParser &parser, EnumTy defaultValue)
	Parse an enum from the keyword, or default to the provided default value.
template<typename EnumTy, typename RetTy = EnumTy>
static ParseResult	parseCIRKeyword (AsmParser &parser, RetTy &result)
	Parse an enum from the keyword, return failure if the keyword is not found.
static LogicalResult	ensureRegionTerm (OpAsmParser &parser, Region &region, SMLoc errLoc)
static bool	omitRegionTerm (mlir::Region &r)
ParseResult	parseInlineKindAttr (OpAsmParser &parser, cir::InlineKindAttr &inlineKindAttr)
void	printInlineKindAttr (OpAsmPrinter &p, cir::InlineKindAttr inlineKindAttr)
static mlir::ParseResult	parseOmittedTerminatorRegion (mlir::OpAsmParser &parser, mlir::Region &region)
static void	printOmittedTerminatorRegion (mlir::OpAsmPrinter &printer, cir::ScopeOp &op, mlir::Region &region)
mlir::OptionalParseResult	parseGlobalAddressSpaceValue (mlir::AsmParser &p, mlir::ptr::MemorySpaceAttrInterface &attr)
void	printGlobalAddressSpaceValue (mlir::AsmPrinter &printer, cir::GlobalOp op, mlir::ptr::MemorySpaceAttrInterface attr)
template<typename Op>
static LogicalResult	verifyArrayCtorDtor (Op op)
static LogicalResult	checkConstantTypes (mlir::Operation *op, mlir::Type opType, mlir::Attribute attrType)
static bool	isIntOrBoolCast (cir::CastOp op)
static Value	tryFoldCastChain (cir::CastOp op)
static mlir::ParseResult	parseTryCallDestinations (mlir::OpAsmParser &parser, mlir::OperationState &result)
static mlir::ParseResult	parseCallCommon (mlir::OpAsmParser &parser, mlir::OperationState &result, bool hasDestinationBlocks=false)
static void	printCallCommon (mlir::Operation op, mlir::FlatSymbolRefAttr calleeSym, mlir::Value indirectCallee, mlir::OpAsmPrinter &printer, bool isNothrow, cir::SideEffect sideEffect, ArrayAttr argAttrs, ArrayAttr resAttrs, mlir::Block normalDest=nullptr, mlir::Block *unwindDest=nullptr)
static LogicalResult	verifyCallCommInSymbolUses (mlir::Operation *op, SymbolTableCollection &symbolTable)
static mlir::LogicalResult	checkReturnAndFunction (cir::ReturnOp op, cir::FuncOp function)
ParseResult	parseIndirectBrOpSucessors (OpAsmParser &parser, Type &flagType, SmallVectorImpl< Block * > &succOperandBlocks, SmallVectorImpl< SmallVector< OpAsmParser::UnresolvedOperand > > &succOperands, SmallVectorImpl< SmallVector< Type > > &succOperandsTypes)
void	printIndirectBrOpSucessors (OpAsmPrinter &p, cir::IndirectBrOp op, Type flagType, SuccessorRange succs, OperandRangeRange succOperands, const TypeRangeRange &succOperandsTypes)
static ParseResult	parseSwitchFlatOpCases (OpAsmParser &parser, Type flagType, mlir::ArrayAttr &caseValues, SmallVectorImpl< Block * > &caseDestinations, SmallVectorImpl< llvm::SmallVector< OpAsmParser::UnresolvedOperand > > &caseOperands, SmallVectorImpl< llvm::SmallVector< Type > > &caseOperandTypes)
	<cases> ::= [ (case (, case )* )?
static void	printSwitchFlatOpCases (OpAsmPrinter &p, cir::SwitchFlatOp op, Type flagType, mlir::ArrayAttr caseValues, SuccessorRange caseDestinations, OperandRangeRange caseOperands, const TypeRangeRange &caseOperandTypes)
static ParseResult	parseConstantValue (OpAsmParser &parser, mlir::Attribute &valueAttr)
static void	printConstant (OpAsmPrinter &p, Attribute value)
static void	printGlobalOpTypeAndInitialValue (OpAsmPrinter &p, cir::GlobalOp op, TypeAttr type, Attribute initAttr, mlir::Region &ctorRegion, mlir::Region &dtorRegion)
static ParseResult	parseGlobalOpTypeAndInitialValue (OpAsmParser &parser, TypeAttr &typeAttr, Attribute &initialValueAttr, mlir::Region &ctorRegion, mlir::Region &dtorRegion)
static llvm::StringRef	getLinkageAttrNameString ()
	Returns the name used for the linkage attribute.
static LogicalResult	verifyBinaryOverflowOp (mlir::Operation *op, bool noSignedWrap, bool noUnsignedWrap, bool saturated, bool hasSat)
static LogicalResult	verifyMemberPtrCast (Operation *op, mlir::Value src, mlir::Type resultTy)
static OpFoldResult	foldUnaryBitOp (mlir::Attribute inputAttr, llvm::function_ref< llvm::APInt(const llvm::APInt &)> func, bool poisonZero=false)
static void	printTryHandlerRegions (mlir::OpAsmPrinter &printer, cir::TryOp op, mlir::MutableArrayRef< mlir::Region > handlerRegions, mlir::ArrayAttr handlerTypes)
static mlir::ParseResult	parseTryHandlerRegions (mlir::OpAsmParser &parser, llvm::SmallVectorImpl< std::unique_ptr< mlir::Region > > &handlerRegions, mlir::ArrayAttr &handlerTypes)
static ParseResult	parseEhDispatchDestinations (OpAsmParser &parser, mlir::ArrayAttr &catchTypes, SmallVectorImpl< Block * > &catchDestinations, Block *&defaultDestination, mlir::UnitAttr &defaultIsCatchAll)
static void	printEhDispatchDestinations (OpAsmPrinter &p, cir::EhDispatchOp op, mlir::ArrayAttr catchTypes, SuccessorRange catchDestinations, Block *defaultDestination, mlir::UnitAttr defaultIsCatchAll)

Macro Definition Documentation

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 4258 of file CIRDialect.cpp.

◆ GET_OP_LIST

#define GET_OP_LIST

◆ REGISTER_ENUM_TYPE

#define REGISTER_ENUM_TYPE ( Ty )

Value:

  template <> struct EnumTraits<cir::Ty> {                                     \
    static llvm::StringRef stringify(cir::Ty value) {                          \
      return stringify##Ty(value);                                             \
    }                                                                          \
    static unsigned getMaxEnumVal() { return cir::getMaxEnumValFor##Ty(); }    \
  }

Definition at line 130 of file CIRDialect.cpp.

Function Documentation

◆ checkConstantTypes()

LogicalResult checkConstantTypes	(	mlir::Operation *	op,
		mlir::Type	opType,
		mlir::Attribute	attrType )

static

Definition at line 421 of file CIRDialect.cpp.

◆ checkReturnAndFunction()

mlir::LogicalResult checkReturnAndFunction	(	cir::ReturnOp	op,
		cir::FuncOp	function )

static

Definition at line 1194 of file CIRDialect.cpp.

◆ ensureRegionTerm()

LogicalResult ensureRegionTerm	(	OpAsmParser &	parser,
		Region &	region,
		SMLoc	errLoc )

static

Definition at line 174 of file CIRDialect.cpp.

Referenced by parseGlobalOpTypeAndInitialValue(), and parseOmittedTerminatorRegion().

◆ foldUnaryBitOp()

OpFoldResult foldUnaryBitOp	(	mlir::Attribute	inputAttr,
		llvm::function_ref< llvm::APInt(const llvm::APInt &)>	func,
		bool	poisonZero = false )

static

Definition at line 3527 of file CIRDialect.cpp.

◆ getLinkageAttrNameString()

llvm::StringRef getLinkageAttrNameString ( )

static

Returns the name used for the linkage attribute.

This must correspond to the name of the attribute in ODS.

Definition at line 2128 of file CIRDialect.cpp.

◆ isIntOrBoolCast()

bool isIntOrBoolCast ( cir::CastOp op )

static

Definition at line 741 of file CIRDialect.cpp.

References kind.

Referenced by tryFoldCastChain().

◆ omitRegionTerm()

bool omitRegionTerm ( mlir::Region & r )

static

Definition at line 201 of file CIRDialect.cpp.

Referenced by printOmittedTerminatorRegion().

◆ parseCallCommon()

mlir::ParseResult parseCallCommon	(	mlir::OpAsmParser &	parser,
		mlir::OperationState &	result,
		bool	hasDestinationBlocks = false )

static

Definition at line 888 of file CIRDialect.cpp.

References parseCIRKeyword(), and parseTryCallDestinations().

◆ parseCIRKeyword()

template<typename EnumTy, typename RetTy = EnumTy>

ParseResult parseCIRKeyword	(	AsmParser &	parser,
		RetTy &	result )

static

Parse an enum from the keyword, return failure if the keyword is not found.

Definition at line 160 of file CIRDialect.cpp.

References parseOptionalKeywordAlternative().

Referenced by parseCallCommon().

◆ parseConstantValue()

ParseResult parseConstantValue	(	OpAsmParser &	parser,
		mlir::Attribute &	valueAttr )

static

Definition at line 1820 of file CIRDialect.cpp.

Referenced by parseGlobalOpTypeAndInitialValue().

◆ parseEhDispatchDestinations()

ParseResult parseEhDispatchDestinations	(	OpAsmParser &	parser,
		mlir::ArrayAttr &	catchTypes,
		SmallVectorImpl< Block * > &	catchDestinations,
		Block *&	defaultDestination,
		mlir::UnitAttr &	defaultIsCatchAll )

static

Definition at line 4117 of file CIRDialect.cpp.

◆ parseGlobalAddressSpaceValue()

mlir::OptionalParseResult parseGlobalAddressSpaceValue	(	mlir::AsmParser &	p,
		mlir::ptr::MemorySpaceAttrInterface &	attr )

Definition at line 1125 of file CIRTypes.cpp.

References parseAddressSpaceValue().

◆ parseGlobalOpTypeAndInitialValue()

ParseResult parseGlobalOpTypeAndInitialValue	(	OpAsmParser &	parser,
		TypeAttr &	typeAttr,
		Attribute &	initialValueAttr,
		mlir::Region &	ctorRegion,
		mlir::Region &	dtorRegion )

static

Definition at line 1946 of file CIRDialect.cpp.

References ensureRegionTerm(), and parseConstantValue().

◆ parseIndirectBrOpSucessors()

ParseResult parseIndirectBrOpSucessors	(	OpAsmParser &	parser,
		Type &	flagType,
		SmallVectorImpl< Block * > &	succOperandBlocks,
		SmallVectorImpl< SmallVector< OpAsmParser::UnresolvedOperand > > &	succOperands,
		SmallVectorImpl< SmallVector< Type > > &	succOperandsTypes )

Definition at line 1565 of file CIRDialect.cpp.

◆ parseInlineKindAttr()

ParseResult parseInlineKindAttr	(	OpAsmParser &	parser,
		cir::InlineKindAttr &	inlineKindAttr )

Definition at line 214 of file CIRDialect.cpp.

◆ parseOmittedTerminatorRegion()

mlir::ParseResult parseOmittedTerminatorRegion	(	mlir::OpAsmParser &	parser,
		mlir::Region &	region )

static

Definition at line 249 of file CIRDialect.cpp.

References ensureRegionTerm().

◆ parseOptionalCIRKeyword()

template<typename EnumTy, typename RetTy = EnumTy>

RetTy parseOptionalCIRKeyword	(	AsmParser &	parser,
		EnumTy	defaultValue )

static

Parse an enum from the keyword, or default to the provided default value.

The return type is the enum type by default, unless overriden with the second template argument.

Definition at line 147 of file CIRDialect.cpp.

References parseOptionalKeywordAlternative().

◆ parseOptionalKeywordAlternative()

int parseOptionalKeywordAlternative	(	AsmParser &	parser,
		ArrayRef< llvm::StringRef >	keywords )

static

Definition at line 118 of file CIRDialect.cpp.

Referenced by parseCIRKeyword(), and parseOptionalCIRKeyword().

◆ parseSwitchFlatOpCases()

ParseResult parseSwitchFlatOpCases	(	OpAsmParser &	parser,
		Type	flagType,
		mlir::ArrayAttr &	caseValues,
		SmallVectorImpl< Block * > &	caseDestinations,
		SmallVectorImpl< llvm::SmallVector< OpAsmParser::UnresolvedOperand > > &	caseOperands,
		SmallVectorImpl< llvm::SmallVector< Type > > &	caseOperandTypes )

static

<cases> ::= [ (case (, case )* )?

] <case> ::= integer : bb-id (( ssa-use-and-type-list ))?

Definition at line 1743 of file CIRDialect.cpp.

◆ parseTryCallDestinations()

mlir::ParseResult parseTryCallDestinations	(	mlir::OpAsmParser &	parser,
		mlir::OperationState &	result )

static

Definition at line 870 of file CIRDialect.cpp.

Referenced by parseCallCommon().

◆ parseTryHandlerRegions()

mlir::ParseResult parseTryHandlerRegions	(	mlir::OpAsmParser &	parser,
		llvm::SmallVectorImpl< std::unique_ptr< mlir::Region > > &	handlerRegions,
		mlir::ArrayAttr &	handlerTypes )

static

Definition at line 4008 of file CIRDialect.cpp.

◆ printCallCommon()

void printCallCommon	(	mlir::Operation *	op,
		mlir::FlatSymbolRefAttr	calleeSym,
		mlir::Value	indirectCallee,
		mlir::OpAsmPrinter &	printer,
		bool	isNothrow,
		cir::SideEffect	sideEffect,
		ArrayAttr	argAttrs,
		ArrayAttr	resAttrs,
		mlir::Block *	normalDest = nullptr,
		mlir::Block *	unwindDest = nullptr )

static

Definition at line 993 of file CIRDialect.cpp.

◆ printConstant()

void printConstant	(	OpAsmPrinter &	p,
		Attribute	value )

static

Definition at line 1826 of file CIRDialect.cpp.

Referenced by printGlobalOpTypeAndInitialValue().

◆ printEhDispatchDestinations()

void printEhDispatchDestinations	(	OpAsmPrinter &	p,
		cir::EhDispatchOp	op,
		mlir::ArrayAttr	catchTypes,
		SuccessorRange	catchDestinations,
		Block *	defaultDestination,
		mlir::UnitAttr	defaultIsCatchAll )

static

Definition at line 4215 of file CIRDialect.cpp.

◆ printGlobalAddressSpaceValue()

void printGlobalAddressSpaceValue	(	mlir::AsmPrinter &	printer,
		cir::GlobalOp	op,
		mlir::ptr::MemorySpaceAttrInterface	attr )

Definition at line 1134 of file CIRTypes.cpp.

References printAddressSpaceValue().

◆ printGlobalOpTypeAndInitialValue()

void printGlobalOpTypeAndInitialValue	(	OpAsmPrinter &	p,
		cir::GlobalOp	op,
		TypeAttr	type,
		Attribute	initAttr,
		mlir::Region &	ctorRegion,
		mlir::Region &	dtorRegion )

static

Definition at line 1915 of file CIRDialect.cpp.

References printConstant().

◆ printIndirectBrOpSucessors()

void printIndirectBrOpSucessors	(	OpAsmPrinter &	p,
		cir::IndirectBrOp	op,
		Type	flagType,
		SuccessorRange	succs,
		OperandRangeRange	succOperands,
		const TypeRangeRange &	succOperandsTypes )

Definition at line 1597 of file CIRDialect.cpp.

◆ printInlineKindAttr()

void printInlineKindAttr	(	OpAsmPrinter &	p,
		cir::InlineKindAttr	inlineKindAttr )

Definition at line 240 of file CIRDialect.cpp.

◆ printOmittedTerminatorRegion()

void printOmittedTerminatorRegion	(	mlir::OpAsmPrinter &	printer,
		cir::ScopeOp &	op,
		mlir::Region &	region )

static

Definition at line 259 of file CIRDialect.cpp.

References omitRegionTerm().

◆ printSwitchFlatOpCases()

void printSwitchFlatOpCases	(	OpAsmPrinter &	p,
		cir::SwitchFlatOp	op,
		Type	flagType,
		mlir::ArrayAttr	caseValues,
		SuccessorRange	caseDestinations,
		OperandRangeRange	caseOperands,
		const TypeRangeRange &	caseOperandTypes )

static

Definition at line 1786 of file CIRDialect.cpp.

◆ printTryHandlerRegions()

void printTryHandlerRegions	(	mlir::OpAsmPrinter &	printer,
		cir::TryOp	op,
		mlir::MutableArrayRef< mlir::Region >	handlerRegions,
		mlir::ArrayAttr	handlerTypes )

static

Definition at line 3974 of file CIRDialect.cpp.

◆ tryFoldCastChain()

Value tryFoldCastChain ( cir::CastOp op )

static

Definition at line 747 of file CIRDialect.cpp.

References isIntOrBoolCast().

◆ verifyArrayCtorDtor()

template<typename Op>

LogicalResult verifyArrayCtorDtor ( Op op )

static

Definition at line 296 of file CIRDialect.cpp.

◆ verifyBinaryOverflowOp()

LogicalResult verifyBinaryOverflowOp	(	mlir::Operation *	op,
		bool	noSignedWrap,
		bool	noUnsignedWrap,
		bool	saturated,
		bool	hasSat )

static

Definition at line 2592 of file CIRDialect.cpp.

◆ verifyCallCommInSymbolUses()

LogicalResult verifyCallCommInSymbolUses	(	mlir::Operation *	op,
		SymbolTableCollection &	symbolTable )

static

Definition at line 1074 of file CIRDialect.cpp.

References cir::MissingFeatures::opCallCallConv().

◆ verifyMemberPtrCast()

LogicalResult verifyMemberPtrCast	(	Operation *	op,
		mlir::Value	src,
		mlir::Type	resultTy )

static

Definition at line 2848 of file CIRDialect.cpp.

References cir::MissingFeatures::memberFuncPtrCast().

Macros

Functions

Macro Definition Documentation

◆ GET_OP_CLASSES

◆ GET_OP_LIST

◆ REGISTER_ENUM_TYPE

Function Documentation

◆ checkConstantTypes()

◆ checkReturnAndFunction()

◆ ensureRegionTerm()

◆ foldUnaryBitOp()

◆ getLinkageAttrNameString()

◆ isIntOrBoolCast()

◆ omitRegionTerm()

◆ parseCallCommon()

◆ parseCIRKeyword()

◆ parseConstantValue()

◆ parseEhDispatchDestinations()

◆ parseGlobalAddressSpaceValue()

◆ parseGlobalOpTypeAndInitialValue()

◆ parseIndirectBrOpSucessors()

◆ parseInlineKindAttr()

◆ parseOmittedTerminatorRegion()

◆ parseOptionalCIRKeyword()

◆ parseOptionalKeywordAlternative()

◆ parseSwitchFlatOpCases()

◆ parseTryCallDestinations()

◆ parseTryHandlerRegions()

◆ printCallCommon()

◆ printConstant()

◆ printEhDispatchDestinations()

◆ printGlobalAddressSpaceValue()

◆ printGlobalOpTypeAndInitialValue()

◆ printIndirectBrOpSucessors()

◆ printInlineKindAttr()

◆ printOmittedTerminatorRegion()

◆ printSwitchFlatOpCases()

◆ printTryHandlerRegions()

◆ tryFoldCastChain()

◆ verifyArrayCtorDtor()

◆ verifyBinaryOverflowOp()

◆ verifyCallCommInSymbolUses()

◆ verifyMemberPtrCast()