#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)
void	printVisibilityAttr (OpAsmPrinter &printer, cir::VisibilityAttr &visibility)
void	parseVisibilityAttr (OpAsmParser &parser, cir::VisibilityAttr &visibility)
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)
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 4175 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 370 of file CIRDialect.cpp.

◆ checkReturnAndFunction()

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

static

Definition at line 1143 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 3444 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 2044 of file CIRDialect.cpp.

◆ isIntOrBoolCast()

bool isIntOrBoolCast ( cir::CastOp op )

static

Definition at line 690 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 837 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 1732 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 4034 of file CIRDialect.cpp.

◆ parseGlobalAddressSpaceValue()

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

Definition at line 1061 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 1862 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 1477 of file CIRDialect.cpp.

◆ parseInlineKindAttr()

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

Definition at line 234 of file CIRDialect.cpp.

◆ parseOmittedTerminatorRegion()

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

static

Definition at line 269 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().

Referenced by parseVisibilityAttr().

◆ 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 1655 of file CIRDialect.cpp.

◆ parseTryCallDestinations()

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

static

Definition at line 819 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 3925 of file CIRDialect.cpp.

◆ parseVisibilityAttr()

void parseVisibilityAttr	(	OpAsmParser &	parser,
		cir::VisibilityAttr &	visibility )

Definition at line 224 of file CIRDialect.cpp.

References parseOptionalCIRKeyword().

◆ 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 942 of file CIRDialect.cpp.

◆ printConstant()

void printConstant	(	OpAsmPrinter &	p,
		Attribute	value )

static

Definition at line 1738 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 4132 of file CIRDialect.cpp.

◆ printGlobalAddressSpaceValue()

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

Definition at line 1070 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 1831 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 1509 of file CIRDialect.cpp.

◆ printInlineKindAttr()

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

Definition at line 260 of file CIRDialect.cpp.

◆ printOmittedTerminatorRegion()

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

static

Definition at line 279 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 1698 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 3891 of file CIRDialect.cpp.

◆ printVisibilityAttr()

void printVisibilityAttr	(	OpAsmPrinter &	printer,
		cir::VisibilityAttr &	visibility )

Definition at line 210 of file CIRDialect.cpp.

◆ tryFoldCastChain()

Value tryFoldCastChain ( cir::CastOp op )

static

Definition at line 696 of file CIRDialect.cpp.

References isIntOrBoolCast().

◆ verifyBinaryOverflowOp()

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

static

Definition at line 2514 of file CIRDialect.cpp.

◆ verifyCallCommInSymbolUses()

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

static

Definition at line 1023 of file CIRDialect.cpp.

References cir::MissingFeatures::opCallCallConv().

◆ verifyMemberPtrCast()

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

static

Definition at line 2770 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()

◆ parseVisibilityAttr()

◆ printCallCommon()

◆ printConstant()

◆ printEhDispatchDestinations()

◆ printGlobalAddressSpaceValue()

◆ printGlobalOpTypeAndInitialValue()

◆ printIndirectBrOpSucessors()

◆ printInlineKindAttr()

◆ printOmittedTerminatorRegion()

◆ printSwitchFlatOpCases()

◆ printTryHandlerRegions()

◆ printVisibilityAttr()

◆ tryFoldCastChain()

◆ verifyBinaryOverflowOp()

◆ verifyCallCommInSymbolUses()

◆ verifyMemberPtrCast()