RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-21 03:53:04 +02:00
Code Issues Projects Releases Wiki Activity
11,431 Commits 4 Branches 5 Tags 704 MiB
4b9e14ef40
Commit Graph

11431 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Chris Lattner
4b9e14ef40 Another testcase 
llvm-svn: 12802
 2004-04-09 23:47:52 +00:00
Chris Lattner
5cbe216acd Testcase to make sure we can apply the shift to the operands of the select, 
eliminating the shifts

llvm-svn: 12801
 2004-04-09 23:47:24 +00:00
Chris Lattner
306540a2f4 Implement select.ll:test12* 
This transforms code like this:

   %C = or %A, %B
   %D = select %cond, %C, %A
into:
   %C = select %cond, %B, 0
   %D = or %A, %C

Since B is often a constant, the select can often be eliminated.  In any case,
this reduces the usage count of A, allowing subsequent optimizations to happen.

This xform applies when the operator is any of:
  add, sub, mul, or, xor, and, shl, shr

llvm-svn: 12800
 2004-04-09 23:46:01 +00:00
Chris Lattner
5b62a97808 Add testcases for harder combining cases. 
llvm-svn: 12799
 2004-04-09 23:43:48 +00:00
Chris Lattner
8ccddbd123 Fold code like: 
if (C)
    V1 |= V2;

into:
  Vx = V1 | V2;
  V1 = select C, V1, Vx

when the expression can be evaluated unconditionally and is *cheap* to
execute.  This limited form of if conversion is quite handy in lots of cases.
For example, it turns this testcase into straight-line code:

int in0 ; int in1 ; int in2 ; int in3 ;
int in4 ; int in5 ; int in6 ; int in7 ;
int in8 ; int in9 ; int in10; int in11;
int in12; int in13; int in14; int in15;
long output;

void mux(void) {
  output =
      (in0   ?  0x00000001 : 0) | (in1   ?  0x00000002 : 0) |
      (in2   ?  0x00000004 : 0) | (in3   ?  0x00000008 : 0) |
      (in4   ?  0x00000010 : 0) | (in5   ?  0x00000020 : 0) |
      (in6   ?  0x00000040 : 0) | (in7   ?  0x00000080 : 0) |
      (in8   ?  0x00000100 : 0) | (in9   ?  0x00000200 : 0) |
      (in10  ?  0x00000400 : 0) | (in11  ?  0x00000800 : 0) |
      (in12  ?  0x00001000 : 0) | (in13  ?  0x00002000 : 0) |
      (in14  ?  0x00004000 : 0) | (in15  ?  0x00008000 : 0) ;
}

llvm-svn: 12798
 2004-04-09 22:50:22 +00:00
Chris Lattner
ff16e6b701 Fix an obvious bug in the refactoring I did a few days ago 
llvm-svn: 12797
 2004-04-09 22:28:33 +00:00
Chris Lattner
d4c677d9c0 Expand on adding an intrinsic. Move section to before adding an instruction 
llvm-svn: 12796
 2004-04-09 19:24:20 +00:00
John Criswell
c9c191c41b Reversed the order of the llvm.writeport() operands so that the value 
is listed first and the address is listed second.

llvm-svn: 12795
 2004-04-09 19:09:14 +00:00
Chris Lattner
3a6e4b9a35 Fold binary operators with a constant operand into select instructions 
that have a constant operand.  This implements
add.ll:test19, shift.ll:test15*, and others that are not tested

llvm-svn: 12794
 2004-04-09 19:05:30 +00:00
Chris Lattner
0e1f5553df Implement select.ll:test11 
llvm-svn: 12793
 2004-04-09 18:19:44 +00:00
Chris Lattner
36e68c79a4 new testcase 
llvm-svn: 12792
 2004-04-09 18:19:29 +00:00
Alkis Evlogimenos
f66a23d573 Add definition list to each live interval. 
llvm-svn: 12791
 2004-04-09 18:07:57 +00:00
