aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/config/mcore/constraints.md
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/config/mcore/constraints.md')
-rw-r--r--gcc-4.9/gcc/config/mcore/constraints.md111
1 files changed, 111 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/config/mcore/constraints.md b/gcc-4.9/gcc/config/mcore/constraints.md
new file mode 100644
index 000000000..dce46e974
--- /dev/null
+++ b/gcc-4.9/gcc/config/mcore/constraints.md
@@ -0,0 +1,111 @@
+;; Constraint definitions for the Motorola MCore
+;; Copyright (C) 2011-2014 Free Software Foundation, Inc.
+
+;; This file is part of GCC.
+
+;; GCC is free software; you can redistribute it and/or modify
+;; it under the terms of the GNU General Public License as published by
+;; the Free Software Foundation; either version 3, or (at your option)
+;; any later version.
+
+;; GCC is distributed in the hope that it will be useful,
+;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+;; GNU General Public License for more details.
+
+;; You should have received a copy of the GNU General Public License
+;; along with GCC; see the file COPYING3. If not see
+;; <http://www.gnu.org/licenses/>.
+
+;; Register constraints.
+(define_register_constraint "a" "LRW_REGS"
+ "@internal")
+
+(define_register_constraint "b" "ONLYR1_REGS"
+ "@internal")
+
+(define_register_constraint "c" "C_REGS"
+ "@internal")
+
+(define_register_constraint "x" "ALL_REGS"
+ "@internal")
+
+;; Integer constraints.
+(define_constraint "I"
+ "An integer in the range 0 to 127."
+ (and (match_code "const_int")
+ (match_test "IN_RANGE (ival, 0, 127)")))
+
+(define_constraint "J"
+ "An integer in the range 1 to 32."
+ (and (match_code "const_int")
+ (match_test "IN_RANGE (ival, 1, 32)")))
+
+(define_constraint "K"
+ "A shift operand, an integer in the range 0 to 31."
+ (and (match_code "const_int")
+ (match_test "IN_RANGE (ival, 0, 31)")))
+
+(define_constraint "L"
+ "A negative arithmetic operand in the range -32 to -1."
+ (and (match_code "const_int")
+ (match_test "IN_RANGE (ival, -32, -1)")))
+
+(define_constraint "M"
+ "A constant loadable by bgeni."
+ (and (match_code "const_int")
+ (match_test "exact_log2 (ival) >= 0 && exact_log2 (ival) <= 30")))
+
+(define_constraint "N"
+ "A constant loadable by bmaskii, including -1."
+ (and (match_code "const_int")
+ (ior (match_test "ival == -1")
+ (and (match_test "exact_log2 (ival + 1) >= 0")
+ (match_test "exact_log2 (ival + 1) <= 30")))))
+
+(define_constraint "O"
+ "A constant allowed by cmov with two constants +/- 1 of each other."
+ (and (match_code "const_int")
+ (ior (match_test "insn_const_int_ok_for_constraint (ival, CONSTRAINT_I)")
+ (match_test "insn_const_int_ok_for_constraint (ival, CONSTRAINT_M)")
+ (match_test "insn_const_int_ok_for_constraint (ival, CONSTRAINT_N)")
+ (match_test "insn_const_int_ok_for_constraint (ival - 1, CONSTRAINT_M)")
+ (match_test "insn_const_int_ok_for_constraint (ival + 1, CONSTRAINT_N)"))))
+
+(define_constraint "P"
+ "A value that can be generated without an lrw instruction."
+ (and (match_code "const_int")
+ (match_test "mcore_const_ok_for_inline (ival)")))
+
+;; Floating-point constraints.
+(define_constraint "G"
+ "@internal"
+ (and (match_code "const_double")
+ (match_test "insn_const_int_ok_for_constraint (hval, CONSTRAINT_I)")
+ (match_test "insn_const_int_ok_for_constraint (ival, CONSTRAINT_I)")))
+
+;; Other constraints.
+(define_constraint "Q"
+ "The integer constant one."
+ (and (match_code "const_int")
+ (match_test "ival == 1")))
+
+(define_constraint "R"
+ "@internal"
+ (and (match_code "mem")
+ (match_test "GET_CODE (XEXP (op, 0)) == LABEL_REF")))
+
+(define_constraint "S"
+ "An integer constant with 0, 1, or 2 bits clear."
+ (and (match_code "const_int")
+ (match_test "mcore_num_zeros (ival) <= 2")))
+
+(define_constraint "T"
+ "An integer constant with 2 set bits."
+ (and (match_code "const_int")
+ (match_test "mcore_num_ones (ival) == 2")))
+
+(define_constraint "U"
+ "The integer constant zero."
+ (and (match_code "const_int")
+ (match_test "ival == 0")))