diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 334fabf07c1..370d11f0812 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2008-07-07 Richard Henderson + + PR rtl-opt/33410 + * config/alpha/alpha.c (alpha_emit_xfloating_compare): Use an + EXPR_LIST for the REG_EQUAL instead of a comparison with a + funny mode. + 2008-02-07 Uros Bizjak PR tree-optimization/35085 diff --git a/gcc/config/alpha/alpha.c b/gcc/config/alpha/alpha.c index 800b354a71d..991193f28dc 100644 --- a/gcc/config/alpha/alpha.c +++ b/gcc/config/alpha/alpha.c @@ -3047,7 +3047,7 @@ static rtx alpha_emit_xfloating_compare (enum rtx_code *pcode, rtx op0, rtx op1) { enum rtx_code cmp_code, res_code; - rtx func, out, operands[2]; + rtx func, out, operands[2], note; /* X_floating library comparison functions return -1 unordered @@ -3087,10 +3087,13 @@ alpha_emit_xfloating_compare (enum rtx_code *pcode, rtx op0, rtx op1) operands[1] = op1; out = gen_reg_rtx (DImode); - /* ??? Strange mode for equiv because what's actually returned - is -1,0,1, not a proper boolean value. */ - alpha_emit_xfloating_libcall (func, out, operands, 2, - gen_rtx_fmt_ee (cmp_code, CCmode, op0, op1)); + /* What's actually returned is -1,0,1, not a proper boolean value, + so use an EXPR_LIST as with a generic libcall instead of a + comparison type expression. */ + note = gen_rtx_EXPR_LIST (VOIDmode, op1, NULL_RTX); + note = gen_rtx_EXPR_LIST (VOIDmode, op0, note); + note = gen_rtx_EXPR_LIST (VOIDmode, func, note); + alpha_emit_xfloating_libcall (func, out, operands, 2, note); return out; }