Home
last modified time | relevance | path

Searched refs:mulWide (Results 1 – 9 of 9) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/bv-sized-1.0.2/src/Data/BitVector/
H A DSized.hs92 , mulWide
/dports/lang/zig-devel/zig-0.9.0/lib/std/hash/
H A Dwyhash.zig22 var r = std.math.mulWide(u64, a, b);
/dports/lang/zig/zig-0.9.0/lib/std/hash/
H A Dwyhash.zig22 var r = std.math.mulWide(u64, a, b);
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/bv-sized-1.0.2/src/Data/BitVector/Sized/
H A DInternal.hs857 mulWide :: NatRepr w -> NatRepr w' -> BV w -> BV w' -> BV (w+w')
858 mulWide w w' (BV x) (BV y) = checkNatRepr (w `addNat` w') $ BV (x*y) function
/dports/lang/zig-devel/zig-0.9.0/lib/std/
H A Dmath.zig1279 pub fn mulWide(comptime T: type, a: T, b: T) std.meta.Int(
1290 test "math.mulWide" {
1291 try testing.expect(mulWide(u8, 5, 5) == 25);
1292 try testing.expect(mulWide(i8, 5, -5) == -25);
1293 try testing.expect(mulWide(u8, 100, 100) == 10000);
/dports/lang/zig/zig-0.9.0/lib/std/
H A Dmath.zig1279 pub fn mulWide(comptime T: type, a: T, b: T) std.meta.Int(
1290 test "math.mulWide" {
1291 try testing.expect(mulWide(u8, 5, 5) == 25);
1292 try testing.expect(mulWide(i8, 5, -5) == -25);
1293 try testing.expect(mulWide(u8, 100, 100) == 10000);
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/bv-sized-1.0.2/test/
H A DMain.hs629 let BV.BV x = BV.mulWide w w' bv bv'
/dports/lang/zig-devel/zig-0.9.0/lib/std/math/big/
H A Dint.zig76 const bc = @as(DoubleLimb, math.mulWide(Limb, b, c));
97 const bc = @as(DoubleLimb, std.math.mulWide(Limb, b, c));
/dports/lang/zig/zig-0.9.0/lib/std/math/big/
H A Dint.zig76 const bc = @as(DoubleLimb, math.mulWide(Limb, b, c));
97 const bc = @as(DoubleLimb, std.math.mulWide(Limb, b, c));