nir/algebraic: Recognize open-coded flrp(a, b, fsat(c))