[RISCV] Combine comparison and logic ops
authorIlya Andreev <ilya.andreev@syntacore.com>
Tue, 13 Sep 2022 13:01:56 +0000 (09:01 -0400)
committerSergey Kachkov <sergey.kachkov@syntacore.com>
Fri, 23 Dec 2022 14:10:21 +0000 (17:10 +0300)
commit550d93ab1d2ec27efe5c5791f16ef31e3f74a6a6
treee77523394cedacb899a3a0baca30a3ea76034207
parent7b9b81a245827261ce9d2adad0cd429589e8d5e7
[RISCV] Combine comparison and logic ops

Two comparison operations and a logical operation are combined into selection using MIN or MAX and comparison operation.
For optimization to be applied conditions have to be satisfied:
  1. In comparison operations has to be the one common operand.
  2. Supports only signed and unsigned integers.
  3. Comparison has to be the same with respect to common operand.
  4. There are no more users of comparison except logic operation.
  5. Every combination of comparison and AND, OR are supported.

It will convert
  %l0 = %a < %c
  %l1 = %b < %c
  %res = %l0 or %l1
into
  %sel = min(%a, %b)
  %res = %sel < %c

It supports several comparison operations (<, <=, >, >=), signed, unsigned values and different order of operands if they do not violate conditions.

Differential Revision: https://reviews.llvm.org/D134277
llvm/lib/Target/RISCV/RISCVISelLowering.cpp
llvm/test/CodeGen/RISCV/zbb-cmp-combine.ll