Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreManager::getLValueField() (i.e., don't just return the 'base' as the SVal)

llvm-svn: 60795

tricks based on readnone/readonly functions.

Teach memdep to look past readonly calls when analyzing
deps for a readonly call.  This allows elimination of a
few more calls from 403.gcc:

before:
     63 gvn    - Number of instructions PRE'd
 153986 gvn    - Number of instructions deleted
  50069 gvn    - Number of loads deleted

after:
     63 gvn    - Number of instructions PRE'd
 153991 gvn    - Number of instructions deleted
  50069 gvn    - Number of loads deleted

5 calls isn't much, but this adds plumbing for the next change.

llvm-svn: 60794

llvm-svn: 60793

the synthesis is in an implementation of s subclass of
a super class where the property has been declared.

llvm-svn: 60792

llvm-svn: 60791

llvm-svn: 60790

In GRExprEngine treat @throw as an 'abort' that ends the current path.  This is a temporary solution.

llvm-svn: 60789

load dependence queries.  This allows GVN to eliminate a few more
instructions on 403.gcc:

 152598 gvn    - Number of instructions deleted
  49240 gvn    - Number of loads deleted
after:
 153986 gvn    - Number of instructions deleted
  50069 gvn    - Number of loads deleted

llvm-svn: 60786

pointer stuff from it, simplifying the code a bit.

llvm-svn: 60783

llvm-svn: 60782

Sema::ActOnMethodDeclaration(): Make sure we perform the default function/array conversion for parameter types.

This fixes <rdar://problem/6424064> checker on xcode: (possible bad AST) can the type of a method parameter really have "isFunctionType() == true"?
and http://llvm.org/bugs/show_bug.cgi?id=2997.

llvm-svn: 60781

MemDep::getNonLocalPointerDependency method.  There are
some open issues with this (missed optimizations) and
plenty of future work, but this does allow GVN to eliminate
*slightly* more loads (49246 vs 49033).

Switching over now allows simplification of the other code
path in memdep.

llvm-svn: 60780

llvm-svn: 60779

llvm-svn: 60778

llvm-svn: 60777

llvm-svn: 60776

llvm-svn: 60771

llvm-svn: 60770

llvm-svn: 60769

llvm-svn: 60767

llvm-svn: 60766

llvm-svn: 60765

llvm-svn: 60764

llvm-svn: 60763

llvm-svn: 60761

More fancy footwork to cope with rewriting property 'setters'.

llvm-svn: 60760

llvm-svn: 60759

llvm-svn: 60758

llvm-svn: 60755

llvm-svn: 60754

llvm-svn: 60753

the first block of a query specially.  This makes the "complete query
caching" subsystem more effective, avoiding predecessor queries.  This
speeds up GVN another 4%.

llvm-svn: 60752

and split its inner loop out into a new GetNonLocalInfoForBlock
function.  No functionality change.

llvm-svn: 60751

llvm-svn: 60750

one of its operand.

llvm-svn: 60749

llvm-svn: 60748

This speeds up the new GVN by another 3%

llvm-svn: 60747

position instead of using a full sort. This speeds up GVN by ~4% with the
new memdep stuff.

llvm-svn: 60746

pred iterator.

llvm-svn: 60745

llvm-svn: 60744