]> granicus.if.org Git - llvm/commit
projects / llvm / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3824fd3) | patch
Bugfix: ScalarEvolution incorrectly assumes that the start of certain
authorSanjoy Das <sanjoy@playingwithpointers.com>
Sun, 8 Feb 2015 22:52:17 +0000 (22:52 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Sun, 8 Feb 2015 22:52:17 +0000 (22:52 +0000)
commit1af442e5727b2b109fd7ce68a6ffa979c8bb450b
tree4bf5071a0366e7f07ff11d114f307b0f57e0584dtree | snapshot
parent3824fd3a255cf0c951d43e089b1d91268dc720b2commit | diff
Bugfix: ScalarEvolution incorrectly assumes that the start of certain
add recurrences don't overflow.

This change makes the optimization more restrictive.  It still assumes
that an overflowing `add nsw` is undefined behavior; and this change
will need revisiting once we have a consistent semantics for poison
values.

Differential Revision: http://reviews.llvm.org/D7331

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228552 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp diff | blob | history
test/Analysis/ScalarEvolution/scev-prestart-nowrap.ll [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.