Fix bad shift in soft-fp (bug 7006).