[GlobalISel] Add combine for (x & mask) -> x when (x & mask) == x
authorJessica Paquette <jpaquette@apple.com>
Thu, 6 Aug 2020 17:40:46 +0000 (10:40 -0700)
committerJessica Paquette <jpaquette@apple.com>
Wed, 19 Aug 2020 17:20:57 +0000 (10:20 -0700)
commitd25b12bdc307264e353f1a3c4ccd65c0b45b2f86
tree509a78ee63b05af6706688e406b4a15ad0e693c4
parentbcaa806a4747595116b538e8b75b12966e6607f6
[GlobalISel] Add combine for (x & mask) -> x when (x & mask) == x

If we have a mask, and a value x, where (x & mask) == x, we can drop the AND
and just use x.

This is about a 0.4% geomean code size improvement on CTMark at -O3 for AArch64.

In AArch64, this is most useful post-legalization. Patterns like this often
show up when legalizing s1s, which must be extended to larger types.

e.g.

```
%cmp:_(s32) = G_ICMP ...
%and:_(s32) = G_AND %cmp, 1
```

Since G_ICMP only produces a single bit, there's no reason to mask it with the
G_AND.

Differential Revision: https://reviews.llvm.org/D85463
llvm/include/llvm/CodeGen/GlobalISel/CombinerHelper.h
llvm/include/llvm/Target/GlobalISel/Combine.td
llvm/lib/CodeGen/GlobalISel/CombinerHelper.cpp
llvm/lib/Target/AArch64/AArch64Combine.td
llvm/test/CodeGen/AArch64/GlobalISel/postlegalizer-combiner-and-trivial-mask.mir [new file with mode: 0644]