def Int.saturating_mul

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

import bend-kit-int@0.2.0.0/int.bend as Int

import Base

247def Int.saturating_mul(+n: Nat, +s: Bool, +a: Word(n), +b: Word(n)) ->
248  Word(n):
249  Int.saturate(n, s, Bool.and(s, Bool.xor(Int.msb(n, a), Int.msb(n, b))),
250    Int.mul_ov(n, s, a, b))

Uses (8)

Used by (2)