For your latter point I find branch prediction to be even more egregious (from a computational ambiguity perspective). The processor is executing code just in case it discovers that it needs to have executed it.