projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31ee6ae) | patch
[mlir] GreedyPatternRewriteDriver: Fix termination criteria in OpPatternRewriteDriver
authorMatthias Springer <springerm@google.com>
Wed, 18 Jan 2023 14:10:14 +0000 (15:10 +0100)
committerMatthias Springer <springerm@google.com>
Wed, 18 Jan 2023 14:11:06 +0000 (15:11 +0100)
commit11a9c05bcbbdc42e182aea0c502a74f4bc626b79
tree7132db00d82947036762a4d897c772a8f4320e97tree | snapshot
parent31ee6ae059fd3c2ec1ffa38fabe0850d9808eaa8commit | diff
[mlir] GreedyPatternRewriteDriver: Fix termination criteria in OpPatternRewriteDriver

This driver should iterate until convergence or until the specified op was erased. However, it used to stop when any op was erased.

Differential Revision: https://reviews.llvm.org/D141921
mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp diff | blob | history
Domain: System / Toolchain;