such VMs would be near the only thing to benefit from them, and, still, only in code size (which wouldn't be in cache anyway) and codegen speed, i.e. not anything related to actual runtime speed.

You can't use them for actually conditionally calling functions because functions need arguments, thrash registers, and whatever else functions do.