From 9dbc42f33c8a06c9377dc90c6f9b5d751e856c47 Mon Sep 17 00:00:00 2001 From: geoffk Date: Thu, 19 Jul 2001 19:43:44 +0000 Subject: [PATCH] * ifcvt.c (noce_try_store_flag_constants): Use trunc_int_for_mode when negating constants. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@44158 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/ifcvt.c | 16 +++++++++------- 2 files changed, 14 insertions(+), 7 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 76125c6..e643a76 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-07-19 Geoffrey Keating + + * ifcvt.c (noce_try_store_flag_constants): Use trunc_int_for_mode + when negating constants. + 2001-07-19 Toon Moene * tree.def: Document restriction on {L|R}SHIFT_EXPR's second argument. diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c index d23fd3a..92bb6b5 100644 --- a/gcc/ifcvt.c +++ b/gcc/ifcvt.c @@ -642,14 +642,16 @@ noce_try_store_flag_constants (if_info) int reversep; HOST_WIDE_INT itrue, ifalse, diff, tmp; int normalize, can_reverse; + enum machine_mode mode; if (! no_new_pseudos && GET_CODE (if_info->a) == CONST_INT && GET_CODE (if_info->b) == CONST_INT) { + mode = GET_MODE (if_info->x); ifalse = INTVAL (if_info->a); itrue = INTVAL (if_info->b); - diff = itrue - ifalse; + diff = trunc_int_for_mode (mode, itrue - ifalse); can_reverse = (reversed_comparison_code (if_info->cond, if_info->jump) != UNKNOWN); @@ -680,7 +682,7 @@ noce_try_store_flag_constants (if_info) if (reversep) { tmp = itrue; itrue = ifalse; ifalse = tmp; - diff = -diff; + diff = trunc_int_for_mode (mode, -diff); } start_sequence (); @@ -695,7 +697,7 @@ noce_try_store_flag_constants (if_info) => x = 3 + (test == 0); */ if (diff == STORE_FLAG_VALUE || diff == -STORE_FLAG_VALUE) { - target = expand_binop (GET_MODE (if_info->x), + target = expand_binop (mode, (diff == STORE_FLAG_VALUE ? add_optab : sub_optab), GEN_INT (ifalse), target, if_info->x, 0, @@ -706,7 +708,7 @@ noce_try_store_flag_constants (if_info) => x = (test != 0) << 3; */ else if (ifalse == 0 && (tmp = exact_log2 (itrue)) >= 0) { - target = expand_binop (GET_MODE (if_info->x), ashl_optab, + target = expand_binop (mode, ashl_optab, target, GEN_INT (tmp), if_info->x, 0, OPTAB_WIDEN); } @@ -715,7 +717,7 @@ noce_try_store_flag_constants (if_info) => x = -(test != 0) | b; */ else if (itrue == -1) { - target = expand_binop (GET_MODE (if_info->x), ior_optab, + target = expand_binop (mode, ior_optab, target, GEN_INT (ifalse), if_info->x, 0, OPTAB_WIDEN); } @@ -724,11 +726,11 @@ noce_try_store_flag_constants (if_info) => x = (-(test != 0) & (b - a)) + a; */ else { - target = expand_binop (GET_MODE (if_info->x), and_optab, + target = expand_binop (mode, and_optab, target, GEN_INT (diff), if_info->x, 0, OPTAB_WIDEN); if (target) - target = expand_binop (GET_MODE (if_info->x), add_optab, + target = expand_binop (mode, add_optab, target, GEN_INT (ifalse), if_info->x, 0, OPTAB_WIDEN); } -- 2.7.4