aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorRichard Henderson <rth@redhat.com>2008-02-07 09:45:24 -0800
committerRichard Henderson <rth@gcc.gnu.org>2008-02-07 09:45:24 -0800
commit32891ff6a1dac549cc54ec990aff52505633d593 (patch)
tree0203ab6e3a3a5824c6068a31539b18426d43af15 /gcc
parentc4ae80d945388a7350ec8cf799f60b30036f7ba9 (diff)
downloadgcc-32891ff6a1dac549cc54ec990aff52505633d593.zip
gcc-32891ff6a1dac549cc54ec990aff52505633d593.tar.gz
gcc-32891ff6a1dac549cc54ec990aff52505633d593.tar.bz2
re PR rtl-optimization/33410 (ICE in iv_analyze_expr, at loop-iv.c:934)
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. From-SVN: r132171
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog7
-rw-r--r--gcc/config/alpha/alpha.c13
2 files changed, 15 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 334fabf..370d11f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2008-07-07 Richard Henderson <rth@redhat.com>
+
+ 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 <ubizjak@gmail.com>
PR tree-optimization/35085
diff --git a/gcc/config/alpha/alpha.c b/gcc/config/alpha/alpha.c
index 800b354..991193f 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;
}