diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-08-16 09:23:42 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-08-16 09:23:42 +0000 |
| commit | 1a0bbc8a5c1e9cb9888ee8c2ba5f46752636e47f (patch) | |
| tree | 6657cb7ee84f74e63d14cb614e002192e320f0cc /llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp | |
| parent | 2873594709b9c10914330312cf3f7ea5ff222b93 (diff) | |
| download | bcm5719-llvm-1a0bbc8a5c1e9cb9888ee8c2ba5f46752636e47f.tar.gz bcm5719-llvm-1a0bbc8a5c1e9cb9888ee8c2ba5f46752636e47f.zip | |
InstCombine: Fix a potential bug in 0 - (X sdiv C) -> (X sdiv -C)
While *most* (X sdiv 1) operations will get caught by InstSimplify, it
is still possible for a sdiv to appear in the worklist which hasn't been
simplified yet.
This means that it is possible for 0 - (X sdiv 1) to get transformed
into (X sdiv -1); dividing by -1 can make the transform produce undef
values instead of the proper result.
Sorry for the lack of testcase, it's a bit problematic because it relies
on the exact order of operations in the worklist.
llvm-svn: 215818
Diffstat (limited to 'llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp')
0 files changed, 0 insertions, 0 deletions
