llvm-svn: 75410

InstCombiner::visitSelectInstWithICmp.

llvm-svn: 75409

the div lowering code explicitly references it.

llvm-svn: 75408

llvm-svn: 75407

llvm-svn: 75406

llvm-svn: 75405

of lea.  It is better for code size (and presumably efficiency) to use:

  movl $foo, %eax

rather than:

  leal foo, eax

Both give a nice zero extending "move immediate" instruction, the former is just
smaller.  Note that global addresses should be handled different by the x86
backend, but I chose to follow the style already in place and add more fixme's.

llvm-svn: 75403

llvm-svn: 75402

llvm-svn: 75398

anymore, so these aren't needed.

llvm-svn: 75397

llvm-svn: 75394

llvm-svn: 75393

doesn't have static x86-64 mode.

llvm-svn: 75392

llvm-svn: 75391

llvm-svn: 75389

llvm-svn: 75386

llvm-svn: 75384

Basically, using:
  lea symbol(%rip), %rax

is not valid in -static mode, because the current RIP may not be
within 32-bits of "symbol" when an app is built partially pic and
partially static.  The fix for this is to compile it to:

  lea symbol, %rax

It would be better to codegen this as:

  movq $symbol, %rax

but that will come next.


The hard part of fixing this bug was fixing abi-isel, which was actively
testing for the wrong behavior.  Also, the RUN lines are completely impossible
to understand what they are testing.  To help with this, convert the -static 
x86-64 codegen tests to use filecheck.  This is much more stable and makes it
more clear what the codegen is expected to be.

llvm-svn: 75382

llvm-svn: 75380

Make llvm_unreachable take an optional string, thus moving the cerr<< out of
line.
LLVM_UNREACHABLE is now a simple wrapper that makes the message go away for
NDEBUG builds.

llvm-svn: 75379

llvm-svn: 75378

llvm-svn: 75376

llvm-svn: 75375

llvm-svn: 75374

A full set is a constant range that represents any number. If you take the
umax of that and [5, 10) you end up with [5, INT_MAX] because the values less
than 5 would be umax's against a value which is at least 5.

llvm-svn: 75372

llvm-svn: 75371

away.  This way you can write a space and it matches arbitrary spaces and tabs.

llvm-svn: 75370

changes.

llvm-svn: 75369

llvm-svn: 75367

llvm-svn: 75366

llvm-svn: 75364

and abort()/exit() -> llvm_report_error().

llvm-svn: 75363

In addition to fixing this, I still need to do some more testing on darwin.

llvm-svn: 75362

llvm-svn: 75361

llvm-svn: 75360

Major changes to Thumb (not Thumb2). Many 16-bit instructions either modifies CPSR  when they are outside the IT blocks, or they can predicated when in Thumb2. Move the implicit def of CPSR to an optional def which defaults CPSR. This allows the 's' bit to be toggled dynamically.

A side-effect of this change is asm printer is now using unified assembly. There are some minor clean ups and fixes as well.

llvm-svn: 75359

llvm-svn: 75358

per icmp predicate out of predsimplify and into ConstantRange.

Add another utility method that determines whether one range is a subset of
another. Combine with the former to determine whether icmp pred range, range
is known to be true or not.

llvm-svn: 75357

Fix up support for OptionalDefOperand when it defaults to an actual register def. I need this to get ready for major Thumb1 surgery.

llvm-svn: 75328

llvm-svn: 75320