On 11/8/18 8:29 AM, Peter Bergner wrote: > On 11/8/18 5:48 AM, Richard Biener wrote: >> Esp. adding conflicts in a loop that says "See which defined values die >> here." >> is quite fishy. > > ..the original loop is dealing with some of the gory details you never read > about in academic RA papers. This code is used to catch the case where an > insn > defines a register(s) that is never used. Because it is never used, it never > ends up in the "live" (ie, live and available) set, which can cause us to miss > some required conflicts.
Heh, of course I confused this loop with the one I described which is earlier in the function. This loop is actually just the normal loop over all definitions, removing them from the live set and adding conflicts with all pseudos that are currently live. Sorry for the confusion. :-( Peter
