Ramkumar Ramachandra on Nostr: Alive2 now supports X86 vector intrinsics, and this change should be online on ...
Alive2 now supports X86 vector intrinsics, and this change should be online on Compiler Explorer soon! It's a huge piece of work originally authored by @regehr's PhD students, and we just finished verifying that the #LLVM test suite passes with the change.
https://github.com/AliveToolkit/alive2/pull/1128Published at
2024-12-12 14:25:27Event JSON
{
"id": "9fb69f1f45310f69e2a96c570da42a371403484e39a805275661f4d9e90b2923",
"pubkey": "c9f2c5deb60d95c6177b4948e22525821058391c19d22953915a8cc09a28ea10",
"created_at": 1734013527,
"kind": 1,
"tags": [
[
"t",
"llvm"
],
[
"proxy",
"https://mathstodon.xyz/users/artagnon/statuses/113640310533139390",
"activitypub"
]
],
"content": "Alive2 now supports X86 vector intrinsics, and this change should be online on Compiler Explorer soon! It's a huge piece of work originally authored by @regehr's PhD students, and we just finished verifying that the #LLVM test suite passes with the change.\n\nhttps://github.com/AliveToolkit/alive2/pull/1128",
"sig": "131f351cbb4153c5a9cd29fa5ca64dd9e7961bd5acb1e03176fdc6014360a3233b23aa52fd6c8384a991b18ee9acc0b527bcd93b7fd17d73d34bad24038f7f8a"
}
