int virt_insns_ok;
/* Set if the current function needs to clean up any trampolines. */
int trampolines_used;
+ /* True if the ES register is used and hence
+ needs to be saved inside interrupt handlers. */
+ bool uses_es;
};
/* This is our init_machine_status, as set in
/* This pass converts virtual instructions using virtual registers, to
real instructions using real registers. Rather than run it as
reorg, we reschedule it before vartrack to help with debugging. */
-namespace {
-
-const pass_data pass_data_rl78_devirt =
-{
- RTL_PASS, /* type */
- "devirt", /* name */
- OPTGROUP_NONE, /* optinfo_flags */
- TV_MACH_DEP, /* tv_id */
- 0, /* properties_required */
- 0, /* properties_provided */
- 0, /* properties_destroyed */
- 0, /* todo_flags_start */
- 0, /* todo_flags_finish */
-};
+namespace
+{
+ const pass_data pass_data_rl78_devirt =
+ {
+ RTL_PASS, /* type */
+ "devirt", /* name */
+ OPTGROUP_NONE, /* optinfo_flags */
+ TV_MACH_DEP, /* tv_id */
+ 0, /* properties_required */
+ 0, /* properties_provided */
+ 0, /* properties_destroyed */
+ 0, /* todo_flags_start */
+ 0, /* todo_flags_finish */
+ };
-class pass_rl78_devirt : public rtl_opt_pass
-{
-public:
- pass_rl78_devirt(gcc::context *ctxt)
- : rtl_opt_pass(pass_data_rl78_devirt, ctxt)
+ class pass_rl78_devirt : public rtl_opt_pass
{
- }
+ public:
+ pass_rl78_devirt (gcc::context *ctxt)
+ : rtl_opt_pass (pass_data_rl78_devirt, ctxt)
+ {
+ }
- /* opt_pass methods: */
- virtual unsigned int execute (function *)
+ /* opt_pass methods: */
+ virtual unsigned int execute (function *)
{
rl78_reorg ();
return 0;
}
-
-};
-
+ };
} // anon namespace
rtl_opt_pass *
can eliminate the second SET. */
if (prev
&& rtx_equal_p (SET_DEST (prev), SET_SRC (set))
- && rtx_equal_p (SET_DEST (set), SET_SRC (prev))
- )
+ && rtx_equal_p (SET_DEST (set), SET_SRC (prev)))
{
if (dump_file)
fprintf (dump_file, " Delete insn %d because it is redundant\n",
else
prev = set;
}
-
+
if (dump_file)
print_rtl_with_bb (dump_file, get_insns (), 0);
return 0;
}
-namespace {
-
-const pass_data pass_data_rl78_move_elim =
+namespace
{
- RTL_PASS, /* type */
- "move_elim", /* name */
- OPTGROUP_NONE, /* optinfo_flags */
- TV_MACH_DEP, /* tv_id */
- 0, /* properties_required */
- 0, /* properties_provided */
- 0, /* properties_destroyed */
- 0, /* todo_flags_start */
- 0, /* todo_flags_finish */
-};
+ const pass_data pass_data_rl78_move_elim =
+ {
+ RTL_PASS, /* type */
+ "move_elim", /* name */
+ OPTGROUP_NONE, /* optinfo_flags */
+ TV_MACH_DEP, /* tv_id */
+ 0, /* properties_required */
+ 0, /* properties_provided */
+ 0, /* properties_destroyed */
+ 0, /* todo_flags_start */
+ 0, /* todo_flags_finish */
+ };
-class pass_rl78_move_elim : public rtl_opt_pass
-{
-public:
- pass_rl78_move_elim(gcc::context *ctxt)
- : rtl_opt_pass(pass_data_rl78_move_elim, ctxt)
+ class pass_rl78_move_elim : public rtl_opt_pass
{
- }
-
- /* opt_pass methods: */
- virtual unsigned int execute (function *) { return move_elim_pass (); }
-};
+ public:
+ pass_rl78_move_elim (gcc::context *ctxt)
+ : rtl_opt_pass (pass_data_rl78_move_elim, ctxt)
+ {
+ }
+ /* opt_pass methods: */
+ virtual unsigned int execute (function *) { return move_elim_pass (); }
+ };
} // anon namespace
rtl_opt_pass *
/* Return the appropriate mode for a named address pointer. */
#undef TARGET_ADDR_SPACE_POINTER_MODE
#define TARGET_ADDR_SPACE_POINTER_MODE rl78_addr_space_pointer_mode
+
static machine_mode
rl78_addr_space_pointer_mode (addr_space_t addrspace)
{
/* Returns TRUE for valid addresses. */
#undef TARGET_VALID_POINTER_MODE
#define TARGET_VALID_POINTER_MODE rl78_valid_pointer_mode
+
static bool
rl78_valid_pointer_mode (machine_mode m)
{
/* Return the appropriate mode for a named address address. */
#undef TARGET_ADDR_SPACE_ADDRESS_MODE
#define TARGET_ADDR_SPACE_ADDRESS_MODE rl78_addr_space_address_mode
+
static machine_mode
rl78_addr_space_address_mode (addr_space_t addrspace)
{
/* Determine if one named address space is a subset of another. */
#undef TARGET_ADDR_SPACE_SUBSET_P
#define TARGET_ADDR_SPACE_SUBSET_P rl78_addr_space_subset_p
+
static bool
rl78_addr_space_subset_p (addr_space_t subset, addr_space_t superset)
{
#undef TARGET_ADDR_SPACE_CONVERT
#define TARGET_ADDR_SPACE_CONVERT rl78_addr_space_convert
+
/* Convert from one address space to another. */
static rtx
rl78_addr_space_convert (rtx op, tree from_type, tree to_type)
return V_REGS;
}
+/* Typical stack layout should looks like this after the function's prologue:
+
+ | |
+ -- ^
+ | | \ |
+ | | arguments saved | Increasing
+ | | on the stack | addresses
+ PARENT arg pointer -> | | /
+ -------------------------- ---- -------------------
+ CHILD |ret | return address
+ --
+ | | \
+ | | call saved
+ | | registers
+ frame pointer -> | | /
+ --
+ | | \
+ | | local
+ | | variables
+ | | /
+ --
+ | | \
+ | | outgoing | Decreasing
+ | | arguments | addresses
+ current stack pointer -> | | / |
+ -------------------------- ---- ------------------ V
+ | | */
+
/* Implements INITIAL_ELIMINATION_OFFSET. The frame layout is
described in the machine_Function struct definition, above. */
int
{
if (TARGET_G10)
{
- emit_move_insn (gen_rtx_REG (HImode, 0), gen_rtx_REG (HImode, i*2));
+ if (i != 0)
+ emit_move_insn (gen_rtx_REG (HImode, 0), gen_rtx_REG (HImode, i * 2));
F (emit_insn (gen_push (gen_rtx_REG (HImode, 0))));
}
else
if (rb != 0)
emit_insn (gen_sel_rb (GEN_INT (0)));
+ /* Save ES register inside interrupt functions if it is used. */
+ if (is_interrupt_func (cfun->decl) && cfun->machine->uses_es)
+ {
+ emit_insn (gen_movqi_from_es (gen_rtx_REG (QImode, A_REG)));
+ F (emit_insn (gen_push (gen_rtx_REG (HImode, AX_REG))));
+ }
+
if (frame_pointer_needed)
{
F (emit_move_insn (gen_rtx_REG (HImode, AX_REG),
}
}
+ if (is_interrupt_func (cfun->decl) && cfun->machine->uses_es)
+ {
+ emit_insn (gen_pop (gen_rtx_REG (HImode, AX_REG)));
+ emit_insn (gen_movqi_es (gen_rtx_REG (QImode, A_REG)));
+ }
+
for (i = 15; i >= 0; i--)
if (cfun->machine->need_to_push [i])
{
if (cfun->machine->framesize_outgoing)
fprintf (file, "\t; outgoing: %d byte%s\n", cfun->machine->framesize_outgoing,
cfun->machine->framesize_outgoing == 1 ? "" : "s");
+
+ if (cfun->machine->uses_es)
+ fprintf (file, "\t; uses ES register\n");
}
/* Return an RTL describing where a function return value of type RET_TYPE
carefully to ensure that all the constraint information is accurate
for the newly matched insn. */
static bool
-insn_ok_now (rtx_insn *insn)
+insn_ok_now (rtx_insn * insn)
{
rtx pattern = PATTERN (insn);
int i;
#if DEBUG_ALLOC
#define WORKED fprintf (stderr, "\033[48;5;22m Worked at line %d \033[0m\n", __LINE__)
#define FAILEDSOFAR fprintf (stderr, "\033[48;5;52m FAILED at line %d \033[0m\n", __LINE__)
-#define FAILED fprintf (stderr, "\033[48;5;52m FAILED at line %d \033[0m\n", __LINE__), gcc_unreachable()
+#define FAILED fprintf (stderr, "\033[48;5;52m FAILED at line %d \033[0m\n", __LINE__), gcc_unreachable ()
#define MAYBE_OK(insn) if (insn_ok_now (insn)) { WORKED; return; } else { FAILEDSOFAR; }
#define MUST_BE_OK(insn) if (insn_ok_now (insn)) { WORKED; return; } FAILED
#else
r = rl78_subreg (HImode, addr, SImode, 0);
r = gen_es_addr (r);
+ cfun->machine->uses_es = true;
return r;
}
debug_rtx (m);
#endif
if (need_es)
- m = change_address (m, GET_MODE (m), gen_es_addr (base));
+ {
+ m = change_address (m, GET_MODE (m), gen_es_addr (base));
+ cfun->machine->uses_es = true;
+ }
else
m = change_address (m, GET_MODE (m), base);
#if DEBUG_ALLOC
/* Devirtualize an insn of the form (SET (op) (unop (op))). */
static void
-rl78_alloc_physical_registers_op1 (rtx_insn *insn)
+rl78_alloc_physical_registers_op1 (rtx_insn * insn)
{
/* op[0] = func op[1] */
/* Devirtualize an insn of the form (SET (op) (binop (op) (op))). */
static void
-rl78_alloc_physical_registers_op2 (rtx_insn *insn)
+rl78_alloc_physical_registers_op2 (rtx_insn * insn)
{
rtx prev;
rtx first;
/* Devirtualize an insn of the form SET (PC) (MEM/REG). */
static void
-rl78_alloc_physical_registers_ro1 (rtx_insn *insn)
+rl78_alloc_physical_registers_ro1 (rtx_insn * insn)
{
OP (0) = transcode_memory_rtx (OP (0), BC, insn);
/* Devirtualize a compare insn. */
static void
-rl78_alloc_physical_registers_cmp (rtx_insn *insn)
+rl78_alloc_physical_registers_cmp (rtx_insn * insn)
{
int tmp_id;
rtx saved_op1;
/* Like op2, but AX = A * X. */
static void
-rl78_alloc_physical_registers_umul (rtx_insn *insn)
+rl78_alloc_physical_registers_umul (rtx_insn * insn)
{
rtx prev = prev_nonnote_nondebug_insn (insn);
rtx first;
}
static void
-rl78_alloc_address_registers_macax (rtx_insn *insn)
+rl78_alloc_address_registers_macax (rtx_insn * insn)
{
int which, op;
bool replace_in_op0 = false;
projects / gcc.git / commitdiff