summaryrefslogtreecommitdiffstats
path: root/llvm/utils/TableGen
Commit message (Collapse)AuthorAgeFilesLines
* emit table indexes before each row so that it is debuggable.Chris Lattner2010-02-211-7/+11
| | | | llvm-svn: 96730
* fix a table size miscomputation, target opcodes are 2 bytes.Chris Lattner2010-02-211-1/+1
| | | | | | | With this, the matcher actually works reasonably well, but crashes on larger examples in the scheduler. llvm-svn: 96727
* emit to the right streams, to avoid emitting the pushChris Lattner2010-02-211-15/+16
| | | | | | body before the push. llvm-svn: 96726
* oops don't turn this on for everyone yet.Chris Lattner2010-02-211-1/+1
| | | | llvm-svn: 96725
* implement the last known missing feature: updating uses of results Chris Lattner2010-02-215-20/+33
| | | | | | | of the matched pattern to use the newly created node results. Onto the "making it actually work" phase! llvm-svn: 96724
* Lots of improvements to the new dagisel emitter. This gets it toChris Lattner2010-02-215-205/+737
| | | | | | | | | | | | | | | | | | | 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
* add emitter support for integer constants and simple physreg references.Chris Lattner2010-02-192-4/+15
| | | | llvm-svn: 96663
* fix this to work more determinstically, patch by Thomas Veith!Chris Lattner2010-02-191-1/+1
| | | | llvm-svn: 96661
* I confused myself, temporaries will be recorded right along with other inputs.Chris Lattner2010-02-191-31/+7
| | | | llvm-svn: 96639
* introduce a new ResultVal and start keeping track of temporary values.Chris Lattner2010-02-191-12/+60
| | | | llvm-svn: 96636
* add support for referencing registers and immediates,Chris Lattner2010-02-184-34/+130
| | | | | | | building the tree to represent them but not emitting table entries for them yet. llvm-svn: 96617
* start sketching out the structure of code for result emission generation.Chris Lattner2010-02-184-11/+120
| | | | | | Nothing real here yet. llvm-svn: 96575
* rename the child field to 'next'. This is not a parent/child Chris Lattner2010-02-184-44/+46
| | | | | | relationship, this is a linear list relationship. llvm-svn: 96561
* eliminate the MatcherNodeWithChild class, give the 'child'Chris Lattner2010-02-184-67/+53
| | | | | | field to MatcherNode. llvm-svn: 96560
* fit in 80 colsChris Lattner2010-02-181-7/+11
| | | | llvm-svn: 96541
* redisable this to save people a small amount of build time.Chris Lattner2010-02-171-1/+1
| | | | llvm-svn: 96497
* move isOnlyReachableByFallthrough out of MachineBasicBlock into AsmPrinter,Chris Lattner2010-02-171-1/+1
| | | | | | | and add a sparc implementation that knows about delay slots. Patch by Nathan Keynes! llvm-svn: 96492
* reduce nesting.Chris Lattner2010-02-171-3/+7
| | | | llvm-svn: 96466
* improve comments, the matcher is now feature complete, on to codegen.Chris Lattner2010-02-171-1/+5
| | | | llvm-svn: 96464
* sink special case "cannotyetselect" for intrinsics out of the Chris Lattner2010-02-171-14/+2
| | | | | | tblgen splatted code into the implementation. llvm-svn: 96460
* Emulate the current isel's "IsChainCompatible" logic for now.Chris Lattner2010-02-174-5/+48
| | | | | | | 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
* properly record chain inputs to complex patterns,Chris Lattner2010-02-171-6/+13
| | | | | | resolving a fixme. llvm-svn: 96457
* simplify IsChainCompatible codegen, add comments. no Chris Lattner2010-02-171-4/+2
| | | | | | functionality change. llvm-svn: 96453
* Prep work to handle input chains of matched patterns and checking forChris Lattner2010-02-171-4/+28
| | | | | | | 'ischaincompatible' when a pattern has more than one input chain. Need to do some commenting and cleanup now that I understand how this works. llvm-svn: 96443
* record input chains.Chris Lattner2010-02-171-0/+9
| | | | llvm-svn: 96437
* prefix captured value names with $ so they look likeChris Lattner2010-02-172-5/+4
| | | | | | | variables. Use the fancy OpNo variable instead of i, which has the right index including chains. llvm-svn: 96436
* improve comments on OPC_Record to say what we're recording a node.Chris Lattner2010-02-173-3/+11
| | | | llvm-svn: 96433
* improve comments in generated matcher a bit.Chris Lattner2010-02-171-12/+12
| | | | llvm-svn: 96422
* make the new isel generator plop out a CheckComplexPattern functionChris Lattner2010-02-174-6/+52
| | | | | | | for evaluating complex patterns. Some cleanup has to happen before this can be used though. llvm-svn: 96419
* fix inverted condition.Chris Lattner2010-02-171-1/+3
| | | | llvm-svn: 96416
* complex patterns don't get 'record' nodes, they implicitlyChris Lattner2010-02-161-1/+20
| | | | | | record all their results. llvm-svn: 96412
* clean up some code, eliminate NodeIsComplexPattern, whichChris Lattner2010-02-161-18/+5
| | | | | | does the same thing as getComplexPatternInfo. llvm-svn: 96411
* fix indentationChris Lattner2010-02-161-62/+66
| | | | llvm-svn: 96409
* fix rdar://7653908, a crash on a case where we would fold a loadChris Lattner2010-02-162-40/+27
| | | | | | | | | | into a roundss intrinsic, producing a cyclic dag. The root cause of this is badness handling ComplexPattern nodes in the old dagisel that I noticed through inspection. Eliminate a copy of the of the code that handled ComplexPatterns by making EmitChildMatchCode call into EmitMatchCode. llvm-svn: 96408
* simplify this code. In the new world order there is noChris Lattner2010-02-161-27/+24
| | | | | | need to scan the entire subtree of the pattern anymore. llvm-svn: 96369
* convert the new matcher to check intermediate nodes for a singleChris Lattner2010-02-164-38/+14
| | | | | | | | | 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
* change dag isel emitter to only call 'IsProfitableToFold' on nodesChris Lattner2010-02-161-3/+13
| | | | | | | | with chains. On interior nodes that lead up to them, we just directly check that there is a single use. This generates slightly more efficient code. llvm-svn: 96366
* mark all the generated node predicates 'const'.Chris Lattner2010-02-161-2/+2
| | | | llvm-svn: 96337
* generate code for node and pattern predicates. Note that this won'tChris Lattner2010-02-162-12/+60
| | | | | | | build if enabled, it will fail with constness issues. I'll resolve these next. llvm-svn: 96336
* refactor some code into a local class.Chris Lattner2010-02-161-14/+22
| | | | llvm-svn: 96334
* remove now dead code and fixme.Chris Lattner2010-02-162-4/+0
| | | | llvm-svn: 96333
* remove dead code. This is never generated for any targets in mainline.Chris Lattner2010-02-161-15/+0
| | | | llvm-svn: 96332
* add support for the new isel matcher to generate Chris Lattner2010-02-166-11/+107
| | | | | | (isprofitable|islegal)tofold checks. llvm-svn: 96331
* Split SelectionDAGISel::IsLegalAndProfitableToFold toEvan Cheng2010-02-151-4/+6
| | | | | | | | IsLegalToFold and IsProfitableToFold. The generic version of the later simply checks whether the folding candidate has a single use. This allows the target isel routines more flexibility in deciding whether folding makes sense. The specific case we are interested in is folding constant pool loads with multiple uses. llvm-svn: 96255
* Check in the first big step of rewriting DAGISelEmitter to Chris Lattner2010-02-156-2/+1001
| | | | | | | | | | | | | | | | | | | 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
* Revert r96130 ("Forward parameter options as '-option=param'").Mikhail Glushenkov2010-02-151-2/+2
| | | | | | This behaviour must be configurable. llvm-svn: 96210
* constizeChris Lattner2010-02-142-4/+4
| | | | llvm-svn: 96199
* clean up a bunch of code, move some random predicatesChris Lattner2010-02-143-101/+110
| | | | | | on TreePatternNode to be methods on TreePatternNode. llvm-svn: 96197
* remove the DisablePatternForFastISel predicate, which is a checkChris Lattner2010-02-141-24/+3
| | | | | | | | that predated -fast-isel which attempted to speed up the dag pattern matchers at -O0. Since fast-isel is around, this is basically obsolete and removing it shrinks the generated dag isels. llvm-svn: 96188
* add an insertion operator.Chris Lattner2010-02-141-0/+5
| | | | llvm-svn: 96187
OpenPOWER on IntegriCloud