[all-commits] [llvm/llvm-project] 6746b2: [RISCV] Add test cases for failure to use bexti fo...

[Craig Topper via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6746b2349c6be8d5becc87a2a825c1b26ac08d3c
      https://github.com/llvm/llvm-project/commit/6746b2349c6be8d5becc87a2a825c1b26ac08d3c
  Author: Craig Topper <craig.topper at sifive.com>
  Date:   2022-07-20 (Wed, 20 Jul 2022)

  Changed paths:
    M llvm/test/CodeGen/RISCV/rv32zbs.ll
    M llvm/test/CodeGen/RISCV/rv64zbs.ll

  Log Message:
  -----------
  [RISCV] Add test cases for failure to use bexti for (setne (and X, 1<<C))

This will get converted to (srl (and X, 1<<C), C) which we need
to isel to bexti.


  Commit: 31b8939dede49effdca25431a108b44e8d389544
      https://github.com/llvm/llvm-project/commit/31b8939dede49effdca25431a108b44e8d389544
  Author: Craig Topper <craig.topper at sifive.com>
  Date:   2022-07-20 (Wed, 20 Jul 2022)

  Changed paths:
    M llvm/lib/Target/RISCV/RISCVISelDAGToDAG.cpp
    M llvm/test/CodeGen/RISCV/rv32zbs.ll
    M llvm/test/CodeGen/RISCV/rv64zbs.ll

  Log Message:
  -----------
  [RISCV] Recognize bexti from (srl (and X, 1<<C), C).

This is the form we get for (zext (setne (and X 1<<C))). We only
had bexti patterns for the alternative form (and (srl X, C), 1).


Compare: https://github.com/llvm/llvm-project/compare/5b0d6bf2102b...31b8939dede4