rename_operator.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include "genC.h"
#include "newgen_set.h"
#include "linear.h"
#include "ri.h"
#include "ri-util.h"
#include "control.h"
#include "pipsdbm.h"
#include "resources.h"
#include "properties.h"
#include "callgraph.h"
#include "misc.h"

Include dependency graph for rename_operator.c:

Go to the source code of this file.

Macros
#define	__KV(key, value)   if(strcmp( key ,s) == 0) return value;
#define	__MKV(key, value)   __KV(TOP_LEVEL_MODULE_NAME MODULE_SEP_STRING key , value)

Functions
static const char *	opname (const char *s)
static bool	take_lvalue (const char *s)
static const char *	typesuffix (const char *s)
static void	rename_op (call c)
static void	rw_loop (statement sl)
static set	make_string_set_from_prop (const char *prop)
bool	rename_operator (const char *module_name)
	A short pass that replace operators by function calls. More...

Variables
static set	ops_set = NULL
static set	suffixes_set = NULL
static const char *	prefix = NULL

Macro Definition Documentation

__KV

#define __KV	(		key,
			value
	)		if(strcmp( key ,s) == 0) return value;

Definition at line 27 of file rename_operator.c.

__MKV

#define __MKV	(		key,
			value
	)		__KV(TOP_LEVEL_MODULE_NAME MODULE_SEP_STRING key , value)

Definition at line 28 of file rename_operator.c.

Function Documentation

make_string_set_from_prop()

static set make_string_set_from_prop ( const char *  prop )

static

Definition at line 203 of file rename_operator.c.

{
    set s = set_make(set_string);
    list l = strsplit(prop," ");
    set_append_list(s, l);
    //list_free(l);
    return s;
}

References set_append_list(), set_make(), set_string, and strsplit().

Referenced by rename_operator().

Here is the call graph for this function:

Here is the caller graph for this function:

opname()

static const char* opname ( const char *  s )

static

Definition at line 32 of file rename_operator.c.

{
        // /!\ When adding operators to this list,
        // don’t forget to update the corresponding table in the
        // Rename Operator section of pipsmake-rc.tex
         
        __MKV(POST_INCREMENT_OPERATOR_NAME, "post_inc")
        __MKV(PRE_INCREMENT_OPERATOR_NAME, "inc_pre")
 
        __MKV(POST_DECREMENT_OPERATOR_NAME, "post_dec")
        __MKV(PRE_DECREMENT_OPERATOR_NAME, "dec_pre")
 
        __MKV(PLUS_C_OPERATOR_NAME, "plus")
        __MKV(PLUS_OPERATOR_NAME, "plus")
        __MKV(UNARY_PLUS_OPERATOR_NAME, "un_plus")
        __MKV(MINUS_C_OPERATOR_NAME, "minus")
        __MKV(MINUS_OPERATOR_NAME, "minus")
        __MKV(UNARY_MINUS_OPERATOR_NAME, "un_minus")
 
        __MKV(MULTIPLY_OPERATOR_NAME, "mul")
        __MKV(DIVIDE_OPERATOR_NAME, "div")
        __MKV(MODULO_OPERATOR_NAME, "mod")
 
        __MKV(ASSIGN_OPERATOR_NAME, "assign")
        __MKV(MULTIPLY_UPDATE_OPERATOR_NAME, "mul_up")
        __MKV(DIVIDE_UPDATE_OPERATOR_NAME, "div_up")
        __MKV(MODULO_UPDATE_OPERATOR_NAME, "mod_up")
        __MKV(PLUS_UPDATE_OPERATOR_NAME, "plus_up")
        __MKV(MINUS_UPDATE_OPERATOR_NAME, "minus_up")
 
        __MKV(C_LESS_OR_EQUAL_OPERATOR_NAME, "leq")
        __MKV(C_LESS_THAN_OPERATOR_NAME, "lt")
        __MKV(C_GREATER_OR_EQUAL_OPERATOR_NAME, "geq")
        __MKV(C_GREATER_THAN_OPERATOR_NAME, "gt")
        __MKV(C_EQUAL_OPERATOR_NAME, "eq")
        __MKV(C_NON_EQUAL_OPERATOR_NAME, "neq")
        return NULL;
}

