llvm-svn: 57045

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

This patch overhauls the "memory region" abstraction that was prototyped (but never really used) as part of the Store.h.  This patch adds MemRegion.h and MemRegion.cpp, which defines the class MemRegion and its subclasses.  This classes serve to define an abstract representation of memory, with regions being layered on other regions to to capture the relationships between fields and variables, variables and the address space they are allocated in, and so on.  

The main motivation of this patch is that key parts of the analyzer assumed that all value bindings were to VarDecls.  In the future this won't be the case, and this patch removes lval::DeclVal and replaces it with lval::MemRegionVal.  Now all pieces of the analyzer must reason about abstract memory blocks instead of just variables.

There should be no functionality change from this patch, but it opens the door for significant improvements to the analyzer such as field-sensitivity and object-sensitivity, both which were on hold until the memory abstraction got generalized.

The memory region abstraction also allows type-information to literally be affixed to a memory region.  This will allow the some now redundant logic to be removed from the retain/release checker.

llvm-svn: 57042

llvm-svn: 57041

expand to multiple basic blocks, in which case fast-isel
needs to informed of which block to use as it resumes
inserting instructions.

llvm-svn: 57040

was setting kill flags on tied uses in two-address instructions.
The kill flags were causing the allocator to think it could
allocate the use and its tied def in different registers.

llvm-svn: 57039

llvm-svn: 57038

that includes any edits in the range.

llvm-svn: 57037

llvm-svn: 57036

Make it all work in non-pic mode.

llvm-svn: 57034

applicable.

llvm-svn: 57033

llvm-svn: 57032

Makefiles try to remove 'core' by default, so it wasn't a very good name.

llvm-svn: 57031

 - It turns out this is enough to completely break dependency file
   (.d) usage (at least for my gmake).

llvm-svn: 57030

Thanks Duncan!

llvm-svn: 57029

llvm-svn: 57028

incidentally making the case where the memop is a
pointer deref work.  Fix cmp-and-swap regression.

llvm-svn: 57027

 - Fixes bug in dependency inclusions where make with unspecified
   target wouldn't include dependency files, eek!

llvm-svn: 57026

While hosting instruction check PHI node.

llvm-svn: 57025

llvm-svn: 57024

llvm-svn: 57023

llvm-svn: 57021

llvm-svn: 57020

llvm-svn: 57019

llvm-svn: 57018

llvm-svn: 57017

Instead, just create one, and make sure everything that needs
it can access it. Previously most of the SelectionDAGISel
subclasses all had their own TargetLowering object, which was
redundant with the TargetLowering object in the TargetMachine
subclasses, except on Sparc, where SparcTargetMachine
didn't have a TargetLowering object. Change Sparc to work
more like the other targets here.

llvm-svn: 57016

llvm-svn: 57015

llvm-svn: 57014

this handling to work properly for modifying stub functions, relocations
back to entry points after JIT compilation, etc..

llvm-svn: 57013

reg->reg moves.

llvm-svn: 57011

NeedStub/DoesntNeedStub logic was reversed, leading to not using a stub
for global relocations that do need them (libc calls, for example).

llvm-svn: 57010

llvm-svn: 57009

llvm-svn: 57008

llvm-svn: 57007

isReg, etc., from isRegister, etc.

llvm-svn: 57006

llvm-svn: 57005

llvm-svn: 57004

- Many rewriter modifications.

llvm-svn: 57003

llvm-svn: 57001

llvm-svn: 57000