This class represents an instance of an SSA value in the MLIR system, representing a computable value that has a type and a set of users. More...
#include "mlir/IR/Value.h"
Inheritance diagram for mlir::Value:
Public Types | |
| using | use_iterator = ValueUseIterator< OpOperand > |
| This class implements an iterator over the uses of a value. More... | |
| using | use_range = iterator_range< use_iterator > |
| using | user_iterator = ValueUserIterator< use_iterator, OpOperand > |
| using | user_range = iterator_range< user_iterator > |
Public Member Functions | |
| constexpr | Value (detail::ValueImpl *impl=nullptr) |
| template<typename U > | |
| bool | isa () const |
| template<typename U > | |
| U | dyn_cast () const |
| template<typename U > | |
| U | dyn_cast_or_null () const |
| template<typename U > | |
| U | cast () const |
| operator bool () const | |
| bool | operator== (const Value &other) const |
| bool | operator!= (const Value &other) const |
| Type | getType () const |
| Return the type of this value. More... | |
| MLIRContext * | getContext () const |
| Utility to get the associated MLIRContext that this value is defined in. More... | |
| void | setType (Type newType) |
| Mutate the type of this Value to be of the specified type. More... | |
| Operation * | getDefiningOp () const |
| If this value is the result of an operation, return the operation that defines it. More... | |
| template<typename OpTy > | |
| OpTy | getDefiningOp () const |
| If this value is the result of an operation of type OpTy, return the operation that defines it. More... | |
| Location | getLoc () const |
| Return the location of this value. More... | |
| void | setLoc (Location loc) |
| Region * | getParentRegion () |
| Return the Region in which this Value is defined. More... | |
| Block * | getParentBlock () |
| Return the Block in which this Value is defined. More... | |
| void | dropAllUses () |
| Drop all uses of this object from their respective owners. More... | |
| void | replaceAllUsesWith (Value newValue) |
| Replace all uses of 'this' value with the new value, updating anything in the IR that uses 'this' to use the other value instead. More... | |
| void | replaceAllUsesExcept (Value newValue, const SmallPtrSetImpl< Operation * > &exceptions) |
| Replace all uses of 'this' value with 'newValue', updating anything in the IR that uses 'this' to use the other value instead except if the user is listed in 'exceptions' . More... | |
| void | replaceAllUsesExcept (Value newValue, Operation *exceptedUser) |
| Replace all uses of 'this' value with 'newValue', updating anything in the IR that uses 'this' to use the other value instead except if the user is 'exceptedUser'. More... | |
| void | replaceUsesWithIf (Value newValue, function_ref< bool(OpOperand &)> shouldReplace) |
| Replace all uses of 'this' value with 'newValue' if the given callback returns true. More... | |
| bool | isUsedOutsideOfBlock (Block *block) const |
| Returns true if the value is used outside of the given block. More... | |
| void | shuffleUseList (ArrayRef< unsigned > indices) |
| Shuffle the use list order according to the provided indices. More... | |
| use_iterator | use_begin () const |
| use_iterator | use_end () const |
| use_range | getUses () const |
| Returns a range of all uses, which is useful for iterating over all uses. More... | |
| bool | hasOneUse () const |
| Returns true if this value has exactly one use. More... | |
| bool | use_empty () const |
| Returns true if this value has no uses. More... | |
| user_iterator | user_begin () const |
| user_iterator | user_end () const |
| user_range | getUsers () const |
| void | print (raw_ostream &os) const |
| void | print (raw_ostream &os, const OpPrintingFlags &flags) const |
| void | print (raw_ostream &os, AsmState &state) const |
| void | dump () const |
| void | printAsOperand (raw_ostream &os, AsmState &state) const |
| Print this value as if it were an operand. More... | |
| void | printAsOperand (raw_ostream &os, const OpPrintingFlags &flags) const |
| void * | getAsOpaquePointer () const |
| Methods for supporting PointerLikeTypeTraits. More... | |
| detail::ValueImpl * | getImpl () const |
Static Public Member Functions | |
| static Value | getFromOpaquePointer (const void *pointer) |
Protected Attributes | |
| detail::ValueImpl * | impl |
| A pointer to the internal implementation of the value. More... | |
Friends | |
| ::llvm::hash_code | hash_value (Value arg) |
| Make Value hashable. More... | |
Detailed Description
This class represents an instance of an SSA value in the MLIR system, representing a computable value that has a type and a set of users.
An SSA value is either a BlockArgument or the result of an operation. Note: This class has value-type semantics and is just a simple wrapper around a ValueImpl that is either owner by a block(in the case of a BlockArgument) or an Operation(in the case of an OpResult). As most IR constructs, this isn't const-correct, but we keep method consistent and as such method that immediately modify this Value aren't marked const (include modifying the Value use-list).
Member Typedef Documentation
◆ use_iterator
◆ use_range
◆ user_iterator
◆ user_range
Constructor & Destructor Documentation
◆ Value()
|
inlineconstexpr |
Member Function Documentation
◆ cast()
◆ dropAllUses()
|
inline |
◆ dump()
| void Value::dump | ( | ) | const |
Definition at line 3868 of file AsmPrinter.cpp.
References print().
◆ dyn_cast()
|
inline |
◆ dyn_cast_or_null()
|
inline |
◆ getAsOpaquePointer()
|
inline |
Methods for supporting PointerLikeTypeTraits.
Definition at line 243 of file Value.h.
References impl.
Referenced by ValueEquivalenceCache::checkCommutativeEquivalent(), and llvm::PointerLikeTypeTraits< mlir::Value >::getAsVoidPointer().
◆ getContext()
|
inline |
Utility to get the associated MLIRContext that this value is defined in.
Definition at line 132 of file Value.h.
References mlir::Type::getContext(), and getType().
Referenced by mlir::scf::addLoopRangeConstraints(), annotateNonWritableTensor(), areAllIndicesI32(), calculateMemoryRequirements(), mlir::ValueBoundsConstraintSet::computeConstantDelta(), mlir::vector::ScalableValueBoundsConstraintSet::computeScalableBound(), dropRefIfNoUses(), mlir::affine::fullyComposeAndComputeConstantDelta(), isAccessIndexInvariant(), and maybeConstantDimsAttr().
◆ getDefiningOp() [1/2]
| Operation * Value::getDefiningOp | ( | ) | const |
If this value is the result of an operation, return the operation that defines it.
If this value is the result of an Operation, return the operation that defines it.
Definition at line 20 of file Value.cpp.
Referenced by mlir::affine::affineParallelize(), mlir::bufferization::allocateTensorForShapedValue(), mlir::transform::TransformState::applyTransform(), mlir::linalg::areElementwiseOpsFusable(), MmaSyncBuilder::buildMmaSync(), composeSetAndOperands(), computeNecessaryMaterializations(), convertOmpThreadprivate(), createInlinedCompareImplementation(), defaultDeallocBufferCallBack(), defaultIsSmallAlloc(), delinearizeInductionVariable(), denormalizeInductionVariable(), mlir::DominanceInfo::dominates(), mlir::bufferization::dropEquivalentBufferResults(), mlir::bufferization::AnalysisState::findValueInReverseUseDefChain(), foldExtractAfterInsertSlice(), foldInsertAfterExtractSlice(), mlir::affine::fullyComposeAffineMapAndOperands(), mlir::linalg::fuseProducerOfTensor(), generateFusedElementwiseOpRegion(), get2To4PruneFlag(), mlir::vector::getAsIntegers(), mlir::getBackwardSlice(), getBase(), mlir::bufferization::getBuffer(), getCompressedMaskOp(), getDefiningOp(), getMaskFormat(), mlir::mesh::getMeshShardingAttr(), getOperandTreePredicates(), mlir::tensor::getOrCreateDestination(), getOwnerOfValue(), getProducerOfTensor(), getRangeFromOperandShape(), getRefPtrIfDeclareTarget(), getRegisterType(), mlir::shape::getShapeVec(), mlir::LivenessBlockInfo::getStartOperation(), getTreePredicates(), mlir::sparse_tensor::getTuple(), getUnderlyingObject(), getUnderlyingObjectSet(), getViewBase(), getWarpResult(), PadOpVectorizationWithTransferWritePattern::hasSameTensorSize(), haveNoReadsAfterWriteExceptSameIndex(), mlir::linalg::hoistPaddingOnTensors(), mlir::sparse_tensor::LoopEmitter::initializeLoopEmit(), isContiguousLoadIdx(), mlir::linalg::detail::isContractionBody(), isDeclareTargetLink(), isDefinedByCallTo(), isElementTypeInconsistent(), isEscapingMemref(), isLocallyDefined(), isLoopInvariantIdx(), isMaterializing(), isMulChain(), mlir::affine::isTopLevelValue(), mlir::affine::isValidDim(), mlir::affine::isValidSymbol(), mlir::linalg::makeComposedPadHighOp(), mlir::makeRegionIsolatedFromAbove(), CanonicalizeContractAdd< AddOpType >::matchAndRewrite(), mlir::LLVM::SplitStores::matchAndRewrite(), MergeAffineMinMaxOp< T >::matchAndRewrite(), ConcatSliceOptimization::matchAndRewrite(), mlir::linalg::LinalgCopyVTRForwardingPattern::matchAndRewrite(), mlir::linalg::LinalgCopyVTWForwardingPattern::matchAndRewrite(), mayAlias(), movePaddingToFillOrGenericOp(), noAliasingUseInLoop(), mlir::linalg::offsetIndices(), mlir::bufferization::ValueComparator::operator()(), mlir::outlineSingleBlockRegion(), mlir::linalg::padAndHoistLinalgOp(), padThroughLoopIterArg(), CommutativeOperand::popFrontAndPushAdjacentUnvisitedAncestors(), printOperation(), processParallelLoop(), mlir::ValueBoundsConstraintSet::processWorklist(), mlir::DominanceInfo::properlyDominates(), reifyOrComputeDynamicSizes(), remainsLegalAfterInline(), replaceDimOrSym(), mlir::Liveness::resolveLiveness(), mlir::linalg::rewriteInDestinationPassingStyle(), setInsertionPointAfter(), setInsertionPointToStart(), tracesBackToExpectedValue(), tryToEnforceAlignment(), GenericPadOpVectorizationPattern::tryVectorizeCopy(), mlir::bufferization::detail::unknownGetAliasingOpOperands(), mlir::spirv::verifyGroupNonUniformArithmeticOp(), and visitUpward().
◆ getDefiningOp() [2/2]
|
inline |
If this value is the result of an operation of type OpTy, return the operation that defines it.
Definition at line 149 of file Value.h.
References getDefiningOp().
◆ getFromOpaquePointer()
|
inlinestatic |
Definition at line 244 of file Value.h.
Referenced by llvm::DenseMapInfo< mlir::Value >::getEmptyKey(), llvm::PointerLikeTypeTraits< mlir::Value >::getFromVoidPointer(), and llvm::DenseMapInfo< mlir::Value >::getTombstoneKey().
◆ getImpl()
|
inline |
Definition at line 247 of file Value.h.
References impl.
Referenced by mlir::BlockArgument::classof(), mlir::OpResult::classof(), llvm::CastInfo< To, From, std::enable_if_t< std::is_same_v< mlir::Value, std::remove_const_t< From > >||std::is_base_of_v< mlir::Value, From > > >::doCast(), and mlir::OpOperand::getUseList().
◆ getLoc()
| Location Value::getLoc | ( | ) | const |
Return the location of this value.
Definition at line 26 of file Value.cpp.
Referenced by addAtomicRMW(), addShardOp(), mlir::transform::gpu::alterGpuLaunch(), buildLoopIterationCount(), buildPredicateList(), mlir::bufferization::castOrReallocMemRefValue(), castToCompatibleMemRefType(), mlir::OneToNTypeMapping::convertLocation(), mlir::linalg::copyToGPUPrivateMemory(), mlir::linalg::copyToWorkgroupMemory(), createDecl(), createSwitchOp(), genDemap(), genRemap(), mlir::bufferization::getBuffer(), mlir::bufferization::DeallocationState::getMemrefWithUniqueOwnership(), mlir::OperationEquivalence::isRegionEquivalentTo(), movePaddingToFillOrGenericOp(), padThroughLoopIterArg(), reifyOrComputeDynamicSizes(), mlir::detail::ConversionPatternRewriterImpl::remapValues(), mlir::linalg::rewriteInIm2Col(), transposeToShuffle16x16(), transposeToShuffle1D(), verifyAllToAllOperandAndResultShape(), verifyGatherOperandAndResultShape(), and verifyScatterOrSliceOperandAndResultShape().
◆ getParentBlock()
| Block * Value::getParentBlock | ( | ) |
Return the Block in which this Value is defined.
Definition at line 48 of file Value.cpp.
Referenced by mlir::LocalAliasAnalysis::aliasImpl(), mlir::detail::ConversionPatternRewriterImpl::buildUnresolvedTargetMaterialization(), destructureSlot(), mlir::bufferization::findCommonDominator(), mlir::linalg::fuseProducerOfTensor(), mlir::bufferization::DeallocationState::getMemrefWithUniqueOwnership(), setInsertionPointToStart(), tryToEnforceAlignment(), and mlir::bufferization::DeallocationState::updateOwnership().
◆ getParentRegion()
| Region * Value::getParentRegion | ( | ) |
Return the Region in which this Value is defined.
Definition at line 41 of file Value.cpp.
Referenced by mlir::LocalAliasAnalysis::aliasImpl(), mlir::getEnclosingRepetitiveRegion(), mlir::bufferization::AnalysisState::getEnclosingRepetitiveRegion(), handleByValArgumentInit(), hasAllocationScope(), insertCopyLoops(), and mlir::transform::TransformState::mapBlockArguments().
◆ getType()
|
inline |
Return the type of this value.
Definition at line 129 of file Value.h.
Referenced by mlir::ArithBuilder::add(), addBodyWithPayloadOp(), mlir::affine::MemRefDependenceGraph::addEdge(), addExecuteResults(), addShardOp(), mlir::bufferization::allocateTensorForShapedValue(), mlir::allOperandsHaveSameCoopMatrixType(), appendX1Dim(), applyPad(), mlir::detail::ConversionPatternRewriterImpl::applySignatureConversion(), applyToIntegerAttrs(), mlir::transform::TransformState::applyTransform(), mlir::linalg::areElementwiseOpsFusable(), assertValidValueDim(), bitAndAddrspaceCast(), broadcast(), broadcastDynamicDimension(), broadcastDynamicDimensions(), broadcastIfNeeded(), mlir::MemRefDescriptor::bufferPtr(), mlir::tosa::buildConvOpQuantizationAttr(), mlir::tosa::buildConvOpResultTypeInfo(), buildDivOp(), mlir::sparse_tensor::Merger::buildExp(), mlir::tosa::buildMatMulOpQuantizationAttr(), buildMatMulOpWithQuantInfo(), MmaSyncBuilder::buildMmaSync(), mlir::tosa::buildPadOpQuantizationAttr(), buildSubAndExpOp(), mlir::tosa::buildUnaryOpQuantizationAttr(), calculateMemoryRequirements(), castAllocFuncResult(), castBoolToIntN(), castIntNToBool(), castIntValueToSameSizedType(), mlir::bufferization::castOrReallocMemRefValue(), castSameSizedTypes(), castToCompatibleMemRefType(), castToF32(), castToSameSizedInt(), castToSourceType(), ceilDivPositive(), checkLayout(), clampInput(), mlir::detail::TypedValue< Ty >::classof(), collapseInnerDims(), collapseValue(), mlir::ValueBoundsConstraintSet::computeBound(), computeNecessaryMaterializations(), mlir::linalg::computeSliceParameters(), computeTargetSize(), convertIntrinsicResult(), convertScalarToComplexDtype(), mlir::convertScalarToDtype(), convertScalarToFpDtype(), convertScalarToIntDtype(), convertToLaunchFuncOp(), create4x128BitSuffle(), mlir::linalg::createAdd(), mlir::AllocationOpLLVMLowering::createAligned(), createBinarySearchFunc(), mlir::tensor::createCanonicalRankReducingExtractSliceOp(), mlir::tensor::createCanonicalRankReducingInsertSliceOp(), mlir::memref::createCanonicalRankReducingSubViewOp(), createDecl(), mlir::tensor::createDynamicDimValues(), createExtractAndCast(), mlir::linalg::createFoldedDimOp(), createFullPartialVectorTransferRead(), createGroupReduceOpImpl(), createInsertAndCast(), mlir::LLVM::detail::createIntrinsicCall(), mlir::arm_sme::createLoopOverTileSlices(), createMemcpy(), mlir::vector::createOrFoldDimOp(), mlir::linalg::createOrFoldDimOp(), mlir::sparse_tensor::createOrFoldSliceOffsetOp(), mlir::sparse_tensor::createOrFoldSliceStrideOp(), createPartitionFunc(), createQuickSort(), createQuickSortFunc(), mlir::vector::createReadOrMaskedRead(), createScanLoop(), createShiftDownFunc(), createSortStableFunc(), createSubViewIntersection(), createTruncatedFPValue(), createWriteOrMaskedWrite(), declareReduction(), mlir::bufferization::detail::defaultGetBufferType(), defaultIsSmallAlloc(), dispatchMappedValues(), doubleBuffer(), mlir::bufferization::dropEquivalentBufferResults(), dropTrailingX1Dim(), emitElementwiseComputation(), emitNormalizedLoopBounds(), ensureToMemrefOpIsValid(), mlir::tosa::EqualizeRanks(), expandRank(), expandValue(), extendMaskRank(), extendVectorRank(), extractLastDimSlice(), extractOne(), mlir::bufferization::AnalysisState::findValueInReverseUseDefChain(), foldExtractFromBroadcast(), foreachIndividualVectorElement(), forwardStoreToLoad(), mlir::affine::fullyComposeAndComputeConstantDelta(), mlir::linalg::fuseProducerOfTensor(), mlir::sparse_tensor::genCast(), genCompressed(), genConditionalInsert(), generatePointWiseCopy(), genIf(), mlir::sparse_tensor::genIndexLoad(), mlir::sparse_tensor::genIsNonzero(), genSliceOffset(), genSliceStride(), genSliceToSize(), genStore(), mlir::sparse_tensor::genToMemref(), mlir::bufferization::getBuffer(), mlir::getBufferizationOptionsForSparsification(), mlir::bufferization::getBufferType(), getConstantUint32(), getContext(), getConvOrPoolOutputDim(), getDimValue(), mlir::MemRefDescriptor::getElementPtrType(), mlir::getElementTypeOrSelf(), mlir::ValueBoundsConstraintSet::getExpr(), getFlatOffsetAndStrides(), getGenericEffectsImpl(), mlir::dataflow::IntegerValueRange::getMaxRange(), mlir::bufferization::getMemRefType(), mlir::memref::getMixedSize(), mlir::tensor::getMixedSize(), mlir::memref::getMixedSizes(), mlir::tensor::getMixedSizes(), getMultiLevelStrides(), getNumNonTrivialIdxExpOnSparseLvls(), getOffsetForBitwidth(), mlir::spirv::getOpenCLElementPtr(), getOperandTreePredicates(), mlir::tensor::getOrCreateDestination(), getOrFoldTensorDim(), mlir::bufferization::getPartialBufferizationOptions(), getProducerOfTensor(), mlir::xegpu::getRankOf(), getRegisterType(), getReshapeOutputShapeFromInputShape(), getScalarOrElementWidth(), mlir::ValueShapeRange::getShape(), getSlice(), mlir::sparse_tensor::getSparseTensorType(), getTreePredicates(), mlir::detail::TypedValue< Ty >::getType(), mlir::OpTrait::detail::MultiResultTraitBase< ConcreteType, TraitType >::getType(), mlir::getValueOrCreateCastToIndexLike(), handleArgumentImpl(), handleByValArgumentInit(), handleResultImpl(), PadOpVectorizationWithTransferWritePattern::hasSameTensorSize(), inferDynamicDimsForConv(), mlir::sparse_tensor::LoopEmitter::initialize(), mlir::sparse_tensor::LoopEmitter::initializeLoopEmit(), inlineReductionCleanup(), insertCopies(), insertCopyLoops(), insertLastDimSlice(), insertOne(), mlir::NVVM::PtxBuilder::insertValue(), isAccessIndexInvariant(), isDefinedByCallTo(), mlir::OperationEquivalence::isEquivalentTo(), isGpuAsyncTokenType(), isMemref(), mlir::OperationEquivalence::isRegionEquivalentTo(), mlir::BufferOriginAnalysis::isSameAllocation(), isSparseTensor(), mlir::affine::isValidDim(), mlir::affine::isValidSymbol(), isValueCompatibleWithFullReplicationSharding(), mlir::bufferization::AnalysisState::isValueRead(), legalizeUnresolvedMaterialization(), linalgBroadcastAndMaybeExtSI(), linalgIntBroadcastExtSIAdd(), mlir::sparse_tensor::loadAll(), mlir::linalg::makeMemRefCopyOp(), mlir::linalg::makeTransposeOp(), mlir::ValueTypeIterator< ValueIteratorT >::mapElement(), mlir::OperandElementTypeIterator::mapElement(), mlir::ResultElementTypeIterator::mapElement(), matchAndReplaceDepthwiseConv(), mlir::GPUPrintfOpToHIPLowering::matchAndRewrite(), ConvertAccessChain::matchAndRewrite(), mlir::affine::materializeComputedBound(), mlir::linalg::materializeTiledShape(), mlir::BufferViewFlowAnalysis::mayBeTerminalBuffer(), mlir::MemRefDescriptor::MemRefDescriptor(), mfmaConcatIfNeeded(), mlir::x86vector::avx2::inline_asm::mm256BlendPsAsm(), movePaddingToFillOrGenericOp(), mlir::ArithBuilder::mul(), needFlatten(), mlir::affine::normalizeMemRef(), mlir::nvgpu::optimizeSharedMemoryReadsAndWrites(), optionallyTruncateOrExtend(), outlineExecuteOp(), mlir::linalg::pack(), padOperandToSmallestStaticBoundingBox(), mlir::bufferization::populateDynamicDimSizes(), printAttributions(), printFunctionArgs(), mlir::spirv::printGroupNonUniformArithmeticOp(), mlir::ValueBoundsConstraintSet::processWorklist(), mlir::scf::promote(), mlir::LLVMTypeConverter::promoteOneMemRefDescriptor(), rankReducingSubviewDroppingUnitDims(), reduce(), reifyOrComputeDynamicSizes(), mlir::arith::reifyValueBound(), mlir::detail::ConversionPatternRewriterImpl::remapValues(), mlir::affine::MemRefDependenceGraph::removeEdge(), mlir::affine::replaceAllMemRefUsesWith(), replaceUsesAndPropagateType(), replaceWithConstant(), mlir::linalg::DownscaleSizeOneWindowed2DConvolution< Conv2DOp, Conv1DOp >::returningMatchAndRewrite(), mlir::linalg::DownscaleConv2DOp::returningMatchAndRewrite(), mlir::linalg::DownscaleDepthwiseConv2DNhwcHwcOp::returningMatchAndRewrite(), mlir::linalg::rewriteAsPaddedOp(), rewriteI4ToI8SignedExt(), rewriteI8ToI4Trunc(), mlir::linalg::rewriteInIm2Col(), mlir::ArithBuilder::sgt(), shiftValue(), mlir::ArithBuilder::slt(), mlir::sparse_tensor::IterationGraphSorter::sort(), mlir::vector::splitFullAndPartialTransfer(), splitIntegerStore(), splitVectorStore(), mlir::sparse_tensor::storeAll(), mlir::ArithBuilder::sub(), mlir::linalg::transposeBatchMatmul(), mlir::linalg::transposeMatmul(), transposeOneLinalgOperandAndReplace(), transposeToShuffle16x16(), truncToI32(), mlir::sparse_tensor::tryGetSparseTensorType(), unpackOperandVector(), mlir::ValueBoundsConstraintSet::Variable::Variable(), vectorizeDynamicConvOpPrecondition(), vectorShape(), verifyAllToAllOperandAndResultShape(), verifyGatherOperandAndResultShape(), verifyScatterOrSliceOperandAndResultShape(), visitUpward(), wmmaPushInputOperand(), wmmaPushOutputOperand(), and wrapExternalFunction().
◆ getUsers()
|
inline |
Definition at line 228 of file Value.h.
References user_begin(), and user_end().
Referenced by computeNecessaryMaterializations(), mlir::memref::findDealloc(), findLiveUserOfReplaced(), mlir::LivenessBlockInfo::getEndOperation(), mlir::getForwardSlice(), mlir::mesh::getMeshShardingAttr(), hasNonAffineUsersOnThePath(), isEscapingMemref(), mlir::matchReduction(), maybeCaptured(), noAliasingUseInLoop(), mlir::affine::normalizeMemRef(), mlir::dataflow::AbstractSparseLattice::onUpdate(), replaceForAllWithNewSignature(), shouldBeInlined(), and tileAndFuseFirstExtractUseThroughContainingOpBlockArgument().
◆ getUses()
|
inline |
Returns a range of all uses, which is useful for iterating over all uses.
Definition at line 212 of file Value.h.
References use_begin(), and use_end().
Referenced by checkDoubleConsume(), computeDestructuringInfo(), dropRefIfNoUses(), getSingleTerminatorUse(), getSubViewUseIfUnique(), mlir::bufferization::AnalysisState::isValueRead(), mlir::bufferization::OneShotAnalysisState::isValueWritten(), mlir::linalg::LinalgCopyVTRForwardingPattern::matchAndRewrite(), processValue(), mlir::replaceAllUsesInRegionWith(), mlir::RewriterBase::replaceAllUsesWith(), mlir::RewriterBase::replaceUsesWithIf(), and mlir::Liveness::resolveLiveness().
◆ hasOneUse()
|
inline |
Returns true if this value has exactly one use.
Definition at line 215 of file Value.h.
Referenced by mlir::mesh::getMeshShardingAttr(), getSingleTerminatorUse(), mlir::linalg::hoistRedundantVectorBroadcasts(), isResultValueDead(), mlir::matchReduction(), and shouldBeInlined().
◆ isa()
|
inline |
◆ isUsedOutsideOfBlock()
| bool Value::isUsedOutsideOfBlock | ( | Block * | block | ) | const |
Returns true if the value is used outside of the given block.
Definition at line 89 of file Value.cpp.
References mlir::Operation::getBlock().
Referenced by mlir::Operation::isUsedOutsideOfBlock().
◆ operator bool()
|
inlineexplicit |
◆ operator!=()
|
inline |
◆ operator==()
|
inline |
◆ print() [1/3]
| void Value::print | ( | raw_ostream & | os | ) | const |
Definition at line 3839 of file AsmPrinter.cpp.
Referenced by mlir::operator<<(), and mlir::Diagnostic::operator<<().
◆ print() [2/3]
| void Value::print | ( | raw_ostream & | os, |
| AsmState & | state | ||
| ) | const |
Definition at line 3853 of file AsmPrinter.cpp.
◆ print() [3/3]
| void Value::print | ( | raw_ostream & | os, |
| const OpPrintingFlags & | flags | ||
| ) | const |
Definition at line 3840 of file AsmPrinter.cpp.
◆ printAsOperand() [1/2]
| void Value::printAsOperand | ( | raw_ostream & | os, |
| AsmState & | state | ||
| ) | const |
Print this value as if it were an operand.
Definition at line 3873 of file AsmPrinter.cpp.
◆ printAsOperand() [2/2]
| void Value::printAsOperand | ( | raw_ostream & | os, |
| const OpPrintingFlags & | flags | ||
| ) | const |
Definition at line 3898 of file AsmPrinter.cpp.
◆ replaceAllUsesExcept() [1/2]
| void Value::replaceAllUsesExcept | ( | Value | newValue, |
| const SmallPtrSetImpl< Operation * > & | exceptions | ||
| ) |
Replace all uses of 'this' value with 'newValue', updating anything in the IR that uses 'this' to use the other value instead except if the user is listed in 'exceptions' .
Replace all uses of 'this' value with the new value, updating anything in the IR that uses 'this' to use the other value instead except if the user is listed in 'exceptions' .
Definition at line 61 of file Value.cpp.
Referenced by addShardOp().
◆ replaceAllUsesExcept() [2/2]
◆ replaceAllUsesWith()
|
inline |
Replace all uses of 'this' value with the new value, updating anything in the IR that uses 'this' to use the other value instead.
When this returns there are zero uses of 'this'.
Definition at line 173 of file Value.h.
Referenced by forwardStoreToLoad(), loadCSE(), mlir::OpTrait::OneResult< ConcreteType >::replaceAllUsesWith(), and replaceWithConstant().
◆ replaceUsesWithIf()
| void Value::replaceUsesWithIf | ( | Value | newValue, |
| function_ref< bool(OpOperand &)> | shouldReplace | ||
| ) |
Replace all uses of 'this' value with 'newValue' if the given callback returns true.
Definition at line 81 of file Value.cpp.
Referenced by mlir::outlineSingleBlockRegion().
◆ setLoc()
◆ setType()
|
inline |
Mutate the type of this Value to be of the specified type.
Note that this is an extremely dangerous operation which can create completely invalid IR very easily. It is strongly recommended that you recreate IR objects with the right types instead of mutating them in place.
Definition at line 140 of file Value.h.
Referenced by mlir::detail::TypedValue< Ty >::setType().
◆ shuffleUseList()
| void Value::shuffleUseList | ( | ArrayRef< unsigned > | indices | ) |
◆ use_begin()
|
inline |
Definition at line 208 of file Value.h.
Referenced by getUses(), mlirValueGetFirstUse(), and user_begin().
◆ use_empty()
|
inline |
Returns true if this value has no uses.
Definition at line 218 of file Value.h.
Referenced by computeDestructuringInfo(), destructureSlot(), generateUnrolledLoop(), isResultValueDead(), mlir::affine::loopUnrollJamByFactor(), mlirValueGetFirstUse(), mlir::tryToPromoteMemorySlots(), and mlir::ResultRange::use_empty().
◆ use_end()
|
inline |
Definition at line 209 of file Value.h.
Referenced by getUses(), and user_end().
◆ user_begin()
|
inline |
Definition at line 226 of file Value.h.
References use_begin().
Referenced by getUsers(), and isResultValueDead().
◆ user_end()
|
inline |
Definition at line 227 of file Value.h.
References use_end().
Referenced by computeNecessaryMaterializations(), findLiveUserOfReplaced(), and getUsers().
Friends And Related Function Documentation
◆ hash_value
|
friend |
Member Data Documentation
◆ impl
|
protected |
A pointer to the internal implementation of the value.
Definition at line 253 of file Value.h.
Referenced by getAsOpaquePointer(), getImpl(), operator bool(), and operator==().
The documentation for this class was generated from the following files:
- include/mlir/IR/Value.h
- lib/IR/AsmPrinter.cpp
- lib/IR/Value.cpp
