[PATCH] D143363: [ValueTracking] Search dominate condition to check if a value is pow2 or not

[luxufan via Phabricator via llvm-commits]

StephenFan added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:2274
+      // dominate condition popcount(v) < 2, v is pow2 or 0
+      if (OrZero && Pred == CmpInst::ICMP_ULT && *CmpConst == 2)
+        return true;
----------------
It seems it is no test coveraged here.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D143363/new/

https://reviews.llvm.org/D143363