llvm-svn: 46786

llvm-svn: 46785

llvm-svn: 46784

llvm-svn: 46783

Add a FIXME to clarify previous commit/experiment.

llvm-svn: 46782

llvm-svn: 46781

llvm-svn: 46780

llvm-svn: 46779

nonlval::SymIntConstraintVal.

Reworked transfer function for '==' and '!=' for LValues to return
SymIntConstraintVal when comparing a symbol with a constant.

llvm-svn: 46778

llvm-svn: 46777

llvm-svn: 46776

Move to getCALLSEQ_END to ensure CALLSEQ_END node produces a flag. This is consistent with the definition in td file.

llvm-svn: 46775

llvm-svn: 46774

llvm-svn: 46772

contraint between a symbol and an integer constant.

llvm-svn: 46771

This noticeably cleans up the naming of these classes.

llvm-svn: 46770

transfer function evaluation that represent constraints between symbolic values
and constant integers.

llvm-svn: 46769

Fix Parser::ParseObjCTryStmt() to allow for trailing @-keyword statements/expressions.

This bug fix is the result of not having 2-token lookahead to recognize specific @-keywords.

llvm-svn: 46768

check more intelligent.  This speeds up mem2reg from 5.29s to 
0.79s on a synthetic testcase with tons of predecessors and
phi nodes.

llvm-svn: 46767

llvm-svn: 46766

llvm-svn: 46764

If a vr is already marked alive in a bb, then it has PHI uses that are visited earlier, then it is not killed in the def block (i.e. not dead).

llvm-svn: 46763

llvm-svn: 46762

llvm-svn: 46761

dependencies in makefile, and fix llvm_cv_no_link_all_option
on darwin.

Patch by Shantonu Sen, more info here:
http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-February/012410.html

llvm-svn: 46760

for buffers for RValues and States.

llvm-svn: 46759

Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager).

llvm-svn: 46758

llvm-svn: 46757

llvm-svn: 46756

llvm-svn: 46755

llvm-svn: 46754

unique ImutAVLTree* for profiling.

Modified ImutAVLTree:
 (1) changed ComputeHash() to ComputeDigest() and
 (2) changed Profile() to use the computed digest and
 (3) modified insertion of IMutAVLTree into the FoldingSet owned by
     the ImutAVLTreeFactory object to use profiling instead of computing
     a direct hash.  This fixes a bug where our abuse of the FoldingSet would
     not work when the FoldingSet was resized.

llvm-svn: 46753

llvm-svn: 46752

llvm-svn: 46751

llvm-svn: 46750

llvm-svn: 46746

simplify the code and generally make it more robust.

llvm-svn: 46745

structure that can contain several maps, not just one.

llvm-svn: 46744

Type*'s can change as types are refined, so we can't use them as a stable key in
the map.  Decls don't change, so use them instead.

This patch was written by Anders, but he's too shy to commit it himself :)

llvm-svn: 46743

llvm-svn: 46742