John Criswell
aa1f7cd50d Fixed some spelling. 
llvm-svn: 12790
 2004-04-09 16:48:45 +00:00
John Criswell
e05952bcef Modified the prototypes of the llvm.readport and llvm.writeport intrinsics 
so that they do not specify specific integer sizes (as those are
constrained by the code generator, not the intrinsic itself).

Also put these intrinsics into their own "Operating System" section.

llvm-svn: 12789
 2004-04-09 16:43:20 +00:00
John Criswell
4293a0444d Added the llvm.readport and llvm.writeport intrinsics. 
llvm-svn: 12788
 2004-04-09 15:23:37 +00:00
John Criswell
a52a2291d8 Changed assertions to error messages. 
llvm-svn: 12787
 2004-04-09 15:10:15 +00:00
John Criswell
8740c3767d Changes recommended by Chris: 
InstSelectSimple.cpp:
  Change the checks for proper I/O port address size into an exit() instead
  of an assertion.  Assertions aren't used in Release builds, and handling
  this error should be graceful (not that this counts as graceful, but it's
  more graceful).

  Modified the generation of the IN/OUT instructions to have 0 arguments.
X86InstrInfo.td:
  Added the OpSize attribute to the 16 bit IN and OUT instructions.

llvm-svn: 12786
 2004-04-08 22:39:13 +00:00
Chris Lattner
0ca3cbfa5e Implement InstCombine/cast-propagate.ll 
llvm-svn: 12784
 2004-04-08 20:39:49 +00:00
Chris Lattner
37981ce1ff New testcase 
llvm-svn: 12783
 2004-04-08 20:39:40 +00:00
John Criswell
f6b16ea70b Added the llvm.readport and llvm.writeport intrinsics for x86. These do 
I/O port instructions on x86.  The specific code sequence is tailored to
the parameters and return value of the intrinsic call.
Added the ability for implicit defintions to be printed in the Instruction
Printer.
Added the ability for RawFrm instruction to print implict uses and
defintions with correct comma output.  This required adjustment to some
methods so that a leading comma would or would not be printed.

llvm-svn: 12782
 2004-04-08 20:31:47 +00:00
John Criswell
07c581695d Added the llvm.readport and llvm.writeport intrinsics. 
The Verifier ensures that their parameters are of integral types and have
the correct sign, but it does not enforce any size restrictions because
such restrictions are platform dependent.

llvm-svn: 12781
 2004-04-08 20:27:38 +00:00
John Criswell
d4fe3ec1d1 Added the llvm.readport and llvm.writeport intrinsics. 
llvm-svn: 12780
 2004-04-08 20:26:21 +00:00
Chris Lattner
d8efae05fe Implement ScalarRepl/select_promote.ll 
llvm-svn: 12779
 2004-04-08 19:59:34 +00:00
Chris Lattner
cb430572a9 New testcase, corresponding to phi_promote.ll 
llvm-svn: 12778
 2004-04-08 19:59:22 +00:00
Brian Gaeke
95213bd702 This file does not appear to be included anywhere. 
llvm-svn: 12777
 2004-04-08 19:36:26 +00:00
Chris Lattner
caefe03e39 Disable strict alias analysis in the backend c compiler, as the code we 
generate is not TBAA safe.

llvm-svn: 12774
 2004-04-08 15:18:59 +00:00
Chris Lattner
825c162788 Revert previous patch, I'm a moron :) 
llvm-svn: 12773
 2004-04-08 15:18:03 +00:00
Chris Lattner
5608c6da7e Right, we break strict aliasing requirements. Make sure to disable strict 
aliasing in the C compiler.

llvm-svn: 12772
 2004-04-08 15:14:43 +00:00
Chris Lattner
77beb73ce2 Remove the "really gross hacks" that are there to deal with recursive functions. 
Now we collect all of the call sites we are interested in inlining, then inline
them.  This entirely avoids issues with trying to inline a call site we got by
inlining another call site.  This also eliminates iterator invalidation issues.

