12 #ifndef FIRM_ANA_IRMEMORY_H
13 #define FIRM_ANA_IRMEMORY_H
15 #include "firm_types.h"
struct ir_type ir_type
Type.
ir_entity_usage_computed_state
The state of the entity usage flags.
struct ir_graph ir_graph
Procedure Graph.
ir_disambiguator_options
Possible options for the memory disambiguator.
void assure_irp_globals_entity_usage_computed(void)
Assure that the address taken flag is computed for the global and TLS entities (variables).
Unknown state, may alias.
different addresses NEVER alias
void assure_irg_entity_usage_computed(ir_graph *irg)
Assure that the entity usage flags have been computed for the given graph.
ir_disambiguator_options get_irg_memory_disambiguator_options(const ir_graph *irg)
Returns the memory disambiguator options for a graph.
ir_alias_relation get_alias_relation(const ir_node *addr1, const ir_type *type1, unsigned size1, const ir_node *addr2, const ir_type *type2, unsigned size2)
Determine if two memory addresses may point to the same memory location.
const char * get_ir_alias_relation_name(ir_alias_relation rel)
Returns a human readable name for an alias relation.
ir_entity_usage_computed_state get_irp_globals_entity_usage_state(void)
Returns the current address taken state of the globals.
ir_alias_relation
The alias relation of two memory addresses.
if type based analysis is enabled bytes types may alias other types
void set_irg_memory_disambiguator_options(ir_graph *irg, ir_disambiguator_options options)
Sets the memory disambiguator options for a graph.
struct ir_node ir_node
Procedure Graph Node.
void set_irp_globals_entity_usage_state(ir_entity_usage_computed_state state)
Sets the current address taken state of the globals.
void set_irp_memory_disambiguator_options(ir_disambiguator_options options)
Sets the global disambiguator options for all graphs not having local options.
void mark_private_methods(void)
Mark all private methods, i.e.