diff options
| author | Richard Henderson <rth@redhat.com> | 2003-10-29 18:26:29 -0800 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2003-10-29 18:26:29 -0800 |
| commit | e7824b3ed5324c1c7dc8b159ea05bcdebf655345 (patch) | |
| tree | c8eaac33f8d526dce7ee1fcd726ce4fc064b17eb | |
| parent | c35d187fc31fdd5836d1acb13e29a03537d22b46 (diff) | |
| download | gcc-e7824b3ed5324c1c7dc8b159ea05bcdebf655345.zip gcc-e7824b3ed5324c1c7dc8b159ea05bcdebf655345.tar.gz gcc-e7824b3ed5324c1c7dc8b159ea05bcdebf655345.tar.bz2 | |
fold-const.c (fold_single_bit_test): Convert the input to the operational intermediate type.
* fold-const.c (fold_single_bit_test): Convert the input to the
operational intermediate type.
From-SVN: r73077
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fold-const.c | 13 |
2 files changed, 12 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 80dd00f..b7f9c38 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2003-10-29 Richard Henderson <rth@redhat.com> + * fold-const.c (fold_single_bit_test): Convert the input to the + operational intermediate type. + +2003-10-29 Richard Henderson <rth@redhat.com> + * builtins.c (std_build_builtin_va_list): New. * expr.h (std_build_builtin_va_list): Declare. * defaults.h (BUILD_VA_LIST_TYPE): New. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index f248cd6..85909a3 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -5036,7 +5036,7 @@ fold_single_bit_test (enum tree_code code, tree arg0, tree arg1, int bitnum = tree_log2 (TREE_OPERAND (arg0, 1)); enum machine_mode operand_mode = TYPE_MODE (type); int ops_unsigned; - tree signed_type, unsigned_type; + tree signed_type, unsigned_type, intermediate_type; tree arg00; /* If we have (A & C) != 0 where C is the sign bit of A, convert @@ -5082,22 +5082,23 @@ fold_single_bit_test (enum tree_code code, tree arg0, tree arg1, signed_type = (*lang_hooks.types.type_for_mode) (operand_mode, 0); unsigned_type = (*lang_hooks.types.type_for_mode) (operand_mode, 1); + intermediate_type = ops_unsigned ? unsigned_type : signed_type; + inner = convert (intermediate_type, inner); if (bitnum != 0) - inner = build (RSHIFT_EXPR, ops_unsigned ? unsigned_type : signed_type, + inner = build (RSHIFT_EXPR, intermediate_type, inner, size_int (bitnum)); if (code == EQ_EXPR) - inner = build (BIT_XOR_EXPR, ops_unsigned ? unsigned_type : signed_type, + inner = build (BIT_XOR_EXPR, intermediate_type, inner, integer_one_node); /* Put the AND last so it can combine with more things. */ - inner = build (BIT_AND_EXPR, ops_unsigned ? unsigned_type : signed_type, + inner = build (BIT_AND_EXPR, intermediate_type, inner, integer_one_node); /* Make sure to return the proper type. */ - if (TREE_TYPE (inner) != result_type) - inner = convert (result_type, inner); + inner = convert (result_type, inner); return inner; } |