question about PASSES

[Sunzir Deepur]

hi all,

these are the last passes:

  NEXT_PASS (pass_stack_regs);       ////////// last pass to generate VCG file
  NEXT_PASS (pass_compute_alignments);
  NEXT_PASS (pass_duplicate_computed_gotos);
  NEXT_PASS (pass_variable_tracking);
  NEXT_PASS (pass_free_cfg);
  NEXT_PASS (pass_machine_reorg);
  NEXT_PASS (pass_purge_lineno_notes);
  NEXT_PASS (pass_cleanup_barriers);
  NEXT_PASS (pass_delay_slots);
  NEXT_PASS (pass_split_for_shorten_branches);
  NEXT_PASS (pass_convert_to_eh_region_ranges);
  NEXT_PASS (pass_shorten_branches);
  NEXT_PASS (pass_set_nothrow_function_flags);
  NEXT_PASS (pass_final);         ///////// translating to assembly (-->binary)

the pass_stack_regs is the last one which generates a vcg file (graph of flow).
the pass_final is of course the one which translates to assembly, therefore
after it I assume the flow of the code does not change.

my question is whether I can use the flow dumped by pass_stack_regs pass
and assume it is legal as the flow of the real binary ? of do any of the passes
between them change the flow ?

thank you all
sunzir