Implement LLVM x86 AVX2 intrinsics

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.39k stars 340 forks source link

Implement LLVM x86 AVX2 intrinsics #3492

Closed eduardosm closed 5 months ago

oli-obk commented 5 months ago

My hope was that we'd implement them in libstd as fallback bodies instead (https://github.com/rust-lang/miri/issues/3397), but I guess now that we have a shim impl and tests, doing that would be simpler as we have some help against messing up the fallback bodies

oli-obk commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit a79b1f1f5348ff74bcda4fb94aa42b626f8f23bf has been approved by oli-obk

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit a79b1f1f5348ff74bcda4fb94aa42b626f8f23bf with merge 9d6623e7e66e3b36a912ddc3c61eca965b1d2f4f...

bors commented 5 months ago

:sunny: Test successful - checks-actions Approved by: oli-obk Pushing 9d6623e7e66e3b36a912ddc3c61eca965b1d2f4f to master...