The problem is a mis-speculation leading to us falling off the speculative path. Make the speculation logic slightly smarter, don't predict int if one of the operands is already loaded as a double (we use this logic already for compares).
Fixed in r90065