statement.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <stdarg.h>
#include "linear.h"
#include "genC.h"
#include "misc.h"
#include "properties.h"
#include "ri-util.h"
#include "text-util.h"
#include "prettyprint.h"

Include dependency graph for statement.c:

Go to the source code of this file.

Functions
void	print_statement_set (FILE *fd, set r)
	statement.c More...
void	fprint_statement (FILE *fd, statement s)
	Print statement "s" on file descriptor "fd". More...
void	print_statement (statement s)
	Print a statement on stderr. More...
void	print_statements (list sl)
void	print_statement_of_module (statement s, const char *mn)
text	statement_to_text (statement s)
void	safe_print_statement (statement s)
void	print_parallel_statement (statement s)
statement	last_statement (statement s)
	A simplified version of find_last_statement() located in prettyprint.c and designed to be used within the prettyprinter. More...
void	print_number_to_statement (hash_table nts)
static bool	find_statements_interactively_walker (statement s, list *l)
list	find_statements_interactively (statement s)
	prompt the user to select contiguous statement in s More...

Function Documentation

find_statements_interactively()

list find_statements_interactively

(

statement

s

)

prompt the user to select contiguous statement in s

Parameters

s	statement to search into

Returns

list of selected statement

Definition at line 258 of file statement.c.

{
  list l =NIL;
  gen_context_recurse(s,&l,statement_domain,find_statements_interactively_walker,gen_null2);
  return gen_nreverse(l);
}

References find_statements_interactively_walker(), gen_context_recurse, gen_nreverse(), gen_null2(), NIL, and statement_domain.

Referenced by outline().

Here is the call graph for this function:

Here is the caller graph for this function:

find_statements_interactively_walker()

static bool find_statements_interactively_walker ( statement  s, list *  l  )

static

Definition at line 218 of file statement.c.

{
  string answer = string_undefined;
  do {
    while( string_undefined_p(answer) || empty_string_p(answer)  )
      {
        user_log("Do you want to pick the following statement ?\n"
                 "*********************************************\n");
        print_statement(s);
 
        answer = user_request(
                              "*********************************************\n"
                              "[y/n] ?"
                              );
        if( !answer ) pips_user_error("you did not answer !\n");
      }
    if( answer[0]!='y' && answer[0]!='n' )
      {
        pips_user_warning("answer by 'y' or 'n' !\n");
        free(answer);
        answer=string_undefined;
      }
  } while(string_undefined_p(answer));
  bool pick = answer[0]=='y';
  if(pick) {
    *l=CONS(STATEMENT,s,*l);
    return false;
  }
  else if( !ENDP(*l) )
    gen_recurse_stop(NULL);
  return true;
}

References CONS, empty_string_p(), ENDP, free(), gen_recurse_stop(), pips_user_error, pips_user_warning, print_statement(), STATEMENT, string_undefined, string_undefined_p, user_log(), and user_request().

Referenced by find_statements_interactively().

Here is the call graph for this function:

Here is the caller graph for this function:

fprint_statement()

void fprint_statement	(	FILE *	fd,
		statement	s
	)

Print statement "s" on file descriptor "fd".

Print the statement according to the current PRETTYPRINT_LANGUAGE property

See text_named_module() for improvements.

Parameters

fd

d

Definition at line 68 of file statement.c.

{
  if(statement_undefined_p(s))
    fprintf(fd, "Undefined statement\n");
  // For debugging with gdb, dynamic type checking
  else if(statement_domain_number(s)!=statement_domain)
    (void) fprintf(fd,"Arg. \"s\"is not a statement.\n");
  else {
    debug_on("TEXT_DEBUG_LEVEL");
    set_alternate_return_set();
    reset_label_counter();
    push_current_module_statement(s);
    list pdl = NIL;
    text txt = text_statement(entity_undefined, 0, s, &pdl);
    gen_free_list(pdl);
    print_text(fd, txt);
    free_text(txt);
    pop_current_module_statement();
    reset_alternate_return_set();
    debug_off();
  }
}

References debug_off, debug_on, entity_undefined, fprintf(), free_text(), gen_free_list(), NIL, pop_current_module_statement(), print_text(), push_current_module_statement(), reset_alternate_return_set(), reset_label_counter(), set_alternate_return_set(), statement_domain, statement_domain_number, statement_undefined_p, and text_statement().

Referenced by initialize_array_variable(), initialize_scalar_variable(), insert_check_alias_before_statement(), insert_flag_before_call_site(), insert_test_before_caller(), insert_test_before_statement(), print_statement(), and step_compile_generated_module().

Here is the call graph for this function:

Here is the caller graph for this function:

last_statement()

statement last_statement

(

statement

s

)

A simplified version of find_last_statement() located in prettyprint.c and designed to be used within the prettyprinter.

Hopefully it is a return statement. Since the semantics of STOP is ignored by the parser, a final STOp should be followed by a RETURN.

Definition at line 168 of file statement.c.

