If we hit the denormal path, the sign and exponent are guaranteed to be 0, which means X1 and X3 have the same value.