[llvm] [ValueTracking] Infer is-power-of-2 from assumptions. (PR #107745)

[Yingwei Zheng via llvm-commits]

================
@@ -9950,6 +9981,10 @@ void llvm::findValuesAffectedByCondition(
             InsertAffected(X);
         }
       }
+
+      if (IsAssume && HasRHSC &&
+          match(A, m_Intrinsic<Intrinsic::ctpop>(m_Value(X))))
+        AddAffected(X);
----------------
dtcxzyw wrote:

Fixed. Thank you!


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