[all-commits] [llvm/llvm-project] 310533: [InstCombine] Fold (sext bool X) * (sext bool X) t...

[vdsered via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 31053338c97b36ffb582f9c04a74cec69cce3e70
      https://github.com/llvm/llvm-project/commit/31053338c97b36ffb582f9c04a74cec69cce3e70
  Author: Daniil Seredkin <vdsered at gmail.com>
  Date:   2021-06-18 (Fri, 18 Jun 2021)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
    M llvm/test/Transforms/InstCombine/mul.ll

  Log Message:
  -----------
  [InstCombine] Fold (sext bool X) * (sext bool X) to zext (and X, X)

InstCombine didn't perform (sext bool X) * (sext bool X) --> zext (and X, X) which can result in just (zext X). The patch adds regression tests to check this transformation and adds a check for equality of mul's operands for that case.

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