2014-11-18 Christophe Lyon <christophe.lyon@linaro.org>
[official-gcc.git] / gcc / rtl-chkp.h
blob5b77db90460d68fa57e4336bfc54ef8704f395dc
1 /* Declaration of interface functions of Pointer Bounds Checker.
2 Copyright (C) 2014 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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 <http://www.gnu.org/licenses/>. */
20 #ifndef GCC_RTL_CHKP_H
21 #define GCC_RTL_CHKP_H
23 #define DECL_BOUNDS_RTL(NODE) (chkp_get_rtl_bounds (DECL_WRTL_CHECK (NODE)))
25 #define SET_DECL_BOUNDS_RTL(NODE, VAL) \
26 (chkp_set_rtl_bounds (DECL_WRTL_CHECK (NODE), VAL))
28 extern rtx chkp_get_rtl_bounds (tree node);
29 extern void chkp_set_rtl_bounds (tree node, rtx val);
30 extern void chkp_reset_rtl_bounds ();
31 extern void chkp_split_slot (rtx slot, rtx *slot_val, rtx *slot_bnd);
32 extern rtx chkp_join_splitted_slot (rtx val, rtx bnd);
33 extern rtx chkp_get_value_with_offs (rtx par, rtx offs);
34 extern void chkp_copy_bounds_for_stack_parm (rtx slot, rtx value, tree type);
35 extern void chkp_emit_bounds_store (rtx bounds, rtx value, rtx mem);
36 extern void chkp_put_regs_to_expr_list (rtx par);
38 #endif /* GCC_RTL_CHKP_H */