[PATCH] D141482: [LVI][CVP] Make use of condition known at use

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/lib/Analysis/LazyValueInfo.cpp:1680
+
+    if (!CurrI->hasOneUse())
+      break;
----------------
StephenFan wrote:
> Is limiting the number of uses a consideration of compile-time? If we can give it a mutable limit and support handling multiple uses?
It's a correctness requirement for the current implementation. For multiple uses, we would have to intersect with the union of conditions at all uses. This is more complex, expensive and unlikely to be useful.


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

https://reviews.llvm.org/D141482