Integrated: 8287984: AArch64: [vector] Make all bits set vector sharable for match rules

[Xiaohong Gong]

On Mon, 27 Jun 2022 01:37:03 GMT, Xiaohong Gong <xgong at openjdk.org> wrote:

> We have the optimized rules for vector not/and_not in NEON and SVE, like:
> 
> 
>  match(Set dst (XorV src (ReplicateB m1)))              ; vector not
>  match(Set dst (AndV src1 (XorV src2 (ReplicateB m1)))) ; vector and_not
> 
> 
> where "`m1`" is a ConI node with value -1. And we also have the similar rules for vector mask in SVE like:
> 
> 
>  match(Set pd (AndVMask pn (XorVMask pm (MaskAll m1)))) ; mask and_not
> 
> 
> These rules are not easy to be matched since the "`Replicate`" or "`MaskAll`" node is usually not single used for the `not/and_not` operation. To make these rules be matched as expected, this patch adds the vector (mask) "`not`" pattern to `Matcher::pd_clone_node()` which makes the all bits set vector `(Replicate/MaskAll)` sharable during matching rules.

This pull request has now been integrated.

Changeset: 1305fb5c
Author:    Xiaohong Gong <xgong at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/1305fb5ca8e4ca6aa082293e4444fb7de1b1652c
Stats:     138 lines in 3 files changed: 127 ins; 1 del; 10 mod

8287984: AArch64: [vector] Make all bits set vector sharable for match rules

Reviewed-by: kvn, ngasson

-------------

PR: https://git.openjdk.org/jdk/pull/9292