Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -60,8 +60,8 @@ Copyright (c) 2025 Intel Corporation. All rights reserved.

[width="40%",cols="25,25"]
|========================================
| Last Modified Date | 2025-05-08
| Revision | 0.11
| Last Modified Date | 2025-08-13
| Revision | 0.12
|========================================


Expand Down Expand Up @@ -476,7 +476,7 @@ See *Specialization*.
1+|Capability: +
*{fnvar_capability_name}*

| 4 + variable | {spec_const_capabilities_token}
| 3 + variable | {spec_const_capabilities_token}
| '<id>' +
'Result Type'
| 'Result <id>'
Expand All @@ -494,7 +494,7 @@ Add to Section 3.56.9, Function Instructions:
+
Make a copy of 'Operand X' if 'Condition X' is *true*.

From all 'Condition X'-'Operand X' pairs, 'exactly' one 'Condition X' must be *true*. Consequently, at least one 'Condition X'-'Operand X' pair must be present.
From all 'Condition X'-'Operand X' pairs, exactly one 'Condition X' must be *true*. Consequently, at least one 'Condition X'-'Operand X' pair must be present.

Each 'Condition X' must be the result of a specialization constant of scalar 'Boolean' type.

Expand All @@ -505,7 +505,7 @@ Add to Section 3.56.9, Function Instructions:
1+|Capability: +
*{spec_capability_name}*

| 5 + variable | {conditional_copy_token}
| 3 + variable | {conditional_copy_token}
| '<id>' +
'Result Type'
| 'Result <id>'
Expand All @@ -529,7 +529,7 @@ If the *{spec_capability_name}* capability is declared:
. For *{conditional_entry_point_name}* and *{conditional_capability_name}*, the same validation rules apply as to their unconditional counterparts, with the exception that a module can contain multiple *{conditional_entry_point_name}* instructions with the same name and 'Execution Model'.

. *{conditional_copy_name}*:
.. Exactly one 'Condition' must be *true*.
.. Exactly one 'Condition X' operand must be *true*.
.. The types of 'Operand' operands must not be *OpTypeVoid* and must match the 'Result Type'.
.. All 'Condition X' operands must be results of specialization constant of a scalar 'Boolean type'.

Expand Down Expand Up @@ -762,4 +762,5 @@ Given the target `x86_64`, features `avx2,avx512f` and architecture `intel_cpu_s
|0.9|2025-04-02|Jakub Žádník|Add conditional extension and specialization by capabilities
|0.10|2025-04-22|Jakub Žádník|Added more precise wording regarding architecture comparisons
|0.11|2025-05-08|Jakub Žádník|Misc corrections and clarifications
|0.12|2025-08-13|Jakub Žádník|Fix word counts to match consumer impl
|========================================