llvm-svn: 47361

Parse reversed smax and umax as smin and umin and express them with negative
or binary-not SCEVs (which are really just subtract under the hood).

Parse 'xor %x, -1' as (-1 - %x).

Remove dead code (ConstantInt::get always returns a ConstantInt).

Don't use getIntegerSCEV(-1, Ty). The first value is an int, then it gets
passed into a uint64_t. Instead, create the -1 directly from
ConstantInt::getAllOnesValue().

llvm-svn: 47360

AddNodeIDNode does profiling for a ConstantSDNode, but so does 
SelectionDAG::getConstant.  This profiling should be moved to a common
static function in ConstantSDNode.

llvm-svn: 47359

 - Constified some MachineOperand values.
 - Added/Modified some comments.

llvm-svn: 47358

llvm-svn: 47354

treat more or less rationally in interface
functions, subject to change.  No functional change.

llvm-svn: 47352

llvm-svn: 47351

llvm-svn: 47350

 %b = getresult {i32, i32} %a, i32 1

llvm-svn: 47349

llvm-svn: 47348

llvm-svn: 47344

llvm-svn: 47343

for adding alignment info, not there yet).  Clean up
interfaces to reference ParameterAttributes consistently.

llvm-svn: 47342

profile of the APSInt object. This caused unexpected Profile collisions where
none should have occurred.

llvm-svn: 47338

llvm-svn: 47337

llvm-svn: 47334

This compiles test-nofold.ll into:

_test:
	movl	$15, %ecx
	andl	4(%esp), %ecx
	testl	%ecx, %ecx
	movl	$42, %eax
	cmove	%ecx, %eax
	ret

instead of:
_test:
	movl	4(%esp), %eax
	movl	%eax, %ecx
	andl	$15, %ecx
	testl	$15, %eax
	movl	$42, %eax
	cmove	%ecx, %eax
	ret

llvm-svn: 47330

llvm-svn: 47328

llvm-svn: 47323

could work don't work fully.  This fixes PR1705.  Oh yeah, we don't have
packed types anymore either ;-)

llvm-svn: 47322

Refactor this method a bit, and correct a test that was completely wrong but happened to work out anyways. :-)

llvm-svn: 47321

llvm-svn: 47320

llvm-svn: 47319

llvm-svn: 47318

In addition to arguments passed to it, memcpy (and all other calls) can ModRef pointers that alias their arguments as well.  This fixes PR2057.

llvm-svn: 47317

and add some others that should have been in from the first place.  Document the whole thing better.

llvm-svn: 47315

llvm-svn: 47314

can be a SNaN.  We could be more aggressive and turn this into 
unreachable, but that is less nice, and not really worth it.

llvm-svn: 47313

llvm-svn: 47312

llvm-svn: 47311

At some point in the future, this check will become smarter.

llvm-svn: 47310

over all the parameters of the callee looking for it.

llvm-svn: 47309

to apply to a memcpy into processInstruction.  Also, fix a bug in the check due to
missing braces.

llvm-svn: 47307

Fix Transforms/GVN/memcpy.ll, which Chris broke in r47275 by reordering the branches.  memcpy's are a kind of CallInst.

llvm-svn: 47305

PR1909: Tail merging pass ran wild. It makes no sense to merge blocks in order to save a single instruction since a branch will be inserted for each BB.

llvm-svn: 47301

llvm-svn: 47300

- When DAG combiner is folding a bit convert into a BUILD_VECTOR, it should check if it's essentially a SCALAR_TO_VECTOR. Avoid turning (v8i16) <10, u, u, u> to <10, 0, u, u, u, u, u, u>. Instead, simply convert it to a SCALAR_TO_VECTOR of the proper type.
- X86 now normalize SCALAR_TO_VECTOR to (BIT_CONVERT (v4i32 SCALAR_TO_VECTOR)). Get rid of X86ISD::S2VEC.

llvm-svn: 47290

llvm-svn: 47287

on x86-32 since i64 itself is not a Legal type. And, update some
comments.

llvm-svn: 47282

- For now, conservatively ignore copy MI whose source is a physical register. Commuting its def MI can cause a physical register live interval to be live through a loop (since we know it's live coming into the def MI).

llvm-svn: 47281