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_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]);
@@ -437,7 +437,7 @@ pub fn mul(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEleme
437437/// 0 ≤ eval out1 < m
438438///
439439pub fn square(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement) void {
440 @setRuntimeSafety(mode == .Debug);
440 @setRuntimeSafety(mode == .debug);
441441
442442 const x1 = (arg1[1]);
443443 const x2 = (arg1[2]);
@@ -730,7 +730,7 @@ pub fn square(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEl
730730/// 0 ≤ eval out1 < m
731731///
732732pub fn add(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement, arg2: MontgomeryDomainFieldElement) void {
733 @setRuntimeSafety(mode == .Debug);
733 @setRuntimeSafety(mode == .debug);
734734
735735 var x1: u64 = undefined;
736736 var x2: u1 = undefined;
@@ -783,7 +783,7 @@ pub fn add(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEleme
783783/// 0 ≤ eval out1 < m
784784///
785785pub fn sub(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement, arg2: MontgomeryDomainFieldElement) void {
786 @setRuntimeSafety(mode == .Debug);
786 @setRuntimeSafety(mode == .debug);
787787
788788 var x1: u64 = undefined;
789789 var x2: u1 = undefined;
@@ -826,7 +826,7 @@ pub fn sub(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEleme
826826/// 0 ≤ eval out1 < m
827827///
828828pub fn opp(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement) void {
829 @setRuntimeSafety(mode == .Debug);
829 @setRuntimeSafety(mode == .debug);
830830
831831 var x1: u64 = undefined;
832832 var x2: u1 = undefined;
@@ -869,7 +869,7 @@ pub fn opp(out1: *MontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldEleme
869869/// 0 ≤ eval out1 < m
870870///
871871pub fn fromMontgomery(out1: *NonMontgomeryDomainFieldElement, arg1: MontgomeryDomainFieldElement) void {
872 @setRuntimeSafety(mode == .Debug);
872 @setRuntimeSafety(mode == .debug);
873873
874874 const x1 = (arg1[0]);
875875 var x2: u64 = undefined;
@@ -1022,7 +1022,7 @@ pub fn fromMontgomery(out1: *NonMontgomeryDomainFieldElement, arg1: MontgomeryDo
10221022/// 0 ≤ eval out1 < m
10231023///
10241024pub fn toMontgomery(out1: *MontgomeryDomainFieldElement, arg1: NonMontgomeryDomainFieldElement) void {
1025 @setRuntimeSafety(mode == .Debug);
1025 @setRuntimeSafety(mode == .debug);
10261026
10271027 const x1 = (arg1[1]);
10281028 const x2 = (arg1[2]);
@@ -1297,7 +1297,7 @@ pub fn toMontgomery(out1: *MontgomeryDomainFieldElement, arg1: NonMontgomeryDoma
12971297/// Output Bounds:
12981298/// out1: [0x0 ~> 0xffffffffffffffff]
12991299pub fn nonzero(out1: *u64, arg1: [4]u64) void {
1300 @setRuntimeSafety(mode == .Debug);
1300 @setRuntimeSafety(mode == .debug);
13011301
13021302 const x1 = ((arg1[0]) | ((arg1[1]) | ((arg1[2]) | (arg1[3]))));
13031303 out1.* = x1;
@@ -1315,7 +1315,7 @@ pub fn nonzero(out1: *u64, arg1: [4]u64) void {
13151315/// Output Bounds:
13161316/// out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
13171317pub fn selectznz(out1: *[4]u64, arg1: u1, arg2: [4]u64, arg3: [4]u64) void {
1318 @setRuntimeSafety(mode == .Debug);
1318 @setRuntimeSafety(mode == .debug);
13191319
13201320 var x1: u64 = undefined;
13211321 cmovznzU64(&x1, arg1, (arg2[0]), (arg3[0]));
@@ -1343,7 +1343,7 @@ pub fn selectznz(out1: *[4]u64, arg1: u1, arg2: [4]u64, arg3: [4]u64) void {
13431343/// Output Bounds:
13441344/// 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]]
13451345pub fn toBytes(out1: *[32]u8, arg1: [4]u64) void {
1346 @setRuntimeSafety(mode == .Debug);
1346 @setRuntimeSafety(mode == .debug);
13471347
13481348 const x1 = (arg1[3]);
13491349 const x2 = (arg1[2]);
@@ -1452,7 +1452,7 @@ pub fn toBytes(out1: *[32]u8, arg1: [4]u64) void {
14521452/// Output Bounds:
14531453/// out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
14541454pub fn fromBytes(out1: *[4]u64, arg1: [32]u8) void {
1455 @setRuntimeSafety(mode == .Debug);
1455 @setRuntimeSafety(mode == .debug);
14561456
14571457 const x1 = (@as(u64, (arg1[31])) << 56);
14581458 const x2 = (@as(u64, (arg1[30])) << 48);
@@ -1527,7 +1527,7 @@ pub fn fromBytes(out1: *[4]u64, arg1: [32]u8) void {
15271527/// 0 ≤ eval out1 < m
15281528///
15291529pub fn setOne(out1: *MontgomeryDomainFieldElement) void {
1530 @setRuntimeSafety(mode == .Debug);
1530 @setRuntimeSafety(mode == .debug);
15311531
15321532 out1[0] = @as(u64, 0x1);
15331533 out1[1] = 0xffffffff00000000;
@@ -1544,7 +1544,7 @@ pub fn setOne(out1: *MontgomeryDomainFieldElement) void {
15441544/// Output Bounds:
15451545/// out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
15461546pub fn msat(out1: *[5]u64) void {
1547 @setRuntimeSafety(mode == .Debug);
1547 @setRuntimeSafety(mode == .debug);
15481548
15491549 out1[0] = 0xffffffffffffffff;
15501550 out1[1] = 0xffffffff;
@@ -1582,7 +1582,7 @@ pub fn msat(out1: *[5]u64) void {
15821582/// out4: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
15831583/// out5: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
15841584pub 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 {
1585 @setRuntimeSafety(mode == .Debug);
1585 @setRuntimeSafety(mode == .debug);
15861586
15871587 var x1: u64 = undefined;
15881588 var x2: u1 = undefined;
@@ -1816,7 +1816,7 @@ pub fn divstep(out1: *u64, out2: *[5]u64, out3: *[5]u64, out4: *[4]u64, out5: *[
18161816/// Output Bounds:
18171817/// out1: [[0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff], [0x0 ~> 0xffffffffffffffff]]
18181818pub fn divstepPrecomp(out1: *[4]u64) void {
1819 @setRuntimeSafety(mode == .Debug);
1819 @setRuntimeSafety(mode == .debug);
18201820
18211821 out1[0] = 0x67ffffffb8000000;
18221822 out1[1] = 0xc000000038000000;