Lines Matching defs:erased

304   /// Roll back the rewrite. Operations may be erased during rollback.
312   /// commit phase and finally be erased during the cleanup phase. This is
360 /// created block is erased.
391 /// blocks are immediately unlinked, but only erased during cleanup. This makes
410     // The block (owned by this rewrite) was not actually erased yet. It was
426     // Notify the listener that the block is about to be erased.
679       // Note: The operation may have been erased in the mean time, so
714 /// original op is not erased until the rewrite is committed.
769 /// op. Unresolved materializations are erased at the end of the dialect
889   /// Return "true" if the given operation was replaced or erased.
952   /// Notifies that a block is about to be erased.
972   /// A rewriter that keeps track of erased ops and blocks. It ensures that no
973   /// operation or block is erased multiple times. This rewriter assumes that
980     /// Erase the given op (unless it was already erased).
988     /// Erase the given block (unless it was already erased).
997     bool wasErased(void *ptr) const { return erased.contains(ptr); }
999     void notifyOperationErased(Operation *op) override { erased.insert(op); }
1001     void notifyBlockErased(Block *block) override { erased.insert(block); }
1004     /// Pointers to all erased operations and blocks.
1005     DenseSet<void *> erased;
1015   /// A rewriter that keeps track of ops/block that were already erased and
1028   /// E.g., ops that are recursively legal. Ops that were replaced/erased are
1032   /// A set of operations that were replaced/erased. Such ops are not erased
1128   // The original op will be erased, so remove it from the set of unlegalized
1134   // erased.
1413   // Erase the old block. (It is just unlinked for now and will be erased during
1509          "attempting to insert into a block within a replaced/erased op");
1580          "attempting to insert into a region within a replaced/erased op");
1676          "attempting to erase a block within a replaced/erased op");
1695          "replaced/erased op");
1704          "replaced/erased op");
1753          "attempting to inline a block from a replaced/erased op");
1755          "attempting to inline a block into a replaced/erased op");
1793          "attempting to modify a replaced/erased op");
1802          "attempting to modify a replaced/erased op");