minwin-gcc-5-2/gcc/config/vax/predicates.md

;; Predicate definitions for DEC VAX. ;; Copyright (C) 2007-2015 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/.

;; Special case of a symbolic operand that's used as a ;; operand.

(define_predicate "symbolic_operand" (match_code "const,symbol_ref,label_ref"))

(define_predicate "local_symbolic_operand" (match_code "const,symbol_ref,label_ref") { if (GET_CODE (op) == LABEL_REF)

return 1;

if (GET_CODE (op) == SYMBOL_REF)

return !flag_pic || SYMBOL_REF_LOCAL_P (op);

if (GET_CODE (XEXP (XEXP (op, 0), 0)) == LABEL_REF)

return 1;

return !flag_pic || SYMBOL_REF_LOCAL_P (XEXP (XEXP (op, 0), 0)); })

(define_predicate "external_symbolic_operand" (and (match_code "symbol_ref")

   (not (match_operand 0 "local_symbolic_operand" ""))))

(define_predicate "external_const_operand" (and (match_code "const")

   (match_test "GET_CODE (XEXP (XEXP (op, 0), 0)) == SYMBOL_REF
        && !SYMBOL_REF_LOCAL_P (XEXP (XEXP (op, 0), 0))")))

(define_predicate "nonsymbolic_operand" (and (ior (match_test "!flag_pic")

    (not (match_operand 0 "symbolic_operand")))
   (match_operand 0 "general_operand" "")))

(define_predicate "external_memory_operand" (match_code "mem") { rtx addr = XEXP (op, 0); if (MEM_P (addr))

addr = XEXP (addr, 0);

if (GET_CODE (addr) == PLUS)

addr = XEXP (addr, 1);

if (MEM_P (addr))

addr = XEXP (addr, 0);

if (GET_CODE (addr) == PLUS)

addr = XEXP (addr, 1);

return external_symbolic_operand (addr, SImode)

 || external_const_operand (addr, SImode);

})

(define_predicate "indirect_memory_operand" (match_code "mem") { op = XEXP (op, 0); if (MEM_P (op))

return 1;

if (GET_CODE (op) == PLUS)

op = XEXP (op, 1);

return MEM_P (op); })

(define_predicate "indexed_memory_operand" (match_code "mem") { rtx addr = XEXP (op, 0); return GET_CODE (addr) != PRE_DEC && GET_CODE (addr) != POST_INC

 && mode_dependent_address_p (addr, MEM_ADDR_SPACE (op));

})

(define_predicate "illegal_blk_memory_operand" (and (match_code "mem")

(ior (and (match_test "flag_pic")
      (match_operand 0 "external_memory_operand" ""))
     (ior (match_operand 0 "indexed_memory_operand" "")
      (ior (match_operand 0 "indirect_memory_operand" "")
           (match_test "GET_CODE (XEXP (op, 0)) == PRE_DEC"))))))

(define_predicate "illegal_addsub_di_memory_operand" (and (match_code "mem")

(ior (and (match_test "flag_pic")
      (match_operand 0 "external_memory_operand" ""))
     (ior (match_operand 0 "indexed_memory_operand" "")
      (ior (match_operand 0 "indirect_memory_operand" "")
           (match_test "GET_CODE (XEXP (op, 0)) == PRE_DEC"))))))

(define_predicate "nonimmediate_addsub_di_operand" (and (match_code "subreg,reg,mem")

(and (match_operand:DI 0 "nonimmediate_operand" "")
     (not (match_operand:DI 0 "illegal_addsub_di_memory_operand")))))

(define_predicate "general_addsub_di_operand" (and (match_code "const_int,const_double,subreg,reg,mem")

(and (match_operand:DI 0 "general_operand" "")
     (not (match_operand:DI 0 "illegal_addsub_di_memory_operand")))))