[all-commits] [llvm/llvm-project] 7fa97b: [SCCP] Don't mark ranges from branch conditions as...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7fa97b473c2a0ba3bf0bbfd0aaa859485ffe0802
      https://github.com/llvm/llvm-project/commit/7fa97b473c2a0ba3bf0bbfd0aaa859485ffe0802
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-06-07 (Tue, 07 Jun 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/SCCP/conditions-ranges.ll
    M llvm/test/Transforms/SCCP/ip-ranges-sext.ll
    M llvm/test/Transforms/SCCP/replace-dereferenceable-ptr-with-undereferenceable.ll

  Log Message:
  -----------
  [SCCP] Don't mark ranges from branch conditions as potentially undef

Now that transforms introducing branch on poison have been removed,
we can stop marking ranges that have been derived from branch
conditions as containing undef. The existing comment explains why
this is legal. I've checked that alive2 is happy with SCCP tests
after this change.

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