next up previous
Next: induction Up: A Compendium of Previous: range propagation

constant / expression propagation

propagate
[default value: 2] Propagate constants ( 1=within each routine, 2=interprocedurally, 3=both, 0=no propagation).
prop_iterate
[default value: 2] Interprocedural expression propagation iteration ( 2=fixedpt, 1=double, 0=none).
prop_private
[default value: 0] Propagate private directives from BLOCK_BEGIN to enclosing loops.
pc_real
[default value: 0] 1 means propagate real expressions, 0 means do not.
pc_array
[default value: 1] 1 means propagate array expressions, 0 means do not.
pc_unreach
[default value: 1] 1 means delete unreachable code uncovered by constant propagation, 0 means do not.
pc_call_mods
[default value: 0] 1 means assume CALL stmts only modify their parameters when propagating constants, 0 means do not.
substitute
[default value: 1] 1 means substitute all propagated expressions, 0 means do not.
subst_parm
[default value: 1] 1 means substitute the values of PARAMETER statements into the program, 0 means do not.
sp_real
[default value: 0] 1 means substitute real parameters, 0 means do not.



Jay Hoeflinger
Mon Apr 21 11:52:18 CDT 1997