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

29 Commits

Author SHA1 Message Date
Chris Lattner c577b816fc Teach the grouper some simple tricks about looking contradictory 
predicates.  For example if we have:

Scope:
  CheckType i32
    ABC
  CheckType f32
    DEF
  CheckType i32
    GHI

Then we know that we can transform this into:
Scope:
  CheckType i32
    Scope
      ABC
      GHI
  CheckType f32
    DEF

This reorders the check for the 'GHI' predicate above
the check for the 'DEF' predidate.  However it is safe to do this
in this situation because we know that a node cannot have both an
i32 and f32 type.

We're now doing more factoring that the old isel did.

llvm-svn: 97312
 2010-02-27 07:49:13 +00:00
Chris Lattner d9e1e83e3b implement a new optimization to sink pattern predicates (like isSSE1) 
as deeply into the pattern as we can get away with.  In pratice, this 
means "all the way to to the emitter code, but not across 
ComplexPatterns".  This substantially increases the amount of factoring
we get.

llvm-svn: 97305
 2010-02-27 06:22:57 +00:00
Chris Lattner 1ffcde2f3b fix same bug in CheckChainCompatibleMatcher::isEqualImpl 
llvm-svn: 97217
 2010-02-26 08:06:02 +00:00
Chris Lattner a6142a241a fix a nasty bug in CheckTypeMatcher::isEqualImpl 
llvm-svn: 97216
 2010-02-26 08:05:36 +00:00
Chris Lattner 81129177a3 add a new setNumChildren method for resizing scopes. Tweak getHash() so 
that we never return a tombstone value, which (thankfully) triggers an
assert in densemap.

llvm-svn: 97214
 2010-02-26 07:35:27 +00:00
Chris Lattner f7fc2d8b86 change the scope node to include a list of children to be checked 
instead of to have a chained series of scope nodes.  This makes
the generated table smaller, improves the efficiency of the
interpreter, and make the factoring optimization much more 
reasonable to implement.

llvm-svn: 97160
 2010-02-25 19:00:39 +00:00
Chris Lattner 1f2adb6f35 factor the print method better. 
llvm-svn: 97125
 2010-02-25 06:53:39 +00:00
Chris Lattner 212e8c87ae add methods to do equality checks and get hashes of Matchers 
llvm-svn: 97123
 2010-02-25 06:49:58 +00:00
Chris Lattner 2c3f6492b0 rename fooMatcherNode to fooMatcher. 
llvm-svn: 97096
 2010-02-25 02:04:40 +00:00
Chris Lattner ac55f9df88 rename PushMatcherNode -> ScopeMatcherNode to more accurately 
reflect what it does.  Switch the sense of the Next and the Check
arms to be more logical.  No functionality change.

llvm-svn: 97093
 2010-02-25 01:56:48 +00:00
Chris Lattner 0c95baa848 contract movechild+checktype into a new checkchild node, shrinking the 
x86 table by 1200 bytes.

llvm-svn: 97053
 2010-02-24 20:15:25 +00:00
Chris Lattner ab41756c2e implement a simple proof-of-concept optimization for 
the new isel: fold movechild+record+moveparent into a
single recordchild N node.  This shrinks the X86 table
from 125443 to 117502 bytes.

llvm-svn: 97031
 2010-02-24 07:31:45 +00:00
Chris Lattner e7327435a7 The new isel passes all tests, time to start making it go fast. 
Also add an easy macro at the top of DAGISelEmitter.cpp to enable
it.  Lets see if I can avoid accidentally turning it on :)

llvm-svn: 97029
 2010-02-24 07:06:50 +00:00
Chris Lattner 29364373cc The new isel was not properly handling patterns that covered 
internal nodes with flag results.  Record these with a new 
OPC_MarkFlagResults opcode and use this to update the interior
nodes' flag results properly.  This fixes CodeGen/X86/i256-add.ll
with the new isel.

llvm-svn: 97021
 2010-02-24 05:33:42 +00:00
Chris Lattner bb2afb79c0 add a new CheckMultiOpcode opcode for checking that a node 
has one of the list of acceptable opcodes for a complex 
pattern.  This fixes 4 regtest failures.

llvm-svn: 96814
 2010-02-22 22:30:37 +00:00
Chris Lattner 79eaeb4cfe implement the last known missing feature: updating uses of results 
of the matched pattern to use the newly created node results.  Onto
the "making it actually work" phase!

llvm-svn: 96724
 2010-02-21 06:03:07 +00:00
Chris Lattner 132df652a4 Lots of improvements to the new dagisel emitter. This gets it to 
the point where it is to the 95% feature complete mark, it just
needs result updating to be done (then testing, optimization 
etc).

More specificallly, this adds support for chain and flag handling
on the result nodes, support for sdnodexforms, support for variadic
nodes, memrefs, pinned physreg inputs, and probably lots of other
stuff.

In the old DAGISelEmitter, this deletes the dead code related to
OperatorMap, cleans up a variety of dead stuff handling "implicit
remapping" from things like globaladdr -> targetglobaladdr (which
is no longer used because globaladdr always needs to be legalized),
and some minor formatting fixes.

llvm-svn: 96716
 2010-02-21 03:22:59 +00:00
Chris Lattner b4905cbd12 add emitter support for integer constants and simple physreg references. 
llvm-svn: 96663
 2010-02-19 07:49:56 +00:00
Chris Lattner 42a7ba7a67 add support for referencing registers and immediates, 
building the tree to represent them but not emitting 
table entries for them yet.

llvm-svn: 96617
 2010-02-18 22:03:03 +00:00
Chris Lattner 186ad8098e rename the child field to 'next'. This is not a parent/child 
relationship, this is a linear list relationship.

llvm-svn: 96561
 2010-02-18 02:53:41 +00:00
Chris Lattner d582a367b5 eliminate the MatcherNodeWithChild class, give the 'child' 
field to MatcherNode.

llvm-svn: 96560
 2010-02-18 02:49:24 +00:00
Chris Lattner f8a5bb0f89 Emulate the current isel's "IsChainCompatible" logic for now. 
I'd like to eventually rip it out, but for now producing the
same selections as the old matcher is more important.

llvm-svn: 96458
 2010-02-17 06:23:39 +00:00
Chris Lattner ac27c2e3f3 prefix captured value names with $ so they look like 
variables.  Use the fancy OpNo variable instead of i,
which has the right index including chains.

llvm-svn: 96436
 2010-02-17 01:27:29 +00:00
Chris Lattner f773f03736 improve comments on OPC_Record to say what we're recording a node. 
llvm-svn: 96433
 2010-02-17 01:03:09 +00:00
Chris Lattner a845f654fa make the new isel generator plop out a CheckComplexPattern function 
for evaluating complex patterns.  Some cleanup has to happen before
this can be used though.

llvm-svn: 96419
 2010-02-17 00:31:50 +00:00
Chris Lattner f8695c1ee9 convert the new matcher to check intermediate nodes for a single 
use and only call IsProfitableToFold/IsLegalToFold on the load
being folded, like the old dagiselemitter does.  This 
substantially simplifies the code and improves opportunities for
sharing.

llvm-svn: 96368
 2010-02-16 19:15:55 +00:00
Chris Lattner 5ce8303950 generate code for node and pattern predicates. Note that this won't 
build if enabled, it will fail with constness issues. I'll resolve 
these next.

llvm-svn: 96336
 2010-02-16 07:21:10 +00:00
Chris Lattner aa7d3e096b add support for the new isel matcher to generate 
(isprofitable|islegal)tofold checks.

llvm-svn: 96331
 2010-02-16 06:10:58 +00:00
Chris Lattner b02cdaaa9c Check in the first big step of rewriting DAGISelEmitter to 
produce a table based matcher instead of gobs of C++ Code.

Though it's not done yet, the shrinkage seems promising,
the table for the X86 ISel is 75K and still has a lot of 
optimization to come (compare to the ~1.5M of .o generated
the old way, much of which will go away).

The code is currently disabled by default (the #if 0 in
DAGISelEmitter.cpp).  When enabled it generates a dead
SelectCode2 function in the DAGISel Header which will
eventually replace SelectCode.

There is still a lot of stuff left to do, which are
documented with a trail of FIXMEs.

llvm-svn: 96215
 2010-02-15 08:04:42 +00:00