projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79fcb6d) | patch
Reenable the transform "(X*Y)/Y->X" when the multiplication is known not to
authorDuncan Sands <baldrick@free.fr>
Wed, 2 Feb 2011 20:52:00 +0000 (20:52 +0000)
committerDuncan Sands <baldrick@free.fr>
Wed, 2 Feb 2011 20:52:00 +0000 (20:52 +0000)
commit4b720718fbda1194f925e0a9d931bc220e8b0e3a
tree4580e5c6f9c1fb68da8f79d786218f13665453f9tree | snapshot
parent79fcb6dec3e6e30a30835ebc781e5abc275e12e9commit | diff
Reenable the transform "(X*Y)/Y->X" when the multiplication is known not to
overflow (nsw flag), which was disabled because it breaks 254.gap.  I have
informed the GAP authors of the mistake in their code, and arranged for the
testsuite to use -fwrapv when compiling this benchmark.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124746 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/InstructionSimplify.cpp diff | blob | history
test/Transforms/InstSimplify/2010-12-20-Reassociate.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors