Page MenuHomePhabricator

[POC] Loop predication w/o guards

Authored by reames on Apr 1 2019, 8:28 PM.



This is a draft, intended to trigger discussion. The core point I want to engage on is how the code would need to be structured to ensure we don't exit from loops we'd otherwise not of, and how to test.

Diff Detail

Event Timeline

reames created this revision.Apr 1 2019, 8:28 PM
reames planned changes to this revision.Apr 19 2019, 12:01 PM

The issue mentioned around needing an exact loop exit count is still present, and after digging into the current code, more fundamental to the implementation than I'd recognized. Will probably return to this, but it's going to be hiatus for the near future.

reames abandoned this revision.Oct 19 2019, 3:21 PM

This has been subsumed by work which has landed in IndVarSimplify and is about to be enabled by default.