LLVM has range flags and things like nnan that could in theory be used to replace a minimum intrinsic into a minimumnum (iirc x86 has a instruction for the latter but not the former) https://llvm.org/docs/LangRef.html#floating-point-min-max-in... I'm not sure if the optimizations use this but in theory they could

Sounds similar to https://mlir.llvm.org/

> Pattern types could potentially maybe in the future allow for the compiler to know more details though.

Thanks, I’ll take a look!