{
    statement last = statement_undefined;
 
    pips_assert("statement is defined", !statement_undefined_p(s));
 
    if(statement_sequence_p(s)) {
        list ls = instruction_block(statement_instruction(s));
 
        last = (ENDP(ls)? statement_undefined :
                last_statement(STATEMENT(CAR(gen_last(ls)))));
    }
    else if(statement_unstructured_p(s)) {
        unstructured u = statement_unstructured(s);
        list trail = unstructured_to_trail(u);
 
        last = control_statement(CONTROL(CAR(trail)));
 
        gen_free_list(trail);
    }
    else if(statement_call_p(s)) {
        /* Hopefully it is a return statement.
         * Since the semantics of STOP is ignored by the parser, a
         * final STOp should be followed by a RETURN.
         */
        last = s;
    }
    else if(statement_goto_p(s))
      last = s;
    else if(statement_expression_p(s))
      last = s;
    else if(statement_loop_p(s))
      last = s;
    else if(statement_whileloop_p(s))
      last = s;
    else if(statement_forloop_p(s))
      last = s;
 
    return last;
}

References CAR, CONTROL, control_statement, ENDP, gen_free_list(), gen_last(), instruction_block, last_statement(), pips_assert, STATEMENT, statement_call_p(), statement_expression_p(), statement_forloop_p(), statement_goto_p(), statement_instruction, statement_loop_p(), statement_sequence_p(), statement_undefined, statement_undefined_p, statement_unstructured(), statement_unstructured_p(), statement_whileloop_p(), and unstructured_to_trail().

Referenced by compile_omp(), FixCReturnStatements(), last_statement(), and step_compile_analysed_module().

Here is the call graph for this function:

Here is the caller graph for this function:

print_number_to_statement()

void print_number_to_statement

(

hash_table

nts

)

Parameters

nts

ts

Definition at line 209 of file statement.c.

{
    HASH_MAP(number, stmt, {
        fprintf(stderr,"%td\t", (_int) number);
        print_statement((statement) stmt);
    }, nts);
}

References fprintf(), HASH_MAP, nts, and print_statement().

Referenced by get_any_comp_regions_text(), get_continuation_condition_text(), and get_semantic_text().

Here is the call graph for this function:

Here is the caller graph for this function:

print_parallel_statement()

void print_parallel_statement

(

statement

s

)

Definition at line 156 of file statement.c.

{
  string cstyle = strdup(get_string_property(PRETTYPRINT_PARALLEL));
  set_string_property(PRETTYPRINT_PARALLEL, "doall");
  print_statement(s);
  set_string_property(PRETTYPRINT_PARALLEL, cstyle);
  free(cstyle);
}

References free(), get_string_property(), PRETTYPRINT_PARALLEL, print_statement(), set_string_property(), and strdup().

Referenced by CodeGenerate(), do_it(), MakeLoopAs(), rice_loop(), and rice_statement().

Here is the call graph for this function:

Here is the caller graph for this function:

print_statement()

void print_statement

(

statement

s

)

Print a statement on stderr.

Print the statement according to the current PRETTYPRINT_LANGUAGE property

See text_named_module() for improvements.

Definition at line 98 of file statement.c.

{
  fprint_statement(stderr, s);
}

References fprint_statement().

Referenced by abc_instrumentation_insert_before_statement(), add_aliases_for_current_call_site(), adg_dataflowgraph(), adg_dataflowgraph_with_extremities(), assign_statement_task_mapping(), atomize_as_required(), bottom_up_abc_insert_before_statement(), bottom_up_abc_statement_rwt(), build_binary_operators_with_huffman(), c_code_string(), c_unstructured(), call_flt(), call_to_transformer(), comEngine_opt_loop_interchange(), compile_body(), compute_distribution_controlization_context(), compute_region(), connect_unstructured(), controlize_distribution(), copy_n_reference(), copy_n_statement(), copy_write_statement_with_cumulated_regions(), create_module_with_statement(), cse_expression_flt(), ctx_get_send_statement(), da_process_list(), debug_statement(), debug_unstructured(), distribute_code(), do_it(), do_loop_unroll_with_epilogue(), do_loop_unroll_with_prologue(), do_substitute(), dprint(), extract_matching_statements(), extract_non_conflicting_statements(), filter_live_out_regions_statement(), find_statements_interactively_walker(), fprint_bdt_with_stat(), fs_filter(), fsmize_statement(), full_loop_unroll(), full_spaghettify(), full_spaghettify_statement(), generate_code(), generate_code_loop(), generate_code_test_proc(), get_externalized_and_analyzed_function_name(), get_function_name_by_searching_tag(), get_points_to_graph_from_statement(), get_statements_with_comments_containing(), gpu_ify_statement(), gpu_memory_apply(), gpu_promote_sequential_on_sequence(), HRE_distribute(), HRE_distribute_stat(), icm_codegen(), identify_statements_to_distribute(), if_conv_init_statement(), if_conversion_compact_stats(), if_conversion_init(), init_statement_equivalence_table(), initial_code_abc_statement_rwt(), inline_calls(), inline_expression(), inline_expression_call(), inline_statement_crawler(), interprocedural_abc_insert_before_statement(), invariant_code_motion(), is_elsif_test_p(), isolate_code_portion(), loop_strip_mine(), make_array_communication_statement(), make_bottom_up_abc_tests(), make_interprocedural_abc_tests(), make_lInitStats(), make_lSwitchStats(), make_mpi_conversion(), make_send_receive_conversion(), make_statement_copy_i(), make_task_mapping(), mark_loop_to_outline(), mpi_initialize(), opt_loop_interchange_fill_lists(), outliner_patch_parameters(), outliner_statements_referenced_entities(), partial_eval_statement(), phrase_distributor_control_code(), phrase_remove_dependences_rwt(), postcondition_filter(), prepare_context(), prettyprint_dot_dependence_graph(), print_number_to_statement(), print_parallel_statement(), print_statement_of_module(), print_statements(), process_true_call_stat(), reduce_sequence(), reductions_rewrite(), remove_begin_tag(), remove_end_tag(), rename_statement_reductions(), replace_in_sequence_statement_with(), replace_reductions_in_statement(), replicate_declaration(), rice_loop(), rm_db_block(), safe_print_statement(), safescale_distributor(), safescale_module_analysis(), seq_flt(), sequence_to_post_pv(), simdize_simple_statements_pass2(), SimplifyGraph(), smalltalk_code_string(), some_conflicts_between(), spaghettify_statement(), st_statement(), statement_convert_to_statement_with_sequence_of_intruction(), statement_filter(), statement_rewrite(), step_directive_print(), step_update_comm(), store_new_module(), SupressDependances(), taskify_statement(), Tiling2_buffer(), top_down_abc_flt(), top_down_abc_rwt(), variable_private_to_loop_p(), verify_array_element(), verify_array_variable(), verify_scalar_variable(), verify_used_before_set_statement_flt(), wp65_debug_print_text(), and xml_code_string().