llvm-svn: 12770
 2004-04-08 06:34:31 +00:00
Chris Lattner
cf8117ccbd Implement InstCombine/select.ll:test[7-10] 
llvm-svn: 12769
 2004-04-08 04:43:23 +00:00
Chris Lattner
9aa4d5e45f Add some more cases we should combine 
llvm-svn: 12768
 2004-04-08 04:43:04 +00:00
Brian Gaeke
14dadd43e1 This file is no longer used. 
llvm-svn: 12767
 2004-04-07 21:01:22 +00:00
Brian Gaeke
bd29266df4 Don't include InstrSelectionSupport.h. 
llvm-svn: 12766
 2004-04-07 20:55:32 +00:00
Brian Gaeke
c48a77d1ba Move ChooseRegOrImmed() prototype here, from InstrSelectionSupport.h. 
llvm-svn: 12765
 2004-04-07 20:38:57 +00:00
Brian Gaeke
54245d895a Don't include InstrSelectionSupport.h. 
llvm-svn: 12764
 2004-04-07 20:38:56 +00:00
Chris Lattner
2e89e48999 Implement test/Regression/Transforms/InstCombine/getelementptr_index.ll 
llvm-svn: 12762
 2004-04-07 18:38:20 +00:00
Chris Lattner
8344a953a5 New testcase 
llvm-svn: 12761
 2004-04-07 18:38:01 +00:00
Brian Gaeke
1193590133 Fix insertion of SelectInsts. 
llvm-svn: 12760
 2004-04-07 18:31:47 +00:00
Brian Gaeke
6badc5d83b Don't print [%reg + 0], just print [%reg] 
llvm-svn: 12759
 2004-04-07 17:33:56 +00:00
Brian Gaeke
cb5141b4de First version of code to handle loads. Stub function for handling stores. 
llvm-svn: 12758
 2004-04-07 17:29:37 +00:00
Brian Gaeke
3e29bc5a19 Support loading arguments from %I0...%I5 into virtual registers in 
function prologues, and fix an off-by-one in visitCallInst that was
putting call args into the wrong registers.

llvm-svn: 12757
 2004-04-07 17:04:09 +00:00
Brian Gaeke
3eb6c1d3ae It's setting up the call args right now, but on the callee side, it's 
trying to get incoming args off the stack, instead of the %i0...%i6 regs,
which is wrong.

llvm-svn: 12756
 2004-04-07 16:41:22 +00:00
Chris Lattner
e24e7b8354 New testcase that crashed scalarevolution on sparc 
llvm-svn: 12755
 2004-04-07 16:17:45 +00:00
Chris Lattner
cb6744360c Fix a bug Brian found. 
llvm-svn: 12754
 2004-04-07 16:16:11 +00:00
Brian Gaeke
a0a6d38d7e We have a global reg. allocator now -- thanks to Alkis. 
Fix a typo.
Add a project I've always thought would be cool.

llvm-svn: 12747
 2004-04-07 15:31:23 +00:00
Chris Lattner
0eaacac41e New file that can be useful for hand inspection of assembly required for certain 
kinds of instructions.

llvm-svn: 12746
 2004-04-07 05:06:39 +00:00
Chris Lattner
37a392dc52 This is a start on handling setcc instructions. As the comment notes, we 
have no good way of handling this until the code generator is improved.
We should probably just emit V9 instructions in the meantime.

llvm-svn: 12745
 2004-04-07 05:04:51 +00:00
Chris Lattner
bb67452b4b andd subcc instructions which is used to create the 'cmp' pseudo instruction 
llvm-svn: 12744
 2004-04-07 05:04:01 +00:00
Chris Lattner
2f63fbf9d5 Avoid emitting an extra copy on each 32-bit operation 
llvm-svn: 12743
 2004-04-07 04:36:53 +00:00
Brian Gaeke
d98edc771e Make generation of stack-slot loads and copies less ugly. 
llvm-svn: 12742
 2004-04-07 04:29:14 +00:00