References __MKV, ASSIGN_OPERATOR_NAME, C_EQUAL_OPERATOR_NAME, C_GREATER_OR_EQUAL_OPERATOR_NAME, C_GREATER_THAN_OPERATOR_NAME, C_LESS_OR_EQUAL_OPERATOR_NAME, C_LESS_THAN_OPERATOR_NAME, C_NON_EQUAL_OPERATOR_NAME, DIVIDE_OPERATOR_NAME, DIVIDE_UPDATE_OPERATOR_NAME, MINUS_C_OPERATOR_NAME, MINUS_OPERATOR_NAME, MINUS_UPDATE_OPERATOR_NAME, MODULO_OPERATOR_NAME, MODULO_UPDATE_OPERATOR_NAME, MULTIPLY_OPERATOR_NAME, MULTIPLY_UPDATE_OPERATOR_NAME, PLUS_C_OPERATOR_NAME, PLUS_OPERATOR_NAME, PLUS_UPDATE_OPERATOR_NAME, POST_DECREMENT_OPERATOR_NAME, POST_INCREMENT_OPERATOR_NAME, PRE_DECREMENT_OPERATOR_NAME, PRE_INCREMENT_OPERATOR_NAME, UNARY_MINUS_OPERATOR_NAME, and UNARY_PLUS_OPERATOR_NAME.

Referenced by dagvtx_is_operator_p(), reduction_operator_entity(), and rename_op().

Here is the caller graph for this function:

rename_op()

static void rename_op ( call  c )

static

Definition at line 103 of file rename_operator.c.

{
    //TODO: Unary operators
 
    //Retrieve operator name
    entity f = call_function(c);
    string fname = entity_name(f);
 
    const char* name = opname(fname);
 
    if(!name || !set_belong_p(ops_set, name))
        return; //Not an operator, skip it !
 
    //Retrieve arguments type.
    //All arguments should have the same type
 
    list args = call_arguments(c);
 
    string tname = NULL; //Arguments type
 
    FOREACH(EXPRESSION, arg, args)
    {
        type t = expression_to_type(arg); //Get argument type
        
        if(type_variable_p(t))
        {
            string n = basic_to_string(variable_basic(type_variable(t)));
            if(tname && !same_string_p(tname,n))
            {
                //Arguments have not the same type
                //Skip it
                free_type(t); free(n);
                return;
            }
            free(tname);
            tname = n;
        }
        else
        {
                //Not a basic type, maybe a compound type
                //Skip it
                free_type(t);
                return;
        }
        free_type(t);
    }
 
    if(!tname)
            //Nullary function, quite strange for an operator
            return;
 
    //Try to find the suffix
    const char* suffix = typesuffix(tname);
    if(!suffix || !set_belong_p(suffixes_set, suffix))
    {
        free(tname);
        return; //Unknow suffix, is it really a basic type ?
    }
 
    //Now try to construct a complete function name for the operator
    //Function name look like TOP-LEVEL:<prefix><op name><type suffix>
 
    string fullname = malloc(1 + strlen(prefix)  + strlen(name) + strlen(suffix));
    strcat(strcat(strcpy(fullname, prefix), name), suffix);
 
    //Find the associated function in the entity list
    entity newe = FindEntity(TOP_LEVEL_MODULE_NAME, fullname);
 
    if(newe == entity_undefined)
    {
            //Missing function ?
            pips_user_warning("No function %s found, skipping operator %s\n", fullname, fname);
        free(fullname);
        free(tname);
            return;
    }
 
    if(take_lvalue(fname))
    {
            //Takes a lvalue as first argument
            expression farg = EXPRESSION(CAR(args));
            list l = CONS(EXPRESSION, copy_expression(farg), NIL);
        entity ifunc = entity_intrinsic(ADDRESS_OF_OPERATOR_NAME);
            update_expression_syntax(farg, make_syntax_call(make_call(ifunc, l)));
    }
 
    call_function(c) = newe; //Replace the operator by the new function
 
    free(fullname);
    free(tname);
}

