Signed-off-by: Tomek Grabiec <tgrab...@gmail.com>
---
jit/linear-scan.c | 86 +++++++++++++++++++++++------------------------------
1 files changed, 37 insertions(+), 49 deletions(-)
diff --git a/jit/linear-scan.c b/jit/linear-scan.c
index 5538bc7..8baa914 100644
--- a/jit/linear-scan.c
+++ b/jit/linear-scan.c
@@ -110,35 +110,40 @@ static enum machine_reg pick_register(unsigned long
*free_until_pos, enum vm_typ
return ret;
}
+static void spill_interval(struct live_interval *it, unsigned long pos,
+ struct pqueue *unhandled)
+{
+ struct live_interval *new;
+
+ new = split_interval_at(it, pos);
+ if (has_use_positions(new)) {
+ unsigned long next_pos = next_use_pos(new, 0);
+
+ /* Trim interval if it does not start with a use position. */
+ if (next_pos > new->range.start)
+ new = split_interval_at(new, next_pos);
+
+ it->need_spill = true;
+ mark_need_reload(new, it);
+ pqueue_insert(unhandled, new);
+ }
+}
+
static void __spill_interval_intersecting(struct live_interval *current,
enum machine_reg reg,
struct live_interval *it,
struct pqueue *unhandled)
{
- struct live_interval *new;
- unsigned long next_pos;
-
if (it->reg != reg)
return;
if (!ranges_intersect(&it->range, ¤t->range))
return;
- new = split_interval_at(it, current->range.start);
- it->need_spill = true;
-
- next_pos = next_use_pos(new, new->range.start);
-
- if (next_pos == LONG_MAX)
- return;
-
- new = split_interval_at(new, next_pos);
-
- if (!has_use_positions(new))
+ if (current->range.start == it->range.start)
return;
- mark_need_reload(new, it);
- pqueue_insert(unhandled, new);
+ spill_interval(it, current->range.start, unhandled);
}
static void spill_all_intervals_intersecting(struct live_interval *current,
@@ -165,7 +170,7 @@ static void allocate_blocked_reg(struct live_interval
*current,
struct pqueue *unhandled)
{
unsigned long use_pos[NR_REGISTERS], block_pos[NR_REGISTERS];
- struct live_interval *it, *new;
+ struct live_interval *it;
int i;
enum machine_reg reg;
@@ -224,26 +229,16 @@ static void allocate_blocked_reg(struct live_interval
*current,
* so it is best to spill current itself
*/
pos = next_use_pos(current, current->range.start);
- new = split_interval_at(current, pos);
-
- if (has_use_positions(new)) {
- mark_need_reload(new, current);
- pqueue_insert(unhandled, new);
- }
-
- current->need_spill = 1;
- } else if (block_pos[reg] >= current->range.end) {
- /* Spilling made a register free for the whole current */
- current->reg = reg;
- spill_all_intervals_intersecting(current, reg, active,
- inactive, unhandled);
+ spill_interval(current, pos, unhandled);
} else {
- new = split_interval_at(current, block_pos[reg]);
+ /*
+ * Register is available for whole or some part of interval
+ */
+ current->reg = reg;
- if (has_use_positions(new))
- pqueue_insert(unhandled, new);
+ if (block_pos[reg] < current->range.end)
+ spill_interval(current, block_pos[reg], unhandled);
- current->reg = reg;
spill_all_intervals_intersecting(current, reg, active,
inactive, unhandled);
}
@@ -255,7 +250,7 @@ static void try_to_allocate_free_reg(struct live_interval
*current,
struct pqueue *unhandled)
{
unsigned long free_until_pos[NR_REGISTERS];
- struct live_interval *it, *new;
+ struct live_interval *it;
enum machine_reg reg;
int i;
@@ -292,16 +287,8 @@ static void try_to_allocate_free_reg(struct live_interval
*current,
/*
* Register available for the first part of the interval.
*/
- new = split_interval_at(current, free_until_pos[reg]);
-
- if (has_use_positions(new)) {
- new = split_interval_at(new, next_use_pos(new, 0));
- mark_need_reload(new, current);
- pqueue_insert(unhandled, new);
- }
-
+ spill_interval(current, free_until_pos[reg], unhandled);
current->reg = reg;
- current->need_spill = 1;
}
}
@@ -380,12 +367,13 @@ int allocate_registers(struct compilation_unit *cu)
/*
* Don't allocate registers for fixed intervals.
*/
- if (!current->fixed_reg) {
- try_to_allocate_free_reg(current, &active, &inactive,
unhandled);
+ assert(!current->fixed_reg);
+
+ try_to_allocate_free_reg(current, &active, &inactive,
unhandled);
+
+ if (current->reg == MACH_REG_UNASSIGNED)
+ allocate_blocked_reg(current, &active, &inactive,
unhandled);
- if (current->reg == MACH_REG_UNASSIGNED)
- allocate_blocked_reg(current, &active,
&inactive, unhandled);
- }
if (current->reg != MACH_REG_UNASSIGNED)
list_add(¤t->interval_node, &active);
}
--
1.6.3.3
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Jatovm-devel mailing list
Jatovm-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jatovm-devel
