llvm-svn: 107657

llvm-svn: 107656

the pseudo instruction is not at the end of the block.

llvm-svn: 107655

llvm-svn: 107646

llvm-svn: 107645

Add an API to get an Entity associated with a name in the global namespace.

llvm-svn: 107642

llvm-svn: 107641

registers.  Split out testcases per architecture and os
now.

Patch from Nelson Elhage.

llvm-svn: 107640

as nounwind in -fno-exceptions.  Fixes rdar://problem/8090834.

llvm-svn: 107639

Remove the now-unused GRState::isEqual method. Instead of asking if an expression equals a certain value, use SValuator::EvalEQ and GRState::Assume to see if it can, must, or must not equal that value.

llvm-svn: 107638

llvm-svn: 107637

kind.

Also fold some functions that fit on a line to a single line.

llvm-svn: 107636

llvm-svn: 107635

llvm-svn: 107634

Improve NULL-checking for CFRetain/CFRelease. We now remember that the argument was non-NULL, and we report where the null assumption came from (like AttrNonNullChecker already did).

llvm-svn: 107633

llvm-svn: 107632

self-host.  Hopefully these results hold up on different platforms.  

I tried to keep the GNU ObjC runtime happy, but it's hard for me to test.
Reimplement how clang generates IR for exceptions.  Instead of creating new
invoke destinations which sequentially chain to the previous destination,
push a more semantic representation of *why* we need the cleanup/catch/filter
behavior, then collect that information into a single landing pad upon request.

Also reorganizes how normal cleanups (i.e. cleanups triggered by non-exceptional
control flow) are generated, since it's actually fairly closely tied in with
the former.  Remove the need to track which cleanup scope a block is associated
with.

Document a lot of previously poorly-understood (by me, at least) behavior.

The new framework implements the Horrible Hack (tm), which requires every
landing pad to have a catch-all so that inlining will work.  Clang no longer
requires the Horrible Hack just to make exceptions flow correctly within
a function, however.  The HH is an unfortunate requirement of LLVM's EH IR.

llvm-svn: 107631

llvm-svn: 107630

coerce cases (e.g. {double,int}) which avoids fastisel
bailing out at -O0.

llvm-svn: 107628

alloca for an argument.  Make sure the argument gets the proper
decl alignment, which may be different than the type alignment.

This fixes PR7567

llvm-svn: 107627

llvm-svn: 107626

llvm-svn: 107625

llvm-svn: 107624

Patch by Stephen Wilson!

llvm-svn: 107623

llvm-svn: 107622

wasn't handling array padding elements right.

llvm-svn: 107621

Everyone knows that no bugs are ever possible with bitfields.

llvm-svn: 107620

We can now use a PCH'ed <map>.

llvm-svn: 107617

llvm-svn: 107616

llvm-svn: 107615

llvm-svn: 107614

llvm-svn: 107613

llvm-svn: 107612

Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still unimplemented. A VLA region's sizeof value matches its extent.

llvm-svn: 107611

llvm-svn: 107610

v2f32 is illegal on x86.

llvm-svn: 107609

llvm-svn: 107608

llvm-svn: 107607

class is available in the same translation unit when it's needed. So we make 
all of them invalid Entity.

llvm-svn: 107606

llvm-svn: 107605