llvm/test/Transforms/InstSimplify, branch release_33http://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/InstSimplify?h=release_332013-04-19T16:56:24ZConstantFolding: ComputeMaskedBits wants the scalar size for vectors.2013-04-19T16:56:24ZBenjamin Kramerbenny.kra@googlemail.com2013-04-19T16:56:24Zurn:sha1:eb733d2a1b8683f5cb3558160cb03a442f46e46e
Fixes PR15791.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@179859 91177308-0d34-0410-b5e6-96231b3b80d8
Add missing colons to check lines.2013-04-11T12:41:41ZBenjamin Kramerbenny.kra@googlemail.com2013-04-11T12:41:41Zurn:sha1:8e708d30a310011f3bcd999fdb34f23bcd268b7d
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@179277 91177308-0d34-0410-b5e6-96231b3b80d8
Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero.2013-03-18T21:23:25ZManman Renmren@apple.com2013-03-18T21:23:25Zurn:sha1:90842427b2f6ab5c0aab6049fd9177033101847f
This handles the case where we have an inbounds GEP with alloca as the pointer.
This fixes the regression in PR12750 and rdar://13286434.
Note that we can also fix this by handling some GEP cases in isKnownNonNull.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@177321 91177308-0d34-0410-b5e6-96231b3b80d8
[SimplifyLibCalls] Library call simplification doen't work if the call site 2013-02-08T18:00:14ZChad Rosiermcrosier@apple.com2013-02-08T18:00:14Zurn:sha1:33daeab1bb8df65273fd9ecbf1a261f96733732e
isn't using the default calling convention. However, if the transformation is
from a call to inline IR, then the calling convention doesn't matter.
rdar://13157990
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174724 91177308-0d34-0410-b5e6-96231b3b80d8
Identify and simplify idempotent intrinsics. Test case included.2013-02-07T19:26:05ZMichael Ilsemanmilseman@apple.com2013-02-07T19:26:05Zurn:sha1:f89de816ae5cf2d0dad7869882dd626532b934ef
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174650 91177308-0d34-0410-b5e6-96231b3b80d8
ConstantFolding: Fix a crash when encoutering a truncating inttoptr.2013-02-05T19:04:36ZBenjamin Kramerbenny.kra@googlemail.com2013-02-05T19:04:36Zurn:sha1:faf601ee936a440027447fa11ef400cf53bc1acf
This was introduced in r173293.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174424 91177308-0d34-0410-b5e6-96231b3b80d8
Add a testcase for some past-the-end address subtleties.2013-02-01T19:37:52ZDan Gohmandan433584@gmail.com2013-02-01T19:37:52Zurn:sha1:03fce7074ebf875485a74e026e3e3a165a602166
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174210 91177308-0d34-0410-b5e6-96231b3b80d8
InstSimplify: stripAndComputeConstantOffsets can be called with vectors of pointers too.2013-02-01T15:21:10ZBenjamin Kramerbenny.kra@googlemail.com2013-02-01T15:21:10Zurn:sha1:d9f32c20da9de8798284a8007662c6557560c876
Prepare it for vectors of pointers and handle simple cases. We don't handle
complicated cases because accumulateConstantOffset bails on pointer vectors.
Fixes selfhost on i386.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174179 91177308-0d34-0410-b5e6-96231b3b80d8
Rewrite instsimplify's handling if icmp on pointer values to remove the2013-02-01T00:11:13ZDan Gohmandan433584@gmail.com2013-02-01T00:11:13Zurn:sha1:fdd1eafe867734df285bbdb01cf1d21f63716798
remaining use of AliasAnalysis concepts such as isIdentifiedObject to
prove pointer inequality.
@external_compare in test/Transforms/InstSimplify/compare.ll shows a simple
case where a noalias argument can be equal to a global variable address, and
while AliasAnalysis can get away with saying that these pointers don't alias,
instsimplify cannot say that they are not equal.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174122 91177308-0d34-0410-b5e6-96231b3b80d8
An alloca can be equal to an argument. It can't *alias* an alloca, but it could2013-01-31T23:49:33ZDan Gohmandan433584@gmail.com2013-01-31T23:49:33Zurn:sha1:ac08785edaac826afe11a4e596a46fc693848848
be equal, since there's nothing preventing a caller from correctly predicting
the stack location of an alloca.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174119 91177308-0d34-0410-b5e6-96231b3b80d8