copies is made.

llvm-svn: 45799

Do not use the stack pointer directly, issue a copyfromreg instead. Otherwise we can end up with something like ADD32ri %esp, x which two-address pass won't like.

llvm-svn: 45798

llvm-svn: 45797

than hardware supported type will be scalarized, so we
can infer their alignment from that info.

We now codegen pr1845 into:

_boolVectorSelect:
	lbz r2, 0(r3)
	stb r2, -16(r1)
	blr 

llvm-svn: 45796

llvm-svn: 45795

llvm-svn: 45794

llvm-svn: 45793

llvm-svn: 45792

llvm-svn: 45791

Add a FIXME to commit r45784. Thanks mrs!

llvm-svn: 45790

Fix Sema::ActOnDeclarator() to call MergeFunctionDecl for function decls that aren't in scope. Since C functions are in a flat namespace, we need to give them special treatment (when compared with variables and typedefs).

llvm-svn: 45789

so that nodes can be marked as representing an infeasible program point. This
flag lets the path-sensitive solver know that no successors should be generated
for such nodes.

llvm-svn: 45788

llvm-svn: 45787

BExpr*** and ***BExpr respectively. These edges represent program locations
between the entrance/exit of a block and Block-level Expressions.

Also added ***SExpr and SExpr*** ProgramEdges to represent the locations in the
program between the evaluation of subexpressions and block-level expressions.

llvm-svn: 45786

code restructuring.  (new files will be introduced shortly)

llvm-svn: 45785

Fix ASTContext::typesAreCompatible to allow for int/enum compatibility (C99 6.7.2.2p4).
Fix Sema::MergeFunctionDecl to allow for function type compatibility (by using the predicate on ASTContext). Function types don't have to be identical to be compatible...

llvm-svn: 45784

Clean up StrongPHIElimination a bit, and add some more comments to the internal structures.  There's
still more work to do on this front.

llvm-svn: 45783

Teach Sema::ActOnCompoundLiteral about constraint C99 6.5.2.5p3.

llvm-svn: 45782

llvm-svn: 45781

llvm-svn: 45780

truncating.  This allows us to compile:
 void foo() {
  static _Bool foo = 4;
}

into:
@foo1 = internal global i8 1
instead of:
@foo1 = internal global i8 4

llvm-svn: 45779

This fixes a crash reported by Seo Sanghyeon

llvm-svn: 45778

llvm-svn: 45777

llvm-svn: 45776

llvm-svn: 45775

llvm-svn: 45774

llvm-svn: 45773

llvm-svn: 45772

llvm-svn: 45771

llvm-svn: 45770

llvm-svn: 45769

llvm-svn: 45768

llvm-svn: 45767

llvm-svn: 45766

Teach Expr::isConstantExpr() about CompoundLiterals.

llvm-svn: 45764

llvm-svn: 45763

void test(long long *P) { *P ^= 1; }

into just:

_test:
	movl	4(%esp), %eax
	xorl	$1, (%eax)
	ret

instead of code like this:

_test:
	movl	4(%esp), %ecx
        xorl    $1, (%ecx)
	movl	4(%ecx), %edx
	movl	%edx, 4(%ecx)
	ret

llvm-svn: 45762

llvm-svn: 45760

llvm-svn: 45759

llvm-svn: 45758