* config/rs6000/rs6000.md (*movdf_hardfloat32): Use %X format to