llvm-svn: 39884

llvm-svn: 39882

First teach instcombine that sign bit checks only demand the 
sign bit, this allows simplify demanded bits to hack on 
expressions better.

Second, teach instcombine that ashr is useless if only the
sign bit is demanded.

llvm-svn: 39880

(X << 31) <s 0  --> (X&1) != 0

This happens dozens of times in the CFE.

llvm-svn: 39879

llvm-svn: 39868

virtual->physical mapping explicitly.

llvm-svn: 39867

This is the final step/commit for implementing exlicit implicit casts. Unlike the 
previous two checkins, which involved lot's of tedious refactoring, this checkin is nice and clean:-)

- Hacked UsualUnaryConversions, UsualArithmeticConversions, and DefaultFunctionArrayConversion
to create the AST node (using a helper function promoteExprToType).
- Added a setType method to Expr.
- Changed Expr::isIntegerConstantExpr to allow for the new node.

llvm-svn: 39866

llvm-svn: 39865

This doesn't significantly improve carbon.h, but it does speed up
INPUTS/macro_pounder_obj.c by 48%

llvm-svn: 39864

which makes it multithread clean.

llvm-svn: 39863

explicitly new'd array.  The array never mutates once created, so a vector
is overkill.

llvm-svn: 39862

This speeds up parsing carbon.h by 3.3% by avoiding some malloc traffic for 
small macros.

llvm-svn: 39861

llvm-svn: 39860

code more obvious.

llvm-svn: 39859

llvm-svn: 39858

llvm-svn: 39857

llvm-svn: 39856

This patch fills the last necessary bits to enable exceptions
handling in LLVM. Currently only on x86-32/linux.

In fact, this patch adds necessary intrinsics (and their lowering) which
represent really weird target-specific gcc builtins used inside unwinder.

After corresponding llvm-gcc patch will land (easy) exceptions should be
more or less workable. However, exceptions handling support should not be 
thought as 'finished': I expect many small and not so small glitches
everywhere.

llvm-svn: 39855

llvm-svn: 39853

llvm-svn: 39852

llvm-svn: 39851

compute type alignment.  This info is needed for struct layout.

llvm-svn: 39850

vars.  Approach suggested by Keith.

llvm-svn: 39849

llvm-svn: 39848

llvm-svn: 39847

llvm-svn: 39846

llvm-svn: 39845

llvm-svn: 39844

llvm-svn: 39843

llvm-svn: 39842

llvm-svn: 39841

More changes related to implementing ImplicitCastExpr.

- Fixed a recent regression discovered by Keith Bauer (thanks!). 
The fix involved adding (back) two arguments to UsualArithmeticConversions.
Without the reference arguments, no unary conversions were being passed back
to the caller. This had the effect of turning off the UsualUnaryConversions.
- Refactored CheckAssignmentConstraints into 3 functions. CheckAssignmentConstraints,
CheckSingleAssignmentConstraints, and CheckCompoundAssignmentConstraints. 
- Changed the argument type of DefaultFunctionArrayConversion from QualType->Expr*&.
- Removed a bunch of casts in routines I was working on (cleanup).
- Fixed the visitor for ImplicitCastExpr (oops).

llvm-svn: 39840

Handle GEPs with all-zero indices in the same way we handle pointer-pointer bitcasts. Also, fix a potentia infinite loop.

This brings FastDSE to parity with old DSE on 175.vpr.

llvm-svn: 39839

llvm-svn: 39838

llvm-svn: 39837

llvm-svn: 39836

where ASTContext can manage caches for struct layout, etc.

llvm-svn: 39835

llvm-svn: 39834

on test/Sema/implicit-int.c

llvm-svn: 39833

llvm-svn: 39832