References ADDRESS_OF_OPERATOR_NAME, basic_to_string(), call_arguments, call_function, CAR, CONS, copy_expression(), entity_intrinsic(), entity_name, entity_undefined, EXPRESSION, expression_to_type(), f(), FindEntity(), FOREACH, free(), free_type(), make_call(), make_syntax_call(), malloc(), NIL, opname(), ops_set, pips_user_warning, prefix, same_string_p, set_belong_p(), suffixes_set, take_lvalue(), TOP_LEVEL_MODULE_NAME, type_variable, type_variable_p, typesuffix(), update_expression_syntax(), and variable_basic.

Referenced by rename_operator().

Here is the call graph for this function:

Here is the caller graph for this function:

rename_operator()

bool rename_operator

(

const char *

module_name

)

A short pass that replace operators by function calls.

rename_operator.c

prelude

some properties

search

free properties

update ressources

ostlude

Parameters

module_name

odule_name

Definition at line 215 of file rename_operator.c.

{
    /* prelude */
    set_current_module_entity(module_name_to_entity( module_name ));
    set_current_module_statement((statement) db_get_memory_resource(DBR_CODE, module_name, true) );
    
    /* some properties */
    const char* ops_string = get_string_property("RENAME_OPERATOR_OPS");
    ops_set = make_string_set_from_prop(ops_string);
 
    const char* suffixes_string = get_string_property("RENAME_OPERATOR_SUFFIXES");
    suffixes_set = make_string_set_from_prop(suffixes_string);
    
    prefix = get_string_property("RENAME_OPERATOR_PREFIX");
    
    /* search */
    if(get_bool_property("RENAME_OPERATOR_REWRITE_DO_LOOP_RANGE"))
        gen_recurse(get_current_module_statement(), statement_domain, gen_true, rw_loop);
    gen_recurse(get_current_module_statement(), call_domain, gen_true, rename_op);
 
    /* free properties */
    set_free(ops_set);
    ops_set = NULL;
 
    set_free(suffixes_set);
    suffixes_set = NULL;
 
    prefix = NULL;
 
    /* update ressources */
    DB_PUT_MEMORY_RESOURCE(DBR_CODE, module_name, get_current_module_statement());
    DB_PUT_MEMORY_RESOURCE(DBR_CALLEES, module_name, compute_callees(get_current_module_statement()));
 
    /*postlude*/
    reset_current_module_entity();
    reset_current_module_statement();
        return true;
}

