> Is there any way to trace the RTL generation process to see where it > produces that? You can set a breakpoint at gen_rtx_CONST_DOUBLE. It will usually be called from immed_double_const, but the stuff higher up in the backtrace might be more interesting.