diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b264035e7c7a9344dd0d8f8a1e1ac82e13076f1b..d15763234bee557810d518e2b0f931bf95245d8d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-04-03  Adam Nemet  <anemet@caviumnetworks.com>
+
+	* simplify-rtx.c (simplify_unary_operation_1) <TRUNCATE>: When
+	trying to remove TRUNCATE check if all bits outside the new mode
+	are identical to the sign bit.
+
 2006-04-03  Jeff Law  <law@redhat.com>
 
 	* tree-ssa-dom.c (propagate_rhs_into_lhs): Avoid useless folding
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index cac77ad1fce046d3fce0eceaa98b3710bad141c1..0ce033df208a9ba71e3169c87ad74f4af94b8049 100644
--- a/gcc/simplify-rtx.c
+++ b/gcc/simplify-rtx.c
@@ -656,7 +656,8 @@ simplify_unary_operation_1 (enum rtx_code code, enum machine_mode mode, rtx op)
       if ((TRULY_NOOP_TRUNCATION (GET_MODE_BITSIZE (mode),
 				 GET_MODE_BITSIZE (GET_MODE (op)))
 	   ? (num_sign_bit_copies (op, GET_MODE (op))
-	      >= (unsigned int) (GET_MODE_BITSIZE (mode) + 1))
+	      > (unsigned int) (GET_MODE_BITSIZE (GET_MODE (op))
+				- GET_MODE_BITSIZE (mode)))
 	   : truncated_to_mode (mode, op))
 	  && ! (GET_CODE (op) == LSHIFTRT
 		&& GET_CODE (XEXP (op, 0)) == MULT))