re PR target/57379 (Segfault in invalidate_any_buried_refs (x=0x0) at ../../gcc-svn...

	PR target/57379
	* config/alpha/alpha.md (unspec): Add UNSPEC_XFLT_COMPARE.
	* config/alpha/alpha.c (alpha_emit_xfloating_compare): Construct
	REG_EQUAL note as UNSPEC_XFLT_COMPARE unspec.

From-SVN: r199263

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d107f45596f112068cf2542b375ec7baa0a57958..0288258f3ce868c93a7087ec120b7a41d875d995 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2013-05-23  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/57379
+       * config/alpha/alpha.md (unspec): Add UNSPEC_XFLT_COMPARE.
+       * config/alpha/alpha.c (alpha_emit_xfloating_compare): Construct
+       REG_EQUAL note as UNSPEC_XFLT_COMPARE unspec.
+
 2013-05-23  Christian Bruel  <christian.bruel@st.com>
 
        PR debug/57351
@@ -31,7 +38,8 @@
        PR middle-end/57347
        * tree.h (contains_bitfld_component_ref_p): Declare.
        * tree-sra.c (contains_bitfld_comp_ref_p): Move...
-       * tree.c (contains_bitfld_component_ref_p): ...here.  Adjust its caller.
+       * tree.c (contains_bitfld_component_ref_p): ...here.  Adjust its
+       caller.
        * ipa-prop.c (determine_known_aggregate_parts): Check that LHS does
        not access a bit-field.  Assert all final offsets are byte-aligned.
 
@@ -57,9 +65,8 @@
 2013-05-23  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/57344
-       * expmed.c (store_split_bit_field): If op0 is a REG or
-       SUBREG of a REG, don't lower unit.  Handle unit not being
-       always BITS_PER_WORD.
+       * expmed.c (store_split_bit_field): If op0 is a REG or SUBREG of a REG,
+       don't lower unit.  Handle unit not being always BITS_PER_WORD.
 
 2013-05-23  Richard Biener  <rguenther@suse.de>
 
@@ -179,8 +186,7 @@
        power8.
        (rs6000_hard_regno_mode_ok): Make PTImode only match even GPR
        registers.
-       (rs6000_debug_reg_print): Print the base register class if
-       -mdebug=reg.
+       (rs6000_debug_reg_print): Print the base register class if -mdebug=reg.
        (rs6000_debug_vector_unit): Add p8_vector.
        (rs6000_debug_reg_global): If -mdebug=reg, print power8 constraint
        definitions.  Also print fusion state.
@@ -215,10 +221,9 @@
        (MASK_DIRECT_MOVE): Likewise.
        (MASK_P8_FUSION): Likewise.
        (MASK_P8_VECTOR): Likewise.
-       (REG_ALLOC_ORDER): Move fr13 to be lower in priority so that the
-       TFmode temporary used by some of the direct move instructions to
-       get two FP temporary registers does not force creation of a stack
-       frame.
+       (REG_ALLOC_ORDER): Move fr13 to be lower in priority so that the TFmode
+       temporary used by some of the direct move instructions to get two FP
+       temporary registers does not force creation of a stack frame.
        (VLOGICAL_REGNO_P): Allow vector logical operations in GPRs.
        (MODES_TIEABLE_P): Move the VSX tests above the Altivec tests so
        that any VSX registers are tieable, even if they are also an
@@ -269,9 +274,8 @@
 2013-05-21  Jakub Jelinek  <jakub@redhat.com>
 
        PR tree-optimization/57331
-       * tree-vrp.c (simplify_cond_using_ranges): Don't optimize
-       comparison of conversion from pointer type to integral type
-       with integer.
+       * tree-vrp.c (simplify_cond_using_ranges): Don't optimize comparison
+       of conversion from pointer type to integral type with integer.
 
 2013-05-21  Martin Jambor  <mjambor@suse.cz>
 

diff --git a/gcc/config/alpha/alpha.c b/gcc/config/alpha/alpha.c
index 69007a9338565eb296a425b164193d269acc65f5..096ef3b1f56c5348fe9be18275f13605731a7148 100644 (file)
--- a/gcc/config/alpha/alpha.c
+++ b/gcc/config/alpha/alpha.c
@@ -3067,12 +3067,8 @@ alpha_emit_xfloating_compare (enum rtx_code *pcode, rtx op0, rtx op1)
   operands[1] = op1;
   out = gen_reg_rtx (DImode);
 
-  /* 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);
+  /* What's actually returned is -1,0,1, not a proper boolean value.  */
+  note = gen_rtx_UNSPEC (DImode, gen_rtvec (2, op0, op1), UNSPEC_XFLT_COMPARE);
   alpha_emit_xfloating_libcall (func, out, operands, 2, note);
 
   return out;

diff --git a/gcc/config/alpha/alpha.md b/gcc/config/alpha/alpha.md
index 439752780a0b6755f9dadf19e7252c91edc52f86..b020b457df2d23edf5b62499c869b6a4c83e3a0a 100644 (file)
--- a/gcc/config/alpha/alpha.md
+++ b/gcc/config/alpha/alpha.md
@@ -23,6 +23,7 @@
 ;; Uses of UNSPEC in this file:
 
 (define_c_enum "unspec" [
+  UNSPEC_XFLT_COMPARE
   UNSPEC_ARG_HOME
   UNSPEC_LDGP1
   UNSPEC_INSXH