| ... | ... | @@ -252,7 +252,7 @@ pub fn Uint(comptime max_bits: comptime_int) type { |
| 252 | 252 | const n = acc.limbs_len; |
| 253 | 253 | var wide: [2 * max_limbs_count]Limb = undefined; |
| 254 | 254 | @memcpy(wide[0..n], acc.limbsConst()); |
| 255 | | addMulVV(wide[0 .. 2 * n], x.limbsConst(), y.limbsConst()); |
| 255 | mulAddWide(wide[0 .. 2 * n], x.limbsConst(), y.limbsConst()); |
| 256 | 256 | @memcpy(acc.limbs(), wide[0..n]); |
| 257 | 257 | return @intFromBool(!ct.eql(orLimbs(wide[n..][0..n]), 0)); |
| 258 | 258 | } |
| ... | ... | @@ -545,7 +545,7 @@ fn orLimbs(limbs: []const Limb) Limb { |
| 545 | 545 | } |
| 546 | 546 | |
| 547 | 547 | // Adds `x * y` to `z` and returns the carry. |
| 548 | | fn addMulVVW(z: []Limb, x: []const Limb, y: Limb) Limb { |
| 548 | fn mulAddLimb(z: []Limb, x: []const Limb, y: Limb) Limb { |
| 549 | 549 | assert(z.len == x.len); |
| 550 | 550 | var carry: Limb = 0; |
| 551 | 551 | for (z, x) |*z_limb, x_limb| { |
| ... | ... | @@ -561,10 +561,10 @@ fn addMulVVW(z: []Limb, x: []const Limb, y: Limb) Limb { |
| 561 | 561 | } |
| 562 | 562 | |
| 563 | 563 | // Adds `x * y` to the low `x.len` limbs of `z`. The upper limbs need no initialization. |
| 564 | | fn addMulVV(z: []Limb, x: []const Limb, y: []const Limb) void { |
| 564 | fn mulAddWide(z: []Limb, x: []const Limb, y: []const Limb) void { |
| 565 | 565 | assert(z.len == x.len + y.len); |
| 566 | 566 | for (y, 0..) |y_limb, i| { |
| 567 | | z[i + x.len] = addMulVVW(z[i..][0..x.len], x, y_limb); |
| 567 | z[i + x.len] = mulAddLimb(z[i..][0..x.len], x, y_limb); |
| 568 | 568 | } |
| 569 | 569 | } |
| 570 | 570 | |
Frank Denis <124872+jedisct1@users.noreply.github.com> 2026-09-28 11:49:15+02:00