On 9/24/07, Manuel López-Ibáñez <[EMAIL PROTECTED]> wrote: > On 24/09/2007, Daniel Berlin <[EMAIL PROTECTED]> wrote: > > On 9/23/07, Manuel López-Ibáñez <[EMAIL PROTECTED]> wrote: > > > > > > And *before* salias? Does it make a difference? It suits me better for > > > my purposes. > > > > Can't do it before salias. > > > > I didn't want to add a dummy pass mainly because i didn't want people > > to get back to calling something like pass_may_alias. > > > > If we add a dummy pass, can we verify it is only executed once per function? > > > > I don't understand is why PROPerties are not associated with TODO_ > functions in a way that if a pass don't have the properties it > requires, it can call the appropriate TODO_ function. That way, if > some pass needs PROP_alias but none has triggered TODO_rebuild_alias, > then that pass calls TODO_rebuild_alias by itself. That way, if no > pass requires alias information, then no pass ever calls > TODO_rebuild_alias.
This is what I originally wanted, and i believe the original intention, but at some point somebody turned it into a way to simply verify all the prereqs are missed. This is what LLVM does, BTW.
