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

llvm-svn: 75538

llvm-svn: 75537

llvm-svn: 75536

 - For adding arbitrary arguments to pass to configure.

llvm-svn: 75535

llvm-svn: 75534

llvm-svn: 75533

llvm-svn: 75532

(I think it's reasonably clear that we want to have a canonical form for 
constructs like this; if anyone thinks that a select is not the best 
canonical form, please tell me.)

llvm-svn: 75531