[all-commits] [llvm/llvm-project] 1eb4f8: [x86] add test coverage for AMD Ryzen fast sqrt co...

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1eb4f88bfef1ab93b8286fdfd05a8b814507e329
      https://github.com/llvm/llvm-project/commit/1eb4f88bfef1ab93b8286fdfd05a8b814507e329
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-02-04 (Fri, 04 Feb 2022)

  Changed paths:
    M llvm/test/CodeGen/X86/sqrt-fastmath-tune.ll

  Log Message:
  -----------
  [x86] add test coverage for AMD Ryzen fast sqrt codegen; NFC


  Commit: 0236c571810dea1b72d99ee0af124a7a09976e00
      https://github.com/llvm/llvm-project/commit/0236c571810dea1b72d99ee0af124a7a09976e00
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-02-04 (Fri, 04 Feb 2022)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
    M llvm/test/Transforms/InstCombine/icmp-mul-and.ll
    M llvm/test/Transforms/InstCombine/mul-masked-bits.ll

  Log Message:
  -----------
  [InstCombine] try to fold one-demanded-bit-of-multiply

This is a generalization of the icmp fold in D118061 (and that can be abandoned).
We're looking for a disguised form of "odd * odd must be odd".
Some Alive2 proofs to show correctness:
https://alive2.llvm.org/ce/z/60Y8hz
https://alive2.llvm.org/ce/z/HfAP6R

Differential Revision: https://reviews.llvm.org/D118539


Compare: https://github.com/llvm/llvm-project/compare/b8fbffc8b11f...0236c571810d