main/nss/nss_win.patch

638  Hacl_Lib_LoadStore32_uint32s_from_le_bytes(uint32_t *output, uint8_t *input, uint32_t len)
645          output[i] = inputi;
648  Hacl_Lib_LoadStore32_uint32s_to_le_bytes(uint8_t *output, uint32_t *input, uint32_t len)
654          uint8_t *x0 = output + (uint32_t)4U * i;
768          output[i] = xi ^ yi;
777          uint8_t *o = output + (uint32_t)64U * i;
978  Hacl_Impl_Chacha20_Vec128_update_last(uint8_t *output, uint8_t *plain, uint32_t len, vec *st)
990          output[i] = xi ^ yi;
993  Hacl_Impl_Chacha20_Vec128_update(uint8_t *output, uint8_t *plain, vec *st)
1003      Hacl_Impl_Chacha20_Vec128_xor_block(output, plain, k);
1006  Hacl_Impl_Chacha20_Vec128_update3(uint8_t *output, uint8_t *plain, vec *st)
1037 -    uint8_t *o0 = output;
1038 -    uint8_t *o1 = output + (uint32_t)64U;
1039 -    uint8_t *o2 = output + (uint32_t)128U;
1043 +    o0 = output;
1044 +    o1 = output + (uint32_t)64U;
1045 +    o2 = output + (uint32_t)128U;
1056          Hacl_Impl_Chacha20_Vec128_update3_(output, plain, len, st, i);
1074      Hacl_Impl_Chacha20_Vec128_chacha20_counter_mode(output, plain, len, st);
1091  Hacl_Bignum_Fmul_shift_reduce(uint64_t *output)
1093      uint64_t tmp = output[4U];
1097          uint64_t z = output[ctr - (uint32_t)1U];
1099          output[ctr] = z;
1101      output[0U] = tmp;
1102 -    uint64_t b0 = output[0U];
1103 +    b0 = output[0U];
1104      output[0U] = (uint64_t)19U * b0;
1108  Hacl_Bignum_Fmul_mul_shift_reduce_(FStar_UInt128_t *output, uint64_t *input, uint64_t *input21)
1114          Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i);
1116          Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i);
1123      Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i);
1127  Hacl_Bignum_Fmul_fmul(uint64_t *output, uint64_t *input, uint64_t *input21)
1163      Hacl_Bignum_Fproduct_copy_from_wide_(output, t);
1164 -    uint64_t i0 = output[0U];
1165 -    uint64_t i1 = output[1U];
1168 +    i0 = output[0U];
1169 +    i1 = output[1U];
1172      output[0U] = i0_;
1173      output[1U] = i1_;
1216  Hacl_Bignum_Fsquare_fsquare_(FStar_UInt128_t *tmp, uint64_t *output)
1226      Hacl_Bignum_Fsquare_fsquare__(tmp, output);
1243      Hacl_Bignum_Fproduct_copy_from_wide_(output, tmp);
1244 -    uint64_t i0 = output[0U];
1245 -    uint64_t i1 = output[1U];
1248 +    i0 = output[0U];
1249 +    i1 = output[1U];
1252      output[0U] = i0_;
1253      output[1U] = i1_;
1267  Hacl_Bignum_Fsquare_fsquare_times(uint64_t *output, uint64_t *input, uint32_t count1)
1276      memcpy(output, input, (uint32_t)5U * sizeof input[0U]);
1277      Hacl_Bignum_Fsquare_fsquare_times_(output, t, count1);
1280  Hacl_Bignum_Fsquare_fsquare_times_inplace(uint64_t *output, uint32_t count1)
1289      Hacl_Bignum_Fsquare_fsquare_times_(output, t, count1);
1358  Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s)
1568  Hacl_Bignum_Fproduct_copy_from_wide_(uint32_t *output, uint64_t *input)
1574          output[i] = (uint32_t)xi;
1578  Hacl_Bignum_Fproduct_sum_scalar_multiplication_(uint64_t *output, uint32_t *input, uint32_t s)
1583          uint64_t xi = output[i];
1607  Hacl_Bignum_Fmul_shift_reduce(uint32_t *output)
1609      uint32_t tmp = output[4U];
1614          uint32_t z = output[ctr - (uint32_t)1U];
1615          output[ctr] = z;
1618  Hacl_Bignum_Fmul_mul_shift_reduce_(uint64_t *output, uint32_t *input, uint32_t *input2)
1625          Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i);
1632      Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i);
1636  Hacl_Bignum_Fmul_fmul(uint32_t *output, uint32_t *input, uint32_t *input2)
1649      Hacl_Bignum_Fproduct_copy_from_wide_(output, t);
1650 -    uint32_t i0 = output[0U];
1651 -    uint32_t i1 = output[1U];
1654 +    i0 = output[0U];
1655 +    i1 = output[1U];
1658      output[0U] = i0_;
1659      output[1U] = i1_;
2010      store128_le(output, mac_);