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

Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.

Educate GRExprEngine::VisitGraph() about 'PreStmt'.

Mark the constructor of 'PostStmt' to be explicit, preventing implicit
conversions and the selection of the wrong 'generateNode' method in
GRStmtNodeBuilder.

Constify a bunch of arguments, which falls out of the changes to ProgramPoint.

llvm-svn: 76809

Reorder if-else branches as suggested by Bill.

llvm-svn: 76808

Slight code reorganization to allow instantiating post-inc/dec.

llvm-svn: 76807

Fix typo in addrmode definition.

llvm-svn: 76806

Add -march=ppc32 lines so that this test doesn't ever default to ppc64.

llvm-svn: 76805

Calls to Sema::MatchTemplateParametersToScopeSpecifier should not depend on the order of evaluation of their arguments to be correct.

llvm-svn: 76804

Use getTargetConstant instead of getConstant since it's meant as an constant operand.

llvm-svn: 76803

Make the grep line in this test more specific, to avoid
unintended matches.

llvm-svn: 76802

Constify the key in Mi2IndexMap.

llvm-svn: 76801

Use SaveAndRestore in 'clang/Analysis/Support/SaveAndRestore.h'

llvm-svn: 76800

Ignore undef uses.

llvm-svn: 76799

Add AssumeDual method.

llvm-svn: 76798

Migrate the path-sensitive checking of 'nonnull' arguments over to the new
'Checker' interface. An updated test case illustrates that after calling a
function with the 'nonnull' attribute we now register the fact that the passed
pointer must be non-null. This retention of information was not possible with
the previously used GRSimpleAPICheck interface.

llvm-svn: 76797

Fix the parsing of default arguments for inline member function
definitions.

I'm not very familiar with this code, so please review.

llvm-svn: 76796

Make 'SaveAndRestore' and friends reusable classes in libAnalysis.

llvm-svn: 76795

Add support for registering 'Checker' objects with GRExprEngine.
Add a 'previsit' stage (that dispatches to registered Checkers) when evaluating the effects of CallExprs.

llvm-svn: 76794

Add new 'Checker' and 'CheckerVisitor' classes, which represent a more powerful
interface to plug in domain-specific checker logic than the current
GRSimpleAPICheck interface. The new 'Checker' interface can actually generate
new nodes, allowing it to modify the state and refine the analysis (which
GRSimpleAPIChecks could not).

llvm-svn: 76793

Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.

llvm-svn: 76792

Add 'PreStmt' program point. This will be used to represent checking for
preconditions (in GRExprEngine) before the statement itself is evaluated.

llvm-svn: 76791

Implement operator= for ExplodedNodeSet.

llvm-svn: 76790

Switch some clients to Value::getName(), and other getName() user
simplification.
 - NFC

llvm-svn: 76789

Fix the problems with template argument deduction and array types for
real. It turns out that we need to actually move all of the qualifiers
up to the array type itself, then recanonicalize the deduced template
argument type.

llvm-svn: 76788

Fix indentation.

llvm-svn: 76787

Simplify some uses of Value::getName()

llvm-svn: 76786

Define npos in a way that should make MSVC happier.

llvm-svn: 76785

Make -Wreturn-type be part of -Wmost and therefore -Wall.

llvm-svn: 76784

Fix some memory allocation/deallocation issues

llvm-svn: 76783

Remove unnecessary store to temporary std::string.

llvm-svn: 76782

Put comment printing under asm-verbose.

llvm-svn: 76780

Fix a nasty little use-after-free bug.

llvm-svn: 76779

Fix indentation.

llvm-svn: 76778

Canonicalize the types produced by template argument deduction.

llvm-svn: 76777

Improved on performance of the algorithm for proper ordering of
ctor's initialization of bases and fields.

llvm-svn: 76776