llvm-svn: 124635

complain about duplicated definitions.

llvm-svn: 124634

llvm-svn: 124611

While printing "interesting" breakpoint locations for debug info quality test harness, focus only on entry block's terminator for now.

llvm-svn: 124610

Enumerate .code16/32/64 instead of checking .code prefix. This
unbreaks some ARM tests.

llvm-svn: 124608

llvm-svn: 124605

llvm-svn: 124604

all lead to a silent miscompilation of code.

llvm-svn: 124603

Fix vector sign extend to put the source and destination types in the
correct places.

llvm-svn: 124601

llvm-svn: 124599

for dlopen/dlerror.

Patch by arrowdodger!

llvm-svn: 124590

llvm-svn: 124587

llvm-svn: 124583

llvm-svn: 124570

llvm-svn: 124569

(A+B) == A  ->  B == 0
A == (A+B)  ->  B == 0

llvm-svn: 124567

This is similar to the -unroll-threshold option. There should be no change in
behavior when -tail-dup-size is not explicit on the llc command line.

llvm-svn: 124564

by PR9088 fixes things.

llvm-svn: 124561

to do this and more, but would only do it if X/Y had only one use.  Spotted as the
most common missed simplification in SPEC by my auto-simplifier, now that it knows
about nuw/nsw/exact flags.  This removes a bunch of multiplications from 447.dealII
and 483.xalancbmk.  It also removes a lot from tramp3d-v4, which results in much
more inlining.

llvm-svn: 124560

Teach DAGCombine to fold fold (sra (trunc (sr x, c1)), c2) -> (trunc (sra x, c1+c2) when c1 equals the amount of bits that are truncated off.

This happens all the time when a smul is promoted to a larger type.

On x86-64 we now compile "int test(int x) { return x/10; }" into
  movslq  %edi, %rax
  imulq $1717986919, %rax, %rax
  movq  %rax, %rcx
  shrq  $63, %rcx
  sarq  $34, %rax <- used to be "shrq $32, %rax; sarl $2, %eax"
  addl  %ecx, %eax

This fires 96 times in gcc.c on x86-64.

llvm-svn: 124559

llvm-svn: 124557

llvm-svn: 124556

llvm-svn: 124552

This is the one where one of the branches of the select is another select on
the same condition.

llvm-svn: 124547

The DEBUG() call at line 606 demands to see raw_ostream's definition. I have no idea why this seems to only break MSVC.

llvm-svn: 124545

llvm-svn: 124544

llvm-svn: 124535

llvm-svn: 124534

llvm-svn: 124533

This happens e.g. for code like "X - X%10" where we lower the modulo operation
to a series of multiplies and shifts that are then subtracted from X, leading to
this missed optimization.

llvm-svn: 124532

llvm-svn: 124527

llvm-svn: 124526

llvm-svn: 124522

Re-commit r124462 with fixes. Tail recursion elim will now dup ret into unconditional predecessor to enable TCE on demand.

llvm-svn: 124518

Modified patch by Adam Preuss.

This builds on the existing framework for block tracing, edge profiling and optimal edge profiling.
See -help-hidden for new flags.
For documentation, see the technical report "Implementation of Path Profiling..." in llvm.org/pubs.

llvm-svn: 124515

  so that the code reads properly.

llvm-svn: 124514

llvm-svn: 124498

llvm-svn: 124497

zero effect on the testsuite (it improves two Ada testcases).

llvm-svn: 124496

Patch by Jyun-Yan You.

llvm-svn: 124492