https://github.com/kuhar commented: Thanks for writing this. I came up with a similar `arith` rewrite testing flow but never bothered to package it as a script, seems very useful! https://github.com/llvm/llvm-project/pull/91867