[PATCH] D88880: [LoopFlatten] Initial support for different types

[Sjoerd Meijer via Phabricator via llvm-commits]

SjoerdMeijer added a comment.

> We might be able to salvage this by adding a check that the GEP dominates the loop latch?

Thanks, I am picking this up again, and am going to progress this in 2 ways. I will address the existing bug separately.

Here, in this change that addresses different types, I will investigate widening to a wider type so that the transformation should be safe and avoiding more layers of overflow checks.


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

https://reviews.llvm.org/D88880