[all-commits] [llvm/llvm-project] 52f323: [InstCombine] Fold abs of known negative operand w...

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 52f323d0f1a45001c9be65ac42a48d902b903752
      https://github.com/llvm/llvm-project/commit/52f323d0f1a45001c9be65ac42a48d902b903752
  Author: chenglin.bi <chenglin.bi at cixcomputing.com>
  Date:   2022-03-23 (Wed, 23 Mar 2022)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/test/Transforms/InstCombine/abs-intrinsic.ll

  Log Message:
  -----------
  [InstCombine] Fold abs of known negative operand when source is sub

When abs source comes from (x - y), check if a "x > y" dominating
condition exists.

Fixes #54132

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