Fixing generation of arithmetic expressions:
[dyninst.git] / dyninstAPI / src / emit-aarch64.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 /*
32  * emit-aarch64.C - ARMv8 code generators (emitters)
33  */
34
35 /*
36 #include <assert.h>
37 #include <stdio.h>
38 #include "common/src/Types.h"
39 #include "dyninstAPI/src/codegen.h"
40 #include "dyninstAPI/src/function.h"
41 #include "dyninstAPI/src/inst-x86.h"
42 #include "dyninstAPI/src/debug.h"
43 #include "dyninstAPI/src/ast.h"
44 #include "dyninstAPI/h/BPatch.h"
45 #include "dyninstAPI/h/BPatch_memoryAccess_NP.h"
46
47 #include "dyninstAPI/src/dynProcess.h"
48
49 #include "dyninstAPI/src/binaryEdit.h"
50 #include "dyninstAPI/src/image.h"
51 // get_index...
52 #include "dyninstAPI/src/dynThread.h"
53 #include "ABI.h"
54 #include "liveness.h"
55 #include "RegisterConversion.h"
56 */
57
58 #include "dyninstAPI/src/inst-aarch64.h"
59 #include "dyninstAPI/src/emit-aarch64.h"
60 #include "dyninstAPI/src/registerSpace.h"
61
62 codeBufIndex_t EmitterAARCH64::emitIf(
63         Register expr_reg, Register target, RegControl /*rc*/, codeGen &gen)
64 {
65     instruction insn;
66     insn.clear();
67
68     // compare to 0 and branch
69     // register number, its value is compared to 0.
70     INSN_SET(insn, 0, 4, expr_reg);
71     INSN_SET(insn, 5, 23, (target+4)/4);
72     INSN_SET(insn, 25, 30, 0x1a); // CBZ
73     INSN_SET(insn, 31, 31, 1);
74
75     insnCodeGen::generate(gen,insn);
76
77     // Retval: where the jump is in this sequence
78     codeBufIndex_t retval = gen.getIndex();
79     return retval;
80 }
81
82 void EmitterAARCH64::emitLoadConst(Register dest, Address imm, codeGen &gen)
83 {
84     insnCodeGen::loadImmIntoReg<Address>(gen, dest, imm);
85 }
86
87
88 void EmitterAARCH64::emitLoad(Register dest, Address addr, int size, codeGen &gen)
89 {
90     Register scratch = gen.rs()->getScratchRegister(gen);
91
92     insnCodeGen::loadImmIntoReg<Address>(gen, scratch, addr);
93     insnCodeGen::generateMemAccess32or64(gen, insnCodeGen::Load, dest,
94             scratch, 0, true, insnCodeGen::Post);
95
96     gen.rs()->freeRegister(scratch);
97     gen.markRegDefined(dest);
98 }
99
100
101 void EmitterAARCH64::emitStore(Address addr, Register src, int size, codeGen &gen)
102 {
103     Register scratch = gen.rs()->getScratchRegister(gen);
104
105     insnCodeGen::loadImmIntoReg<Address>(gen, scratch, addr);
106     insnCodeGen::generateMemAccess32or64(gen, insnCodeGen::Store, src,
107             scratch, 0, true, insnCodeGen::Pre);
108
109     gen.rs()->freeRegister(scratch);
110     gen.markRegDefined(src);
111 }
112
113
114 void EmitterAARCH64::emitOp(
115         unsigned opcode, Register dest, Register src1, Register src2, codeGen &gen)
116 {
117     // dest = src1 + src2
118     if( opcode == plusOp )
119         insnCodeGen::generateAddSubShifted(gen, insnCodeGen::Add, 0, 0, src1, src2, dest, true);
120
121     // dest = src1 - src2
122     else if( opcode == minusOp )
123         insnCodeGen::generateAddSubShifted(gen, insnCodeGen::Sub, 0, 0, src2, src1, dest, true);
124     
125     // dest = src1 / src2
126     else if( opcode == divOp )
127         insnCodeGen::generateDiv(gen, src2, src1, dest, true);
128
129     // dest = src1 * src2
130     else if( opcode == timesOp )
131         insnCodeGen::generateMul(gen, src1, src2, dest, true);
132
133     // dest = src1 & src2
134     else if( opcode == andOp )
135         insnCodeGen::generateBitwiseOpShifted(gen, insnCodeGen::And, 0, src1, 0, src2, dest, true);  
136
137     // dest = src1 | src2
138     else if( opcode == orOp )
139         insnCodeGen::generateBitwiseOpShifted(gen, insnCodeGen::Or, 0, src1, 0, src2, dest, true);  
140 }
141
142
143 void EmitterAARCH64::emitRelOp(
144         unsigned opcode, Register dest, Register src1, Register src2, codeGen &gen)
145 {
146     // CMP is an alias to SUBS;
147     // dest here has src1-src2, which it's not important because the flags are
148     // used for the comparison, not the subtration value.
149     // Besides that dest must contain 1 for true or 0 for false, and the content
150     // of dest is gonna be changed as follow.
151     insnCodeGen::generateAddSubShifted(gen, insnCodeGen::Sub, 0, 0, src2, src1, dest, true);
152
153     // make dest = 1, meaning true
154     insnCodeGen::loadImmIntoReg<Address>(gen, dest, 0x1);
155
156     // insert conditional jump to skip dest=0 in case the comparison resulted true
157     // therefore keeping dest=1
158     insnCodeGen::generateConditionalBranch(gen, 8, opcode);
159
160     // make dest = 0, in case it fails the branch
161     insnCodeGen::loadImmIntoReg<Address>(gen, dest, 0x0);
162 }
163
164
165 void EmitterAARCH64::emitGetParam(
166         Register dest, Register param_num,
167         instPoint::Type pt_type, opCode op,
168         bool addr_of, codeGen &gen)
169 {
170     registerSlot *regSlot = NULL;
171     switch (op) {
172         case getParamOp:
173             if(param_num <= 3) {
174                 // param_num is 0..8 - it's a parameter number, not a register
175                 regSlot = (*(gen.rs()))[registerSpace::r0 + param_num];
176                 break;
177
178             } else {
179                 assert(0);
180             }
181             break;
182         default:
183             assert(0);
184             break;
185     } // end of swich(op)
186
187     assert(regSlot);
188     Register reg = regSlot->number;
189
190     //return reg;
191 }
192
193
194
195
196
197