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

llvm-svn: 45506

Patch by Bryan O'Sullivan!

llvm-svn: 45481

llvm-svn: 45450

llvm-svn: 45418

llvm-svn: 45415

llvm-svn: 45369

llvm-svn: 45367

function with GC.

This will catch the error when the inliner inlines a function with
GC into a caller with no GC.

llvm-svn: 45350

LangRef.

llvm-svn: 45349

as on functions.  Make it verify invokes and not just
ordinary calls.  As a (desired) side-effect, it is no
longer legal to have call attributes on arguments that
are being passed to the varargs part of a varargs
function (llvm-as drops them on the floor anyway).

llvm-svn: 45286

to exceptions rather than variants for error handling in Ocaml.

llvm-svn: 45226

calls 'nounwind'.  It is important for correct C++
exception handling that nounwind markings do not get
lost, so this transformation is actually needed for
correctness.

llvm-svn: 45218

llvm-svn: 45163

doesNotThrow.

llvm-svn: 45160

Don't forget to print address space qualifiers when printing out the type table! Thanks to Gordon Henriksen for pointing this out.

llvm-svn: 45147

llvm-svn: 45140

it's auto-upgraded to a shufflevector instruction.

llvm-svn: 45131

how to lower them (with no attempt made to be
efficient, since they should only occur for
unoptimized code).

llvm-svn: 45108

for Ocaml-based compilers targeting embedded devices. :)

llvm-svn: 45096