;; Predicate definitions for Xilinx MicroBlaze ;; Copyright (C) 2009-2015 Free Software Foundation, Inc. ;; ;; Contributed by Michael Eager eager@eagercon.com. ;; ;; 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/.

;; Return whether OP can be used as an operands in arithmetic. (define_predicate “arith_operand” (ior (match_code “const_int,const_double”) (match_operand 0 “register_operand”)))

(define_predicate “arith_operand32” (ior (match_operand 0 “register_operand”) (and (match_code “const_int,const_double”) (match_test “LARGE_INT (op)”))))

(define_predicate “arith_plus_operand” (match_operand 0 “general_operand”) { switch (GET_CODE (op)) { default: return 0; case CONST_INT: case REG: return 1; case SYMBOL_REF: case LABEL_REF: if (flag_pic || microblaze_tls_referenced_p(op)) return 0; return 1; case CONST: { rtx const0; const0 = XEXP (op, 0);

      switch (GET_CODE(const0))
        {
          default:
            return 0;
          case UNSPEC :
            return 1;

          case PLUS :
            {
              rtx p0, p1;
              p0 = XEXP (const0, 0);
              p1 = XEXP (const0, 1);

              if ((GET_CODE(p0) == SYMBOL_REF
                   || GET_CODE (p0) == LABEL_REF)
                  && GET_CODE(p1) == CONST_INT)
                {
                  return arith_plus_operand (p0, GET_MODE(p0));
                }
            }
        }
    }
}

return 0; })

(define_predicate “const_0_operand” (and (match_code “const_int,const_double”) (match_test “op == CONST0_RTX (GET_MODE (op))”)))

;; Return whether OP is a register or the constant 0. (define_predicate “reg_or_0_operand” (ior (match_operand 0 “const_0_operand”) (match_operand 0 “register_operand”)))

(define_predicate “reg_or_mem_operand” (ior (match_operand 0 “memory_operand”) (match_operand 0 “register_operand”)))

;; Return if the operand is either the PC or a label_ref.
(define_special_predicate “pc_or_label_operand”
(ior (match_code “pc,label_ref”) (and (match_code “symbol_ref”) (match_test “!(strcmp ((XSTR (op, 0)), "_stack_overflow_exit"))”))))

;; Test for valid call operand (define_predicate “call_insn_operand” (match_test “CALL_INSN_OP (op)”))

(define_predicate “call_insn_simple_operand” (and (match_test “CALL_INSN_OP (op)”) (match_test “GET_CODE (op) == REG || GET_CODE (op) == SYMBOL_REF || GET_CODE (op) == CONST_INT”)))

;; Return if OPERAND is valid as a source operand for a move instruction. (define_predicate “move_src_operand” (and ( not ( and (match_code “plus”) (not (match_test “(GET_CODE (XEXP (op, 0)) == REG) ^ (GET_CODE (XEXP (op,1)) == REG)”)) ) ) (match_operand 0 “general_operand”)) { if (microblaze_tls_referenced_p(op) || (flag_pic && (symbol_mentioned_p(op) || label_mentioned_p(op)))) return false;

return true; })

;; Test for valid PIC call operand (define_predicate “call_insn_plt_operand” (match_test “PLT_ADDR_P (op)”))

;; Return if the code of this rtx pattern is a comparison. (define_predicate “cmp_op” (match_code “gt,ge,gtu,geu,lt,le,ltu,leu”))