reduction.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "reduction.h"

Include dependency graph for reduction.c:

Go to the source code of this file.

Functions
gexpression	copy_gexpression (gexpression p)
	GEXPRESSION. More...
void	free_gexpression (gexpression p)
gexpression	check_gexpression (gexpression p)
bool	gexpression_consistent_p (gexpression p)
bool	gexpression_defined_p (gexpression p)
list	gen_gexpression_cons (gexpression p, list l)
void	gexpression_assign_contents (gexpression r, gexpression v)
void	gexpression_non_recursive_free (gexpression p)
void	write_gexpression (FILE *f, gexpression p)
gexpression	read_gexpression (FILE *f)
gexpression	make_gexpression (expression a1, expression a2)
pattern	copy_pattern (pattern p)
	PATTERN. More...
void	free_pattern (pattern p)
pattern	check_pattern (pattern p)
bool	pattern_consistent_p (pattern p)
bool	pattern_defined_p (pattern p)
list	gen_pattern_cons (pattern p, list l)
void	pattern_assign_contents (pattern r, pattern v)
void	pattern_non_recursive_free (pattern p)
void	write_pattern (FILE *f, pattern p)
pattern	read_pattern (FILE *f)
pattern	make_pattern (entity a1, expression a2, expression a3, entity a4, list a5)
reduced_loops	copy_reduced_loops (reduced_loops p)
	REDUCED_LOOPS. More...
void	free_reduced_loops (reduced_loops p)
reduced_loops	check_reduced_loops (reduced_loops p)
bool	reduced_loops_consistent_p (reduced_loops p)
bool	reduced_loops_defined_p (reduced_loops p)
list	gen_reduced_loops_cons (reduced_loops p, list l)
void	reduced_loops_assign_contents (reduced_loops r, reduced_loops v)
void	reduced_loops_non_recursive_free (reduced_loops p)
void	write_reduced_loops (FILE *f, reduced_loops p)
reduced_loops	read_reduced_loops (FILE *f)
reduced_loops	make_reduced_loops (list a)
sexpression	copy_sexpression (sexpression p)
	SEXPRESSION. More...
void	free_sexpression (sexpression p)
sexpression	check_sexpression (sexpression p)
bool	sexpression_consistent_p (sexpression p)
bool	sexpression_defined_p (sexpression p)
list	gen_sexpression_cons (sexpression p, list l)
void	sexpression_assign_contents (sexpression r, sexpression v)
void	sexpression_non_recursive_free (sexpression p)
void	write_sexpression (FILE *f, sexpression p)
sexpression	read_sexpression (FILE *f)
sexpression	make_sexpression (list a)

Function Documentation

check_gexpression()

gexpression check_gexpression

(

gexpression

p

)

Definition at line 22 of file reduction.c.

                                             {
  return (gexpression) gen_check((gen_chunk*) p, gexpression_domain);
}

References gen_check(), and gexpression_domain.

Here is the call graph for this function:

check_pattern()

pattern check_pattern

(

pattern

p

)

Definition at line 64 of file reduction.c.

                                 {
  return (pattern) gen_check((gen_chunk*) p, pattern_domain);
}

References gen_check(), and pattern_domain.

Here is the call graph for this function:

check_reduced_loops()

reduced_loops check_reduced_loops

(

reduced_loops

p

)

Definition at line 106 of file reduction.c.

                                                   {
  return (reduced_loops) gen_check((gen_chunk*) p, reduced_loops_domain);
}

References gen_check(), and reduced_loops_domain.

Here is the call graph for this function:

check_sexpression()

sexpression check_sexpression

(

sexpression

p

)

Definition at line 148 of file reduction.c.

                                             {
  return (sexpression) gen_check((gen_chunk*) p, sexpression_domain);
}

References gen_check(), and sexpression_domain.

Here is the call graph for this function:

copy_gexpression()

gexpression copy_gexpression

(

gexpression

p

)

GEXPRESSION.

