http://www.hpl.hp.com/techreports/Compaq-DEC/WRL-93-6.pdf
Speculation can only take you so far. How do you speculatively execute something like:
a = a + b[x];
You can't even speculatively fetch the second operand until you have real values for b and x.
Trying to model all possible values explodes so much faster than all possible control paths that it's only of very theoretical interest.
http://www.hpl.hp.com/techreports/Compaq-DEC/WRL-93-6.pdf
Speculation can only take you so far. How do you speculatively execute something like:
?You can't even speculatively fetch the second operand until you have real values for b and x.
Trying to model all possible values explodes so much faster than all possible control paths that it's only of very theoretical interest.