From e2be0cbf24117ccfe59f11e66c531264358941e8 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 22 Dec 2025 17:19:41 +0100 Subject: [PATCH] mention AVX-512 support --- personal/_posts/2025-12-22-miri.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/personal/_posts/2025-12-22-miri.md b/personal/_posts/2025-12-22-miri.md index 00fb7ff..3966d43 100644 --- a/personal/_posts/2025-12-22-miri.md +++ b/personal/_posts/2025-12-22-miri.md @@ -41,7 +41,7 @@ The following list attempts to summarize which shims have been added to Miri sin - Support for various new file descriptor kinds on Unix and specifically Linux, such as `socketpair`, `pipe`, and `eventfd` (by @DebugSteven, @tiif, @RalfJung, @FrankReh). - Support for Linux `epoll` (by @tiif with some groundwork and extensions by @DebugSteven, @FrankReh, @RalfJung). - Broaden the general file API support (by @Pointerbender, @Jefffrey, @tiif, @newpavlov). -- Support for many Intel vendor intrinsics covering SSE2 all the way up to AVX2 (mostly by @eduardosm with some help by @TDecking and @Kixunil). +- Support for many Intel vendor intrinsics covering SSE2 all the way up to AVX2 (mostly by @eduardosm with some help by @TDecking, @Kixunil). Thanks to @folkertdev, Miri even supports some AVX-512 intrinsics, making it a suitable [testbed](https://trifectatech.org/blog/emulating-avx-512-intrinsics-in-miri/) for code you may not be able to run on real hardware! - Support for basic functionality on FreeBSD (by @devnexen and @LorrensP-2158466). - Support for basic functionality on Illumos and Solaris (by @devnexen). - Support for basic functionality on Android (by @YohDeadfall). -- 2.39.5