danog/ir
1
0
Fork 0
mirror of https://github.com/danog/ir.git synced 2024-11-27 04:45:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix reading behind array range

Browse Source
This commit is contained in:
Dmitry Stogov 2022-05-12 11:04:20 +03:00
parent d3c4844da7
commit 1028d7d330
1 changed files with 16 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
ir_ra.c
View File

@ -897,7 +897,7 @@ int ir_coalesce(ir_ctx *ctx)
n--;
if (n != ctx->vregs_count) {
j = ctx->vregs_count - n;
for (i = n + 1; i <= ctx->vregs_count + IR_REG_NUM; i++) {
for (i = n + 1; i <= n + IR_REG_NUM; i++) {
ctx->live_intervals[i] = ctx->live_intervals[i + j];
}
for (j = 1; j < ctx->insns_count; j++) {
@ -1869,20 +1869,22 @@ static int ir_linear_scan(ir_ctx *ctx)
continue;
}
}
insn = &ctx->ir_base[IR_LIVE_POS_TO_REF(ival->range.end)];
if (insn->op == IR_VSTORE) {
ir_insn *var = &ctx->ir_base[insn->op2];
IR_ASSERT(var->op == IR_VAR);
if (strcmp(ir_get_str(ctx, var->op2), "_spill_") == 0) {
if (ctx->live_intervals[ctx->vregs[insn->op2]]->stack_spill_pos) {
ctx->live_intervals[current]->stack_spill_pos =
ctx->live_intervals[ctx->vregs[insn->op2]]->stack_spill_pos;
} else {
ir_allocate_spill_slot(ctx, current, &data);
ctx->live_intervals[ctx->vregs[insn->op2]]->stack_spill_pos =
ctx->live_intervals[current]->stack_spill_pos;
if (IR_LIVE_POS_TO_REF(ival->range.end) < ctx->insns_count) {
insn = &ctx->ir_base[IR_LIVE_POS_TO_REF(ival->range.end)];
if (insn->op == IR_VSTORE) {
ir_insn *var = &ctx->ir_base[insn->op2];
IR_ASSERT(var->op == IR_VAR);
if (strcmp(ir_get_str(ctx, var->op2), "_spill_") == 0) {
if (ctx->live_intervals[ctx->vregs[insn->op2]]->stack_spill_pos) {
ctx->live_intervals[current]->stack_spill_pos =
ctx->live_intervals[ctx->vregs[insn->op2]]->stack_spill_pos;
} else {
ir_allocate_spill_slot(ctx, current, &data);
ctx->live_intervals[ctx->vregs[insn->op2]]->stack_spill_pos =
ctx->live_intervals[current]->stack_spill_pos;
}
continue;
}
continue;
}
}
#endif