Sadly, not yet. Even when (Safe) Rust's type system guarantees the noalias annot... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

cyber_kinetist on June 18, 2023 | parent | context | favorite | on: Rust vs Zig Benchmarks

Sadly, not yet. Even when (Safe) Rust's type system guarantees the noalias annotations will be inserted correctly, the Rust compiler team has been very cautious of turning this on because of numerous LLVM miscompilation issues. It was turned on two years ago in https://github.com/rust-lang/rust/pull/82834 but was subsequently rolled back in https://github.com/rust-lang/rust/pull/86036 because of a miscompliation bug.

the8472 on June 18, 2023 [–]

The rollback was only for the beta, it didn't land on master. So the next release (1.54) did in fact enable mutable-noalias.

You can see it in the function arguments in llvmir: https://rust.godbolt.org/z/a3c366nG6

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact