> (insn 9 8 10 (set (reg:DF 69) > (eq:DF (reg/v:DF 68) > (const_double:DF (cc0) 0 0))) -1 (nil) > (nil)) Does this RTL actually describe correctly what is going on on the alpha? Does in generate floating-point truth values, i.e. 1.0 for true?