[Mlir-commits] [llvm] [mlir] [mlir] Reland SymbolUserTypeInterface with verification proportional to participating IR (PR #212354)

[Jared Hoberock]

jaredhoberock wrote:

Rebased onto current main, and now the branch begins with the reland of #198435. I'm not proposing to land this draft, just housekeeping this PR.

Also, the synthetic (and AI-generated) benchmark suite I've been using is [here](https://github.com/jaredhoberock/mlir-symbol-verification-bench) in case it is useful. It now includes the before-the-interface baseline. The regression factor is 1.7x-3.3x across test program shapes on my machine.

> The real workload, no, it's a private design.
@dtzSiFive no worries, your kind-bits prototype should be able to run on the public benchmark suite without issue. `./bench.sh /path/to/your/mlir-opt` adds it to the comparison.

https://github.com/llvm/llvm-project/pull/212354