diff options
| author | Justin Lebar <jlebar@google.com> | 2016-10-28 21:43:51 +0000 |
|---|---|---|
| committer | Justin Lebar <jlebar@google.com> | 2016-10-28 21:43:51 +0000 |
| commit | 468bf732096c813a76fbad0ab204b0cf7269f82a (patch) | |
| tree | d549b65bdbaa974473d3b84f05ac2edba0b902b1 /llvm/lib/Transforms/Utils/Mem2Reg.cpp | |
| parent | d66d37cbd96f3e69d4b764fd02c3d7d4e66ee7c3 (diff) | |
| download | bcm5719-llvm-468bf732096c813a76fbad0ab204b0cf7269f82a.tar.gz bcm5719-llvm-468bf732096c813a76fbad0ab204b0cf7269f82a.zip | |
Don't claim the udiv created in BypassSlowDivision is exact.
Summary:
In BypassSlowDivision's short-dividend path, we would create e.g.
udiv exact i32 %a, %b
"exact" here means that we are asserting that %a is a multiple of %b.
But we have no reason to believe this must be true -- this is just a
bug, as far as I can tell.
Reviewers: tra
Subscribers: jholewinski, llvm-commits
Differential Revision: https://reviews.llvm.org/D26097
llvm-svn: 285459
Diffstat (limited to 'llvm/lib/Transforms/Utils/Mem2Reg.cpp')
0 files changed, 0 insertions, 0 deletions
