[PATCH] D73790: [AArch64][GlobalISel] Walk through G_AND in TB(N)Z bit calculation

[Jessica Paquette via Phabricator via llvm-commits]

paquette created this revision.
paquette added a reviewer: aemerson.
Herald added subscribers: Petar.Avramovic, hiraditya, kristof.beyls, rovka.
Herald added a project: LLVM.

Given

  tb(n)z (and x, m), b

Where the `b`-th bit of `m` is 1,

  tb(n)z (and x, m), b == tb(n)z x, b

So, we can walk past a `G_AND` in this case.

Also add test/CodeGen/AArch64/GlobalISel/opt-fold-and-tbz-tbnz.mir to test this.


https://reviews.llvm.org/D73790

Files:
  llvm/lib/Target/AArch64/AArch64InstructionSelector.cpp
  llvm/test/CodeGen/AArch64/GlobalISel/opt-fold-and-tbz-tbnz.mir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D73790.241751.patch
Type: text/x-patch
Size: 6802 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200131/e70b9ec8/attachment.bin>