llvm-svn: 19615

* Remove custom promotion for bool and byte select ops.  Legalize now
  promotes them for us.
* Allow folding ConstantPoolIndexes into EXTLOAD's, useful for float immediates.
* Declare which operations are not supported better.
* Add some hacky code for TRUNCSTORE to pretend that we have truncstore
  for i16 types.  This is useful for testing promotion code because I can
  just remove 16-bit registers all together and verify that programs work.

llvm-svn: 19614

llvm-svn: 19610

llvm-svn: 19604

llvm-svn: 19592

llvm-svn: 19587

llvm-svn: 19586

llvm-svn: 19584

llvm-svn: 19581

llvm-svn: 19567

llvm-svn: 19566

llvm-svn: 19561

llvm-svn: 19557

llvm-svn: 19555

llvm-svn: 19535

llvm-svn: 19532

llvm-svn: 19529

of cases where we accidentally emitted a load folded once and unfolded
elsewhere.

llvm-svn: 19522

Checking to see if the load has two uses is not equivalent, as the chain
value may have zero uses.

llvm-svn: 19518

        imul %EAX, %EAX, 400
        add %ECX, %EAX
        add %ESI, DWORD PTR [%ECX + 4*%EDX]
        inc %EDX
        cmp %EDX, 100

instead of this:

        imul %EAX, %EAX, 400
        add %ECX, %EAX
        mov %EAX, %EDX
        shl %EAX, 2
        add %ECX, %EAX
        add %ESI, DWORD PTR [%ECX]
        inc %EDX
        cmp %EDX, 100

llvm-svn: 19513

llvm-svn: 19511

This fails for shifts because the constant is always 8 bits.

llvm-svn: 19508

This fixes FreeBench/pcompress

llvm-svn: 19507

llvm-svn: 19504

to be dynamically initialized. :(

llvm-svn: 19503

Fix a bug that caused us to crash on povray.  We weren't emitting an FP_REG_KILL into a block that had a successor with a FP PHI node.

llvm-svn: 19502

        mov %AX, WORD PTR [0]

instead of like this:

        mov %AX, WORD PTR []

llvm-svn: 19501

        movw 0, %ax

instead of like this:

        movw , %ax

llvm-svn: 19500

llvm-svn: 19499

llvm-svn: 19496

contain FP PHI nodes but no other FP defining instructions.  This fixes
183.equake

llvm-svn: 19495

llvm-svn: 19494

256.bzip2 from 7142 to 7103 lines of .s file.

Second, add initial support for folding loads into compares, though this code
is dynamically dead for now. :(

llvm-svn: 19493

several times in 256.bzip2:

        mov %EAX, DWORD PTR [%ESP + 204]
-       mov %EAX, DWORD PTR [%EAX]
-       or %EAX, 2097152
-       mov %ECX, DWORD PTR [%ESP + 204]
-       mov DWORD PTR [%ECX], %EAX
+       or DWORD PTR [%EAX], 2097152

llvm-svn: 19492

  mov %AL, BYTE PTR [%EDX + l18_length_code]
  movzx %EAX, %AL

Emit:

  movzx %EAX, BYTE PTR [%EDX + l18_length_code]

llvm-svn: 19489

Select [mem] += Val operations.  For constants, we used to get:

  mov %ECX, -32768
  add %ECX, DWORD PTR [l4_match_start]
  mov DWORD PTR [l4_match_start], %ECX

Now we get:

  add DWORD PTR [l4_match_start], -32768

For other values we used to get:

  mov %EBP, %EDI   ;; because the add destroys the value
  add %EBP, DWORD PTR [l4_input_len]
  mov DWORD PTR [l4_input_len], %EBP

now we get:

  add DWORD PTR [l4_input_len], %EDI

Both of these use less registers than the alternative, are faster and smaller.

llvm-svn: 19488

llvm-svn: 19487

folded into an instruction.

llvm-svn: 19486

* Fold loads into Add, sub, and, or, xor and mul when possible.
* Codegen shl X, 1 as add X, X

llvm-svn: 19483

llvm-svn: 19482