gysit wrote: > @gysit FYI, in case you did not see it: https://discourse.llvm.org/t/rfc-mlir-new-representation-of-floating-point-constraints/91123 I obviously didn't :) https://github.com/llvm/llvm-project/pull/205158