llvm-svn: 122405

llvm-svn: 122404

RecordRelocation with lots of FIXMEs.

llvm-svn: 122402

llvm-svn: 122401

clear how to keep in the generic path (yet).
 - Will revisit when it actually works.

llvm-svn: 122400

if both A op B and A op C simplify.  This fires fairly often but doesn't
make that much difference.  On gcc-as-one-file it removes two "and"s and
turns one branch into a select.

llvm-svn: 122399

llvm-svn: 122398

instcombine is compared to instsimplify.

llvm-svn: 122397

loads properly.  We miscompiled the testcase into:

_test:                                  ## @test
	movl	$128, (%rdi)
	movzbl	1(%rdi), %eax
	ret

Now we get a proper:

_test:                                  ## @test
	movl	$128, (%rdi)
	movsbl	(%rdi), %eax
	movzbl	%ah, %eax
	ret

This fixes PR8757.

llvm-svn: 122392

unhanded cases faster and simplify code.

llvm-svn: 122391

llvm-svn: 122389

llvm-svn: 122385

llvm-svn: 122384

llvm-svn: 122381

llvm-svn: 122379

I still think that LVI should be handling this, but that capability is some ways off in the future,
and this matters for some significant benchmarks.

llvm-svn: 122378

types, but they're just getting converted to unsigned anyway, so cast first
(and ask questions later).

llvm-svn: 122377

llvm-svn: 122371

the same physical register. Simplifies the fix from the previous
checkin r122211.

llvm-svn: 122370

llvm-svn: 122368

the shift type was needed one place, the shift count
type another.  The transform in 123555 had the same
problem.

llvm-svn: 122366

(add Y, (sete  X, 0)) -> cmp X, 1; adc  0, Y
(add Y, (setne X, 0)) -> cmp X, 1; sbb -1, Y
(sub (sete  X, 0), Y) -> cmp X, 1; sbb  0, Y
(sub (setne X, 0), Y) -> cmp X, 1; adc -1, Y

for
  unsigned foo(unsigned a, unsigned b) {
    if (a == 0) b++;
    return b;
  }
we now get:
  foo:
    cmpl  $1, %edi
    movl  %esi, %eax
    adcl  $0, %eax
    ret
instead of:
  foo:
    testl %edi, %edi
    sete  %al
    movzbl  %al, %eax
    addl  %esi, %eax
    ret

llvm-svn: 122364

llvm-svn: 122362

llvm-svn: 122360

the folding it can.

llvm-svn: 122359

are not actually relaxed. For example, a section with only alignments will never
needs relaxation.

llvm-svn: 122356

llvm-svn: 122355

count operand.  These should be the same but apparently are
not always, and this is cleaner anyway.  This improves the
code in an existing test.

llvm-svn: 122354

llvm-svn: 122353

llvm-svn: 122349

llvm-svn: 122345

visit instructions before their uses, since InstructionSimplify does a
better job in that case.  All this prompted by Frits van Bommel.

llvm-svn: 122343

llvm-svn: 122342

not very important since the pass is only used for testing, but it does make
it more realistic.  Suggested by Frits van Bommel.

llvm-svn: 122336

type.

llvm-svn: 122334

not assume this (for example in case more transforms get added below
it).  Suggested by Frits van Bommel.

llvm-svn: 122332

llvm-svn: 122331

plenty left though!), in particular for multiplication.

llvm-svn: 122330

quite often, but don't make much difference in practice presumably because
instcombine also knows them and more.

llvm-svn: 122328

No functionality change.

llvm-svn: 122327