This patch fixes the implementations of the __has_trivial_destructor
and __has_trivial_constructor builtin pseudo-functions and
additionally implements __has_trivial_copy and __has_trivial_assign,
from John McCall!

llvm-svn: 76916

Output UTF-16 string literals independent of host byte order.
 - Steve, can you take a look at this? It seems like this code should live
   elsewhere, and there is a FIXME about having Sema validates the UTF-8 to
   UTF-16 conversion.

llvm-svn: 76915

Added a 2+-byte NOP instruction to the Intel tables,
for the assembler/disassembler to use.

llvm-svn: 76914

Diagnose when base classes and members to be intialized
with constructors don't have a matching constructor.

llvm-svn: 76913

Privatize the ConstantStruct table.

llvm-svn: 76912

Refactor and push the evaluation as late as possible.

llvm-svn: 76911

Write space padding as one string to speed up comment printing.

llvm-svn: 76910

Thumb2 does not allow the use of "pc" register as part of the load / store address.

llvm-svn: 76909

Factor out map lookup for CFString constants.

llvm-svn: 76908

Don't just store the field/bit field info one field, do it for all fields in the union.

llvm-svn: 76907

Some cleanups suggested by Daniel.

llvm-svn: 76906

Implement: <rdar://problem/6335715> rule request: gets() buffer overflow

llvm-svn: 76905

Fixing unittests on 32-bit Darwin, using 0x...ULL instead of 0x...U .

llvm-svn: 76904

Fix another thinko.

llvm-svn: 76903

Re-committing r76828 with the JIT memory manager changes now that the build
bots like the BumpPtrAllocator changes.

llvm-svn: 76902

Add comments.

llvm-svn: 76901

Refine checking and diagnostics for use of floating point variable as a counter.
This implements <rdar://problem/6336718> and checks for CERT secure coding
advisory FLP30-C.

llvm-svn: 76900

"fix" PR4612, which is a crash on:
%0 = malloc [3758096384 x i32]

The "malloc" instruction doesn't support 64-bits correctly (see PR715),
and should be removed.  Victor is actively working on fixing this, in
the meantime just don't crash.

llvm-svn: 76899

Correct a  thinko in bitfield layout code. Fixes PR4611.

llvm-svn: 76898

Simplify, NFC.

llvm-svn: 76897

Fix PR4614: the Intel C compiler defines _GNUC__
but does not provide __builtin_bswap32/64.

llvm-svn: 76896

Revert r75581: it causes massive breakage in the Ada
testsuite, due to exception handling not working
correctly.  Maybe because the libgcc unwinder is
miscompiled - not sure, and I won't have time to
look into it before leaving on holiday.  Note that
miscompilations of libgcc are not picked up by the
nightly testers, because they dynamically link with
libgcc, so pick up the system version rather than
the version built as part of llvm-gcc.  This is a
nasty flaw in the nightly testers.  (On the other
hand the Ada testsuite links with the just built
libgcc).

llvm-svn: 76895

Switch ValueSymbolTable to StringRef based API.

llvm-svn: 76894

Add llvm::Value::getNameRef, for help in API migration.

llvm-svn: 76893

Re-committing changes from r76825 to BumpPtrAllocator with a fix and tests for
an off-by-one error.

llvm-svn: 76891

Fix up ARM constant island pass for Thumb2.

Also fixed up code to fully use the SoImm field for ADR on ARM mode.

llvm-svn: 76890

Since we have moved unified assembly, switch to ADR instruction instead of a the difficult-to-read .set + add syntax to materialize pc-relative address.

Turns out this also fixed a poor code selection on Thumb1. I have no idea why we were using a mov + add to do the same thing as ADR before.

llvm-svn: 76889

Convert StringMap to using StringRef for its APIs.
 - Yay for '-'s and simplifications!

 - I kept StringMap::GetOrCreateValue for compatibility purposes, this can
   eventually go away. Likewise the StringMapEntry Create functions still follow
   the old style.

 - NIFC.

llvm-svn: 76888

Switch the driver back to always using clang-cc by default (for C++, and
regardless of the architecture).
 - This is a good default for development & testing; for example without this
   any tests using 'clang' in the test suite will fail on PowerPC, since the
   driver will avoid using clang.

 - We don't want to actually ship something built this way, but that should be
   handled via some sort of configuration file.

llvm-svn: 76886

Simplify.

llvm-svn: 76885

We don't need to keep track of the packed alignment, just whether the struct is packed or not. Fixes PR4610.

llvm-svn: 76884

Fix frame index elimination to correctly handle thumb-2 addressing modes that don't allow negative offsets. During frame elimination convert *i12 opcode to a *i8 when necessary due to a negative offset.

llvm-svn: 76883

Move the LLVM field number for bit fields into the BitFieldInfo structure, since it's meaning is completely different than for non-bit fields.

