[PATCH, MPX, 2/X] Pointers Checker [18/25] CCP (Stack store/restore)

[Ilya Enkovich]

Hi,

Here is a patch to support BUILT_IN_CHKP_BNDRET and BUILT_IN_CHKP_BIND_BOUNDS 
in BUILT_IN_STACK_SAVE result uses.

Thanks,
Ilya
--
2013-11-15  Ilya Enkovich  <ilya.enkov...@intel.com>

        * tree-ssa-ccp.c (insert_clobber_before_stack_restore): Handle
        BUILT_IN_CHKP_BNDRET and BUILT_IN_CHKP_BIND_BOUNDS calls.

diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c
index 50006ab..cfba927 100644
--- a/gcc/tree-ssa-ccp.c
+++ b/gcc/tree-ssa-ccp.c
@@ -1774,7 +1774,7 @@ insert_clobber_before_stack_restore (tree saved_val, tree 
var,
                                     gimple_htab *visited)
 {
   gimple stmt, clobber_stmt;
-  tree clobber;
+  tree clobber, fndecl;
   imm_use_iterator iter;
   gimple_stmt_iterator i;
   gimple *slot;
@@ -1806,6 +1806,13 @@ insert_clobber_before_stack_restore (tree saved_val, 
tree var,
     else if (gimple_assign_ssa_name_copy_p (stmt))
       insert_clobber_before_stack_restore (gimple_assign_lhs (stmt), var,
                                           visited);
+    else if (gimple_call_builtin_p (stmt, BUILT_IN_CHKP_BIND_BOUNDS))
+      insert_clobber_before_stack_restore (gimple_call_lhs (stmt), var,
+                                          visited);
+    else if (gimple_code (stmt) == GIMPLE_CALL
+            && (fndecl = targetm.builtin_chkp_function (BUILT_IN_CHKP_BNDRET))
+            && gimple_call_fndecl (stmt) == fndecl)
+      continue;
     else
       gcc_assert (is_gimple_debug (stmt));
 }