[Mlir-commits] [mlir] Add a more complete example to mlir-reduce docs (PR #116085)

[lonely eagle]

linuxlonelyeagle wrote:

> I updated the test in [da86256](https://github.com/llvm/llvm-project/pull/116085/commits/da862562f92730dedb73d980989ca67f799b103d) so that it does work at HEAD

Did I miss something? Does this test already run successfully on the main branch even without this fix?

Well, I believe this fix is a crucial piece of the puzzle. I’ve been reflecting on the design of the reduce tool for quite some time, and this was one of the core issues I identified.

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