ir_node *b_h = params[BINOP_Right_High];
ir_mode *l_res_mode = get_type_mode(get_method_res_type(method, 0));
ir_mode *h_res_mode = get_type_mode(get_method_res_type(method, 1));
- ir_node *l_res, *h_res;
+ ir_node *l_res, *h_res, *add;
/* l_res = a_l + b_l */
- l_res = new_rd_ia32_l_Add(dbg, irg, block, a_l, b_l, l_res_mode);
-
/* h_res = a_h + b_h + carry */
- h_res = new_rd_ia32_l_AddC(dbg, irg, block, a_h, b_h, h_res_mode);
+
+ add = new_rd_ia32_Add64Bit(dbg, irg, block, a_l, a_h, b_l, b_h);
+ l_res = new_r_Proj(irg, block, add, l_res_mode, pn_ia32_Add64Bit_low_res);
+ h_res = new_r_Proj(irg, block, add, h_res_mode, pn_ia32_Add64Bit_high_res);
resolve_call(call, l_res, h_res, irg, block);
return 1;
ir_node *b_h = params[BINOP_Right_High];
ir_mode *l_res_mode = get_type_mode(get_method_res_type(method, 0));
ir_mode *h_res_mode = get_type_mode(get_method_res_type(method, 1));
- ir_node *l_res, *h_res;
+ ir_node *l_res, *h_res, *res;
/* l_res = a_l - b_l */
- l_res = new_rd_ia32_l_Sub(dbg, irg, block, a_l, b_l, l_res_mode);
-
/* h_res = a_h - b_h - carry */
- h_res = new_rd_ia32_l_SubC(dbg, irg, block, a_h, b_h, h_res_mode);
- resolve_call(call, l_res, h_res, irg, block);
+ res = new_rd_ia32_Sub64Bit(dbg, irg, block, a_l, a_h, b_l, b_h);
+ l_res = new_r_Proj(irg, block, res, l_res_mode, pn_ia32_Sub64Bit_low_res);
+ h_res = new_r_Proj(irg, block, res, h_res_mode, pn_ia32_Sub64Bit_high_res);
+ resolve_call(call, l_res, h_res, irg, block);
return 1;
}
ir_node *l_res, *h_res;
/* h_res = SHLD a_h, a_l, cnt */
- l_res = new_rd_ia32_l_ShlD(dbg, irg, block, a_h, a_l, cnt, l_res_mode);
+ h_res = new_rd_ia32_l_ShlD(dbg, irg, block, a_h, a_l, cnt, l_res_mode);
/* l_res = SHL a_l, cnt */
- h_res = new_rd_ia32_l_Shl(dbg, irg, block, a_l, cnt, h_res_mode);
+ l_res = new_rd_ia32_l_Shl(dbg, irg, block, a_l, cnt, h_res_mode);
- resolve_call(call, l_res, h_res, irg, block);
+ add_irn_dep(l_res, h_res);
+ resolve_call(call, l_res, h_res, irg, block);
return 1;
}
/* h_res = SHR a_h, cnt */
h_res = new_rd_ia32_l_Shr(dbg, irg, block, a_h, cnt, h_res_mode);
- resolve_call(call, l_res, h_res, irg, block);
+ add_irn_dep(h_res, l_res);
+ resolve_call(call, l_res, h_res, irg, block);
return 1;
}
/* h_res = SAR a_h, cnt */
h_res = new_rd_ia32_l_Shrs(dbg, irg, block, a_h, cnt, h_res_mode);
- resolve_call(call, l_res, h_res, irg, block);
+ add_irn_dep(h_res, l_res);
+ resolve_call(call, l_res, h_res, irg, block);
return 1;
}
h_res = t2 + t3
*/
mul = new_rd_ia32_l_MulS(dbg, irg, block, a_l, b_l);
+ set_ia32_res_mode(mul, l_res_mode);
pEDX = new_rd_Proj(dbg, irg, block, mul, l_res_mode, pn_ia32_l_MulS_EDX);
l_res = new_rd_Proj(dbg, irg, block, mul, l_res_mode, pn_ia32_l_MulS_EAX);
ir_node *a_h = params[BINOP_Left_High];
ir_mode *l_res_mode = get_type_mode(get_method_res_type(method, 0));
ir_mode *h_res_mode = get_type_mode(get_method_res_type(method, 1));
- ir_node *l_res, *h_res, *cnst;
+ ir_node *l_res, *h_res, *cnst, *res;
- /* l_res = 0 - a_l */
- l_res = new_rd_ia32_l_Minus(dbg, irg, block, a_l, l_res_mode);
+ /* too bad: we need 0 in a register here */
+ cnst = new_Const_long(h_res_mode, 0);
+ /* l_res = 0 - a_l */
/* h_res = 0 - a_h - carry */
- /* too bad: we need 0 in a register here */
- cnst = new_Const_long(h_res_mode, 0);
- h_res = new_rd_ia32_l_SubC(dbg, irg, block, cnst, a_h, h_res_mode);
+ res = new_rd_ia32_Minus64Bit(dbg, irg, block, cnst, a_l, a_h);
+ l_res = new_r_Proj(irg, block, res, l_res_mode, pn_ia32_Minus64Bit_low_res);
+ h_res = new_r_Proj(irg, block, res, h_res_mode, pn_ia32_Minus64Bit_high_res);
resolve_call(call, l_res, h_res, irg, block);
ir_node *a_h = params[BINOP_Left_High];
ir_mode *l_res_mode = get_type_mode(get_method_res_type(method, 0));
ir_mode *h_res_mode = get_type_mode(get_method_res_type(method, 1));
- ir_node *l_res, *h_res, *sign, *sub_l, *sub_h;
+ ir_node *l_res, *h_res, *sign, *sub_l, *sub_h, *res;
/*
Code inspired by gcc output :) (although gcc doubles the
sign = new_rd_ia32_l_Shrs(dbg, irg, block, a_h, new_Const_long(h_res_mode, 31), h_res_mode);
sub_l = new_rd_ia32_l_Eor(dbg, irg, block, a_l, sign, l_res_mode);
sub_h = new_rd_ia32_l_Eor(dbg, irg, block, a_h, sign, h_res_mode);
- l_res = new_rd_ia32_l_Sub(dbg, irg, block, sub_l, sign, l_res_mode);
- h_res = new_rd_ia32_l_SubC(dbg, irg, block, sub_h, sign, l_res_mode);
+ res = new_rd_ia32_Sub64Bit(dbg, irg, block, sub_l, sub_h, sign, sign);
+ l_res = new_r_Proj(irg, block, res, l_res_mode, pn_ia32_Sub64Bit_low_res);
+ h_res = new_r_Proj(irg, block, res, h_res_mode, pn_ia32_Sub64Bit_high_res);
resolve_call(call, l_res, h_res, irg, block);
return 1;
}
+typedef enum {
+ IA32_INTRINSIC_DIV,
+ IA32_INTRINSIC_MOD,
+} ia32_intrinsic_divmod_t;
+
/**
* Maps a Div/Mod (a_l, a_h, b_l, b_h)
*/
-static int DivMod_mapper(ir_node *call, void *ctx, int need_mod) {
+static int DivMod_mapper(ir_node *call, void *ctx, ia32_intrinsic_divmod_t dmtp) {
ia32_intrinsic_env_t *env = ctx;
ir_graph *irg = current_ir_graph;
dbg_info *dbg = get_irn_dbg_info(call);
ir_mode *l_res_mode = get_type_mode(get_method_res_type(method, 0));
ir_mode *h_res_mode = get_type_mode(get_method_res_type(method, 1));
int mode_bytes = get_mode_size_bytes(ia32_reg_classes[CLASS_ia32_gp].mode);
- entity *ent_a = env->ll_div_op1;
- entity *ent_b = env->ll_div_op2;
+ entity *ent_a = env->irg == irg ? env->ll_div_op1 : NULL;
+ entity *ent_b = env->irg == irg ? env->ll_div_op2 : NULL;
ir_node *l_res, *h_res, *frame;
ir_node *store_l, *store_h;
ir_node *op_mem[2], *mem, *fa_mem, *fb_mem;
ir_node *fa, *fb, *fres;
- char buf[3];
/* allocate memory on frame to store args */
if (! ent_a) {
ent_a = env->ll_div_op1 =
frame_alloc_area(get_irg_frame_type(irg), 2 * mode_bytes, 16, 0);
+ env->irg = irg;
}
if (! ent_b) {
ent_b = env->ll_div_op2 =
frame_alloc_area(get_irg_frame_type(irg), 2 * mode_bytes, 16, 0);
+ env->irg = irg;
}
- snprintf(buf, sizeof(buf), "%d", mode_bytes);
frame = get_irg_frame(irg);
/* store first arg */
store_h = new_rd_ia32_l_Store(dbg, irg, block, frame, a_h, get_irg_no_mem(irg));
set_ia32_frame_ent(store_h, ent_a);
- add_ia32_am_offs(store_h, buf);
+ add_ia32_am_offs_int(store_h, mode_bytes);
set_ia32_use_frame(store_h);
set_ia32_ls_mode(store_h, get_irn_mode(a_h));
op_mem[1] = new_r_Proj(irg, block, store_h, mode_M, pn_ia32_l_Store_M);
store_h = new_rd_ia32_l_Store(dbg, irg, block, frame, b_h, get_irg_no_mem(irg));
set_ia32_frame_ent(store_h, ent_b);
- add_ia32_am_offs(store_h, buf);
+ add_ia32_am_offs_int(store_h, mode_bytes);
set_ia32_use_frame(store_h);
set_ia32_ls_mode(store_h, get_irn_mode(b_h));
op_mem[1] = new_r_Proj(irg, block, store_h, mode_M, pn_ia32_l_Store_M);
mem = new_r_Sync(irg, block, 2, op_mem);
/* perform division */
- fres = new_rd_ia32_l_vfdiv(dbg, irg, block, fa, fb, mode_D);
-
- if (need_mod) {
- /* we need modulo: mod = a - b * res */
-
- fres = new_rd_ia32_l_vfmul(dbg, irg, block, fb, fres, mode_D);
- fres = new_rd_ia32_l_vfsub(dbg, irg, block, fa, fres, mode_D);
+ switch (dmtp) {
+ case IA32_INTRINSIC_DIV:
+ fres = new_rd_ia32_l_vfdiv(dbg, irg, block, fa, fb, mode_D);
+ break;
+ case IA32_INTRINSIC_MOD:
+ fres = new_rd_ia32_l_vfprem(dbg, irg, block, fa, fb, mode_D);
+ break;
+ default:
+ assert(0);
}
/* store back result, we use ent_a here */
/* load hight part of the result */
h_res = new_rd_ia32_l_Load(dbg, irg, block, frame, mem);
set_ia32_frame_ent(h_res, ent_a);
- add_ia32_am_offs(h_res, buf);
+ add_ia32_am_offs_int(h_res, mode_bytes);
set_ia32_use_frame(h_res);
set_ia32_ls_mode(h_res, h_res_mode);
h_res = new_r_Proj(irg, block, h_res, h_res_mode, pn_ia32_l_Load_res);
}
static int map_Div(ir_node *call, void *ctx) {
- return DivMod_mapper(call, ctx, 0);
+ return DivMod_mapper(call, ctx, IA32_INTRINSIC_DIV);
}
static int map_Mod(ir_node *call, void *ctx) {
- return DivMod_mapper(call, ctx, 1);
+ return DivMod_mapper(call, ctx, IA32_INTRINSIC_MOD);
}
/**
ir_node *l_res, *h_res, *frame, *fres;
ir_node *store_l, *store_h;
ir_node *op_mem[2], *mem;
- char buf[3];
if (n == 1) {
/* We have a Conv float -> long long here */
assert(mode_is_float(get_irn_mode(a_f)) && "unexpected Conv call");
/* allocate memory on frame to store args */
- ent = env->d_ll_conv;
+ ent = env->irg == irg ? env->d_ll_conv : NULL;
if (! ent) {
- ent = env->d_ll_conv = frame_alloc_area(get_irg_frame_type(irg), 2 * gp_bytes, 16, 0);
+ ent = env->d_ll_conv = frame_alloc_area(get_irg_frame_type(irg), 2 * gp_bytes, 16, 0);
+ env->irg = irg;
}
/* Store arg */
- snprintf(buf, sizeof(buf), "%d", gp_bytes);
frame = get_irg_frame(irg);
/*
/* load hight part of the result */
h_res = new_rd_ia32_l_Load(dbg, irg, block, frame, mem);
set_ia32_frame_ent(h_res, ent);
- add_ia32_am_offs(h_res, buf);
+ add_ia32_am_offs_int(h_res, gp_bytes);
set_ia32_use_frame(h_res);
set_ia32_ls_mode(h_res, h_res_mode);
h_res = new_r_Proj(irg, block, h_res, h_res_mode, pn_ia32_l_Load_res);
assert(! mode_is_float(mode_a_l) && ! mode_is_float(mode_a_h) && "unexpected Conv call");
/* allocate memory on frame to store args */
- ent = env->ll_d_conv;
+ ent = env->irg == irg ? env->ll_d_conv : NULL;
if (! ent) {
ent = env->ll_d_conv = frame_alloc_area(get_irg_frame_type(irg), 2 * gp_bytes, 16, 0);
+ env->irg = irg;
}
/* Store arg */
- snprintf(buf, sizeof(buf), "%d", gp_bytes);
frame = get_irg_frame(irg);
/* store first arg (low part) */
/* store second arg (high part) */
store_h = new_rd_ia32_l_Store(dbg, irg, block, frame, a_h, get_irg_no_mem(irg));
set_ia32_frame_ent(store_h, ent);
- add_ia32_am_offs(store_h, buf);
+ add_ia32_am_offs_int(store_h, gp_bytes);
set_ia32_use_frame(store_h);
set_ia32_ls_mode(store_h, get_irn_mode(a_h));
op_mem[1] = new_r_Proj(irg, block, store_h, mode_M, pn_ia32_l_Store_M);