shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
51,100 Commits 1,713 Branches 298 Tags
Commit Graph

6128 Commits

Author SHA1 Message Date
Evan Cheng
43c0891838 Reason #3 from 60595 doesn't hold true. If we can fold a PIC load from constpool into a use, the rewrite happens at time of spill (not in VirtRegMap). Later on, if the GlobalBaseReg is spilled, the spiller can see the use uses GlobalBaseReg and do the right thing. 
llvm-svn: 60596
 2008-12-05 17:41:31 +00:00
Evan Cheng
994faaf218 Fix comment. 
llvm-svn: 60592
 2008-12-05 17:00:16 +00:00
Dan Gohman
d24be45d99 Drop the reg argument to isRegReDefinedByTwoAddr, which was redundant. 
llvm-svn: 60586
 2008-12-05 05:45:42 +00:00
Dan Gohman
9bb56443a1 Teach StackSlotColoring to update MachineMemOperands when 
changing the stack slots on an instruction, to keep them
consistent with the actual memory addresses.

llvm-svn: 60584
 2008-12-05 05:31:14 +00:00
Dan Gohman
c1dee225d0 Ignore IMPLICIT_DEF instructions when computing physreg liveness. 
While they appear to provide a normal clobbering def, they don't
in the case of the awkward IMPLICIT_DEF+INSERT_SUBREG idiom. It
would be good to change INSERT_SUBREG; until then, this change
allows post-regalloc scheduling to cope in a mildly conservative
way.

llvm-svn: 60583
 2008-12-05 05:30:02 +00:00
Owen Anderson
0bcbe8f6a8 Factor out some common code. 
llvm-svn: 60553
 2008-12-04 21:20:30 +00:00
Duncan Sands
471a654711 When allocating a stack temporary, use the correct 
number of bytes for types such as i1 which are not
a multiple of 8 bits in length.

llvm-svn: 60543
 2008-12-04 18:08:40 +00:00
Dan Gohman
44f57df254 Use register names instead of numbers in debug output. 
llvm-svn: 60525
 2008-12-04 02:15:26 +00:00
Dan Gohman
30cad9c192 Make debug output more informative. 
llvm-svn: 60524
 2008-12-04 02:14:57 +00:00
Dan Gohman
3aab10b932 Add minimal support for disambiguating memory references. Currently 
the main thing this covers is spills to distinct spill slots.

llvm-svn: 60517
 2008-12-04 01:35:46 +00:00
Dan Gohman
84efaf6a63 Rewrite the liveness bookkeeping code to fix a bunch of 
issues with subreg operands and tied operands.

llvm-svn: 60510
 2008-12-03 23:07:27 +00:00
Dan Gohman
ee1cd1781a Have PseudoSourceValue override Value::dump, so that it works 
on PseudoSourceValue values. This also fixes a FIXME in
lib/VMCode/AsmWriter.cpp.

llvm-svn: 60507
 2008-12-03 21:37:21 +00:00
Dan Gohman
0c91a5f56c Fix an inconsistency in a comment. 
llvm-svn: 60500
 2008-12-03 19:38:38 +00:00
Dan Gohman
434a3ca8e9 Don't charge the full latency for anti and output dependencies. This is 
an area where eventually it would be good to use target-dependent
information.

llvm-svn: 60498
 2008-12-03 19:37:34 +00:00
Dan Gohman
444baea236 When looking for anti-dependences on the critical path, don't bother 
examining non-anti-dependence edges.

llvm-svn: 60496
 2008-12-03 19:32:26 +00:00
Dan Gohman
1a32dda4aa Add a comment about callee-saved registers. 
llvm-svn: 60495
 2008-12-03 19:30:13 +00:00
Dan Gohman
3f86b51333 Split foldMemoryOperand into public non-virtual and protected virtual 
parts, and add target-independent code to add/preserve
MachineMemOperands.

