2 * Tiny Code Generator for QEMU
4 * Copyright (c) 2008 Fabrice Bellard
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
25 /* define it to use liveness analysis (better code) */
26 #define USE_LIVENESS_ANALYSIS
27 #define USE_TCG_OPTIMIZATIONS
29 #include "qemu/osdep.h"
31 /* Define to jump the ELF file used to communicate with GDB. */
34 #if !defined(CONFIG_DEBUG_TCG) && !defined(NDEBUG)
35 /* define it to suppress various consistency checks (faster) */
39 #include "qemu-common.h"
40 #include "qemu/host-utils.h"
41 #include "qemu/timer.h"
43 /* Note: the long term plan is to reduce the dependencies on the QEMU
44 CPU definitions. Currently they are used for qemu_ld/st
46 #define NO_CPU_IO_DEFS
51 #if UINTPTR_MAX == UINT32_MAX
52 # define ELF_CLASS ELFCLASS32
54 # define ELF_CLASS ELFCLASS64
56 #ifdef HOST_WORDS_BIGENDIAN
57 # define ELF_DATA ELFDATA2MSB
59 # define ELF_DATA ELFDATA2LSB
64 /* Forward declarations for functions declared in tcg-target.c and used here. */
65 static void tcg_target_init(TCGContext
*s
);
66 static void tcg_target_qemu_prologue(TCGContext
*s
);
67 static void patch_reloc(tcg_insn_unit
*code_ptr
, int type
,
68 intptr_t value
, intptr_t addend
);
70 /* The CIE and FDE header definitions will be common to all hosts. */
72 uint32_t len
__attribute__((aligned((sizeof(void *)))));
78 uint8_t return_column
;
81 typedef struct QEMU_PACKED
{
82 uint32_t len
__attribute__((aligned((sizeof(void *)))));
86 } DebugFrameFDEHeader
;
88 typedef struct QEMU_PACKED
{
90 DebugFrameFDEHeader fde
;
93 static void tcg_register_jit_int(void *buf
, size_t size
,
94 const void *debug_frame
,
95 size_t debug_frame_size
)
96 __attribute__((unused
));
98 /* Forward declarations for functions declared and used in tcg-target.c. */
99 static int target_parse_constraint(TCGArgConstraint
*ct
, const char **pct_str
);
100 static void tcg_out_ld(TCGContext
*s
, TCGType type
, TCGReg ret
, TCGReg arg1
,
102 static void tcg_out_mov(TCGContext
*s
, TCGType type
, TCGReg ret
, TCGReg arg
);
103 static void tcg_out_movi(TCGContext
*s
, TCGType type
,
104 TCGReg ret
, tcg_target_long arg
);
105 static void tcg_out_op(TCGContext
*s
, TCGOpcode opc
, const TCGArg
*args
,
106 const int *const_args
);
107 static void tcg_out_st(TCGContext
*s
, TCGType type
, TCGReg arg
, TCGReg arg1
,
109 static void tcg_out_call(TCGContext
*s
, tcg_insn_unit
*target
);
110 static int tcg_target_const_match(tcg_target_long val
, TCGType type
,
111 const TCGArgConstraint
*arg_ct
);
112 static void tcg_out_tb_init(TCGContext
*s
);
113 static void tcg_out_tb_finalize(TCGContext
*s
);
117 static TCGRegSet tcg_target_available_regs
[2];
118 static TCGRegSet tcg_target_call_clobber_regs
;
120 #if TCG_TARGET_INSN_UNIT_SIZE == 1
121 static __attribute__((unused
)) inline void tcg_out8(TCGContext
*s
, uint8_t v
)
126 static __attribute__((unused
)) inline void tcg_patch8(tcg_insn_unit
*p
,
133 #if TCG_TARGET_INSN_UNIT_SIZE <= 2
134 static __attribute__((unused
)) inline void tcg_out16(TCGContext
*s
, uint16_t v
)
136 if (TCG_TARGET_INSN_UNIT_SIZE
== 2) {
139 tcg_insn_unit
*p
= s
->code_ptr
;
140 memcpy(p
, &v
, sizeof(v
));
141 s
->code_ptr
= p
+ (2 / TCG_TARGET_INSN_UNIT_SIZE
);
145 static __attribute__((unused
)) inline void tcg_patch16(tcg_insn_unit
*p
,
148 if (TCG_TARGET_INSN_UNIT_SIZE
== 2) {
151 memcpy(p
, &v
, sizeof(v
));
156 #if TCG_TARGET_INSN_UNIT_SIZE <= 4
157 static __attribute__((unused
)) inline void tcg_out32(TCGContext
*s
, uint32_t v
)
159 if (TCG_TARGET_INSN_UNIT_SIZE
== 4) {
162 tcg_insn_unit
*p
= s
->code_ptr
;
163 memcpy(p
, &v
, sizeof(v
));
164 s
->code_ptr
= p
+ (4 / TCG_TARGET_INSN_UNIT_SIZE
);
168 static __attribute__((unused
)) inline void tcg_patch32(tcg_insn_unit
*p
,
171 if (TCG_TARGET_INSN_UNIT_SIZE
== 4) {
174 memcpy(p
, &v
, sizeof(v
));
179 #if TCG_TARGET_INSN_UNIT_SIZE <= 8
180 static __attribute__((unused
)) inline void tcg_out64(TCGContext
*s
, uint64_t v
)
182 if (TCG_TARGET_INSN_UNIT_SIZE
== 8) {
185 tcg_insn_unit
*p
= s
->code_ptr
;
186 memcpy(p
, &v
, sizeof(v
));
187 s
->code_ptr
= p
+ (8 / TCG_TARGET_INSN_UNIT_SIZE
);
191 static __attribute__((unused
)) inline void tcg_patch64(tcg_insn_unit
*p
,
194 if (TCG_TARGET_INSN_UNIT_SIZE
== 8) {
197 memcpy(p
, &v
, sizeof(v
));
202 /* label relocation processing */
204 static void tcg_out_reloc(TCGContext
*s
, tcg_insn_unit
*code_ptr
, int type
,
205 TCGLabel
*l
, intptr_t addend
)
210 /* FIXME: This may break relocations on RISC targets that
211 modify instruction fields in place. The caller may not have
212 written the initial value. */
213 patch_reloc(code_ptr
, type
, l
->u
.value
, addend
);
215 /* add a new relocation entry */
216 r
= tcg_malloc(sizeof(TCGRelocation
));
220 r
->next
= l
->u
.first_reloc
;
221 l
->u
.first_reloc
= r
;
225 static void tcg_out_label(TCGContext
*s
, TCGLabel
*l
, tcg_insn_unit
*ptr
)
227 intptr_t value
= (intptr_t)ptr
;
230 assert(!l
->has_value
);
232 for (r
= l
->u
.first_reloc
; r
!= NULL
; r
= r
->next
) {
233 patch_reloc(r
->ptr
, r
->type
, value
, r
->addend
);
237 l
->u
.value_ptr
= ptr
;
240 TCGLabel
*gen_new_label(void)
242 TCGContext
*s
= &tcg_ctx
;
243 TCGLabel
*l
= tcg_malloc(sizeof(TCGLabel
));
252 #include "tcg-target.c"
254 /* pool based memory allocation */
255 void *tcg_malloc_internal(TCGContext
*s
, int size
)
260 if (size
> TCG_POOL_CHUNK_SIZE
) {
261 /* big malloc: insert a new pool (XXX: could optimize) */
262 p
= g_malloc(sizeof(TCGPool
) + size
);
264 p
->next
= s
->pool_first_large
;
265 s
->pool_first_large
= p
;
276 pool_size
= TCG_POOL_CHUNK_SIZE
;
277 p
= g_malloc(sizeof(TCGPool
) + pool_size
);
281 s
->pool_current
->next
= p
;
290 s
->pool_cur
= p
->data
+ size
;
291 s
->pool_end
= p
->data
+ p
->size
;
295 void tcg_pool_reset(TCGContext
*s
)
298 for (p
= s
->pool_first_large
; p
; p
= t
) {
302 s
->pool_first_large
= NULL
;
303 s
->pool_cur
= s
->pool_end
= NULL
;
304 s
->pool_current
= NULL
;
307 typedef struct TCGHelperInfo
{
314 #include "exec/helper-proto.h"
316 static const TCGHelperInfo all_helpers
[] = {
317 #include "exec/helper-tcg.h"
320 void tcg_context_init(TCGContext
*s
)
322 int op
, total_args
, n
, i
;
324 TCGArgConstraint
*args_ct
;
326 GHashTable
*helper_table
;
328 memset(s
, 0, sizeof(*s
));
331 /* Count total number of arguments and allocate the corresponding
334 for(op
= 0; op
< NB_OPS
; op
++) {
335 def
= &tcg_op_defs
[op
];
336 n
= def
->nb_iargs
+ def
->nb_oargs
;
340 args_ct
= g_malloc(sizeof(TCGArgConstraint
) * total_args
);
341 sorted_args
= g_malloc(sizeof(int) * total_args
);
343 for(op
= 0; op
< NB_OPS
; op
++) {
344 def
= &tcg_op_defs
[op
];
345 def
->args_ct
= args_ct
;
346 def
->sorted_args
= sorted_args
;
347 n
= def
->nb_iargs
+ def
->nb_oargs
;
352 /* Register helpers. */
353 /* Use g_direct_hash/equal for direct pointer comparisons on func. */
354 s
->helpers
= helper_table
= g_hash_table_new(NULL
, NULL
);
356 for (i
= 0; i
< ARRAY_SIZE(all_helpers
); ++i
) {
357 g_hash_table_insert(helper_table
, (gpointer
)all_helpers
[i
].func
,
358 (gpointer
)&all_helpers
[i
]);
364 void tcg_prologue_init(TCGContext
*s
)
366 size_t prologue_size
, total_size
;
369 /* Put the prologue at the beginning of code_gen_buffer. */
370 buf0
= s
->code_gen_buffer
;
373 s
->code_gen_prologue
= buf0
;
375 /* Generate the prologue. */
376 tcg_target_qemu_prologue(s
);
378 flush_icache_range((uintptr_t)buf0
, (uintptr_t)buf1
);
380 /* Deduct the prologue from the buffer. */
381 prologue_size
= tcg_current_code_size(s
);
382 s
->code_gen_ptr
= buf1
;
383 s
->code_gen_buffer
= buf1
;
385 total_size
= s
->code_gen_buffer_size
- prologue_size
;
386 s
->code_gen_buffer_size
= total_size
;
388 /* Compute a high-water mark, at which we voluntarily flush the buffer
389 and start over. The size here is arbitrary, significantly larger
390 than we expect the code generation for any one opcode to require. */
391 /* ??? We currently have no good estimate for, or checks in,
392 tcg_out_tb_finalize. If there are quite a lot of guest memory ops,
393 the number of out-of-line fragments could be quite high. In the
394 short-term, increase the highwater buffer. */
395 s
->code_gen_highwater
= s
->code_gen_buffer
+ (total_size
- 64*1024);
397 tcg_register_jit(s
->code_gen_buffer
, total_size
);
400 if (qemu_loglevel_mask(CPU_LOG_TB_OUT_ASM
)) {
401 qemu_log("PROLOGUE: [size=%zu]\n", prologue_size
);
402 log_disas(buf0
, prologue_size
);
409 void tcg_set_frame(TCGContext
*s
, int reg
, intptr_t start
, intptr_t size
)
411 s
->frame_start
= start
;
412 s
->frame_end
= start
+ size
;
416 void tcg_func_start(TCGContext
*s
)
419 s
->nb_temps
= s
->nb_globals
;
421 /* No temps have been previously allocated for size or locality. */
422 memset(s
->free_temps
, 0, sizeof(s
->free_temps
));
425 s
->current_frame_offset
= s
->frame_start
;
427 #ifdef CONFIG_DEBUG_TCG
428 s
->goto_tb_issue_mask
= 0;
431 s
->gen_first_op_idx
= 0;
432 s
->gen_last_op_idx
= -1;
433 s
->gen_next_op_idx
= 0;
434 s
->gen_next_parm_idx
= 0;
436 s
->be
= tcg_malloc(sizeof(TCGBackendData
));
439 static inline void tcg_temp_alloc(TCGContext
*s
, int n
)
441 if (n
> TCG_MAX_TEMPS
)
445 static inline int tcg_global_reg_new_internal(TCGType type
, int reg
,
448 TCGContext
*s
= &tcg_ctx
;
452 #if TCG_TARGET_REG_BITS == 32
453 if (type
!= TCG_TYPE_I32
)
456 if (tcg_regset_test_reg(s
->reserved_regs
, reg
))
459 tcg_temp_alloc(s
, s
->nb_globals
+ 1);
460 ts
= &s
->temps
[s
->nb_globals
];
461 ts
->base_type
= type
;
467 tcg_regset_set_reg(s
->reserved_regs
, reg
);
471 TCGv_i32
tcg_global_reg_new_i32(int reg
, const char *name
)
475 idx
= tcg_global_reg_new_internal(TCG_TYPE_I32
, reg
, name
);
476 return MAKE_TCGV_I32(idx
);
479 TCGv_i64
tcg_global_reg_new_i64(int reg
, const char *name
)
483 idx
= tcg_global_reg_new_internal(TCG_TYPE_I64
, reg
, name
);
484 return MAKE_TCGV_I64(idx
);
487 static inline int tcg_global_mem_new_internal(TCGType type
, int reg
,
491 TCGContext
*s
= &tcg_ctx
;
496 #if TCG_TARGET_REG_BITS == 32
497 if (type
== TCG_TYPE_I64
) {
499 tcg_temp_alloc(s
, s
->nb_globals
+ 2);
500 ts
= &s
->temps
[s
->nb_globals
];
501 ts
->base_type
= type
;
502 ts
->type
= TCG_TYPE_I32
;
504 ts
->mem_allocated
= 1;
506 #ifdef HOST_WORDS_BIGENDIAN
507 ts
->mem_offset
= offset
+ 4;
509 ts
->mem_offset
= offset
;
511 pstrcpy(buf
, sizeof(buf
), name
);
512 pstrcat(buf
, sizeof(buf
), "_0");
513 ts
->name
= strdup(buf
);
516 ts
->base_type
= type
;
517 ts
->type
= TCG_TYPE_I32
;
519 ts
->mem_allocated
= 1;
521 #ifdef HOST_WORDS_BIGENDIAN
522 ts
->mem_offset
= offset
;
524 ts
->mem_offset
= offset
+ 4;
526 pstrcpy(buf
, sizeof(buf
), name
);
527 pstrcat(buf
, sizeof(buf
), "_1");
528 ts
->name
= strdup(buf
);
534 tcg_temp_alloc(s
, s
->nb_globals
+ 1);
535 ts
= &s
->temps
[s
->nb_globals
];
536 ts
->base_type
= type
;
539 ts
->mem_allocated
= 1;
541 ts
->mem_offset
= offset
;
548 TCGv_i32
tcg_global_mem_new_i32(int reg
, intptr_t offset
, const char *name
)
550 int idx
= tcg_global_mem_new_internal(TCG_TYPE_I32
, reg
, offset
, name
);
551 return MAKE_TCGV_I32(idx
);
554 TCGv_i64
tcg_global_mem_new_i64(int reg
, intptr_t offset
, const char *name
)
556 int idx
= tcg_global_mem_new_internal(TCG_TYPE_I64
, reg
, offset
, name
);
557 return MAKE_TCGV_I64(idx
);
560 static inline int tcg_temp_new_internal(TCGType type
, int temp_local
)
562 TCGContext
*s
= &tcg_ctx
;
566 k
= type
+ (temp_local
? TCG_TYPE_COUNT
: 0);
567 idx
= find_first_bit(s
->free_temps
[k
].l
, TCG_MAX_TEMPS
);
568 if (idx
< TCG_MAX_TEMPS
) {
569 /* There is already an available temp with the right type. */
570 clear_bit(idx
, s
->free_temps
[k
].l
);
573 ts
->temp_allocated
= 1;
574 assert(ts
->base_type
== type
);
575 assert(ts
->temp_local
== temp_local
);
578 #if TCG_TARGET_REG_BITS == 32
579 if (type
== TCG_TYPE_I64
) {
580 tcg_temp_alloc(s
, s
->nb_temps
+ 2);
581 ts
= &s
->temps
[s
->nb_temps
];
582 ts
->base_type
= type
;
583 ts
->type
= TCG_TYPE_I32
;
584 ts
->temp_allocated
= 1;
585 ts
->temp_local
= temp_local
;
588 ts
->base_type
= type
;
589 ts
->type
= TCG_TYPE_I32
;
590 ts
->temp_allocated
= 1;
591 ts
->temp_local
= temp_local
;
597 tcg_temp_alloc(s
, s
->nb_temps
+ 1);
598 ts
= &s
->temps
[s
->nb_temps
];
599 ts
->base_type
= type
;
601 ts
->temp_allocated
= 1;
602 ts
->temp_local
= temp_local
;
608 #if defined(CONFIG_DEBUG_TCG)
614 TCGv_i32
tcg_temp_new_internal_i32(int temp_local
)
618 idx
= tcg_temp_new_internal(TCG_TYPE_I32
, temp_local
);
619 return MAKE_TCGV_I32(idx
);
622 TCGv_i64
tcg_temp_new_internal_i64(int temp_local
)
626 idx
= tcg_temp_new_internal(TCG_TYPE_I64
, temp_local
);
627 return MAKE_TCGV_I64(idx
);
630 static void tcg_temp_free_internal(int idx
)
632 TCGContext
*s
= &tcg_ctx
;
636 #if defined(CONFIG_DEBUG_TCG)
638 if (s
->temps_in_use
< 0) {
639 fprintf(stderr
, "More temporaries freed than allocated!\n");
643 assert(idx
>= s
->nb_globals
&& idx
< s
->nb_temps
);
645 assert(ts
->temp_allocated
!= 0);
646 ts
->temp_allocated
= 0;
648 k
= ts
->base_type
+ (ts
->temp_local
? TCG_TYPE_COUNT
: 0);
649 set_bit(idx
, s
->free_temps
[k
].l
);
652 void tcg_temp_free_i32(TCGv_i32 arg
)
654 tcg_temp_free_internal(GET_TCGV_I32(arg
));
657 void tcg_temp_free_i64(TCGv_i64 arg
)
659 tcg_temp_free_internal(GET_TCGV_I64(arg
));
662 TCGv_i32
tcg_const_i32(int32_t val
)
665 t0
= tcg_temp_new_i32();
666 tcg_gen_movi_i32(t0
, val
);
670 TCGv_i64
tcg_const_i64(int64_t val
)
673 t0
= tcg_temp_new_i64();
674 tcg_gen_movi_i64(t0
, val
);
678 TCGv_i32
tcg_const_local_i32(int32_t val
)
681 t0
= tcg_temp_local_new_i32();
682 tcg_gen_movi_i32(t0
, val
);
686 TCGv_i64
tcg_const_local_i64(int64_t val
)
689 t0
= tcg_temp_local_new_i64();
690 tcg_gen_movi_i64(t0
, val
);
694 #if defined(CONFIG_DEBUG_TCG)
695 void tcg_clear_temp_count(void)
697 TCGContext
*s
= &tcg_ctx
;
701 int tcg_check_temp_count(void)
703 TCGContext
*s
= &tcg_ctx
;
704 if (s
->temps_in_use
) {
705 /* Clear the count so that we don't give another
706 * warning immediately next time around.
715 /* Note: we convert the 64 bit args to 32 bit and do some alignment
716 and endian swap. Maybe it would be better to do the alignment
717 and endian swap in tcg_reg_alloc_call(). */
718 void tcg_gen_callN(TCGContext
*s
, void *func
, TCGArg ret
,
719 int nargs
, TCGArg
*args
)
721 int i
, real_args
, nb_rets
, pi
, pi_first
;
722 unsigned sizemask
, flags
;
725 info
= g_hash_table_lookup(s
->helpers
, (gpointer
)func
);
727 sizemask
= info
->sizemask
;
729 #if defined(__sparc__) && !defined(__arch64__) \
730 && !defined(CONFIG_TCG_INTERPRETER)
731 /* We have 64-bit values in one register, but need to pass as two
732 separate parameters. Split them. */
733 int orig_sizemask
= sizemask
;
734 int orig_nargs
= nargs
;
737 TCGV_UNUSED_I64(retl
);
738 TCGV_UNUSED_I64(reth
);
740 TCGArg
*split_args
= __builtin_alloca(sizeof(TCGArg
) * nargs
* 2);
741 for (i
= real_args
= 0; i
< nargs
; ++i
) {
742 int is_64bit
= sizemask
& (1 << (i
+1)*2);
744 TCGv_i64 orig
= MAKE_TCGV_I64(args
[i
]);
745 TCGv_i32 h
= tcg_temp_new_i32();
746 TCGv_i32 l
= tcg_temp_new_i32();
747 tcg_gen_extr_i64_i32(l
, h
, orig
);
748 split_args
[real_args
++] = GET_TCGV_I32(h
);
749 split_args
[real_args
++] = GET_TCGV_I32(l
);
751 split_args
[real_args
++] = args
[i
];
758 #elif defined(TCG_TARGET_EXTEND_ARGS) && TCG_TARGET_REG_BITS == 64
759 for (i
= 0; i
< nargs
; ++i
) {
760 int is_64bit
= sizemask
& (1 << (i
+1)*2);
761 int is_signed
= sizemask
& (2 << (i
+1)*2);
763 TCGv_i64 temp
= tcg_temp_new_i64();
764 TCGv_i64 orig
= MAKE_TCGV_I64(args
[i
]);
766 tcg_gen_ext32s_i64(temp
, orig
);
768 tcg_gen_ext32u_i64(temp
, orig
);
770 args
[i
] = GET_TCGV_I64(temp
);
773 #endif /* TCG_TARGET_EXTEND_ARGS */
775 pi_first
= pi
= s
->gen_next_parm_idx
;
776 if (ret
!= TCG_CALL_DUMMY_ARG
) {
777 #if defined(__sparc__) && !defined(__arch64__) \
778 && !defined(CONFIG_TCG_INTERPRETER)
779 if (orig_sizemask
& 1) {
780 /* The 32-bit ABI is going to return the 64-bit value in
781 the %o0/%o1 register pair. Prepare for this by using
782 two return temporaries, and reassemble below. */
783 retl
= tcg_temp_new_i64();
784 reth
= tcg_temp_new_i64();
785 s
->gen_opparam_buf
[pi
++] = GET_TCGV_I64(reth
);
786 s
->gen_opparam_buf
[pi
++] = GET_TCGV_I64(retl
);
789 s
->gen_opparam_buf
[pi
++] = ret
;
793 if (TCG_TARGET_REG_BITS
< 64 && (sizemask
& 1)) {
794 #ifdef HOST_WORDS_BIGENDIAN
795 s
->gen_opparam_buf
[pi
++] = ret
+ 1;
796 s
->gen_opparam_buf
[pi
++] = ret
;
798 s
->gen_opparam_buf
[pi
++] = ret
;
799 s
->gen_opparam_buf
[pi
++] = ret
+ 1;
803 s
->gen_opparam_buf
[pi
++] = ret
;
811 for (i
= 0; i
< nargs
; i
++) {
812 int is_64bit
= sizemask
& (1 << (i
+1)*2);
813 if (TCG_TARGET_REG_BITS
< 64 && is_64bit
) {
814 #ifdef TCG_TARGET_CALL_ALIGN_ARGS
815 /* some targets want aligned 64 bit args */
817 s
->gen_opparam_buf
[pi
++] = TCG_CALL_DUMMY_ARG
;
821 /* If stack grows up, then we will be placing successive
822 arguments at lower addresses, which means we need to
823 reverse the order compared to how we would normally
824 treat either big or little-endian. For those arguments
825 that will wind up in registers, this still works for
826 HPPA (the only current STACK_GROWSUP target) since the
827 argument registers are *also* allocated in decreasing
828 order. If another such target is added, this logic may
829 have to get more complicated to differentiate between
830 stack arguments and register arguments. */
831 #if defined(HOST_WORDS_BIGENDIAN) != defined(TCG_TARGET_STACK_GROWSUP)
832 s
->gen_opparam_buf
[pi
++] = args
[i
] + 1;
833 s
->gen_opparam_buf
[pi
++] = args
[i
];
835 s
->gen_opparam_buf
[pi
++] = args
[i
];
836 s
->gen_opparam_buf
[pi
++] = args
[i
] + 1;
842 s
->gen_opparam_buf
[pi
++] = args
[i
];
845 s
->gen_opparam_buf
[pi
++] = (uintptr_t)func
;
846 s
->gen_opparam_buf
[pi
++] = flags
;
848 i
= s
->gen_next_op_idx
;
849 tcg_debug_assert(i
< OPC_BUF_SIZE
);
850 tcg_debug_assert(pi
<= OPPARAM_BUF_SIZE
);
852 /* Set links for sequential allocation during translation. */
853 s
->gen_op_buf
[i
] = (TCGOp
){
854 .opc
= INDEX_op_call
,
862 /* Make sure the calli field didn't overflow. */
863 tcg_debug_assert(s
->gen_op_buf
[i
].calli
== real_args
);
865 s
->gen_last_op_idx
= i
;
866 s
->gen_next_op_idx
= i
+ 1;
867 s
->gen_next_parm_idx
= pi
;
869 #if defined(__sparc__) && !defined(__arch64__) \
870 && !defined(CONFIG_TCG_INTERPRETER)
871 /* Free all of the parts we allocated above. */
872 for (i
= real_args
= 0; i
< orig_nargs
; ++i
) {
873 int is_64bit
= orig_sizemask
& (1 << (i
+1)*2);
875 TCGv_i32 h
= MAKE_TCGV_I32(args
[real_args
++]);
876 TCGv_i32 l
= MAKE_TCGV_I32(args
[real_args
++]);
877 tcg_temp_free_i32(h
);
878 tcg_temp_free_i32(l
);
883 if (orig_sizemask
& 1) {
884 /* The 32-bit ABI returned two 32-bit pieces. Re-assemble them.
885 Note that describing these as TCGv_i64 eliminates an unnecessary
886 zero-extension that tcg_gen_concat_i32_i64 would create. */
887 tcg_gen_concat32_i64(MAKE_TCGV_I64(ret
), retl
, reth
);
888 tcg_temp_free_i64(retl
);
889 tcg_temp_free_i64(reth
);
891 #elif defined(TCG_TARGET_EXTEND_ARGS) && TCG_TARGET_REG_BITS == 64
892 for (i
= 0; i
< nargs
; ++i
) {
893 int is_64bit
= sizemask
& (1 << (i
+1)*2);
895 TCGv_i64 temp
= MAKE_TCGV_I64(args
[i
]);
896 tcg_temp_free_i64(temp
);
899 #endif /* TCG_TARGET_EXTEND_ARGS */
902 static void tcg_reg_alloc_start(TCGContext
*s
)
906 for(i
= 0; i
< s
->nb_globals
; i
++) {
909 ts
->val_type
= TEMP_VAL_REG
;
911 ts
->val_type
= TEMP_VAL_MEM
;
914 for(i
= s
->nb_globals
; i
< s
->nb_temps
; i
++) {
916 if (ts
->temp_local
) {
917 ts
->val_type
= TEMP_VAL_MEM
;
919 ts
->val_type
= TEMP_VAL_DEAD
;
921 ts
->mem_allocated
= 0;
924 for(i
= 0; i
< TCG_TARGET_NB_REGS
; i
++) {
925 s
->reg_to_temp
[i
] = -1;
929 static char *tcg_get_arg_str_idx(TCGContext
*s
, char *buf
, int buf_size
,
934 assert(idx
>= 0 && idx
< s
->nb_temps
);
936 if (idx
< s
->nb_globals
) {
937 pstrcpy(buf
, buf_size
, ts
->name
);
940 snprintf(buf
, buf_size
, "loc%d", idx
- s
->nb_globals
);
942 snprintf(buf
, buf_size
, "tmp%d", idx
- s
->nb_globals
);
947 char *tcg_get_arg_str_i32(TCGContext
*s
, char *buf
, int buf_size
, TCGv_i32 arg
)
949 return tcg_get_arg_str_idx(s
, buf
, buf_size
, GET_TCGV_I32(arg
));
952 char *tcg_get_arg_str_i64(TCGContext
*s
, char *buf
, int buf_size
, TCGv_i64 arg
)
954 return tcg_get_arg_str_idx(s
, buf
, buf_size
, GET_TCGV_I64(arg
));
957 /* Find helper name. */
958 static inline const char *tcg_find_helper(TCGContext
*s
, uintptr_t val
)
960 const char *ret
= NULL
;
962 TCGHelperInfo
*info
= g_hash_table_lookup(s
->helpers
, (gpointer
)val
);
970 static const char * const cond_name
[] =
972 [TCG_COND_NEVER
] = "never",
973 [TCG_COND_ALWAYS
] = "always",
974 [TCG_COND_EQ
] = "eq",
975 [TCG_COND_NE
] = "ne",
976 [TCG_COND_LT
] = "lt",
977 [TCG_COND_GE
] = "ge",
978 [TCG_COND_LE
] = "le",
979 [TCG_COND_GT
] = "gt",
980 [TCG_COND_LTU
] = "ltu",
981 [TCG_COND_GEU
] = "geu",
982 [TCG_COND_LEU
] = "leu",
983 [TCG_COND_GTU
] = "gtu"
986 static const char * const ldst_name
[] =
1002 void tcg_dump_ops(TCGContext
*s
)
1008 for (oi
= s
->gen_first_op_idx
; oi
>= 0; oi
= op
->next
) {
1009 int i
, k
, nb_oargs
, nb_iargs
, nb_cargs
;
1010 const TCGOpDef
*def
;
1014 op
= &s
->gen_op_buf
[oi
];
1016 def
= &tcg_op_defs
[c
];
1017 args
= &s
->gen_opparam_buf
[op
->args
];
1019 if (c
== INDEX_op_insn_start
) {
1020 qemu_log("%s ----", oi
!= s
->gen_first_op_idx
? "\n" : "");
1022 for (i
= 0; i
< TARGET_INSN_START_WORDS
; ++i
) {
1024 #if TARGET_LONG_BITS > TCG_TARGET_REG_BITS
1025 a
= ((target_ulong
)args
[i
* 2 + 1] << 32) | args
[i
* 2];
1029 qemu_log(" " TARGET_FMT_lx
, a
);
1031 } else if (c
== INDEX_op_call
) {
1032 /* variable number of arguments */
1033 nb_oargs
= op
->callo
;
1034 nb_iargs
= op
->calli
;
1035 nb_cargs
= def
->nb_cargs
;
1037 /* function name, flags, out args */
1038 qemu_log(" %s %s,$0x%" TCG_PRIlx
",$%d", def
->name
,
1039 tcg_find_helper(s
, args
[nb_oargs
+ nb_iargs
]),
1040 args
[nb_oargs
+ nb_iargs
+ 1], nb_oargs
);
1041 for (i
= 0; i
< nb_oargs
; i
++) {
1042 qemu_log(",%s", tcg_get_arg_str_idx(s
, buf
, sizeof(buf
),
1045 for (i
= 0; i
< nb_iargs
; i
++) {
1046 TCGArg arg
= args
[nb_oargs
+ i
];
1047 const char *t
= "<dummy>";
1048 if (arg
!= TCG_CALL_DUMMY_ARG
) {
1049 t
= tcg_get_arg_str_idx(s
, buf
, sizeof(buf
), arg
);
1054 qemu_log(" %s ", def
->name
);
1056 nb_oargs
= def
->nb_oargs
;
1057 nb_iargs
= def
->nb_iargs
;
1058 nb_cargs
= def
->nb_cargs
;
1061 for (i
= 0; i
< nb_oargs
; i
++) {
1065 qemu_log("%s", tcg_get_arg_str_idx(s
, buf
, sizeof(buf
),
1068 for (i
= 0; i
< nb_iargs
; i
++) {
1072 qemu_log("%s", tcg_get_arg_str_idx(s
, buf
, sizeof(buf
),
1076 case INDEX_op_brcond_i32
:
1077 case INDEX_op_setcond_i32
:
1078 case INDEX_op_movcond_i32
:
1079 case INDEX_op_brcond2_i32
:
1080 case INDEX_op_setcond2_i32
:
1081 case INDEX_op_brcond_i64
:
1082 case INDEX_op_setcond_i64
:
1083 case INDEX_op_movcond_i64
:
1084 if (args
[k
] < ARRAY_SIZE(cond_name
) && cond_name
[args
[k
]]) {
1085 qemu_log(",%s", cond_name
[args
[k
++]]);
1087 qemu_log(",$0x%" TCG_PRIlx
, args
[k
++]);
1091 case INDEX_op_qemu_ld_i32
:
1092 case INDEX_op_qemu_st_i32
:
1093 case INDEX_op_qemu_ld_i64
:
1094 case INDEX_op_qemu_st_i64
:
1096 TCGMemOpIdx oi
= args
[k
++];
1097 TCGMemOp op
= get_memop(oi
);
1098 unsigned ix
= get_mmuidx(oi
);
1100 if (op
& ~(MO_AMASK
| MO_BSWAP
| MO_SSIZE
)) {
1101 qemu_log(",$0x%x,%u", op
, ix
);
1103 const char *s_al
= "", *s_op
;
1104 if (op
& MO_AMASK
) {
1105 if ((op
& MO_AMASK
) == MO_ALIGN
) {
1111 s_op
= ldst_name
[op
& (MO_BSWAP
| MO_SSIZE
)];
1112 qemu_log(",%s%s,%u", s_al
, s_op
, ix
);
1122 case INDEX_op_set_label
:
1124 case INDEX_op_brcond_i32
:
1125 case INDEX_op_brcond_i64
:
1126 case INDEX_op_brcond2_i32
:
1127 qemu_log("%s$L%d", k
? "," : "", arg_label(args
[k
])->id
);
1133 for (; i
< nb_cargs
; i
++, k
++) {
1134 qemu_log("%s$0x%" TCG_PRIlx
, k
? "," : "", args
[k
]);
1141 /* we give more priority to constraints with less registers */
1142 static int get_constraint_priority(const TCGOpDef
*def
, int k
)
1144 const TCGArgConstraint
*arg_ct
;
1147 arg_ct
= &def
->args_ct
[k
];
1148 if (arg_ct
->ct
& TCG_CT_ALIAS
) {
1149 /* an alias is equivalent to a single register */
1152 if (!(arg_ct
->ct
& TCG_CT_REG
))
1155 for(i
= 0; i
< TCG_TARGET_NB_REGS
; i
++) {
1156 if (tcg_regset_test_reg(arg_ct
->u
.regs
, i
))
1160 return TCG_TARGET_NB_REGS
- n
+ 1;
1163 /* sort from highest priority to lowest */
1164 static void sort_constraints(TCGOpDef
*def
, int start
, int n
)
1166 int i
, j
, p1
, p2
, tmp
;
1168 for(i
= 0; i
< n
; i
++)
1169 def
->sorted_args
[start
+ i
] = start
+ i
;
1172 for(i
= 0; i
< n
- 1; i
++) {
1173 for(j
= i
+ 1; j
< n
; j
++) {
1174 p1
= get_constraint_priority(def
, def
->sorted_args
[start
+ i
]);
1175 p2
= get_constraint_priority(def
, def
->sorted_args
[start
+ j
]);
1177 tmp
= def
->sorted_args
[start
+ i
];
1178 def
->sorted_args
[start
+ i
] = def
->sorted_args
[start
+ j
];
1179 def
->sorted_args
[start
+ j
] = tmp
;
1185 void tcg_add_target_add_op_defs(const TCGTargetOpDef
*tdefs
)
1193 if (tdefs
->op
== (TCGOpcode
)-1)
1196 assert((unsigned)op
< NB_OPS
);
1197 def
= &tcg_op_defs
[op
];
1198 #if defined(CONFIG_DEBUG_TCG)
1199 /* Duplicate entry in op definitions? */
1203 nb_args
= def
->nb_iargs
+ def
->nb_oargs
;
1204 for(i
= 0; i
< nb_args
; i
++) {
1205 ct_str
= tdefs
->args_ct_str
[i
];
1206 /* Incomplete TCGTargetOpDef entry? */
1207 assert(ct_str
!= NULL
);
1208 tcg_regset_clear(def
->args_ct
[i
].u
.regs
);
1209 def
->args_ct
[i
].ct
= 0;
1210 if (ct_str
[0] >= '0' && ct_str
[0] <= '9') {
1212 oarg
= ct_str
[0] - '0';
1213 assert(oarg
< def
->nb_oargs
);
1214 assert(def
->args_ct
[oarg
].ct
& TCG_CT_REG
);
1215 /* TCG_CT_ALIAS is for the output arguments. The input
1216 argument is tagged with TCG_CT_IALIAS. */
1217 def
->args_ct
[i
] = def
->args_ct
[oarg
];
1218 def
->args_ct
[oarg
].ct
= TCG_CT_ALIAS
;
1219 def
->args_ct
[oarg
].alias_index
= i
;
1220 def
->args_ct
[i
].ct
|= TCG_CT_IALIAS
;
1221 def
->args_ct
[i
].alias_index
= oarg
;
1224 if (*ct_str
== '\0')
1228 def
->args_ct
[i
].ct
|= TCG_CT_CONST
;
1232 if (target_parse_constraint(&def
->args_ct
[i
], &ct_str
) < 0) {
1233 fprintf(stderr
, "Invalid constraint '%s' for arg %d of operation '%s'\n",
1234 ct_str
, i
, def
->name
);
1242 /* TCGTargetOpDef entry with too much information? */
1243 assert(i
== TCG_MAX_OP_ARGS
|| tdefs
->args_ct_str
[i
] == NULL
);
1245 /* sort the constraints (XXX: this is just an heuristic) */
1246 sort_constraints(def
, 0, def
->nb_oargs
);
1247 sort_constraints(def
, def
->nb_oargs
, def
->nb_iargs
);
1253 printf("%s: sorted=", def
->name
);
1254 for(i
= 0; i
< def
->nb_oargs
+ def
->nb_iargs
; i
++)
1255 printf(" %d", def
->sorted_args
[i
]);
1262 #if defined(CONFIG_DEBUG_TCG)
1264 for (op
= 0; op
< tcg_op_defs_max
; op
++) {
1265 const TCGOpDef
*def
= &tcg_op_defs
[op
];
1266 if (def
->flags
& TCG_OPF_NOT_PRESENT
) {
1267 /* Wrong entry in op definitions? */
1269 fprintf(stderr
, "Invalid op definition for %s\n", def
->name
);
1273 /* Missing entry in op definitions? */
1275 fprintf(stderr
, "Missing op definition for %s\n", def
->name
);
1286 void tcg_op_remove(TCGContext
*s
, TCGOp
*op
)
1288 int next
= op
->next
;
1289 int prev
= op
->prev
;
1292 s
->gen_op_buf
[next
].prev
= prev
;
1294 s
->gen_last_op_idx
= prev
;
1297 s
->gen_op_buf
[prev
].next
= next
;
1299 s
->gen_first_op_idx
= next
;
1302 memset(op
, -1, sizeof(*op
));
1304 #ifdef CONFIG_PROFILER
1309 #ifdef USE_LIVENESS_ANALYSIS
1310 /* liveness analysis: end of function: all temps are dead, and globals
1311 should be in memory. */
1312 static inline void tcg_la_func_end(TCGContext
*s
, uint8_t *dead_temps
,
1315 memset(dead_temps
, 1, s
->nb_temps
);
1316 memset(mem_temps
, 1, s
->nb_globals
);
1317 memset(mem_temps
+ s
->nb_globals
, 0, s
->nb_temps
- s
->nb_globals
);
1320 /* liveness analysis: end of basic block: all temps are dead, globals
1321 and local temps should be in memory. */
1322 static inline void tcg_la_bb_end(TCGContext
*s
, uint8_t *dead_temps
,
1327 memset(dead_temps
, 1, s
->nb_temps
);
1328 memset(mem_temps
, 1, s
->nb_globals
);
1329 for(i
= s
->nb_globals
; i
< s
->nb_temps
; i
++) {
1330 mem_temps
[i
] = s
->temps
[i
].temp_local
;
1334 /* Liveness analysis : update the opc_dead_args array to tell if a
1335 given input arguments is dead. Instructions updating dead
1336 temporaries are removed. */
1337 static void tcg_liveness_analysis(TCGContext
*s
)
1339 uint8_t *dead_temps
, *mem_temps
;
1340 int oi
, oi_prev
, nb_ops
;
1342 nb_ops
= s
->gen_next_op_idx
;
1343 s
->op_dead_args
= tcg_malloc(nb_ops
* sizeof(uint16_t));
1344 s
->op_sync_args
= tcg_malloc(nb_ops
* sizeof(uint8_t));
1346 dead_temps
= tcg_malloc(s
->nb_temps
);
1347 mem_temps
= tcg_malloc(s
->nb_temps
);
1348 tcg_la_func_end(s
, dead_temps
, mem_temps
);
1350 for (oi
= s
->gen_last_op_idx
; oi
>= 0; oi
= oi_prev
) {
1351 int i
, nb_iargs
, nb_oargs
;
1352 TCGOpcode opc_new
, opc_new2
;
1358 TCGOp
* const op
= &s
->gen_op_buf
[oi
];
1359 TCGArg
* const args
= &s
->gen_opparam_buf
[op
->args
];
1360 TCGOpcode opc
= op
->opc
;
1361 const TCGOpDef
*def
= &tcg_op_defs
[opc
];
1370 nb_oargs
= op
->callo
;
1371 nb_iargs
= op
->calli
;
1372 call_flags
= args
[nb_oargs
+ nb_iargs
+ 1];
1374 /* pure functions can be removed if their result is unused */
1375 if (call_flags
& TCG_CALL_NO_SIDE_EFFECTS
) {
1376 for (i
= 0; i
< nb_oargs
; i
++) {
1378 if (!dead_temps
[arg
] || mem_temps
[arg
]) {
1379 goto do_not_remove_call
;
1386 /* output args are dead */
1389 for (i
= 0; i
< nb_oargs
; i
++) {
1391 if (dead_temps
[arg
]) {
1392 dead_args
|= (1 << i
);
1394 if (mem_temps
[arg
]) {
1395 sync_args
|= (1 << i
);
1397 dead_temps
[arg
] = 1;
1401 if (!(call_flags
& TCG_CALL_NO_READ_GLOBALS
)) {
1402 /* globals should be synced to memory */
1403 memset(mem_temps
, 1, s
->nb_globals
);
1405 if (!(call_flags
& (TCG_CALL_NO_WRITE_GLOBALS
|
1406 TCG_CALL_NO_READ_GLOBALS
))) {
1407 /* globals should go back to memory */
1408 memset(dead_temps
, 1, s
->nb_globals
);
1411 /* record arguments that die in this helper */
1412 for (i
= nb_oargs
; i
< nb_iargs
+ nb_oargs
; i
++) {
1414 if (arg
!= TCG_CALL_DUMMY_ARG
) {
1415 if (dead_temps
[arg
]) {
1416 dead_args
|= (1 << i
);
1420 /* input arguments are live for preceding opcodes */
1421 for (i
= nb_oargs
; i
< nb_oargs
+ nb_iargs
; i
++) {
1423 dead_temps
[arg
] = 0;
1425 s
->op_dead_args
[oi
] = dead_args
;
1426 s
->op_sync_args
[oi
] = sync_args
;
1430 case INDEX_op_insn_start
:
1432 case INDEX_op_discard
:
1433 /* mark the temporary as dead */
1434 dead_temps
[args
[0]] = 1;
1435 mem_temps
[args
[0]] = 0;
1438 case INDEX_op_add2_i32
:
1439 opc_new
= INDEX_op_add_i32
;
1441 case INDEX_op_sub2_i32
:
1442 opc_new
= INDEX_op_sub_i32
;
1444 case INDEX_op_add2_i64
:
1445 opc_new
= INDEX_op_add_i64
;
1447 case INDEX_op_sub2_i64
:
1448 opc_new
= INDEX_op_sub_i64
;
1452 /* Test if the high part of the operation is dead, but not
1453 the low part. The result can be optimized to a simple
1454 add or sub. This happens often for x86_64 guest when the
1455 cpu mode is set to 32 bit. */
1456 if (dead_temps
[args
[1]] && !mem_temps
[args
[1]]) {
1457 if (dead_temps
[args
[0]] && !mem_temps
[args
[0]]) {
1460 /* Replace the opcode and adjust the args in place,
1461 leaving 3 unused args at the end. */
1462 op
->opc
= opc
= opc_new
;
1465 /* Fall through and mark the single-word operation live. */
1471 case INDEX_op_mulu2_i32
:
1472 opc_new
= INDEX_op_mul_i32
;
1473 opc_new2
= INDEX_op_muluh_i32
;
1474 have_opc_new2
= TCG_TARGET_HAS_muluh_i32
;
1476 case INDEX_op_muls2_i32
:
1477 opc_new
= INDEX_op_mul_i32
;
1478 opc_new2
= INDEX_op_mulsh_i32
;
1479 have_opc_new2
= TCG_TARGET_HAS_mulsh_i32
;
1481 case INDEX_op_mulu2_i64
:
1482 opc_new
= INDEX_op_mul_i64
;
1483 opc_new2
= INDEX_op_muluh_i64
;
1484 have_opc_new2
= TCG_TARGET_HAS_muluh_i64
;
1486 case INDEX_op_muls2_i64
:
1487 opc_new
= INDEX_op_mul_i64
;
1488 opc_new2
= INDEX_op_mulsh_i64
;
1489 have_opc_new2
= TCG_TARGET_HAS_mulsh_i64
;
1494 if (dead_temps
[args
[1]] && !mem_temps
[args
[1]]) {
1495 if (dead_temps
[args
[0]] && !mem_temps
[args
[0]]) {
1496 /* Both parts of the operation are dead. */
1499 /* The high part of the operation is dead; generate the low. */
1500 op
->opc
= opc
= opc_new
;
1503 } else if (have_opc_new2
&& dead_temps
[args
[0]]
1504 && !mem_temps
[args
[0]]) {
1505 /* The low part of the operation is dead; generate the high. */
1506 op
->opc
= opc
= opc_new2
;
1513 /* Mark the single-word operation live. */
1518 /* XXX: optimize by hardcoding common cases (e.g. triadic ops) */
1519 nb_iargs
= def
->nb_iargs
;
1520 nb_oargs
= def
->nb_oargs
;
1522 /* Test if the operation can be removed because all
1523 its outputs are dead. We assume that nb_oargs == 0
1524 implies side effects */
1525 if (!(def
->flags
& TCG_OPF_SIDE_EFFECTS
) && nb_oargs
!= 0) {
1526 for (i
= 0; i
< nb_oargs
; i
++) {
1528 if (!dead_temps
[arg
] || mem_temps
[arg
]) {
1533 tcg_op_remove(s
, op
);
1536 /* output args are dead */
1539 for (i
= 0; i
< nb_oargs
; i
++) {
1541 if (dead_temps
[arg
]) {
1542 dead_args
|= (1 << i
);
1544 if (mem_temps
[arg
]) {
1545 sync_args
|= (1 << i
);
1547 dead_temps
[arg
] = 1;
1551 /* if end of basic block, update */
1552 if (def
->flags
& TCG_OPF_BB_END
) {
1553 tcg_la_bb_end(s
, dead_temps
, mem_temps
);
1554 } else if (def
->flags
& TCG_OPF_SIDE_EFFECTS
) {
1555 /* globals should be synced to memory */
1556 memset(mem_temps
, 1, s
->nb_globals
);
1559 /* record arguments that die in this opcode */
1560 for (i
= nb_oargs
; i
< nb_oargs
+ nb_iargs
; i
++) {
1562 if (dead_temps
[arg
]) {
1563 dead_args
|= (1 << i
);
1566 /* input arguments are live for preceding opcodes */
1567 for (i
= nb_oargs
; i
< nb_oargs
+ nb_iargs
; i
++) {
1569 dead_temps
[arg
] = 0;
1571 s
->op_dead_args
[oi
] = dead_args
;
1572 s
->op_sync_args
[oi
] = sync_args
;
1579 /* dummy liveness analysis */
1580 static void tcg_liveness_analysis(TCGContext
*s
)
1583 nb_ops
= s
->gen_opc_ptr
- s
->gen_opc_buf
;
1585 s
->op_dead_args
= tcg_malloc(nb_ops
* sizeof(uint16_t));
1586 memset(s
->op_dead_args
, 0, nb_ops
* sizeof(uint16_t));
1587 s
->op_sync_args
= tcg_malloc(nb_ops
* sizeof(uint8_t));
1588 memset(s
->op_sync_args
, 0, nb_ops
* sizeof(uint8_t));
1593 static void dump_regs(TCGContext
*s
)
1599 for(i
= 0; i
< s
->nb_temps
; i
++) {
1601 printf(" %10s: ", tcg_get_arg_str_idx(s
, buf
, sizeof(buf
), i
));
1602 switch(ts
->val_type
) {
1604 printf("%s", tcg_target_reg_names
[ts
->reg
]);
1607 printf("%d(%s)", (int)ts
->mem_offset
, tcg_target_reg_names
[ts
->mem_reg
]);
1609 case TEMP_VAL_CONST
:
1610 printf("$0x%" TCG_PRIlx
, ts
->val
);
1622 for(i
= 0; i
< TCG_TARGET_NB_REGS
; i
++) {
1623 if (s
->reg_to_temp
[i
] >= 0) {
1625 tcg_target_reg_names
[i
],
1626 tcg_get_arg_str_idx(s
, buf
, sizeof(buf
), s
->reg_to_temp
[i
]));
1631 static void check_regs(TCGContext
*s
)
1637 for(reg
= 0; reg
< TCG_TARGET_NB_REGS
; reg
++) {
1638 k
= s
->reg_to_temp
[reg
];
1641 if (ts
->val_type
!= TEMP_VAL_REG
||
1643 printf("Inconsistency for register %s:\n",
1644 tcg_target_reg_names
[reg
]);
1649 for(k
= 0; k
< s
->nb_temps
; k
++) {
1651 if (ts
->val_type
== TEMP_VAL_REG
&&
1653 s
->reg_to_temp
[ts
->reg
] != k
) {
1654 printf("Inconsistency for temp %s:\n",
1655 tcg_get_arg_str_idx(s
, buf
, sizeof(buf
), k
));
1657 printf("reg state:\n");
1665 static void temp_allocate_frame(TCGContext
*s
, int temp
)
1668 ts
= &s
->temps
[temp
];
1669 #if !(defined(__sparc__) && TCG_TARGET_REG_BITS == 64)
1670 /* Sparc64 stack is accessed with offset of 2047 */
1671 s
->current_frame_offset
= (s
->current_frame_offset
+
1672 (tcg_target_long
)sizeof(tcg_target_long
) - 1) &
1673 ~(sizeof(tcg_target_long
) - 1);
1675 if (s
->current_frame_offset
+ (tcg_target_long
)sizeof(tcg_target_long
) >
1679 ts
->mem_offset
= s
->current_frame_offset
;
1680 ts
->mem_reg
= s
->frame_reg
;
1681 ts
->mem_allocated
= 1;
1682 s
->current_frame_offset
+= sizeof(tcg_target_long
);
1685 /* sync register 'reg' by saving it to the corresponding temporary */
1686 static inline void tcg_reg_sync(TCGContext
*s
, int reg
)
1691 temp
= s
->reg_to_temp
[reg
];
1692 ts
= &s
->temps
[temp
];
1693 assert(ts
->val_type
== TEMP_VAL_REG
);
1694 if (!ts
->mem_coherent
&& !ts
->fixed_reg
) {
1695 if (!ts
->mem_allocated
) {
1696 temp_allocate_frame(s
, temp
);
1698 tcg_out_st(s
, ts
->type
, reg
, ts
->mem_reg
, ts
->mem_offset
);
1700 ts
->mem_coherent
= 1;
1703 /* free register 'reg' by spilling the corresponding temporary if necessary */
1704 static void tcg_reg_free(TCGContext
*s
, int reg
)
1708 temp
= s
->reg_to_temp
[reg
];
1710 tcg_reg_sync(s
, reg
);
1711 s
->temps
[temp
].val_type
= TEMP_VAL_MEM
;
1712 s
->reg_to_temp
[reg
] = -1;
1716 /* Allocate a register belonging to reg1 & ~reg2 */
1717 static int tcg_reg_alloc(TCGContext
*s
, TCGRegSet reg1
, TCGRegSet reg2
)
1722 tcg_regset_andnot(reg_ct
, reg1
, reg2
);
1724 /* first try free registers */
1725 for(i
= 0; i
< ARRAY_SIZE(tcg_target_reg_alloc_order
); i
++) {
1726 reg
= tcg_target_reg_alloc_order
[i
];
1727 if (tcg_regset_test_reg(reg_ct
, reg
) && s
->reg_to_temp
[reg
] == -1)
1731 /* XXX: do better spill choice */
1732 for(i
= 0; i
< ARRAY_SIZE(tcg_target_reg_alloc_order
); i
++) {
1733 reg
= tcg_target_reg_alloc_order
[i
];
1734 if (tcg_regset_test_reg(reg_ct
, reg
)) {
1735 tcg_reg_free(s
, reg
);
1743 /* mark a temporary as dead. */
1744 static inline void temp_dead(TCGContext
*s
, int temp
)
1748 ts
= &s
->temps
[temp
];
1749 if (!ts
->fixed_reg
) {
1750 if (ts
->val_type
== TEMP_VAL_REG
) {
1751 s
->reg_to_temp
[ts
->reg
] = -1;
1753 if (temp
< s
->nb_globals
|| ts
->temp_local
) {
1754 ts
->val_type
= TEMP_VAL_MEM
;
1756 ts
->val_type
= TEMP_VAL_DEAD
;
1761 /* sync a temporary to memory. 'allocated_regs' is used in case a
1762 temporary registers needs to be allocated to store a constant. */
1763 static inline void temp_sync(TCGContext
*s
, int temp
, TCGRegSet allocated_regs
)
1767 ts
= &s
->temps
[temp
];
1768 if (!ts
->fixed_reg
) {
1769 switch(ts
->val_type
) {
1770 case TEMP_VAL_CONST
:
1771 ts
->reg
= tcg_reg_alloc(s
, tcg_target_available_regs
[ts
->type
],
1773 ts
->val_type
= TEMP_VAL_REG
;
1774 s
->reg_to_temp
[ts
->reg
] = temp
;
1775 ts
->mem_coherent
= 0;
1776 tcg_out_movi(s
, ts
->type
, ts
->reg
, ts
->val
);
1779 tcg_reg_sync(s
, ts
->reg
);
1790 /* save a temporary to memory. 'allocated_regs' is used in case a
1791 temporary registers needs to be allocated to store a constant. */
1792 static inline void temp_save(TCGContext
*s
, int temp
, TCGRegSet allocated_regs
)
1794 #ifdef USE_LIVENESS_ANALYSIS
1795 /* The liveness analysis already ensures that globals are back
1796 in memory. Keep an assert for safety. */
1797 assert(s
->temps
[temp
].val_type
== TEMP_VAL_MEM
|| s
->temps
[temp
].fixed_reg
);
1799 temp_sync(s
, temp
, allocated_regs
);
1804 /* save globals to their canonical location and assume they can be
1805 modified be the following code. 'allocated_regs' is used in case a
1806 temporary registers needs to be allocated to store a constant. */
1807 static void save_globals(TCGContext
*s
, TCGRegSet allocated_regs
)
1811 for(i
= 0; i
< s
->nb_globals
; i
++) {
1812 temp_save(s
, i
, allocated_regs
);
1816 /* sync globals to their canonical location and assume they can be
1817 read by the following code. 'allocated_regs' is used in case a
1818 temporary registers needs to be allocated to store a constant. */
1819 static void sync_globals(TCGContext
*s
, TCGRegSet allocated_regs
)
1823 for (i
= 0; i
< s
->nb_globals
; i
++) {
1824 #ifdef USE_LIVENESS_ANALYSIS
1825 assert(s
->temps
[i
].val_type
!= TEMP_VAL_REG
|| s
->temps
[i
].fixed_reg
||
1826 s
->temps
[i
].mem_coherent
);
1828 temp_sync(s
, i
, allocated_regs
);
1833 /* at the end of a basic block, we assume all temporaries are dead and
1834 all globals are stored at their canonical location. */
1835 static void tcg_reg_alloc_bb_end(TCGContext
*s
, TCGRegSet allocated_regs
)
1840 for(i
= s
->nb_globals
; i
< s
->nb_temps
; i
++) {
1842 if (ts
->temp_local
) {
1843 temp_save(s
, i
, allocated_regs
);
1845 #ifdef USE_LIVENESS_ANALYSIS
1846 /* The liveness analysis already ensures that temps are dead.
1847 Keep an assert for safety. */
1848 assert(ts
->val_type
== TEMP_VAL_DEAD
);
1855 save_globals(s
, allocated_regs
);
1858 #define IS_DEAD_ARG(n) ((dead_args >> (n)) & 1)
1859 #define NEED_SYNC_ARG(n) ((sync_args >> (n)) & 1)
1861 static void tcg_reg_alloc_movi(TCGContext
*s
, const TCGArg
*args
,
1862 uint16_t dead_args
, uint8_t sync_args
)
1865 tcg_target_ulong val
;
1867 ots
= &s
->temps
[args
[0]];
1870 if (ots
->fixed_reg
) {
1871 /* for fixed registers, we do not do any constant
1873 tcg_out_movi(s
, ots
->type
, ots
->reg
, val
);
1875 /* The movi is not explicitly generated here */
1876 if (ots
->val_type
== TEMP_VAL_REG
)
1877 s
->reg_to_temp
[ots
->reg
] = -1;
1878 ots
->val_type
= TEMP_VAL_CONST
;
1881 if (NEED_SYNC_ARG(0)) {
1882 temp_sync(s
, args
[0], s
->reserved_regs
);
1884 if (IS_DEAD_ARG(0)) {
1885 temp_dead(s
, args
[0]);
1889 static void tcg_reg_alloc_mov(TCGContext
*s
, const TCGOpDef
*def
,
1890 const TCGArg
*args
, uint16_t dead_args
,
1893 TCGRegSet allocated_regs
;
1895 TCGType otype
, itype
;
1897 tcg_regset_set(allocated_regs
, s
->reserved_regs
);
1898 ots
= &s
->temps
[args
[0]];
1899 ts
= &s
->temps
[args
[1]];
1901 /* Note that otype != itype for no-op truncation. */
1905 /* If the source value is not in a register, and we're going to be
1906 forced to have it in a register in order to perform the copy,
1907 then copy the SOURCE value into its own register first. That way
1908 we don't have to reload SOURCE the next time it is used. */
1909 if (((NEED_SYNC_ARG(0) || ots
->fixed_reg
) && ts
->val_type
!= TEMP_VAL_REG
)
1910 || ts
->val_type
== TEMP_VAL_MEM
) {
1911 ts
->reg
= tcg_reg_alloc(s
, tcg_target_available_regs
[itype
],
1913 if (ts
->val_type
== TEMP_VAL_MEM
) {
1914 tcg_out_ld(s
, itype
, ts
->reg
, ts
->mem_reg
, ts
->mem_offset
);
1915 ts
->mem_coherent
= 1;
1916 } else if (ts
->val_type
== TEMP_VAL_CONST
) {
1917 tcg_out_movi(s
, itype
, ts
->reg
, ts
->val
);
1918 ts
->mem_coherent
= 0;
1920 s
->reg_to_temp
[ts
->reg
] = args
[1];
1921 ts
->val_type
= TEMP_VAL_REG
;
1924 if (IS_DEAD_ARG(0) && !ots
->fixed_reg
) {
1925 /* mov to a non-saved dead register makes no sense (even with
1926 liveness analysis disabled). */
1927 assert(NEED_SYNC_ARG(0));
1928 /* The code above should have moved the temp to a register. */
1929 assert(ts
->val_type
== TEMP_VAL_REG
);
1930 if (!ots
->mem_allocated
) {
1931 temp_allocate_frame(s
, args
[0]);
1933 tcg_out_st(s
, otype
, ts
->reg
, ots
->mem_reg
, ots
->mem_offset
);
1934 if (IS_DEAD_ARG(1)) {
1935 temp_dead(s
, args
[1]);
1937 temp_dead(s
, args
[0]);
1938 } else if (ts
->val_type
== TEMP_VAL_CONST
) {
1939 /* propagate constant */
1940 if (ots
->val_type
== TEMP_VAL_REG
) {
1941 s
->reg_to_temp
[ots
->reg
] = -1;
1943 ots
->val_type
= TEMP_VAL_CONST
;
1945 if (IS_DEAD_ARG(1)) {
1946 temp_dead(s
, args
[1]);
1949 /* The code in the first if block should have moved the
1950 temp to a register. */
1951 assert(ts
->val_type
== TEMP_VAL_REG
);
1952 if (IS_DEAD_ARG(1) && !ts
->fixed_reg
&& !ots
->fixed_reg
) {
1953 /* the mov can be suppressed */
1954 if (ots
->val_type
== TEMP_VAL_REG
) {
1955 s
->reg_to_temp
[ots
->reg
] = -1;
1958 temp_dead(s
, args
[1]);
1960 if (ots
->val_type
!= TEMP_VAL_REG
) {
1961 /* When allocating a new register, make sure to not spill the
1963 tcg_regset_set_reg(allocated_regs
, ts
->reg
);
1964 ots
->reg
= tcg_reg_alloc(s
, tcg_target_available_regs
[otype
],
1967 tcg_out_mov(s
, otype
, ots
->reg
, ts
->reg
);
1969 ots
->val_type
= TEMP_VAL_REG
;
1970 ots
->mem_coherent
= 0;
1971 s
->reg_to_temp
[ots
->reg
] = args
[0];
1972 if (NEED_SYNC_ARG(0)) {
1973 tcg_reg_sync(s
, ots
->reg
);
1978 static void tcg_reg_alloc_op(TCGContext
*s
,
1979 const TCGOpDef
*def
, TCGOpcode opc
,
1980 const TCGArg
*args
, uint16_t dead_args
,
1983 TCGRegSet allocated_regs
;
1984 int i
, k
, nb_iargs
, nb_oargs
, reg
;
1986 const TCGArgConstraint
*arg_ct
;
1988 TCGArg new_args
[TCG_MAX_OP_ARGS
];
1989 int const_args
[TCG_MAX_OP_ARGS
];
1991 nb_oargs
= def
->nb_oargs
;
1992 nb_iargs
= def
->nb_iargs
;
1994 /* copy constants */
1995 memcpy(new_args
+ nb_oargs
+ nb_iargs
,
1996 args
+ nb_oargs
+ nb_iargs
,
1997 sizeof(TCGArg
) * def
->nb_cargs
);
1999 /* satisfy input constraints */
2000 tcg_regset_set(allocated_regs
, s
->reserved_regs
);
2001 for(k
= 0; k
< nb_iargs
; k
++) {
2002 i
= def
->sorted_args
[nb_oargs
+ k
];
2004 arg_ct
= &def
->args_ct
[i
];
2005 ts
= &s
->temps
[arg
];
2006 if (ts
->val_type
== TEMP_VAL_MEM
) {
2007 reg
= tcg_reg_alloc(s
, arg_ct
->u
.regs
, allocated_regs
);
2008 tcg_out_ld(s
, ts
->type
, reg
, ts
->mem_reg
, ts
->mem_offset
);
2009 ts
->val_type
= TEMP_VAL_REG
;
2011 ts
->mem_coherent
= 1;
2012 s
->reg_to_temp
[reg
] = arg
;
2013 } else if (ts
->val_type
== TEMP_VAL_CONST
) {
2014 if (tcg_target_const_match(ts
->val
, ts
->type
, arg_ct
)) {
2015 /* constant is OK for instruction */
2017 new_args
[i
] = ts
->val
;
2020 /* need to move to a register */
2021 reg
= tcg_reg_alloc(s
, arg_ct
->u
.regs
, allocated_regs
);
2022 tcg_out_movi(s
, ts
->type
, reg
, ts
->val
);
2023 ts
->val_type
= TEMP_VAL_REG
;
2025 ts
->mem_coherent
= 0;
2026 s
->reg_to_temp
[reg
] = arg
;
2029 assert(ts
->val_type
== TEMP_VAL_REG
);
2030 if (arg_ct
->ct
& TCG_CT_IALIAS
) {
2031 if (ts
->fixed_reg
) {
2032 /* if fixed register, we must allocate a new register
2033 if the alias is not the same register */
2034 if (arg
!= args
[arg_ct
->alias_index
])
2035 goto allocate_in_reg
;
2037 /* if the input is aliased to an output and if it is
2038 not dead after the instruction, we must allocate
2039 a new register and move it */
2040 if (!IS_DEAD_ARG(i
)) {
2041 goto allocate_in_reg
;
2043 /* check if the current register has already been allocated
2044 for another input aliased to an output */
2046 for (k2
= 0 ; k2
< k
; k2
++) {
2047 i2
= def
->sorted_args
[nb_oargs
+ k2
];
2048 if ((def
->args_ct
[i2
].ct
& TCG_CT_IALIAS
) &&
2049 (new_args
[i2
] == ts
->reg
)) {
2050 goto allocate_in_reg
;
2056 if (tcg_regset_test_reg(arg_ct
->u
.regs
, reg
)) {
2057 /* nothing to do : the constraint is satisfied */
2060 /* allocate a new register matching the constraint
2061 and move the temporary register into it */
2062 reg
= tcg_reg_alloc(s
, arg_ct
->u
.regs
, allocated_regs
);
2063 tcg_out_mov(s
, ts
->type
, reg
, ts
->reg
);
2067 tcg_regset_set_reg(allocated_regs
, reg
);
2071 /* mark dead temporaries and free the associated registers */
2072 for (i
= nb_oargs
; i
< nb_oargs
+ nb_iargs
; i
++) {
2073 if (IS_DEAD_ARG(i
)) {
2074 temp_dead(s
, args
[i
]);
2078 if (def
->flags
& TCG_OPF_BB_END
) {
2079 tcg_reg_alloc_bb_end(s
, allocated_regs
);
2081 if (def
->flags
& TCG_OPF_CALL_CLOBBER
) {
2082 /* XXX: permit generic clobber register list ? */
2083 for(reg
= 0; reg
< TCG_TARGET_NB_REGS
; reg
++) {
2084 if (tcg_regset_test_reg(tcg_target_call_clobber_regs
, reg
)) {
2085 tcg_reg_free(s
, reg
);
2089 if (def
->flags
& TCG_OPF_SIDE_EFFECTS
) {
2090 /* sync globals if the op has side effects and might trigger
2092 sync_globals(s
, allocated_regs
);
2095 /* satisfy the output constraints */
2096 tcg_regset_set(allocated_regs
, s
->reserved_regs
);
2097 for(k
= 0; k
< nb_oargs
; k
++) {
2098 i
= def
->sorted_args
[k
];
2100 arg_ct
= &def
->args_ct
[i
];
2101 ts
= &s
->temps
[arg
];
2102 if (arg_ct
->ct
& TCG_CT_ALIAS
) {
2103 reg
= new_args
[arg_ct
->alias_index
];
2105 /* if fixed register, we try to use it */
2107 if (ts
->fixed_reg
&&
2108 tcg_regset_test_reg(arg_ct
->u
.regs
, reg
)) {
2111 reg
= tcg_reg_alloc(s
, arg_ct
->u
.regs
, allocated_regs
);
2113 tcg_regset_set_reg(allocated_regs
, reg
);
2114 /* if a fixed register is used, then a move will be done afterwards */
2115 if (!ts
->fixed_reg
) {
2116 if (ts
->val_type
== TEMP_VAL_REG
) {
2117 s
->reg_to_temp
[ts
->reg
] = -1;
2119 ts
->val_type
= TEMP_VAL_REG
;
2121 /* temp value is modified, so the value kept in memory is
2122 potentially not the same */
2123 ts
->mem_coherent
= 0;
2124 s
->reg_to_temp
[reg
] = arg
;
2131 /* emit instruction */
2132 tcg_out_op(s
, opc
, new_args
, const_args
);
2134 /* move the outputs in the correct register if needed */
2135 for(i
= 0; i
< nb_oargs
; i
++) {
2136 ts
= &s
->temps
[args
[i
]];
2138 if (ts
->fixed_reg
&& ts
->reg
!= reg
) {
2139 tcg_out_mov(s
, ts
->type
, ts
->reg
, reg
);
2141 if (NEED_SYNC_ARG(i
)) {
2142 tcg_reg_sync(s
, reg
);
2144 if (IS_DEAD_ARG(i
)) {
2145 temp_dead(s
, args
[i
]);
2150 #ifdef TCG_TARGET_STACK_GROWSUP
2151 #define STACK_DIR(x) (-(x))
2153 #define STACK_DIR(x) (x)
2156 static void tcg_reg_alloc_call(TCGContext
*s
, int nb_oargs
, int nb_iargs
,
2157 const TCGArg
* const args
, uint16_t dead_args
,
2160 int flags
, nb_regs
, i
, reg
;
2163 intptr_t stack_offset
;
2164 size_t call_stack_size
;
2165 tcg_insn_unit
*func_addr
;
2167 TCGRegSet allocated_regs
;
2169 func_addr
= (tcg_insn_unit
*)(intptr_t)args
[nb_oargs
+ nb_iargs
];
2170 flags
= args
[nb_oargs
+ nb_iargs
+ 1];
2172 nb_regs
= ARRAY_SIZE(tcg_target_call_iarg_regs
);
2173 if (nb_regs
> nb_iargs
) {
2177 /* assign stack slots first */
2178 call_stack_size
= (nb_iargs
- nb_regs
) * sizeof(tcg_target_long
);
2179 call_stack_size
= (call_stack_size
+ TCG_TARGET_STACK_ALIGN
- 1) &
2180 ~(TCG_TARGET_STACK_ALIGN
- 1);
2181 allocate_args
= (call_stack_size
> TCG_STATIC_CALL_ARGS_SIZE
);
2182 if (allocate_args
) {
2183 /* XXX: if more than TCG_STATIC_CALL_ARGS_SIZE is needed,
2184 preallocate call stack */
2188 stack_offset
= TCG_TARGET_CALL_STACK_OFFSET
;
2189 for(i
= nb_regs
; i
< nb_iargs
; i
++) {
2190 arg
= args
[nb_oargs
+ i
];
2191 #ifdef TCG_TARGET_STACK_GROWSUP
2192 stack_offset
-= sizeof(tcg_target_long
);
2194 if (arg
!= TCG_CALL_DUMMY_ARG
) {
2195 ts
= &s
->temps
[arg
];
2196 if (ts
->val_type
== TEMP_VAL_REG
) {
2197 tcg_out_st(s
, ts
->type
, ts
->reg
, TCG_REG_CALL_STACK
, stack_offset
);
2198 } else if (ts
->val_type
== TEMP_VAL_MEM
) {
2199 reg
= tcg_reg_alloc(s
, tcg_target_available_regs
[ts
->type
],
2201 /* XXX: not correct if reading values from the stack */
2202 tcg_out_ld(s
, ts
->type
, reg
, ts
->mem_reg
, ts
->mem_offset
);
2203 tcg_out_st(s
, ts
->type
, reg
, TCG_REG_CALL_STACK
, stack_offset
);
2204 } else if (ts
->val_type
== TEMP_VAL_CONST
) {
2205 reg
= tcg_reg_alloc(s
, tcg_target_available_regs
[ts
->type
],
2207 /* XXX: sign extend may be needed on some targets */
2208 tcg_out_movi(s
, ts
->type
, reg
, ts
->val
);
2209 tcg_out_st(s
, ts
->type
, reg
, TCG_REG_CALL_STACK
, stack_offset
);
2214 #ifndef TCG_TARGET_STACK_GROWSUP
2215 stack_offset
+= sizeof(tcg_target_long
);
2219 /* assign input registers */
2220 tcg_regset_set(allocated_regs
, s
->reserved_regs
);
2221 for(i
= 0; i
< nb_regs
; i
++) {
2222 arg
= args
[nb_oargs
+ i
];
2223 if (arg
!= TCG_CALL_DUMMY_ARG
) {
2224 ts
= &s
->temps
[arg
];
2225 reg
= tcg_target_call_iarg_regs
[i
];
2226 tcg_reg_free(s
, reg
);
2227 if (ts
->val_type
== TEMP_VAL_REG
) {
2228 if (ts
->reg
!= reg
) {
2229 tcg_out_mov(s
, ts
->type
, reg
, ts
->reg
);
2231 } else if (ts
->val_type
== TEMP_VAL_MEM
) {
2232 tcg_out_ld(s
, ts
->type
, reg
, ts
->mem_reg
, ts
->mem_offset
);
2233 } else if (ts
->val_type
== TEMP_VAL_CONST
) {
2234 /* XXX: sign extend ? */
2235 tcg_out_movi(s
, ts
->type
, reg
, ts
->val
);
2239 tcg_regset_set_reg(allocated_regs
, reg
);
2243 /* mark dead temporaries and free the associated registers */
2244 for(i
= nb_oargs
; i
< nb_iargs
+ nb_oargs
; i
++) {
2245 if (IS_DEAD_ARG(i
)) {
2246 temp_dead(s
, args
[i
]);
2250 /* clobber call registers */
2251 for(reg
= 0; reg
< TCG_TARGET_NB_REGS
; reg
++) {
2252 if (tcg_regset_test_reg(tcg_target_call_clobber_regs
, reg
)) {
2253 tcg_reg_free(s
, reg
);
2257 /* Save globals if they might be written by the helper, sync them if
2258 they might be read. */
2259 if (flags
& TCG_CALL_NO_READ_GLOBALS
) {
2261 } else if (flags
& TCG_CALL_NO_WRITE_GLOBALS
) {
2262 sync_globals(s
, allocated_regs
);
2264 save_globals(s
, allocated_regs
);
2267 tcg_out_call(s
, func_addr
);
2269 /* assign output registers and emit moves if needed */
2270 for(i
= 0; i
< nb_oargs
; i
++) {
2272 ts
= &s
->temps
[arg
];
2273 reg
= tcg_target_call_oarg_regs
[i
];
2274 assert(s
->reg_to_temp
[reg
] == -1);
2276 if (ts
->fixed_reg
) {
2277 if (ts
->reg
!= reg
) {
2278 tcg_out_mov(s
, ts
->type
, ts
->reg
, reg
);
2281 if (ts
->val_type
== TEMP_VAL_REG
) {
2282 s
->reg_to_temp
[ts
->reg
] = -1;
2284 ts
->val_type
= TEMP_VAL_REG
;
2286 ts
->mem_coherent
= 0;
2287 s
->reg_to_temp
[reg
] = arg
;
2288 if (NEED_SYNC_ARG(i
)) {
2289 tcg_reg_sync(s
, reg
);
2291 if (IS_DEAD_ARG(i
)) {
2292 temp_dead(s
, args
[i
]);
2298 #ifdef CONFIG_PROFILER
2300 static int64_t tcg_table_op_count
[NB_OPS
];
2302 void tcg_dump_op_count(FILE *f
, fprintf_function cpu_fprintf
)
2306 for (i
= 0; i
< NB_OPS
; i
++) {
2307 cpu_fprintf(f
, "%s %" PRId64
"\n", tcg_op_defs
[i
].name
,
2308 tcg_table_op_count
[i
]);
2312 void tcg_dump_op_count(FILE *f
, fprintf_function cpu_fprintf
)
2314 cpu_fprintf(f
, "[TCG profiler not compiled]\n");
2319 int tcg_gen_code(TCGContext
*s
, tcg_insn_unit
*gen_code_buf
)
2321 int i
, oi
, oi_next
, num_insns
;
2323 #ifdef CONFIG_PROFILER
2327 n
= s
->gen_last_op_idx
+ 1;
2329 if (n
> s
->op_count_max
) {
2330 s
->op_count_max
= n
;
2335 if (n
> s
->temp_count_max
) {
2336 s
->temp_count_max
= n
;
2342 if (unlikely(qemu_loglevel_mask(CPU_LOG_TB_OP
))) {
2349 #ifdef CONFIG_PROFILER
2350 s
->opt_time
-= profile_getclock();
2353 #ifdef USE_TCG_OPTIMIZATIONS
2357 #ifdef CONFIG_PROFILER
2358 s
->opt_time
+= profile_getclock();
2359 s
->la_time
-= profile_getclock();
2362 tcg_liveness_analysis(s
);
2364 #ifdef CONFIG_PROFILER
2365 s
->la_time
+= profile_getclock();
2369 if (unlikely(qemu_loglevel_mask(CPU_LOG_TB_OP_OPT
))) {
2370 qemu_log("OP after optimization and liveness analysis:\n");
2376 tcg_reg_alloc_start(s
);
2378 s
->code_buf
= gen_code_buf
;
2379 s
->code_ptr
= gen_code_buf
;
2384 for (oi
= s
->gen_first_op_idx
; oi
>= 0; oi
= oi_next
) {
2385 TCGOp
* const op
= &s
->gen_op_buf
[oi
];
2386 TCGArg
* const args
= &s
->gen_opparam_buf
[op
->args
];
2387 TCGOpcode opc
= op
->opc
;
2388 const TCGOpDef
*def
= &tcg_op_defs
[opc
];
2389 uint16_t dead_args
= s
->op_dead_args
[oi
];
2390 uint8_t sync_args
= s
->op_sync_args
[oi
];
2393 #ifdef CONFIG_PROFILER
2394 tcg_table_op_count
[opc
]++;
2398 case INDEX_op_mov_i32
:
2399 case INDEX_op_mov_i64
:
2400 tcg_reg_alloc_mov(s
, def
, args
, dead_args
, sync_args
);
2402 case INDEX_op_movi_i32
:
2403 case INDEX_op_movi_i64
:
2404 tcg_reg_alloc_movi(s
, args
, dead_args
, sync_args
);
2406 case INDEX_op_insn_start
:
2407 if (num_insns
>= 0) {
2408 s
->gen_insn_end_off
[num_insns
] = tcg_current_code_size(s
);
2411 for (i
= 0; i
< TARGET_INSN_START_WORDS
; ++i
) {
2413 #if TARGET_LONG_BITS > TCG_TARGET_REG_BITS
2414 a
= ((target_ulong
)args
[i
* 2 + 1] << 32) | args
[i
* 2];
2418 s
->gen_insn_data
[num_insns
][i
] = a
;
2421 case INDEX_op_discard
:
2422 temp_dead(s
, args
[0]);
2424 case INDEX_op_set_label
:
2425 tcg_reg_alloc_bb_end(s
, s
->reserved_regs
);
2426 tcg_out_label(s
, arg_label(args
[0]), s
->code_ptr
);
2429 tcg_reg_alloc_call(s
, op
->callo
, op
->calli
, args
,
2430 dead_args
, sync_args
);
2433 /* Sanity check that we've not introduced any unhandled opcodes. */
2434 if (def
->flags
& TCG_OPF_NOT_PRESENT
) {
2437 /* Note: in order to speed up the code, it would be much
2438 faster to have specialized register allocator functions for
2439 some common argument patterns */
2440 tcg_reg_alloc_op(s
, def
, opc
, args
, dead_args
, sync_args
);
2446 /* Test for (pending) buffer overflow. The assumption is that any
2447 one operation beginning below the high water mark cannot overrun
2448 the buffer completely. Thus we can test for overflow after
2449 generating code without having to check during generation. */
2450 if (unlikely((void *)s
->code_ptr
> s
->code_gen_highwater
)) {
2454 tcg_debug_assert(num_insns
>= 0);
2455 s
->gen_insn_end_off
[num_insns
] = tcg_current_code_size(s
);
2457 /* Generate TB finalization at the end of block */
2458 tcg_out_tb_finalize(s
);
2460 /* flush instruction cache */
2461 flush_icache_range((uintptr_t)s
->code_buf
, (uintptr_t)s
->code_ptr
);
2463 return tcg_current_code_size(s
);
2466 #ifdef CONFIG_PROFILER
2467 void tcg_dump_info(FILE *f
, fprintf_function cpu_fprintf
)
2469 TCGContext
*s
= &tcg_ctx
;
2470 int64_t tb_count
= s
->tb_count
;
2471 int64_t tb_div_count
= tb_count
? tb_count
: 1;
2472 int64_t tot
= s
->interm_time
+ s
->code_time
;
2474 cpu_fprintf(f
, "JIT cycles %" PRId64
" (%0.3f s at 2.4 GHz)\n",
2476 cpu_fprintf(f
, "translated TBs %" PRId64
" (aborted=%" PRId64
" %0.1f%%)\n",
2477 tb_count
, s
->tb_count1
- tb_count
,
2478 (double)(s
->tb_count1
- s
->tb_count
)
2479 / (s
->tb_count1
? s
->tb_count1
: 1) * 100.0);
2480 cpu_fprintf(f
, "avg ops/TB %0.1f max=%d\n",
2481 (double)s
->op_count
/ tb_div_count
, s
->op_count_max
);
2482 cpu_fprintf(f
, "deleted ops/TB %0.2f\n",
2483 (double)s
->del_op_count
/ tb_div_count
);
2484 cpu_fprintf(f
, "avg temps/TB %0.2f max=%d\n",
2485 (double)s
->temp_count
/ tb_div_count
, s
->temp_count_max
);
2486 cpu_fprintf(f
, "avg host code/TB %0.1f\n",
2487 (double)s
->code_out_len
/ tb_div_count
);
2488 cpu_fprintf(f
, "avg search data/TB %0.1f\n",
2489 (double)s
->search_out_len
/ tb_div_count
);
2491 cpu_fprintf(f
, "cycles/op %0.1f\n",
2492 s
->op_count
? (double)tot
/ s
->op_count
: 0);
2493 cpu_fprintf(f
, "cycles/in byte %0.1f\n",
2494 s
->code_in_len
? (double)tot
/ s
->code_in_len
: 0);
2495 cpu_fprintf(f
, "cycles/out byte %0.1f\n",
2496 s
->code_out_len
? (double)tot
/ s
->code_out_len
: 0);
2497 cpu_fprintf(f
, "cycles/search byte %0.1f\n",
2498 s
->search_out_len
? (double)tot
/ s
->search_out_len
: 0);
2502 cpu_fprintf(f
, " gen_interm time %0.1f%%\n",
2503 (double)s
->interm_time
/ tot
* 100.0);
2504 cpu_fprintf(f
, " gen_code time %0.1f%%\n",
2505 (double)s
->code_time
/ tot
* 100.0);
2506 cpu_fprintf(f
, "optim./code time %0.1f%%\n",
2507 (double)s
->opt_time
/ (s
->code_time
? s
->code_time
: 1)
2509 cpu_fprintf(f
, "liveness/code time %0.1f%%\n",
2510 (double)s
->la_time
/ (s
->code_time
? s
->code_time
: 1) * 100.0);
2511 cpu_fprintf(f
, "cpu_restore count %" PRId64
"\n",
2513 cpu_fprintf(f
, " avg cycles %0.1f\n",
2514 s
->restore_count
? (double)s
->restore_time
/ s
->restore_count
: 0);
2517 void tcg_dump_info(FILE *f
, fprintf_function cpu_fprintf
)
2519 cpu_fprintf(f
, "[TCG profiler not compiled]\n");
2523 #ifdef ELF_HOST_MACHINE
2524 /* In order to use this feature, the backend needs to do three things:
2526 (1) Define ELF_HOST_MACHINE to indicate both what value to
2527 put into the ELF image and to indicate support for the feature.
2529 (2) Define tcg_register_jit. This should create a buffer containing
2530 the contents of a .debug_frame section that describes the post-
2531 prologue unwind info for the tcg machine.
2533 (3) Call tcg_register_jit_int, with the constructed .debug_frame.
2536 /* Begin GDB interface. THE FOLLOWING MUST MATCH GDB DOCS. */
2543 struct jit_code_entry
{
2544 struct jit_code_entry
*next_entry
;
2545 struct jit_code_entry
*prev_entry
;
2546 const void *symfile_addr
;
2547 uint64_t symfile_size
;
2550 struct jit_descriptor
{
2552 uint32_t action_flag
;
2553 struct jit_code_entry
*relevant_entry
;
2554 struct jit_code_entry
*first_entry
;
2557 void __jit_debug_register_code(void) __attribute__((noinline
));
2558 void __jit_debug_register_code(void)
2563 /* Must statically initialize the version, because GDB may check
2564 the version before we can set it. */
2565 struct jit_descriptor __jit_debug_descriptor
= { 1, 0, 0, 0 };
2567 /* End GDB interface. */
2569 static int find_string(const char *strtab
, const char *str
)
2571 const char *p
= strtab
+ 1;
2574 if (strcmp(p
, str
) == 0) {
2581 static void tcg_register_jit_int(void *buf_ptr
, size_t buf_size
,
2582 const void *debug_frame
,
2583 size_t debug_frame_size
)
2585 struct __attribute__((packed
)) DebugInfo
{
2592 uintptr_t cu_low_pc
;
2593 uintptr_t cu_high_pc
;
2596 uintptr_t fn_low_pc
;
2597 uintptr_t fn_high_pc
;
2606 struct DebugInfo di
;
2611 struct ElfImage
*img
;
2613 static const struct ElfImage img_template
= {
2615 .e_ident
[EI_MAG0
] = ELFMAG0
,
2616 .e_ident
[EI_MAG1
] = ELFMAG1
,
2617 .e_ident
[EI_MAG2
] = ELFMAG2
,
2618 .e_ident
[EI_MAG3
] = ELFMAG3
,
2619 .e_ident
[EI_CLASS
] = ELF_CLASS
,
2620 .e_ident
[EI_DATA
] = ELF_DATA
,
2621 .e_ident
[EI_VERSION
] = EV_CURRENT
,
2623 .e_machine
= ELF_HOST_MACHINE
,
2624 .e_version
= EV_CURRENT
,
2625 .e_phoff
= offsetof(struct ElfImage
, phdr
),
2626 .e_shoff
= offsetof(struct ElfImage
, shdr
),
2627 .e_ehsize
= sizeof(ElfW(Shdr
)),
2628 .e_phentsize
= sizeof(ElfW(Phdr
)),
2630 .e_shentsize
= sizeof(ElfW(Shdr
)),
2631 .e_shnum
= ARRAY_SIZE(img
->shdr
),
2632 .e_shstrndx
= ARRAY_SIZE(img
->shdr
) - 1,
2633 #ifdef ELF_HOST_FLAGS
2634 .e_flags
= ELF_HOST_FLAGS
,
2637 .e_ident
[EI_OSABI
] = ELF_OSABI
,
2645 [0] = { .sh_type
= SHT_NULL
},
2646 /* Trick: The contents of code_gen_buffer are not present in
2647 this fake ELF file; that got allocated elsewhere. Therefore
2648 we mark .text as SHT_NOBITS (similar to .bss) so that readers
2649 will not look for contents. We can record any address. */
2651 .sh_type
= SHT_NOBITS
,
2652 .sh_flags
= SHF_EXECINSTR
| SHF_ALLOC
,
2654 [2] = { /* .debug_info */
2655 .sh_type
= SHT_PROGBITS
,
2656 .sh_offset
= offsetof(struct ElfImage
, di
),
2657 .sh_size
= sizeof(struct DebugInfo
),
2659 [3] = { /* .debug_abbrev */
2660 .sh_type
= SHT_PROGBITS
,
2661 .sh_offset
= offsetof(struct ElfImage
, da
),
2662 .sh_size
= sizeof(img
->da
),
2664 [4] = { /* .debug_frame */
2665 .sh_type
= SHT_PROGBITS
,
2666 .sh_offset
= sizeof(struct ElfImage
),
2668 [5] = { /* .symtab */
2669 .sh_type
= SHT_SYMTAB
,
2670 .sh_offset
= offsetof(struct ElfImage
, sym
),
2671 .sh_size
= sizeof(img
->sym
),
2673 .sh_link
= ARRAY_SIZE(img
->shdr
) - 1,
2674 .sh_entsize
= sizeof(ElfW(Sym
)),
2676 [6] = { /* .strtab */
2677 .sh_type
= SHT_STRTAB
,
2678 .sh_offset
= offsetof(struct ElfImage
, str
),
2679 .sh_size
= sizeof(img
->str
),
2683 [1] = { /* code_gen_buffer */
2684 .st_info
= ELF_ST_INFO(STB_GLOBAL
, STT_FUNC
),
2689 .len
= sizeof(struct DebugInfo
) - 4,
2691 .ptr_size
= sizeof(void *),
2693 .cu_lang
= 0x8001, /* DW_LANG_Mips_Assembler */
2695 .fn_name
= "code_gen_buffer"
2698 1, /* abbrev number (the cu) */
2699 0x11, 1, /* DW_TAG_compile_unit, has children */
2700 0x13, 0x5, /* DW_AT_language, DW_FORM_data2 */
2701 0x11, 0x1, /* DW_AT_low_pc, DW_FORM_addr */
2702 0x12, 0x1, /* DW_AT_high_pc, DW_FORM_addr */
2703 0, 0, /* end of abbrev */
2704 2, /* abbrev number (the fn) */
2705 0x2e, 0, /* DW_TAG_subprogram, no children */
2706 0x3, 0x8, /* DW_AT_name, DW_FORM_string */
2707 0x11, 0x1, /* DW_AT_low_pc, DW_FORM_addr */
2708 0x12, 0x1, /* DW_AT_high_pc, DW_FORM_addr */
2709 0, 0, /* end of abbrev */
2710 0 /* no more abbrev */
2712 .str
= "\0" ".text\0" ".debug_info\0" ".debug_abbrev\0"
2713 ".debug_frame\0" ".symtab\0" ".strtab\0" "code_gen_buffer",
2716 /* We only need a single jit entry; statically allocate it. */
2717 static struct jit_code_entry one_entry
;
2719 uintptr_t buf
= (uintptr_t)buf_ptr
;
2720 size_t img_size
= sizeof(struct ElfImage
) + debug_frame_size
;
2721 DebugFrameHeader
*dfh
;
2723 img
= g_malloc(img_size
);
2724 *img
= img_template
;
2726 img
->phdr
.p_vaddr
= buf
;
2727 img
->phdr
.p_paddr
= buf
;
2728 img
->phdr
.p_memsz
= buf_size
;
2730 img
->shdr
[1].sh_name
= find_string(img
->str
, ".text");
2731 img
->shdr
[1].sh_addr
= buf
;
2732 img
->shdr
[1].sh_size
= buf_size
;
2734 img
->shdr
[2].sh_name
= find_string(img
->str
, ".debug_info");
2735 img
->shdr
[3].sh_name
= find_string(img
->str
, ".debug_abbrev");
2737 img
->shdr
[4].sh_name
= find_string(img
->str
, ".debug_frame");
2738 img
->shdr
[4].sh_size
= debug_frame_size
;
2740 img
->shdr
[5].sh_name
= find_string(img
->str
, ".symtab");
2741 img
->shdr
[6].sh_name
= find_string(img
->str
, ".strtab");
2743 img
->sym
[1].st_name
= find_string(img
->str
, "code_gen_buffer");
2744 img
->sym
[1].st_value
= buf
;
2745 img
->sym
[1].st_size
= buf_size
;
2747 img
->di
.cu_low_pc
= buf
;
2748 img
->di
.cu_high_pc
= buf
+ buf_size
;
2749 img
->di
.fn_low_pc
= buf
;
2750 img
->di
.fn_high_pc
= buf
+ buf_size
;
2752 dfh
= (DebugFrameHeader
*)(img
+ 1);
2753 memcpy(dfh
, debug_frame
, debug_frame_size
);
2754 dfh
->fde
.func_start
= buf
;
2755 dfh
->fde
.func_len
= buf_size
;
2758 /* Enable this block to be able to debug the ELF image file creation.
2759 One can use readelf, objdump, or other inspection utilities. */
2761 FILE *f
= fopen("/tmp/qemu.jit", "w+b");
2763 if (fwrite(img
, img_size
, 1, f
) != img_size
) {
2764 /* Avoid stupid unused return value warning for fwrite. */
2771 one_entry
.symfile_addr
= img
;
2772 one_entry
.symfile_size
= img_size
;
2774 __jit_debug_descriptor
.action_flag
= JIT_REGISTER_FN
;
2775 __jit_debug_descriptor
.relevant_entry
= &one_entry
;
2776 __jit_debug_descriptor
.first_entry
= &one_entry
;
2777 __jit_debug_register_code();
2780 /* No support for the feature. Provide the entry point expected by exec.c,
2781 and implement the internal function we declared earlier. */
2783 static void tcg_register_jit_int(void *buf
, size_t size
,
2784 const void *debug_frame
,
2785 size_t debug_frame_size
)
2789 void tcg_register_jit(void *buf
, size_t buf_size
)
2792 #endif /* ELF_HOST_MACHINE */