main/nss/nss_win.patch

1663  Hacl_Bignum_AddAndMultiply_add_and_multiply(uint32_t *acc, uint32_t *block, uint32_t *r)
1668          uint32_t xi = acc[i];
1670          acc[i] = xi + yi;
1687      Hacl_Bignum_AddAndMultiply_add_and_multiply(acc, tmp, r5);
1735  Hacl_Impl_Poly1305_32_poly1305_last_pass(uint32_t *acc)
1784      Hacl_Bignum_Fproduct_carry_limb_(acc);
1785      Hacl_Bignum_Modulo_carry_top(acc);
1786 -    uint32_t t0 = acc[0U];
1787 -    uint32_t t10 = acc[1U];
1788 -    uint32_t t20 = acc[2U];
1789 -    uint32_t t30 = acc[3U];
1790 -    uint32_t t40 = acc[4U];
1800 +    t0 = acc[0U];
1801 +    t10 = acc[1U];
1802 +    t20 = acc[2U];
1803 +    t30 = acc[3U];
1804 +    t40 = acc[4U];
1814      acc[0U] = t0_;
1815      acc[1U] = t1__;
1816      acc[2U] = t2__;
1817      acc[3U] = t3__;
1818      acc[4U] = t4_;
1819      Hacl_Bignum_Modulo_carry_top(acc);
1820 -    uint32_t t00 = acc[0U];
1821 -    uint32_t t1 = acc[1U];
1822 -    uint32_t t2 = acc[2U];
1823 -    uint32_t t3 = acc[3U];
1824 -    uint32_t t4 = acc[4U];
1833 +    t00 = acc[0U];
1834 +    t1 = acc[1U];
1835 +    t2 = acc[2U];
1836 +    t3 = acc[3U];
1837 +    t4 = acc[4U];
1846      acc[0U] = t0_0;
1847      acc[1U] = t1__0;
1848      acc[2U] = t2__0;
1849      acc[3U] = t3__0;
1850      acc[4U] = t4_0;
1851      Hacl_Bignum_Modulo_carry_top(acc);
1852 -    uint32_t i0 = acc[0U];
1853 -    uint32_t i1 = acc[1U];
1856 +    i0 = acc[0U];
1857 +    i1 = acc[1U];
1860      acc[0U] = i0_;
1861      acc[1U] = i1_;
1862 -    uint32_t a0 = acc[0U];
1863 -    uint32_t a1 = acc[1U];
1864 -    uint32_t a2 = acc[2U];
1865 -    uint32_t a3 = acc[3U];
1866 -    uint32_t a4 = acc[4U];
1878 +    a0 = acc[0U];
1879 +    a1 = acc[1U];
1880 +    a2 = acc[2U];
1881 +    a3 = acc[3U];
1882 +    a4 = acc[4U];
1894      acc[0U] = a0_;
1895      acc[1U] = a1_;
1896      acc[2U] = a2_;
1947 +    uint32_t *acc;
1953 -    uint32_t *acc = h;
1956 +    acc = h;
1957      Hacl_Impl_Poly1305_32_poly1305_last_pass(acc);
1967 +    uint32_t *acc;
1982 -    uint32_t *acc = h5;
1984 -    uint32_t h0 = acc[0U];
1985 -    uint32_t h1 = acc[1U];
1986 -    uint32_t h2 = acc[2U];
1987 -    uint32_t h3 = acc[3U];
1988 -    uint32_t h4 = acc[4U];
1993 +    acc = h5;
1995 +    h0 = acc[0U];
1996 +    h1 = acc[1U];
1997 +    h2 = acc[2U];
1998 +    h3 = acc[3U];
1999 +    h4 = acc[4U];
2040 +    uint32_t *acc;
2045 -    uint32_t *acc = h;
2048 +    acc = h;
2049      Hacl_Impl_Poly1305_32_poly1305_last_pass(acc);