clang 24.0.0git
Macros | Functions
CIRDialect.cpp File Reference
#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/BuiltinOps.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/DialectImplementation.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/IR/Value.h"
#include "mlir/Interfaces/ControlFlowInterfaces.h"
#include "mlir/Interfaces/FunctionImplementation.h"
#include "mlir/Support/LLVM.h"
#include "clang/Basic/TargetCXXABI.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/Casting.h"
#include "llvm/Support/LogicalResult.h"
#include "CIRDialectBytecode.h"
#include "CIROpDefinitions.h"

Go to the source code of this file.

Macros

#define REGISTER_ENUM_TYPE(Ty)

Functions

static bool isOpenCLVersionAttrName (StringRef attrName)
static LogicalResult verifyOpenCLVersionAttrPlacement (Operation *op, NamedAttribute attr)
static bool areOpenCLVersionsCompatible (cir::OpenCLVersionAttr openCLVersion, cir::OpenCLVersionAttr cxxVersion)
static LogicalResult verifyOpenCLCXXVersion (ModuleOp module, cir::OpenCLVersionAttr cxxVersion)
static LogicalResult verifyOpenCLVersionAttr (Operation *op, NamedAttribute attr)
static LogicalResult verifyOffloadKind (mlir::ModuleOp module, cir::OffloadKind expected)
static LogicalResult verifyOffloadContainer (mlir::Operation *op)
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)
template<typename ExpectedProducerOp>
static LogicalResult verifyProducedBy (Operation *op, Value operand, StringRef operandName)
ParseResult parseInlineKindAttr (OpAsmParser &parser, cir::InlineKindAttr &inlineKindAttr)
void printInlineKindAttr (OpAsmPrinter &p, cir::InlineKindAttr inlineKindAttr)
template<typename Op>
static LogicalResult verifyArrayCtorDtor (Op op)
static bool isInVarCtorRegion (mlir::Operation *op)
 Returns true if op is nested in the ctor region of a cir.global or cir.local_init without crossing a cir.func or a cir.register_exit_dtor.
template<typename LoopOpTy>
static LogicalResult verifyLoopCleanup (LoopOpTy op)
static LogicalResult checkConstantTypes (mlir::Operation *op, mlir::Type opType, mlir::Attribute attrType)
static bool isFloatingPointCastKind (cir::CastKind kind)
static bool isIntOrBoolCast (cir::CastOp op)
static bool isCirFunctionPointerType (mlir::Type ty)
static Value tryFoldCastChain (cir::CastOp op)
static mlir::ParseResult parseTryCallDestinations (mlir::OpAsmParser &parser, mlir::OperationState &result)
static ParseResult checkEffectAttrKinds (mlir::OpAsmParser &parser, llvm::SMLoc loc, const mlir::NamedAttrList &attrs)
 Reject an attribute in an explicit attribute dictionary whose value is not the attribute class expected for its name.
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, 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)
static bool isRedundantBeforeReturn (mlir::Region &cleanupRegion)
static ParseResult parseConstantValue (OpAsmParser &parser, mlir::Attribute &valueAttr)
static void printConstant (OpAsmPrinter &p, Attribute value)
static void printComdatName (OpAsmPrinter &p, StringAttr comdat)
static llvm::StringRef getLinkageAttrNameString ()
 Returns the name used for the linkage attribute.
static bool isFuncAttrInDict (llvm::StringRef name)
 Declared cir.func attributes with no dedicated syntax, which print in and parse from the attribute dictionary instead.
static LogicalResult verifyMemberPtrCast (Operation *op, mlir::Value src, mlir::Type resultTy)
static mlir::Type memberPointeeType (cir::RecordType recordTy, unsigned idx)
static OpFoldResult foldUnaryBitOp (mlir::Attribute inputAttr, llvm::function_ref< llvm::APInt(const llvm::APInt &)> func, bool poisonZero=false)
template<typename ThrowOpTy>
static mlir::LogicalResult verifyThrowOpImpl (ThrowOpTy op)
static LogicalResult verifyCatchParamPairing (mlir::Region &handlerRegion, cir::ConstructCatchParamOp constructOp)
 Verify that each cir.init_catch_param in handlerRegion, outside any nested cir.try, agrees with the handler's leading cir.construct_catch_param constructOp, which may be null.
static std::optional< unsigned > getRecordedIntegerWidth (mlir::Attribute attr)
 Reads a fundamental integer width from a signless i32 attribute.
static LogicalResult verifyCatchParamAddr (mlir::Operation *op, cir::InitCatchKind kind, cir::PointerType paramAddrType)
 For the reference_to_pointer and reference_to_record_pointer kinds, emit an error on op unless paramAddrType is the type of the address of a reference to a pointer.

Macro Definition Documentation

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

Function Documentation

◆ areOpenCLVersionsCompatible()

bool areOpenCLVersionsCompatible ( cir::OpenCLVersionAttr openCLVersion,
cir::OpenCLVersionAttr cxxVersion )
static

Definition at line 133 of file CIRDialect.cpp.

Referenced by verifyOpenCLCXXVersion().

◆ checkConstantTypes()

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

Definition at line 847 of file CIRDialect.cpp.

◆ checkEffectAttrKinds()

ParseResult checkEffectAttrKinds ( mlir::OpAsmParser & parser,
llvm::SMLoc loc,
const mlir::NamedAttrList & attrs )
static

Reject an attribute in an explicit attribute dictionary whose value is not the attribute class expected for its name.

Where an op declares the attribute it is stored as a property, so a value of the wrong class would be dropped without a diagnostic.

Definition at line 1411 of file CIRDialect.cpp.

Referenced by parseCallCommon().

◆ checkReturnAndFunction()

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

Definition at line 1805 of file CIRDialect.cpp.

◆ ensureRegionTerm()

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

Definition at line 398 of file CIRDialect.cpp.

Referenced by cir::parseOmittedTerminatorRegion().

◆ foldUnaryBitOp()

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

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

◆ getRecordedIntegerWidth()

std::optional< unsigned > getRecordedIntegerWidth ( mlir::Attribute attr)
static

Reads a fundamental integer width from a signless i32 attribute.

Definition at line 5517 of file CIRDialect.cpp.

References int64_t, and cir::isValidFundamentalIntWidth().

◆ isCirFunctionPointerType()

bool isCirFunctionPointerType ( mlir::Type ty)
static

Definition at line 1198 of file CIRDialect.cpp.

Referenced by tryFoldCastChain().

◆ isFloatingPointCastKind()

bool isFloatingPointCastKind ( cir::CastKind kind)
static

Definition at line 921 of file CIRDialect.cpp.

References kind.

◆ isFuncAttrInDict()

bool isFuncAttrInDict ( llvm::StringRef name)
static

Declared cir.func attributes with no dedicated syntax, which print in and parse from the attribute dictionary instead.

Definition at line 2838 of file CIRDialect.cpp.

◆ isIntOrBoolCast()

bool isIntOrBoolCast ( cir::CastOp op)
static

Definition at line 1192 of file CIRDialect.cpp.

References kind.

Referenced by tryFoldCastChain().

◆ isInVarCtorRegion()

bool isInVarCtorRegion ( mlir::Operation * op)
static

Returns true if op is nested in the ctor region of a cir.global or cir.local_init without crossing a cir.func or a cir.register_exit_dtor.

Definition at line 721 of file CIRDialect.cpp.

◆ isOpenCLVersionAttrName()

bool isOpenCLVersionAttrName ( StringRef attrName)
static

Definition at line 117 of file CIRDialect.cpp.

◆ isRedundantBeforeReturn()

bool isRedundantBeforeReturn ( mlir::Region & cleanupRegion)
static

Definition at line 2019 of file CIRDialect.cpp.

◆ memberPointeeType()

mlir::Type memberPointeeType ( cir::RecordType recordTy,
unsigned idx )
static

Definition at line 4127 of file CIRDialect.cpp.

References cir::RecordType::getMembers(), and cir::memberStorageType().

◆ omitRegionTerm()

bool omitRegionTerm ( mlir::Region & r)
static

Definition at line 425 of file CIRDialect.cpp.

Referenced by cir::printOmittedTerminatorRegion().

◆ parseCallCommon()

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

Definition at line 1445 of file CIRDialect.cpp.

References checkEffectAttrKinds(), 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 384 of file CIRDialect.cpp.

References parseOptionalKeywordAlternative().

Referenced by parseCallCommon().

◆ parseConstantValue()

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

Definition at line 2457 of file CIRDialect.cpp.

◆ parseInlineKindAttr()

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

Definition at line 451 of file CIRDialect.cpp.

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

References parseOptionalKeywordAlternative().

◆ parseOptionalKeywordAlternative()

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

Definition at line 342 of file CIRDialect.cpp.

Referenced by parseCIRKeyword(), and parseOptionalCIRKeyword().

