https://github.com/krzysz00 approved this pull request. Approved I suspect we can get `add` in a followup PR, as well as all the `arith.addi` that get incidentally produced by the lowering https://github.com/llvm/llvm-project/pull/121535