]>
git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/rtl-chkp.c
1 /* RTL manipulation functions exported by Pointer Bounds Checker.
2 Copyright (C) 2014-2015 Free Software Foundation, Inc.
3 Contributed by Ilya Enkovich (ilya.enkovich@intel.com)
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
23 #include "coretypes.h"
29 #include "hard-reg-set.h"
34 #include "statistics.h"
38 #include "insn-config.h"
48 #include "tree-ssa-alias.h"
49 #include "internal-fn.h"
52 #include "basic-block.h"
53 #include "fold-const.h"
54 #include "gimple-expr.h"
58 #include "tree-chkp.h"
61 static hash_map
<tree
, rtx
> *chkp_rtx_bounds_map
;
63 /* Get bounds rtx associated with NODE via
64 chkp_set_rtl_bounds call. */
66 chkp_get_rtl_bounds (tree node
)
70 if (!chkp_rtx_bounds_map
)
73 slot
= chkp_rtx_bounds_map
->get (node
);
74 return slot
? *slot
: NULL_RTX
;
77 /* Associate bounds rtx VAL with NODE. */
79 chkp_set_rtl_bounds (tree node
, rtx val
)
81 if (!chkp_rtx_bounds_map
)
82 chkp_rtx_bounds_map
= new hash_map
<tree
, rtx
>;
84 chkp_rtx_bounds_map
->put (node
, val
);
87 /* Reset all bounds stored via chkp_set_rtl_bounds. */
89 chkp_reset_rtl_bounds ()
91 if (!chkp_rtx_bounds_map
)
94 delete chkp_rtx_bounds_map
;
95 chkp_rtx_bounds_map
= NULL
;
98 /* Split SLOT identifying slot for function value or
99 argument into two parts SLOT_VAL and SLOT_BND.
100 First is the slot for regular value and the other one is
103 chkp_split_slot (rtx slot
, rtx
*slot_val
, rtx
*slot_bnd
)
114 || GET_CODE (slot
) != PARALLEL
)
120 val_tmps
= XALLOCAVEC (rtx
, XVECLEN (slot
, 0));
121 bnd_tmps
= XALLOCAVEC (rtx
, XVECLEN (slot
, 0));
123 for (i
= 0; i
< XVECLEN (slot
, 0); i
++)
125 rtx elem
= XVECEXP (slot
, 0, i
);
126 rtx reg
= GET_CODE (elem
) == EXPR_LIST
? XEXP (elem
, 0) : elem
;
131 if (POINTER_BOUNDS_MODE_P (GET_MODE (reg
)) || CONST_INT_P (reg
))
132 bnd_tmps
[bnd_num
++] = elem
;
134 val_tmps
[val_num
++] = elem
;
137 gcc_assert (val_num
);
145 if ((GET_CODE (val_tmps
[0]) == EXPR_LIST
) || (val_num
> 1))
146 *slot_val
= gen_rtx_PARALLEL (GET_MODE (slot
),
147 gen_rtvec_v (val_num
, val_tmps
));
149 *slot_val
= val_tmps
[0];
151 if ((GET_CODE (bnd_tmps
[0]) == EXPR_LIST
) || (bnd_num
> 1))
152 *slot_bnd
= gen_rtx_PARALLEL (VOIDmode
,
153 gen_rtvec_v (bnd_num
, bnd_tmps
));
155 *slot_bnd
= bnd_tmps
[0];
158 /* Join previously splitted to VAL and BND rtx for function
159 value or argument and return it. */
161 chkp_join_splitted_slot (rtx val
, rtx bnd
)
169 if (GET_CODE (val
) == PARALLEL
)
170 n
+= XVECLEN (val
, 0);
174 if (GET_CODE (bnd
) == PARALLEL
)
175 n
+= XVECLEN (bnd
, 0);
179 res
= gen_rtx_PARALLEL (GET_MODE (val
), rtvec_alloc (n
));
183 if (GET_CODE (val
) == PARALLEL
)
184 for (i
= 0; i
< XVECLEN (val
, 0); i
++)
185 XVECEXP (res
, 0, n
++) = XVECEXP (val
, 0, i
);
187 XVECEXP (res
, 0, n
++) = val
;
189 if (GET_CODE (bnd
) == PARALLEL
)
190 for (i
= 0; i
< XVECLEN (bnd
, 0); i
++)
191 XVECEXP (res
, 0, n
++) = XVECEXP (bnd
, 0, i
);
193 XVECEXP (res
, 0, n
++) = bnd
;
198 /* If PAR is PARALLEL holding registers then transform
199 it into PARALLEL holding EXPR_LISTs of those regs
200 and zero constant (similar to how function value
201 on multiple registers looks like). */
203 chkp_put_regs_to_expr_list (rtx par
)
207 if (GET_CODE (par
) != PARALLEL
208 || GET_CODE (XVECEXP (par
, 0, 0)) == EXPR_LIST
)
211 for (n
= 0; n
< XVECLEN (par
, 0); n
++)
212 XVECEXP (par
, 0, n
) = gen_rtx_EXPR_LIST (VOIDmode
,
217 /* Search rtx PAR describing function return value for an
218 item related to value at offset OFFS and return it.
219 Return NULL if item was not found. */
221 chkp_get_value_with_offs (rtx par
, rtx offs
)
225 gcc_assert (GET_CODE (par
) == PARALLEL
);
227 for (n
= 0; n
< XVECLEN (par
, 0); n
++)
229 rtx par_offs
= XEXP (XVECEXP (par
, 0, n
), 1);
230 if (INTVAL (offs
) == INTVAL (par_offs
))
231 return XEXP (XVECEXP (par
, 0, n
), 0);
237 /* Emit instructions to store BOUNDS for pointer VALUE
239 Function is used by expand to pass bounds for args
242 chkp_emit_bounds_store (rtx bounds
, rtx value
, rtx mem
)
244 gcc_assert (MEM_P (mem
));
246 if (REG_P (bounds
) || CONST_INT_P (bounds
))
254 rtx slot
= adjust_address (value
, Pmode
, 0);
255 ptr
= gen_reg_rtx (Pmode
);
256 emit_move_insn (ptr
, slot
);
259 if (CONST_INT_P (bounds
))
260 bounds
= targetm
.calls
.load_bounds_for_arg (value
, ptr
, bounds
);
262 targetm
.calls
.store_bounds_for_arg (ptr
, mem
,
269 gcc_assert (GET_CODE (bounds
) == PARALLEL
);
270 gcc_assert (GET_CODE (value
) == PARALLEL
|| MEM_P (value
) || REG_P (value
));
272 for (i
= 0; i
< XVECLEN (bounds
, 0); i
++)
274 rtx reg
= XEXP (XVECEXP (bounds
, 0, i
), 0);
275 rtx offs
= XEXP (XVECEXP (bounds
, 0, i
), 1);
276 rtx slot
= adjust_address (mem
, Pmode
, INTVAL (offs
));
279 if (GET_CODE (value
) == PARALLEL
)
280 ptr
= chkp_get_value_with_offs (value
, offs
);
281 else if (MEM_P (value
))
283 rtx tmp
= adjust_address (value
, Pmode
, INTVAL (offs
));
284 ptr
= gen_reg_rtx (Pmode
);
285 emit_move_insn (ptr
, tmp
);
288 ptr
= gen_rtx_SUBREG (Pmode
, value
, INTVAL (offs
));
290 targetm
.calls
.store_bounds_for_arg (ptr
, slot
, reg
, NULL
);
295 /* Emit code to copy bounds for structure VALUE of type TYPE
298 chkp_copy_bounds_for_stack_parm (rtx slot
, rtx value
, tree type
)
305 gcc_assert (TYPE_SIZE (type
));
306 gcc_assert (MEM_P (value
));
307 gcc_assert (MEM_P (slot
));
308 gcc_assert (RECORD_OR_UNION_TYPE_P (type
));
310 bitmap_obstack_initialize (NULL
);
311 have_bound
= BITMAP_ALLOC (NULL
);
312 chkp_find_bound_slots (type
, have_bound
);
314 EXECUTE_IF_SET_IN_BITMAP (have_bound
, 0, i
, bi
)
316 rtx ptr
= adjust_address (value
, Pmode
, i
* POINTER_SIZE
/ 8);
317 rtx to
= adjust_address (slot
, Pmode
, i
* POINTER_SIZE
/ 8);
320 tmp
= gen_reg_rtx (Pmode
);
322 emit_move_insn (tmp
, ptr
);
323 bnd
= targetm
.calls
.load_bounds_for_arg (ptr
, tmp
, NULL
);
324 targetm
.calls
.store_bounds_for_arg (tmp
, to
, bnd
, NULL
);
327 BITMAP_FREE (have_bound
);
328 bitmap_obstack_release (NULL
);