llvm-svn: 75581

invalidate the region correctly. It uses the cast-to type to invalidate 
the region when available. To avoid invalid cast-to type like 'void*' or 'id',
region store now only records non-generic casts of regions.

llvm-svn: 75580

block has a single unique exiting block.

llvm-svn: 75579

works similar to isLoopInvariant, except that it will do trivial
hoisting to try to make the value loop invariant if it isn't already.
This makes it easier for transformation passes to clear trivial
instructions out of the way (the regular LICM pass doesn't run
until relatively late). This is code factored out of LoopSimplify
and other places.

llvm-svn: 75578

llvm-svn: 75577

llvm-svn: 75576

XFAIL this for now until I prepare clang specific patch.

llvm-svn: 75575

llvm-svn: 75574

llvm-svn: 75573

Fix pr4544. When remating, make sure the destination register fits the instruction definition. It may be mismatched due to sub-register coalescing. 
No test case yet because the code doesn't trigger until 75408 is re-applied.

llvm-svn: 75572

xor R, R is a common and valid idiom for zeroing a register, for example.

llvm-svn: 75571

are not explicitly marked as not accepting NULL pointers. This check illustrates
how we need more refactoring in the custom-check logic.

llvm-svn: 75570

llvm-svn: 75569

llvm-svn: 75568

llvm-svn: 75567

llvm-svn: 75566

llvm-svn: 75565

llvm-svn: 75564

llvm-svn: 75563

llvm-svn: 75562

descriptive.  Thange them to keep track of the ID of a global that is
assigned, not the first mangled name returned for it.  Without doing this,
we are required to always use the same suffix for a global that gets 
mangled.  This means that we can mangle the same global once with $stub
and another time with $non_lazy_ptr or whatever.

llvm-svn: 75561

Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream.

llvm-svn: 75560

llvm-svn: 75559

local symbols and we haven't had type planes since llvm 1.9.

llvm-svn: 75558

used with globals.

llvm-svn: 75557

llvm-svn: 75556

llvm-svn: 75554

llvm-svn: 75553

When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol used for the region (makes it easier to read for nested regions).

llvm-svn: 75550

llvm-svn: 75549

Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang.

llvm-svn: 75548

if present.

llvm-svn: 75547

llvm-svn: 75546

llvm-svn: 75545

llvm-svn: 75544

doesn't print a newline.

llvm-svn: 75543

llvm-svn: 75542

1) unique globals with the existing "Count" local in Mangler, not with
atomic nonsense.  Using atomics will give us nondeterminstic output
from the compiler when using multiple threads, which is bad.

2) Do not mangle an unknown global name with a type suffix.  We don't
   need this anymore now that llvm ir doesn't have type planes.

llvm-svn: 75541

llvm-svn: 75540

llvm-svn: 75539