instruction_selection.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "misc.h"
#include "ri-util.h"
#include "effects-util.h"
#include "resources.h"
#include "pipsdbm.h"

Include dependency graph for instruction_selection.c:

Go to the source code of this file.

Data Structures
struct	inst_sel_ctx

Macros
#define	DEBUG_NAME   "INSTRUCTION_SELECTION_DEBUG_LEVEL"

Functions
static list	is_this_op (expression e, entity op, size_t len)
	whether e is a call to op with len parameters if ok, the list of arguments is returned. More...
static void	update_call (call c, entity op, expression e, list le)
static void	select_op_rwt (call c, inst_sel_ctx *ctx)
bool	instruction_selection (const char *module_name)
	instruction_selection.c More...

Macro Definition Documentation

DEBUG_NAME

#define DEBUG_NAME   "INSTRUCTION_SELECTION_DEBUG_LEVEL"

Definition at line 43 of file instruction_selection.c.

Function Documentation

instruction_selection()

bool instruction_selection

(

const char *

module_name

)

instruction_selection.c

get data from pipsdbm

init gen_recurse context

Do not optimize subscript expressions

store statement back to pipsdbm

Parameters

module_name

odule_name

Definition at line 144 of file instruction_selection.c.

{
        inst_sel_ctx ctx;
        statement stat;
 
        debug_on(DEBUG_NAME);
 
        /* get data from pipsdbm
         */
        set_current_module_entity(local_name_to_top_level_entity(module_name));
 
    set_current_module_statement((statement)
            db_get_memory_resource(DBR_CODE, module_name, true));
 
        stat = get_current_module_statement();
 
        /* init gen_recurse context
         */
        ctx.bmult = entity_intrinsic(MULTIPLY_OPERATOR_NAME);
        ctx.bplus = entity_intrinsic(PLUS_OPERATOR_NAME);
        ctx.bminus = entity_intrinsic(MINUS_OPERATOR_NAME);
        ctx.uminus = entity_intrinsic(UNARY_MINUS_OPERATOR_NAME);
        ctx.imaop = entity_intrinsic(IMA_OPERATOR_NAME);
        ctx.imsop = entity_intrinsic(IMS_OPERATOR_NAME);
        ctx.n_ima = 0;
        ctx.n_ims = 0;
 
        gen_context_multi_recurse(stat, &ctx,
                                  call_domain, gen_true, select_op_rwt,
                                  /* Do not optimize subscript expressions */
                                  reference_domain, gen_false, gen_null,
                                  NULL);
 
        /* store statement back to pipsdbm
         */
    DB_PUT_MEMORY_RESOURCE(DBR_CODE, module_name, stat);
 
    reset_current_module_entity();
    reset_current_module_statement();
 
    debug_off();
 
        return true;
}

References inst_sel_ctx::bminus, inst_sel_ctx::bmult, inst_sel_ctx::bplus, call_domain, db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, DEBUG_NAME, debug_off, debug_on, entity_intrinsic(), gen_context_multi_recurse(), gen_false(), gen_null(), gen_true(), get_current_module_statement(), IMA_OPERATOR_NAME, inst_sel_ctx::imaop, IMS_OPERATOR_NAME, inst_sel_ctx::imsop, local_name_to_top_level_entity(), MINUS_OPERATOR_NAME, module_name(), MULTIPLY_OPERATOR_NAME, inst_sel_ctx::n_ima, inst_sel_ctx::n_ims, PLUS_OPERATOR_NAME, reference_domain, reset_current_module_entity(), reset_current_module_statement(), select_op_rwt(), set_current_module_entity(), set_current_module_statement(), inst_sel_ctx::uminus, and UNARY_MINUS_OPERATOR_NAME.

Here is the call graph for this function:

is_this_op()

static list is_this_op ( expression  e, entity  op, size_t  len  )

static

whether e is a call to op with len parameters if ok, the list of arguments is returned.

if not, NIL is returned. of expression

Definition at line 63 of file instruction_selection.c.

