worthlane wrote: Not sure what the explicit rounding mode should mean for `arith.remf` at the arith dialect level. The current implementation mostly forwards it to constrained `frem`. https://github.com/llvm/llvm-project/pull/194126