VirtualBox

root/trunk/src/recompiler/dyngen.h

Revision 11982, 13.5 kB (checked in by vboxsync, 4 months ago)

All: license header changes for 2.0 (OSE headers, add Sun GPL/LGPL disclaimer)

  • Property svn:eol-style set to native
Line 
1 /*
2  * dyngen helpers
3  *
4  *  Copyright (c) 2003 Fabrice Bellard
5  *
6  * This library is free software; you can redistribute it and/or
7  * modify it under the terms of the GNU Lesser General Public
8  * License as published by the Free Software Foundation; either
9  * version 2 of the License, or (at your option) any later version.
10  *
11  * This library is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  * Lesser General Public License for more details.
15  *
16  * You should have received a copy of the GNU Lesser General Public
17  * License along with this library; if not, write to the Free Software
18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19  */
20
21 /*
22  * Sun LGPL Disclaimer: For the avoidance of doubt, except that if any license choice
23  * other than GPL or LGPL is available it will apply instead, Sun elects to use only
24  * the Lesser General Public License version 2.1 (LGPLv2) at this time for any software where
25  * a choice of LGPL license versions is made available with the language indicating
26  * that LGPLv2 or any later version may be used, or where a choice of which version
27  * of the LGPL is applied is otherwise unspecified.
28  */
29
30 int __op_param1, __op_param2, __op_param3;
31 #if defined(__sparc__) || defined(__arm__)
32   void __op_gen_label1(){}
33   void __op_gen_label2(){}
34   void __op_gen_label3(){}
35 #else
36   int __op_gen_label1, __op_gen_label2, __op_gen_label3;
37 #endif
38 int __op_jmp0, __op_jmp1, __op_jmp2, __op_jmp3;
39
40 #ifdef __i386__
41 static inline void flush_icache_range(unsigned long start, unsigned long stop)
42 {
43 }
44 #endif
45
46 #ifdef __x86_64__
47 static inline void flush_icache_range(unsigned long start, unsigned long stop)
48 {
49 }
50 #endif
51
52 #ifdef __s390__
53 static inline void flush_icache_range(unsigned long start, unsigned long stop)
54 {
55 }
56 #endif
57
58 #ifdef __ia64__
59 static inline void flush_icache_range(unsigned long start, unsigned long stop)
60 {
61     while (start < stop) {
62         asm volatile ("fc %0" :: "r"(start));
63         start += 32;
64     }
65     asm volatile (";;sync.i;;srlz.i;;");
66 }
67 #endif
68
69 #ifdef __powerpc__
70
71 #define MIN_CACHE_LINE_SIZE 8 /* conservative value */
72
73 static void inline flush_icache_range(unsigned long start, unsigned long stop)
74 {
75     unsigned long p;
76
77     start &= ~(MIN_CACHE_LINE_SIZE - 1);
78     stop = (stop + MIN_CACHE_LINE_SIZE - 1) & ~(MIN_CACHE_LINE_SIZE - 1);
79    
80     for (p = start; p < stop; p += MIN_CACHE_LINE_SIZE) {
81         asm volatile ("dcbst 0,%0" : : "r"(p) : "memory");
82     }
83     asm volatile ("sync" : : : "memory");
84     for (p = start; p < stop; p += MIN_CACHE_LINE_SIZE) {
85         asm volatile ("icbi 0,%0" : : "r"(p) : "memory");
86     }
87     asm volatile ("sync" : : : "memory");
88     asm volatile ("isync" : : : "memory");
89 }
90 #endif
91
92 #ifdef __alpha__
93 static inline void flush_icache_range(unsigned long start, unsigned long stop)
94 {
95     asm ("imb");
96 }
97 #endif
98
99 #ifdef __sparc__
100
101 static void inline flush_icache_range(unsigned long start, unsigned long stop)
102 {
103         unsigned long p;
104
105         p = start & ~(8UL - 1UL);
106         stop = (stop + (8UL - 1UL)) & ~(8UL - 1UL);
107
108         for (; p < stop; p += 8)
109                 __asm__ __volatile__("flush\t%0" : : "r" (p));
110 }
111
112 #endif
113
114 #ifdef __arm__
115 static inline void flush_icache_range(unsigned long start, unsigned long stop)
116 {
117     register unsigned long _beg __asm ("a1") = start;
118     register unsigned long _end __asm ("a2") = stop;
119     register unsigned long _flg __asm ("a3") = 0;
120     __asm __volatile__ ("swi 0x9f0002" : : "r" (_beg), "r" (_end), "r" (_flg));
121 }
122 #endif
123
124 #ifdef __mc68000
125 #include <asm/cachectl.h>
126 static inline void flush_icache_range(unsigned long start, unsigned long stop)
127 {
128     cacheflush(start,FLUSH_SCOPE_LINE,FLUSH_CACHE_BOTH,stop-start+16);
129 }
130 #endif
131
132 #ifdef __alpha__
133
134 register int gp asm("$29");
135
136 static inline void immediate_ldah(void *p, int val) {
137     uint32_t *dest = p;
138     long high = ((val >> 16) + ((val >> 15) & 1)) & 0xffff;
139
140     *dest &= ~0xffff;
141     *dest |= high;
142     *dest |= 31 << 16;
143 }
144 static inline void immediate_lda(void *dest, int val) {
145     *(uint16_t *) dest = val;
146 }
147 void fix_bsr(void *p, int offset) {
148     uint32_t *dest = p;
149     *dest &= ~((1 << 21) - 1);
150     *dest |= (offset >> 2) & ((1 << 21) - 1);
151 }
152
153 #endif /* __alpha__ */
154
155 #ifdef __arm__
156
157 #define ARM_LDR_TABLE_SIZE 1024
158
159 typedef struct LDREntry {
160     uint8_t *ptr;
161     uint32_t *data_ptr;
162     unsigned type:2;
163 } LDREntry;
164
165 static LDREntry arm_ldr_table[1024];
166 static uint32_t arm_data_table[ARM_LDR_TABLE_SIZE];
167
168 extern char exec_loop;
169
170 static inline void arm_reloc_pc24(uint32_t *ptr, uint32_t insn, int val)
171 {
172     *ptr = (insn & ~0xffffff) | ((insn + ((val - (int)ptr) >> 2)) & 0xffffff);
173 }
174
175 static uint8_t *arm_flush_ldr(uint8_t *gen_code_ptr,
176                               LDREntry *ldr_start, LDREntry *ldr_end,
177                               uint32_t *data_start, uint32_t *data_end,
178                               int gen_jmp)
179 {
180     LDREntry *le;
181     uint32_t *ptr;
182     int offset, data_size, target;
183     uint8_t *data_ptr;
184     uint32_t insn;
185     uint32_t mask;
186  
187     data_size = (data_end - data_start) << 2;
188
189     if (gen_jmp) {
190         /* generate branch to skip the data */
191         if (data_size == 0)
192             return gen_code_ptr;
193         target = (long)gen_code_ptr + data_size + 4;
194         arm_reloc_pc24((uint32_t *)gen_code_ptr, 0xeafffffe, target);
195         gen_code_ptr += 4;
196     }
197    
198     /* copy the data */
199     data_ptr = gen_code_ptr;
200     memcpy(gen_code_ptr, data_start, data_size);
201     gen_code_ptr += data_size;
202    
203     /* patch the ldr to point to the data */
204     for(le = ldr_start; le < ldr_end; le++) {
205         ptr = (uint32_t *)le->ptr;
206         offset = ((unsigned long)(le->data_ptr) - (unsigned long)data_start) +
207             (unsigned long)data_ptr -
208             (unsigned long)ptr - 8;
209         if (offset < 0) {
210             fprintf(stderr, "Negative constant pool offset\n");
211             abort();
212         }
213         switch (le->type) {
214           case 0: /* ldr */
215             mask = ~0x00800fff;
216             if (offset >= 4096) {
217                 fprintf(stderr, "Bad ldr offset\n");
218                 abort();
219             }
220             break;
221           case 1: /* ldc */
222             mask = ~0x008000ff;
223             if (offset >= 1024 ) {
224                 fprintf(stderr, "Bad ldc offset\n");
225                 abort();
226             }
227             break;
228           case 2: /* add */
229             mask = ~0xfff;
230             if (offset >= 1024 ) {
231                 fprintf(stderr, "Bad add offset\n");
232                 abort();
233             }
234             break;
235           default:
236             fprintf(stderr, "Bad pc relative fixup\n");
237             abort();
238           }
239         insn = *ptr & mask;
240         switch (le->type) {
241           case 0: /* ldr */
242             insn |= offset | 0x00800000;
243             break;
244           case 1: /* ldc */
245             insn |= (offset >> 2) | 0x00800000;
246             break;
247           case 2: /* add */
248             insn |= (offset >> 2) | 0xf00;
249             break;
250           }
251         *ptr = insn;
252     }
253     return gen_code_ptr;
254 }
255
256 #endif /* __arm__ */
257
258 #ifdef __ia64
259
260
261 /* Patch instruction with "val" where "mask" has 1 bits. */
262 static inline void ia64_patch (uint64_t insn_addr, uint64_t mask, uint64_t val)
263 {
264     uint64_t m0, m1, v0, v1, b0, b1, *b = (uint64_t *) (insn_addr & -16);
265 #   define insn_mask ((1UL << 41) - 1)
266     unsigned long shift;
267
268     b0 = b[0]; b1 = b[1];
269     shift = 5 + 41 * (insn_addr % 16); /* 5 template, 3 x 41-bit insns */
270     if (shift >= 64) {
271         m1 = mask << (shift - 64);
272         v1 = val << (shift - 64);
273     } else {
274         m0 = mask << shift; m1 = mask >> (64 - shift);
275         v0 = val  << shift; v1 = val >> (64 - shift);
276         b[0] = (b0 & ~m0) | (v0 & m0);
277     }
278     b[1] = (b1 & ~m1) | (v1 & m1);
279 }
280
281 static inline void ia64_patch_imm60 (uint64_t insn_addr, uint64_t val)
282 {
283         ia64_patch(insn_addr,
284                    0x011ffffe000UL,
285                    (  ((val & 0x0800000000000000UL) >> 23) /* bit 59 -> 36 */
286                     | ((val & 0x00000000000fffffUL) << 13) /* bit 0 -> 13 */));
287         ia64_patch(insn_addr - 1, 0x1fffffffffcUL, val >> 18);
288 }
289
290 static inline void ia64_imm64 (void *insn, uint64_t val)
291 {
292     /* Ignore the slot number of the relocation; GCC and Intel
293        toolchains differed for some time on whether IMM64 relocs are
294        against slot 1 (Intel) or slot 2 (GCC).  */
295     uint64_t insn_addr = (uint64_t) insn & ~3UL;
296
297     ia64_patch(insn_addr + 2,
298                0x01fffefe000UL,
299                (  ((val & 0x8000000000000000UL) >> 27) /* bit 63 -> 36 */
300                 | ((val & 0x0000000000200000UL) <<  0) /* bit 21 -> 21 */
301                 | ((val & 0x00000000001f0000UL) <<  6) /* bit 16 -> 22 */
302                 | ((val & 0x000000000000ff80UL) << 20) /* bit  7 -> 27 */
303                 | ((val & 0x000000000000007fUL) << 13) /* bit  0 -> 13 */)
304             );
305     ia64_patch(insn_addr + 1, 0x1ffffffffffUL, val >> 22);
306 }
307
308 static inline void ia64_imm60b (void *insn, uint64_t val)
309 {
310     /* Ignore the slot number of the relocation; GCC and Intel
311        toolchains differed for some time on whether IMM64 relocs are
312        against slot 1 (Intel) or slot 2 (GCC).  */
313     uint64_t insn_addr = (uint64_t) insn & ~3UL;
314
315     if (val + ((uint64_t) 1 << 59) >= (1UL << 60))
316         fprintf(stderr, "%s: value %ld out of IMM60 range\n",
317                 __FUNCTION__, (int64_t) val);
318     ia64_patch_imm60(insn_addr + 2, val);
319 }
320
321 static inline void ia64_imm22 (void *insn, uint64_t val)
322 {
323     if (val + (1 << 21) >= (1 << 22))
324         fprintf(stderr, "%s: value %li out of IMM22 range\n",
325                 __FUNCTION__, (int64_t)val);
326     ia64_patch((uint64_t) insn, 0x01fffcfe000UL,
327                (  ((val & 0x200000UL) << 15) /* bit 21 -> 36 */
328                 | ((val & 0x1f0000UL) <<  6) /* bit 16 -> 22 */
329                 | ((val & 0x00ff80UL) << 20) /* bit  7 -> 27 */
330                 | ((val & 0x00007fUL) << 13) /* bit  0 -> 13 */));
331 }
332
333 /* Like ia64_imm22(), but also clear bits 20-21.  For addl, this has
334    the effect of turning "addl rX=imm22,rY" into "addl
335    rX=imm22,r0".  */
336 static inline void ia64_imm22_r0 (void *insn, uint64_t val)
337 {
338     if (val + (1 << 21) >= (1 << 22))
339         fprintf(stderr, "%s: value %li out of IMM22 range\n",
340                 __FUNCTION__, (int64_t)val);
341     ia64_patch((uint64_t) insn, 0x01fffcfe000UL | (0x3UL << 20),
342                (  ((val & 0x200000UL) << 15) /* bit 21 -> 36 */
343                 | ((val & 0x1f0000UL) <<  6) /* bit 16 -> 22 */
344                 | ((val & 0x00ff80UL) << 20) /* bit  7 -> 27 */
345                 | ((val & 0x00007fUL) << 13) /* bit  0 -> 13 */));
346 }
347
348 static inline void ia64_imm21b (void *insn, uint64_t val)
349 {
350     if (val + (1 << 20) >= (1 << 21))
351         fprintf(stderr, "%s: value %li out of IMM21b range\n",
352                 __FUNCTION__, (int64_t)val);
353     ia64_patch((uint64_t) insn, 0x11ffffe000UL,
354                (  ((val & 0x100000UL) << 16) /* bit 20 -> 36 */
355                 | ((val & 0x0fffffUL) << 13) /* bit  0 -> 13 */));
356 }
357
358 static inline void ia64_nop_b (void *insn)
359 {
360     ia64_patch((uint64_t) insn, (1UL << 41) - 1, 2UL << 37);
361 }
362
363 static inline void ia64_ldxmov(void *insn, uint64_t val)
364 {
365     if (val + (1 << 21) < (1 << 22))
366         ia64_patch((uint64_t) insn, 0x1fff80fe000UL, 8UL << 37);
367 }
368
369 static inline int ia64_patch_ltoff(void *insn, uint64_t val,
370                                    int relaxable)
371 {
372     if (relaxable && (val + (1 << 21) < (1 << 22))) {
373         ia64_imm22_r0(insn, val);
374         return 0;
375     }
376     return 1;
377 }
378
379 struct ia64_fixup {
380     struct ia64_fixup *next;
381     void *addr;                 /* address that needs to be patched */
382     long value;
383 };
384
385 #define IA64_PLT(insn, plt_index)                       \
386 do {                                                    \
387     struct ia64_fixup *fixup = alloca(sizeof(*fixup));  \
388     fixup->next = plt_fixes;                            \
389     plt_fixes = fixup;                                  \
390     fixup->addr = (insn);                               \
391     fixup->value = (plt_index);                         \
392     plt_offset[(plt_index)] = 1;                        \
393 } while (0)
394
395 #define IA64_LTOFF(insn, val, relaxable)                        \
396 do {                                                            \
397     if (ia64_patch_ltoff(insn, val, relaxable)) {               \
398         struct ia64_fixup *fixup = alloca(sizeof(*fixup));      \
399         fixup->next = ltoff_fixes;                              \
400         ltoff_fixes = fixup;                                    \
401         fixup->addr = (insn);                                   \
402         fixup->value = (val);                                   \
403     }                                                           \
404 } while (0)
405
406 static inline void ia64_apply_fixes (uint8_t **gen_code_pp,
407                                      struct ia64_fixup *ltoff_fixes,
408                                      uint64_t gp,
409                                      struct ia64_fixup *plt_fixes,
410                                      int num_plts,
411                                      unsigned long *plt_target,
412                                      unsigned int *plt_offset)
413 {
414     static const uint8_t plt_bundle[] = {
415         0x04, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, /* nop 0; movl r1=GP */
416         0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x60,
417
418         0x05, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, /* nop 0; brl IP */
419         0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0
420     };
421     uint8_t *gen_code_ptr = *gen_code_pp, *plt_start, *got_start, *vp;
422     struct ia64_fixup *fixup;
423     unsigned int offset = 0;
424     struct fdesc {
425         long ip;
426         long gp;
427     } *fdesc;
428     int i;
429
430     if (plt_fixes) {
431         plt_start = gen_code_ptr;
432
433         for (i = 0; i < num_plts; ++i) {
434             if (plt_offset[i]) {
435                 plt_offset[i] = offset;
436                 offset += sizeof(plt_bundle);
437
438                 fdesc = (struct fdesc *) plt_target[i];
439                 memcpy(gen_code_ptr, plt_bundle, sizeof(plt_bundle));
440                 ia64_imm64 (gen_code_ptr + 0x02, fdesc->gp);
441                 ia64_imm60b(gen_code_ptr + 0x12,
442                             (fdesc->ip - (long) (gen_code_ptr + 0x10)) >> 4);
443                 gen_code_ptr += sizeof(plt_bundle);
444             }
445         }
446
447         for (fixup = plt_fixes; fixup; fixup = fixup->next)
448             ia64_imm21b(fixup->addr,
449                         ((long) plt_start + plt_offset[fixup->value]
450                          - ((long) fixup->addr & ~0xf)) >> 4);
451     }
452
453     got_start = gen_code_ptr;
454
455     /* First, create the GOT: */
456     for (fixup = ltoff_fixes; fixup; fixup = fixup->next) {
457         /* first check if we already have this value in the GOT: */
458         for (vp = got_start; vp < gen_code_ptr; ++vp)
459             if (*(uint64_t *) vp == fixup->value)
460                 break;
461         if (vp == gen_code_ptr) {
462             /* Nope, we need to put the value in the GOT: */
463             *(uint64_t *) vp = fixup->value;
464             gen_code_ptr += 8;
465         }
466         ia64_imm22(fixup->addr, (long) vp - gp);
467     }
468     /* Keep code ptr aligned. */
469     if ((long) gen_code_ptr & 15)
470         gen_code_ptr += 8;
471     *gen_code_pp = gen_code_ptr;
472 }
473
474 #endif
Note: See TracBrowser for help on using the browser.

© 2008 Sun Microsystems, Inc.
ContactPrivacy policy