[PATCH] simplify-rtx.c (simplify_unary_operation_1): Change BITSIZE to PRECISION.

[PATCH] simplify-rtx.c (simplify_unary_operation_1): Change BITSIZE to PRECISION.

[John Darrington]

gcc/
* simplify-rtx.c (simplify_unary_operation_1): Change BITSIZE to PRECISION
 in simplification of (extend ashiftrt (ashift ..)))  Otherwise the
 gcc_assert can catch when dealing with partial int modes.
---
 gcc/ChangeLog      | 6 ++++++
 gcc/simplify-rtx.c | 8 ++++----
 2 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5d3d359..919b9e9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2019-07-04  John Darrington <john@darrington.wattle.id.au>
+
+	simplify-rtx.c: Change BITSIZE to UNIT_PRECISION in simplification of
+	(extend ashiftrt (ashift ..)))  Otherwise the gcc_assert will catch
+	when dealing with partial int modes.
+
 2019-07-04  Jakub Jelinek  <jakub@redhat.com>
 
 	* omp-low.c (lower_omp_scan): Call lower_omp on stmt's body
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index 89a46a9..d1cd428 100644
--- a/gcc/simplify-rtx.c
+++ b/gcc/simplify-rtx.c
@@ -1504,12 +1504,12 @@ simplify_unary_operation_1 (enum rtx_code code, machine_mode mode, rtx op)
 	  && CONST_INT_P (XEXP (op, 1))
 	  && XEXP (XEXP (op, 0), 1) == XEXP (op, 1)
 	  && (op_mode = as_a <scalar_int_mode> (GET_MODE (op)),
-	      GET_MODE_BITSIZE (op_mode) > INTVAL (XEXP (op, 1))))
+	      GET_MODE_PRECISION (op_mode) > INTVAL (XEXP (op, 1))))
 	{
 	  scalar_int_mode tmode;
-	  gcc_assert (GET_MODE_BITSIZE (int_mode)
-		      > GET_MODE_BITSIZE (op_mode));
-	  if (int_mode_for_size (GET_MODE_BITSIZE (op_mode)
+	  gcc_assert (GET_MODE_PRECISION (int_mode)
+		      > GET_MODE_PRECISION (op_mode));
+	  if (int_mode_for_size (GET_MODE_PRECISION (op_mode)
 				 - INTVAL (XEXP (op, 1)), 1).exists (&tmode))
 	    {
 	      rtx inner =
-- 
1.8.3.1

Re: [PATCH] simplify-rtx.c (simplify_unary_operation_1): Change BITSIZE to PRECISION.

[Jeff Law]

On 7/8/19 1:11 AM, John Darrington wrote:
> gcc/
> * simplify-rtx.c (simplify_unary_operation_1): Change BITSIZE to PRECISION
>  in simplification of (extend ashiftrt (ashift ..)))  Otherwise the
>  gcc_assert can catch when dealing with partial int modes.
THanks.  I edited the ChangeLog entry a bit and installed the patch on
the trunk.

jeff
> ---