]> granicus.if.org Git - llvm/commit
projects / llvm / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 128ccbb) | patch
Add more analysis of the sign bit of an srem instruction. If the LHS is negative
authorNick Lewycky <nicholas@mxc.ca>
Mon, 7 Mar 2011 01:50:10 +0000 (01:50 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Mon, 7 Mar 2011 01:50:10 +0000 (01:50 +0000)
commitc14bc77315ac4867f16c1585181b41919339eb3c
treea5613a37365664d1bf1f6352f4e7fea7c0b4893btree | snapshot
parent128ccbb8e5e142d4ec6c9afb4160b74f76cb3064commit | diff
Add more analysis of the sign bit of an srem instruction. If the LHS is negative
then the result could go either way. If it's provably positive then so is the
srem. Fixes PR9343 #7!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127146 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp diff | blob | history
lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp diff | blob | history
test/Transforms/InstCombine/icmp.ll diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.