diff mbox series

middle-end: Apply MASK_LEN_LOAD_LANES/MASK_LEN_STORE_LANES to ivopts/alias

Message ID 20230830031201.1901364-1-juzhe.zhong@rivai.ai
State Accepted
Headers
Series middle-end: Apply MASK_LEN_LOAD_LANES/MASK_LEN_STORE_LANES to ivopts/alias |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

juzhe.zhong@rivai.ai Aug. 30, 2023, 3:12 a.m. UTC 
  Like MASK_LOAD_LANES/MASK_STORE_LANES, add MASK_LEN_ variant.

Bootstrap and Regression on X86 passed.

Ok for trunk?

gcc/ChangeLog:

	* tree-ssa-alias.cc (ref_maybe_used_by_call_p_1): Add MASK_LEN_ variant.
	(call_may_clobber_ref_p_1): Ditto.
	* tree-ssa-loop-ivopts.cc (get_mem_type_for_internal_fn): Ditto.
	(get_alias_ptr_type_for_ptr_address): Ditto.

---
 gcc/tree-ssa-alias.cc       | 3 +++
 gcc/tree-ssa-loop-ivopts.cc | 4 ++++
 2 files changed, 7 insertions(+)

Comments

Richard Biener Aug. 30, 2023, 7:25 a.m. UTC | #1 
On Wed, 30 Aug 2023, Juzhe-Zhong wrote:

> Like MASK_LOAD_LANES/MASK_STORE_LANES, add MASK_LEN_ variant.
> 
> Bootstrap and Regression on X86 passed.
> 
> Ok for trunk?

OK.

