find_iteration_domain.c File Reference

#include <stdio.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "dg.h"
#include "graph.h"
#include "matrice.h"
#include "tiling.h"
#include "database.h"
#include "text.h"
#include "misc.h"
#include "text-util.h"
#include "ri-util.h"
#include "effects-util.h"
#include "resources.h"
#include "constants.h"
#include "conversion.h"
#include "wp65.h"

Include dependency graph for find_iteration_domain.c:

Go to the source code of this file.

Typedefs
typedef dg_arc_label	arc_label
	Code Generation for Distributed Memory Machines. More...
typedef dg_vertex_label	vertex_label

Functions
void	find_iteration_domain (statement s, Psysteme *sc, Pbase *basis, nested_level, list *list_statement_block, instruction *inst)
void	compute_iteration_domain (list list_loop_statement, Psysteme *sc, Pbase *basis)
void	iteration_domain_from_statement (list *list_loop_statement, statement s, int *nested_level, list *blocks, instruction *inst)

Typedef Documentation

arc_label

typedef dg_arc_label arc_label

Code Generation for Distributed Memory Machines.

Build the iteration domain and the basis associated to a loop nest

File: find_iteration_domain.c

PUMA, ESPRIT contract 2701 Corinne Ancourt 1994

Definition at line 47 of file find_iteration_domain.c.

vertex_label

typedef dg_vertex_label vertex_label

Definition at line 48 of file find_iteration_domain.c.

Function Documentation

compute_iteration_domain()

void compute_iteration_domain	(	list	list_loop_statement,
		Psysteme *	sc,
		Pbase *	basis
	)

computation of the list of loop indices base_index and of the iteration domain sci

Parameters

list_loop_statement	ist_loop_statement
sc	c
basis	asis

Definition at line 92 of file find_iteration_domain.c.

{
 
    Psysteme sci;
    Pbase base_index = BASE_NULLE;
 
    /* computation of the list of loop indices base_index 
       and of the iteration domain sci*/
       
    debug(8,"compute_iteration_domain","begin\n");
 
    sci = loop_iteration_domaine_to_sc(list_loop_statement, &base_index);
    sci->base = base_reversal(sci->base);
    ifdebug(8) { (void) fprintf(stderr,"compute_iteration_domain\n");
                 vect_fprint(stderr,base_index,(string(*)(void*))entity_local_name);
             }
    *sc = sci;
    *basis = base_index;
    debug(8,"compute_iteration_domain","end\n");
}

References Ssysteme::base, BASE_NULLE, base_reversal(), debug(), entity_local_name(), fprintf(), ifdebug, loop_iteration_domaine_to_sc(), and vect_fprint().

Referenced by find_iteration_domain().

Here is the call graph for this function:

Here is the caller graph for this function:

find_iteration_domain()

void find_iteration_domain	(	statement	s,
		Psysteme *	sc,
		Pbase *	basis,
		nested_level	,
		list *	list_statement_block,
		instruction *	inst
	)

Definition at line 66 of file find_iteration_domain.c.

{
    list list_loop_statement=NIL;
  
    debug(8, "find_iteration_domain", "begin\n");
    iteration_domain_from_statement(&list_loop_statement,s,
                                    nested_level,
                                    list_statement_block,inst);
    compute_iteration_domain(list_loop_statement,sc,basis);
        ifdebug(8) {
            (void) fprintf(stderr,"[find_iteration_domain] initial basis \n");
            vect_fprint(stderr,*basis,(string(*)(void*))entity_local_name);
            sc_fprint(stderr,*sc,(string(*)(void*))entity_local_name);
        }
    debug(8, "find_iteration_domain", "end\n");
}

References compute_iteration_domain(), debug(), entity_local_name(), fprintf(), ifdebug, iteration_domain_from_statement(), NIL, sc_fprint(), and vect_fprint().

Referenced by loop_nest_to_wp65_code().

Here is the call graph for this function:

Here is the caller graph for this function:

iteration_domain_from_statement()

void iteration_domain_from_statement	(	list *	list_loop_statement,
		statement	s,
		int *	nested_level,
		list *	blocks,
		instruction *	inst
	)

case where there is a unique assignment in do-enddo loop nest

Parameters

list_loop_statement	ist_loop_statement
nested_level	ested_level
blocks	locks
inst	nst

Definition at line 116 of file find_iteration_domain.c.

{
    instruction i;
    cons *b;
    loop l;
   debug(8, "iteration_domain_from_statement", "begin\n");
        
    i = statement_instruction(s);
    switch (instruction_tag(i)) {
 
    case is_instruction_loop:
        l = instruction_loop(i);
        *list_loop_statement = CONS (STATEMENT,s,*list_loop_statement);
        iteration_domain_from_statement(list_loop_statement,loop_body(l),
                                        nested_level, 
                                        blocks,inst);
        break;
 
    case is_instruction_block: {
        int nbl = 0;
        bool simple_block = false;
        b= instruction_block(i);
        nbl = gen_length((list) b);
        simple_block = (nbl==1 
                        || (nbl ==2 && continue_statement_p(STATEMENT(CAR(CDR(b)))))) 
            ? true : false;
        
        if (simple_block && instruction_loop_p(statement_instruction(STATEMENT(CAR(b)))))
                iteration_domain_from_statement(list_loop_statement,
                                                STATEMENT(CAR(b))
                                                ,nested_level, blocks,inst);
        else { 
            *nested_level = gen_length(*list_loop_statement);
            *inst = i;
            *blocks = b;
            }
      
        break;
    }
    case is_instruction_call: {
        /* case where there is a unique assignment in do-enddo loop nest*/
         *nested_level = gen_length(*list_loop_statement);
         *inst =make_instruction_block(CONS(STATEMENT,s,NIL));  
         *blocks =CONS(STATEMENT,s,NIL);
        return;
           }
 
    case is_instruction_test:
         return;
        
    case is_instruction_unstructured:
         return;
        
    case is_instruction_goto:
        pips_internal_error("unexpected goto in code");
    default:
        pips_internal_error("unexpected tag");
    }
    
    debug(8, "search_array_from_statement", "end\n");
}

References blocks, CAR, CDR, CONS, continue_statement_p(), debug(), gen_length(), instruction_block, instruction_loop, instruction_loop_p, instruction_tag, is_instruction_block, is_instruction_call, is_instruction_goto, is_instruction_loop, is_instruction_test, is_instruction_unstructured, loop_body, make_instruction_block(), NIL, pips_internal_error, STATEMENT, statement_instruction, and true.

Referenced by find_iteration_domain().

Here is the call graph for this function:

Here is the caller graph for this function: