maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
26,918 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

26877 Commits

Author SHA1 Message Date
Andrew Lenharth fa8cbfd8e8 Reduce the amount of state in the lowering code and drop old pattern ISel functions 
llvm-svn: 30881
 2006-10-11 16:24:51 +00:00
Jim Laskey 08edf332ed Fix regression in combiner alias analysis. 
llvm-svn: 30880
 2006-10-11 13:47:09 +00:00
Jim Laskey b41de440b5 Make sure combiner alias analysis does it's thing. 
llvm-svn: 30879
 2006-10-11 13:42:49 +00:00
Evan Cheng d35734bd1f Naming consistency. 
llvm-svn: 30878
 2006-10-11 07:10:22 +00:00
Evan Cheng ac72dc81f4 Test case for the recently fixed FindModifiedNodeSlot bug. 
llvm-svn: 30877
 2006-10-11 07:01:37 +00:00
Bill Wendling 34ab06769d Put code example inside of "doc_code" divisions. 
llvm-svn: 30876
 2006-10-11 06:30:10 +00:00
Chris Lattner 6487854b3f Use cute tblgen tricks to make zap handling more powerful. Specifically, 
when the dag combiner simplifies an and mask, notice this and allow those bits
to be missing from the zap mask.

This compiles Alpha/zapnot4.ll into:

        sll $16,3,$0
        zapnot $0,3,$0
        ret $31,($26),1

instead of:

        ldah $0,1($31)
        lda $0,-8($0)
        sll $16,3,$1
        and $1,$0,$0
        ret $31,($26),1

