On Fri, 24 Sep 2021 17:46:53 +0200 Aldy Hernandez via Gcc-patches <gcc-patches@gcc.gnu.org> wrote:
> p.s. "Did I say 5 weeks? My bad, I meant 5 months." heh. units (.oO~"xkcd.com/1047/") > +static unsigned int > +execute_vrp_threader (function *fun) > +{ > + hybrid_threader threader; > + threader.thread_jumps (fun); > + threader.thread_through_all_blocks (); > + return 0; > +} > + > +namespace { > + > +const pass_data pass_data_vrp_threader = > +{ > + GIMPLE_PASS, /* type */ > + "vrp-thread", /* name */ > + OPTGROUP_NONE, /* optinfo_flags */ > + TV_TREE_VRP, /* tv_id */ > + PROP_ssa, /* properties_required */ > + 0, /* properties_provided */ > + 0, /* properties_destroyed */ > + 0, /* todo_flags_start */ > + ( TODO_cleanup_cfg | TODO_update_ssa ), /* todo_flags_finish */ > +}; So shouldn't non-jumpy or flat code avoid the cleanup_cfg or update_ssa iff neither the function nor anything else was threaded? thanks,