Example #1
0
tr_expr_t tr_if_expr(tr_expr_t cond, tr_expr_t then, tr_expr_t else_)
{
    tmp_label_t t = tmp_label();
    tmp_label_t f = tmp_label();
    tmp_label_t done = tmp_label();
    cx_t cx = un_cx(cond);
    ir_expr_t result = ir_tmp_expr(temp());

    fill_patch(cx.trues, t);
    fill_patch(cx.falses, f);
    if (else_)
    {
        return tr_ex(ir_eseq_expr(ir_seq_stmt(vlist(
                7,
                cx.stmt,
                ir_label_stmt(t),
                ir_move_stmt(ir_mem_expr(result), un_ex(then)),
                ir_jump_stmt(ir_name_expr(done), list(done, NULL)),
                ir_label_stmt(f),
                ir_move_stmt(ir_mem_expr(result), un_ex(else_)),
                ir_label_stmt(done))),
            result));
    }
    else
    {
        return tr_nx(ir_seq_stmt(vlist(
              4,
              cx.stmt,
              ir_label_stmt(t),
              un_nx(then),
              ir_label_stmt(f))));
    }
    return NULL;
}
Example #2
0
tr_expr_t tr_record_expr(list_t fields, int size)
{
    ir_expr_t addr = ir_tmp_expr(temp());
    ir_expr_t alloc = fr_external_call(
      "_Alloc", list(ir_const_expr(size * FR_WORD_SIZE), NULL));
    list_t p, q = NULL, r = NULL;
    int i;

    for (p = fields, i = 0; p; p = p->next, i++)
    {
        tr_expr_t field = p->data;
        ir_expr_t offset = ir_binop_expr(IR_PLUS, addr,
                                         ir_const_expr(FR_WORD_SIZE * i));
        ir_stmt_t stmt = ir_move_stmt(ir_mem_expr(offset), un_ex(field));
        list_t next = list(stmt, NULL);
        if (q)
        {
            r->next = next;
            r = next;
        }
        else
            q = r = next;
    }
    return tr_ex(
      ir_eseq_expr(
        ir_seq_stmt(list(ir_move_stmt(addr, alloc), q)),
        addr));
}
Example #3
0
tr_expr_t tr_field_var(tr_expr_t record, int index)
{
    return tr_ex(ir_mem_expr(ir_binop_expr(
          IR_PLUS,
          un_ex(record),
          ir_binop_expr(IR_MUL,
                        ir_const_expr(index),
                        ir_const_expr(FR_WORD_SIZE)))));
}
Example #4
0
tr_expr_t tr_simple_var(tr_access_t access, tr_level_t level)
{
    ir_expr_t fp = ir_tmp_expr(fr_fp());

    return tr_ex(fr_expr(access->access, fp));

#if 0
    while (level != access->level)
    {
        fr_access_t fr_access = tr_static_link(level)->access;
        fp = ir_mem_expr(ir_binop_expr(
            IR_PLUS, fp,
            ir_const_expr(fr_offset(fr_access))));
        level = level->parent;
    }
    return tr_ex(ir_mem_expr(ir_binop_expr(
          IR_PLUS, fp,
          ir_const_expr(fr_offset(access->access)))));
#endif
}
Example #5
0
ir_expr_t fr_expr(fr_access_t access, ir_expr_t frame_ptr)
{
    switch (access->kind)
    {
        case FR_IN_FRAME:
            return ir_mem_expr(ir_binop_expr(
                IR_PLUS,
                ir_const_expr(access->u.offset),
                frame_ptr));
        case FR_IN_REG:
            return ir_tmp_expr(access->u.reg);
        default:
            assert(0);
    }
}