4 ms·
There is a formal proof if you use the CompCert C compiler: https://compcert.org/ https://compcert.org/
by ryao 3y ago
There is a formal proof if you use the CompCert C compiler:
https://compcert.org/ https://compcert.org/
- dwattttt 3y agoThat would get you to the assembly generated, but not the behavior of the CPU in the question, which goes to show it's a pretty silly position to hold.