Here is the call graph for this function:

print_statement_of_module()

void print_statement_of_module	(	statement	s,
		const char *	mn
	)

Parameters

mn

n

Definition at line 111 of file statement.c.

{
  if(entity_undefined_p(get_current_module_entity())) {
    entity m = local_name_to_top_level_entity(mn);
    set_current_module_entity(m);
    reset_label_counter();
    print_statement(s);
    reset_current_module_entity();
  }
  else
    print_statement(s);
}

References entity_undefined_p, get_current_module_entity(), local_name_to_top_level_entity(), print_statement(), reset_current_module_entity(), reset_label_counter(), and set_current_module_entity().

Here is the call graph for this function:

print_statement_set()

void print_statement_set	(	FILE *	fd,
		set	r
	)

statement.c

Parameters

fd

d

Definition at line 49 of file statement.c.

{
    fprintf(fd, "Set contains statements");
 
    SET_MAP(s, {
        fprintf(fd, " %02td", statement_number((statement) s));
    }, r);
 
    fprintf(fd, "\n");
}

References fprintf(), SET_MAP, and statement_number.

Referenced by CodeGenerate(), rdg_loop(), rice_loop(), and rice_update_dependence_graph().

Here is the call graph for this function:

Here is the caller graph for this function:

print_statements()

void print_statements

(

list

sl

)

Parameters

sl

l

Definition at line 103 of file statement.c.

{
  FOREACH(STATEMENT, s, sl) {
    print_statement(s);
  }
}

References FOREACH, print_statement(), and STATEMENT.

Referenced by dprint(), rename_statement_declarations(), and simdize_simple_statements_pass2().

Here is the call graph for this function:

Here is the caller graph for this function:

safe_print_statement()

void safe_print_statement

(

statement

s

)

The return label only can be associated to a RETURN call, however the controlizer does not follow this consistency rule.

Definition at line 140 of file statement.c.

{
  if(statement_undefined_p(s)) {
    fprintf(stderr, "Statement undefined\n");
  }
  else if(continue_statement_p(s)
     && entity_return_label_p(statement_label(s))) {
    /* The return label only can be associated to a RETURN call,
       however the controlizer does not follow this consistency
       rule. */
    fprintf(stderr, "%s\n", statement_identification(s));
  }
  else
    print_statement(s);
}

References continue_statement_p(), entity_return_label_p(), fprintf(), print_statement(), statement_identification(), statement_label, and statement_undefined_p.

Referenced by check_new_arc_for_structured_statement(), and IsolatedStatement().

Here is the call graph for this function:

Here is the caller graph for this function:

statement_to_text()

text statement_to_text

(

statement

s

)

Definition at line 124 of file statement.c.

{
  text t = text_undefined;
 
  debug_on("PRETTYPRINT_DEBUG_LEVEL");
  set_alternate_return_set();
  reset_label_counter();
  list pdl = NIL;
  t = text_statement(entity_undefined, 0, s, &pdl);
  gen_free_list(pdl);
  reset_alternate_return_set();
  debug_off();
 
  return t;
}

References debug_off, debug_on, entity_undefined, gen_free_list(), NIL, reset_alternate_return_set(), reset_label_counter(), set_alternate_return_set(), text_statement(), and text_undefined.

Referenced by control_graph(), insert_impact_description_as_comment(), and subtsitute_variable_in_reference().

Here is the call graph for this function:

Here is the caller graph for this function: