llvm-svn: 47348

for adding alignment info, not there yet).  Clean up
interfaces to reference ParameterAttributes consistently.

llvm-svn: 47342

llvm-svn: 47314

requested by Chris.  While there, do the same
for an existing function committed by someone
called "lattner" :)

llvm-svn: 47273

llvm-svn: 47264

a function must be the first parameter.

llvm-svn: 47254

llvm-svn: 47248

llvm-svn: 47219

when they occur in the name, just like " is escaped.

llvm-svn: 47169

common problem of putting two terminators in the same block.  I can't write
a testcase for this because the .ll parser rejects this before the verifier
can, but this can occur when generating IR.

llvm-svn: 46900

llvm-svn: 46836

llvm-svn: 46658

than double through the C bindings. Thanks to Tomas Lindquist
Olsen for reporting it.

llvm-svn: 46656

llvm-svn: 46510

llvm-svn: 46506

llvm-svn: 46431

llvm-svn: 46314

that return an opaque type by value, as long as you don't
call it or provide a body (you can take the address of it).
So it is wrong to insist that sret parameters not be an
opaque*.  And I guess it is really up to codegen to complain
if someone tries to call such a function.  I'm also removing
the analogous check from byval parameters, since I don't
see why we shouldn't allow them as long as no-one tries to
call the function or give it a body.

llvm-svn: 46216

with a size, like byval.

llvm-svn: 46207

check the callee also if it is known.

llvm-svn: 46206

llvm-svn: 46026

llvm-svn: 46009

llvm-svn: 45974

drop attributes on varargs call arguments.  Also, it could generate
invalid IR if the transformed call already had the 'nest' attribute
somewhere (this can never happen for code coming from llvm-gcc,
but it's a theoretical possibility).  Fix both problems.

llvm-svn: 45973

llvm-svn: 45950

a size, not just structs.

llvm-svn: 45938

llvm-svn: 45913

allowed on the vararg arguments of a call.

llvm-svn: 45909

parameter, even if it is a varargs function.  Do
allow attributes on the varargs part of a call,
but not beyond the last argument.  Only allow
selected attributes to be on the varargs part of
a call (currently only 'byval' is allowed).  The
reasoning here is that most attributes, eg inreg,
simply make no sense here.

llvm-svn: 45887

llvm-svn: 45850

incompatibility.

llvm-svn: 45704

direct calls bails out unless caller and callee have essentially
equivalent parameter attributes.  This is illogical - the callee's
attributes should be of no relevance here.  Rework the logic, which
incidentally fixes a crash when removed arguments have attributes.

llvm-svn: 45658

a direct call with cast parameters and cast return
value (if any), instcombine was prepared to cast any
non-void return value into any other, whether castable
or not.  Add a new predicate for testing whether casting
is valid, and check it both for the return value and
(as a cleanup) for the parameters.

llvm-svn: 45657

llvm-svn: 45529

llvm-svn: 45528

refcount on these correctly, and can end up referring to deleted 
attributes.  This fixes PR1881.

llvm-svn: 45525

get a profile.

llvm-svn: 45524

llvm-svn: 45519

own file.  Don't #include ParameterAttributes.h into any major
public header files: just move methods out of line as appropriate.

llvm-svn: 45517

llvm-svn: 45512