[PATCH] D26097: Don't claim the udiv created in BypassSlowDivision is exact.

[Hal Finkel via llvm-commits]

hfinkel accepted this revision.
hfinkel added a reviewer: hfinkel.
hfinkel added a comment.
This revision is now accepted and ready to land.

> But we have no reason to believe this must be true -- this is just a bug, as far as I can tell.

I agree. All we know is that the truncation of the operands to the smaller type did not drop any set bits. That says nothing about the division having no remainder. LGTM.


https://reviews.llvm.org/D26097