llvm-svn: 37608

llvm-svn: 37607

llvm-svn: 37606

Added CanBeDuplicated(). It returns true if an instruction can be safely duplicated (e.g. during ifcvt).

llvm-svn: 37605

llvm-svn: 37604

llvm-svn: 37603

llvm-svn: 37602

for tied register constraints.

llvm-svn: 37601

llvm-svn: 37600

llvm-svn: 37599

llvm-svn: 37598

llvm-svn: 37597

integer constant SCEV.

llvm-svn: 37596

llvm-svn: 37595

llvm-svn: 37594

llvm-svn: 37593

llvm-svn: 37592

This created an ambiguity for expandInTy to decide when to use
sign-extension or zero-extension, but it turns out that most of its callers
don't actually need a type conversion, now that LLVM types don't have
explicit signedness. Drop expandInTy in favor of plain expand, and change
the few places that actually need a type conversion to do it themselves.

llvm-svn: 37591

llvm-svn: 37590

integer ops.  This implements Transforms/InstCombine/and-or-not.ll
test3/test4, and finishes off PR1510

llvm-svn: 37589

llvm-svn: 37588

llvm-svn: 37587

AND vectors.

llvm-svn: 37586

llvm-svn: 37585

1. ~(~X | Y) === (X & ~Y)
2. (A|B) & ~(A&B) -> A^B

This allows us to transform  ~(~(a|b) | (a&b)) -> a^b.

This implements PR1510 for scalar values.

llvm-svn: 37584

llvm-svn: 37583

operations from Duraids example.

llvm-svn: 37582

llvm-svn: 37581

If BB is predicated, invalidate its predecessor(s) which would if-convert it. It needs to be re-analyzed.

llvm-svn: 37580

llvm-svn: 37579

llvm-svn: 37578

llvm-svn: 37577

implementation for x86.

llvm-svn: 37576

llvm-svn: 37575

llvm-svn: 37574

llvm-svn: 37573

llvm-svn: 37572

llvm-svn: 37571

turned on.  Likewise for scanning of invokes to mark landing pads.

llvm-svn: 37570

VCONCAT_VECTORS. Use these for CopyToReg and CopyFromReg legalizing in
the case that the full register is to be split into subvectors instead
of scalars. This replaces uses of VBIT_CONVERT to present values as
vector-of-vector types in order to make whole subvectors accessible via
BUILD_VECTOR and EXTRACT_VECTOR_ELT.

This is in preparation for adding extended ValueType values, where
having vector-of-vector types is undesirable.

llvm-svn: 37569