5 * File name: ir/ana2/typalise.h
6 * Purpose: Compute rough approximations of pointer types
9 * Created: Mon 18 Oct 2004
11 * Copyright: (c) 1999-2004 Universität Karlsruhe
12 * Licence: This file is protected by GPL - GNU GENERAL PUBLIC LICENSE.
24 Data Types and Structures
26 typedef enum typalise_kind_enum {
27 type_invalid = 0, /* invalid (only set at deletion time) */
28 type_exact = 1, /* this and only this type (res.type) */
29 type_types = 2, /* these types (res.types) */
30 type_type = 3 /* this type and sub types (res.type) */
33 typedef struct typalise
37 type *type; /* for kind == kind_exact and kind == kind_type */
38 lset_t *types; /* for kind == kind_types */
47 Given a set of graphs and a typalise_t, return the method (s) in
48 the set that are supported by the typalise_t. Also, deallocates
51 lset_t *filter_for_ta (lset_t*, typalise_t*);
54 For the given ptr, do a quick check about what (class) types may be
57 typalise_t *typalise (ir_node*);
59 # endif /* not defined _TYPALISE_H_ */
64 Revision 1.2 2004/10/21 11:11:21 liekweg
67 Revision 1.1 2004/10/21 11:09:37 liekweg
68 Moved memwalk stuf into irmemwalk
69 Moved lset stuff into lset
70 Moved typalise stuff into typalise