References call_domain, compute_callees(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, gen_recurse, gen_true(), get_bool_property(), get_current_module_statement(), get_string_property(), make_string_set_from_prop(), module_name(), module_name_to_entity(), ops_set, prefix, rename_op(), reset_current_module_entity(), reset_current_module_statement(), rw_loop(), set_current_module_entity(), set_current_module_statement(), set_free(), statement_domain, and suffixes_set.

Here is the call graph for this function:

rw_loop()

static void rw_loop ( statement  sl )

static

Definition at line 196 of file rename_operator.c.

{
    if(statement_loop_p(sl))
        do_loop_to_for_loop(sl);
}

References do_loop_to_for_loop(), and statement_loop_p().

Referenced by rename_operator().

Here is the call graph for this function:

Here is the caller graph for this function:

take_lvalue()

static bool take_lvalue ( const char *  s )

static

Definition at line 71 of file rename_operator.c.

{
        __MKV(ASSIGN_OPERATOR_NAME, true)
        __MKV(MULTIPLY_UPDATE_OPERATOR_NAME, true)
        __MKV(DIVIDE_UPDATE_OPERATOR_NAME, true)
        __MKV(MODULO_UPDATE_OPERATOR_NAME, true)
        __MKV(PLUS_UPDATE_OPERATOR_NAME, true)
        __MKV(MINUS_UPDATE_OPERATOR_NAME, true)
        return false;
}

References __MKV, ASSIGN_OPERATOR_NAME, DIVIDE_UPDATE_OPERATOR_NAME, MINUS_UPDATE_OPERATOR_NAME, MODULO_UPDATE_OPERATOR_NAME, MULTIPLY_UPDATE_OPERATOR_NAME, and PLUS_UPDATE_OPERATOR_NAME.

Referenced by rename_op().

Here is the caller graph for this function:

typesuffix()

static const char* typesuffix ( const char *  s )

static

Definition at line 84 of file rename_operator.c.

{
        // /!\ When adding types to this list,
        // don’t forget to update the corresponding table in the
        // Rename Operator section of pipsmake-rc.tex
        
        __KV("char","c")
        __KV("short","s")
        __KV("int","i")
        __KV("long","l")
        __KV("float","f")
        __KV("double","d")
        __KV("_Bool","b")
        __KV("_Complex","C")
        __KV("_Imaginary","I")
        return NULL;
}

References __KV.

Referenced by rename_op().

Here is the caller graph for this function:

Variable Documentation

ops_set

set ops_set = NULL

static

Definition at line 22 of file rename_operator.c.

Referenced by rename_op(), and rename_operator().

prefix

const char* prefix = NULL

static

Definition at line 24 of file rename_operator.c.

Referenced by add_separation(), atomic_function_of_operation(), build_new_top_level_module_name(), build_outline_name(), clone_variable_with_unique_name(), comEngine_make_new_scalar_variable(), compile_a_pure_function(), compile_a_special_io_function(), compute_entity_to_declaration_constraints(), contraintes_text_format(), create_new_module_entity(), CreateEntityFromLocalNameAndPrefix(), dag_dot_dump_prefix(), dagvtx_dot_node(), dagvtx_dot_node_sb(), do_isolate_statement(), effects_to_dma(), ensure_comment_consistency(), entity_field_to_entity(), entity_hpf_number(), entity_sesam_buffer_p(), entity_size_uname(), eov_add_entity_to_eliminate(), find_or_create_coeff(), FindEntityFromLocalNameAndPrefix(), FindEntityFromLocalNameAndPrefixAndScope(), FindOrCreateEntityFromLocalNameAndPrefix(), FindOrCreateEntityFromLocalNameAndPrefixAndScope(), fopen_suffix(), gen_common_prefix(), generate_variable_with_unique_name_to_module(), generic_clone_variable_with_unique_name(), get_ith_dummy(), get_next_task_name(), get_var(), get_vect_name_from_data(), isolate_statement(), kernel_load_store_generator(), main_module_global_name_p(), make_coeff(), make_eliminate_original_variables(), make_HRE_empty_module(), make_new_array_variable_with_prefix(), make_new_derived_entity_with_prefix(), make_new_entity(), make_new_scalar_variable_with_prefix(), make_new_simd_vector_with_prefix(), make_reduction_function(), make_reduction_vector_entity(), make_statement_copy_i(), make_temporary_pointer_to_array_entity_with_prefix(), MakeCurrentFunction(), MakeFileName(), marged(), normalize_microcode(), opencl_generate_special_kernel_ops(), print_dinf_statistics(), print_dsup_statistics(), print_proj_op_statistics(), print_sesam_tasks_buffers_header(), print_umay_statistics(), print_umust_statistics(), put_generated_resources_for_common(), put_generated_resources_for_module(), region_entity_variable_to_new_declare_entity(), region_translation_statistics_close(), rename_op(), rename_operator(), replace_sender_entity_by_receiver_entity_in_reference(), replicate_declaration(), safe_new_tmp_file(), sesam_buffer_to_server_entity(), sesam_task_label_p(), str_prepend(), system_sorted_text_format(), system_text_format(), terapix_renamed_entity_p(), and terapix_renamed_local_p().

suffixes_set

set suffixes_set = NULL

static

Definition at line 23 of file rename_operator.c.

Referenced by rename_op(), and rename_operator().