Macros
#define	region effect
	simulation of the type region More...

#define	REGION EFFECT /*for casts /

#define	region_CAST REGION_CAST

#define	REGION_CAST(x) REGION(x)

#define	REGION_ EFFECT_ /*for some left casts /

#define	REGION_TYPE EFFECT_TYPE

#define	REGION_NEWGEN_DOMAIN EFFECT_NEWGEN_DOMAIN

#define	gen_REGION_cons gen_effect_cons

#define	gen_region_cons gen_effect_cons

#define	region_undefined effect_undefined

#define	region_undefined_p(reg) effect_undefined_p((reg))

#define	make_region(reference, action, approximation, system)

#define	region_any_reference(reg) (cell_preference_p(effect_cell(reg)) ? preference_reference(cell_preference(effect_cell(reg))) : cell_reference(effect_cell(reg)))
	To be avoided. More...

#define	region_action(reg) effect_action(reg)

#define	region_approximation(reg) effect_approximation(reg)

#define	region_context(reg) effect_context(reg)

#define	region_cell(reg) effect_cell(reg)

#define	region_entity(reg) reference_variable(region_any_reference(reg))

#define	region_action_tag(reg) action_tag(effect_action(reg))

#define	region_approximation_tag(reg) approximation_tag(effect_approximation(reg))

#define	region_system_(reg) descriptor_convex_(effect_descriptor(reg))

#define	region_system(reg) descriptor_convex(effect_descriptor(reg))

#define	region_read_p(reg) (action_tag(effect_action(reg))==is_action_read)
	useful region macros More...

#define	region_write_p(reg) (action_tag(effect_action(reg))==is_action_write)

#define	region_may_p(reg) (approximation_tag(effect_approximation(reg)) == is_approximation_may)

#define	region_must_p(reg) (approximation_tag(effect_approximation(reg)) == is_approximation_must)

#define	region_exact_p(reg) (approximation_tag(effect_approximation(reg)) == is_approximation_exact)

#define	region_empty_p(reg) sc_empty_p(region_system(reg))

#define	region_rn_p(reg) sc_rn_p(region_system(reg))

#define	region_scalar_p(reg) (anywhere_effect_p(reg) \|\| entity_scalar_p(region_entity(reg)))

#define	effect_region_p(e) (descriptor_convex_p(effect_descriptor(e)))

#define	debug_regions_consistency(l_reg) ifdebug(1){regions_consistent_p(l_reg);}
	consistency checking More...

#define	debug_region_consistency(reg) ifdebug(1){region_consistent_p(reg);}

#define	debug_print_region(level, message, region) ifdebug(level) { pips_debug(level, "%s\n", message); print_region(region);}
	convenient debug messages More...

#define	R_RW 0
	other things More...

#define	R_IN 1

#define	R_OUT 2

#define	SEQUENTIAL_REGION_SUFFIX ".reg"

#define	SEQUENTIAL_PROPER_REGION_SUFFIX ".preg"

#define	USER_REGION_SUFFIX ".ureg"

#define	SEQUENTIAL_IN_REGION_SUFFIX ".inreg"

#define	USER_IN_REGION_SUFFIX ".uinreg"

#define	SEQUENTIAL_OUT_REGION_SUFFIX ".outreg"

#define	USER_OUT_REGION_SUFFIX ".uoutreg"

#define	NB_MAX_ARRAY_DIM 12

Macro Definition Documentation

◆ debug_print_region

#define debug_print_region	(	level,
		message,
		region
	)	ifdebug(level) { pips_debug(level, "%s\n", message); print_region(region);}

convenient debug messages

Definition at line 94 of file effects-convex-local.h.

◆ debug_region_consistency

#define debug_region_consistency ( reg ) ifdebug(1){region_consistent_p(reg);}

Definition at line 90 of file effects-convex-local.h.

◆ debug_regions_consistency

#define debug_regions_consistency ( l_reg ) ifdebug(1){regions_consistent_p(l_reg);}

consistency checking

Definition at line 88 of file effects-convex-local.h.

◆ effect_region_p

#define effect_region_p ( e ) (descriptor_convex_p(effect_descriptor(e)))

Definition at line 85 of file effects-convex-local.h.

◆ gen_REGION_cons

#define gen_REGION_cons gen_effect_cons

Definition at line 34 of file effects-convex-local.h.

◆ gen_region_cons

#define gen_region_cons gen_effect_cons

Definition at line 35 of file effects-convex-local.h.

◆ make_region

#define make_region	(	reference,
		action,
		approximation,
		system
	)

Value:

  make_effect(make_cell(is_cell_reference, (reference)),   \
                (action), (approximation),      \
                make_descriptor(is_descriptor_convex,system))

Definition at line 39 of file effects-convex-local.h.

◆ NB_MAX_ARRAY_DIM

#define NB_MAX_ARRAY_DIM 12

Definition at line 113 of file effects-convex-local.h.

◆ R_IN

#define R_IN 1

Definition at line 102 of file effects-convex-local.h.

◆ R_OUT

#define R_OUT 2

Definition at line 103 of file effects-convex-local.h.

◆ R_RW

#define R_RW 0

other things

Definition at line 101 of file effects-convex-local.h.

◆ region

#define region effect

simulation of the type region

Definition at line 27 of file effects-convex-local.h.

◆ REGION

#define REGION EFFECT /**for casts */

