in an initializer list.

llvm-svn: 46367

handles message sends with typenames to start with.

llvm-svn: 46366

llvm-svn: 46365

llvm-svn: 46364

ParseObjCMessageExpressionBody method.

llvm-svn: 46363

llvm-svn: 46362

include the assignment expressions whose result (as in the value of the
expression) is used by other expressions.

llvm-svn: 46361

may require a clean rebuild on leopard. :(

llvm-svn: 46360

llvm-svn: 46358

llvm-svn: 46357

llvm-svn: 46355

was actually passing a completely incorrect size to sys_icache_invalidate.
Instead of having the JITEmitter do this (which doesn't have the correct 
size), just make the target sync its own stubs.

llvm-svn: 46354

llvm-svn: 46353

arrays.  Also, as a convenience, don't barf, just
return false, if someone calls isTruncStoreLegal
or isLoadXLegal with an extended type for the in
memory type.

llvm-svn: 46352

DeadStoreElimination can treat byval parameters as if there were alloca's for the purpose of removing end-of-function stores.

llvm-svn: 46351

llvm-svn: 46350

we can infer it.  This will eventually help stuff, though it doesn't
do much right now because all fixed FI's have an alignment of 1.

llvm-svn: 46349

a reference to TargetFrameInfo.  Rearrange order of fields in StackObject to
save a word.

llvm-svn: 46348

llvm-svn: 46347

llvm-svn: 46346

llvm-svn: 46345

us to compile:

double test(double X) {
  return copysign(0.0, X);
}

into:

_test:
	andpd	LCPI1_0(%rip), %xmm0
	ret

instead of:
_test:
	pxor	%xmm1, %xmm1
	andpd	LCPI1_0(%rip), %xmm1
	movapd	%xmm0, %xmm2
	andpd	LCPI1_1(%rip), %xmm2
	movapd	%xmm1, %xmm0
	orpd	%xmm2, %xmm0
	ret

llvm-svn: 46344

llvm-svn: 46343

Replace Sema::CheckVariableInitList, CheckConstantInitList, and CheckForCharArrayInitializer with CheckInitializerListTypes. The new routine now supports struct/union initializers.

This is a modified version of a patch by Eli Friedman. This version passes all of the clang tests and supports vectors:-)

Note that Eli and I are still unsatisfied the implementation of CheckInitializerListTypes(). We'd like to find a more elegant implementation. Nevertheless, this is a complex part of the standard (and may be hard to simplify). Since the complexity is localized to this routine, we can iterate without too much disruption:-)

llvm-svn: 46339

This should fix bunch of issues.

llvm-svn: 46337

llvm-svn: 46336

line of the file, in the common case where a file ends with a newline.

llvm-svn: 46335

llvm-svn: 46333

llvm-svn: 46330

information is not separated into a "base" and "sub" type. Eventually the
value-tracking logic will know about LValues and RValues, but not about
specialized LValues and RValues; separating the "kind" information into bits
indicating whether an ExprValue is an LValue or an RValue from the bits that
specify the actual value type makes this separation easier.

llvm-svn: 46329

Exclude vectors from Type::isScalar() predicate.

llvm-svn: 46328

llvm-svn: 46327

llvm-svn: 46326

llvm-svn: 46323

a Stmt* is a block-level expression when we INSERT a value into the map, and
not also when we QUERY a value.

llvm-svn: 46321

llvm-svn: 46320

the value map as if the expressions were non-block-level expressions.

llvm-svn: 46319

llvm-svn: 46318

we falsely constructed an APInt to represent the constant '1' instead of
using an APSInt (which has a sign).

llvm-svn: 46317

APInt.

While some operators were already specifically overloaded for APSInt, others
resulted in using the overloaded operator methods in APInt, which would result
in the signedness bit being lost.

Modified the APSInt(APInt&) constructor to be "explicit" and to take an
extra (optional) flag to indicate the signedness.  Making the ctor explicit
will catch any implicit conversations between APSInt -> APInt -> APSInt that
results in the signedness flag being lost.

llvm-svn: 46316