llvm-svn: 92772

llvm-svn: 92771

llvm-svn: 92770

A phi operand that is implicitly defined in a predecessor becomes an undefined
register after phi elimination. This causes a lot of false positives when the
verifier is checking if live-in registers are live-out from all predecessors.

Removing the verifier checks seems like a better solution than insisting on
IMPLICIT_DEF instructions in predecessor blocks.

llvm-svn: 92769

llvm-svn: 92768

llvm-svn: 92766

llvm-svn: 92761

llvm-svn: 92760

llvm-svn: 92759

llvm-svn: 92745

llvm-svn: 92739

llvm-svn: 92736

llvm-svn: 92735

non-zero trip count. Use SmallVector's pop_back_val().

llvm-svn: 92734

llvm-svn: 92733

RecursivelyDeleteDeadPHINode, and DeleteDeadPHIs return a flag
indicating whether they made any changes.

llvm-svn: 92732

llvm-svn: 92727

Avoid going through the LLVMContext for type equality where it's safe to dereference the type pointer.

llvm-svn: 92726

llvm-svn: 92712

it does make sense to keep them together, at least for now.

llvm-svn: 92711

llvm-svn: 92710

llvm-svn: 92709

llvm-svn: 92708

llvm-svn: 92707

leading/trailing bits.  Patch by Alastair Lynn!

llvm-svn: 92706

llvm-svn: 92705

dyn_castNotVal in the X+~X transform.  dyn_castNotVal is
dramatic overkill for what the xform needed.

llvm-svn: 92704

and simplify.

llvm-svn: 92700

llvm-svn: 92697

llvm-svn: 92695

llvm-svn: 92694

Eliminate the 'AddMaskingAnd' transformation, it is redundant with this
more general code right below it:
  // A+B --> A|B iff A and B have no bits set in common.

llvm-svn: 92693

that got instantiated.  There is no reason for instcombine
to try this hard for simple associative optimizations.  Next
up, eliminate the template completely.

llvm-svn: 92692

llvm-svn: 92689

llvm-svn: 92688

llvm-svn: 92687

llvm-svn: 92685

llvm-svn: 92684

llvm-svn: 92683

llvm-svn: 92682