alt Hacker NewsDo these compilers sometimes give correct instructions and sometimes incorrect instructions for the same higher level code, and it's considered an intrinsic part of the compiler that you just have to deal with? Because otherwise this argument is bunk.
Replies
ChrisGreenHeur • yesterday at 3:53 PM
they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers)
➕ show 1 reply
Possibly, hence why the discussion regarding security in JavaScript runtimes and JIT, by completely disabling JIT execution.
https://microsoftedge.github.io/edgevr/posts/Super-Duper-Sec...
Also the exact sequence of generated machine instructions depends of various factors, the same source can have various outputs, depending on code execution, preset hardware, and heuristics.