commit | 109665b67c4d257f8d22c638ddaed6da2a0965f8 | [log] [tgz] |
---|---|---|
author | Matthias Springer <me@m-sp.org> | Sun Jul 27 10:27:27 2025 +0200 |
committer | Copybara-Service <copybara-worker@google.com> | Sun Jul 27 01:31:05 2025 -0700 |
tree | 2063b98b2298ba8b18fe679446da9a6998f834f1 | |
parent | 4bf375e41c22a8ddccf6cfd680b0b186e153320d [diff] |
[mlir][IR] Set insertion point when erasing an operation (#146955) Erasing the operation to which the current insertion point is set, leaves the insertion point in an invalid state. This commit resets the insertion point to the following operation. Also adjust the insertion point when inlining a block. GitOrigin-RevId: a7c9563995cdeb2b74202ad47bf262152e0870e6
See https://mlir.llvm.org/ for more information.