6 Commits

Author	SHA1	Message	Date
Chris Lattner	89120a8e63	"This patch adds a virtual call to AbstractLatticeFunction to derive a ... type lattice value for an Argument*, giving clients the opportunity to use something other than Top for it if they choose to." Patch by John McCall! llvm-svn: 54589	2008-08-09 17:23:35 +00:00
Dan Gohman	4b11213552	Use Function::getEntryBlock instead of Function::begin, for clarity. ... llvm-svn: 51613	2008-05-27 20:55:29 +00:00
Dan Gohman	327d2c6167	Print debug output when any edge becomes executable, including ... the first visited edge. llvm-svn: 51612	2008-05-27 20:47:30 +00:00
Chris Lattner	5c3ce73720	Add a bool to isEdgeFeasible that tells it whether to treat unknown ... value as undef or untracked. llvm-svn: 51295	2008-05-20 03:39:39 +00:00
Chris Lattner	0eb3dfb3b0	prune #includes. ... llvm-svn: 50962	2008-05-12 01:13:53 +00:00
Chris Lattner	f459fcde61	Add a new SparsePropagation analysis utility, which allows you to do ... SCCP like sparse lattice analysis with relative ease. Just pick your lattice function and implement the transfer function and you're good. Just make sure you don't break monotonicity ;-) llvm-svn: 50961	2008-05-12 01:12:24 +00:00