llvm-svn: 76882

Clean up the ActOnTag action, so that there is only a single entry
point that covers templates and non-templates. This should eliminate
the flood of warnings I introduced yesterday.

Removed the ActOnClassTemplate action, which is no longer used.

llvm-svn: 76881

FileCheck'ize and expand LDA testcases.

llvm-svn: 76880

emit simple node was using different labels for fields than the rest of the graph writter

llvm-svn: 76879

Unbreak the CMake build

llvm-svn: 76878

Cache dependence computation using FoldingSet.

This introduces an LDA-internal DependencePair class. The intention is,
that this is a place where dependence testers can store various results
such as SCEVs describing conflicting iterations, breaking conditions,
distance/direction vectors, etc.

llvm-svn: 76877

Add two nodes to the call graph:
 - Root is the main function or 0.
 - ExternalCallingNode has edges to all external functions.

llvm-svn: 76876

Add template specializations to view the call graph in dot format.
 - change the DenseMap used in callgraph to std::map, since DenseMap cannot
   be used with mapped_iterator and friends.

llvm-svn: 76874

constify methods.

llvm-svn: 76873

80 col violation.

llvm-svn: 76872

Add getter methods.

llvm-svn: 76871

Add newline at EOF.

llvm-svn: 76870

enhance DepthFirstIterator to support more robust operations in the face
of code mutating the graph while it is being traversed.  Patch by
Olaf Krzikalla!

llvm-svn: 76869

testcase for PR4590

llvm-svn: 76868

refactor a blob of code out to a new 'FoldOrOfFCmps' function and
simplify it.

llvm-svn: 76866

For real this time: PHI Def & Kill tracking added to PHIElimination.

llvm-svn: 76865

merge vector-casts-0.ll into vector-casts.ll

llvm-svn: 76864

Make some existing optimizations that would only trigger on scalars
also apply to vectors.  This allows us to compile this:

#include <emmintrin.h>
__m128i a(__m128 a, __m128 b) { return a==a & b==b; }
__m128i b(__m128 a, __m128 b) { return a!=a | b!=b; }

to:

_a:
cmpordps %xmm1, %xmm0
ret
_b:
cmpunordps %xmm1, %xmm0
ret

with clang instead of to a ton of horrible code.

llvm-svn: 76863

Shield clang from LLVM API changes, until the dust settles.

llvm-svn: 76862

convert a test to filecheck format.  This fixes an endemic problem
with negative tests: this test wasn't checking what it thought it was
because it was grepping .bc, not .ll.

llvm-svn: 76861

rename test

llvm-svn: 76860

refactor a bunch of code out into a helper function,
no functionality change.

llvm-svn: 76859

Fix test case, which has a control-reaches-end-of-non-void warning that was
being masked by previous bug.

llvm-svn: 76858

Use llvm::BitVector instead of managing memory by hand.
 - As it happens, this also fixes a use-of-uninitialized memory that was causing
   non-deterministic test failures.

llvm-svn: 76857

Set field info for unions.

llvm-svn: 76856

remove a really old and dead header

llvm-svn: 76855

Use arrays as union padding. Also, since the resulting struct will always contain a single element and either a single i8 element or an array of i8s, there's no reason to use a packed struct.

llvm-svn: 76854

merge one more sse41 test into sse41.ll

llvm-svn: 76853

merge another sse41 test into sse41.ll

llvm-svn: 76852

Revert r76831, there are many Analyzer test failures on multiple platforms.

--- Reverse-merging r76831 into '.':
U    include/clang/Analysis/PathSensitive/GRExprEngine.h
U    lib/Analysis/GRExprEngine.cpp

llvm-svn: 76851

merge  sse41-pmovx.ll into sse41.ll

llvm-svn: 76850

Added PHI Def & Kill tracking to PHIElimination pass.

llvm-svn: 76849

change a test to run in filecheck style.  Rename it to be a general
dumping ground of various SSE4.1 tests, since filecheck can reasonably
handle them all in one file.  Generalize it to check x86-64 stuff as
well since it has a different ABI (a convenient way to test both the
reg and mem forms of these instructions).

llvm-svn: 76848

Handle zero width bit fields in unions correctly (by ignoring them).

llvm-svn: 76847

Implement union layout support.

llvm-svn: 76846

Check in  CGRecordLayoutBuilder which is a reimplementation of the record layout code. (Yay, no more packed structs unless absolutely necessary). We currently don't use the layouts being built but that will change when the new code is mature enough :)

llvm-svn: 76845

These IRgen improvements have been done.

Technically we could still do a bit more to avoid deferred generation of statics
which we know are used, but I seriously doubt this is important.

llvm-svn: 76844

Support insertps via the intrinsic and add a couple of simple
testcases to make sure it's being generated.

llvm-svn: 76843

