Difference between revisions of "Instruction Set/innerfl"

From Mill Computing Wiki
Jump to: navigation, search
 
(2 intermediate revisions by the same user not shown)
Line 1:Line 1:
 
{{DISPLAYTITLE:innerfl}}
 
{{DISPLAYTITLE:innerfl}}
<div style="font-size:80%;line-height:90%;margin-bottom:2em">[[Speculation|realizing]]&nbsp;&nbsp;[[Encoding|flow stream]]&nbsp;&nbsp;[[Decode|flow block]]&nbsp;&nbsp;[[Phasing|call phase]]&nbsp;&nbsp; operation&nbsp;&nbsp;<br />
+
<div style="font-size:80%;line-height:90%;margin-bottom:2em">[[Speculation|realizing]]&nbsp;&nbsp;[[Encoding|flow stream]]&nbsp;&nbsp;[[Decode|flow block]]&nbsp;&nbsp;[[Phasing|transfer phase]]&nbsp;&nbsp; operation&nbsp;&nbsp;<br />
 
'''native on:''' [[Cores|all]]<br />
 
'''native on:''' [[Cores|all]]<br />
 
</div>
 
</div>
  
enter a loop
+
Predicated loop on false condition.
----
+
<code style="font-size:130%"><b style="color:#050">innerfl</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">n</span></i>, <span style="color:#009">[[Domains#p|p]]</span> <span title="call argument from
+
            calls window">target</span>, <span style="color:#009">[[Domains#args|args]]</span> <span title="zero or more call arguments from calls window">args</span>) &#8594; [[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:'''
+
Everything that applies to [[Instruction_Set/inner|inner]] applies also here. The difference is the predicate to make it a conditional inner. And there is one less possible argument in all the encodings.
<code style="font-size:100%"><b style="color:#050">innerfl</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">n</span></i>, <span style="color:#009">[[Domains#p|p]]</span> <span title="call argument from
+
            calls window">target</span>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">argc</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">args</span></i>)</code>
+
<br />
+
'''alternate encoding:''' [[Instruction_Set/innerfl0|innerfl0]], [[Instruction_Set/innerfl1|innerfl1]], [[Instruction_Set/innerfln|innerfln]], <br />
+
  
{| class="mw-collapsible mw-collapsed wikitable" data-expandtext="&#9656;" data-collapsetext="&#9662;"
+
<b>related operations:</b>  [[Instruction_Set/inner|inner]], [[Instruction_Set/innertr|innertr]]
! [[Cores|Core]] || [[Slot|In Slots]]|| [[Latency|Latencies]]
+
|-
+
| [[Cores/Tin/Encoding#innerfl|Tin]] || F0 || 1
+
|-
+
| [[Cores/Copper/Encoding#innerfl|Copper]] || F0 F1 || 1
+
|-
+
| [[Cores/Silver/Encoding#innerfl|Silver]] || F0 F1 F2 || 1
+
|-
+
| [[Cores/Gold/Encoding#innerfl|Gold]] || F0 F1 F2 F3 || 1
+
|-
+
| [[Cores/Decimal8/Encoding#innerfl|Decimal8]] || F0 F1 F2 || 1
+
|-
+
| [[Cores/Decimal16/Encoding#innerfl|Decimal16]] || F0 F1 F2 || 1
+
|}
+
  
 
----
 
----
<code style="font-size:130%"><b style="color:#050">innerfl</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">n</span></i>, <i><span style="color:#009">[[Immediates#lbl|lbl]]</span> <span title="name of label or  
+
<code style="font-size:130%"><b style="color:#050">innerfl</b>(<span style="color:#009">[[Domains#pred|pred]]</span> <span title="late-evaluated 1-bit predicate from belt">op0</span>, <i><span style="color:#009">[[Immediates#lbl|lbl]]</span> <span title="name of label or function">off0</span></i>, <span style="color:#009">[[Domains#ops|ops]]</span> <span title="one or more  
            function">target</span></i>, <span style="color:#009">[[Domains#args|args]]</span> <span title="zero or more call arguments from calls window">args</span>) &#8594; [[Domains|ops]] r<sub>0</sub> ...</code>
+
            return arguments">args</span>)</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 42:Line 18:
  
 
'''encoding:'''  
 
'''encoding:'''  
<code style="font-size:100%"><b style="color:#050">innerfl</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">n</span></i>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">target</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">argc</span></i>)</code>
+
<code style="font-size:100%"><b style="color:#050">innerfl</b>(<span style="color:#009">[[Domains#pred|pred]]</span> <span title="late-evaluated 1-bit predicate from belt">count0</span>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">op0</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of
 +
            polyadic args">off0</span></i>)</code>
 +
,
 +
<code style="font-size:100%"><b style="color:#050">innerfl</b>(<span style="color:#009">[[Domains#pred|pred]]</span> <span title="late-evaluated 1-bit predicate from belt">count0</span>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">op0</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of
 +
            polyadic args">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">innerfl</b>(<span style="color:#009">[[Domains#pred|pred]]</span> <span title="late-evaluated 1-bit predicate from belt">count0</span>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">op0</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of  
 +
            polyadic args">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>
 
<br />
 
<br />
'''encoding:'''
 
<code style="font-size:100%"><b style="color:#050">innerfl</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">n</span></i>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">target</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">argc</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">argv</span></i>)</code>
 
<br />
 
'''alternate encoding:''' [[Instruction_Set/innerfl0|innerfl0]], [[Instruction_Set/innerfl1|innerfl1]], [[Instruction_Set/innerfln|innerfln]], <br />
 
  
 
{| class="mw-collapsible mw-collapsed wikitable" data-expandtext="&#9656;" data-collapsetext="&#9662;"
 
{| class="mw-collapsible mw-collapsed wikitable" data-expandtext="&#9656;" data-collapsetext="&#9662;"
Line 54:Line 33:
 
| [[Cores/Tin/Encoding#innerfl|Tin]] || F0 || 1
 
| [[Cores/Tin/Encoding#innerfl|Tin]] || F0 || 1
 
|-
 
|-
| [[Cores/Copper/Encoding#innerfl|Copper]] || F0 F1 || 1
+
| [[Cores/Copper/Encoding#innerfl|Copper]] || F0 || 1
 
|-
 
|-
 
| [[Cores/Silver/Encoding#innerfl|Silver]] || F0 F1 F2 || 1
 
| [[Cores/Silver/Encoding#innerfl|Silver]] || F0 F1 F2 || 1
 
|-
 
|-
| [[Cores/Gold/Encoding#innerfl|Gold]] || F0 F1 F2 F3 || 1
+
| [[Cores/Gold/Encoding#innerfl|Gold]] || F0 || 1
|-
+
| [[Cores/Decimal8/Encoding#innerfl|Decimal8]] || F0 F1 F2 || 1
+
|-
+
| [[Cores/Decimal16/Encoding#innerfl|Decimal16]] || F0 F1 F2 || 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 14:01, 23 February 2021

realizing  flow stream  flow block  transfer phase   operation  

native on: all

Predicated loop on false condition.

Everything that applies to inner applies also here. The difference is the predicate to make it a conditional inner. And there is one less possible argument in all the encodings.

related operations: inner, innertr


innerfl(pred op0, lbl off0, ops args)

operands: like Inv :


encoding: innerfl(pred count0, off op0, count off0) , innerfl(pred count0, off op0, count lit0, lit off0) , innerfl(pred count0, off op0, count lit0, lit lit1, lit off0)

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