rust/src/test/codegen/vec-calloc-llvm14.rs, branch 1.66.1https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.66.12022-07-26T13:43:28+00:00codegen: use new {re,de,}allocator annotations in llvm2022-07-26T13:43:28+00:00Augie Fackleraugie@google.com2022-03-21T19:30:54+00:00urn:sha1:130a1df71ea73ab9d66d3cb8fc9cdb43155d514b
This obviates the patch that teaches LLVM internals about
_rust_{re,de}alloc functions by putting annotations directly in the IR
for the optimizer.
The sole test change is required to anchor FileCheck to the body of the
`box_uninitialized` method, so it doesn't see the `allocalign` on
`__rust_alloc` and get mad about the string `alloca` showing up. Since I
was there anyway, I added some checks on the attributes to prove the
right attributes got set.
While we're here, we also emit allocator attributes on
__rust_alloc_zeroed. This should allow LLVM to perform more
optimizations for zeroed blocks, and probably fixes #90032. [This
comment](https://github.com/rust-lang/rust/issues/24194#issuecomment-308791157)
mentions "weird UB-like behaviour with bitvec iterators in
rustc_data_structures" so we may need to back this change out if things
go wrong.
The new test cases require LLVM 15, so we copy them into LLVM
14-supporting versions, which we can delete when we drop LLVM 14.