Do not call getMangledName on Intrinsics.

llvm-svn: 76842

MDString
- Rename member function size(). New name is length().
- Store string beginning and length. Earlier it used to store string end.

llvm-svn: 76841

Add test for pinsrd and pinsrb instructions.

llvm-svn: 76840

Minor cosmetics: indentation, formatting, naming.

llvm-svn: 76839

Reverting r76825 and r76828, since they caused clang runtime errors and some build failure involving memset.

llvm-svn: 76838

add header for 'memset'.

llvm-svn: 76837

Silence "uninitialized use" warning.

llvm-svn: 76836

Hide constructors.

llvm-svn: 76835

Derive MDNode from MetadataBase instead of Constant. Emit MDNodes into METADATA_BLOCK in bitcode file.

llvm-svn: 76834

Add initial implementation of checking for uses of floating point as a loop counter.

llvm-svn: 76833

Add instance predicate method to match static method.

llvm-svn: 76832

Add 'previsit' Checker pass for ObjCMessageExprs.

llvm-svn: 76831

Remove a bunch of FIXME's related to ObjC type checking.

- Move Sema::ObjCQualifiedIdTypesAreCompatible(), Sema::QualifiedIdConformsQualifiedId(), and a couple helper functions to ASTContext.
- Change ASTContext::canAssignObjCInterfaces() to use ASTContext:: ObjCQualifiedIdTypesAreCompatible().
- Tweak several test cases to accommodate the new/improved type checking.

llvm-svn: 76830

Fix error message for correct opcode.

llvm-svn: 76829

Make the JIT code emitter properly retry and ask for more memory when it runs
out of memory, and also make the default memory manager allocate more memory
when it runs out.

Also, switch function stubs and global data over to using the BumpPtrAllocator.

This makes it so the JIT no longer mmaps (or the equivalent on Windows) 16 MB
of memory, and instead allocates in 512K slabs.  I suspect this size could go
lower, especially on embedded platforms, now that more slabs can be allocated.

llvm-svn: 76828

Add constructor used to initialize base/member in
CXXBaseOrMemberInitializer AST node. Needed by
its clients to do the initialization.

llvm-svn: 76826

Parameterize the BumpPtrAllocator over a slab allocator.  It defaults to using
malloc, so there should be no functional changes to other code.

These changes are necessary since I have plans to use this allocator in the JIT
memory manager, and it needs a special allocator.

I also added some tests which helped me pinpoint some bugs.

llvm-svn: 76825

Fix case, apparently some people still build on case sensitive
filesystems.

llvm-svn: 76824

Revert r75663 (and r76805), as it is causing regressions on powerpc.

llvm-svn: 76823

Add warning for falling off the end of a function that should return a
value.  This is on by default, and controlled by -Wreturn-type (-Wmost
-Wall).  I believe there should be very few false positives, though
the most interesting case would be:

  int() { bar(); }

when bar does:

  bar() { while (1) ; }

Here, we assume functions return, unless they are marked with the
noreturn attribute.  I can envision a fixit note for functions that
never return normally that don't have a noreturn attribute to add a
noreturn attribute.

If anyone spots other false positives, let me know!

llvm-svn: 76821

Implement support for out-of-line definitions of the class members of class
templates, e.g.,

  template<typename T>
  struct Outer {
    struct Inner;
  };

  template<typename T>
  struct Outer<T>::Inner {
    // ...
  };

Implementing this feature required some extensions to ActOnTag, which
now takes a set of template parameter lists, and is the precursor to
removing the ActOnClassTemplate function from the parser Action
interface. The reason for this approach is simple: the parser cannot
tell the difference between a class template definition and the
definition of a member of a class template; both have template
parameter lists, and semantic analysis determines what that template
parameter list means.

There is still some cleanup to do with ActOnTag and
ActOnClassTemplate. This commit provides the basic functionality we
need, however.

llvm-svn: 76820

remove SectionFlags::Small: it is only used on Xcore, and we'll find
a better solution for it in the future.

llvm-svn: 76818

x86 isel tweak: use lea (%reg,%reg) instead of lea (,%reg,2).

llvm-svn: 76817

Fix test breakage.

llvm-svn: 76816

Change Preprocessor to keep a copy of LangOptions instead of reference, like ASTContext.

Now when creating a Preprocessor we can pass it a temporary LangOptions object instead of having to remember to keep it around.

llvm-svn: 76815

Improve CFG support for C++ throw expressions.

llvm-svn: 76814

Prep for new warning.

llvm-svn: 76813

Add new keywords to the vim syntax highlighting.

llvm-svn: 76812

Add new optimization keywords to the polygen grammar.

llvm-svn: 76811

Rename the new unsigned and signed keywords to nuw and nsw,
which stand for no-unsigned-wrap and no-signed-wrap.

llvm-svn: 76810