#include "mlir/Dialect/LLVMIR/LLVMDialect.h"#include "TypeDetail.h"#include "mlir/Dialect/LLVMIR/LLVMTypes.h"#include "mlir/IR/Builders.h"#include "mlir/IR/BuiltinOps.h"#include "mlir/IR/BuiltinTypes.h"#include "mlir/IR/DialectImplementation.h"#include "mlir/IR/FunctionImplementation.h"#include "mlir/IR/MLIRContext.h"#include "mlir/IR/Matchers.h"#include "llvm/ADT/StringSwitch.h"#include "llvm/ADT/TypeSwitch.h"#include "llvm/AsmParser/Parser.h"#include "llvm/Bitcode/BitcodeReader.h"#include "llvm/Bitcode/BitcodeWriter.h"#include "llvm/IR/Attributes.h"#include "llvm/IR/Function.h"#include "llvm/IR/Type.h"#include "llvm/Support/Error.h"#include "llvm/Support/Mutex.h"#include "llvm/Support/SourceMgr.h"#include <numeric>#include "mlir/Dialect/LLVMIR/LLVMOpsDialect.cpp.inc"#include "mlir/Dialect/LLVMIR/LLVMOpsEnums.cpp.inc"#include "mlir/Dialect/LLVMIR/LLVMOpsInterfaces.cpp.inc"#include "mlir/Dialect/LLVMIR/LLVMOpsAttrDefs.cpp.inc"#include "mlir/Dialect/LLVMIR/LLVMOps.cpp.inc"#include "mlir/Dialect/LLVMIR/LLVMIntrinsicOps.cpp.inc"
Include dependency graph for LLVMDialect.cpp:
Go to the source code of this file.
Macros | |
| #define | GET_ATTRDEF_CLASSES |
| #define | REGISTER_ENUM_TYPE(Ty) |
| #define | GET_OP_LIST |
| #define | GET_OP_LIST |
| #define | GET_OP_CLASSES |
Functions | |
| static auto | processFMFAttr (ArrayRef< NamedAttribute > attrs) |
| static ParseResult | parseLLVMOpAttrs (OpAsmParser &parser, NamedAttrList &result) |
| static void | printLLVMOpAttrs (OpAsmPrinter &printer, Operation *op, DictionaryAttr attrs) |
| static LogicalResult | verifySymbolAttrUse (FlatSymbolRefAttr symbol, Operation *op, SymbolTableCollection &symbolTable) |
Verifies symbol's use in op to ensure the symbol is a valid and fully defined llvm.func. More... | |
| template<typename CmpPredicateType > | |
| static ParseResult | parseCmpOp (OpAsmParser &parser, OperationState &result) |
| static LogicalResult | verifyOpaquePtr (Operation *op, LLVMPointerType ptrType, Optional< Type > ptrElementType) |
| Checks that the elemental type is present in either the pointer type or the attribute, but not both. More... | |
| static ParseResult | parseSwitchOpCases (OpAsmParser &parser, Type flagType, ElementsAttr &caseValues, SmallVectorImpl< Block *> &caseDestinations, SmallVectorImpl< SmallVector< OpAsmParser::UnresolvedOperand >> &caseOperands, SmallVectorImpl< SmallVector< Type >> &caseOperandTypes) |
<cases> ::= integer : bb-id (( ssa-use-and-type-list ))? ( , integer : bb-id (( ssa-use-and-type-list ))? )? More... | |
| static void | printSwitchOpCases (OpAsmPrinter &p, SwitchOp op, Type flagType, ElementsAttr caseValues, SuccessorRange caseDestinations, OperandRangeRange caseOperands, const TypeRangeRange &caseOperandTypes) |
| static llvm::Error | recordStructIndices (Type baseGEPType, unsigned indexPos, ArrayRef< int32_t > structIndices, ValueRange indices, SmallVectorImpl< int32_t > *updatedStructIndices, SmallVectorImpl< Value > *remainingIndices) |
For the given structIndices and indices, check if they're complied with baseGEPType, especially check against LLVMStructTypes nested within, and refine/promote struct index from indices to updatedStructIndices if the latter argument is not null. More... | |
| static llvm::Error | findStructIndices (Type baseGEPType, ArrayRef< int32_t > structIndices, ValueRange indices, SmallVectorImpl< int32_t > *updatedStructIndices=nullptr, SmallVectorImpl< Value > *remainingIndices=nullptr) |
Driver function around recordStructIndices. More... | |
| static Type | extractVectorElementType (Type type) |
| Returns the elemental type of any LLVM-compatible vector type or self. More... | |
| static ParseResult | parseGEPIndices (OpAsmParser &parser, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &indices, DenseIntElementsAttr &structIndices) |
| static void | printGEPIndices (OpAsmPrinter &printer, LLVM::GEPOp gepOp, OperandRange indices, DenseIntElementsAttr structIndices) |
| LogicalResult | verifySymbolAttribute (Operation *op, StringRef attributeName, llvm::function_ref< LogicalResult(Operation *, SymbolRefAttr)> verifySymbolType) |
| template<typename OpTy > | |
| static LogicalResult | verifyOpMetadata (Operation *op, StringRef attributeName) |
| static LogicalResult | verifyMemoryOpMetadata (Operation *op) |
| static Optional< Type > | getLoadStoreElementType (OpAsmParser &parser, Type type, SMLoc trailingTypeLoc) |
| static Type | getInsertExtractValueElementType (OpAsmParser &parser, Type containerType, ArrayAttr positionAttr, SMLoc attributeLoc, SMLoc typeLoc) |
| static Type | getInsertExtractValueElementType (Type containerType, ArrayAttr positionAttr, Operation *op) |
| template<typename OpTy > | |
| static OpTy | lookupSymbolInModule (Operation *parent, StringRef name) |
| static int | parseOptionalKeywordAlternative (OpAsmParser &parser, ArrayRef< StringRef > keywords) |
| template<typename EnumTy , typename RetTy = EnumTy> | |
| static RetTy | parseOptionalLLVMKeyword (OpAsmParser &parser, OperationState &result, EnumTy defaultValue) |
| Parse an enum from the keyword, or default to the provided default value. More... | |
| static bool | isZeroAttribute (Attribute value) |
| static Type | buildLLVMFunctionType (OpAsmParser &parser, SMLoc loc, ArrayRef< Type > inputs, ArrayRef< Type > outputs, function_interface_impl::VariadicFlag variadicFlag) |
| static ParseResult | parseAtomicBinOp (OpAsmParser &parser, OperationState &result, StringRef attrName) |
| static ParseResult | parseAtomicOrdering (OpAsmParser &parser, OperationState &result, StringRef attrName) |
| static LogicalResult | verifyFuncOpInterfaceStructAttr (Operation *op, Attribute attr, const std::function< Type(FunctionOpInterface)> &getAnnotatedType) |
| template<typename T > | |
| static Optional< T > | getOption (ArrayRef< std::pair< LoopOptionCase, int64_t >> options, LoopOptionCase option) |
Variables | |
| static constexpr const char | kVolatileAttrName [] = "volatile_" |
| static constexpr const char | kNonTemporalAttrName [] = "nontemporal" |
| static constexpr const char | kElemTypeAttrName [] = "elem_type" |
Macro Definition Documentation
◆ GET_ATTRDEF_CLASSES
| #define GET_ATTRDEF_CLASSES |
Definition at line 50 of file LLVMDialect.cpp.
◆ GET_OP_CLASSES
| #define GET_OP_CLASSES |
Definition at line 2676 of file LLVMDialect.cpp.
◆ GET_OP_LIST [1/2]
| #define GET_OP_LIST |
◆ GET_OP_LIST [2/2]
| #define GET_OP_LIST |
◆ REGISTER_ENUM_TYPE
| #define REGISTER_ENUM_TYPE | ( | Ty | ) |
Definition at line 1815 of file LLVMDialect.cpp.
Function Documentation
◆ buildLLVMFunctionType()
|
static |
Definition at line 2152 of file LLVMDialect.cpp.
References mlir::function_interface_impl::addArgAndResultAttrs(), mlir::OperationState::addAttribute(), mlir::AsmParser::emitError(), mlir::emitError(), mlir::failed(), mlir::failure(), mlir::LLVM::LLVMFunctionType::get(), mlir::Block::getArgument(), mlir::AsmParser::getBuilder(), mlir::Builder::getContext(), mlir::AsmParser::getContext(), mlir::function_interface_impl::getFunctionType(), mlir::LLVM::LLVMFunctionType::getNumParams(), mlir::LLVM::LLVMFunctionType::getParamType(), mlir::function_interface_impl::getResultAttrs(), mlir::LLVM::LLVMFunctionType::getReturnType(), mlir::SymbolTable::getSymbolAttrName(), mlir::Value::getType(), mlir::function_interface_impl::getTypeAttrName(), mlir::OptionalParseResult::hasValue(), mlir::Type::isa(), mlir::LLVM::isCompatibleType(), mlir::function_interface_impl::VariadicFlag::isVariadic(), mlir::OperationState::name, mlir::function_interface_impl::parseFunctionSignature(), print(), mlir::function_interface_impl::printFunctionAttributes(), mlir::function_interface_impl::printFunctionSignature(), mlir::OpAsmPrinter::printRegion(), mlir::AsmPrinter::printSymbolName(), mlir::success(), and mlir::verify().
◆ extractVectorElementType()
Returns the elemental type of any LLVM-compatible vector type or self.
Definition at line 538 of file LLVMDialect.cpp.
References mlir::OperationState::addAttribute(), mlir::OperationState::addAttributes(), mlir::OperationState::addOperands(), mlir::OperationState::addTypes(), mlir::Type::dyn_cast(), mlir::Error, findStructIndices(), mlir::Builder::getI32TensorAttr(), mlir::Value::getType(), kElemTypeAttrName, mlir::toString(), and vectorType().
Referenced by printGEPIndices().
◆ findStructIndices()
|
static |
Driver function around recordStructIndices.
Note that we always check from the second GEP index since the first one is always dynamic.
Definition at line 519 of file LLVMDialect.cpp.
References recordStructIndices().
Referenced by extractVectorElementType(), and printGEPIndices().
◆ getInsertExtractValueElementType() [1/2]
|
static |
Definition at line 1363 of file LLVMDialect.cpp.
References mlir::Type::dyn_cast(), mlir::AsmParser::emitError(), and mlir::LLVM::isCompatibleType().
Referenced by getInsertExtractValueElementType().
◆ getInsertExtractValueElementType() [2/2]
|
static |
Definition at line 1405 of file LLVMDialect.cpp.
References mlir::OperationState::addTypes(), mlir::InFlightDiagnostic::attachNote(), mlir::OperationState::attributes, diag(), mlir::Type::dyn_cast(), mlir::AsmParser::emitError(), mlir::Operation::emitError(), mlir::Operation::emitOpError(), mlir::failure(), mlir::AsmParser::getCurrentLocation(), getInsertExtractValueElementType(), mlir::LLVM::getVectorElementType(), mlir::Type::isa(), mlir::LLVM::isCompatibleType(), mlir::LLVM::isCompatibleVectorType(), min(), mlir::OperationState::operands, mlir::AsmParser::parseAttribute(), mlir::AsmParser::parseColon(), mlir::AsmParser::parseColonType(), mlir::AsmParser::parseComma(), mlir::AsmParser::parseLSquare(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalAttrDict(), mlir::AsmParser::parseRSquare(), mlir::AsmParser::parseType(), print(), mlir::OpAsmPrinter::printOptionalAttrDict(), mlir::OpAsmParser::resolveOperand(), mlir::success(), value, vectorType(), and mlir::verify().
◆ getLoadStoreElementType()
|
static |
Definition at line 761 of file LLVMDialect.cpp.
References mlir::OperationState::addAttribute(), mlir::OperationState::addAttributes(), mlir::OperationState::addOperands(), mlir::OperationState::addSuccessors(), mlir::OperationState::addTypes(), mlir::InFlightDiagnostic::attachNote(), mlir::OperationState::attributes, mlir::Type::dyn_cast(), mlir::AsmParser::emitError(), mlir::emitError(), mlir::Block::empty(), mlir::failure(), mlir::Block::front(), mlir::LLVM::LLVMFunctionType::get(), mlir::LLVM::LLVMPointerType::get(), mlir::FlatSymbolRefAttr::getAttr(), mlir::AsmParser::getBuilder(), mlir::Builder::getContext(), mlir::AsmParser::getCurrentLocation(), mlir::Value::getDefiningOp(), mlir::Builder::getI32VectorAttr(), mlir::Builder::getI64IntegerAttr(), mlir::AsmParser::getNameLoc(), mlir::LLVM::LLVMFunctionType::getNumParams(), mlir::LLVM::LLVMFunctionType::getParamType(), mlir::LLVM::LLVMFunctionType::getReturnType(), mlir::Value::getType(), mlir::Builder::getUnitAttr(), mlir::FlatSymbolRefAttr::getValue(), mlir::LLVM::getVectorElementType(), mlir::Type::isa(), mlir::LLVM::isCompatibleType(), mlir::LLVM::isCompatibleVectorType(), mlir::LLVM::LLVMFunctionType::isVarArg(), kNonTemporalAttrName, kVolatileAttrName, mlir::SymbolTable::lookupNearestSymbolFrom(), mlir::OperationState::operands, mlir::AsmParser::Paren, mlir::AsmParser::parseArrow(), mlir::AsmParser::parseAttribute(), mlir::AsmParser::parseColon(), mlir::AsmParser::parseColonType(), mlir::AsmParser::parseComma(), mlir::AsmParser::parseKeyword(), mlir::AsmParser::parseLSquare(), mlir::OpAsmParser::parseOperand(), mlir::OpAsmParser::parseOperandList(), mlir::AsmParser::parseOptionalAttrDict(), mlir::AsmParser::parseOptionalComma(), mlir::AsmParser::parseOptionalKeyword(), mlir::AsmParser::parseOptionalLParen(), mlir::AsmParser::parseRParen(), mlir::AsmParser::parseRSquare(), mlir::OpAsmParser::parseSuccessorAndUseList(), mlir::AsmParser::parseType(), print(), mlir::OpAsmPrinter::printFunctionalType(), mlir::OpAsmPrinter::printOptionalAttrDict(), mlir::OpAsmPrinter::printSuccessorAndUseList(), mlir::AsmPrinter::printSymbolName(), processFMFAttr(), mlir::OpAsmParser::resolveOperand(), mlir::OpAsmParser::resolveOperands(), mlir::succeeded(), mlir::success(), value, vectorType(), mlir::verify(), and verifyMemoryOpMetadata().
◆ getOption()
|
static |
Definition at line 2997 of file LLVMDialect.cpp.
References mlir::AsmParser::emitError(), mlir::failed(), mlir::failure(), mlir::AsmParser::getContext(), mlir::AsmParser::getNameLoc(), mlir::LLVM::LoopOptionsAttrBuilder::LoopOptionsAttr, mlir::AsmParser::parseCommaSeparatedList(), mlir::AsmParser::parseEqual(), mlir::AsmParser::parseGreater(), mlir::AsmParser::parseInteger(), mlir::AsmParser::parseKeyword(), mlir::AsmParser::parseLess(), mlir::AsmParser::parseOptionalKeyword(), print(), mlir::succeeded(), mlir::success(), and value.
Referenced by mlir::detail::PassOptions::ListOption< DataType, OptionParser >::operator*(), and mlir::detail::PassOptions::Option< bool >::operator=().
◆ isZeroAttribute()
|
static |
Definition at line 1917 of file LLVMDialect.cpp.
References mlir::function_interface_impl::addArgAndResultAttrs(), mlir::OperationState::addAttribute(), mlir::OperationState::addAttributes(), mlir::OperationState::addRegion(), mlir::OperationState::addTypes(), mlir::NamedAttrList::append(), mlir::OperationState::attributes, mlir::Attribute::cast(), mlir::Type::cast(), mlir::Attribute::dyn_cast(), mlir::Type::dyn_cast(), mlir::AsmParser::emitError(), mlir::emitError(), mlir::Operation::emitError(), mlir::failed(), mlir::failure(), mlir::Builder::getContext(), mlir::AsmParser::getCurrentLocation(), mlir::function_interface_impl::getFunctionType(), mlir::LLVM::LLVMFunctionType::getNumParams(), mlir::LLVM::LLVMFunctionType::getParamType(), mlir::Builder::getStringAttr(), mlir::SymbolTable::getSymbolAttrName(), mlir::Value::getType(), mlir::Builder::getUnitAttr(), mlir::LLVM::getVectorElementType(), mlir::LLVM::getVectorType(), mlir::LLVM::isCompatibleVectorType(), mlir::LLVM::isScalableVectorType(), mlir::LLVM::LLVMPointerType::isValidElementType(), mlir::OperationState::name, mlir::OperationState::operands, mlir::AsmParser::parseAttribute(), mlir::AsmParser::parseColonType(), mlir::AsmParser::parseComma(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalAttrDict(), mlir::AsmParser::parseType(), print(), mlir::OpAsmPrinter::printOptionalAttrDict(), mlir::OpAsmParser::resolveOperand(), mlir::LLVM::satisfiesLLVMModule(), mlir::success(), mlir::verify(), and verifySymbolAttrUse().
◆ lookupSymbolInModule()
|
static |
Definition at line 1677 of file LLVMDialect.cpp.
References mlir::OperationState::addAttribute(), mlir::OperationState::addRegion(), mlir::NamedAttrList::append(), mlir::OperationState::attributes, mlir::Region::empty(), mlir::LLVM::LLVMPointerType::getAddressSpace(), mlir::Builder::getContext(), mlir::LLVM::LLVMPointerType::getElementType(), mlir::Builder::getI32IntegerAttr(), mlir::Builder::getI64IntegerAttr(), mlir::Operation::getParentOp(), mlir::Builder::getStringAttr(), mlir::SymbolTable::getSymbolAttrName(), mlir::Builder::getUnitAttr(), mlir::LLVM::LLVMPointerType::isOpaque(), mlir::SymbolTable::lookupSymbolIn(), mlir::OperationState::name, print(), mlir::AsmPrinter::printAttribute(), mlir::OpAsmPrinter::printOptionalAttrDict(), mlir::OpAsmPrinter::printRegion(), mlir::AsmPrinter::printSymbolName(), mlir::LLVM::satisfiesLLVMModule(), mlir::success(), and mlir::verify().
◆ parseAtomicBinOp()
|
static |
Definition at line 2377 of file LLVMDialect.cpp.
References mlir::failure(), mlir::AsmParser::getCurrentLocation(), and mlir::AsmParser::parseKeyword().
◆ parseAtomicOrdering()
|
static |
Definition at line 2403 of file LLVMDialect.cpp.
References mlir::failure(), mlir::AsmParser::getCurrentLocation(), and mlir::AsmParser::parseKeyword().
◆ parseCmpOp()
|
static |
Definition at line 114 of file LLVMDialect.cpp.
References mlir::AsmParser::getBuilder().
◆ parseGEPIndices()
|
static |
Definition at line 590 of file LLVMDialect.cpp.
References mlir::sparse_tensor::constantIndex(), mlir::failed(), mlir::failure(), mlir::AsmParser::getBuilder(), mlir::Builder::getI32TensorAttr(), mlir::OptionalParseResult::getValue(), mlir::OptionalParseResult::hasValue(), mlir::AsmParser::parseCommaSeparatedList(), mlir::OpAsmParser::parseOperand(), mlir::AsmParser::parseOptionalInteger(), and mlir::success().
◆ parseLLVMOpAttrs()
|
static |
Definition at line 65 of file LLVMDialect.cpp.
References mlir::AsmParser::parseOptionalAttrDict().
◆ parseOptionalKeywordAlternative()
|
static |
Definition at line 1802 of file LLVMDialect.cpp.
References mlir::detail::enumerate(), mlir::AsmParser::parseOptionalKeyword(), and mlir::succeeded().
Referenced by parseOptionalLLVMKeyword().
◆ parseOptionalLLVMKeyword()
|
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 1830 of file LLVMDialect.cpp.
References mlir::OperationState::addAttribute(), mlir::OperationState::addRegion(), mlir::OperationState::attributes, mlir::Attribute::dyn_cast_or_null(), mlir::AsmParser::emitError(), mlir::failed(), mlir::failure(), mlir::LLVM::LLVMArrayType::get(), mlir::AsmParser::getBuilder(), mlir::AsmParser::getContext(), mlir::Builder::getI64IntegerAttr(), mlir::AsmParser::getNameLoc(), mlir::Builder::getUnitAttr(), mlir::OptionalParseResult::hasValue(), mlir::OperationState::name, mlir::AsmParser::parseAttribute(), mlir::AsmParser::parseLParen(), mlir::AsmParser::parseOptionalAttrDict(), mlir::AsmParser::parseOptionalColonTypeList(), mlir::AsmParser::parseOptionalKeyword(), parseOptionalKeywordAlternative(), mlir::OpAsmParser::parseOptionalRegion(), mlir::AsmParser::parseOptionalRParen(), mlir::AsmParser::parseRParen(), mlir::AsmParser::parseSymbolName(), mlir::tblgen::stringify(), mlir::succeeded(), mlir::success(), and value.
◆ parseSwitchOpCases()
|
static |
<cases> ::= integer : bb-id (( ssa-use-and-type-list ))? ( , integer : bb-id (( ssa-use-and-type-list ))? )?
Definition at line 313 of file LLVMDialect.cpp.
References mlir::failure(), mlir::DenseIntElementsAttr::get(), mlir::Type::getIntOrFloatBitWidth(), mlir::OptionalParseResult::getValue(), mlir::OptionalParseResult::hasValue(), mlir::AsmParser::None, mlir::AsmParser::parseColon(), mlir::AsmParser::parseColonTypeList(), mlir::OpAsmParser::parseOperandList(), mlir::AsmParser::parseOptionalComma(), mlir::AsmParser::parseOptionalInteger(), mlir::AsmParser::parseOptionalLParen(), mlir::AsmParser::parseRParen(), mlir::OpAsmParser::parseSuccessor(), and mlir::success().
◆ printGEPIndices()
|
static |
Definition at line 616 of file LLVMDialect.cpp.
References mlir::Type::cast(), mlir::Error, extractVectorElementType(), mlir::failed(), mlir::failure(), findStructIndices(), getElementType(), mlir::success(), mlir::toString(), mlir::verify(), and verifyOpaquePtr().
◆ printLLVMOpAttrs()
|
static |
Definition at line 70 of file LLVMDialect.cpp.
References mlir::OpAsmPrinter::printOptionalAttrDict(), and processFMFAttr().
◆ printSwitchOpCases()
|
static |
Definition at line 352 of file LLVMDialect.cpp.
References mlir::emitError(), mlir::Error, mlir::OpAsmPrinter::printNewline(), mlir::success(), and mlir::verify().
◆ processFMFAttr()
|
static |
Definition at line 53 of file LLVMDialect.cpp.
References mlir::Attribute::getContext(), mlir::NamedAttribute::getName(), and mlir::NamedAttribute::getValue().
Referenced by getLoadStoreElementType(), printLLVMOpAttrs(), and verifySymbolAttrUse().
◆ recordStructIndices()
|
static |
For the given structIndices and indices, check if they're complied with baseGEPType, especially check against LLVMStructTypes nested within, and refine/promote struct index from indices to updatedStructIndices if the latter argument is not null.
Definition at line 453 of file LLVMDialect.cpp.
References mlir::Error, mlir::LLVM::LLVMStructType::getBody(), mlir::m_ConstantInt(), mlir::matchPattern(), and mlir::success().
Referenced by findStructIndices().
◆ verifyFuncOpInterfaceStructAttr()
|
static |
Definition at line 2803 of file LLVMDialect.cpp.
References mlir::Operation::emitError(), mlir::NamedAttribute::getName(), mlir::NamedAttribute::getValue(), mlir::Attribute::isa(), and mlir::success().
◆ verifyMemoryOpMetadata()
|
static |
Definition at line 712 of file LLVMDialect.cpp.
References mlir::OperationState::addAttribute(), mlir::OperationState::addOperands(), mlir::OperationState::addTypes(), mlir::failed(), mlir::failure(), mlir::Builder::getI64IntegerAttr(), mlir::Builder::getUnitAttr(), kElemTypeAttrName, kNonTemporalAttrName, kVolatileAttrName, print(), mlir::OpAsmPrinter::printOptionalAttrDict(), mlir::success(), and mlir::verify().
Referenced by getLoadStoreElementType().
◆ verifyOpaquePtr()
|
static |
Checks that the elemental type is present in either the pointer type or the attribute, but not both.
Definition at line 252 of file LLVMDialect.cpp.
References mlir::Operation::emitOpError(), mlir::Builder::getI32VectorAttr(), mlir::LLVM::LLVMPointerType::isOpaque(), kElemTypeAttrName, mlir::success(), value, and mlir::verify().
Referenced by printGEPIndices().
◆ verifyOpMetadata()
|
static |
Definition at line 698 of file LLVMDialect.cpp.
References mlir::Operation::emitOpError(), mlir::success(), and verifySymbolAttribute().
◆ verifySymbolAttribute()
| LogicalResult verifySymbolAttribute | ( | Operation * | op, |
| StringRef | attributeName, | ||
| llvm::function_ref< LogicalResult(Operation *, SymbolRefAttr)> | verifySymbolType | ||
| ) |
Definition at line 662 of file LLVMDialect.cpp.
References mlir::Operation::emitOpError(), mlir::failed(), mlir::failure(), mlir::Operation::getAttr(), mlir::Operation::getParentOp(), mlir::SymbolTable::lookupNearestSymbolFrom(), and mlir::success().
Referenced by verifyOpMetadata().
◆ verifySymbolAttrUse()
|
static |
Verifies symbol's use in op to ensure the symbol is a valid and fully defined llvm.func.
Definition at line 77 of file LLVMDialect.cpp.
References mlir::Operation::emitOpError(), mlir::FlatSymbolRefAttr::getAttr(), mlir::FlatSymbolRefAttr::getValue(), mlir::SymbolTableCollection::lookupNearestSymbolFrom(), print(), mlir::OpAsmPrinter::printOptionalAttrDict(), processFMFAttr(), and mlir::success().
Referenced by isZeroAttribute().
Variable Documentation
◆ kElemTypeAttrName
|
static |
Definition at line 46 of file LLVMDialect.cpp.
Referenced by extractVectorElementType(), verifyMemoryOpMetadata(), and verifyOpaquePtr().
◆ kNonTemporalAttrName
|
static |
Definition at line 45 of file LLVMDialect.cpp.
Referenced by getLoadStoreElementType(), and verifyMemoryOpMetadata().
◆ kVolatileAttrName
|
static |
Definition at line 44 of file LLVMDialect.cpp.
Referenced by getLoadStoreElementType(), and verifyMemoryOpMetadata().
