[WIP] [MIR] Generic lattice-based dataflow framework, rebased#34164

Closed

gereeter wants to merge 24 commits intorust-lang:masterfrom gereeter:mir-dflow-rebased

Commits on Jun 7, 2016

Distinct CFG type for MIR, traversals to librustc

nagisa
authored and
gereeter
committed
Impl a generic lattice-based DF framework

nagisa
authored and
gereeter
committed
Implement a ACS propagation pass

nagisa
authored and
gereeter
committed
Remove use of specialization in Lattice to avoid use of unstable features
gereeter
committed
Remove DataflowPass
gereeter
committed
Add &self arguments to Transfer and Rewrite and start taking them by value instead of by type
gereeter
committed
Remove unused and buggy support for dataflow passes that introduce multiple statements
gereeter
committed
Let ar_forward generate its own queue
gereeter
committed
Change the fully capitalized ACS to the partially capitalized Acs, matching the rest of rustc
gereeter
committed
Fix various nits in MIR Dataflow
gereeter
committed
Actually rewrite constants in AcsPropagate
gereeter
committed
Remove some unnecessary pubs in AcsPropagate
gereeter
committed
Invalidate values in AcsLattice that are overwritten, either by a write to a projected lvalue, or through the destination of a call. Projected lvalues are now entirely not tracked.
gereeter
committed
Temporarily completely disable Backward dataflow to fix unused variant warning
gereeter
committed
Rewrite AcsLattice to be more correct
gereeter
committed
Further correctness improvements to AcsRewrite
gereeter
committed
Remove unused import left over from rebase
gereeter
committed

Commits on Jun 9, 2016

Properly implement intersection in AcsLattice::join
gereeter
committed