[all-commits] [llvm/llvm-project] 92dc4f: [ValueTracking] Check for known bits conflict for ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 92dc4fff87e46d262b7c40b31e2d3fb22211296d
      https://github.com/llvm/llvm-project/commit/92dc4fff87e46d262b7c40b31e2d3fb22211296d
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-05-24 (Wed, 24 May 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    A llvm/test/Transforms/JumpThreading/pr62908.ll

  Log Message:
  -----------
  [ValueTracking] Check for known bits conflict for shl nsw (PR62908)

I removed the conflict check from computeKnownBitsFromShiftOperator()
in D150648 assuming that this is now handled on the KnownBits side.
However, the nsw handling is still inside ValueTracking, so we
still need to handle conflicts there. Restore the check closer to
where it is relevant.

Fixes https://github.com/llvm/llvm-project/issues/62908.