On 24/09/2007, Diego Novillo <[EMAIL PROTECTED]> wrote: > On 9/24/07, Manuel López-Ibáñez <[EMAIL PROTECTED]> wrote: > > > 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. > > That was one of the original design intentions. But it was never > actually implemented this way. I think it would be possible to > implement it this way but then we would have to distinguish whether a > certain property needs to be refreshed or not. > > For instance, if you ask PROP_alias and aliases have been computed > already, you'd have to check that we don't need to compute aliases > again. That may add a few wrinkles to the process. >
I don't get it. If you ask for PROP_alias and aliases have been computed, then PROP_alias is enabled and you don't need to compute them again. Cheers, Manuel.