◆ parseTryCallDestinations()

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

Definition at line 1389 of file CIRDialect.cpp.

Referenced by parseCallCommon().

◆ printCallCommon()

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

Definition at line 1567 of file CIRDialect.cpp.

◆ printComdatName()

void printComdatName ( OpAsmPrinter & p,
StringAttr comdat )
static

Definition at line 2595 of file CIRDialect.cpp.

◆ printConstant()

void printConstant ( OpAsmPrinter & p,
Attribute value )
static

Definition at line 2463 of file CIRDialect.cpp.

◆ printInlineKindAttr()

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

Definition at line 477 of file CIRDialect.cpp.

◆ tryFoldCastChain()

Value tryFoldCastChain ( cir::CastOp op)
static

Definition at line 1203 of file CIRDialect.cpp.

References isCirFunctionPointerType(), and isIntOrBoolCast().

◆ verifyArrayCtorDtor()

template<typename Op>
LogicalResult verifyArrayCtorDtor ( Op op)
static

Definition at line 533 of file CIRDialect.cpp.

◆ verifyCallCommInSymbolUses()

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

Definition at line 1674 of file CIRDialect.cpp.

References cir::MissingFeatures::opCallCallConv().

◆ verifyCatchParamAddr()

LogicalResult verifyCatchParamAddr ( mlir::Operation * op,
cir::InitCatchKind kind,
cir::PointerType paramAddrType )
static

For the reference_to_pointer and reference_to_record_pointer kinds, emit an error on op unless paramAddrType is the type of the address of a reference to a pointer.

Any other kind is accepted.

Definition at line 5567 of file CIRDialect.cpp.

References kind.

◆ verifyCatchParamPairing()

LogicalResult verifyCatchParamPairing ( mlir::Region & handlerRegion,
cir::ConstructCatchParamOp constructOp )
static

Verify that each cir.init_catch_param in handlerRegion, outside any nested cir.try, agrees with the handler's leading cir.construct_catch_param constructOp, which may be null.

A cir.init_catch_param of kind reference_to_pointer or non_trivial_copy needs constructOp on its parameter, and a cir.init_catch_param on the parameter of constructOp must have the kind of constructOp.

Definition at line 5171 of file CIRDialect.cpp.

References kind.

◆ verifyLoopCleanup()

template<typename LoopOpTy>
LogicalResult verifyLoopCleanup ( LoopOpTy op)
static

Definition at line 820 of file CIRDialect.cpp.

◆ verifyMemberPtrCast()

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

Definition at line 3652 of file CIRDialect.cpp.

References cir::MissingFeatures::memberFuncPtrCast().

◆ verifyOffloadContainer()

LogicalResult verifyOffloadContainer ( mlir::Operation * op)
static

Definition at line 224 of file CIRDialect.cpp.

References verifyOffloadKind().

◆ verifyOffloadKind()

LogicalResult verifyOffloadKind ( mlir::ModuleOp module,
cir::OffloadKind expected )
static

Definition at line 205 of file CIRDialect.cpp.

Referenced by verifyOffloadContainer().

◆ verifyOpenCLCXXVersion()

LogicalResult verifyOpenCLCXXVersion ( ModuleOp module,
cir::OpenCLVersionAttr cxxVersion )
static

Definition at line 145 of file CIRDialect.cpp.

References areOpenCLVersionsCompatible().

Referenced by verifyOpenCLVersionAttr().

◆ verifyOpenCLVersionAttr()

LogicalResult verifyOpenCLVersionAttr ( Operation * op,
NamedAttribute attr )
static

Definition at line 165 of file CIRDialect.cpp.

References verifyOpenCLCXXVersion(), and verifyOpenCLVersionAttrPlacement().

◆ verifyOpenCLVersionAttrPlacement()

LogicalResult verifyOpenCLVersionAttrPlacement ( Operation * op,
NamedAttribute attr )
static

Definition at line 123 of file CIRDialect.cpp.

Referenced by verifyOpenCLVersionAttr().

◆ verifyProducedBy()

template<typename ExpectedProducerOp>
LogicalResult verifyProducedBy ( Operation * op,
Value operand,
StringRef operandName )
static

Definition at line 437 of file CIRDialect.cpp.

◆ verifyThrowOpImpl()

template<typename ThrowOpTy>
mlir::LogicalResult verifyThrowOpImpl ( ThrowOpTy op)
static

Definition at line 5069 of file CIRDialect.cpp.

Generated on for clang by doxygen 1.14.0