Add a more complete example to mlir-reduce docs#116085

j2kun wants to merge 1 commit intollvm:mainllvm/llvm-project:mainfrom

j2kun:mlir-reduce-docsj2kun/llvm-project:mlir-reduce-docsCopy head branch name to clipboard