From 26d83bccd1ed42a08b5940ba73742537b81efa2b Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 10 Mar 2015 07:36:50 +0100 Subject: re PR rtl-optimization/65321 (ICE on valid code at -O2 and -O3 with -g enabled in decompose, at rtl.h:2007) PR rtl-optimization/65321 * cfgexpand.c (expand_debug_expr): Ensure shift amount isn't wider than shift mode. * var-tracking.c (use_narrower_mode): Likewise. * gcc.dg/pr65321.c: New test. From-SVN: r221298 --- gcc/var-tracking.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'gcc/var-tracking.c') diff --git a/gcc/var-tracking.c b/gcc/var-tracking.c index 9ec5d8b..da4c61e 100644 --- a/gcc/var-tracking.c +++ b/gcc/var-tracking.c @@ -1011,7 +1011,13 @@ use_narrower_mode (rtx x, machine_mode mode, machine_mode wmode) return simplify_gen_binary (GET_CODE (x), mode, op0, op1); case ASHIFT: op0 = use_narrower_mode (XEXP (x, 0), mode, wmode); - return simplify_gen_binary (ASHIFT, mode, op0, XEXP (x, 1)); + op1 = XEXP (x, 1); + /* Ensure shift amount is not wider than mode. */ + if (GET_MODE (op1) == VOIDmode) + op1 = lowpart_subreg (mode, op1, wmode); + else if (GET_MODE_PRECISION (mode) < GET_MODE_PRECISION (GET_MODE (op1))) + op1 = lowpart_subreg (mode, op1, GET_MODE (op1)); + return simplify_gen_binary (ASHIFT, mode, op0, op1); default: gcc_unreachable (); } -- cgit v1.1