search for: origvni

...7 8 PHI COPY of valno 5 COPY of valno 0 PHI 0 COPY of valno 6 /\ OrigVNI Tracing sibling values, valno 6 is the original valno: Valno 0 is a copy from 6. Valno 6 is a copy from 5. Valno 5 is a phi. Is it OrigVNI? NO! 'Therefore it is not an original phi.' WRONG! The search continues past it, assuming that it is a newly inserted PHI, done during splitting. My c...

Hi Quentin, I have tried to find a test case for an official target, but failed. It seems to be a rare case. To do it, I added the 'else' clause in the following: ... if (VNI->def == OrigVNI->def) { DEBUG(dbgs() << "orig phi value\n"); SVI->second.DefByOrigPHI = true; SVI->second.AllDefsAreReloads = false; propagateSiblingValue(SVI); continue; } // check if the valno is actually an orig PHI, but is not OrigVNI else { LiveInterval &OrigLI =...

...gt;> BB3: //joining BB2 and BB15 >> @1472 // PHI value that should have been detected as part of OrigLI. >> @1520 identity COPY 122 to 122 >> … >> BB4: >> … >> BB5: >> @1764 // This is where vreg111 is split and tracing of vreg121 begins. OrigVNI passed is @1520. >> >> // Exits with two edges into two one-block loops, with one exit block each, which are joined in BB12. >> // Succs BB6, BB8 >> >> BB6: >> {} // Single block nested loop >> BB7: // pred BB6, succ BB12 >> @2948 sibling CO...

...t two blocks further down @1764. Outer loop { BB2: ... BB15: ... BB3: //joining BB2 and BB15 @1472 // PHI value that should have been detected as part of OrigLI. @1520 identity COPY 122 to 122 ... BB4: ... BB5: @1764 // This is where vreg111 is split and tracing of vreg121 begins. OrigVNI passed is @1520. // Exits with two edges into two one-block loops, with one exit block each, which are joined in BB12. // Succs BB6, BB8 BB6: {} // Single block nested loop BB7: // pred BB6, succ BB12 @2948 sibling COPY 121 to 122 BB8: // pred BB5 {} // Single block nested loop BB9: //...