[llvm-dev] SCEVUDiv simplification

[Alexandre Isoard via llvm-dev]

Hello,

I noticed that our SCEVUDiv does not simplify anything when the RHS is not
a constant.
Is that because there is a potential issue with division by zero being
simplified?

For instance, would it be okay to simplify:

((%i * %n)<nuw> /u %n)

into: %i

The way I see it, if %n is 0, then that division is undefined and we can
"define it", at will, as being %i.

Would that make sense in SCEV world?

-- 
*Alexandre Isoard*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180802/999eddf4/attachment.html>