Nice article with some interesting gotchas about LLVM IR optimizations. The article mostly about Zig, but as it stated "That’s a theme—any trick you do with LLVM IR would work for any LLVM-based language."
https://tigerbeetle.com/blog/2023-07-26-copy-hunting/
Wonder if those kind of analysis is possible to re-implement for LDC :)
Hope someone else will find this info useful too.