Difference between revisions of "Instruction Set/rescue"
Line 1: | Line 1: | ||
{{DISPLAYTITLE:rescue}} | {{DISPLAYTITLE:rescue}} | ||
− | <div style="font-size:80%;line-height:90%;margin-bottom:2em">[[Speculation|speculable]] [[Encoding|flow stream]] [[Decode|flow block]] [[Phasing| | + | <div style="font-size:80%;line-height:90%;margin-bottom:2em">[[Speculation|speculable]] [[Encoding|flow stream]] [[Decode|flow block]] [[Phasing|rescue phase]] operation <br /> |
'''native on:''' [[Cores|all]]<br /> | '''native on:''' [[Cores|all]]<br /> | ||
</div> | </div> | ||
Line 16: | Line 16: | ||
---- | ---- | ||
− | <code style="font-size:130%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates# | + | <code style="font-size:130%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#constant|constant]]</span> <span title="manifest constant">args</span></i>) → [[Domains|ops]] r<sub>0</sub> ...</code> |
<div style="font-size:80%;line-height:90%;margin-bottom:2em">'''operands:''' [[Operands#likeInv|like Inv :]] | <div style="font-size:80%;line-height:90%;margin-bottom:2em">'''operands:''' [[Operands#likeInv|like Inv :]] | ||
</div> | </div> | ||
Line 36: | Line 36: | ||
constant">ops</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">ops</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">ops</span></i>)</code> | constant">ops</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">ops</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">ops</span></i>)</code> | ||
<br /> | <br /> | ||
+ | '''encoding:''' | ||
+ | <code style="font-size:100%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">args</span></i>)</code> | ||
+ | , | ||
+ | <code style="font-size:100%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">lit0</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">off0</span></i>)</code> | ||
+ | , | ||
+ | <code style="font-size:100%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">lit0</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">lit1</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest | ||
+ | constant">off0</span></i>)</code> | ||
+ | , | ||
+ | <code style="font-size:100%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">lit0</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">lit1</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">lit2</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">off0</span></i>)</code> | ||
+ | <br /> | ||
+ | |||
{| class="mw-collapsible mw-collapsed wikitable" data-expandtext="▸" data-collapsetext="▾" | {| class="mw-collapsible mw-collapsed wikitable" data-expandtext="▸" data-collapsetext="▾" | ||
! [[Cores|Core]] || [[Slot|In Slots]]|| [[Latency|Latencies]] | ! [[Cores|Core]] || [[Slot|In Slots]]|| [[Latency|Latencies]] | ||
Line 41: | Line 52: | ||
| [[Cores/Tin/Encoding#rescue|Tin]] || F0 || 1 | | [[Cores/Tin/Encoding#rescue|Tin]] || F0 || 1 | ||
|- | |- | ||
− | | [[Cores/Copper/Encoding#rescue|Copper]] || F0 | + | | [[Cores/Copper/Encoding#rescue|Copper]] || F0 || 1 |
|- | |- | ||
| [[Cores/Silver/Encoding#rescue|Silver]] || F0 F1 F2 || 1 | | [[Cores/Silver/Encoding#rescue|Silver]] || F0 F1 F2 || 1 | ||
|- | |- | ||
− | | [[Cores/Gold/Encoding#rescue|Gold]] || F0 | + | | [[Cores/Gold/Encoding#rescue|Gold]] || F0 || 1 |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
|} | |} | ||
---- | ---- | ||
− | <code style="font-size:130%"><b style="color:#050">rescue</b>(<span style="color:#009">[[ | + | <code style="font-size:130%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">args</span></i>) → [[Domains|ops]] r<sub>0</sub> ...</code> |
<div style="font-size:80%;line-height:90%;margin-bottom:2em">'''operands:''' [[Operands#likeInv|like Inv :]] | <div style="font-size:80%;line-height:90%;margin-bottom:2em">'''operands:''' [[Operands#likeInv|like Inv :]] | ||
</div> | </div> | ||
Line 78: | Line 85: | ||
| [[Cores/Tin/Encoding#rescue|Tin]] || F0 || 1 | | [[Cores/Tin/Encoding#rescue|Tin]] || F0 || 1 | ||
|- | |- | ||
− | | [[Cores/Copper/Encoding#rescue|Copper]] || F0 | + | | [[Cores/Copper/Encoding#rescue|Copper]] || F0 || 1 |
|- | |- | ||
| [[Cores/Silver/Encoding#rescue|Silver]] || F0 F1 F2 || 1 | | [[Cores/Silver/Encoding#rescue|Silver]] || F0 F1 F2 || 1 | ||
|- | |- | ||
− | | [[Cores/Gold/Encoding#rescue|Gold]] || F0 | + | | [[Cores/Gold/Encoding#rescue|Gold]] || F0 || 1 |
+ | |} | ||
+ | |||
+ | ---- | ||
+ | <code style="font-size:130%"><b style="color:#050">rescue</b>() → [[Domains|ops]] r<sub>0</sub> ...</code> | ||
+ | <div style="font-size:80%;line-height:90%;margin-bottom:2em">'''operands:''' [[Operands#likeInv|like Inv :]] | ||
+ | </div> | ||
+ | <br /> | ||
+ | |||
+ | '''encoding:''' | ||
+ | <code style="font-size:100%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">ops</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">c</span></i>)</code> | ||
+ | <br /> | ||
+ | '''encoding:''' | ||
+ | <code style="font-size:100%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">ops</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">c</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest | ||
+ | constant">ops</span></i>)</code> | ||
+ | <br /> | ||
+ | '''encoding:''' | ||
+ | <code style="font-size:100%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">ops</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">c</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest | ||
+ | constant">ops</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">ops</span></i>)</code> | ||
+ | <br /> | ||
+ | '''encoding:''' | ||
+ | <code style="font-size:100%"><b style="color:#050">rescue</b>(<i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">ops</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">c</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest | ||
+ | constant">ops</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">ops</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">ops</span></i>)</code> | ||
+ | <br /> | ||
+ | {| class="mw-collapsible mw-collapsed wikitable" data-expandtext="▸" data-collapsetext="▾" | ||
+ | ! [[Cores|Core]] || [[Slot|In Slots]]|| [[Latency|Latencies]] | ||
|- | |- | ||
− | | [[Cores/ | + | | [[Cores/Tin/Encoding#rescue|Tin]] || F0 || 1 |
+ | |- | ||
+ | | [[Cores/Copper/Encoding#rescue|Copper]] || F0 || 1 | ||
+ | |- | ||
+ | | [[Cores/Silver/Encoding#rescue|Silver]] || F0 F1 F2 || 1 | ||
|- | |- | ||
− | | [[Cores/ | + | | [[Cores/Gold/Encoding#rescue|Gold]] || F0 || 1 |
|} | |} | ||
[[Instruction_Set|Instruction Set, alphabetical]], [[Instruction Set by Category]], [http://millcomputing.com/instructions.html?collapse=7#ops Instruction Set, sortable, filterable] | [[Instruction_Set|Instruction Set, alphabetical]], [[Instruction Set by Category]], [http://millcomputing.com/instructions.html?collapse=7#ops Instruction Set, sortable, filterable] |
Latest revision as of 13:24, 23 February 2021
Move belt items to the front of the belt.
This is an optimization of the conform operation used whenever the belt arguments don't need to be reordered. It only uses a bitmask to select which belt items to be saved to the front of the belt and thus is a much shorter encoding.
For this reason it is also more suitable to rescue belt items from falling off the end of the belt and be discarded within an EBB for the next instruction. There is no need to reorder the items for different targets, the ordering can be fully statically scheduled in the operand indices themselves for the one possible case.
Rescue invalidates all values that are not rescued.
Since belt items further in the back are much more likely to need rescuing the bit mask to select the belt items to be moved to the front actually starts from the back of the belt to allow for smaller manifest constants.
related operations: conform
rescue(constant args) → ops r0 ...
encoding:
rescue(off ops, count c)
encoding:
rescue(off ops, count c, lit ops)
encoding:
rescue(off ops, count c, lit ops, lit ops)
encoding:
rescue(off ops, count c, lit ops, lit ops, lit ops)
encoding:
rescue(off args)
,
rescue(off lit0, lit off0)
,
rescue(off lit0, lit lit1, lit off0)
,
rescue(off lit0, lit lit1, lit lit2, lit off0)
Core | In Slots | Latencies |
---|---|---|
Tin | F0 | 1 |
Copper | F0 | 1 |
Silver | F0 F1 F2 | 1 |
Gold | F0 | 1 |
encoding:
rescue(off ops, count c)
encoding:
rescue(off ops, count c, lit ops)
encoding:
rescue(off ops, count c, lit ops, lit ops)
encoding:
rescue(off ops, count c, lit ops, lit ops, lit ops)
Core | In Slots | Latencies |
---|---|---|
Tin | F0 | 1 |
Copper | F0 | 1 |
Silver | F0 F1 F2 | 1 |
Gold | F0 | 1 |
rescue() → ops r0 ...
encoding:
rescue(off ops, count c)
encoding:
rescue(off ops, count c, lit ops)
encoding:
rescue(off ops, count c, lit ops, lit ops)
encoding:
rescue(off ops, count c, lit ops, lit ops, lit ops)
Core | In Slots | Latencies |
---|---|---|
Tin | F0 | 1 |
Copper | F0 | 1 |
Silver | F0 F1 F2 | 1 |
Gold | F0 | 1 |
Instruction Set, alphabetical, Instruction Set by Category, Instruction Set, sortable, filterable