re PR rtl-optimization/26235 (FAIL: gcc.c-torture/execute/ieee/fp-cmp-8l.c…

re PR rtl-optimization/26235 (FAIL: gcc.c-torture/execute/ieee/fp-cmp-8l.c execution at -O1, -O2 and -Os)

	PR rtl-optimization/26235
	* loop-invariant.c (hash_invariant_expr_1): Handle 'i' and 'n' formats.
	(invariant_expr_equal_p): Handle 'i' and 'n' formats.  Fail on unknown
	format.

From-SVN: r110939

gcc/ChangeLog

+2006-02-13  Zdenek Dvorak <dvorakz@suse.cz>
+
+	PR rtl-optimization/26235
+	* loop-invariant.c (hash_invariant_expr_1): Handle 'i' and 'n' formats.
+	(invariant_expr_equal_p): Handle 'i' and 'n' formats.  Fail on unknown
+	format.
+
 2006-02-13  Jeff Law  <law@redhat.com>
 
 	* tree-vrp.c (extract_range_from_binary_expr): Remove handling of

gcc/loop-invariant.c

@@ -292,6 +292,8 @@ hash_invariant_expr_1 (rtx insn, rtx x)
 	  for (j = 0; j < XVECLEN (x, i); j++)
 	    val ^= hash_invariant_expr_1 (insn, XVECEXP (x, i, j));
 	}
+      else if (fmt[i] == 'i' || fmt[i] == 'n')
+	val ^= XINT (x, i);
     }
 
   return val;
@@ -373,6 +375,14 @@ invariant_expr_equal_p (rtx insn1, rtx e1, rtx insn2, rtx e2)
 		return false;
 	    }
 	}
+      else if (fmt[i] == 'i' || fmt[i] == 'n')
+	{
+	  if (XINT (e1, i) != XINT (e2, i))
+	    return false;
+	}
+      /* Unhandled type of subexpression, we fail conservatively.  */
+      else
+	return false;
     }
 
   return true;