triton.language.expect_zero

triton.language.expect_zero(x, mask, _semantic=None)

Mark values that are expected to have underflowed to zero.

In regular compilation this preserves x. Debug builds assert that x is zero wherever mask is true. Under FPSAN this becomes where(mask, 0, x) so sanitized execution observes the intended floating-point underflow.

Parameters:

• x – values to preserve outside FPSAN mode.

• mask – positions where x is expected to be zero.