[all-commits] [llvm/llvm-project] d6e008: [InstCombine] Add tests for add of clamp pattern (...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d6e008089c2d758dabefe71ae7cf18e46928b5ef
      https://github.com/llvm/llvm-project/commit/d6e008089c2d758dabefe71ae7cf18e46928b5ef
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-02-23 (Wed, 23 Feb 2022)

  Changed paths:
    M llvm/test/Transforms/InstCombine/max_known_bits.ll

  Log Message:
  -----------
  [InstCombine] Add tests for add of clamp pattern (NFC)

Add intrinsic versions of existing SPF tests.


  Commit: 6777ec9e4df79d88f179593e20d6cb58a3effba4
      https://github.com/llvm/llvm-project/commit/6777ec9e4df79d88f179593e20d6cb58a3effba4
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-02-23 (Wed, 23 Feb 2022)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/max_known_bits.ll

  Log Message:
  -----------
  [ValueTracking] Support signed intrinsic clamp

This is the same special logic we apply for SPF signed clamps
when computing the number of sign bits, just for intrinsics.

This just uses the same logic as the select case, but there's
multiple directions this could be improved in: We could also use
the num sign bits from the clamped value, we could do this during
constant range calculation, and there's probably unsigned analogues
for the constant range case at least.


Compare: https://github.com/llvm/llvm-project/compare/e0f1dd018e0f...6777ec9e4df7