Definition at line 28 of file effects-convex-local.h.

◆ REGION_

#define REGION_ EFFECT_ /**for some left casts */

Definition at line 31 of file effects-convex-local.h.

◆ region_action

#define region_action ( reg ) effect_action(reg)

Definition at line 58 of file effects-convex-local.h.

◆ region_action_tag

#define region_action_tag ( reg ) action_tag(effect_action(reg))

Definition at line 64 of file effects-convex-local.h.

◆ region_any_reference

#define region_any_reference ( reg ) (cell_preference_p(effect_cell(reg)) ? preference_reference(cell_preference(effect_cell(reg))) : cell_reference(effect_cell(reg)))

To be avoided.

Use region_any_reference() instead. I definitely remove this one : it is too dangerous. BC. FC: it should not compile, rather than compile and fail???

Definition at line 56 of file effects-convex-local.h.

◆ region_approximation

#define region_approximation ( reg ) effect_approximation(reg)

Definition at line 59 of file effects-convex-local.h.

◆ region_approximation_tag

#define region_approximation_tag ( reg ) approximation_tag(effect_approximation(reg))

Definition at line 65 of file effects-convex-local.h.

◆ region_CAST

#define region_CAST REGION_CAST

Definition at line 29 of file effects-convex-local.h.

◆ REGION_CAST

#define REGION_CAST ( x ) REGION(x)

Definition at line 30 of file effects-convex-local.h.

◆ region_cell

#define region_cell ( reg ) effect_cell(reg)

Definition at line 61 of file effects-convex-local.h.

◆ region_context

#define region_context ( reg ) effect_context(reg)

Definition at line 60 of file effects-convex-local.h.

◆ region_empty_p

#define region_empty_p ( reg ) sc_empty_p(region_system(reg))

Definition at line 82 of file effects-convex-local.h.

◆ region_entity

#define region_entity ( reg ) reference_variable(region_any_reference(reg))

Definition at line 63 of file effects-convex-local.h.

◆ region_exact_p

#define region_exact_p ( reg ) (approximation_tag(effect_approximation(reg)) == is_approximation_exact)

Definition at line 80 of file effects-convex-local.h.

◆ region_may_p

#define region_may_p ( reg ) (approximation_tag(effect_approximation(reg)) == is_approximation_may)

Definition at line 76 of file effects-convex-local.h.

◆ region_must_p

#define region_must_p ( reg ) (approximation_tag(effect_approximation(reg)) == is_approximation_must)

Definition at line 78 of file effects-convex-local.h.

◆ REGION_NEWGEN_DOMAIN

#define REGION_NEWGEN_DOMAIN EFFECT_NEWGEN_DOMAIN

Definition at line 33 of file effects-convex-local.h.

◆ region_read_p

#define region_read_p ( reg ) (action_tag(effect_action(reg))==is_action_read)

useful region macros

Definition at line 74 of file effects-convex-local.h.

◆ region_rn_p

#define region_rn_p ( reg ) sc_rn_p(region_system(reg))

Definition at line 83 of file effects-convex-local.h.

◆ region_scalar_p

#define region_scalar_p ( reg ) (anywhere_effect_p(reg) || entity_scalar_p(region_entity(reg)))

Definition at line 84 of file effects-convex-local.h.

◆ region_system

#define region_system ( reg ) descriptor_convex(effect_descriptor(reg))

Definition at line 69 of file effects-convex-local.h.

◆ region_system_

#define region_system_ ( reg ) descriptor_convex_(effect_descriptor(reg))

Definition at line 67 of file effects-convex-local.h.

◆ REGION_TYPE

#define REGION_TYPE EFFECT_TYPE

Definition at line 32 of file effects-convex-local.h.

◆ region_undefined

#define region_undefined effect_undefined

Definition at line 37 of file effects-convex-local.h.

◆ region_undefined_p

#define region_undefined_p ( reg ) effect_undefined_p((reg))

Definition at line 38 of file effects-convex-local.h.

◆ region_write_p

#define region_write_p ( reg ) (action_tag(effect_action(reg))==is_action_write)

Definition at line 75 of file effects-convex-local.h.

◆ SEQUENTIAL_IN_REGION_SUFFIX

#define SEQUENTIAL_IN_REGION_SUFFIX ".inreg"

Definition at line 108 of file effects-convex-local.h.

◆ SEQUENTIAL_OUT_REGION_SUFFIX

#define SEQUENTIAL_OUT_REGION_SUFFIX ".outreg"

Definition at line 110 of file effects-convex-local.h.

◆ SEQUENTIAL_PROPER_REGION_SUFFIX

#define SEQUENTIAL_PROPER_REGION_SUFFIX ".preg"

Definition at line 106 of file effects-convex-local.h.

◆ SEQUENTIAL_REGION_SUFFIX

#define SEQUENTIAL_REGION_SUFFIX ".reg"

Definition at line 105 of file effects-convex-local.h.

◆ USER_IN_REGION_SUFFIX

#define USER_IN_REGION_SUFFIX ".uinreg"

Definition at line 109 of file effects-convex-local.h.

◆ USER_OUT_REGION_SUFFIX

#define USER_OUT_REGION_SUFFIX ".uoutreg"

Definition at line 111 of file effects-convex-local.h.

◆ USER_REGION_SUFFIX

#define USER_REGION_SUFFIX ".ureg"

Definition at line 107 of file effects-convex-local.h.

Macros