It would be *really* nice to replace the hunk of code in the
AlphaISelDAGToDAG.cpp file that matches (and (srl (x, C), c2) into
(SRL (ZAPNOTi)) with a similar pattern, but I've spent enough time poking
at alpha.  Make andrew will do this.

llvm-svn: 30875
 2006-10-11 05:13:56 +00:00
Chris Lattner a821fe2da1 new testcase, this should turn into zap 
llvm-svn: 30874
 2006-10-11 05:10:19 +00:00
Andrew Lenharth a6bbf33cbf Jimptables working again on alpha. 
As a bonus, use the GOT node instead of the AlphaISD::GOT for internal stuff.

llvm-svn: 30873
 2006-10-11 04:29:42 +00:00
Chris Lattner 9f86f7c2ab Remove dead/redundant instructions. These are handled by ZAPNOTi 
llvm-svn: 30872
 2006-10-11 04:12:39 +00:00
Chris Lattner f405928e86 Special case tblgen generated code for patterns like (and X, 255) or (or X, 42). 
The dag/inst combiners often 'simplify' the masked value based on whether
or not the bits are live or known zero/one.  This is good and dandy, but
often causes special case patterns to fail, such as alpha's CMPBGE pattern,
which looks like "(set GPRC:$RC, (setuge (and GPRC:$RA, 255), (and GPRC:$RB, 255)))".
Here the pattern for (and X, 255) should match actual dags like (and X, 254) if
the dag combiner proved that the missing bits are already zero (one for 'or').

For CodeGen/Alpha/cmpbge.ll:test2 for example, this results in:

        sll $16,1,$0
        cmpbge $0,$17,$0
        ret $31,($26),1

instead of:

        sll $16,1,$0
        and $0,254,$0
        and $17,255,$1
        cmpule $1,$0,$0
        ret $31,($26),1

... and requires no target-specific code.

llvm-svn: 30871
 2006-10-11 04:05:55 +00:00
Chris Lattner ee0435680b Both of these functions should turn into cmpbge instructions, even though 
the second has an and of 254 not 255.

llvm-svn: 30870
 2006-10-11 03:59:48 +00:00
Chris Lattner 6df349676e add two helper methods. 
llvm-svn: 30869
 2006-10-11 03:58:02 +00:00
Chris Lattner 66fbbca1e7 Split some code out into a new method. The generated code is exactly 
identical, this is just a refactoring.

llvm-svn: 30868
 2006-10-11 03:35:34 +00:00
Andrew Lenharth 4a57e2a6ed This entry is done. switched to the gcc way of doing things. 
llvm-svn: 30867
 2006-10-11 01:48:03 +00:00
Evan Cheng 2da4671e05 FindModifiedNodeSlot needs to add LoadSDNode ivars to create proper SelectionDAGCSEMap ID. 
llvm-svn: 30866
 2006-10-11 01:47:58 +00:00
Chris Lattner 291a868823 new testcase for zap generation, from the alpha readme 
llvm-svn: 30865
 2006-10-11 01:47:08 +00:00
Chris Lattner 3d74556d74 This has apparently been fixed 
llvm-svn: 30864
 2006-10-11 01:44:46 +00:00
Chris Lattner 8adfe927bb Make the bugpoint reduction heuristics more effective. Patch submitted by 
Domagoj Babic, thanks!

llvm-svn: 30863
 2006-10-10 21:42:25 +00:00
Rafael Espindola 8429e1f6c3 uint <-> double conversion 
llvm-svn: 30862
 2006-10-10 20:38:57 +00:00
Evan Cheng 7994aec7b5 Also update getNodeLabel for LoadSDNode. 
llvm-svn: 30861
 2006-10-10 20:11:26 +00:00
Evan Cheng fe858538c0 SDNode::dump should also print out extension type and VT. 
llvm-svn: 30860
 2006-10-10 20:05:10 +00:00
Rafael Espindola b5f1ff336a add fp sub 
llvm-svn: 30859
 2006-10-10 19:35:01 +00:00
Rafael Espindola 57d109fb08 add double <-> int conversion 
llvm-svn: 30858
 2006-10-10 18:55:14 +00:00
Chris Lattner 8438429c96 Fix another bug in extload promotion. 
llvm-svn: 30857
 2006-10-10 18:54:19 +00:00
Rafael Espindola d1a4ea41c9 compare doubles 
llvm-svn: 30856
 2006-10-10 16:33:47 +00:00
Rafael Espindola 639450ea83 add some tests for floating point compare 
llvm-svn: 30855
 2006-10-10 14:26:06 +00:00
Rafael Espindola d15c892433 initial support for fp compares. Unordered compares not implemented yet 
llvm-svn: 30854
 2006-10-10 12:56:00 +00:00
Evan Cheng dc6a3aab71 Fix a bug introduced by my LOAD/LOADX changes. 
llvm-svn: 30853
 2006-10-10 07:51:21 +00:00
Evan Cheng 6d37137e4f Add test case from PR940. 
llvm-svn: 30852
 2006-10-10 04:33:46 +00:00
Evan Cheng 61b8b43bbe More isel time load folding checking for nodes that produce flag values. 
See comment in CanBeFoldedBy() for detailed explanation.

llvm-svn: 30851
 2006-10-10 01:46:56 +00:00
Evan Cheng e01ee43cdc Comments; getChain(), getBasePtr(), etc. should return a SDOperand by value. 
llvm-svn: 30850
 2006-10-10 01:44:58 +00:00
Evan Cheng 16488647d8 shufps with load folding is better than movaps; movsd. 
llvm-svn: 30849
 2006-10-09 22:42:31 +00:00
Evan Cheng 57ccb6d372 Don't go too crazy with these AddComplexity. Try matching shufps with load 
folding first.

llvm-svn: 30848
 2006-10-09 21:42:15 +00:00
Evan Cheng e646abb7b6 Don't convert to MOVLP if using shufps etc. may allow load folding. 
llvm-svn: 30847
 2006-10-09 21:39:25 +00:00
Devang Patel d90c2d7386 Use FindProgramByName instead of FindExecutable. 
llvm-svn: 30846
 2006-10-09 21:16:05 +00:00
Evan Cheng 75a1b70da8 Predicate function on the node should be matched before its childrean' matching 
code. This is especially important now matching ISD::LOAD also requires a
Predicate_Load call.

llvm-svn: 30845
 2006-10-09 21:02:17 +00:00
Evan Cheng e71fe34d75 Reflects ISD::LOAD / ISD::LOADX / LoadSDNode changes. 
llvm-svn: 30844
 2006-10-09 20:57:25 +00:00
Evan Cheng 0a2a4b1fbe Merging ISD::LOAD and ISD::LOADX. Added LoadSDNode to represent load nodes. 
Chain and address ptr remains as operands. SrcValue, extending mode, extending
VT (or rather loaded VT before extension) are now instance variables of
LoadSDNode.

Introduce load / store addressing modes to represent pre- and post-indexed
load and store. Also added an additional operand offset that is only used in
post-indexed mode (i.e. base ptr += offset after load/store).

Added alignment info (not yet used) and isVolatile fields.

llvm-svn: 30843
 2006-10-09 20:55:20 +00:00
Devang Patel 060c4857ca Do error checking. 
llvm-svn: 30842
 2006-10-09 20:20:13 +00:00
Chris Lattner dfa8d9258a Remove a dead var noticed by Yorion 
llvm-svn: 30841
 2006-10-09 20:12:37 +00:00
Rafael Espindola 4d03bf8f43 add some tests for floating point arithmetic 
llvm-svn: 30840
 2006-10-09 19:15:17 +00:00
Andrew Lenharth 68ca2c483f Fix build error in gcc 3.4 and make more this general 
llvm-svn: 30839
 2006-10-09 19:05:44 +00:00
Devang Patel dacaf1e375 Use GetTemporaryDirectory. Fix http://llvm.org/bugs/show_bug.cgi?id=894 
llvm-svn: 30838
 2006-10-09 19:04:51 +00:00
Nick Lewycky afb040a603 Fix usage example. 
llvm-svn: 30837
 2006-10-09 18:33:08 +00:00
Rafael Espindola 9e29ec371a add float -> double and double -> float conversion 
llvm-svn: 30835
 2006-10-09 17:50:29 +00:00
Reid Spencer ff35900383 Fix PR886: 
The result of yyparse() was not being checked. When YYERROR or YYABORT is
called it causes yyparse() to return 1 to indicate the error. The code was
silently ignoring this situation because it previously expected either an
exception or a null ParserResult to indicate an error. The patch corrects
this situation.

llvm-svn: 30834
 2006-10-09 17:36:59 +00:00
Chris Lattner fb257818c4 xfail this until andrew has a chance to implement the alpha TM method. 
llvm-svn: 30833
 2006-10-09 17:34:40 +00:00
Rafael Espindola 0e44ed293f add a test for adds adcs 
llvm-svn: 30832
 2006-10-09 17:30:15 +00:00
Chris Lattner aba5e1ee97 Fix a bug pointed out by Zhongxing Xu 
llvm-svn: 30831
 2006-10-09 17:28:13 +00:00
Rafael Espindola 396b4a6b7b add ADDS and ADCS 
llvm-svn: 30830
 2006-10-09 17:18:28 +00:00
Rafael Espindola e4c3276afc expand ISD::SELECT 
llvm-svn: 30829
 2006-10-09 16:28:33 +00:00
Rafael Espindola c154dacb2f add a note 
llvm-svn: 30828
 2006-10-09 14:18:33 +00:00
Rafael Espindola 41730922bb expand ISD::EXTLOAD 
llvm-svn: 30827
 2006-10-09 14:13:40 +00:00
Rafael Espindola 78d6c2bf59 most ARM targets are little endian 
llvm-svn: 30826
 2006-10-09 14:12:15 +00:00
Chris Lattner 41b442242d Implement SROA of unions with mixed pointers/integers in them. This implements 
PR892 and Transforms/ScalarRepl/union-pointer.ll:test2

llvm-svn: 30825
 2006-10-08 23:53:04 +00:00
Chris Lattner 7440e23eb2 new testcase for PR892 
llvm-svn: 30824
 2006-10-08 23:52:06 +00:00
Chris Lattner 05f8272afa Implement Transforms/ScalarRepl/union-pointer.ll:test 
llvm-svn: 30823
 2006-10-08 23:28:04 +00:00
Chris Lattner 7a36ae4361 new testcase for SROA for stuff like "union { int*, float* }". 
llvm-svn: 30822
 2006-10-08 23:27:37 +00:00
Chris Lattner 5ab6d8b3fc Eliminate more token factors by taking advantage of transitivity: 
if TF depends on A and B, and A depends on B, TF just needs to depend on
A.  With Jim's alias-analysis stuff enabled, this compiles the testcase in
PR892 into:

__Z4test3Val:
        subl $44, %esp
        call L__Z3foov$stub
        movl %edx, 28(%esp)
        movl %eax, 32(%esp)
        movl %eax, 24(%esp)
        movl %edx, 36(%esp)
        movl 52(%esp), %ecx
        movl %ecx, 4(%esp)
        movl %eax, 8(%esp)
        movl %edx, 12(%esp)
        movl 48(%esp), %eax
        movl %eax, (%esp)
        call L__Z3bar3ValS_$stub
        addl $44, %esp
        ret

instead of:

__Z4test3Val:
        subl $44, %esp
        call L__Z3foov$stub
        movl %eax, 24(%esp)
        movl %edx, 28(%esp)
        movl 24(%esp), %eax
        movl %eax, 32(%esp)
        movl 28(%esp), %eax
        movl %eax, 36(%esp)
        movl 32(%esp), %eax
        movl 36(%esp), %ecx
        movl 52(%esp), %edx
        movl %edx, 4(%esp)
        movl %eax, 8(%esp)
        movl %ecx, 12(%esp)
        movl 48(%esp), %eax
        movl %eax, (%esp)
        call L__Z3bar3ValS_$stub
        addl $44, %esp
        ret

llvm-svn: 30821
 2006-10-08 22:57:01 +00:00
Chris Lattner 9e512e5bd0 Fix PR897 
llvm-svn: 30820
 2006-10-08 22:28:34 +00:00
Jim Laskey 0463e08005 Combiner alias analysis passes Multisource (release-asserts.) 
llvm-svn: 30818
 2006-10-07 23:37:56 +00:00
Chris Lattner 398195ebbe completely disable folding of loads into scalar sse instructions and provide 
a framework for doing it right.  This fixes
CodeGen/X86/2006-10-07-ScalarSSEMiscompile.ll.

Once X86DAGToDAGISel::SelectScalarSSELoad is implemented right, this task
will be done.

llvm-svn: 30817
 2006-10-07 21:55:32 +00:00
Chris Lattner f8fa10a6bb new testcase we miscompile 
llvm-svn: 30816
 2006-10-07 21:54:08 +00:00
Chris Lattner 942009fee5 convert packed FP add/sub/mul/div to use a multiclass. 
llvm-svn: 30815
 2006-10-07 21:17:13 +00:00
Chris Lattner 4005f4e49c one multiclass now defines all 8 variants of binary-scalar-sse-fp operations. 
llvm-svn: 30814
 2006-10-07 20:55:57 +00:00
Chris Lattner 6eaee2c8e3 Switch ADD/MUL/DIV/SUB scalarsse fp ops to a multiclass 
llvm-svn: 30813
 2006-10-07 20:35:44 +00:00
Chris Lattner c8c6441821 Random acts of shrinkage 
llvm-svn: 30812
 2006-10-07 19:49:05 +00:00
Chris Lattner b5df7e554d Convert pand/por/pxor to use multiclass 
llvm-svn: 30811
 2006-10-07 19:37:30 +00:00
Chris Lattner 6138cba5f1 Convert some more instructions over to use a new multiclass. 
Fix a bug where the asmstring for PSUBQrm was wrong.

llvm-svn: 30810
 2006-10-07 19:34:33 +00:00
Chris Lattner 662ba43f08 Fix a bug where PADDQrm printed paddd instead of paddq. 
llvm-svn: 30809
 2006-10-07 19:15:46 +00:00
Chris Lattner 29c62a3c88 Add multiclass for SSE2 instructions that correspond to simple binops. 
llvm-svn: 30808
 2006-10-07 19:14:49 +00:00
Chris Lattner e0928d9d7b rename: 
PDI_binop_rm -> PDI_binop_rm_int
  PDI_binop_rmi -> PDI_binop_rmi_int

to make it clear that these are for use with intrinsics.

llvm-svn: 30807
 2006-10-07 19:02:31 +00:00
Chris Lattner 489b63089d Convert saturating PADD/PSUB's to use a multiclass 
llvm-svn: 30806
 2006-10-07 18:48:46 +00:00
Chris Lattner fa2ce8824d Convert PAVG*, PMADDWD, and PMUL* to use multiclasses. 
llvm-svn: 30805
 2006-10-07 18:39:00 +00:00
Chris Lattner cab92e4c0c Fix typo in packsswb instr definition, where the load had the wrong type. 
This allows us to use the multiclass for other packs.

llvm-svn: 30804
 2006-10-07 18:23:58 +00:00
Rafael Espindola b50938866b implement FUITOS and FUITOD 
llvm-svn: 30803
 2006-10-07 14:24:52 +00:00
Rafael Espindola 58c368bc4f implement FLDD 
llvm-svn: 30802
 2006-10-07 14:03:39 +00:00
Rafael Espindola 40f5dd27f0 implement fadds, faddd, fmuls and fmuld 
llvm-svn: 30801
 2006-10-07 13:46:42 +00:00
Chris Lattner e746a9cd6a handle pmin/pmax with multiclasses 
llvm-svn: 30800
 2006-10-07 07:49:33 +00:00
Chris Lattner 560804cc50 regenerate 
llvm-svn: 30799
 2006-10-07 07:15:19 +00:00
Chris Lattner dfbda3598d Bugfix: this allows multiclasses to have default arguments. 
llvm-svn: 30798
 2006-10-07 07:14:48 +00:00
Chris Lattner b14e6a0f8c simplify pack and shift intrinsics with multiclasses 
llvm-svn: 30797
 2006-10-07 07:06:17 +00:00
Chris Lattner 521fc4e33f Use a multiclass to simplify 'SSE2 Integer comparison' 
llvm-svn: 30796
 2006-10-07 06:47:08 +00:00
Chris Lattner c6138cec61 move class defns close to uses to make it easier to read 
llvm-svn: 30795
 2006-10-07 06:33:36 +00:00
Chris Lattner 87e692323c simplify horizontal op definitions 
llvm-svn: 30794
 2006-10-07 06:31:41 +00:00
Chris Lattner 3e9fc37458 remove more unneeded type info 
llvm-svn: 30793
 2006-10-07 06:27:03 +00:00
Chris Lattner 807be0a715 remove unneeded definitions and type info 
llvm-svn: 30792
 2006-10-07 06:19:41 +00:00
Chris Lattner 5b1358a8eb remove some unneeded type info 
llvm-svn: 30791
 2006-10-07 06:17:43 +00:00
Chris Lattner 3414c022af simplify patterns by merging in operand info 
llvm-svn: 30790
 2006-10-07 05:50:25 +00:00
Chris Lattner ca21ce5f08 Factor operands into packed unary classes 
llvm-svn: 30789
 2006-10-07 05:47:20 +00:00
Chris Lattner 0052c3ff5b remove dead/duplicate instructions 
llvm-svn: 30788
 2006-10-07 05:41:52 +00:00
Chris Lattner 904c6e9c92 Pull operand info up into parent class for scalar sse intrinsics. 
llvm-svn: 30787
 2006-10-07 05:26:13 +00:00
Chris Lattner e698c90ee9 convert the sole sd unary intrinsic to a multiclass for consistency 
llvm-svn: 30786
 2006-10-07 05:19:31 +00:00
Chris Lattner 2bb2f050f5 pull operand string into the multiclass 
llvm-svn: 30785
 2006-10-07 05:13:26 +00:00
Chris Lattner 069679c7b6 Remove RSQRTSS[rm] RCPSS[rm], which are dead. 
Introduce SS_IntUnary, a multiclass to replace SS_Int[rm].

llvm-svn: 30784
 2006-10-07 05:09:48 +00:00
Chris Lattner f13a7b376c eliminate redundancy 
llvm-svn: 30783
 2006-10-07 04:52:09 +00:00
Chris Lattner f9f90bc239 Fix a bug legalizing zero-extending i64 loads into 32-bit loads. The bottom 
part was always forced to be sextload, even when we needed an zextload.

llvm-svn: 30782
 2006-10-07 00:58:36 +00:00
Chris Lattner dc3064e223 Set the jt section 
llvm-svn: 30781
 2006-10-06 22:52:33 +00:00
Chris Lattner a389a612bb initialize ivar 
llvm-svn: 30780
 2006-10-06 22:52:08 +00:00