New CallInst interface to address GLIBCXX_DEBUG errors caused by
indexing an empty std::vector.

Updates to all clients.

llvm-svn: 40660

permitted on function results. So, revert the last patch to make it illegal.

llvm-svn: 40632

front end converts regparm attribute on the gcc function into InReg attribute 
on the llvm function. This fixes test/CFrontend/2002-07-30-SubrefSetAssertion.c

llvm-svn: 40618

llvm-svn: 40588

to make it easier to understand failure.

llvm-svn: 40567

llvm-svn: 40564

with StructReturn and ByVal, so make it so.

llvm-svn: 40554

Verifier::visitFunction is suffering a combinatorial
explosion due to the number of mutually incompatible
attributes.  This patch tidies the whole thing up
using attribute masks.  While there I fixed some
small bugs: (1) the ByVal attribute tests cast a
type to a pointer type, which can fail.  Yes, the
fact it is of a pointer type is checked before,
but a failing check does not cause the program
to exit, it continues on outputting further errors;
(2) Nothing was checking that an sret attribute is
on the first parameter; (3) nothing was checking that
a function for which isStructReturn() is true has a
parameter with the sret attribute and vice-versa (I
don't think it is possible for this to go wrong, but
it seems right to check it).

llvm-svn: 40553

still under discussion.

llvm-svn: 40549

to Instruction::mayWriteToMemory, fixing a FIXME, and helping
various places that call mayWriteToMemory directly.

llvm-svn: 40533

llvm-svn: 40530

llvm-svn: 40506

llvm-svn: 40464

2. Fold an if statement into the Assert1 macro call.

llvm-svn: 40455

to use sret or inreg on the function. It is equally illegal to use noreturn
or nounwind on a parameter; they only go with the function. This patch
enforces these rules.

llvm-svn: 40453

This hopefully fixes a miscompilation of TargetData.cpp when self hosting.

llvm-svn: 40125

llvm-svn: 40109

Change the keywords for the zext and sext parameter attributes to be 
zeroext and signext so they don't conflict with the keywords for the
instructions of the same name. This gets around the ambiguity.

llvm-svn: 40069

llvm-svn: 40062

llvm-svn: 40039

end of a BasicBlock and have an alignment parameter.

llvm-svn: 40016

llvm-svn: 39971

llvm-svn: 39921

llvm-svn: 38506

llvm-svn: 38469

llvm-svn: 37940

llvm-svn: 37920

Almost all occurrences of "bytecode" in the sources have been eliminated.

llvm-svn: 37913

llvm-svn: 37765

llvm-svn: 37758

llvm-svn: 37731

extended vector types. Remove the special SDNode opcodes used for pre-legalize
vector operations, and the special MVT::Vector type used with them. Adjust
lowering and legalize to work with the normal SDNode kinds instead, and to
use the normal MVT functions to work with vector types instead of using the
two special operands that the pre-legalize nodes held.

This allows pre-legalize and post-legalize DAGs, and the code that operates
on them, to be more consistent. Pre-legalize vector operators can be handled
more consistently with scalar operators. And, -view-dag-combine1-dags and
-view-legalize-dags now look prettier for vector code.

llvm-svn: 37719

from LoopSimplify.cpp to Dominator.cpp

llvm-svn: 37689

llvm-svn: 37630

AND vectors.

llvm-svn: 37586

llvm-svn: 37585

llvm-svn: 37562

llvm-svn: 37561

common dominator.

llvm-svn: 37559

Remove unused PostETForest.

llvm-svn: 37551