[all-commits] [llvm/llvm-project] 4d0c25: [RISCV] Select disjoint_or+not as xnor. (#147636)

[Craig Topper via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4d0c25f4a637e49abff8cbaffe70cf179b955ea9
      https://github.com/llvm/llvm-project/commit/4d0c25f4a637e49abff8cbaffe70cf179b955ea9
  Author: Craig Topper <craig.topper at sifive.com>
  Date:   2025-07-08 (Tue, 08 Jul 2025)

  Changed paths:
    M llvm/lib/Target/RISCV/RISCVISelDAGToDAG.cpp
    M llvm/lib/Target/RISCV/RISCVISelDAGToDAG.h
    M llvm/lib/Target/RISCV/RISCVInstrInfo.td
    M llvm/lib/Target/RISCV/RISCVInstrInfoVSDPatterns.td
    M llvm/lib/Target/RISCV/RISCVInstrInfoVVLPatterns.td
    M llvm/lib/Target/RISCV/RISCVInstrInfoZb.td
    M llvm/test/CodeGen/RISCV/rv32zbb-zbkb.ll
    M llvm/test/CodeGen/RISCV/rv64zbb-zbkb.ll

  Log Message:
  -----------
  [RISCV] Select disjoint_or+not as xnor. (#147636)

A disjoint OR can be converted to XOR. And a XOR+NOT is XNOR. Idea
taken from #147279.
    
I changed the existing xnor pattern to have the not on the outside
instead of the inside. These are equivalent for xor since xor is
associative. Tablegen was already generating multiple variants
of the isel pattern using associativity.
    
There are some issues here. The disjoint flag isn't preserved
through type legalization. I was hoping we could recover it
manually for the masked merge cases, but that doesn't work either.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications