Difference between revisions of "Instruction Set/callfl1"

From Mill Computing Wiki
Jump to: navigation, search
 
(2 intermediate revisions by the same user not shown)
Line 4:Line 4:
 
</div>
 
</div>
  
function call
+
Call predicated function with one return value on false.
 +
 
 +
Everything that applies to [[Instruction_Set/call1|call1]] applies also here. The difference is the predicate to make it a conditional call. And there is one less possible argument in all the encodings.
 +
 
 +
<b>related operations:</b>  [[Instruction_Set/call1|call1]], [[Instruction_Set/calltr1|calltr1]], [[Instruction_Set/retn|retn]]
 +
 
 
----
 
----
<code style="font-size:130%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <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  
+
<code style="font-size:130%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">op0</span>, <span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">op1</span>, <i><span style="color:#009">[[Immediates#width|width]]</span> <span title="data width and
            arguments from calls window">args</span>) &#8594; [[Domains|op]] r</code>
+
            vector length (flow)">width0</span></i>, <span style="color:#009">[[Domains#args|args]]</span> <span title="zero or more call arguments from calls window">args</span>) &#8594; [[Domains|op]] r</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 13:Line 18:
  
 
'''encoding:'''  
 
'''encoding:'''  
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <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">argv</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">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">count0</span>, <span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">op0</span>, <i><span style="color:#009">[[Immediates#width|width]]</span> <span title="data width and
 +
            vector length (flow)">op1</span></i>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">off0</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">width0</span></i>)</code>
 
,  
 
,  
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <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">argv</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>
+
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">count0</span>, <span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">op0</span>, <i><span style="color:#009">[[Immediates#width|width]]</span> <span title="data width and
 +
            vector length (flow)">op1</span></i>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest constant">lit0</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">off0</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">width0</span></i>)</code>
 
<br />
 
<br />
  
Line 23:Line 30:
 
| [[Cores/Tin/Encoding#callfl1|Tin]] || F0 || 1
 
| [[Cores/Tin/Encoding#callfl1|Tin]] || F0 || 1
 
|-
 
|-
| [[Cores/Copper/Encoding#callfl1|Copper]] || F0 F1 || 1
+
| [[Cores/Copper/Encoding#callfl1|Copper]] || F0 || 1
 
|-
 
|-
 
| [[Cores/Silver/Encoding#callfl1|Silver]] || F0 F1 F2 || 1
 
| [[Cores/Silver/Encoding#callfl1|Silver]] || F0 F1 F2 || 1
 
|-
 
|-
| [[Cores/Gold/Encoding#callfl1|Gold]] || F0 F1 F2 F3 || 1
+
| [[Cores/Gold/Encoding#callfl1|Gold]] || F0 || 1
|-
+
| [[Cores/Decimal8/Encoding#callfl1|Decimal8]] || F0 F1 F2 || 1
+
|-
+
| [[Cores/Decimal16/Encoding#callfl1|Decimal16]] || F0 F1 F2 || 1
+
 
|}
 
|}
  
 
----
 
----
<code style="font-size:130%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <i><span style="color:#009">[[Immediates#lbl|lbl]]</span> <span title="name of label or function">target</span></i>, <span style="color:#009">[[Domains#args|args]]</span> <span title="zero or more call  
+
<code style="font-size:130%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">op0</span>, <i><span style="color:#009">[[Immediates#lbl|lbl]]</span> <span title="name of label or function">off0</span></i>, <i><span style="color:#009">[[Immediates#width|width]]</span> <span title="data width and vector
            arguments from calls window">args</span>) &#8594; [[Domains|op]] r</code>
+
            length (flow)">width0</span></i>, <span style="color:#009">[[Domains#args|args]]</span> <span title="zero or more call arguments from calls window">args</span>) &#8594; [[Domains|op]] r</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 45:
  
 
'''encoding:'''  
 
'''encoding:'''  
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <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  
+
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">count0</span>, <i><span style="color:#009">[[Immediates#width|width]]</span> <span title="data width and vector length (flow)">op0</span></i>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest  
            args">argc</span></i>)</code>
+
            constant">off0</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">width0</span></i>)</code>
 
,  
 
,  
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <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  
+
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">count0</span>, <i><span style="color:#009">[[Immediates#width|width]]</span> <span title="data width and vector length (flow)">op0</span></i>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest  
            args">argc</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">argv</span></i>)</code>
+
            constant">lit0</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">off0</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">width0</span></i>)</code>
 
,  
 
,  
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">q</span>, <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  
+
<code style="font-size:100%"><b style="color:#050">callfl1</b>(<span style="color:#009">[[Domains#op|op]]</span> <span title="call argument from calls window">count0</span>, <i><span style="color:#009">[[Immediates#width|width]]</span> <span title="data width and vector length (flow)">op0</span></i>, <i><span style="color:#009">[[Immediates#off|off]]</span> <span title="manifest  
            args">argc</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">argv</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">argv</span></i>)</code>
+
            constant">lit0</span></i>, <i><span style="color:#009">[[Immediates#count|count]]</span> <span title="morsel-sized count of polyadic args">lit1</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">off0</span></i>, <i><span style="color:#009">[[Immediates#lit|lit]]</span> <span title="morsel-sized manifest constant">width0</span></i>)</code>
 
<br />
 
<br />
  
Line 57:Line 60:
 
| [[Cores/Tin/Encoding#callfl1|Tin]] || F0 || 1
 
| [[Cores/Tin/Encoding#callfl1|Tin]] || F0 || 1
 
|-
 
|-
| [[Cores/Copper/Encoding#callfl1|Copper]] || F0 F1 || 1
+
| [[Cores/Copper/Encoding#callfl1|Copper]] || F0 || 1
 
|-
 
|-
 
| [[Cores/Silver/Encoding#callfl1|Silver]] || F0 F1 F2 || 1
 
| [[Cores/Silver/Encoding#callfl1|Silver]] || F0 F1 F2 || 1
 
|-
 
|-
| [[Cores/Gold/Encoding#callfl1|Gold]] || F0 F1 F2 F3 || 1
+
| [[Cores/Gold/Encoding#callfl1|Gold]] || F0 || 1
|-
+
| [[Cores/Decimal8/Encoding#callfl1|Decimal8]] || F0 F1 F2 || 1
+
|-
+
| [[Cores/Decimal16/Encoding#callfl1|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:08, 23 February 2021

realizing  flow stream  flow block  call phase   operation  

native on: all

Call predicated function with one return value on false.

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

related operations: call1, calltr1, retn


callfl1(op op0, op op1, width width0, args args) → op r

operands: like Inv :


encoding: callfl1(op count0, op op0, width op1, off off0, count width0) , callfl1(op count0, op op0, width op1, off lit0, count off0, lit width0)

Core In Slots Latencies
Tin F0 1
Copper F0 1
Silver F0 F1 F2 1
Gold F0 1

callfl1(op op0, lbl off0, width width0, args args) → op r

operands: like Inv :


encoding: callfl1(op count0, width op0, off off0, count width0) , callfl1(op count0, width op0, off lit0, count off0, lit width0) , callfl1(op count0, width op0, off lit0, count lit1, lit off0, lit width0)

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