llvm-svn: 60488
 2008-12-03 18:43:12 +00:00
Dan Gohman
69cc2cbbff Rename isSimpleLoad to canFoldAsLoad, to better reflect its meaning. 
llvm-svn: 60487
 2008-12-03 18:15:48 +00:00
Duncan Sands
f52e518d05 Only check that the result of the mapping was not 
a new node if the node was actually remapped.

llvm-svn: 60482
 2008-12-03 12:36:16 +00:00
Rafael Espindola
cda011b5ad Fix bug 3140. 
Print a single parameter .file directive if we have an ELF target.

llvm-svn: 60480
 2008-12-03 11:01:37 +00:00
Dan Gohman
ae3ba45eb2 Add a sanity-check to tablegen to catch the case where isSimpleLoad 
is set but mayLoad is not set. Fix all the problems this turned up.

Change code to not use isSimpleLoad instead of mayLoad unless it
really wants isSimpleLoad.

llvm-svn: 60459
 2008-12-03 02:30:17 +00:00
Evan Cheng
e62150cae4 Remove a (what appears to be) overly strict assertion. Here is what happened: 
1. ppcf128 select is expanded to f64 select's.
2. f64 select operand 0 is an i1 truncate, it's promoted to i32 zero_extend.
3. f64 select is updated. It's changed back to a "NewNode" and being re-analyzed.
4. f64 select operands are being processed. Operand 0 is a "NewNode". It's being expunged out of ReplacedValues map.
5. ExpungeNode tries to remap f64 select and notice it's a "NewNode" and assert.
Duncan, please take a look. Thanks.

llvm-svn: 60443
 2008-12-02 21:57:09 +00:00
Scott Michel
9b0b28e021 Non-functional change: make custom lowering for truncate stylistically 
consistent with the way it's generally done in other places.

llvm-svn: 60439
 2008-12-02 19:55:08 +00:00
Dan Gohman
7e9daef644 Fix a typo in a comment. 
llvm-svn: 60434
 2008-12-02 19:27:20 +00:00
Owen Anderson
ecd5b5f2b2 Add support for folding spills into preceding defs when doing pre-alloc splitting. 
llvm-svn: 60433
 2008-12-02 18:53:47 +00:00
Dale Johannesen
54bdec238a One more transformation. 
llvm-svn: 60432
 2008-12-02 18:40:40 +00:00
Tilmann Scheller
318ccb0e62 make it possible to custom lower TRUNCATE (needed for the CellSPU target) 
llvm-svn: 60409
 2008-12-02 12:12:25 +00:00
Mon P Wang
6e1c6ad127 Removed some unnecessary code in widening. 
llvm-svn: 60406
 2008-12-02 07:35:08 +00:00
Evan Cheng
1718fd4375 Fix PR3124: overly strict assert. 
llvm-svn: 60392
 2008-12-02 02:15:36 +00:00
Dale Johannesen
8c76670b5a Add a few more transformations. 
llvm-svn: 60391
 2008-12-02 01:30:54 +00:00
Bill Wendling
2d59863d06 Expand getVTList, getNodeValueTypes, and SelectNodeTo to handle more value types. 
llvm-svn: 60381
 2008-12-01 23:28:22 +00:00
Duncan Sands
3d960941b1 There are no longer any places that require a 
MERGE_VALUES node with only one operand, so get
rid of special code that only existed to handle
that possibility.

llvm-svn: 60349
 2008-12-01 11:41:29 +00:00
Duncan Sands
6ed40141f7 Change the interface to the type legalization method 
ReplaceNodeResults: rather than returning a node which
must have the same number of results as the original
node (which means mucking around with MERGE_VALUES,
and which is also easy to get wrong since SelectionDAG
folding may mean you don't get the node you expect),
return the results in a vector.

llvm-svn: 60348
 2008-12-01 11:39:25 +00:00
Eli Friedman
c8228d263b Followup to r60283: optimize arbitrary width signed divisions as well 
as unsigned divisions.  Same caveats as before.

llvm-svn: 60284
 2008-11-30 06:35:39 +00:00
Eli Friedman
1b7fc154a5 Fix for PR2164: allow transforming arbitrary-width unsigned divides into 
multiplies.

Some more cleverness would be nice, though. It would be nice if we 
could do this transformation on illegal types.  Also, we would 
prefer a narrower constant when possible so that we can use a narrower
multiply, which can be cheaper.

llvm-svn: 60283
 2008-11-30 06:02:26 +00:00
Eli Friedman
bd0f57821a APIntify a test which is potentially unsafe otherwise, and fix the 
nearby FIXME.

I'm not sure what the right way to fix the Cell test was; if the 
approach I used isn't okay, please let me know.

llvm-svn: 60277
 2008-11-30 04:59:26 +00:00
Nick Lewycky
2c96bdd8d6 Silence a warning. 
Despite changing the order of evaluation, this doesn't actually change the
meaning of the statement.

llvm-svn: 60177
 2008-11-27 17:29:52 +00:00
Sanjiv Gupta
7ae1a84465 Removing redundant semicolons. No functionality change. 
llvm-svn: 60149
 2008-11-27 05:58:04 +00:00
Evan Cheng
3761143755 Avoid inserting noop's in the middle of a loop. 
llvm-svn: 60141
 2008-11-27 01:16:00 +00:00
Dale Johannesen
73bc0ba4c9 Add a missing case in visitADD. 
llvm-svn: 60137
 2008-11-27 00:43:21 +00:00
Sanjiv Gupta
80810f8c6b Allow custom lowering of ADDE/ADDC/SUBE/SUBC operations. 
llvm-svn: 60102
 2008-11-26 11:19:00 +00:00
Dan Gohman
3336b1f06b LiveRanges are represented as half-open ranges. Fix the findLiveInMBBs code 
and the LiveInterval.h top-level comment and accordingly. This fixes blocks
having spurious live-in registers in boundary cases.

llvm-svn: 60092
 2008-11-26 05:50:31 +00:00
Bill Wendling
b4ff5322c1 A simplification for checking whether the signs of the operands and sum differ. Thanks, Duncan. 
llvm-svn: 60043
 2008-11-25 19:40:17 +00:00
Dan Gohman
bb1298e6d4 Suppress warnings. 
llvm-svn: 60041
 2008-11-25 18:53:54 +00:00
Bill Wendling
bf592fccd4 Now with the correct type for the 0. 
llvm-svn: 60016
 2008-11-25 08:19:22 +00:00
Bill Wendling
d06c625b95 Get rid of unused variable. 
llvm-svn: 60015
 2008-11-25 08:13:20 +00:00
Bill Wendling
4498b47677 Hacker's Delight says, "Signed integer overflow of addition occurs if and only 
if the operands have the same sign and the sum has sign opposite to that of the
operands."

llvm-svn: 60014
 2008-11-25 08:12:19 +00:00
Dan Gohman
ad2134d45d Initial support for anti-dependence breaking. Currently this code does not 
introduce any new spilling; it just uses unused registers.

Refactor the SUnit topological sort code out of the RRList scheduler and
make use of it to help with the post-pass scheduler.

llvm-svn: 59999
 2008-11-25 00:52:40 +00:00
Bill Wendling
66835479d7 - Make lowering of "add with overflow" customizable by back-ends. 
- Mark "add with overflow" as having a custom lowering for X86. Give it a null
  lowering representation for now.

llvm-svn: 59971
 2008-11-24 19:21:46 +00:00
Dan Gohman
5cc12a8e31 Check in the rest of this change. The isAntiDep flag needs to be passed 
to removePred because an SUnit can both data-depend and anti-depend
on the same SUnit.

llvm-svn: 59969
 2008-11-24 17:33:52 +00:00