Eventually it wont need to write any code at all. The end goal for AI is "The Final Software" - no more software needs to be written, you just tell the AI what you actually want done and it does it, no need for it to generate a program.

>Then there's the static initialization order fiasco

One of the reasons I hate constructors and destructors.

Explicit init()/deinit() functions are much better.

Is it? rust has to ditch llvm to be able to replace c++ - or rewrite llvm in rust.

A good compiler will only do that if the register spilling is more efficient than using more stack varibles, so I don't really see the problem.

Bitwise identical output from a compiler is important for verification to protect against tampering, supply chain attacks, etc.