when the invoke had multiple return values: it set the lattice value only on the
extractvalue.
This caused the invoke's lattice value to remain the default (undefined), and
later propagated to extractvalue's operand, which incorrectly introduces
undefined behavior.

llvm-svn: 84637

ConstantFoldLoadThroughGEPConstantExpr.

llvm-svn: 83311

the new predicates I added) instead of going through a context and doing a
pointer comparison.  Besides being cheaper, this allows a smart compiler
to turn the if sequence into a switch.

llvm-svn: 83297

malloc isn't needed.

llvm-svn: 82932

llvm-svn: 82700

rather structs passed by value.
This fixes PR5038.

llvm-svn: 82689

Reviewed by Dan Gohman.

llvm-svn: 82300

llvm-svn: 80766

in a few scalar xforms to simplify things.

llvm-svn: 80506

This required converting a bunch of stuff off DOUT and other cleanups.

llvm-svn: 79819

that Value's operator<< doesn't include one.

llvm-svn: 79240

llvm-svn: 78948

metadata related, which I'm waiting on to avoid conflicting with Devang.

llvm-svn: 77721

llvm-svn: 77685

llvm-svn: 77635

llvm-svn: 77494

llvm-svn: 77145

 - Some clients which used DOUT have moved to DEBUG. We are deprecating the
   "magic" DOUT behavior which avoided calling printing functions when the
   statement was disabled. In addition to being unnecessary magic, it had the
   downside of leaving code in -Asserts builds, and of hiding potentially
   unnecessary computations.

llvm-svn: 77019

llvm-svn: 76702

llvm-svn: 76598

our current context-passing stuff, which is also fixed here

llvm-svn: 76089

This adds location info for all llvm_unreachable calls (which is a macro now) in
!NDEBUG builds.
In NDEBUG builds location info and the message is off (it only prints
"UREACHABLE executed").

llvm-svn: 75640

llvm-svn: 75497

Make llvm_unreachable take an optional string, thus moving the cerr<< out of
line.
LLVM_UNREACHABLE is now a simple wrapper that makes the message go away for
NDEBUG builds.

llvm-svn: 75379

and abort()/exit() -> llvm_report_error().

llvm-svn: 75363

llvm-svn: 74878

Finish LLVMContext-ing lib/Analysis.  This required pushing LLVMContext's through the ValueTracking API.

llvm-svn: 74873

llvm-svn: 74844

llvm-svn: 74781

Fixes PR4314.

llvm-svn: 73007

empty SmallVector.

llvm-svn: 72512

llvm-svn: 67454

linkage: the value may be replaced with something
different at link time.  (Frontends that want to
allow values to be loaded out of weak constants can
give their constants weak_odr linkage).

llvm-svn: 67407

llvm-svn: 62279

llvm-svn: 62244

llvm-svn: 59778

llvm-svn: 58593

llvm-svn: 55779

llvm-svn: 55271

patch contributed by m-s!

llvm-svn: 55270