1. Fix ARM semantics for instructions that use conditional code
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 22 Aug 2017 14:44:46 +0000 (09:44 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 22 Aug 2017 14:44:46 +0000 (09:44 -0500)
commit0561bc941ba13179fbf473583f505062d15dc910
tree406a23663566c51725af1eb04e0f8f3b082129e3
parent4b23c985d88fd0c30ec7b687a13b06345f787716
1. Fix ARM semantics for instructions that use conditional code
2. Make sure to keep multiplication by one and shifting left by zero through visitors and expansion cache
dataflowAPI/rose/semantics/DispatcherARM64.C
dataflowAPI/rose/semantics/DispatcherARM64.h
parseAPI/src/IndirectASTVisitor.C
parseAPI/src/IndirectASTVisitor.h
parseAPI/src/IndirectAnalyzer.C
parseAPI/src/JumpTableFormatPred.C
parseAPI/src/SymbolicExpression.C
parseAPI/src/SymbolicExpression.h