Initialize semantics for use with ARM64
[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 DispatcherPtr SymbolicExpansion::cpu = NULL;
47
48 bool SymbolicExpansion::expandX86(SgAsmInstruction *rose_insn,
49                                   SymEvalPolicy &policy) {
50     SgAsmx86Instruction *insn = static_cast<SgAsmx86Instruction *>(rose_insn);
51
52     X86InstructionSemantics<SymEvalPolicy, Handle> t(policy);
53     t.processInstruction(insn);
54     return true;
55 }
56
57 bool SymbolicExpansion::expandX86_64(SgAsmInstruction *rose_insn,
58                                      SymEvalPolicy_64 &policy) {
59     SgAsmx86Instruction *insn = static_cast<SgAsmx86Instruction *>(rose_insn);
60
61     X86_64InstructionSemantics<SymEvalPolicy_64, Handle> t(policy);
62     t.processInstruction(insn);
63     return true;
64 }
65
66 bool SymbolicExpansion::expandPPC32(SgAsmInstruction *rose_insn,
67                                     SymEvalPolicy &policy) {
68     SgAsmPowerpcInstruction *insn = static_cast<SgAsmPowerpcInstruction *>(rose_insn);
69
70     PowerpcInstructionSemantics<SymEvalPolicy, Handle, 32> t(policy);
71     t.processInstruction(insn);
72     return true;
73 }
74
75 bool SymbolicExpansion::expandPPC64(SgAsmInstruction *rose_insn,
76                                     SymEvalPolicy_64 &policy) {
77     SgAsmPowerpcInstruction *insn = static_cast<SgAsmPowerpcInstruction *>(rose_insn);
78
79     PowerpcInstructionSemantics<SymEvalPolicy_64, Handle, 64> t(policy);
80     t.processInstruction(insn);
81     return true;
82 }
83
84 bool SymbolicExpansion::expandAarch64(SgAsmInstruction *rose_insn, RiscOperatorsPtr ops, const std::string &insn_dump) {
85     SgAsmArmv8Instruction *insn = static_cast<SgAsmArmv8Instruction *>(rose_insn);
86
87     if(cpu == NULL) {
88         cpu = Dispatcher::create(ops);
89     }
90
91     try {
92         cpu->processInstruction(rose_insn);
93     } catch (rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Exception &e) {
94         fprintf(stderr, "Instruction processing threw exception for instruction: %s", insn_dump.c_str());
95     }
96
97     return false;
98 }
99