main/nss/nss_win.patch

391  FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
395 -            .low = a.low + b.low,
396 -            .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) });
398 +    ret.low = a.low + b.low;
399 +    ret.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low);
404  FStar_UInt128_add_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
408 -            .low = a.low + b.low,
409 -            .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) });
411 +    ret.low = a.low + b.low;
412 +    ret.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low);
417  FStar_UInt128_sub(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
421 -            .low = a.low - b.low,
422 -            .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) });
424 +    ret.low = a.low - b.low;
425 +    ret.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low);
430  FStar_UInt128_sub_mod_impl(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
434 -            .low = a.low - b.low,
435 -            .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) });
437 +    ret.low = a.low - b.low;
438 +    ret.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low);
445  FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
447 -    return ((FStar_UInt128_uint128){.low = a.low & b.low, .high = a.high & b.high });
449 +    ret.low = a.low & b.low;
450 +    ret.high = a.high & b.high;
455  FStar_UInt128_logxor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
457 -    return ((FStar_UInt128_uint128){.low = a.low ^ b.low, .high = a.high ^ b.high });
459 +    ret.low = a.low ^ b.low;
460 +    ret.high = a.high ^ b.high;
465  FStar_UInt128_logor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
467 -    return ((FStar_UInt128_uint128){.low = a.low | b.low, .high = a.high | b.high });
469 +    ret.low = a.low | b.low;
470 +    ret.high = a.high | b.high;
475  FStar_UInt128_lognot(FStar_UInt128_uint128 a)
477 -    return ((FStar_UInt128_uint128){.low = ~a.low, .high = ~a.high });
479 +    ret.low = ~a.low;
480 +    ret.high = ~a.high;
487  FStar_UInt128_shift_left_small(FStar_UInt128_uint128 a, uint32_t s)
491          return a;
495 -                .low = a.low << s,
496 -                .high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s) });
498 +        ret.low = a.low << s;
499 +        ret.high = FStar_UInt128_add_u64_shift_left_respec(a.high, a.low, s);
505  FStar_UInt128_shift_left_large(FStar_UInt128_uint128 a, uint32_t s)
507 -    return ((FStar_UInt128_uint128){.low = (uint64_t)0U, .high = a.low << (s - FStar_UInt128_u32_6…
510 +    ret.high = a.low << (s - FStar_UInt128_u32_64);
517  FStar_UInt128_shift_right_small(FStar_UInt128_uint128 a, uint32_t s)
521          return a;
525 -                .low = FStar_UInt128_add_u64_shift_right_respec(a.high, a.low, s),
526 -                .high = a.high >> s });
528 +        ret.low = FStar_UInt128_add_u64_shift_right_respec(a.high, a.low, s);
529 +        ret.high = a.high >> s;
535  FStar_UInt128_shift_right_large(FStar_UInt128_uint128 a, uint32_t s)
537 -    return ((FStar_UInt128_uint128){.low = a.high >> (s - FStar_UInt128_u32_64), .high = (uint64_t…
539 +    ret.low = a.high >> (s - FStar_UInt128_u32_64);
547  FStar_UInt128_eq_mask(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
551 -            .low = FStar_UInt64_eq_mask(a.low, b.low) & FStar_UInt64_eq_mask(a.high, b.high),
552 -            .high = FStar_UInt64_eq_mask(a.low, b.low) & FStar_UInt64_eq_mask(a.high, b.high) });
554 +    ret.low = FStar_UInt64_eq_mask(a.low, b.low) & FStar_UInt64_eq_mask(a.high, b.high);
555 +    ret.high = FStar_UInt64_eq_mask(a.low, b.low) & FStar_UInt64_eq_mask(a.high, b.high);
560  FStar_UInt128_gte_mask(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b)
564 …Int64_gte_mask(a.high, b.high) & ~FStar_UInt64_eq_mask(a.high, b.high)) | (FStar_UInt64_eq_mask(a.…
565 …Int64_gte_mask(a.high, b.high) & ~FStar_UInt64_eq_mask(a.high, b.high)) | (FStar_UInt64_eq_mask(a.…
567 …Int64_gte_mask(a.high, b.high) & ~FStar_UInt64_eq_mask(a.high, b.high)) | (FStar_UInt64_eq_mask(a.…
568 …Int64_gte_mask(a.high, b.high) & ~FStar_UInt64_eq_mask(a.high, b.high)) | (FStar_UInt64_eq_mask(a.…
573  FStar_UInt128_uint64_to_uint128(uint64_t a)
575 -    return ((FStar_UInt128_uint128){.low = a, .high = (uint64_t)0U });
577 +    ret.low = a;
658      uint32_t sa = st[a];
678      st[a] = sa + sb0;
680 -    uint32_t sa10 = st[a];
683 +    sa10 = st[a];
698 -    uint32_t sa2 = st[a];
700 +    sa2 = st[a];
702      st[a] = sa2 + sb2;
704 -    uint32_t sa12 = st[a];
707 +    sa12 = st[a];
797 +    uint8_t *a;
805 -    uint8_t *a = stream_block;
809 +    a = stream_block;
813      vec_store_le(a, k0);
1292      uint64_t *a = buf;
1302      Hacl_Bignum_Fsquare_fsquare_times(a, z, (uint32_t)1U);
1303      Hacl_Bignum_Fsquare_fsquare_times(t00, a, (uint32_t)2U);
1306      Hacl_Bignum_Fsquare_fsquare_times(t00, a, (uint32_t)1U);
1334  Hacl_Bignum_fdifference(uint64_t *a, uint64_t *b)
1392  Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr)
1396          Hacl_EC_Point_swap_conditional_step(a, b, swap1, ctr);
1399          Hacl_EC_Point_swap_conditional_(a, b, swap1, i);
2180  /* Combine the epoch and sequence number into a single value. */
2485       * SECItems are prepended with a 64-bit length field followed by the bytes.
2486       * Optional bytes are encoded as a 0-length item if not present.