llvm-svn: 71848

llvm-svn: 71847

llvm-svn: 71846

llvm-svn: 71843

Cleanup internal checks bug reporting, allowing intermediate diagnostics to be generated for bad argument warnings, bad branches, etc.

llvm-svn: 71838

llvm-svn: 71837

llvm-svn: 71836

Fixes PR 4205.

llvm-svn: 71835

llvm-svn: 71834

Also fix up some 80col violations while I'm there.

llvm-svn: 71833

llvm-svn: 71832

PathDiagnosticLocation::asRange(): for a PathDiagnosticLocation, the range of a DeclStmt is only the decl, not
the decl + initializer.

llvm-svn: 71831

loop body when generating 'Looping back to the head of the loop'
diagnostics.

llvm-svn: 71829

llvm-svn: 71828

though the classes have been marked with "VISIBILITY_HIDDEN".

llvm-svn: 71827

llvm-svn: 71825

variables.  For this to work, the backend needs to handle more complex
forms for locations.

A typical utterance would be:

        %forwarding = getelementptr %0* %use_by_ref, i32 0, i32 1               ; <i8**> [#uses=1]
        %0 = load i8** %forwarding              ; <i8*> [#uses=1]
        %1 = bitcast i8* %0 to %0*              ; <%0*> [#uses=1]
        %x = getelementptr %0* %1, i32 0, i32 4         ; <i32*> [#uses=1]
        %2 = bitcast i32* %x to { }*            ; <{ }*> [#uses=1]
        call void @llvm.dbg.declare({ }* %2, { }* bitcast (%llvm.dbg.variable.type* @llvm.dbg.variable to { }*))

Presently when selection finds something it doesn't understand, it
just avoids generating any information, which is safe, just
incomplete.  Radar 6867696

llvm-svn: 71824

llvm-svn: 71823

llvm-svn: 71822

logical/sane approach to organizing all of the stuff that goes into writing out
DWARF information. Honestly? even this is too complex for what it's supposed to
be doing.

Trivia: It *looks* like there would be functionality changes, however there aren't!
llvm-svn: 71821

llvm-svn: 71820

llvm-svn: 71819

llvm-svn: 71818

method is a qualified id which conforms to the matching type
of its method declaration.

llvm-svn: 71817

llvm-svn: 71816

Implement !if, analogous to $(if) in GNU make.

llvm-svn: 71815

functions of class templates. Only compound statements and expression
statements are currently implemented.

llvm-svn: 71814

llvm-svn: 71813

llvm-svn: 71812

Fix tests to not upset DejaGNU.

llvm-svn: 71811

Graduate LLVM to the big leagues by embedding a LISP processor into TableGen.

Ok, not really, but do support some common LISP functions:

* car
* cdr
* null

llvm-svn: 71805

Implement a !foreach operator analogous to GNU make's $(foreach).
Use it on dags and lists like this:

class decls {
  string name;
}

def Decls : decls;

class B<list<string> names> : A<!foreach(Decls.name, names, !strconcat(Decls.name, ", Sr."))>;

llvm-svn: 71803

llvm-svn: 71802

Implement a !subst operation simmilar to $(subst) in GNU make to do
def/var/string substitution on generic pattern templates.  For example:

def Type;
def v4f32 : Type;
def TYPE : Type;

class GenType<Type t> {
  let type = !(subst TYPE, v4f32, t);
}

def TheType : GenType<TYPE>;

llvm-svn: 71801

llvm-svn: 71800

Introduce a stack of instantiation scopes that are used to store the mapping from variable declarations that occur within templates to their instantiated counterparts

llvm-svn: 71799

llvm-svn: 71798

llvm-svn: 71797

llvm-svn: 71796

llvm-svn: 71795