[PATCH] D25386: [LVI] Try to document the complexities of context instructions

[Philip Reames via llvm-commits]

reames created this revision.
reames added reviewers: sanjoy, nicholas, hfinkel, gberry, anna, apilipenko, regehr.
reames added a subscriber: llvm-commits.
Herald added a subscriber: mcrosier.

This is an attempt to document and clarify the semantics of the context instruction parameter and how it interacts with LVI's primary analysis algorithm.  I've found myself having to explain this a bunch of times over and I'm pretty sure that *I* get it wrong about half the time.

I'm really curious if this explanation makes sense to others and if they think it's actually correct w.r.t. both implementation and intent.  :)  With that in mind, I've added both LVI old hands and a few folks who've touched it a bit recently.  I'd appreciate multiple sets of eyes.


https://reviews.llvm.org/D25386

Files:
  include/llvm/Analysis/LazyValueInfo.h
  lib/Analysis/LazyValueInfo.cpp
  lib/Transforms/Scalar/CorrelatedValuePropagation.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25386.74005.patch
Type: text/x-patch
Size: 10417 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161008/e3309058/attachment.bin>