Faster AVX512

[spapinistarkware]

This change is 

[spapinistarkware]

Current dependencies on/for this PR:

• Faster AVX512 #405 👈
• dev

This stack of pull requests is managed by Graphite.

[ilyalesokhin-starkware]

src/core/fields/avx512_m31.rs line 101 at r2 (raw file):

            let rm_m_p = _mm512_sub_epi32(rm, P);

            Self(_mm512_min_epu32(rm, rm_m_p))

this is add_mod_pm right?

Code quote:

            let rm = _mm512_add_epi32(rm_l, rm_h);
            let rm_m_p = _mm512_sub_epi32(rm, P);

            Self(_mm512_min_epu32(rm, rm_m_p))

[ilyalesokhin-starkware]

Reviewed 1 of 4 files at r2.
Reviewable status: 1 of 4 files reviewed, 1 unresolved discussion (waiting on @shaharsamocha7 and @spapinistarkware)

[spapinistarkware]

Reviewable status: 1 of 4 files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware and @shaharsamocha7)

---

src/core/fields/avx512_m31.rs line 101 at r2 (raw file):

Previously, ilyalesokhin-starkware wrote…

this is add_mod_pm right?

Yes, but it's a different PR stack. The intention is to use this one in the butterfly code. I better move the docs here though...

[spapinistarkware]

Reviewable status: 0 of 4 files reviewed, 3 unresolved discussions (waiting on @ilyalesokhin-starkware and @shaharsamocha7)

---

src/core/fields/avx512_m31.rs line 32 at r2 (raw file):

    }

    pub fn reduce(self) -> M31AVX512 {

Document

---

src/core/fields/avx512_m31.rs line 70 at r2 (raw file):

    #[inline(always)]
    fn mul(self, rhs: Self) -> Self::Output {

Document

[ilyalesokhin-starkware]

Reviewed 1 of 4 files at r2, 2 of 3 files at r3, 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @shaharsamocha7)