genC.h File Reference
#include <stdio.h>#include <stdint.h>#include <strings.h>#include <stdarg.h>#include "newgen_assert.h"#include "newgen_types.h"#include "newgen_set.h"#include "newgen_list.h"#include "newgen_stack.h"#include "newgen_string_buffer.h"#include "newgen_auto_string.h"#include <memory.h>#include "newgen_map.h"#include "newgen_array.h"#include "newgen_generic_mapping.h"#include "newgen_generic_stack.h"#include "newgen_generic_function.h"
Include dependency graph for genC.h:
Go to the source code of this file.
Data Structures | |
| union | gen_chunk |
| A gen_chunk is used to store every object. More... | |
Macros | |
| #define | NEWGEN |
| #define | GEN_HEADER (1) |
| include <sys/stdtypes.h> More... | |
| #define | GEN_HEADER_SIZE (sizeof(gen_chunk)*GEN_HEADER) |
| #define | gen_chunk_undefined ((gen_chunk *)(-16)) |
| #define | gen_chunk_undefined_p(c) ((c)==gen_chunk_undefined) |
| #define | chunk_undefined gen_chunk_undefined |
| obsolete More... | |
| #define | chunk_undefined_p(c) gen_chunk_undefined_p(c) |
| #define | UNIT(x) "You don't want to take the value of a unit type, do you?" |
| #define | BOOL(x) ((x).b) |
| #define | CHAR(x) ((x).c) |
| #define | INT(x) ((x).i) |
| #define | FLOAT(x) ((x).f) |
| #define | STRING(x) ((x).s) |
| #define | CONSP(x) ((x).l) |
| #define | SETP(x) ((x).t) |
| #define | CHUNK(x) ((x).p) |
| #define | HASH(x) ((x).h) |
| #define | CHUNKP(x) ((x).p) |
| #define | LIST(x) ((x).l) |
| #define | SET(x) ((x).t) |
| #define | VOID_STAR(x) ((x).e) |
| #define | UNIT_TYPE "You don't want a unit type, do you?" |
| for the MAP macro to handle simple types correctly. More... | |
| #define | BOOL_TYPE bool |
| #define | CHAR_TYPE char |
| #define | INT_TYPE int |
| #define | FLOAT_TYPE float |
| #define | STRING_TYPE string |
| #define | VOID_STAR_TYPE void * |
| #define | bool_TYPE bool |
| #define | char_TYPE char |
| #define | int_TYPE int |
| #define | float_TYPE float |
| #define | string_TYPE string |
| #define | BOOL_CAST(x) BOOL(x) |
| #define | CHAR_CAST(x) CHAR(x) |
| #define | INT_CAST(x) INT(x) |
| #define | FLOAT_CAST(x) FLOAT(x) |
| #define | STRING_CAST(x) STRING(x) |
| #define | VOID_STAR_CAST(x) VOID_STAR(x) |
| #define | bool_CAST(x) BOOL(x) |
| #define | char_CAST(x) CHAR(x) |
| #define | int_CAST(x) INT(x) |
| #define | float_CAST(x) FLOAT(x) |
| #define | string_CAST(x) STRING(x) |
| #define | CONSP_TYPE list |
| #define | LIST_TYPE list |
| #define | SETP_TYPE set |
| #define | SET_TYPE set |
| #define | CHUNK_TYPE gen_chunkp |
| #define | CHUNKP_TYPE gen_chunkp |
| #define | HASH_TYPE hash_table |
| #define | consp_TYPE list |
| #define | list_TYPE list |
| #define | setp_TYPE set |
| #define | set_TYPE set |
| #define | chunk_TYPE gen_chunkp |
| #define | chunkp_TYPE gen_chunkp |
| #define | hash_TYPE hash_table |
| #define | CONSP_CAST(x) LIST(x) |
| #define | LIST_CAST(x) LIST(x) |
| #define | SETP_CAST(x) SET(x) |
| #define | SET_CAST(x) SET(x) |
| #define | CHUNK_CAST(x) CHUNK(x) |
| #define | CHUNKP_CAST(x) CHUNKP(x) |
| #define | HASH_CAST(x) HASH_TABLE(x) |
| #define | consp_CAST(x) LIST(x) |
| #define | list_CAST(x) LIST(x) |
| #define | setp_CAST(x) SET(x) |
| #define | set_CAST(x) SET(x) |
| #define | chunk_CAST(x) CHUNK(x) |
| #define | chunkp_CAST(x) CHUNKP(x) |
| #define | hash_CAST(x) HASH_TABLE(x) |
| #define | BOOL_NEWGEN_DOMAIN (bool_domain) |
| utils for typed cons More... | |
| #define | CHAR_NEWGEN_DOMAIN (char_domain) |
| #define | INT_NEWGEN_DOMAIN (int_domain) |
| #define | FLOAT_NEWGEN_DOMAIN (float_domain) |
| #define | STRING_NEWGEN_DOMAIN (string_domain) |
| #define | bool_NEWGEN_DOMAIN (bool_domain) |
| #define | char_NEWGEN_DOMAIN (char_domain) |
| #define | int_NEWGEN_DOMAIN (int_domain) |
| #define | float_NEWGEN_DOMAIN (float_domain) |
| #define | string_NEWGEN_DOMAIN (string_domain) |
| #define | LIST_NEWGEN_DOMAIN (-1) /**means unknown type... */ |
| #define | GEN_DBG_TRAV_LEAF 1 |
| #define | GEN_DBG_TRAV_SIMPLE 2 |
| #define | GEN_DBG_TRAV_OBJECT 4 |
| #define | GEN_DBG_CHECK 8 |
| #define | GEN_DBG_RECURSE 16 |
| #define | GEN_DBG_TRAV (GEN_DBG_TRAV_LEAF|GEN_DBG_TRAV_SIMPLE|GEN_DBG_TRAV_OBJECT) |
| #define | gen_get_ancestor_type(i, o) gen_get_ancestor(i,o) |
| #define | gen_start_recurse_ancestor_tracking() /**NOPE */ |
| #define | gen_stop_recurse_ancestor_tracking() /**NOPE */ |
| #define | gen_recurse(start, domain_number, flt, rwt) gen_recurse((start),(domain_number),((bool (*)(void*))(flt)),((void (*)(void*))(rwt))) |
| #define | gen_context_recurse(start, ctxt, domain_number, flt, rwt) gen_context_recurse((start),(ctxt),(domain_number),((bool (*)(void*,void*))(flt)),((void (*)(void*,void*))(rwt))) |
| #define | MEMORY_INCLUDED |
| Since C is not-orthogonal (chunk1 == chunk2 is prohibited), this one is needed. More... | |
| #define | gen_equal(lhs, rhs) (memcmp((lhs),(rhs))==0) |
| #define | GEN_CHECK(e, t) (e) |
| GEN_CHECK can be used to test run-time coherence of Newgen values. More... | |
| #define | GEN_CHECK_ALLOC 0 |
| #define | NEWGEN_CHECK_TYPE(dom, item) |
| this macro does about the same as gen_check, but inlined and safer. More... | |
Typedefs | |
| typedef union gen_chunk | gen_chunk |
| A gen_chunk is used to store every object. More... | |
| typedef union gen_chunk * | gen_chunkp |
| typedef void *() | gen_extract_func_t(const gen_chunk) |
Enumerations | |
| enum | internal_type { unit_domain = 0 , bool_domain , char_domain , int_domain , intptr_t_domain = int_domain , _int_domain = int_domain , float_domain , string_domain } |
| some other macros need the domain number to keep track of the type. More... | |
Functions | |
| void gen_free | GEN_PROTO ((gen_chunk *)) |
| recursion and utilities More... | |
| int gen_free_tabulated | GEN_PROTO ((int)) |
| exported type translation functions. More... | |
| void gen_write | GEN_PROTO ((FILE *, gen_chunk *)) |
| int gen_write_tabulated | GEN_PROTO ((FILE *, int)) |
| void gen_read_spec | GEN_PROTO ((char *,...)) |
| gen_chunk *gen_read | GEN_PROTO ((FILE *)) |
| gen_chunk *gen_alloc | GEN_PROTO ((int, int, int,...)) |
| void gen_type_translation_reset | GEN_PROTO ((void)) |
| void gen_type_translation_read | GEN_PROTO ((string)) |
| void gen_init_external | GEN_PROTO ((int, void *(*)(FILE *, int(*)(void)), void(*)(FILE *, void *), void(*)(void *), void *(*)(void *), int(*)(void *))) |
| gen_chunk *gen_check | GEN_PROTO ((gen_chunk *, int)) |
| bool gen_sharing_p | GEN_PROTO ((gen_chunk *, gen_chunk *)) |
| bool gen_true2 | GEN_PROTO ((gen_chunk *, void *)) |
| void gen_null | GEN_PROTO ((void *)) |
| void gen_null2 | GEN_PROTO ((void *, void *)) |
| void gen_multi_recurse | GEN_PROTO ((void *,...)) |
| void gen_context_multi_recurse | GEN_PROTO ((void *, void *,...)) |
| void | gen_recurse (void *start, int domain_number, bool(*flt)(void *), void(*rwt)(void *)) |
| void | gen_context_recurse (void *start, void *context, int domain_number, bool(*flt)(void *, void *context), void(*rwt)(void *, void *context)) |
| gen_chunk * | gen_get_recurse_previous_visited_object (void) |
| Get the previously visited object. More... | |
| gen_chunk * | gen_get_recurse_current_ancestor (void) |
| Get the ancestor of the current object. More... | |
| gen_chunk * | gen_get_recurse_ancestor (const void *) |
| Get the first ancestor object encountered during the recursion for the given object. More... | |
| gen_chunk * | gen_get_ancestor (int, const void *) |
| return the first ancestor object found of the given type. More... | |
| gen_chunk * | gen_get_current_object (void) |
| return the current visited object, or NULL if not in a recursion. More... | |
| gen_chunk * | gen_get_current_ancestor (int) |
| Return current object of that type... More... | |
| int | current_shared_obj_table_size (void) |
| for debug More... | |
Variables | |
| int | gen_debug |
| Function interface for user applications. More... | |
Macro Definition Documentation
◆ BOOL
◆ BOOL_CAST
◆ bool_CAST
◆ BOOL_NEWGEN_DOMAIN
| #define BOOL_NEWGEN_DOMAIN (bool_domain) |
◆ bool_NEWGEN_DOMAIN
| #define bool_NEWGEN_DOMAIN (bool_domain) |
◆ BOOL_TYPE
◆ bool_TYPE
◆ CHAR
◆ CHAR_CAST
◆ char_CAST
◆ CHAR_NEWGEN_DOMAIN
| #define CHAR_NEWGEN_DOMAIN (char_domain) |
◆ char_NEWGEN_DOMAIN
| #define char_NEWGEN_DOMAIN (char_domain) |
◆ CHAR_TYPE
◆ char_TYPE
◆ CHUNK
◆ CHUNK_CAST
◆ chunk_CAST
◆ CHUNK_TYPE
| #define CHUNK_TYPE gen_chunkp |
◆ chunk_TYPE
| #define chunk_TYPE gen_chunkp |
◆ chunk_undefined
| #define chunk_undefined gen_chunk_undefined |
◆ chunk_undefined_p
| #define chunk_undefined_p | ( | c | ) | gen_chunk_undefined_p(c) |
◆ CHUNKP
◆ CHUNKP_CAST
◆ chunkp_CAST
◆ CHUNKP_TYPE
| #define CHUNKP_TYPE gen_chunkp |
◆ chunkp_TYPE
| #define chunkp_TYPE gen_chunkp |
◆ CONSP
◆ CONSP_CAST
◆ consp_CAST
◆ CONSP_TYPE
◆ consp_TYPE
◆ FLOAT
◆ FLOAT_CAST
◆ float_CAST
◆ FLOAT_NEWGEN_DOMAIN
| #define FLOAT_NEWGEN_DOMAIN (float_domain) |
◆ float_NEWGEN_DOMAIN
| #define float_NEWGEN_DOMAIN (float_domain) |
◆ FLOAT_TYPE
◆ float_TYPE
◆ GEN_CHECK
| #define GEN_CHECK | ( | e, | |
| t | |||
| ) | (e) |
◆ GEN_CHECK_ALLOC
◆ gen_chunk_undefined
◆ gen_chunk_undefined_p
| #define gen_chunk_undefined_p | ( | c | ) | ((c)==gen_chunk_undefined) |
◆ gen_context_recurse
◆ GEN_DBG_CHECK
◆ GEN_DBG_RECURSE
◆ GEN_DBG_TRAV
| #define GEN_DBG_TRAV (GEN_DBG_TRAV_LEAF|GEN_DBG_TRAV_SIMPLE|GEN_DBG_TRAV_OBJECT) |
◆ GEN_DBG_TRAV_LEAF
◆ GEN_DBG_TRAV_OBJECT
◆ GEN_DBG_TRAV_SIMPLE
◆ gen_equal
◆ gen_get_ancestor_type
| #define gen_get_ancestor_type | ( | i, | |
| o | |||
| ) | gen_get_ancestor(i,o) |
◆ GEN_HEADER
| #define GEN_HEADER (1) |
◆ GEN_HEADER_SIZE
| #define GEN_HEADER_SIZE (sizeof(gen_chunk)*GEN_HEADER) |
◆ gen_recurse
◆ gen_start_recurse_ancestor_tracking
◆ gen_stop_recurse_ancestor_tracking
◆ HASH
◆ HASH_CAST
◆ hash_CAST
◆ HASH_TYPE
| #define HASH_TYPE hash_table |
◆ hash_TYPE
| #define hash_TYPE hash_table |
◆ INT
◆ INT_CAST
◆ int_CAST
◆ INT_NEWGEN_DOMAIN
| #define INT_NEWGEN_DOMAIN (int_domain) |
◆ int_NEWGEN_DOMAIN
| #define int_NEWGEN_DOMAIN (int_domain) |
◆ INT_TYPE
◆ int_TYPE
◆ LIST
◆ LIST_CAST
◆ list_CAST
◆ LIST_NEWGEN_DOMAIN
◆ LIST_TYPE
◆ list_TYPE
◆ MEMORY_INCLUDED
| #define MEMORY_INCLUDED |
◆ NEWGEN
◆ NEWGEN_CHECK_TYPE
| #define NEWGEN_CHECK_TYPE | ( | dom, | |
| item | |||
| ) |
Value:
{ \
_int __type = dom, __itype; \
void * __item = (void *) item; \
message_assert("valid required domaine number", \
__type>0 && __type<MAX_DOMAIN); \
message_assert("some item", __item!=NULL); \
message_assert("item is defined", __item!=gen_chunk_undefined); \
__itype = ((gen_chunk*) __item)->i; \
if (__itype!=__type) { \
message_assert("valid item domain number", \
__itype>0 && __itype<MAX_DOMAIN); \
fprintf(stderr, "type error: expecting %s, got %s\n", \
message_assert("check type", __itype==__type); \
} \
} \
/**else should I say something? Hmmm... */ \
}
#define MAX_DOMAIN
MAX_DOMAIN is the maximum number of entries in the DOMAINS table.
Definition: newgen_include.h:147
struct domain::@7 co
this macro does about the same as gen_check, but inlined and safer.
the item must be some newgen allocated structure.
◆ SET
◆ SET_CAST
◆ set_CAST
◆ SET_TYPE
◆ set_TYPE
◆ SETP
◆ SETP_CAST
◆ setp_CAST
◆ SETP_TYPE
◆ setp_TYPE
◆ STRING
◆ STRING_CAST
◆ string_CAST
◆ STRING_NEWGEN_DOMAIN
| #define STRING_NEWGEN_DOMAIN (string_domain) |
◆ string_NEWGEN_DOMAIN
| #define string_NEWGEN_DOMAIN (string_domain) |
◆ STRING_TYPE
◆ string_TYPE
◆ UNIT
◆ UNIT_TYPE
◆ VOID_STAR
◆ VOID_STAR_CAST
◆ VOID_STAR_TYPE
Typedef Documentation
◆ gen_chunk
A gen_chunk is used to store every object.
It has to be able to store, at least, a (CHUNK *) and every inlinable value. To use a union is a trick to enable the assignment opereator and the ability of passing and returning them as values (for function): this requires a sufficiently clever compiler ! * Note that the field name of inlinable types have to begin with the same letter as the type itself (this can be fixed if necessary but why bother). This characteristic is used by the Newgen code generator.
◆ gen_chunkp
| typedef union gen_chunk * gen_chunkp |
◆ gen_extract_func_t
Enumeration Type Documentation
◆ internal_type
| enum internal_type |
some other macros need the domain number to keep track of the type.
they are provided here for the internal types.
| Enumerator | |
|---|---|
| unit_domain | Should start at 1 to be able to iterate on them with gen_recurse() functions. |
| bool_domain | |
| char_domain | |
| int_domain | |
| intptr_t_domain | |
| _int_domain | |
| float_domain | |
| string_domain | |
Definition at line 161 of file genC.h.
@ unit_domain
Should start at 1 to be able to iterate on them with gen_recurse() functions.
Definition: genC.h:162
Function Documentation
◆ current_shared_obj_table_size()
| int current_shared_obj_table_size | ( | void | ) |
for debug
for debug
for FI and debugging purposes... FC
Definition at line 654 of file genClib.c.
static hash_table obj_table
The OBJ_TABLE maps objects to addresses within the arrays FIRST_SEEN and SEEN_ONCE.
Definition: genClib.c:648
int hash_table_own_allocated_memory(hash_table htp)
Definition: hash.c:869
References hash_table_own_allocated_memory(), and obj_table.
Referenced by rice_dependence_graph().
Here is the call graph for this function:
Here is the caller graph for this function:
◆ gen_context_recurse()
| void gen_context_recurse | ( | void * | start, |
| void * | context, | ||
| int | domain_number, | ||
| bool(*)(void *, void *context) | flt, | ||
| void(*)(void *, void *context) | rwt | ||
| ) |
◆ GEN_PROTO() [1/17]
| void gen_read_spec GEN_PROTO | ( | (char *,...) | ) |
◆ GEN_PROTO() [2/17]
◆ GEN_PROTO() [3/17]
◆ GEN_PROTO() [4/17]
| int gen_read_and_check_tabulated GEN_PROTO | ( | (FILE *, int) | ) |
◆ GEN_PROTO() [5/17]
◆ GEN_PROTO() [6/17]
| bool gen_sharing_p GEN_PROTO | ( | (gen_chunk *, gen_chunk *) | ) |
◆ GEN_PROTO() [7/17]
◆ GEN_PROTO() [8/17]
| bool gen_false2 GEN_PROTO | ( | (gen_chunk *, void *) | ) |
◆ GEN_PROTO() [9/17]
| int gen_tabulated_consistent_p GEN_PROTO | ( | (int) | ) |
exported type translation functions.
◆ GEN_PROTO() [10/17]
◆ GEN_PROTO() [11/17]
| void gen_init_external GEN_PROTO | ( | (int, void *(*)(FILE *, int(*)(void)), void(*)(FILE *, void *), void(*)(void *), void *(*)(void *), int(*)(void *)) | ) |
◆ GEN_PROTO() [12/17]
| void gen_type_translation_write GEN_PROTO | ( | (string) | ) |
◆ GEN_PROTO() [13/17]
| void gen_recurse_stop GEN_PROTO | ( | (void *) | ) |
◆ GEN_PROTO() [14/17]
| void *gen_NULL2 GEN_PROTO | ( | (void *, void *) | ) |
◆ GEN_PROTO() [15/17]
| void gen_full_recurse GEN_PROTO | ( | (void *, void *,...) | ) |
◆ GEN_PROTO() [16/17]
| void gen_multi_recurse GEN_PROTO | ( | (void *,...) | ) |
◆ GEN_PROTO() [17/17]
| void gen_type_translation_default GEN_PROTO | ( | (void) | ) |
◆ gen_recurse()
Variable Documentation
◆ gen_debug
|
extern |
Function interface for user applications.
Function interface for user applications.
If you set gen_debug dynamically with gdb, do not forget to set gen_debug_indent to a positive enough value to avoid problems when gen_trav_obj() moves upwards the point it was when gen_debug was set
Definition at line 69 of file genClib.c.
Referenced by do_loop_unroll_with_epilogue(), do_loop_unroll_with_prologue(), full_loop_unroll(), gen_consistent_p(), gen_trav_leaf(), gen_trav_obj(), gen_trav_simple(), init_gen_quick_recurse_tables(), initialize_DirectDomainsTable(), initialize_domain_DecisionTables(), and initialize_domain_DirectDomainsTable().
