Skip to content

Commit

Permalink
Auto merge of #3192 - eduardosm:x86-avx-intrinsics, r=RalfJung
Browse files Browse the repository at this point in the history 
Implement x86 AVX intrinsics

~Blocked on <https://github.com/rust-lang/miri/pull/3214>~
  • Loading branch information
@bors
bors committed Feb 16, 2024
2 parents c335b4e + 524c16d commit d2a4ef3
Show file tree
Hide file tree
Showing 3 changed files with 1,844 additions and 50 deletions.
Loading

0 comments on commit d2a4ef3

Please sign in to comment.