Catching NaN at the MLIR Pass Boundary | The Cloudlet
thecloudlet.github.io
How operation verifiers catch invalid floating-point attributes at compiler pass boundaries before they reach the runtime.