mchalupa / dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MIT License
481 stars 135 forks source link

Optimize SCC representation. #247

Open mchalupa opened 5 years ago

mchalupa commented 5 years ago

IF a SCC is a singleton, do not store this SCC but assign it a distinguished id.

mchalupa commented 5 years ago

This has a small problem that we would lose the number of the components (we would need to count them). We can may just add iterators that would iterate over the nodes in SCCs without storing them anywhere?