ReviewOS
Reload

also looking at this

zig-utils/zig-tls

Track latest Zig 0.17-dev OptimizeMode API

#8
Merged chris wants to merge codex/zig-017-latest into main
11 files +51 -51
src/crypto/p256/p256_scalar_64.zigmodified+17-17
@@ -110,7 +110,7 @@ fn subborrowxU64(out1: *u64, out2: *u1, arg1: u1, arg2: u64, arg3: u64) void {
110110/// out1: [0x0 ~> 0xffffffffffffffff]
111111/// out2: [0x0 ~> 0xffffffffffffffff]
112112fn mulxU64(out1: *u64, out2: *u64, arg1: u64, arg2: u64) void {
113 @setRuntimeSafety(mode == .Debug);
113 @setRuntimeSafety(mode == .debug);
114114
115115 const x = @as(u128, arg1) * @as(u128, arg2);
116116 out1.* = @as(u64, @truncate(x));
@@ -129,7 +129,7 @@ fn mulxU64(out1: *u64, out2: *u64, arg1: u64, arg2: u64) void {
129129/// Output Bounds:
130130/// out1: [0x0 ~> 0xffffffffffffffff]
131131fn cmovznzU64(out1: *u64, arg1: u1, arg2: u64, arg3: u64) void {
132 @setRuntimeSafety(mode == .Debug);
132 @setRuntimeSafety(mode == .debug);
133133
134134 const mask = 0 -% @as(u64, arg1);
135135 out1.* = (mask & arg3) | ((~mask) & arg2);
@@ -145,7 +145,7 @@ fn cmovznzU64(out1: *u64, arg1: u1, arg2: u64, arg3: u64) void {
145145/// 0 ≤ eval out1 < m
146146///
147147pub fn mul(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement, arg2: MontgomeryDomainFieldElement) void {
148 @setRuntimeSafety(mode == .Debug);
148 @setRuntimeSafety(mode == .debug);
149149
150150 const x1 = (arg1[1]);
151151 const x2 = (arg1[2]);
@@ -485,7 +485,7 @@ pub fn mul(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEleme
485485/// 0 ≤ eval out1 < m
486486///
487487pub fn square(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement) void {
488 @setRuntimeSafety(mode == .Debug);
488 @setRuntimeSafety(mode == .debug);
489489
490490 const x1 = (arg1[1]);
491491 const x2 = (arg1[2]);
@@ -826,7 +826,7 @@ pub fn square(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEl
826826/// 0 ≤ eval out1 < m
827827///
828828pub fn add(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement, arg2: MontgomeryDomainFieldElement) void {
829 @setRuntimeSafety(mode == .Debug);
829 @setRuntimeSafety(mode == .debug);
830830
831831 var x1: u64 = undefined;
832832 var x2: u1 = undefined;
@@ -879,7 +879,7 @@ pub fn add(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEleme
879879/// 0 ≤ eval out1 < m
880880///
881881pub fn sub(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement, arg2: MontgomeryDomainFieldElement) void {
882 @setRuntimeSafety(mode == .Debug);
882 @setRuntimeSafety(mode == .debug);
883883
884884 var x1: u64 = undefined;
885885 var x2: u1 = undefined;
@@ -922,7 +922,7 @@ pub fn sub(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEleme
922922/// 0 ≤ eval out1 < m
923923///
924924pub fn opp(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement) void {
925 @setRuntimeSafety(mode == .Debug);
925 @setRuntimeSafety(mode == .debug);
926926
927927 var x1: u64 = undefined;
928928 var x2: u1 = undefined;
@@ -965,7 +965,7 @@ pub fn opp(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEleme
965965/// 0 ≤ eval out1 < m
966966///
967967pub fn fromMontgomery(out1: *NonMontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement) void {
968 @setRuntimeSafety(mode == .Debug);
968 @setRuntimeSafety(mode == .debug);
969969
970970 const x1 = (arg1[0]);
971971 var x2: u64 = undefined;
@@ -1178,7 +1178,7 @@ pub fn fromMontgomery(out1: *NonMontgomeryDomainFieldElement, arg1: MontgomeryDo
11781178/// 0 ≤ eval out1 < m
11791179///
11801180pub fn toMontgomery(out1: *MontgomeryDomainFieldElement, arg1: NonMontgomeryDomainFieldElement) void {
1181 @setRuntimeSafety(mode == .Debug);
1181 @setRuntimeSafety(mode == .debug);
11821182
11831183 const x1 = (arg1[1]);
11841184 const x2 = (arg1[2]);
@@ -1501,7 +1501,7 @@ pub fn toMontgomery(out1: *MontgomeryDomainFieldElement, arg1: NonMontgomeryDoma
15011501/// Output Bounds:
15021502/// out1: [0x0 ~> 0xffffffffffffffff]
15031503pub fn nonzero(out1: *u64, arg1: [4]u64) void {
1504 @setRuntimeSafety(mode == .Debug);
1504 @setRuntimeSafety(mode == .debug);
15051505
15061506 const x1 = ((arg1[0]) | ((arg1[1]) | ((arg1[2]) | (arg1[3]))));
15071507 out1.* = x1;
@@ -1519,7 +1519,7 @@ pub fn nonzero(out1: *u64, arg1: [4]u64) void {
15191519/// Output Bounds:
15201520/// out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
15211521pub fn selectznz(out1: *[4]u64, arg1: u1, arg2: [4]u64, arg3: [4]u64) void {
1522 @setRuntimeSafety(mode == .Debug);
1522 @setRuntimeSafety(mode == .debug);
15231523
15241524 var x1: u64 = undefined;
15251525 cmovznzU64(&x1, arg1, (arg2[0]), (arg3[0]));
@@ -1547,7 +1547,7 @@ pub fn selectznz(out1: *[4]u64, arg1: u1, arg2: [4]u64, arg3: [4]u64) void {
15471547/// Output Bounds:
15481548/// out1: [[0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff], [0x0 ~> 0xff]]
15491549pub fn toBytes(out1: *[32]u8, arg1: [4]u64) void {
1550 @setRuntimeSafety(mode == .Debug);
1550 @setRuntimeSafety(mode == .debug);
15511551
15521552 const x1 = (arg1[3]);
15531553 const x2 = (arg1[2]);
@@ -1656,7 +1656,7 @@ pub fn toBytes(out1: *[32]u8, arg1: [4]u64) void {
16561656/// Output Bounds:
16571657/// out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
16581658pub fn fromBytes(out1: *[4]u64, arg1: [32]u8) void {
1659 @setRuntimeSafety(mode == .Debug);
1659 @setRuntimeSafety(mode == .debug);
16601660
16611661 const x1 = (@as(u64, (arg1[31])) << 56);
16621662 const x2 = (@as(u64, (arg1[30])) << 48);
@@ -1731,7 +1731,7 @@ pub fn fromBytes(out1: *[4]u64, arg1: [32]u8) void {
17311731/// 0 ≤ eval out1 < m
17321732///
17331733pub fn setOne(out1: *MontgomeryDomainFieldElement) void {
1734 @setRuntimeSafety(mode == .Debug);
1734 @setRuntimeSafety(mode == .debug);
17351735
17361736 out1[0] = 0xc46353d039cdaaf;
17371737 out1[1] = 0x4319055258e8617b;
@@ -1748,7 +1748,7 @@ pub fn setOne(out1: *MontgomeryDomainFieldElement) void {
17481748/// Output Bounds:
17491749/// out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
17501750pub fn msat(out1: *[5]u64) void {
1751 @setRuntimeSafety(mode == .Debug);
1751 @setRuntimeSafety(mode == .debug);
17521752
17531753 out1[0] = 0xf3b9cac2fc632551;
17541754 out1[1] = 0xbce6faada7179e84;
@@ -1786,7 +1786,7 @@ pub fn msat(out1: *[5]u64) void {
17861786/// out4: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
17871787/// out5: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
17881788pub fn divstep(out1: *u64, out2: *[5]u64, out3: *[5]u64, out4: *[4]u64, out5: *[4]u64, arg1: u64, arg2: [5]u64, arg3: [5]u64, arg4: [4]u64, arg5: [4]u64) void {
1789 @setRuntimeSafety(mode == .Debug);
1789 @setRuntimeSafety(mode == .debug);
17901790
17911791 var x1: u64 = undefined;
17921792 var x2: u1 = undefined;
@@ -2020,7 +2020,7 @@ pub fn divstep(out1: *u64, out2: *[5]u64, out3: *[5]u64, out4: *[4]u64, out5: *[
20202020/// Output Bounds:
20212021/// out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
20222022pub fn divstepPrecomp(out1: *[4]u64) void {
2023 @setRuntimeSafety(mode == .Debug);
2023 @setRuntimeSafety(mode == .debug);
20242024
20252025 out1[0] = 0xd739262fb7fcfbb5;
20262026 out1[1] = 0x8ac6f75d20074414;