Class declarations for SymEvalSemantics
authorSunny Shah <shah28@wisc.edu>
Fri, 1 Jul 2016 22:02:15 +0000 (17:02 -0500)
committerSunny Shah <shah28@wisc.edu>
Fri, 1 Jul 2016 22:02:15 +0000 (17:02 -0500)
commitf9dfca3b19aaba4270d11c64a74c2e11ece7046a
tree13606125f4792a8f275d85929564bda8ec8172ce
parent8028c5333da9716f85cbf84c80cc4b75324529f0
Class declarations for SymEvalSemantics

SymEvalPolicy is now called "SymEvalSemantics" - in line with the terminology of the new semantics framework. Using this requires the implementation of 4 main classes - SValue (the value type), RegisterState, MemoryState and RiscOperators. All of these inherit from their respective definitions in BaseSemantics2.h.

Everything from the old policy (eg. SymEvalPolicy) needs to be mapped to these 4 classes. Currently, the implementation of SValue is mostly complete (a couple methods are yet to be implemented and few others need a little more thought) and declarations for some methods in RiscOperators have been added.
dataflowAPI/rose/semantics/BaseSemantics2.h
dataflowAPI/rose/semantics/SymEvalSemantics.C [new file with mode: 0644]
dataflowAPI/rose/semantics/SymEvalSemantics.h [new file with mode: 0644]