Change rule for predicates that compare against implicit zero.

Change rule for predicates that compare against implicit zero.
Previously, these predicates were generating a zero by subtracting a
register from itself.  This doesn't work if the register contains an
infinity or a NAN -- in that case it traps.  The new code generates a
zero by explicitly zeroing the register.