diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-06-02 16:58:41 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-06-02 16:58:41 +0000 |
| commit | 2084d784dfa4b1657c7e2ce0344f116ef971657e (patch) | |
| tree | 2bace9148d810e8edb414064a7696170c0c1db9d /llvm/tools/llvm-readobj/llvm-readobj.cpp | |
| parent | 4cf79d4ca45f29dba76fd7d746f459080c572dbe (diff) | |
| download | bcm5719-llvm-2084d784dfa4b1657c7e2ce0344f116ef971657e.tar.gz bcm5719-llvm-2084d784dfa4b1657c7e2ce0344f116ef971657e.zip | |
[Polly] Fix test case after rL271151
Summary:
After rL271151 (SCEV change) SCEV no longer unconditionally transfers
nuw/nsw from the increment operation to the post-inc value; this
transfer only happens if there is undefined behavior in the program if
the increment overflowed (as opposed to just generating poison).
The loops in `wraping_signed_expr_1.ll` are in non-canonical
form (they're not rotated), and that defeats LLVM's poison-is-UB
analysis. IMO the easiest fix here is to run `wraping_signed_expr_1.ll`
through `-loop-rotate` to canonicalize the loops, which is what this
patch does.
Reviewers: jdoerfert, Meinersbur, grosser
Subscribers: grosser, mcrosier, pollydev
Differential Revision: http://reviews.llvm.org/D20778
llvm-svn: 271536
Diffstat (limited to 'llvm/tools/llvm-readobj/llvm-readobj.cpp')
0 files changed, 0 insertions, 0 deletions
