Lines Matching defs:definition

197       // If there is no preceding definition, the tensor contents are
310 /// operate on (i.e., the "definition") is defined outside of the loop.
433                              Value definition) {
451   if (auto opResult = dyn_cast<OpResult>(definition)) {
456     auto bbArg = cast<BlockArgument>(definition);
569     // definition        = %1
588 /// the result of a definition W1. But because of bufferization decisions, R
589 /// actually reads another definition W2.
602       // Find the allocation point or last write (definition) of the buffer.
604       // ops that do not bufferize to memory write when no other definition
613              "expected at least one definition or leaf");
615       // The writing op must bufferize out-of-place if the definition is in a
640     // Find the definition of uRead by following the SSA use-def chain.
648     // definition is %0. Note that operations that create an alias but do not
764       for (Value definition : definitions) {
765         LLVM_DEBUG(llvm::dbgs() << "  * definition = " << definition << "\n");
767         // No conflict if the conflicting write happens before the definition.
768         if (Operation *defOp = definition.getDefiningOp()) {
772                        << "    no conflict: write happens before definition\n");
779                 << "    no conflict: write is contained in definition\n");
783           auto bbArg = cast<BlockArgument>(definition);
786             LLVM_DEBUG(llvm::dbgs() << "    no conflict: definition is bbArg "
794         // No conflict if the conflicting write and the definition are the same
798             aliases.getAliases()[0].value == definition) {
800                      << "    no conflict: definition and write are same\n");
807           annotateConflict(uRead, uConflictingWrite, definition);