annotate gcc/rtl-chkp.h @ 127:4c56639505ff

fix function.c and add CbC-example Makefile
author mir3636
date Wed, 11 Apr 2018 18:46:58 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Declaration of interface functions of Pointer Bounds Checker.
kono
parents:
diff changeset
2 Copyright (C) 2014-2017 Free Software Foundation, Inc.
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 This file is part of GCC.
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 GCC is free software; you can redistribute it and/or modify it under
kono
parents:
diff changeset
7 the terms of the GNU General Public License as published by the Free
kono
parents:
diff changeset
8 Software Foundation; either version 3, or (at your option) any later
kono
parents:
diff changeset
9 version.
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
kono
parents:
diff changeset
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
kono
parents:
diff changeset
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
kono
parents:
diff changeset
14 for more details.
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
17 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
18 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 #ifndef GCC_RTL_CHKP_H
kono
parents:
diff changeset
21 #define GCC_RTL_CHKP_H
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 #define DECL_BOUNDS_RTL(NODE) (chkp_get_rtl_bounds (DECL_WRTL_CHECK (NODE)))
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 #define SET_DECL_BOUNDS_RTL(NODE, VAL) \
kono
parents:
diff changeset
26 (chkp_set_rtl_bounds (DECL_WRTL_CHECK (NODE), VAL))
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 extern rtx chkp_get_rtl_bounds (tree node);
kono
parents:
diff changeset
29 extern void chkp_set_rtl_bounds (tree node, rtx val);
kono
parents:
diff changeset
30 extern void chkp_reset_rtl_bounds ();
kono
parents:
diff changeset
31 extern void chkp_split_slot (rtx slot, rtx *slot_val, rtx *slot_bnd);
kono
parents:
diff changeset
32 extern rtx chkp_join_splitted_slot (rtx val, rtx bnd);
kono
parents:
diff changeset
33 extern rtx chkp_get_value_with_offs (rtx par, rtx offs);
kono
parents:
diff changeset
34 extern void chkp_copy_bounds_for_stack_parm (rtx slot, rtx value, tree type);
kono
parents:
diff changeset
35 extern void chkp_emit_bounds_store (rtx bounds, rtx value, rtx mem);
kono
parents:
diff changeset
36 extern void chkp_put_regs_to_expr_list (rtx par);
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 #endif /* GCC_RTL_CHKP_H */