[all-commits] [llvm/llvm-project] b58eda: [ValueTracking] Fix computeConstantRange to use "m...

[clin111 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b58eda39eb1fcb7df942c8569d031a342fa1308d
      https://github.com/llvm/llvm-project/commit/b58eda39eb1fcb7df942c8569d031a342fa1308d
  Author: Chang-Sun Lin, Jr <chang-sun.lin.jr at intel.com>
  Date:   2021-08-02 (Mon, 02 Aug 2021)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/unittests/Analysis/ValueTrackingTest.cpp

  Log Message:
  -----------
  [ValueTracking] Fix computeConstantRange to use "may" instead of "always" semantics for llvm.assume

ValueTracking should allow for value ranges that may satisfy
llvm.assume, instead of restricting the ranges only to values that
will always satisfy the condition.

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