Constraints. These concepts are already present in the current ValueState, but
the implementation is monolothic. Making ValueState more modular opens up new
design choices for customizing the analysis engine.

In the context of the analysis engine, the "Environment" is the binding between
Expr* (expressions) and intermediate symbolic values (RValues).

llvm-svn: 53252

llvm-svn: 45418

llvm-svn: 28378

llvm-svn: 28368

llvm-svn: 25674

die, die!! r15, you are not callee-saved

llvm-svn: 25527

fix register corruption! (my god.) r15 is a scratch reg, using that as
a frame pointer is a pretty doofus thing to do. use r5 instead, and
mark it callee-saved, coz that's what it is!

llvm-svn: 25526

llvm-svn: 24939

as callee save.  They can never be generated by the compiler.

llvm-svn: 23551

care of this ourselves

llvm-svn: 21110

PHASE 1: write instruction selector
PHASE 2: ???
PHASE 3: profit!

llvm-svn: 20652