isSafeToSpeculativelyExecute. The new method is a bit closer to what 
the callers actually care about in that it rejects more things callers 
don't want.  It also adds more precise handling for integer 
division, and unifies code for analyzing the legality of a speculative 
load.

llvm-svn: 76150

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

llvm-svn: 76089

llvm-svn: 75863

using it.

llvm-svn: 75852

operands; it's possible to end up with a constant-foldable operand to 
most instructions, even those which can't trap.

llvm-svn: 75845

llvm-svn: 75723

and use this to simplify more code.

llvm-svn: 75722

llvm-svn: 75703

llvm-svn: 75642

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

This results in the pass manager running IVUsers only once for
indvars, instead of twice.

llvm-svn: 75633

llvm-svn: 75586

function.

llvm-svn: 75584

block has a single unique exiting block.

llvm-svn: 75579

xor R, R is a common and valid idiom for zeroing a register, for example.

llvm-svn: 75571

llvm-svn: 75539

(I think it's reasonably clear that we want to have a canonical form for 
constructs like this; if anyone thinks that a select is not the best 
canonical form, please tell me.)

llvm-svn: 75531

llvm-svn: 75528

using the Curiously Recurring Template Pattern with LoopBase.

This will help further refactoring, and future functionality for
Loop. Also, Headers can now foward-declare Loop, instead of pulling
in LoopInfo.h or doing tricks.

llvm-svn: 75519

the changes are allowed by not calling this function for bitcasts.  
The Instruction::AShr case is dead because 
SimplifyDemandedInstructionBits handles that case.

llvm-svn: 75514

llvm-svn: 75499

llvm-svn: 75497

bitcasts will always be eliminated anyway.

llvm-svn: 75495

Begin the painful process of tearing apart the rat'ss nest that is Constants.cpp and ConstantFold.cpp.
This involves temporarily hard wiring some parts to use the global context.  This isn't ideal, but it's
the only way I could figure out to make this process vaguely incremental.

llvm-svn: 75445

InstCombiner::visitSelectInstWithICmp.

llvm-svn: 75409

llvm-svn: 75393

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

per icmp predicate out of predsimplify and into ConstantRange.

Add another utility method that determines whether one range is a subset of
another. Combine with the former to determine whether icmp pred range, range
is known to be true or not.

llvm-svn: 75357

llvm-svn: 75255

This started as a small change, I swear.  Unfortunately, lots of things call the [I|F]CmpInst constructors.  Who knew!?

llvm-svn: 75200

llvm-svn: 75159

we're inserting sigma/phi functions for. Patch by Andre Tavares.

llvm-svn: 75138

Add an -ssi-everything pass which calls createSSI on everything in the function.

llvm-svn: 75135

llvm-svn: 75040

This way ScalarEvolution can examine the loop to determine what state
it needs to update, if it chooses.

llvm-svn: 75029

llvm-svn: 75025

these instructions, no autoupgrade or backwards compatibility support is
provided.

llvm-svn: 74991

llvm-svn: 74985

llvm-svn: 74918