Initialize semantics for use with ARM64
authorSunny Shah <shah28@wisc.edu>
Thu, 30 Jun 2016 18:21:25 +0000 (13:21 -0500)
committerSunny Shah <shah28@wisc.edu>
Thu, 30 Jun 2016 18:21:25 +0000 (13:21 -0500)
commit8028c5333da9716f85cbf84c80cc4b75324529f0
tree79fe72a01c8ec2bba47ab832d9df2bfd574af67d
parent687c6f5f9f8a32f7a9e6fc0f2fff657e653a919f
Initialize semantics for use with ARM64

Before the dispatcher for ARM64 can be called for instruction processing, the value type, register state, memory state and RISC operators need to be initialized. Ideally, these should be specific to Dyninst's SymEvalPolicy. That policy, however, needs to be re-written to work with the new semantics - this hasn't been done yet. Thus the current initializations of the type, states and operators use the base types (defined in BaseSemantics2.h) and will later by replaced by concretized versions.
dataflowAPI/rose/semantics/DispatcherARM64.h
dataflowAPI/src/SymEval.C
dataflowAPI/src/SymbolicExpansion.C
dataflowAPI/src/SymbolicExpansion.h