diff options
| author | Hongbin Zheng <etherzhhb@gmail.com> | 2017-05-12 02:17:15 +0000 |
|---|---|---|
| committer | Hongbin Zheng <etherzhhb@gmail.com> | 2017-05-12 02:17:15 +0000 |
| commit | 4fe342cb7560993988dd6f978607a2442a905910 (patch) | |
| tree | 8bf533c3b47257ff876e06caa6f0d2469568fef2 /llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp | |
| parent | 581072e1a6591d65e55b21d6dce2459a3dffe81a (diff) | |
| download | bcm5719-llvm-4fe342cb7560993988dd6f978607a2442a905910.tar.gz bcm5719-llvm-4fe342cb7560993988dd6f978607a2442a905910.zip | |
[Polly] Generate more 'canonical' induction variable
Today Polly generates induction variable in this way:
polly.indvar = phi 0, polly.indvar.next
...
polly.indvar.next = polly.indvar + stide
polly.loop_cond = predicate polly.indvar, (UB - stride)
Instead of:
polly.indvar = phi 0, polly.indvar.next
...
polly.indvar.next = polly.indvar + stide
polly.loop_cond = predicate polly.indvar.next, UB
The way Polly generate induction variable cause some problem in the indvar simplify pass.
This patch make polly generate the later form, by assuming the induction variable never overflow
Differential Revision: https://reviews.llvm.org/D33089
llvm-svn: 302866
Diffstat (limited to 'llvm/lib/Transforms/Scalar/SimpleLoopUnswitch.cpp')
0 files changed, 0 insertions, 0 deletions
