On Fri, Jun 7, 2013 at 8:07 AM, Jeff Law wrote: > Rather than using strict pointer equality, we can do better by looking at > TYPE_CANONICAL when it's available. Thus objects of the following two types > (T1 & T2) become candidates for coalescing if they are tied together by a > copy or PHI node. > > typedef int t1; > typedef int t2; > > > This typically eliminates necessary copies and constant initializations, > which is good.
Hmm... Can't you use types_compatible_p? Ciao! Steven
