Displaying 4 results from an estimated 4 matches for "anticipatable".
2009 Mar 13
0
[LLVMdev] Shrink Wrapping - RFC and initial implementation
...lity"
(Avail{In,Out} sets) to find the points such that all incoming paths
contain
defs or uses of a CSR. We place a spill for a CSR at the earliest point
leading to a sequence of uses (a contiguous set of blocks containing
uses),
so a block B will get a spill for CSR R if R is anticipatable at B and
_not_
anticipatable at any predecessor of B. If R is used and redefined in a
block,
we have to avoid placing another spill in that block, (it was spilled
earlier),
so in addition to the above condition, R must not be available at B.
Determining restore placement is the mirr...
2009 Mar 12
4
[LLVMdev] Shrink Wrapping - RFC and initial implementation
Hi John,
It looks pretty good. Thanks for working on this. Some comments:
1. Some of the functions that you introduced, e.g. stringifyCSRegSet
probably ought to be "static" and ifdef'ed out when NDEBUG is defined.
2. + // DEBUG
+ if (! MBB->empty() && ! CSRUsed[MBB].intersects(restore)) {
+ MachineInstr* MI = BeforeI;
+ DOUT <<
2009 Mar 18
1
[LLVMdev] Shrink Wrapping - RFC and initial implementation
...to find the points such that all incoming
> paths contain
> defs or uses of a CSR. We place a spill for a CSR at the
> earliest point
> leading to a sequence of uses (a contiguous set of blocks
> containing uses),
> so a block B will get a spill for CSR R if R is anticipatable at
> B and _not_
> anticipatable at any predecessor of B. If R is used and
> redefined in a block,
> we have to avoid placing another spill in that block, (it was
> spilled earlier),
> so in addition to the above condition, R must not be available
> at B.
&g...
2009 Mar 18
1
[LLVMdev] Shrink Wrapping - RFC and initial implementation
...Out} sets) to find the points such that all incoming paths
> contain
> defs or uses of a CSR. We place a spill for a CSR at the earliest point
> leading to a sequence of uses (a contiguous set of blocks containing
> uses),
> so a block B will get a spill for CSR R if R is anticipatable at B and
> _not_
> anticipatable at any predecessor of B. If R is used and redefined in a
> block,
> we have to avoid placing another spill in that block, (it was spilled
> earlier),
> so in addition to the above condition, R must not be available at B.
> Determ...