RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity
70,870 Commits 4 Branches 5 Tags 704 MiB
4d240b1e9e
Commit Graph

136 Commits

Author SHA1 Message Date
Evan Cheng
14eff5d627 - Add "Bitcast" target instruction property for instructions which perform 
nothing more than a bitcast.
- Teach tablegen to automatically infer "Bitcast" property.

llvm-svn: 127667
 2011-03-15 05:09:26 +00:00
David Greene
21bfdb7527 Silence uninitialized value warnings. 
llvm-svn: 124869
 2011-02-04 17:01:53 +00:00
David Greene
e563b14e41 [AVX] Implement EnforceSmallerThan for mixed int/fp type lists. This 
makes type checking for extract_subvector and insert_subvector more
robust and will allow stricter typechecking of more patterns in the
future.

This change handles int and fp as disjoint sets so that it will
enforce integer types to be smaller than the largest integer type and
fp types to be smaller than the largest fp type.  There is no attempt
to check type sizes across the int/fp sets.

llvm-svn: 124672
 2011-02-01 19:12:32 +00:00
David Greene
1c4fa5e643 [AVX] Add type checking support for vector/subvector type constraints. 
This will be used to check patterns referencing a forthcoming
INSERT_SUBVECTOR SDNode.  INSERT_SUBVECTOR in turn is very useful for
matching to VINSERTF128 instructions and complements the already
existing EXTRACT_SUBVECTOR SDNode.

llvm-svn: 124145
 2011-01-24 20:53:18 +00:00
Chris Lattner
01e8c46349 Flag -> Glue, the ongoing saga 
llvm-svn: 122513
 2010-12-23 18:28:41 +00:00
Jim Grosbach
fda5c187d6 Tidy up a bit. Trailing whitespace, hard tabs and 80-columns. 
llvm-svn: 122337
 2010-12-21 16:16:00 +00:00
Chris Lattner
8e4bbafeb3 eliminate the Records global variable, patch by Garrison Venn! 
llvm-svn: 121659
 2010-12-13 00:23:57 +00:00
Jim Grosbach
f3557afc0f Add source Record* reference to PatternToMatch. Allows better diagnostics. 
llvm-svn: 121196
 2010-12-07 23:05:49 +00:00
Chris Lattner
45b1a1649c factor the operand list (and related fields/operations) out of 
CodeGenInstruction into its own helper class.  No functionality change.

llvm-svn: 117893
 2010-11-01 04:03:32 +00:00
Jim Grosbach
fb59963159 A few 80 column cleanups 
llvm-svn: 116069
 2010-10-08 18:13:57 +00:00
Daniel Dunbar
8ac0e27ca6 Fix -Asserts warning. 
llvm-svn: 116030
 2010-10-08 02:07:22 +00:00
Dan Gohman
8a813c4ded Remove IntrWriteMem, as it's the default. Rename IntrWriteArgMem 
to IntrReadWriteArgMem, as it's for reading as well as writing.

llvm-svn: 110395
 2010-08-05 23:36:21 +00:00
Jakob Stoklund Olesen
9a54fec092 Add the SubRegIndex TableGen class. 
This is the beginning of purely symbolic subregister indices, but we need a bit
of jiggling before the explicit numeric indices can be completely removed.

llvm-svn: 104492
 2010-05-24 14:48:12 +00:00
Chris Lattner
6a517dbbd6 stop computing InstImpInputs, it is dead 
llvm-svn: 101881
 2010-04-20 06:30:25 +00:00
Chris Lattner
8b5bae8c3c DAGInstruction::ImpOperands is dead after my recent tblgen work, zap it. 
llvm-svn: 101880
 2010-04-20 06:28:43 +00:00
Chris Lattner
3bb37074fd print the complexity of the pattern being matched in the 
comment in the generated table.

llvm-svn: 99794
 2010-03-29 01:40:38 +00:00
Chris Lattner
117eb269f9 improve type checking of SDNode operand count. This rejects all cases 
where an incorrect number of operands is provided to an sdnode instead
of just a few cases.

llvm-svn: 99761
 2010-03-28 08:48:47 +00:00
Chris Lattner
5ad69fe4b6 finally remove the immAllOnesV_bc/immAllZerosV_bc patterns 
and those derived from them.  These are obnoxious because
they were written as: PatLeaf<(bitconvert).  Not having an
argument was foiling adding better type checking for operand
count matching up with what was required (in this case,
bitconvert always requires an operand!)

llvm-svn: 99759
 2010-03-28 08:43:23 +00:00
Chris Lattner
e04fb0a1a7 teach tblgen to allow patterns like (add (i32 (bitconvert (i32 GPR))), 4), 
transforming it into (add (i32 GPR), 4).  This allows us to write type
generic multi patterns and have tblgen automatically drop the bitconvert
in the case when the types align.  This allows us to fold an extra load
in the changed testcase.

llvm-svn: 99756
 2010-03-28 08:38:32 +00:00
Chris Lattner
af75e6a61f validate that input sdnodes don't exist in an output pattern. 
llvm-svn: 99747
 2010-03-28 06:57:56 +00:00
Chris Lattner
5bb82e570e eliminate a bunch of code duplication in ParseTreePattern 
by rotating it.

llvm-svn: 99746
 2010-03-28 06:50:34 +00:00
Chris Lattner
7c35e259aa SDTCisVT<0, isVoid> is not valid, reject it. 
llvm-svn: 99744
 2010-03-28 06:04:39 +00:00
Chris Lattner
d6afc9e48d fix CodeGenTarget::getRegisterVTs to not return the 
same vt multiple times for a register.  For example,
ECX is in 5 different i32 reg classes, just return 
1 i32 instead of 5.

llvm-svn: 99727
 2010-03-27 20:32:26 +00:00
Chris Lattner
2ec88c02da hoist some funky logic into CodeGenInstruction 
from two places in CodeGenDAGPatterns.cpp, and
use it in DAGISelMatcherGen.cpp instead of using
an incorrect predicate that happened to get lucky
on our current targets.

llvm-svn: 99726
 2010-03-27 20:09:24 +00:00
Chris Lattner
ad983d7a8a continue pushing tblgen's support for nodes with multiple 
results forward.  We can now handle an instruction that 
produces one implicit def and one result instead of one or
the other when not at the root of the pattern.

llvm-svn: 99725
 2010-03-27 19:15:02 +00:00
Chris Lattner
d2dd416772 remove parallel support. 
llvm-svn: 99703
 2010-03-27 02:53:27 +00:00
Chris Lattner
cb2f61f245 add plumbing for handling multiple result nodes 
in some more places.

llvm-svn: 99366
 2010-03-24 00:41:19 +00:00
Chris Lattner
01e2cd0da3 implement SDTCisVTSmallerThanOp with EnforceSmallerThan 
instead of reimplementing it wrong and poorly.

llvm-svn: 99357
 2010-03-24 00:06:46 +00:00
Chris Lattner
292d6c4f7e bring sanity to EnforceVectorEltType 
llvm-svn: 99354
 2010-03-24 00:01:16 +00:00
Chris Lattner
d0c16ce3c3 Cleanup getImplicitType 
llvm-svn: 99353
 2010-03-23 23:50:31 +00:00
Chris Lattner
c4be1194e5 Change intrinsic result type for void to store it as an empty list 
instead of as a single element list with VoidTy.  Now with a fix
for the verifier.

llvm-svn: 99206
 2010-03-22 20:56:36 +00:00
Daniel Dunbar
575d014f60 Fix suggested parentheses warning. 
llvm-svn: 99111
 2010-03-21 01:38:21 +00:00
Eric Christopher
b41284cea9 Revert r99009 temporarily it seems to be breaking the bots. 
llvm-svn: 99011
 2010-03-19 23:04:23 +00:00
Chris Lattner
4af1cae2f1 Change intrinsic result type for void to store it as an empty list 
instead of as a single element list with VoidTy.

llvm-svn: 99009
 2010-03-19 22:40:56 +00:00
Chris Lattner
eb5e201050 make getOperandNum a static function (since it's just used by 
ApplyTypeConstraint) and make it handle multiple result nodes.

llvm-svn: 99003
 2010-03-19 21:56:21 +00:00
Chris Lattner
e425c6ab6c major surgery on tblgen: generalize TreePatternNode 
to maintain a list of types (one for each result of
the node) instead of a single type.  There are liberal
hacks added to emulate the old behavior in various
situations, but they can start disolving now.

llvm-svn: 98999
 2010-03-19 21:37:09 +00:00
Chris Lattner
5d1378e7a3 make FillWithPossibleTypes take a predicate to filter types so that 
we don't blow the smallvector as often.  No functionality change.

llvm-svn: 98968
 2010-03-19 17:41:26 +00:00
Chris Lattner
5afb55e172 resolve fixme: we now infer the instruction-level 'isvariadic' bit 
from the pattern if present, and we use it instead of the bit.

llvm-svn: 98938
 2010-03-19 05:34:15 +00:00
Chris Lattner
6b395fca87 add a new SDNPVariadic SDNP node flag, and use it in 
dag isel gen instead of instruction properties.  This
allows the oh-so-useful behavior of matching a variadic
non-root node.

llvm-svn: 98934
 2010-03-19 05:07:09 +00:00
Chris Lattner
0f1c18d7e6 rewrite EnforceSmallerThan to be less bone headed. 
llvm-svn: 98933
 2010-03-19 04:54:36 +00:00
Daniel Dunbar
cc34ff9e80 Fix -Asserts warning. 
llvm-svn: 98927
 2010-03-19 03:18:20 +00:00
Chris Lattner
68762f16c5 eliminate the last use of EEVT::isUnknown 
llvm-svn: 98918
 2010-03-19 01:14:27 +00:00
Chris Lattner
b929ca1352 change Target.getInstructionsByEnumValue to return a reference 
to a vector that CGT stores instead of synthesizing it on every 
call.

llvm-svn: 98910
 2010-03-19 00:34:35 +00:00
Chris Lattner
1acf5e4a8d don't go through getInstructions(). 
llvm-svn: 98906
 2010-03-19 00:18:23 +00:00
Chris Lattner
3e5af02a79 look up instructions by record, not by name. 
llvm-svn: 98904
 2010-03-19 00:07:20 +00:00
Chris Lattner
0ed7a372d6 expand tblgen's support for instructions with implicit defs. 
llvm-svn: 98900
 2010-03-18 23:57:40 +00:00
Chris Lattner
5becdf478d infer results of a pattern from implicit defs. This allows you to do something 
like this:

 def : Pat<(add ...),
           (FOOINST)>;

When fooinst only has a single implicit def (e.g. to R1).  This will be handled
as if written as (set R1, (FOOINST ...))

llvm-svn: 98897
 2010-03-18 23:15:10 +00:00
Chris Lattner
fa01855463 simplify this code, the # of sets in the pattern for an instruction 
shouldn't change this.

llvm-svn: 98872
 2010-03-18 21:15:05 +00:00
Chris Lattner
3f7819560f remove some code that was working around old sparc v9 backend bugs. 
Add checking that the input/output operand list in spelled right.

llvm-svn: 98865
 2010-03-18 20:50:52 +00:00
Chris Lattner
02bf60555d eliminate some #if 0 code I added in r96905, type inference 
now enforces that input/output named values have hte same type.

llvm-svn: 98535
 2010-03-15 06:03:22 +00:00