Definition at line 16 of file reduction.c.

                                            {
  return (gexpression) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_pattern()

pattern copy_pattern

(

pattern

p

)

PATTERN.

Definition at line 58 of file reduction.c.

                                {
  return (pattern) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_reduced_loops()

reduced_loops copy_reduced_loops

(

reduced_loops

p

)

REDUCED_LOOPS.

Definition at line 100 of file reduction.c.

                                                  {
  return (reduced_loops) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_sexpression()

sexpression copy_sexpression

(

sexpression

p

)

SEXPRESSION.

Definition at line 142 of file reduction.c.

                                            {
  return (sexpression) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

free_gexpression()

void free_gexpression

(

gexpression

p

)

Definition at line 19 of file reduction.c.

                                     {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_pattern()

void free_pattern

(

pattern

p

)

Definition at line 61 of file reduction.c.

                             {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_reduced_loops()

void free_reduced_loops

(

reduced_loops

p

)

Definition at line 103 of file reduction.c.

                                         {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_sexpression()

void free_sexpression

(

sexpression

p

)

Definition at line 145 of file reduction.c.

                                     {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

gen_gexpression_cons()

list gen_gexpression_cons	(	gexpression	p,
		list	l
	)

Definition at line 32 of file reduction.c.

                                                 {
  return gen_typed_cons(GEXPRESSION_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and GEXPRESSION_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_pattern_cons()

list gen_pattern_cons	(	pattern	p,
		list	l
	)

Definition at line 74 of file reduction.c.

                                         {
  return gen_typed_cons(PATTERN_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and PATTERN_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_reduced_loops_cons()

list gen_reduced_loops_cons	(	reduced_loops	p,
		list	l
	)

Definition at line 116 of file reduction.c.

                                                     {
  return gen_typed_cons(REDUCED_LOOPS_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and REDUCED_LOOPS_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_sexpression_cons()

list gen_sexpression_cons	(	sexpression	p,
		list	l
	)

Definition at line 158 of file reduction.c.

                                                 {
  return gen_typed_cons(SEXPRESSION_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and SEXPRESSION_NEWGEN_DOMAIN.

Here is the call graph for this function:

gexpression_assign_contents()

void gexpression_assign_contents	(	gexpression	r,
		gexpression	v
	)

Definition at line 35 of file reduction.c.

                                                               {
  check_gexpression(r);
  check_gexpression(v);
  message_assert("defined references to domain gexpression",
                 gexpression_defined_p(r) && gexpression_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_gexpression_));
}

References check_gexpression(), gexpression_defined_p(), and message_assert.

Here is the call graph for this function:

gexpression_consistent_p()

bool gexpression_consistent_p

(

gexpression

p

)

Definition at line 25 of file reduction.c.

                                             {
  check_gexpression(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_gexpression(), and gen_consistent_p().

Here is the call graph for this function:

gexpression_defined_p()

bool gexpression_defined_p

(

gexpression

p

)

Definition at line 29 of file reduction.c.

                                          {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Here is the call graph for this function:

gexpression_non_recursive_free()

void gexpression_non_recursive_free

(

gexpression

p

)

Definition at line 42 of file reduction.c.

                                                   {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

make_gexpression()

gexpression make_gexpression	(	expression	a1,
		expression	a2
	)

Definition at line 52 of file reduction.c.

                                                           {
  return (gexpression) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, gexpression_domain, a1, a2);
}

References gen_alloc(), GEN_CHECK_ALLOC, and gexpression_domain.

Here is the call graph for this function:

make_pattern()

pattern make_pattern	(	entity	a1,
		expression	a2,
		expression	a3,
		entity	a4,
		list	a5
	)

Definition at line 94 of file reduction.c.

                                                                                  {
  return (pattern) gen_alloc(6*sizeof(gen_chunk), GEN_CHECK_ALLOC, pattern_domain, a1, a2, a3, a4, a5);
}

References gen_alloc(), GEN_CHECK_ALLOC, and pattern_domain.

Here is the call graph for this function:

make_reduced_loops()

reduced_loops make_reduced_loops

(

list

a

)

Definition at line 136 of file reduction.c.

                                         {
  return (reduced_loops) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, reduced_loops_domain, a);
}

References gen_alloc(), GEN_CHECK_ALLOC, and reduced_loops_domain.

Here is the call graph for this function:

make_sexpression()

sexpression make_sexpression

(

list

a

)

Definition at line 178 of file reduction.c.

                                     {
  return (sexpression) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, sexpression_domain, a);
}

References gen_alloc(), GEN_CHECK_ALLOC, and sexpression_domain.

Here is the call graph for this function:

pattern_assign_contents()

void pattern_assign_contents	(	pattern	r,
		pattern	v
	)

Definition at line 77 of file reduction.c.

                                                   {
  check_pattern(r);
  check_pattern(v);
  message_assert("defined references to domain pattern",
                 pattern_defined_p(r) && pattern_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_pattern_));
}

References check_pattern(), message_assert, and pattern_defined_p().

Here is the call graph for this function:

pattern_consistent_p()

bool pattern_consistent_p

(

pattern

p

)

Definition at line 67 of file reduction.c.

                                     {
  check_pattern(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_pattern(), and gen_consistent_p().

Here is the call graph for this function:

pattern_defined_p()

bool pattern_defined_p

(

pattern

p

)

Definition at line 71 of file reduction.c.

                                  {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Here is the call graph for this function:

pattern_non_recursive_free()

void pattern_non_recursive_free

(

pattern

p

)

Definition at line 84 of file reduction.c.

                                           {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

read_gexpression()

gexpression read_gexpression

(

FILE *

f

)

Definition at line 49 of file reduction.c.

                                      {
  return (gexpression) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_pattern()

pattern read_pattern

(

FILE *

f

)

Definition at line 91 of file reduction.c.

                              {
  return (pattern) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_reduced_loops()

reduced_loops read_reduced_loops

(

FILE *

f

)

Definition at line 133 of file reduction.c.

                                          {
  return (reduced_loops) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_sexpression()

sexpression read_sexpression

(

FILE *

f

)

Definition at line 175 of file reduction.c.

                                      {
  return (sexpression) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

reduced_loops_assign_contents()

void reduced_loops_assign_contents	(	reduced_loops	r,
		reduced_loops	v
	)

Definition at line 119 of file reduction.c.

                                                                     {
  check_reduced_loops(r);
  check_reduced_loops(v);
  message_assert("defined references to domain reduced_loops",
                 reduced_loops_defined_p(r) && reduced_loops_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_reduced_loops_));
}

References check_reduced_loops(), message_assert, and reduced_loops_defined_p().

Here is the call graph for this function:

reduced_loops_consistent_p()

bool reduced_loops_consistent_p

(

reduced_loops

p

)

Definition at line 109 of file reduction.c.

                                                 {
  check_reduced_loops(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_reduced_loops(), and gen_consistent_p().

Here is the call graph for this function:

reduced_loops_defined_p()

bool reduced_loops_defined_p

(

reduced_loops

p

)

Definition at line 113 of file reduction.c.

                                              {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Here is the call graph for this function:

reduced_loops_non_recursive_free()

void reduced_loops_non_recursive_free

(

reduced_loops

p

)

Definition at line 126 of file reduction.c.

                                                       {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

sexpression_assign_contents()

void sexpression_assign_contents	(	sexpression	r,
		sexpression	v
	)

Definition at line 161 of file reduction.c.

                                                               {
  check_sexpression(r);
  check_sexpression(v);
  message_assert("defined references to domain sexpression",
                 sexpression_defined_p(r) && sexpression_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_sexpression_));
}

References check_sexpression(), message_assert, and sexpression_defined_p().

Here is the call graph for this function:

sexpression_consistent_p()

bool sexpression_consistent_p

(

sexpression

p

)

Definition at line 151 of file reduction.c.

                                             {
  check_sexpression(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_sexpression(), and gen_consistent_p().

Here is the call graph for this function:

sexpression_defined_p()

bool sexpression_defined_p

(

sexpression

p

)

Definition at line 155 of file reduction.c.

                                          {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Here is the call graph for this function:

sexpression_non_recursive_free()

void sexpression_non_recursive_free

(

sexpression

p

)

Definition at line 168 of file reduction.c.

                                                   {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

write_gexpression()

void write_gexpression	(	FILE *	f,
		gexpression	p
	)

Definition at line 46 of file reduction.c.

                                               {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_pattern()

void write_pattern	(	FILE *	f,
		pattern	p
	)

Definition at line 88 of file reduction.c.

                                       {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_reduced_loops()

void write_reduced_loops	(	FILE *	f,
		reduced_loops	p
	)

Definition at line 130 of file reduction.c.

                                                   {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_sexpression()

void write_sexpression	(	FILE *	f,
		sexpression	p
	)

Definition at line 172 of file reduction.c.

                                               {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function: