BSF and BSR instructions can produce bounds for jump tables
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 13 Jul 2015 02:56:42 +0000 (21:56 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 13 Jul 2015 02:56:42 +0000 (21:56 -0500)
commit77001e94e7563f11b858b5e0536cd1c81f9cce8d
tree6683a7fd6d51d4f642167c79f7cc4b8054696fa1
parentaff60370cc7cac5e64d03e8883d0cd56dd26b5d5
BSF and BSR instructions can produce bounds for jump tables
dataflowAPI/rose/x86_64InstructionSemantics.h
parseAPI/src/BoundFactCalculator.C
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/JumpTablePred.C