[all-commits] [llvm/llvm-project] 01acde: [X86] Add test coverage for fshl/fshr with freeze

[Simon Pilgrim via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 01acdea964959eea2787acd5081ca6acd1cfc3ca
      https://github.com/llvm/llvm-project/commit/01acdea964959eea2787acd5081ca6acd1cfc3ca
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2022-10-22 (Sat, 22 Oct 2022)

  Changed paths:
    M llvm/test/CodeGen/X86/freeze-binary.ll

  Log Message:
  -----------
  [X86] Add test coverage for fshl/fshr with freeze

Unlike most other freeze tests in the file, this is showing a missing SimplifyDemandedBits simplification instead of a merge of the ops


  Commit: 7511303c4fb05027b27180e7255462b7626aa1cf
      https://github.com/llvm/llvm-project/commit/7511303c4fb05027b27180e7255462b7626aa1cf
  Author: Simon Pilgrim <llvm-dev at redking.me.uk>
  Date:   2022-10-22 (Sat, 22 Oct 2022)

  Changed paths:
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
    M llvm/test/CodeGen/X86/freeze-binary.ll

  Log Message:
  -----------
  [DAG] canCreateUndefOrPoison - add freeze(fsh(x,y,z)) -> fsh(freeze(x),freeze(y),freeze(z)) support

The funnel-shift amount is always modulo, so won't introduce poison/undef


Compare: https://github.com/llvm/llvm-project/compare/3f8d2c917c3d...7511303c4fb0