llvm-svn: 71085

llvm-svn: 71084

Patch by Robert Schuster!

llvm-svn: 71083

llvm-svn: 71082

Incomplete, but better than nothing.

llvm-svn: 71081

 - add a static function getTypeWidth(), which computes the width of a type
   with the help of TargetInfo.
 - no-outofbounds.c now passes for region store.

llvm-svn: 71080

llvm-svn: 71079

are legal.  Based on a patch by Micah Villmow.

llvm-svn: 71078

the readnone.  Since MallocInst is scheduled for deletion
it doesn't seem worth doing anything more subtle, such as
having mayWriteToMemory return true for MallocInst.

llvm-svn: 71077

llvm-svn: 71076

future we would create ElementRegion directly on top of typeless regions.

llvm-svn: 71075

llvm-svn: 71074

Split large global data (both initialized and un-initialized) into multiple sections of <= 80 bytes.
Provide routines to manage PIC16 ABI naming conventions.

llvm-svn: 71073

the optimizers about this.  For example, a readonly
function with no uses cannot be removed unless it is
also marked nounwind.

llvm-svn: 71071

llvm-svn: 71070

 - Default to yonah on Darwin (to get SSE3).

 - Default to Pentium4 (32-bit) and x86-64 (64-bit) on
   non-Darwin. Welcome to the 21st century.

llvm-svn: 71069

llvm-svn: 71068

llvm-svn: 71067

llvm-svn: 71066

llvm-svn: 71065

This recognizes all the target-independent constant constraints
that have target-specific meanings.

llvm-svn: 71064

llvm-svn: 71063

llvm-svn: 71062

 - This is a WIP...

 - This adds -march= handling to the driver, and fixes the defaulting
   of -mcpu on Darwin (which was using the wrong test).

Instead of handling -m{sse, ...} in the driver, pass them to clang-cc as
 -target-feature [+-]name

In clang-cc, communicate with the (clang) target to discover the legal
features of a target, and the features which are enabled based on
-mcpu. This is currently hardcoded just enough to not be a feature
regression, we need to get this information from the backend's
TableGen information somehow.

This is used to construct the full list of features which are being
used, which is in turn used to initialize the predefines.

llvm-svn: 71061

llvm-svn: 71060

llvm-svn: 71059

RegionStore.

This CastRegion() performs casts according to the kind of the region being 
cast instead of the type that is cast to.

llvm-svn: 71058

llvm-svn: 71057

 - Currently just an alias for --analyze, eventually we want to refit
   --analyze so that it is less automatic (i.e., does not force plist
   output and does not hard code the list of checks).

llvm-svn: 71056

llvm-svn: 71055

See PR4159 for details. Patch by Martin Nowack!

llvm-svn: 71054

llvm-svn: 71046

llvm-svn: 71045

llvm-svn: 71041

start of 'do' and '@synchronized' statements.

llvm-svn: 71038

block. This makes it a little easier for diagnostics generation.

llvm-svn: 71037

llvm-svn: 71035

llvm-svn: 71033

llvm-svn: 71032

llvm-svn: 71028