[RISCV] Add custom isel to select (and (srl X, C1), C2) and (and (shl X, C1), C2)
authorCraig Topper <craig.topper@sifive.com>
Tue, 20 Jul 2021 15:46:21 +0000 (08:46 -0700)
committerCraig Topper <craig.topper@sifive.com>
Tue, 20 Jul 2021 15:53:55 +0000 (08:53 -0700)
commit98d4adc2d1c12d034616557f3ab55ce88ecf569b
tree74067fe5d425efab04638ae4409089e637488e10
parent1a6dc92be7d68611077f0fb0b723b361817c950c
[RISCV] Add custom isel to select (and (srl X, C1), C2) and (and (shl X, C1), C2)

Replace some existing isel patterns that are covered by the new
code. SLLIUWPat has been removed in favor of folding its root case
into the new code. The other uses in isel patterns for shXadd.uw
have been switched to using hardcoded AND masks.

This is based on the original version of D49585 from ARM. The final
version of that was made a DAG combine, but I've chosen to keep it
as custom isel. I'm not convinced DAG combine is as good with
shift pairs as it is with and+shift. I saw some issues optimizing
the shifts created by vscale lowering if an and isn't created for
from a shift pair.

Reviewed By: luismarques

Differential Revision: https://reviews.llvm.org/D106230
llvm/lib/Target/RISCV/RISCVISelDAGToDAG.cpp
llvm/lib/Target/RISCV/RISCVISelDAGToDAG.h
llvm/lib/Target/RISCV/RISCVInstrInfo.td
llvm/lib/Target/RISCV/RISCVInstrInfoB.td
llvm/test/CodeGen/RISCV/div.ll
llvm/test/CodeGen/RISCV/rem.ll
llvm/test/CodeGen/RISCV/rv32zbp.ll
llvm/test/CodeGen/RISCV/rv64i-exhaustive-w-insts.ll
llvm/test/CodeGen/RISCV/rv64zbp.ll
llvm/test/CodeGen/RISCV/srem-lkk.ll