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
|
;; Constraint definitions for eBPF.
;; Copyright (C) 2019-2024 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/>.
(define_constraint "I"
"A 32-bit signed immediate."
(and (match_code "const_int")
(match_test "IN_RANGE (ival, -1 - 0x7fffffff, 0x7fffffff)")))
(define_constraint "B"
"A constant argument for LDDW."
(match_code "const,symbol_ref,label_ref,const_double,const_int"))
(define_constraint "S"
"A constant call address."
(match_code "const,symbol_ref,label_ref,const_int"))
(define_register_constraint "t" "R0"
"Register r0")
;;
;; BPF CO-RE immediate constraints.
;; This constraints are used to match with the immediate operand that is
;; represented with an UNSPEC_CORE_RELOC. This unspec is the result of using the
;; BPF CO-RE infrastructure.
;; It differentiates from a normal immediate constraints, as the instruction
;; will also emit a BTF based specific relocation, i.e. a CO-RE relocation.
;;
(define_constraint "c"
"A 32-bit CO-RE signed immediate."
(and (match_code "unspec")
(match_test "XINT (op, 1) == UNSPEC_CORE_RELOC")
(match_test "IN_RANGE (XVECEXP (op, 0, 0), -1 - 0x7fffffff, 0x7fffffff)")))
(define_constraint "C"
"For 64-bit CO-RE signed immediate."
(and (match_code "unspec")
(match_test "XINT (op, 1) == UNSPEC_CORE_RELOC")))
;;
;; Memory constraints.
;;
; Just like 'm' but disallows const_int.
; Used for ldx[b,h,w,dw] and stx[b,h,w,dw] instructions.
(define_memory_constraint "q"
"Memory reference which is not a constant integer."
(and (match_code "mem")
(match_test "GET_CODE(XEXP(op, 0)) != CONST_INT")))
|