OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [config/] [vax/] [predicates.md] - Blame information for rev 709

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 709 jeremybenn
;; Predicate definitions for DEC VAX.
2
;; Copyright (C) 2007, 2009 Free Software Foundation, Inc.
3
;;
4
;; This file is part of GCC.
5
;;
6
;; GCC is free software; you can redistribute it and/or modify it under
7
;; the terms of the GNU General Public License as published by the Free
8
;; Software Foundation; either version 3, or (at your option) any later
9
;; version.
10
;;
11
;; GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12
;; WARRANTY; without even the implied warranty of MERCHANTABILITY or
13
;; FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14
;; for more details.
15
;;
16
;; You should have received a copy of the GNU General Public License
17
;; along with GCC; see the file COPYING3.  If not see
18
;; .
19
 
20
;; Special case of a symbolic operand that's used as a
21
;; operand.
22
 
23
(define_predicate "symbolic_operand"
24
  (match_code "const,symbol_ref,label_ref"))
25
 
26
(define_predicate "local_symbolic_operand"
27
  (match_code "const,symbol_ref,label_ref")
28
{
29
  if (GET_CODE (op) == LABEL_REF)
30
    return 1;
31
  if (GET_CODE (op) == SYMBOL_REF)
32
    return !flag_pic || SYMBOL_REF_LOCAL_P (op);
33
  if (GET_CODE (XEXP (XEXP (op, 0), 0)) == LABEL_REF)
34
    return 1;
35
  return !flag_pic || SYMBOL_REF_LOCAL_P (XEXP (XEXP (op, 0), 0));
36
})
37
 
38
(define_predicate "external_symbolic_operand"
39
  (and (match_code "symbol_ref")
40
       (not (match_operand 0 "local_symbolic_operand" ""))))
41
 
42
(define_predicate "external_const_operand"
43
  (and (match_code "const")
44
       (match_test "GET_CODE (XEXP (XEXP (op, 0), 0)) == SYMBOL_REF
45
                    && !SYMBOL_REF_LOCAL_P (XEXP (XEXP (op, 0), 0))")))
46
 
47
(define_predicate "nonsymbolic_operand"
48
  (and (ior (match_test "!flag_pic")
49
            (not (match_operand 0 "symbolic_operand")))
50
       (match_operand 0 "general_operand" "")))
51
 
52
(define_predicate "external_memory_operand"
53
   (match_code "mem")
54
{
55
  rtx addr = XEXP (op, 0);
56
  if (MEM_P (addr))
57
    addr = XEXP (addr, 0);
58
  if (GET_CODE (addr) == PLUS)
59
    addr = XEXP (addr, 1);
60
  if (MEM_P (addr))
61
    addr = XEXP (addr, 0);
62
  if (GET_CODE (addr) == PLUS)
63
    addr = XEXP (addr, 1);
64
  return external_symbolic_operand (addr, SImode)
65
         || external_const_operand (addr, SImode);
66
})
67
 
68
(define_predicate "indirect_memory_operand"
69
   (match_code "mem")
70
{
71
  op = XEXP (op, 0);
72
  if (MEM_P (op))
73
    return 1;
74
  if (GET_CODE (op) == PLUS)
75
    op = XEXP (op, 1);
76
  return MEM_P (op);
77
})
78
 
79
(define_predicate "indexed_memory_operand"
80
   (match_code "mem")
81
{
82
  op = XEXP (op, 0);
83
  return GET_CODE (op) != PRE_DEC && GET_CODE (op) != POST_INC
84
         && mode_dependent_address_p (op);
85
})
86
 
87
(define_predicate "illegal_blk_memory_operand"
88
   (and (match_code "mem")
89
        (ior (and (match_test "flag_pic")
90
                  (match_operand 0 "external_memory_operand" ""))
91
             (ior (match_operand 0 "indexed_memory_operand" "")
92
                  (ior (match_operand 0 "indirect_memory_operand" "")
93
                       (match_test "GET_CODE (XEXP (op, 0)) == PRE_DEC"))))))
94
 
95
(define_predicate "illegal_addsub_di_memory_operand"
96
   (and (match_code "mem")
97
        (ior (and (match_test "flag_pic")
98
                  (match_operand 0 "external_memory_operand" ""))
99
             (ior (match_operand 0 "indexed_memory_operand" "")
100
                  (ior (match_operand 0 "indirect_memory_operand" "")
101
                       (match_test "GET_CODE (XEXP (op, 0)) == PRE_DEC"))))))
102
 
103
(define_predicate "nonimmediate_addsub_di_operand"
104
   (and (match_code "subreg,reg,mem")
105
        (and (match_operand:DI 0 "nonimmediate_operand" "")
106
             (not (match_operand:DI 0 "illegal_addsub_di_memory_operand")))))
107
 
108
(define_predicate "general_addsub_di_operand"
109
   (and (match_code "const_int,const_double,subreg,reg,mem")
110
        (and (match_operand:DI 0 "general_operand" "")
111
             (not (match_operand:DI 0 "illegal_addsub_di_memory_operand")))))

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.