First pass at PPC64 semantics.
[dyninst.git] / dataflowAPI / src / SymbolicExpansion.C
1 /*
2  * See the dyninst/COPYRIGHT file for copyright information.
3  * 
4  * We provide the Paradyn Tools (below described as "Paradyn")
5  * on an AS IS basis, and do not warrant its validity or performance.
6  * We reserve the right to update, modify, or discontinue this
7  * software at any time.  We shall have no obligation to supply such
8  * updates or modifications or any other form of support to you.
9  * 
10  * By your use of Paradyn, you understand and agree that we (or any
11  * other person or entity with proprietary rights in Paradyn) are
12  * under no obligation to provide either maintenance services,
13  * update services, notices of latent defects, or correction of
14  * defects for Paradyn.
15  * 
16  * This library is free software; you can redistribute it and/or
17  * modify it under the terms of the GNU Lesser General Public
18  * License as published by the Free Software Foundation; either
19  * version 2.1 of the License, or (at your option) any later version.
20  * 
21  * This library is distributed in the hope that it will be useful,
22  * but WITHOUT ANY WARRANTY; without even the implied warranty of
23  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
24  * Lesser General Public License for more details.
25  * 
26  * You should have received a copy of the GNU Lesser General Public
27  * License along with this library; if not, write to the Free Software
28  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
29  */
30
31 #include "SymbolicExpansion.h"
32 #include "SymEvalPolicy.h"
33
34 #include "../rose/SgAsmInstruction.h"
35 #include "../rose/SgAsmPowerpcInstruction.h"
36 #include "../rose/SgAsmx86Instruction.h"
37
38 #include "../rose/x86InstructionSemantics.h"
39 #include "../rose/x86_64InstructionSemantics.h"
40 #include "../rose/powerpcInstructionSemantics.h"
41
42
43 using namespace Dyninst;
44 using namespace DataflowAPI;
45
46 bool SymbolicExpansion::expandX86(SgAsmInstruction *rose_insn,
47                                   SymEvalPolicy &policy) {
48   SgAsmx86Instruction *insn = static_cast<SgAsmx86Instruction *>(rose_insn);
49   
50   X86InstructionSemantics<SymEvalPolicy, Handle> t(policy);
51   t.processInstruction(insn);
52   return true;
53 }
54
55 bool SymbolicExpansion::expandX86_64(SgAsmInstruction *rose_insn,
56                                      SymEvalPolicy_64 &policy) {
57   SgAsmx86Instruction *insn = static_cast<SgAsmx86Instruction *>(rose_insn);
58   
59   X86_64InstructionSemantics<SymEvalPolicy_64, Handle> t(policy);
60   t.processInstruction(insn);
61   return true;
62 }
63 bool SymbolicExpansion::expandPPC32(SgAsmInstruction *rose_insn,
64                                   SymEvalPolicy &policy) {
65   SgAsmPowerpcInstruction *insn = static_cast<SgAsmPowerpcInstruction *>(rose_insn);
66
67   PowerpcInstructionSemantics<SymEvalPolicy, Handle, 32> t(policy);
68   t.processInstruction(insn);
69   return true;
70 }
71 bool SymbolicExpansion::expandPPC64(SgAsmInstruction *rose_insn,
72                                   SymEvalPolicy_64 &policy) {
73   SgAsmPowerpcInstruction *insn = static_cast<SgAsmPowerpcInstruction *>(rose_insn);
74
75   PowerpcInstructionSemantics<SymEvalPolicy_64, Handle, 64> t(policy);
76   t.processInstruction(insn);
77   return true;
78 }
79