[RISCV] Add scalable vector icmp ISel patterns
authorFraser Cormack <fraser@codeplay.com>
Sat, 9 Jan 2021 19:21:23 +0000 (19:21 +0000)
committerFraser Cormack <fraser@codeplay.com>
Sat, 9 Jan 2021 20:54:34 +0000 (20:54 +0000)
commitb02eab9058e58782fca32dd8b1e53c27ed93f866
tree76a68b1381d5559fe1e25cf2d969c5bb9b8ec9b1
parent41d06095b0d22c940538f10a5fb0f44d43769e7f
[RISCV] Add scalable vector icmp ISel patterns

Original patch by @rogfer01.

The RVV integer comparison instructions are defined in such a way that
many LLVM operations are defined by using the "opposite" comparison
instruction and swapping the operands. This is done in this patch in
most cases, except for the mappings where the immediate range must be
adjusted to accomodate:

    va < i --> vmsle{u}.vi vd, va, i-1, vm
    va >= i --> vmsgt{u}.vi vd, va, i-1, vm

That is left for future optimization; this patch supports all operations
but in the case of the missing mappings the immediate will be moved to
a scalar register first.

Since there are so many condition codes and operand cases to check, it
was decided to reduce the test burden by only testing the "vscale x 8"
vector types.

Authored-by: Roger Ferrer Ibanez <rofirrim@gmail.com>
Co-Authored-by: Fraser Cormack <fraser@codeplay.com>
Reviewed By: craig.topper

Differential Revision: https://reviews.llvm.org/D94168
llvm/lib/Target/RISCV/RISCVInstrInfoVSDPatterns.td
llvm/test/CodeGen/RISCV/rvv/setcc-integer-rv32.ll [new file with mode: 0644]
llvm/test/CodeGen/RISCV/rvv/setcc-integer-rv64.ll [new file with mode: 0644]