[all-commits] [llvm/llvm-project] ff0e4f: [SCEV] Use or disjoint flag (#74467)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ff0e4fb89a75ebe5f30a0292caba1ff88c8bff88
      https://github.com/llvm/llvm-project/commit/ff0e4fb89a75ebe5f30a0292caba1ff88c8bff88
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-05 (Tue, 05 Dec 2023)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/add-like-or.ll

  Log Message:
  -----------
  [SCEV] Use or disjoint flag (#74467)

Use the disjoint flag to convert or to add instead of calling the
haveNoCommonBitsSet() ValueTracking query. This ensures that we can
reliably undo add -> or canonicalization, even in cases where the
necessary information has been lost or is too complex to reinfer in
SCEV.

I have updated the bulk of the test coverage to add the necessary
disjoint flags in advance.