diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-02-21 13:31:09 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-02-21 13:31:09 +0000 |
| commit | 8294eb5599092e3d8e95c9c4d323ffa139499acf (patch) | |
| tree | 5cc6a7f142a096b97b0774878ea34bde07303960 /lib/Analysis/ScalarEvolutionExpander.cpp | |
| parent | bf8653ff3b70d2a1bb059a958d7612954408d998 (diff) | |
InstCombine: Don't transform a signed icmp of two GEPs into a signed compare of the indices.
This transformation is not safe in some pathological cases (signed icmp of pointers should be an
extremely rare thing, but it's valid IR!). Add an explanatory comment.
Kudos to Duncan for pointing out this edge case (and not giving up explaining it until I finally got it).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151055 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolutionExpander.cpp')
0 files changed, 0 insertions, 0 deletions