I've been working on an OS in Rust that has an aarch64 port, and I've for sure seen some... questionable output. It's all been valid code for the input, but not nearly as optimized as I've come to expect out of LLVM based compilers. I'm sure there's some low hanging fruit that needs attention is all.