[mlir][ods] Rework how transitive use of deprecated defs are handled
authorMarkus Böck <markus.boeck02@gmail.com>
Sun, 15 Jan 2023 13:52:14 +0000 (14:52 +0100)
committerMarkus Böck <markus.boeck02@gmail.com>
Sun, 15 Jan 2023 17:15:07 +0000 (18:15 +0100)
commit65684dc6a79315bb6ca9beb8e079775593c41fa0
tree4348984b4579da769aba6e55352375697cc07f96
parent1b2d34e28eb2b71446cb007ca649ecac64664586
[mlir][ods] Rework how transitive use of deprecated defs are handled

The code currently attempting to recursively find uses of a deprecated def has a few deficiences:
* It recurses into all def uses. This is problematic as it also causes any users of a def using a deprecated def, to be considered deprecated, causing a transitive chain of deprecated defs (see `H_ButNotTransitivelyInNonAnonymousDef` in test case for reproducer)
* It did not recurse into other kinds of fields, such as list and DAGs

This patch fixes the issue by reworking the code to properly recurse into inits and not to recurse into def uses unless they are anonymous defs. Since inits (including DAG, List and anonymous defs) are uniqued, the memoization is kept and remains profitable.

Differential Revision: https://reviews.llvm.org/D141794
mlir/lib/Tools/mlir-tblgen/MlirTblgenMain.cpp
mlir/test/mlir-tblgen/deprecation-transitive.td [new file with mode: 0644]