-/**
- * This file implements the mapping of 64Bit intrinsic functions to
- * code or library calls.
- * @author Michael Beck
- * $Id$
+/*
+ * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
*/
+/**
+ * @file
+ * @brief This file implements the mapping of 64Bit intrinsic
+ * functions to code or library calls.
+ * @author Michael Beck
+ * @version $Id$
+ */
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#include "irnode_t.h"
#include "ircons.h"
#include "irprog_t.h"
-#include "lower_intrinsics.h"
-#include "lower_dw.h"
-#include "mangle.h"
+#include "lowering.h"
#include "array.h"
#include "ia32_new_nodes.h"
static i_record *intrinsics;
/** An array to cache all entities */
-static entity *i_ents[iro_MaxOpcode];
+static ir_entity *i_ents[iro_MaxOpcode];
/*
* Maps all intrinsic calls that the backend support
#define BINOP_Right_Low 2
#define BINOP_Right_High 3
+/**
+ * Replace a call be a tuple of l_res, h_res.
+ */
static void resolve_call(ir_node *call, ir_node *l_res, ir_node *h_res, ir_graph *irg, ir_node *block) {
ir_node *res, *in[2];
turn_into_tuple(call, pn_Call_max);
set_Tuple_pred(call, pn_Call_M_regular, get_irg_no_mem(irg));
+ set_Tuple_pred(call, pn_Call_X_regular, new_r_Jmp(irg, block));
set_Tuple_pred(call, pn_Call_X_except, get_irg_bad(irg));
set_Tuple_pred(call, pn_Call_T_result, res);
set_Tuple_pred(call, pn_Call_M_except, get_irg_no_mem(irg));
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, *add;
+ (void) ctx;
/* l_res = a_l + b_l */
/* h_res = a_h + b_h + carry */
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, *res;
+ (void) ctx;
/* l_res = a_l - b_l */
/* h_res = a_h - b_h - carry */
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;
+ (void) ctx;
/* h_res = SHLD a_h, a_l, cnt */
h_res = new_rd_ia32_l_ShlD(dbg, irg, block, a_h, a_l, cnt, l_res_mode);
/* l_res = SHL a_l, cnt */
l_res = new_rd_ia32_l_Shl(dbg, irg, block, a_l, cnt, h_res_mode);
- add_irn_dep(l_res, h_res);
+ //add_irn_dep(l_res, h_res);
resolve_call(call, l_res, h_res, irg, block);
return 1;
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;
+ (void) ctx;
/* l_res = SHRD a_l, a_h, cnt */
l_res = new_rd_ia32_l_ShrD(dbg, irg, block, a_l, a_h, cnt, l_res_mode);
/* h_res = SHR a_h, cnt */
h_res = new_rd_ia32_l_Shr(dbg, irg, block, a_h, cnt, h_res_mode);
- add_irn_dep(h_res, l_res);
+ //add_irn_dep(h_res, l_res);
resolve_call(call, l_res, h_res, irg, block);
return 1;
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;
+ (void) ctx;
/* l_res = SHRD a_l, a_h, cnt */
l_res = new_rd_ia32_l_ShrD(dbg, irg, block, a_l, a_h, cnt, l_res_mode);
/* h_res = SAR a_h, cnt */
- h_res = new_rd_ia32_l_Shrs(dbg, irg, block, a_h, cnt, h_res_mode);
+ h_res = new_rd_ia32_l_Sar(dbg, irg, block, a_h, cnt, h_res_mode);
- add_irn_dep(h_res, l_res);
+ //add_irn_dep(h_res, l_res);
resolve_call(call, l_res, h_res, irg, block);
return 1;
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, *mul, *pEDX, *add;
+ (void) ctx;
/*
EDX:EAX = a_l * b_l
t3 = a_l * b_h
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);
+ mul = new_rd_ia32_l_Mul(dbg, irg, block, a_l, b_l);
+ pEDX = new_rd_Proj(dbg, irg, block, mul, l_res_mode, pn_ia32_l_Mul_EDX);
+ l_res = new_rd_Proj(dbg, irg, block, mul, l_res_mode, pn_ia32_l_Mul_EAX);
- mul = new_rd_ia32_l_Mul(dbg, irg, block, a_h, b_l, h_res_mode);
+ mul = new_rd_ia32_l_Mul(dbg, irg, block, a_h, b_l);
add = new_rd_ia32_l_Add(dbg, irg, block, mul, pEDX, h_res_mode);
- mul = new_rd_ia32_l_Mul(dbg, irg, block, a_l, b_h, h_res_mode);
+ mul = new_rd_ia32_l_Mul(dbg, irg, block, a_l, b_h);
h_res = new_rd_ia32_l_Add(dbg, irg, block, add, mul, h_res_mode);
resolve_call(call, l_res, h_res, irg, block);
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, *res;
+ (void) ctx;
/* too bad: we need 0 in a register here */
cnst = new_Const_long(h_res_mode, 0);
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, *res;
+ (void) ctx;
/*
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);
+ sign = new_rd_ia32_l_Sar(dbg, irg, block, a_h, new_Const_long(h_res_mode, 31), h_res_mode);
+ sub_l = new_rd_ia32_l_Xor(dbg, irg, block, a_l, sign, l_res_mode);
+ sub_h = new_rd_ia32_l_Xor(dbg, irg, block, a_h, sign, h_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);
*/
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_node *block = get_nodes_block(call);
- ir_node **params = get_Call_param_arr(call);
- ir_type *method = get_Call_type(call);
- ir_node *a_l = params[BINOP_Left_Low];
- ir_node *a_h = params[BINOP_Left_High];
- ir_node *b_l = params[BINOP_Right_Low];
- 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));
- int mode_bytes = get_mode_size_bytes(ia32_reg_classes[CLASS_ia32_gp].mode);
- 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;
+ ir_graph *irg = current_ir_graph;
+ dbg_info *dbg = get_irn_dbg_info(call);
+ ir_node *block = get_nodes_block(call);
+ ir_node **params = get_Call_param_arr(call);
+ ir_type *method = get_Call_type(call);
+ ir_node *a_l = params[BINOP_Left_Low];
+ ir_node *a_h = params[BINOP_Left_High];
+ ir_node *b_l = params[BINOP_Right_Low];
+ 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));
+ int mode_bytes = get_mode_size_bytes(ia32_reg_classes[CLASS_ia32_gp].mode);
+ ir_entity *ent_a = env->irg == irg ? env->ll_div_op1 : NULL;
+ ir_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;
/* 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);
set_ia32_frame_ent(store_l, ent_a);
set_ia32_use_frame(store_l);
set_ia32_ls_mode(store_l, get_irn_mode(a_l));
- op_mem[0] = new_r_Proj(irg, block, store_l, mode_M, pn_ia32_l_Store_M);
+ op_mem[0] = store_l;
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_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);
+ op_mem[1] = store_h;
mem = new_r_Sync(irg, block, 2, op_mem);
set_ia32_use_frame(fa);
set_ia32_ls_mode(fa, mode_D);
fa_mem = new_r_Proj(irg, block, fa, mode_M, pn_ia32_l_vfild_M);
- fa = new_r_Proj(irg, block, fa, mode_D, pn_ia32_l_vfild_res);
+ fa = new_r_Proj(irg, block, fa, mode_E, pn_ia32_l_vfild_res);
/* store second arg */
store_l = new_rd_ia32_l_Store(dbg, irg, block, frame, b_l, get_irg_no_mem(irg));
set_ia32_frame_ent(store_l, ent_b);
set_ia32_use_frame(store_l);
set_ia32_ls_mode(store_l, get_irn_mode(b_l));
- op_mem[0] = new_r_Proj(irg, block, store_l, mode_M, pn_ia32_l_Store_M);
+ op_mem[0] = store_l;
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_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);
+ op_mem[1] = store_h;
mem = new_r_Sync(irg, block, 2, op_mem);
set_ia32_use_frame(fb);
set_ia32_ls_mode(fb, mode_D);
fb_mem = new_r_Proj(irg, block, fb, mode_M, pn_ia32_l_vfild_M);
- fb = new_r_Proj(irg, block, fb, mode_D, pn_ia32_l_vfild_res);
+ fb = new_r_Proj(irg, block, fb, mode_E, pn_ia32_l_vfild_res);
op_mem[0] = fa_mem;
op_mem[1] = fb_mem;
/* perform division */
switch (dmtp) {
case IA32_INTRINSIC_DIV:
- fres = new_rd_ia32_l_vfdiv(dbg, irg, block, fa, fb, mode_D);
+ fres = new_rd_ia32_l_vfdiv(dbg, irg, block, fa, fb);
+ fres = new_rd_Proj(dbg, irg, block, fres, mode_E, pn_ia32_l_vfdiv_res);
break;
case IA32_INTRINSIC_MOD:
- fres = new_rd_ia32_l_vfprem(dbg, irg, block, fa, fb, mode_D);
+ fres = new_rd_ia32_l_vfprem(dbg, irg, block, fa, fb, mode_E);
break;
default:
assert(0);
set_ia32_frame_ent(fres, ent_a);
set_ia32_use_frame(fres);
set_ia32_ls_mode(fres, mode_D);
- mem = new_r_Proj(irg, block, fres, mode_M, pn_ia32_l_vfist_M);
+ mem = fres;
/* load low part of the result */
l_res = new_rd_ia32_l_Load(dbg, irg, block, frame, mem);
*/
static int map_Conv(ir_node *call, void *ctx) {
ia32_intrinsic_env_t *env = ctx;
- ir_graph *irg = current_ir_graph;
- dbg_info *dbg = get_irn_dbg_info(call);
- ir_node *block = get_nodes_block(call);
- ir_node **params = get_Call_param_arr(call);
- ir_type *method = get_Call_type(call);
- int n = get_Call_n_params(call);
- int gp_bytes = get_mode_size_bytes(ia32_reg_classes[CLASS_ia32_gp].mode);
- entity *ent;
- ir_node *l_res, *h_res, *frame, *fres;
- ir_node *store_l, *store_h;
- ir_node *op_mem[2], *mem;
+ ir_graph *irg = current_ir_graph;
+ dbg_info *dbg = get_irn_dbg_info(call);
+ ir_node *block = get_nodes_block(call);
+ ir_node **params = get_Call_param_arr(call);
+ ir_type *method = get_Call_type(call);
+ int n = get_Call_n_params(call);
+ int gp_bytes = get_mode_size_bytes(ia32_reg_classes[CLASS_ia32_gp].mode);
+ ir_entity *ent;
+ ir_node *l_res, *h_res, *frame, *fres;
+ ir_node *store_l, *store_h;
+ ir_node *op_mem[2], *mem;
if (n == 1) {
/* We have a Conv float -> long long here */
set_ia32_frame_ent(a_f, ent);
set_ia32_use_frame(a_f);
set_ia32_ls_mode(a_f, mode_D);
- mem = new_r_Proj(irg, block, a_f, mode_M, pn_ia32_l_vfist_M);
+ mem = a_f;
/* load low part of the result */
l_res = new_rd_ia32_l_Load(dbg, irg, block, frame, mem);
set_ia32_frame_ent(store_l, ent);
set_ia32_use_frame(store_l);
set_ia32_ls_mode(store_l, get_irn_mode(a_l));
- op_mem[0] = new_r_Proj(irg, block, store_l, mode_M, pn_ia32_l_Store_M);
+ op_mem[0] = store_l;
/* store second arg (high part) */
store_h = new_rd_ia32_l_Store(dbg, irg, block, frame, a_h, get_irg_no_mem(irg));
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);
+ op_mem[1] = store_h;
mem = new_r_Sync(irg, block, 2, op_mem);
}
/* Ia32 implementation of intrinsic mapping. */
-entity *ia32_create_intrinsic_fkt(ir_type *method, const ir_op *op,
- const ir_mode *imode, const ir_mode *omode,
- void *context)
+ir_entity *ia32_create_intrinsic_fkt(ir_type *method, const ir_op *op,
+ const ir_mode *imode, const ir_mode *omode,
+ void *context)
{
i_record elt;
- entity **ent = NULL;
+ ir_entity **ent = NULL;
i_mapper_func mapper;
if (! intrinsics)