I agree that static prediction would be nice. I wonder if the new Intel bounds checking extension can be abused for that. My main problem with writing it out

I agree that static prediction would be nice. I wonder if the new Intel bounds checking extension can be abused for that. My main problem with writing it out is code size, since ideally you want every single integer operation in your nice fast C-like-language program to expand to that kind of sequence. But maybe it doesn't actually matter that much.