1. Add inc, dec, neg instruction semantics for x86-64
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 8 Dec 2014 19:39:15 +0000 (13:39 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 8 Dec 2014 19:39:15 +0000 (13:39 -0600)
commitb2e05e2370161c36015fe3dfb7daaf92832502e1
tree79262860d9c6dfc2fcc19a7c1ed0902ffd92bdae
parent1d9b8e24b17a2f80691e2e891d4fa36522adb21d
1. Add inc, dec, neg instruction semantics for x86-64
2. Change indirect control flow analysis to first calculate
   strongly connected components (SCC). Do iterative analysis
   inside a SCC and propogate dataflow facts between SCCs
3. Track register aliasing
4. Adjust predicate
dataflowAPI/rose/x86_64InstructionSemantics.h
parseAPI/src/BackwardSlicing.C
parseAPI/src/BoundFactCalculator.C
parseAPI/src/BoundFactCalculator.h
parseAPI/src/BoundFactData.C
parseAPI/src/BoundFactData.h