llvm/test/Transforms/InstSimplify, branch stablehttp://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/InstSimplify?h=stable2013-03-18T21:23:25ZCheck 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
Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID2012-12-30T02:33:22ZDmitri Gribenkogribozavr@gmail.com2012-12-30T02:33:22Zurn:sha1:a6542923b8ad94d791a12d3d5ae3e62a611f0383
This is done to avoid odd test failures, like the one fixed in r171243.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171250 91177308-0d34-0410-b5e6-96231b3b80d8
Teach instsimplify to use the constant folder where appropriate for2012-12-28T14:23:29ZChandler Carruthchandlerc@gmail.com2012-12-28T14:23:29Zurn:sha1:e949aa1c91132094a9073c82a8aef729fa8c9eca
constant folding calls. Add the initial tests for this which show that
now instsimplify can simplify blindingly obvious code patterns expressed
with both intrinsics and library calls.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171194 91177308-0d34-0410-b5e6-96231b3b80d8