No - perfect determinism is absolutely not required.

It's entirely the nature of the abstraction.

You want it to work as expected, it does not have to produce the same thing each time.

No, determinism is actually required. If compilers changed between producing decent assembly and crap assembly from run to run, we would be reading the generated assembly every single time.