[llvm] ValueTracking: Use SimplifyQuery for computeConstantRange (PR #191726)

[Yingwei Zheng via llvm-commits]

================
@@ -1,5 +1,8 @@
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5
-; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+; RUN: opt < %s -passes='instcombine<no-verify-fixpoint>' -S | FileCheck %s
+
+; no-verify-fixpoint is necessary due to dropping nuw, and then
----------------
dtcxzyw wrote:

Why isn't the instruction pushed into the worklist?

https://github.com/llvm/llvm-project/pull/191726