- It would probably be better if TestRunner.sh canonicalized this.

llvm-svn: 57075

llvm-svn: 57073

llvm-svn: 57072

 - env-include-paths.c is XFAIL as it exposed a bug.

Add test/Coverage.
 - For tests which achieve code coverage but don't validate anything.

llvm-svn: 57070

llvm-svn: 57069

llvm-svn: 57068

up.  Speculatularly hacktastic, but strangely beautiful?
Daniel, lines 20/21 are rejected, please investigate.

llvm-svn: 57067

 - Uses Action::ActOnPragmaPack
 - Test case is XFAIL pending verifier fixes.

llvm-svn: 57066

 - No functionality change.

llvm-svn: 57065

and remove getresult and references thereto.

llvm-svn: 57064

llvm-svn: 57063

llvm-svn: 57062

llvm-svn: 57061

llvm-svn: 57060

llvm-svn: 57059

llvm-svn: 57058

Patch by Kenneth Boyd!

llvm-svn: 57057

This code was "lost" with my recent changes to SynthesizeBlockFunc.

llvm-svn: 57056

llvm-svn: 57055

Cut/paste error...need to use the expression "name" for member references (or other complex expressions that can embed a block pointer type)

llvm-svn: 57054

llvm-svn: 57053

Reworked control flow to:
- rewrite the block expr body "in place".
- used Chris's new rewriter hook "getRewritenText" to "lift" the text for later use.
- finally, we do the block expr text replacement.

llvm-svn: 57052

when deciding whether to mark a function readnone/readonly.
Since the pass is currently run before SROA, this may be
quite helpful.  Requested by Chris on IRC.

llvm-svn: 57050

implementing folding. Fixes PR2857.

llvm-svn: 57049

llvm-svn: 57048

llvm-svn: 57047

llvm-svn: 57046

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