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 D | Sized.hs | 92 , mulWide
|
/dports/lang/zig-devel/zig-0.9.0/lib/std/hash/ |
H A D | wyhash.zig | 22 var r = std.math.mulWide(u64, a, b);
|
/dports/lang/zig/zig-0.9.0/lib/std/hash/ |
H A D | wyhash.zig | 22 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 D | Internal.hs | 857 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 D | math.zig | 1279 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 D | math.zig | 1279 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 D | Main.hs | 629 let BV.BV x = BV.mulWide w w' bv bv'
|
/dports/lang/zig-devel/zig-0.9.0/lib/std/math/big/ |
H A D | int.zig | 76 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 D | int.zig | 76 const bc = @as(DoubleLimb, math.mulWide(Limb, b, c)); 97 const bc = @as(DoubleLimb, std.math.mulWide(Limb, b, c));
|