Reduce the size of slices a lot
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Wed, 28 Jan 2015 22:15:27 +0000 (16:15 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Wed, 28 Jan 2015 22:15:27 +0000 (16:15 -0600)
commit7e02859d275f9e21d8a92a368e1c29f7d3c85d63
tree6c98289e33b16fdec36d92b5ed41b0ecfed26a6a
parent90b9d416bcb63d6b8dc72bb1179433ae9c144c30
Reduce the size of slices a lot
1. Add one conditional jump on a control flow path at most
2. The added conditional jump should not be post-dominated by the indirect jump
3. PC in a non-control flow instruction should be regarded as a constant, so it should not be in the input vector of an assignment
dataflowAPI/h/slicing.h
dataflowAPI/src/AbslocInterface.C
dataflowAPI/src/slicing.C
parseAPI/src/BoundFactCalculator.C
parseAPI/src/BoundFactCalculator.h
parseAPI/src/BoundFactData.C
parseAPI/src/IndirectAnalyzer.C
parseAPI/src/Parser.C