> gcc/ChangeLog:
> 
> 	* tree-ssa-alias.cc (ref_maybe_used_by_call_p_1): Add MASK_LEN_ variant.
> 	(call_may_clobber_ref_p_1): Ditto.
> 	* tree-ssa-loop-ivopts.cc (get_mem_type_for_internal_fn): Ditto.
> 	(get_alias_ptr_type_for_ptr_address): Ditto.
> 
> ---
>  gcc/tree-ssa-alias.cc       | 3 +++
>  gcc/tree-ssa-loop-ivopts.cc | 4 ++++
>  2 files changed, 7 insertions(+)
> 
> diff --git a/gcc/tree-ssa-alias.cc b/gcc/tree-ssa-alias.cc
> index cf38fe506a8..373940b5f6c 100644
> --- a/gcc/tree-ssa-alias.cc
> +++ b/gcc/tree-ssa-alias.cc
> @@ -2818,11 +2818,13 @@ ref_maybe_used_by_call_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
>        case IFN_MASK_LEN_STORE:
>  	return false;
>        case IFN_MASK_STORE_LANES:
> +      case IFN_MASK_LEN_STORE_LANES:
>  	goto process_args;
>        case IFN_MASK_LOAD:
>        case IFN_LEN_LOAD:
>        case IFN_MASK_LEN_LOAD:
>        case IFN_MASK_LOAD_LANES:
> +      case IFN_MASK_LEN_LOAD_LANES:
>  	{
>  	  ao_ref rhs_ref;
>  	  tree lhs = gimple_call_lhs (call);
> @@ -3072,6 +3074,7 @@ call_may_clobber_ref_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
>        case IFN_LEN_STORE:
>        case IFN_MASK_LEN_STORE:
>        case IFN_MASK_STORE_LANES:
> +      case IFN_MASK_LEN_STORE_LANES:
>  	{
>  	  tree rhs = gimple_call_arg (call,
>  				      internal_fn_stored_value_index (fn));
> diff --git a/gcc/tree-ssa-loop-ivopts.cc b/gcc/tree-ssa-loop-ivopts.cc
> index d208d9dbd4d..3d3f28f7f3b 100644
> --- a/gcc/tree-ssa-loop-ivopts.cc
> +++ b/gcc/tree-ssa-loop-ivopts.cc
> @@ -2441,6 +2441,7 @@ get_mem_type_for_internal_fn (gcall *call, tree *op_p)
>      {
>      case IFN_MASK_LOAD:
>      case IFN_MASK_LOAD_LANES:
> +    case IFN_MASK_LEN_LOAD_LANES:
>      case IFN_LEN_LOAD:
>      case IFN_MASK_LEN_LOAD:
>        if (op_p == gimple_call_arg_ptr (call, 0))
> @@ -2449,6 +2450,7 @@ get_mem_type_for_internal_fn (gcall *call, tree *op_p)
>  
>      case IFN_MASK_STORE:
>      case IFN_MASK_STORE_LANES:
> +    case IFN_MASK_LEN_STORE_LANES:
>      case IFN_LEN_STORE:
>      case IFN_MASK_LEN_STORE:
>        {
> @@ -7573,6 +7575,8 @@ get_alias_ptr_type_for_ptr_address (iv_use *use)
>      case IFN_MASK_STORE:
>      case IFN_MASK_LOAD_LANES:
>      case IFN_MASK_STORE_LANES:
> +    case IFN_MASK_LEN_LOAD_LANES:
> +    case IFN_MASK_LEN_STORE_LANES:
>      case IFN_LEN_LOAD:
>      case IFN_LEN_STORE:
>      case IFN_MASK_LEN_LOAD:
>
Lehua Ding Aug. 30, 2023, 7:35 a.m. UTC | #2 
Committed, thanks Richard.

On 2023/8/30 15:25, Richard Biener via Gcc-patches wrote:
> On Wed, 30 Aug 2023, Juzhe-Zhong wrote:
> 
>> Like MASK_LOAD_LANES/MASK_STORE_LANES, add MASK_LEN_ variant.
>>
>> Bootstrap and Regression on X86 passed.
>>
>> Ok for trunk?
> 
> OK.
> 
>> gcc/ChangeLog:
>>
>> 	* tree-ssa-alias.cc (ref_maybe_used_by_call_p_1): Add MASK_LEN_ variant.
>> 	(call_may_clobber_ref_p_1): Ditto.
>> 	* tree-ssa-loop-ivopts.cc (get_mem_type_for_internal_fn): Ditto.
>> 	(get_alias_ptr_type_for_ptr_address): Ditto.
>>
>> ---
>>   gcc/tree-ssa-alias.cc       | 3 +++
>>   gcc/tree-ssa-loop-ivopts.cc | 4 ++++
>>   2 files changed, 7 insertions(+)
>>
>> diff --git a/gcc/tree-ssa-alias.cc b/gcc/tree-ssa-alias.cc
>> index cf38fe506a8..373940b5f6c 100644
>> --- a/gcc/tree-ssa-alias.cc
>> +++ b/gcc/tree-ssa-alias.cc
>> @@ -2818,11 +2818,13 @@ ref_maybe_used_by_call_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
>>         case IFN_MASK_LEN_STORE:
>>   	return false;
>>         case IFN_MASK_STORE_LANES:
>> +      case IFN_MASK_LEN_STORE_LANES:
>>   	goto process_args;
>>         case IFN_MASK_LOAD:
>>         case IFN_LEN_LOAD:
>>         case IFN_MASK_LEN_LOAD:
>>         case IFN_MASK_LOAD_LANES:
>> +      case IFN_MASK_LEN_LOAD_LANES:
>>   	{
>>   	  ao_ref rhs_ref;
>>   	  tree lhs = gimple_call_lhs (call);
>> @@ -3072,6 +3074,7 @@ call_may_clobber_ref_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
>>         case IFN_LEN_STORE:
>>         case IFN_MASK_LEN_STORE:
>>         case IFN_MASK_STORE_LANES:
>> +      case IFN_MASK_LEN_STORE_LANES:
>>   	{
>>   	  tree rhs = gimple_call_arg (call,
>>   				      internal_fn_stored_value_index (fn));
>> diff --git a/gcc/tree-ssa-loop-ivopts.cc b/gcc/tree-ssa-loop-ivopts.cc
>> index d208d9dbd4d..3d3f28f7f3b 100644
>> --- a/gcc/tree-ssa-loop-ivopts.cc
>> +++ b/gcc/tree-ssa-loop-ivopts.cc
>> @@ -2441,6 +2441,7 @@ get_mem_type_for_internal_fn (gcall *call, tree *op_p)
>>       {
>>       case IFN_MASK_LOAD:
>>       case IFN_MASK_LOAD_LANES:
>> +    case IFN_MASK_LEN_LOAD_LANES:
>>       case IFN_LEN_LOAD:
>>       case IFN_MASK_LEN_LOAD:
>>         if (op_p == gimple_call_arg_ptr (call, 0))
>> @@ -2449,6 +2450,7 @@ get_mem_type_for_internal_fn (gcall *call, tree *op_p)
>>   
>>       case IFN_MASK_STORE:
>>       case IFN_MASK_STORE_LANES:
>> +    case IFN_MASK_LEN_STORE_LANES:
>>       case IFN_LEN_STORE:
>>       case IFN_MASK_LEN_STORE:
>>         {
>> @@ -7573,6 +7575,8 @@ get_alias_ptr_type_for_ptr_address (iv_use *use)
>>       case IFN_MASK_STORE:
>>       case IFN_MASK_LOAD_LANES:
>>       case IFN_MASK_STORE_LANES:
>> +    case IFN_MASK_LEN_LOAD_LANES:
>> +    case IFN_MASK_LEN_STORE_LANES:
>>       case IFN_LEN_LOAD:
>>       case IFN_LEN_STORE:
>>       case IFN_MASK_LEN_LOAD:
>>
>
diff mbox series

Patch

diff --git a/gcc/tree-ssa-alias.cc b/gcc/tree-ssa-alias.cc
index cf38fe506a8..373940b5f6c 100644
--- a/gcc/tree-ssa-alias.cc
+++ b/gcc/tree-ssa-alias.cc
@@ -2818,11 +2818,13 @@  ref_maybe_used_by_call_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
       case IFN_MASK_LEN_STORE:
 	return false;
       case IFN_MASK_STORE_LANES:
+      case IFN_MASK_LEN_STORE_LANES:
 	goto process_args;
       case IFN_MASK_LOAD:
       case IFN_LEN_LOAD:
       case IFN_MASK_LEN_LOAD:
       case IFN_MASK_LOAD_LANES:
+      case IFN_MASK_LEN_LOAD_LANES:
 	{
 	  ao_ref rhs_ref;
 	  tree lhs = gimple_call_lhs (call);
@@ -3072,6 +3074,7 @@  call_may_clobber_ref_p_1 (gcall *call, ao_ref *ref, bool tbaa_p)
       case IFN_LEN_STORE:
       case IFN_MASK_LEN_STORE:
       case IFN_MASK_STORE_LANES:
+      case IFN_MASK_LEN_STORE_LANES:
 	{
 	  tree rhs = gimple_call_arg (call,
 				      internal_fn_stored_value_index (fn));
diff --git a/gcc/tree-ssa-loop-ivopts.cc b/gcc/tree-ssa-loop-ivopts.cc
index d208d9dbd4d..3d3f28f7f3b 100644
--- a/gcc/tree-ssa-loop-ivopts.cc
+++ b/gcc/tree-ssa-loop-ivopts.cc
@@ -2441,6 +2441,7 @@  get_mem_type_for_internal_fn (gcall *call, tree *op_p)
     {
     case IFN_MASK_LOAD:
     case IFN_MASK_LOAD_LANES:
+    case IFN_MASK_LEN_LOAD_LANES:
     case IFN_LEN_LOAD:
     case IFN_MASK_LEN_LOAD:
       if (op_p == gimple_call_arg_ptr (call, 0))
@@ -2449,6 +2450,7 @@  get_mem_type_for_internal_fn (gcall *call, tree *op_p)
 
     case IFN_MASK_STORE:
     case IFN_MASK_STORE_LANES:
+    case IFN_MASK_LEN_STORE_LANES:
     case IFN_LEN_STORE:
     case IFN_MASK_LEN_STORE:
       {
@@ -7573,6 +7575,8 @@  get_alias_ptr_type_for_ptr_address (iv_use *use)
     case IFN_MASK_STORE:
     case IFN_MASK_LOAD_LANES:
     case IFN_MASK_STORE_LANES:
+    case IFN_MASK_LEN_LOAD_LANES:
+    case IFN_MASK_LEN_STORE_LANES:
     case IFN_LEN_LOAD:
     case IFN_LEN_STORE:
     case IFN_MASK_LEN_LOAD: