[Mlir-commits] [mlir] [mlir][arith] Match folding of `arith.remf` to `llvm.frem` semantics (PR #96537)

[Jakub Kuderski]

================
@@ -1133,6 +1133,10 @@ def Arith_DivFOp : Arith_FloatBinaryOp<"divf"> {
 
 def Arith_RemFOp : Arith_FloatBinaryOp<"remf"> {
   let summary = "floating point division remainder operation";
+  let description = [{
+    The `arith.remf` operation returns the floating point division remainder
+    following the semantics of `llvm.frem`.
----------------
kuhar wrote:

We shouldn't define the op semantics in terms of lowering to llvm. Could you explain what this op does so that we don't have to cross-reference another IR?

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