;; Constraint definitions for the Motorola MCore ;; Copyright (C) 2011-2022 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”)))