The sign of an srem instruction is the sign of its dividend (the first
authorNick Lewycky <nicholas@mxc.ca>
Mon, 28 Feb 2011 06:20:05 +0000 (06:20 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Mon, 28 Feb 2011 06:20:05 +0000 (06:20 +0000)
commitd8d1584c13c554349c235177b2b89cb5117347b2
tree4c069c07cae5b491a410bcb1e4e96f96b70d8c7d
parentec58f20df31d228de9e4ce54140df356a2bc24c1
The sign of an srem instruction is the sign of its dividend (the first
argument), regardless of the divisor. Teach instcombine about this and fix
test7 in PR9343!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126635 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineCompares.cpp
test/Transforms/InstCombine/icmp.ll