[all-commits] [llvm/llvm-project] 35fa7b: Reland "[InstCombine] Recognize `((x * y) s/ x) !=...

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 35fa7b8ad83e6cddb38190818df3c6688b3c2313
      https://github.com/llvm/llvm-project/commit/35fa7b8ad83e6cddb38190818df3c6688b3c2313
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-09-07 (Tue, 07 Sep 2021)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineInternal.h
    M llvm/test/Transforms/InstCombine/signed-mul-lack-of-overflow-check-via-mul-sdiv.ll
    M llvm/test/Transforms/InstCombine/signed-mul-overflow-check-via-mul-sdiv.ll

  Log Message:
  -----------
  Reland "[InstCombine] Recognize `((x * y) s/ x) !=/== y` as an signed multiplication overflow check (PR48769)"

This reverts commit 91f7a4fff75179e75d38b692715ae69471668b5e,
relanding commit 13ec913bdf500e2354cc55bf29e2f5d99e0c709e.

The original commit was reverted because of (essentially)
https://bugs.llvm.org/show_bug.cgi?id=35922
which has now been addressed by d0eeb64be5848a7832d13db9d69904db281d02e8.