X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_intrinsics.c;h=8dd0b28b27851efd70a83406c5585de49a21b169;hb=3a17d433225f46418db86ab1edbfea1cc25b9d22;hp=738b66773d68e61e5ca48a3bc01dbb2894b4a9da;hpb=ce4f90446b35c578e642a6e6a5d73b8bb6719942;p=libfirm diff --git a/ir/be/ia32/ia32_intrinsics.c b/ir/be/ia32/ia32_intrinsics.c index 738b66773..8dd0b28b2 100644 --- a/ir/be/ia32/ia32_intrinsics.c +++ b/ir/be/ia32/ia32_intrinsics.c @@ -1,10 +1,29 @@ -/** - * 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 @@ -14,9 +33,7 @@ #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" @@ -44,6 +61,9 @@ void ia32_handle_intrinsics(void) { #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]; @@ -53,6 +73,7 @@ static void resolve_call(ir_node *call, ir_node *l_res, ir_node *h_res, ir_graph 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)); @@ -75,6 +96,7 @@ static int map_Add(ir_node *call, void *ctx) { 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 */ @@ -103,6 +125,7 @@ static int map_Sub(ir_node *call, void *ctx) { 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 */ @@ -130,6 +153,7 @@ static int map_Shl(ir_node *call, void *ctx) { 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); @@ -158,6 +182,7 @@ static int map_Shr(ir_node *call, void *ctx) { 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); @@ -186,6 +211,7 @@ static int map_Shrs(ir_node *call, void *ctx) { 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); @@ -215,6 +241,7 @@ static int map_Mul(ir_node *call, void *ctx) { 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 @@ -253,6 +280,7 @@ static int map_Minus(ir_node *call, void *ctx) { 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); @@ -283,6 +311,7 @@ static int map_Abs(ir_node *call, void *ctx) { 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