Page MenuHomePhabricator

[Polly] [PPCGCodeGeneration] [WIP] Teach `must_kills` to kill scalars that are local the scop.

Authored by bollu on Jul 6 2017, 2:31 AM.


  • This is useful for more complex examples where we have scalars that

are local to a scop.

  • If the local is only used within a scop, we are free to kill it.
  • WIP, phi node test seems to fail. Should see why.
  • WIP, code is ugly.

Diff Detail


Event Timeline

bollu created this revision.Jul 6 2017, 2:31 AM
bollu updated this revision to Diff 105396.Jul 6 2017, 4:41 AM
  • [WIP] ran code through checkpolly, separated out checking for scalars into a pure function.
bollu updated this revision to Diff 105414.Jul 6 2017, 6:15 AM
  • update phi-nodes-in-kernel with approximate C source and extra kills.
  • All tests pass.
grosser accepted this revision.Jul 6 2017, 6:30 AM


This revision is now accepted and ready to land.Jul 6 2017, 6:30 AM
bollu updated this revision to Diff 105421.Jul 6 2017, 6:36 AM
  • [NFC] Final fixups, reviewed offline. Pushing diff before committing.
This revision was automatically updated to reflect the committed changes.

What do you mean by killing a scalar ?