[PATCH] D99759: [LoopUnroll] avoid assumption clone explosion

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

For reference, this is the IR after unrolling but before simplification for the PhaseOrdering test: https://gist.github.com/nikic/efd3aae8b9282902a418f99e01ff5134 (note that mass of assumes on extractvalues is unproblematic, the issue are the assumes on `%.pre.pre`).

Limiting the number of assumes we look at for one value helps (and is something we should probably do as well), but I think there's a more fundamental problem with the recursion in computeKnownBitsForAssume. Possibly the exclusion mechanism there needs to be strengthened.


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

https://reviews.llvm.org/D99759