[PATCH] D110972: [DA] Handle mismatching loop levels by updating the numbering scheme

[Bardia Mahjour via Phabricator via llvm-commits]

bmahjour added a comment.

@Meinersbur Thanks for the test case that fails without D71539 <https://reviews.llvm.org/D71539>.  The test case I reported was bugpoint reduced and that's why the undefs are there. I'll update D110973 <https://reviews.llvm.org/D110973> with a test that doesn't use undef and that passes today but would fail with D71539 <https://reviews.llvm.org/D71539>. I'll also add your test to it.

As for treating the case as non-linear, I'd be fine with that. I'll update D110973 <https://reviews.llvm.org/D110973> to use SCEV LoopDisposition.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D110972/new/

https://reviews.llvm.org/D110972