Implement some constant folding in SelectionDAG and
DAGCombiner using APFloat.  Remove double versions
of constructor and getValue from ConstantFPSDNode.

llvm-svn: 41664

Move SourceRange protocol from Expr->Stmt.

Converted many of the statements over. Still a hanful left...

llvm-svn: 41663

llvm-svn: 41662

llvm-svn: 41661

support any sort of expr, add a new EmitAnyExpr routine.

llvm-svn: 41660

statement expressions.

llvm-svn: 41659

llvm-svn: 41658

llvm-svn: 41657

llvm-svn: 41656

warn about the last stmt in a stmtexpr, f.e. there should be no warning for:

int maxval_stmt_expr(int x, int y) {
  return ({int _a = x, _b = y; _a > _b ? _a : _b; });
}

llvm-svn: 41655

llvm-svn: 41654

llvm-svn: 41653

llvm-svn: 41652

be passed as an (optional) argument to StmtPrinter to customize
printing of AST nodes.

Used new PrinterHelper interface to enhance printing and visualization
of CFGs.  The CFGs now illustrate the semantic connectives between
statements and terminators, wheras in the previous printing certain
expressions would (visible) be printed multiple times to reflect which
expressions used the results of other expressions.

The end result is that the CFG is easier to read for flow of
expression values (following principles similar to the LLVM IR).

llvm-svn: 41651

llvm-svn: 41650

Patch improved from one by Holger Schurig.

llvm-svn: 41649

llvm-svn: 41648

Removed Sema::VerifyConstantArrayType(). With the new Array/ConstantArray/VariableArray nodes, this
routine was causing more trouble than it was worth. Anders/Chris noticed that it could return an error code
without emiting a diagnostic (which results in an silent invalid decl, which should *never* happen). In addition,
this routine didn't work well for typedefs and field decls. Lastly, it didn't consider that initializers aren't
in place yet.

Added Type::getAsConstantArrayType(), Type::getAsVariableArrayType(), Type::getAsVariablyModifiedType(),
and Type::isVariablyModifiedType();

Modified Sema::ParseDeclarator() and Sema::ParseField() to use the new predicates. Also added a FIXME for
the initializer omission. Also added a missing test for "static" @ file scope.

llvm-svn: 41647

llvm-svn: 41646

llvm-svn: 41645

Log:
Implement parsing of objective-c's new @property declaration.

Modified:
include/clang/Basic/DiagnosticKinds.def
include/clang/Parse/Parser.h
Parse/ParseObjc.cpp
Parse/Parser.cpp

llvm-svn: 41644

llvm-svn: 41643

This is mandated table 3.1 at
http://www.x86-64.org/documentation/abi.pdf

llvm-svn: 41642

llvm-svn: 41641

Use std::map instead of a (potentially very sparse) array to track val# defined by copy from the other live range. Minor compile time win when number of val# is large.

llvm-svn: 41640

llvm-svn: 41639

llvm-svn: 41638

llvm-svn: 41637

llvm-svn: 41636

llvm-svn: 41635

to their corresponding library routines (e.g. isinf).  This allows us to handle
all the stuff in macos math.h, and other stuff as it's added to *Builtins.def.

llvm-svn: 41634

llvm-svn: 41633

Use APFloat interfaces for more references, mostly
of ConstantFPSDNode.

llvm-svn: 41632

llvm-svn: 41631

The following case now works...

void empty(void * a ) {}

void test()
{
    unsigned char A[4]; 
    empty( (void *) A); 
}

Thanks to Patrick Flannery for finding this...

llvm-svn: 41630

llvm-svn: 41629

llvm-svn: 41628

Comments added. It now generates V5TE multiply instructions. However, it is still necessary to model PUWLSH bits more clearly.

llvm-svn: 41627

llvm-svn: 41626

llvm-svn: 41625