FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add alias disambiguation for vectorizer load/store IFNs

Browse source 
The following adds support for MASK_STORE, MASK_LOAD and friends
to call_may_clobber_ref_p and ref_maybe_used_by_call_p.  Since
they all use a special argument to specify TBAA they are not really
suited for fnspec handling thus the manual support.

	* tree-ssa-alias.cc (ref_maybe_used_by_call_p_1): Special-case
	store internal functions and IFN_MASK_LOAD, IFN_LEN_LOAD
	and IFN_MASK_LOAD_LANES.
	(call_may_clobber_ref_p_1): Special-case IFN_MASK_STORE,
	IFN_LEN_STORE and IFN_MASK_STORE_LANES.
This commit is contained in:
Richard Biener 2022-07-20 15:46:17 +02:00
parent 742377ed0f
commit 6877993c4d
1 changed files with 47 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

49
gcc/tree-ssa-alias.cc
View file

@ -47,6 +47,7 @@ along with GCC; see the file COPYING3. If not see
#include "print-tree.h"
#include "tree-ssa-alias-compare.h"
#include "builtins.h"
#include "internal-fn.h"
/* Broad overview of how alias analysis on gimple works:
@ -2793,8 +2794,38 @@ ref_maybe_used_by_call_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
if (ref->volatile_p)
return true;
callee = gimple_call_fndecl (call);
if (gimple_call_internal_p (call))
switch (gimple_call_internal_fn (call))
{
case IFN_MASK_STORE:
case IFN_SCATTER_STORE:
case IFN_MASK_SCATTER_STORE:
case IFN_LEN_STORE:
return false;
case IFN_MASK_STORE_LANES:
goto process_args;
case IFN_MASK_LOAD:
case IFN_LEN_LOAD:
case IFN_MASK_LOAD_LANES:
{
ao_ref rhs_ref;
tree lhs = gimple_call_lhs (call);
if (lhs)
{
ao_ref_init_from_ptr_and_size (&rhs_ref,
gimple_call_arg (call, 0),
TYPE_SIZE_UNIT (TREE_TYPE (lhs)));
rhs_ref.ref_alias_set = rhs_ref.base_alias_set
= tbaa_p ? get_deref_alias_set (TREE_TYPE
(gimple_call_arg (call, 1))) : 0;
return refs_may_alias_p_1 (ref, &rhs_ref, tbaa_p);
}
break;
}
default:;
}
callee = gimple_call_fndecl (call);
if (callee != NULL_TREE)
{
struct cgraph_node *node = cgraph_node::get (callee);
@ -3005,7 +3036,7 @@ call_may_clobber_ref_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
& (ECF_PURE|ECF_CONST|ECF_LOOPING_CONST_OR_PURE|ECF_NOVOPS))
return false;
if (gimple_call_internal_p (call))
switch (gimple_call_internal_fn (call))
switch (auto fn = gimple_call_internal_fn (call))
{
/* Treat these internal calls like ECF_PURE for aliasing,
they don't write to any memory the program should care about.
@ -3018,6 +3049,20 @@ call_may_clobber_ref_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
case IFN_UBSAN_PTR:
case IFN_ASAN_CHECK:
return false;
case IFN_MASK_STORE:
case IFN_LEN_STORE:
case IFN_MASK_STORE_LANES:
{
tree rhs = gimple_call_arg (call,
internal_fn_stored_value_index (fn));
ao_ref lhs_ref;
ao_ref_init_from_ptr_and_size (&lhs_ref, gimple_call_arg (call, 0),
TYPE_SIZE_UNIT (TREE_TYPE (rhs)));
lhs_ref.ref_alias_set = lhs_ref.base_alias_set
= tbaa_p ? get_deref_alias_set
(TREE_TYPE (gimple_call_arg (call, 1))) : 0;
return refs_may_alias_p_1 (ref, &lhs_ref, tbaa_p);
}
default:
break;
}