control_counters.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "pipsdbm.h"
#include "ri-util.h"
#include "control.h"

Include dependency graph for control_counters.c:

Go to the source code of this file.

Data Structures
struct	acc_ctx
	Add Control Counter recursion context. More...

Functions
static statement	make_increment_statement (entity module, entity var)
	generate: var = var + 1 (Fortran) or var++ (C) More...
static entity	create_counter (entity module, const string name)
	create a new integer local variable in module using name as a prefix More...
static void	add_counter (acc_ctx *c, string name, statement s)
	add a new counter at entry of statement s More...
static void	test_rwt (test t, acc_ctx *c)
	add a counter to each branch of the test More...
static void	loop_rwt (loop l, acc_ctx *c)
	add a counter to the loop body More...
static void	whileloop_rwt (whileloop w, acc_ctx *c)
	add a counter to the loop body More...
static void	forloop_rwt (forloop f, acc_ctx *c)
	add a counter to the loop body More...
static void	add_counters (entity module, statement root)
	add control counter instrumentation assumes current module entity & statement are okay. More...
bool	add_control_counters (const string module_name)
	instrument a module with control structure counters for test & loops More...

Function Documentation

add_control_counters()

bool add_control_counters

(

const string

module_name

)

instrument a module with control structure counters for test & loops

control_counters.c

Parameters

module_name

odule_name

Definition at line 137 of file control_counters.c.

{
  // get resources from database
  entity module = module_name_to_entity(module_name);
  statement stat =
    (statement) db_get_memory_resource(DBR_CODE, module_name, true);
 
  set_current_module_entity(module);
  set_current_module_statement(stat);
 
  // do the job
  add_counters(module, stat);
 
  // reset unique identifier for each statement
  module_reorder(stat);
 
  // update resource
  DB_PUT_MEMORY_RESOURCE(DBR_CODE, module_name, stat);
 
  // cleanup
  reset_current_module_entity();
  reset_current_module_statement();
  return true;
}

References add_counters(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, module, module_name(), module_name_to_entity(), module_reorder(), reset_current_module_entity(), reset_current_module_statement(), set_current_module_entity(), and set_current_module_statement().

Here is the call graph for this function:

add_counter()

static void add_counter ( acc_ctx *  c, string  name, statement  s  )

static

add a new counter at entry of statement s

Definition at line 85 of file control_counters.c.

{
  entity counter = create_counter(c->module, name);
  insert_statement(s, make_increment_statement(c->module, counter), true);
}

References create_counter(), insert_statement(), make_increment_statement(), and acc_ctx::module.

Referenced by forloop_rwt(), loop_rwt(), test_rwt(), and whileloop_rwt().

Here is the call graph for this function:

Here is the caller graph for this function:

add_counters()

static void add_counters ( entity  module, statement  root  )

static

add control counter instrumentation assumes current module entity & statement are okay.

Definition at line 123 of file control_counters.c.

{
  acc_ctx c = { module };
  gen_context_multi_recurse
    (root, &c,
     test_domain, gen_true, test_rwt,
     loop_domain, gen_true, loop_rwt,
     whileloop_domain, gen_true, whileloop_rwt,
     forloop_domain, gen_true, forloop_rwt,
     NULL);
}

References forloop_domain, forloop_rwt(), gen_context_multi_recurse(), gen_true(), loop_domain, loop_rwt(), module, test_domain, test_rwt(), whileloop_domain, and whileloop_rwt().

Referenced by add_control_counters().

Here is the call graph for this function:

Here is the caller graph for this function:

create_counter()

static entity create_counter ( entity  module, const string  name  )

static

create a new integer local variable in module using name as a prefix

Definition at line 66 of file control_counters.c.

{
  // build name (could also insert: entity_local_name(module))
  string full = strdup(concatenate("_", name, "_", NULL));
  // create an integer counter
  entity var =
    make_new_scalar_variable_with_prefix(full, module, make_basic_int(4));
  // cleanup
  free(full), full=NULL;
  // initialized to zero
  free_value(entity_initial(var));
  entity_initial(var) = make_value_expression(int_to_expression(0));
  // add as a local variable
  AddEntityToCurrentModule(var);
  return var;
}

References AddEntityToCurrentModule(), concatenate(), entity_initial, free(), free_value(), full, int_to_expression(), make_basic_int(), make_new_scalar_variable_with_prefix(), make_value_expression(), module, and strdup().

Referenced by add_counter().

Here is the call graph for this function:

Here is the caller graph for this function:

forloop_rwt()

static void forloop_rwt ( forloop  f, acc_ctx *  c  )

static

add a counter to the loop body

Definition at line 115 of file control_counters.c.

{
  add_counter(c, "for", forloop_body(f));
}

References add_counter(), f(), and forloop_body.

Referenced by add_counters().

Here is the call graph for this function:

Here is the caller graph for this function:

loop_rwt()

static void loop_rwt ( loop  l, acc_ctx *  c  )

static

add a counter to the loop body

Definition at line 101 of file control_counters.c.

{
  add_counter(c, "do", loop_body(l));
}

References add_counter(), and loop_body.

Referenced by add_counters().

Here is the call graph for this function:

Here is the caller graph for this function:

make_increment_statement()

static statement make_increment_statement ( entity  module, entity  var  )

static

generate: var = var + 1 (Fortran) or var++ (C)

Definition at line 49 of file control_counters.c.

{
  if (fortran_module_p(module))
    return make_assign_statement
      (entity_to_expression(var),
       MakeBinaryCall(entity_intrinsic(PLUS_OPERATOR_NAME),
                      entity_to_expression(var),
                      int_to_expression(1)));
  else // this is probably C
    return make_call_statement
      (POST_INCREMENT_OPERATOR_NAME,
       CONS(expression, entity_to_expression(var), NIL),
       entity_undefined, empty_comments);
}

References CONS, empty_comments, entity_intrinsic(), entity_to_expression(), entity_undefined, fortran_module_p(), int_to_expression(), make_assign_statement(), make_call_statement(), MakeBinaryCall(), module, NIL, PLUS_OPERATOR_NAME, and POST_INCREMENT_OPERATOR_NAME.

Referenced by add_counter().

Here is the call graph for this function:

Here is the caller graph for this function:

test_rwt()

static void test_rwt ( test  t, acc_ctx *  c  )

static

add a counter to each branch of the test

Definition at line 93 of file control_counters.c.

{
  add_counter(c, "if_then", test_true(t));
  add_counter(c, "if_else", test_false(t));
}

References add_counter(), test_false, and test_true.

Referenced by add_counters().

Here is the call graph for this function:

Here is the caller graph for this function:

whileloop_rwt()

static void whileloop_rwt ( whileloop  w, acc_ctx *  c  )

static

add a counter to the loop body

Definition at line 108 of file control_counters.c.

{
  add_counter(c, "while", whileloop_body(w));
}

References add_counter(), and whileloop_body.

Referenced by add_counters().

Here is the call graph for this function:

Here is the caller graph for this function: