into DarwinTargetAsmInfo.cpp.  The remaining differences should
be evaluated.  It seems strange that x86/arm has .zerofill but ppc
doesn't, etc.

llvm-svn: 73742

Make changes to PCHReader to allow reading a PCH file without having a pre-initialized Preprocessor.

-Introduce 'PCHReaderListener' which is an abstract interface for getting various information from the PCHReader.
-If PCHReader is constructed without a Preprocessor, it can still load the file and invoke the callbacks of PCHReaderListener.
-If PCHReader is constructed with an initialized Preprocessor, PCHValidator is used as a PCHReaderListener to validate the contents of the PCH file against the given Preprocessor.

llvm-svn: 73741

GRState->bindXXX and friends (and constify some arguments along the way).

llvm-svn: 73740

llvm-svn: 73739

llvm-svn: 73738

llvm-svn: 73737

llvm-svn: 73736

llvm-svn: 73735

llvm-svn: 73734

llvm-svn: 73733

to be a test driver of other components in the system, which will develop
over time.

llvm-svn: 73732

- Remove the 'isFeasible' flag from all uses of 'Assume'.
- Remove the 'Assume' methods from GRStateManager.  Now the only way to
  create a new GRState with an assumption is to use the new 'assume' methods
  in GRState.

llvm-svn: 73731

llvm-svn: 73729

Add a parent pointer to SCEV, in preparation for getting rid of the global uniquing tables.  No functionality change.

llvm-svn: 73728

llvm-svn: 73727

llvm-svn: 73726

llvm-svn: 73725

llvm-svn: 73723

llvm-svn: 73722

llvm-svn: 73721

On Darwin, ams printer should output a second label before a jump table so the linker knows it's a new atom. But this is only needed if the jump table is put in a separate section from the function body.

llvm-svn: 73720

llvm-svn: 73719

as signed max tests. Along with r73717, this helps CodeGen avoid
emitting code for a maximum operation for this class of loop.

llvm-svn: 73718

comparisons were recognized for umax, but instcombine canonicalizes
unsigned comparisons with zero to this simpler form.

llvm-svn: 73717

llvm-svn: 73716

llvm-svn: 73715

llvm-svn: 73714

llvm-svn: 73713

llvm-svn: 73712

llvm-svn: 73711

llvm-svn: 73710

Insert a SmartMutex templated class into the class hierarchy, which takes a template parameter specifying whether this mutex
should become a no-op when not running in multithreaded mode.  Make sys::Mutex a typedef of SmartMutex<false>, to preserve source compatibility.

llvm-svn: 73709

llvm-svn: 73708

llvm-svn: 73707

casted induction variables in cases where the cast
isn't foldable. It ended up being a pessimization in
many cases. This could be fixed, but it would require
a bunch of complicated code in IVUsers' clients. The
advantages of this approach aren't visible enough to
justify it at this time.

llvm-svn: 73706

C is not a low-bits mask, and add a similar instcombine for
zext((trunc(t) & C) ^ C).

llvm-svn: 73705

llvm-svn: 73704

llvm-svn: 73703

llvm-svn: 73702

double-checked locking pattern here.

llvm-svn: 73701