[PATCH] D39320: [IRCE] Ensure that expanded exit values are available in loop's preheader

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.

This patch adds a check that SCEV of main and preloop exit conditions are available in
predecessor where they are expanded. In theory, this may be broken if these values
depend on `SCEVUnknown` which cannot be expanded to preheader. In practice, such
cases get rejected earlier, but this may change in future.


https://reviews.llvm.org/D39320

Files:
  lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
  test/Transforms/IRCE/bad_expander.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D39320.120361.patch
Type: text/x-patch
Size: 4077 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171026/3dc83c3a/attachment.bin>