[PATCH] D39230: [LoopUnrolling] Do not expand unsafe expressions in IndVarSimplify

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.

When using SCEVExpander, passes are obliged to make sure that what they request
to expand is safe in terms of expander. We are going to enforce this adding an assert
that it is safe to expand what we request.

This patch makes sure that we only expand what is safe to expand in IndVarSimplify,
in particular that we don't expand division by potential zero.


https://reviews.llvm.org/D39230

Files:
  lib/Transforms/Scalar/IndVarSimplify.cpp
  test/Transforms/IndVarSimplify/2017-10-24_unsafe_division.ll
  test/Transforms/IndVarSimplify/udiv.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D39230.120043.patch
Type: text/x-patch
Size: 6303 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171024/e053f42f/attachment.bin>