Tracking Issue for Missing BMI1, AVX2, SSE2, SSE4.1, SSE4a and TBM intrinsics

[sayantn]

The feature gate is #[feature(simd_x86_updates)].

The Public API is 13 new intrinsics (probably overlooked in the simd_x86 feature). See rust-lang/stdarch#1178.

• BMI1

  • _tzcnt_u16

• AVX2

  • _mm_broadcastsi128_si256
  • _mm256_stream_load_si256

• SSE2

  • _mm_loadu_si16
  • _mm_storeu_si16
  • _mm_loadu_si32
  • _mm_storeu_si32
  • _mm_storeu_si64

• SSE4.1

  • _mm_stream_load_si128

• SSE4a

  • _mm_extracti_si64
  • _mm_inserti_si64

• TBM

  • _bextri_u32
  • _bextri_u64

Steps

• Final Comment Period (FCP)
• Stabilization PR

Implementation History

• Various Fixes and enhancements in x86 intrinsics stdarch#1594
• Implement missing sse4a and tbm intrinsics stdarch#1607

We cannot add _mm_malloc and _mm_free as they need access to OS, but core_arch is a no_std environment.

[Amanieu]

These intrinsics were supposed to be part of a already-stabilized set, but were previously overlooked.

@rfcbot fcp merge

[rfcbot]

Team member @Amanieu has proposed to merge this. The next step is review by the rest of the tagged team members:

• @Amanieu
• @BurntSushi
• @dtolnay
• @joshtriplett
• @m-ou-se

No concerns currently listed.

Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!

See this document for info about what commands tagged team members can give me.

[rfcbot]

🔔 This is now entering its final comment period, as per the review above. 🔔

[RalfJung]

Oh no, more non-temporal operations... quoting from a recent x86 memory model paper:

In addition to several non-temporal store instructions, Intel-x86 architectures provide a single
non-temporal load instruction. However, as our private correspondence with the lead architect of
the Intel instruction set system architecture has revealed, the non-temporal load instruction has
been a source of implementation issues, it has not been implemented consistently, and there has
been ambiguity regarding its semantics.

Are we sure we can just pretend that those are regular loads, for the purpose of language semantics?