projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25e8e79) | patch
InstCombine: Detect when llvm.umul.with.overflow always overflows
authorDavid Majnemer <david.majnemer@gmail.com>
Fri, 2 Jan 2015 07:29:47 +0000 (07:29 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Fri, 2 Jan 2015 07:29:47 +0000 (07:29 +0000)
commit5e9c6212a8e6bb300dbef6cfbe4dee24623e91d2
tree7e6987f13b3c449c4b7997f2bf95624499efb71ftree | snapshot
parent25e8e79fab57f4a95165f555ae67d0839d9a6399commit | diff
InstCombine: Detect when llvm.umul.with.overflow always overflows

We know overflow always occurs if both ~LHSKnownZero * ~RHSKnownZero
and LHSKnownOne * RHSKnownOne overflow.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@225077 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp diff | blob | history
lib/Transforms/InstCombine/InstCombineCalls.cpp diff | blob | history
test/Transforms/InstCombine/intrinsics.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors