def I32.saturating_mul

bend-kit-int@0.2.0.0 · int.bend:1345

import Base

1345def I32.saturating_mul(a: I32, b: I32) -> I32:
1346  match a b:
1347    case I32{x} I32{y}:
1348      +v = {x : U32}
1349      +w = {y : U32}
1350      I32{S32.saturate(Bool.xor(S32.is_neg(v), S32.is_neg(w)), S32.mul_ov(v, w))}