Lines Matching refs:aliasInfo
117 aliasInfo.insert(v); in createAliasInfoEntry()
125 aliasInfo.unionSets(newValue, alias); in insertNewBufferAlias()
146 aliasInfo.unionSets(result, operand.get()); in bufferizeInPlace()
168 auto leaderIt = aliasInfo.findLeader(v); in applyOnAliases()
169 for (auto mit = leaderIt, meit = aliasInfo.member_end(); mit != meit; ++mit) { in applyOnAliases()
177 auto it = aliasInfo.findValue(aliasInfo.getLeaderValue(v)); in getAliases()
178 for (auto mit = aliasInfo.member_begin(it), meit = aliasInfo.member_end(); in getAliases()
183 aliasInfo.member_begin(it), aliasInfo.member_end()); in getAliases()
192 : AnalysisState(options), aliasInfo(op) { in OneShotAnalysisState()
203 aliasInfo.unionAliasSets(opOperand.get(), opResult); in OneShotAnalysisState()
204 aliasInfo.markInPlace(opOperand); in OneShotAnalysisState()
212 return aliasInfo.isInPlace(opOperand); in isInPlace()
217 return aliasInfo.areEquivalentBufferizedValues(v1, v2); in areEquivalentBufferizedValues()
222 return aliasInfo.areAliasingBufferizedValues(v1, v2); in areAliasingBufferizedValues()
242 aliasInfo.applyOnAliases(returnVal, [&](Value v) { in gatherYieldedTensors()
301 aliasInfo.applyOnAliases(value, [&](Value val) { in isValueWritten()
330 const BufferizationAliasInfo &aliasInfo, in isInplaceMemoryWrite() argument
336 return aliasInfo.isInPlace(opOperand); in isInplaceMemoryWrite()
424 AnalysisState &state, const BufferizationAliasInfo &aliasInfo) { in hasReadAfterWriteInterference() argument
582 const BufferizationAliasInfo &aliasInfo, in getAliasingInplaceWrites() argument
584 aliasInfo.applyOnAliases(root, [&](Value alias) { in getAliasingInplaceWrites()
587 if (isInplaceMemoryWrite(use, aliasInfo, state)) in getAliasingInplaceWrites()
594 const BufferizationAliasInfo &aliasInfo, in getAliasingReads() argument
596 aliasInfo.applyOnAliases(root, [&](Value alias) { in getAliasingReads()
635 const BufferizationAliasInfo &aliasInfo, in wouldCreateReadAfterWriteInterference() argument
639 getAliasingReads(usesRead, operand.get(), aliasInfo, state); in wouldCreateReadAfterWriteInterference()
640 getAliasingInplaceWrites(usesWrite, operand.get(), aliasInfo, state); in wouldCreateReadAfterWriteInterference()
642 getAliasingReads(usesRead, result, aliasInfo, state); in wouldCreateReadAfterWriteInterference()
643 getAliasingInplaceWrites(usesWrite, result, aliasInfo, state); in wouldCreateReadAfterWriteInterference()
649 aliasInfo); in wouldCreateReadAfterWriteInterference()
659 const BufferizationAliasInfo &aliasInfo, in hasPrecedingAliasingNonWritableTensor() argument
677 if (aliasInfo.isInPlace(*opOperand) || currentOpOperand == opOperand) in hasPrecedingAliasingNonWritableTensor()
686 OpOperand &operand, const BufferizationAliasInfo &aliasInfo, in wouldCreateWriteToNonWritableBuffer() argument
690 getAliasingInplaceWrites(usesWrite, operand.get(), aliasInfo, state); in wouldCreateWriteToNonWritableBuffer()
692 getAliasingInplaceWrites(usesWrite, result, aliasInfo, state); in wouldCreateWriteToNonWritableBuffer()
702 aliasInfo, state)) in wouldCreateWriteToNonWritableBuffer()
714 OpOperand &operand, BufferizationAliasInfo &aliasInfo, in bufferizableInPlaceAnalysisImpl() argument
717 wouldCreateWriteToNonWritableBuffer(operand, aliasInfo, state) || in bufferizableInPlaceAnalysisImpl()
718 wouldCreateReadAfterWriteInterference(operand, domInfo, state, aliasInfo); in bufferizableInPlaceAnalysisImpl()
721 aliasInfo.bufferizeOutOfPlace(operand); in bufferizableInPlaceAnalysisImpl()
723 aliasInfo.bufferizeInPlace(operand, state); in bufferizableInPlaceAnalysisImpl()
747 BufferizationAliasInfo &aliasInfo, in inPlaceAnalysis() argument
764 if (failed(bufferizableInPlaceAnalysisImpl(opOperand, aliasInfo, in inPlaceAnalysis()
780 BufferizationAliasInfo &aliasInfo, in inPlaceAnalysis() argument
793 return inPlaceAnalysis(ops, aliasInfo, state, domInfo, analysisFuzzerSeed); in inPlaceAnalysis()
798 BufferizationAliasInfo &aliasInfo, in equivalenceAnalysis() argument
809 aliasInfo.unionEquivalenceClasses(opResult, opOperand->get()); in equivalenceAnalysis()
815 BufferizationAliasInfo &aliasInfo, in equivalenceAnalysis() argument
826 equivalenceAnalysis(ops, aliasInfo, state); in equivalenceAnalysis()
833 const BufferizationAliasInfo &aliasInfo) { in checkAliasInfoConsistency() argument
841 opOperand, domInfo, state, aliasInfo, in checkAliasInfoConsistency()
861 const BufferizationAliasInfo &aliasInfo, in annotateOpsWithBufferizationMarkers() argument
867 setInPlaceOpOperand(opOperand, aliasInfo.isInPlace(opOperand)); in annotateOpsWithBufferizationMarkers()
896 BufferizationAliasInfo &aliasInfo, in assertDestinationPassingStyle() argument
912 aliasInfo.applyOnEquivalenceClass(returnVal, [&](Value equivVal) { in assertDestinationPassingStyle()
944 BufferizationAliasInfo &aliasInfo = state.getAliasInfo(); in analyzeOp() local
953 if (failed(checkAliasInfoConsistency(op, domInfo, state, aliasInfo))) in analyzeOp()
957 if (failed(inPlaceAnalysis(op, aliasInfo, state, domInfo, in analyzeOp()
960 equivalenceAnalysis(op, aliasInfo, state); in analyzeOp()
966 failed(assertDestinationPassingStyle(op, state, aliasInfo, newOps)); in analyzeOp()
984 annotateOpsWithBufferizationMarkers(op, aliasInfo, state); in analyzeOp()