[Mlir-commits] [mlir] [mlir][arith] new integration tests from independent interpreter development (PR #92272)

[Fehr Mathieu]

https://github.com/math-fehr commented:

Nice!
Quick question, what kind of bugs did you find in the canonicalization patterns and the lowerings?
Do you have issues/PR for them already?

Also, is your fuzzer/semantics open-source somewhere? It would be interesting for me to see them, to compare them with the one I currently have for arith (https://github.com/opencompl/xdsl-smt/blob/main/xdsl_smt/semantics/arith_semantics.py)

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