aboutsummaryrefslogtreecommitdiff
path: root/gcc/combine.c
diff options
context:
space:
mode:
authorUros Bizjak <ubizjak@gmail.com>2012-04-02 12:04:10 +0200
committerUros Bizjak <uros@gcc.gnu.org>2012-04-02 12:04:10 +0200
commit5bd5034e244983cb1d6655a759efafcd5b6287aa (patch)
tree25a87d90e52dfd9812287295b22efbecb3a3a3a1 /gcc/combine.c
parent36504e5f465b19d444187bcee11a26e1842d277c (diff)
downloadgcc-5bd5034e244983cb1d6655a759efafcd5b6287aa.zip
gcc-5bd5034e244983cb1d6655a759efafcd5b6287aa.tar.gz
gcc-5bd5034e244983cb1d6655a759efafcd5b6287aa.tar.bz2
Partially revert:
2012-03-29 Richard Guenther <rguenther@suse.de> * rtl.h (extended_count): Remove. * combine.c (extended_count): Remove. From-SVN: r186077
Diffstat (limited to 'gcc/combine.c')
-rw-r--r--gcc/combine.c25
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/combine.c b/gcc/combine.c
index de3afcc..7eaaf47 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -9674,6 +9674,31 @@ reg_num_sign_bit_copies_for_combine (const_rtx x, enum machine_mode mode,
return NULL;
}
+/* Return the number of "extended" bits there are in X, when interpreted
+ as a quantity in MODE whose signedness is indicated by UNSIGNEDP. For
+ unsigned quantities, this is the number of high-order zero bits.
+ For signed quantities, this is the number of copies of the sign bit
+ minus 1. In both case, this function returns the number of "spare"
+ bits. For example, if two quantities for which this function returns
+ at least 1 are added, the addition is known not to overflow.
+
+ This function will always return 0 unless called during combine, which
+ implies that it must be called from a define_split. */
+
+unsigned int
+extended_count (const_rtx x, enum machine_mode mode, int unsignedp)
+{
+ if (nonzero_sign_valid == 0)
+ return 0;
+
+ return (unsignedp
+ ? (HWI_COMPUTABLE_MODE_P (mode)
+ ? (unsigned int) (GET_MODE_PRECISION (mode) - 1
+ - floor_log2 (nonzero_bits (x, mode)))
+ : 0)
+ : num_sign_bit_copies (x, mode) - 1);
+}
+
/* This function is called from `simplify_shift_const' to merge two
outer operations. Specifically, we have already found that we need
to perform operation *POP0 with constant *PCONST0 at the outermost