{
        if (expression_call_p(e))
        {
                call c = syntax_call(expression_syntax(e));
                list args = call_arguments(c);
                if (call_function(c)==op && gen_length(args)==len)
                        return args;
        }
        return NIL;
}

References call_arguments, call_function, expression_call_p(), expression_syntax, gen_length(), NIL, and syntax_call.

Referenced by select_op_rwt().

Here is the call graph for this function:

Here is the caller graph for this function:

select_op_rwt()

static void select_op_rwt ( call  c, inst_sel_ctx *  ctx  )

static

of expression

of expression

a * b + c -> ima(a,b,c)

a + b * c -> ima(b,c,a)

a * b + -c -> ims(a,b,c)

-a + b * c -> ims(b,c,a)

of expression

a * b - c -> ims(a,b,c)

a - b * c -> -ims(b,c,a)

-a - b * c -> -ima(b,c,a)

Definition at line 86 of file instruction_selection.c.

{
        entity fun = call_function(c);
        list /* of expression */ args = call_arguments(c);
        int nargs = gen_length(args);
        
        if (fun==ctx->bplus && nargs==2)
        {
                list /* of expression */ lm;
 
                lm = is_this_op(EXPRESSION(gen_nth(0, args)), ctx->bmult, 2);
                if (lm)
                {
                        /*  a * b + c   ->   ima(a,b,c) */
                        update_call(c, ctx->imaop, EXPRESSION(gen_nth(1, args)), lm);
                        ctx->n_ima++;
                }
                else
                {
                        lm = is_this_op(EXPRESSION(gen_nth(1, args)), ctx->bmult, 2);
                        if (lm)
                        {
                                /*  a + b * c   ->   ima(b,c,a) */
                                update_call(c, ctx->imaop, EXPRESSION(gen_nth(0, args)), lm);
                                ctx->n_ima++;
                        }
                }
                /*  a * b + -c  ->   ims(a,b,c) */
                /* -a + b * c   ->   ims(b,c,a) */
        }
        else if (fun==ctx->bminus && nargs==2)
        {
                list /* of expression */ lm;
 
                lm = is_this_op(EXPRESSION(gen_nth(0, args)), ctx->bmult, 2);
                if (lm)
                {
                        /*  a * b - c   ->   ims(a,b,c) */
                        update_call(c, ctx->imsop, EXPRESSION(gen_nth(1, args)), lm);
                        ctx->n_ims++;
                }
                else
                {
                        /*  a - b * c   ->  -ims(b,c,a) */
                        /* -a - b * c   ->  -ima(b,c,a) */
                        /*
                        lm = is_this_op(EXPRESSION(gen_nth(1, args)), ctx->bmult, 2);
                        if (lm)
                        {
                                update_call(c, ctx->imaop, EXPRESSION(gen_nth(0, args)), lm);
                                ctx->n_ima++;
                        }
                        */
                }
        }
        return;
}

References inst_sel_ctx::bminus, inst_sel_ctx::bmult, inst_sel_ctx::bplus, call_arguments, call_function, EXPRESSION, gen_length(), gen_nth(), inst_sel_ctx::imaop, inst_sel_ctx::imsop, is_this_op(), inst_sel_ctx::n_ima, inst_sel_ctx::n_ims, and update_call().

Referenced by instruction_selection().

Here is the call graph for this function:

Here is the caller graph for this function:

update_call()

static void update_call ( call  c, entity  op, expression  e, list  le  )

static

??? MEMORY LEAK

Definition at line 75 of file instruction_selection.c.

{
        expression 
                a = EXPRESSION(gen_nth(0, le)),
                b = EXPRESSION(gen_nth(1, le));
 
        /* ??? MEMORY LEAK */
        call_function(c) = op;
        call_arguments(c) = gen_make_list(expression_domain, a, b, e, NIL);
}

References call_arguments, call_function, EXPRESSION, expression_domain, gen_make_list(), gen_nth(), and NIL.

Referenced by select_op_rwt().

Here is the call graph for this function:

Here is the caller graph for this function: