diff options
author | Andrew Hsieh <andrewhsieh@google.com> | 2012-08-16 11:45:46 +0800 |
---|---|---|
committer | Andrew Hsieh <andrewhsieh@google.com> | 2012-08-16 11:45:46 +0800 |
commit | 97486fce685bf128a2c4b009e7b717af9521e6a7 (patch) | |
tree | 0e5c61201404e0a360cb13ebd240b2e82aafd0c2 /gcc-4.6/gcc/config | |
parent | 0b76eed807691ef39e9c7e37d662dd4a9362f412 (diff) | |
download | toolchain_gcc-97486fce685bf128a2c4b009e7b717af9521e6a7.tar.gz toolchain_gcc-97486fce685bf128a2c4b009e7b717af9521e6a7.tar.bz2 toolchain_gcc-97486fce685bf128a2c4b009e7b717af9521e6a7.zip |
Fix ARM internal compiler error with negative shift amount
Back port fix of ARM ICE compiling the following code with
int foo(int a, int b)
{
return a | (b << -3);
}
See http://gcc.gnu.org/ml/gcc-patches/2011-10/msg00594.html
Change-Id: Ic4c675a3830d7f213d8abdcf158ca296a836851b
Diffstat (limited to 'gcc-4.6/gcc/config')
-rw-r--r-- | gcc-4.6/gcc/config/arm/predicates.md | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc-4.6/gcc/config/arm/predicates.md b/gcc-4.6/gcc/config/arm/predicates.md index e34b46da0..7f20106ba 100644 --- a/gcc-4.6/gcc/config/arm/predicates.md +++ b/gcc-4.6/gcc/config/arm/predicates.md @@ -129,6 +129,8 @@ (ior (match_operand 0 "arm_rhs_operand") (match_operand 0 "memory_operand"))) +;; This doesn't have to do much because the constant is already checked +;; in the shift_operator predicate. (define_predicate "shift_amount_operand" (ior (and (match_test "TARGET_ARM") (match_operand 0 "s_register_operand")) @@ -218,13 +220,20 @@ (match_test "mode == GET_MODE (op)"))) ;; True for shift operators. +;; Notes: +;; * mult is only permitted with a constant shift amount +;; * patterns that permit register shift amounts only in ARM mode use +;; shift_amount_operand, patterns that always allow registers do not, +;; so we don't have to worry about that sort of thing here. (define_special_predicate "shift_operator" (and (ior (ior (and (match_code "mult") (match_test "power_of_two_operand (XEXP (op, 1), mode)")) (and (match_code "rotate") (match_test "GET_CODE (XEXP (op, 1)) == CONST_INT && ((unsigned HOST_WIDE_INT) INTVAL (XEXP (op, 1))) < 32"))) - (match_code "ashift,ashiftrt,lshiftrt,rotatert")) + (and (match_code "ashift,ashiftrt,lshiftrt,rotatert") + (match_test "GET_CODE (XEXP (op, 1)) != CONST_INT + || ((unsigned HOST_WIDE_INT) INTVAL (XEXP (op, 1))) < 32"))) (match_test "mode == GET_MODE (op)"))) ;; True for MULT, to identify which variant of shift_operator is in use. |