1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
;; Predicate definitions for DEC VAX.
;; Copyright (C) 2007, 2009, 2012 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")))))
|
