B.FPATR

Latches complete-bundle matrix post-processing mode, reduction enables, and fixed-point descriptor controls.

PTO-BLOCK-B-FPATR

Assembly syntax

B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn

Assembler symbols

Assembly fields and architectural roles
Field	Bits	Signedness	Architectural role	Encoded zero
`PreQuantMode`	6	encoding-defined	closed Matrix destination pre-quantization and output-type selector	No pre-quantization; D retains the FP32, S32, or U32 accumulator type.
`ReluMode`	3	encoding-defined	pre-conversion activation multiplier selector	No activation.
`GroupNCode`	4	encoding-defined	group maximum column-count selector	No group maximum; GroupMaxEn must also be zero.
`RowMaxEn`	1	encoding-defined	row maximum input/output enable	No RowMax input or output.
`GroupMaxEn`	1	encoding-defined	group maximum output enable	No GroupMax output.
`RowMaxInit`	1	encoding-defined	row maximum initialization from RowMaxIn enable	Do not initialize RowMax from RowMaxIn.
`MaxAbsEn`	1	encoding-defined	maximum-absolute-value reduction selector	Use signed maximum rather than maximum absolute value for enabled reductions.
`Func`	3	encoding-defined	fixed B.FPATR function discriminator equal to 2	—
`ElementWiseEn`	1	encoding-defined	fixed complete-bundle selector equal to zero	Fixed zero selects complete-bundle Matrix post-processing.
`TransA`	1	encoding-defined	logical transpose enable for a Shared A primary	Do not transpose Shared A.
`TransB`	1	encoding-defined	logical transpose enable for a Shared B primary	Do not transpose Shared B.
`CScaleEn`	1	encoding-defined	per-row FP32 accumulator C scaling enable	Do not scale the explicit FP32 accumulator C.
`Reserved`	1	encoding-defined	fixed-zero reserved field	Bit 10 is fixed zero; every nonzero encoding is reserved.
`Opc1`	3	encoding-defined	fixed command-class discriminator equal to 2	—
`Opcode`	3	encoding-defined	fixed block-attribute opcode discriminator equal to 1	—
`W`	1	encoding-defined	fixed 32-bit command-width discriminator equal to 1	—

Encoding

Loading WaveDrom diagram… The encoding table and WaveJSON remain available below.

Encoding fields as an accessible table

Generated encoding fields for B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn
Decoded item	Bit range	Value
PreQuantMode	31:26	variable
ReluMode	25:23	variable
GroupNCode	22:19	variable
RowMaxEn	18	variable
GroupMaxEn	17	variable
RowMaxInit	16	variable
MaxAbsEn	15	variable
Func	14:12	0b010
ElementWiseEn	11	0
Reserved	10	0
CScaleEn	9	variable
TransB	8	variable
TransA	7	variable
Opc1	6:4	0b010
Opcode	3:1	0b001
W	0	1

WaveJSON source

{
  "reg": [
    {
      "bits": 1,
      "name": "W",
      "attr": "1"
    },
    {
      "bits": 3,
      "name": "Opcode",
      "attr": "0b001"
    },
    {
      "bits": 3,
      "name": "Opc1",
      "attr": "0b010"
    },
    {
      "bits": 1,
      "name": "TransA"
    },
    {
      "bits": 1,
      "name": "TransB"
    },
    {
      "bits": 1,
      "name": "CScaleEn"
    },
    {
      "bits": 1,
      "name": "Reserved",
      "attr": "0"
    },
    {
      "bits": 1,
      "name": "ElementWiseEn",
      "attr": "0"
    },
    {
      "bits": 3,
      "name": "Func",
      "attr": "0b010"
    },
    {
      "bits": 1,
      "name": "MaxAbsEn"
    },
    {
      "bits": 1,
      "name": "RowMaxInit"
    },
    {
      "bits": 1,
      "name": "GroupMaxEn"
    },
    {
      "bits": 1,
      "name": "RowMaxEn"
    },
    {
      "bits": 4,
      "name": "GroupNCode"
    },
    {
      "bits": 3,
      "name": "ReluMode"
    },
    {
      "bits": 6,
      "name": "PreQuantMode"
    }
  ],
  "config": {
    "bits": 32,
    "fontsize": 13,
    "hspace": 900,
    "lanes": 1,
    "offset": 0
  }
}

B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn

Instruction contract

Operands and parameters

PreQuantMode: closed Matrix destination pre-quantization and output-type selector
ReluMode: pre-conversion activation multiplier selector
GroupNCode: group maximum column-count selector
RowMaxEn: row maximum input/output enable
GroupMaxEn: group maximum output enable
RowMaxInit: row maximum initialization from RowMaxIn enable
MaxAbsEn: maximum-absolute-value reduction selector
Func: fixed B.FPATR function discriminator equal to 2
ElementWiseEn: fixed complete-bundle selector equal to zero
TransA: logical transpose enable for a Shared A primary
TransB: logical transpose enable for a Shared B primary
CScaleEn: per-row FP32 accumulator C scaling enable
Reserved: fixed-zero reserved field
Opc1: fixed command-class discriminator equal to 2
Opcode: fixed block-attribute opcode discriminator equal to 1
W: fixed 32-bit command-width discriminator equal to 1

Constraints, checks, and faults

PreQuantMode accepts exactly codes 0..5, 12..13, 16..20, 23..28, and 32..39; all other six-bit codes are reserved.
Each nonzero PreQuantMode accepts exactly its assigned S32 or FP32 accumulator class; code zero accepts FP32, S32, or U32 and preserves that type.
ReluMode codes 0..3 select None, ReLU, scalar LReLU/PReLU, and vector PReLU; codes 4..7 are reserved.
GroupNCode codes 0..9 select 0, 8, 16, 32, 48, 64, 80, 96, 112, and 128 columns; codes 10..15 are reserved.
RowMaxInit requires RowMaxEn. GroupMaxEn requires nonzero GroupNCode and nonzero GroupNCode requires GroupMaxEn. MaxAbsEn requires RowMaxEn or GroupMaxEn.
TransA and TransB are independent one-bit controls accepted only when the corresponding A or B primary is Shared. CScaleEn is accepted only by FP32 TMATMUL.ACC and TMATMULMX.ACC.
Func=2, ElementWiseEn=0, Reserved[10]=0, Opc1=2, Opcode=1, and W=1 are fixed encoding discriminators.
Matrix B.DATR supplies only destination conversion controls when B.FPATR is present: None requires RMode=NONE and Sat=0; fixed floating modes require RMode=NONE; fixed shift modes require RMode=NONE and Sat=0; programmable integer modes retain the complete rounding selector and final clamp/wrap control.
The derived scalar/vector parameter count, Local source count, and Local destination count must fit the complete-bundle schema without duplicate destinations or illegal source/destination aliases.
Missing, duplicate, or non-CUBE-Matrix use raises Fault_BundleControl before operand consumption, allocation, payload, or destination effects.
Decode-reserved field values do not decode and raise Fault_IllegalInstruction. Accepted encodings with inconsistent reduction enables, invalid B.DATR conversion controls, invalid parameters, malformed operand streams, illegal aliases, or invalid derived shapes raise Fault_TileLegality before effects.
Fixed-bit mismatch does not decode as B.FPATR and is rejected by normal command decoding before this handler executes.

State reads, writes, and result

Latch the accepted fixed-point post-processing descriptor once for the active block; bundle reset clears its presence and every field, including TransA, TransB, and CScaleEn.
Trap save and recovery preserve the complete latched descriptor with the pending block.
Successful execution selects any activation-dependent multiplier before the destination conversion, preserves raw optional reductions, and atomically commits all enabled outputs through the numeric-profile hook.
none
Complete field, B.DATR, operand-schema, alias, shape, and allocation preflight precedes every source consumption and destination effect.
D, RowMaxOut, and GroupMaxOut are published as one atomic complete-block output group; rejection exposes none of them.

ASL pseudocode

Decode and Operation come directly from the instruction owner and remain separated by execution phase.

Decode ASL

33readonly func InstructionContractMatches_B_FPATR(operation: CommandOperation) => boolean34begin35    return (operation == CommandOperation_b_fpatr_32_30c307e06d4a);36end;

Operation source binding

39// PreQuantMode is deliberately a closed code table.  In particular U8 is not40// a synonym for S8 and generic FP8 resolves to E4M3 in the PTO type namespace.41pure func BundleFPATRPreQuantModeLegal(code: bits(6)) => boolean42begin43    let value = UInt(code);44    return value == 0 || value == 1 || value == 2 || value == 3 ||45           value == 4 || value == 5 || value == 12 || value == 13 ||46           value == 16 || value == 17 || value == 18 || value == 19 ||47           value == 20 || value == 23 || value == 24 || value == 25 ||48           value == 26 || value == 27 || value == 28 || value == 32 ||49           value == 33 || value == 34 || value == 35 || value == 36 ||50           value == 37 || value == 38 || value == 39;51end;52
53pure func BundleFPATRReluModeLegal(code: bits(3)) => boolean54begin55    return UInt(code) <= 3;56end;57
58pure func BundleFPATRGroupNCodeLegal(code: bits(4)) => boolean59begin60    return UInt(code) <= 9;61end;62
63pure func BundleFPATRGroupN(code: bits(4)) => integer {0,8,16,32,48,64,80,96,112,128}64begin65    case UInt(code) of66        when 0 => return 0;67        when 1 => return 8;68        when 2 => return 16;69        when 3 => return 32;70        when 4 => return 48;71        when 5 => return 64;72        when 6 => return 80;73        when 7 => return 96;74        when 8 => return 112;75        when 9 => return 128;76        otherwise => unreachable;77    end;78end;79
80pure func BundleFPATRModeUsesVectorParameter(code: bits(6)) => boolean81begin82    return UInt(code) == 2 || UInt(code) == 4 || UInt(code) == 12 ||83           UInt(code) == 18 || UInt(code) == 20 || UInt(code) == 23 ||84           UInt(code) == 28 || UInt(code) == 33 || UInt(code) == 36 ||85           UInt(code) == 37 || UInt(code) == 38 || UInt(code) == 39;86end;87
88pure func BundleFPATRModeUsesScalarParameter(code: bits(6)) => boolean89begin90    return UInt(code) == 3 || UInt(code) == 5 || UInt(code) == 13 ||91           UInt(code) == 17 || UInt(code) == 19 || UInt(code) == 24 ||92           UInt(code) == 25 || UInt(code) == 26 || UInt(code) == 27 ||93           UInt(code) == 32 || UInt(code) == 34 || UInt(code) == 35;94end;95
96pure func BundleFPATRModeUsesS32Accumulator(code: bits(6)) => boolean97begin98    let value = UInt(code);99    return value == 2 || value == 3 || value == 4 || value == 5 ||100           value == 12 || value == 13 || value == 17 || value == 18 ||101           value == 19 || value == 20 || value == 35 || value == 39;102end;103
104pure func BundleFPATRModeUsesFP32Accumulator(code: bits(6)) => boolean105begin106    return BundleFPATRPreQuantModeLegal(code) &&107           UInt(code) != 0 &&108           !BundleFPATRModeUsesS32Accumulator(code);109end;110
111pure func BundleFPATRAccumulatorTypeLegal(112    code: bits(6), accumulator_type: TileDataType) => boolean113begin114    if UInt(code) == 0 then115        return accumulator_type == TileDataType_FP32 ||116               accumulator_type == TileDataType_S32 ||117               accumulator_type == TileDataType_U32;118    elsif BundleFPATRModeUsesS32Accumulator(code) then119        return accumulator_type == TileDataType_S32;120    elsif BundleFPATRModeUsesFP32Accumulator(code) then121        return accumulator_type == TileDataType_FP32;122    end;123    return FALSE;124end;125
126pure func BundleFPATRModeOffsetWidth(code: bits(6))127    => integer {0,5,9,17}128begin129    let value = UInt(code);130    if value == 17 || value == 18 then return 5;131    elsif value == 2 || value == 3 || value == 23 || value == 24 then132        return 9;133    elsif value == 19 || value == 20 then return 17;134    else return 0;135    end;136end;137
138pure func BundleFPATRModeIsShift(code: bits(6)) => boolean139begin140    return UInt(code) == 12 || UInt(code) == 13;141end;142
143pure func BundleFPATRModeFixedRounding(code: bits(6)) => boolean144begin145    let value = UInt(code);146    return value == 1 || value == 16 || value == 25 || value == 26 ||147           value == 28 || value == 32 || value == 33 || value == 34 ||148           value == 36 || value == 37;149end;150
151pure func BundleFPATRModeFinalSatProgrammable(code: bits(6)) => boolean152begin153    return UInt(code) != 0 && !BundleFPATRModeIsShift(code);154end;155
156pure func BundleFPATRReluModeUsesScalarParameter(code: bits(3)) => boolean157begin158    return UInt(code) == 2;159end;160
161pure func BundleFPATRReluModeUsesVectorParameter(code: bits(3)) => boolean162begin163    return UInt(code) == 3;164end;165
166// Quantization descriptors use one closed 64-bit carrier.  The selected167// mode alone determines which payload bits are meaningful; every other bit168// is reserved and must be zero before matrix operands are snapshotted.169pure func BundleFPATRQuantParameterWordLegal(code: bits(6),170                                             value: Word) => boolean171begin172    let mode = UInt(code);173    if mode == 12 || mode == 13 then174        return value[31:0] == Zeros{32} &&175               value[63:36] == Zeros{28};176    end;177    if mode == 17 || mode == 18 then178        return value[12:0] == Zeros{13} &&179               FP19ScaleLegal(value[31:13]) &&180               value[36:32] == Zeros{5} &&181               value[63:42] == Zeros{22};182    end;183    if mode == 2 || mode == 3 || mode == 23 || mode == 24 then184        return value[12:0] == Zeros{13} &&185               FP19ScaleLegal(value[31:13]) &&186               value[36:32] == Zeros{5} &&187               value[63:46] == Zeros{18};188    end;189    if mode == 19 || mode == 20 then190        return value[12:0] == Zeros{13} &&191               FP19ScaleLegal(value[31:13]) &&192               value[36:32] == Zeros{5} &&193               value[63:54] == Zeros{10};194    end;195    if BundleFPATRModeUsesScalarParameter(code) ||196       BundleFPATRModeUsesVectorParameter(code) then197        return value[12:0] == Zeros{13} &&198               FP19ScaleLegal(value[31:13]) &&199               value[63:32] == Zeros{32};200    end;201    return FALSE;202end;203
204// Scalar LReLU and vector PReLU elements carry one FP19 value in the low205// nineteen bits.  FP19 arithmetic remains profile-owned, but its carrier is206// architectural and therefore rejects nonzero high bits.207pure func BundleFPATRReluParameterWordLegal(value: Word) => boolean208begin209    return value[63:19] == Zeros{45} &&210           FP19ActivationParameterLegal(value[18:0]);211end;212
213// Matrix B.DATR contributes only the destination conversion controls once214// B.FPATR is present.  None keeps the architectural default conversion215// (RMode=NONE and Sat=0). Fixed floating modes reject a non-default RMode;216// fixed shift modes additionally reject Sat. Other accepted modes retain the217// complete rounding selector and final saturation control.218pure func BundleFPATRDATRFieldsLegal(pre_quant: bits(6),219                                     rounding_mode: bits(3),220                                     saturating: boolean) => boolean221begin222    if !BundleFPATRPreQuantModeLegal(pre_quant) then return FALSE; end;223    if UInt(pre_quant) == 0 then224        return rounding_mode == Zeros{3} && !saturating;225    end;226    if BundleFPATRModeIsShift(pre_quant) then227        return rounding_mode == Zeros{3} && !saturating;228    end;229    if BundleFPATRModeFixedRounding(pre_quant) then230        return rounding_mode == Zeros{3};231    end;232    return TRUE;233end;234
235pure func BundleFPATROutputType(code: bits(6)) => TileDataType236begin237    case UInt(code) of238        when 0 => return TileDataType_FP32;239        when 1, 4, 5, 32, 33 => return TileDataType_FP16;240        when 2, 3, 23, 24 => return TileDataType_S8;241        when 12, 13, 19, 20 => return TileDataType_S16;242        when 16, 34, 35, 36, 39 => return TileDataType_BF16;243        when 17, 18 => return TileDataType_S4X2;244        when 25, 28 => return TileDataType_HiF8;245        when 26, 37 => return TileDataType_E4M3;246        when 27, 38 => return TileDataType_FP32;247        otherwise => unreachable;248    end;249end;250
251pure func BundleFPATRFieldsLegal(pre_quant: bits(6), relu: bits(3),252                                 group_n: bits(4), row_max: boolean,253                                 group_max: boolean, row_init: boolean,254                                 max_abs: boolean) => boolean255begin256    if !BundleFPATRPreQuantModeLegal(pre_quant) ||257       !BundleFPATRReluModeLegal(relu) ||258       !BundleFPATRGroupNCodeLegal(group_n) then return FALSE; end;259    if !row_max && row_init then return FALSE; end;260    if !group_max && UInt(group_n) != 0 then return FALSE; end;261    if group_max && UInt(group_n) == 0 then return FALSE; end;262    if !row_max && !group_max && max_abs then return FALSE; end;263    return TRUE;264end;265
266readonly func InstructionContractHandler_B_FPATR() => CommandSemanticHandler267begin268    return CommandHandler_SetBundleFixedPointAttributes;269end;270
271pure func InstructionContractHeaderOnly_B_FPATR()272    => boolean273begin274    return TRUE;275end;276
277pure func InstructionContractDuplicateRejects_B_FPATR()278    => boolean279begin280    return TRUE;281end;

View the complete ASL owner

1// PTO-INSTRUCTION: {"assembly":["B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn"],"block":[],"catalog_indices":[73],"catalog_records":[{"asm":"B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn","constraints":[{"field":"PreQuantMode","operator":"one-of","values":[0,1,2,3,4,5,12,13,16,17,18,19,20,23,24,25,26,27,28,32,33,34,35,36,37,38,39]},{"field":"ReluMode","operator":"one-of","values":[0,1,2,3]},{"field":"GroupNCode","operator":"one-of","values":[0,1,2,3,4,5,6,7,8,9]},{"field":"RowMaxEn","operator":"one-of","values":[0,1]},{"field":"GroupMaxEn","operator":"one-of","values":[0,1]},{"field":"RowMaxInit","operator":"one-of","values":[0,1]},{"field":"MaxAbsEn","operator":"one-of","values":[0,1]},{"field":"Func","operator":"one-of","values":[2]},{"field":"ElementWiseEn","operator":"one-of","values":[0]},{"field":"TransA","operator":"one-of","values":[0,1]},{"field":"TransB","operator":"one-of","values":[0,1]},{"field":"CScaleEn","operator":"one-of","values":[0,1]},{"field":"Reserved","operator":"one-of","values":[0]},{"field":"Opc1","operator":"one-of","values":[2]},{"field":"Opcode","operator":"one-of","values":[1]},{"field":"W","operator":"one-of","values":[1]}],"encoding":[{"index":0,"mask":"0x00007c7f","match":"0x00002023","width_bits":32}],"encoding_kind":"L32","fields":[{"name":"PreQuantMode","pieces":[{"instruction_lsb":26,"value_lsb":0,"width":6}],"signedness":"encoding-defined","width":6},{"name":"ReluMode","pieces":[{"instruction_lsb":23,"value_lsb":0,"width":3}],"signedness":"encoding-defined","width":3},{"name":"GroupNCode","pieces":[{"instruction_lsb":19,"value_lsb":0,"width":4}],"signedness":"encoding-defined","width":4},{"name":"RowMaxEn","pieces":[{"instruction_lsb":18,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"GroupMaxEn","pieces":[{"instruction_lsb":17,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"RowMaxInit","pieces":[{"instruction_lsb":16,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"MaxAbsEn","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"Func","pieces":[{"instruction_lsb":12,"value_lsb":0,"width":3}],"signedness":"encoding-defined","width":3},{"name":"ElementWiseEn","pieces":[{"instruction_lsb":11,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"TransA","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"TransB","pieces":[{"instruction_lsb":8,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"CScaleEn","pieces":[{"instruction_lsb":9,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"Reserved","pieces":[{"instruction_lsb":10,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"Opc1","pieces":[{"instruction_lsb":4,"value_lsb":0,"width":3}],"signedness":"encoding-defined","width":3},{"name":"Opcode","pieces":[{"instruction_lsb":1,"value_lsb":0,"width":3}],"signedness":"encoding-defined","width":3},{"name":"W","pieces":[{"instruction_lsb":0,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1}],"form_id":"b_fpatr_32_30c307e06d4a","length_bits":32,"mnemonic":"B.FPATR","semantic_family":"CMD","semantic_group":"Bundle Fixed-Point PostProcess Attribute","semantic_handler":"SetBundleFixedPointAttributes","semantic_summary":"Latches complete-bundle matrix post-processing mode, reduction enables, and fixed-point descriptor controls.","status":"accepted"}],"classification":["attributes"],"mnemonic":"B.FPATR","summary":"Latches complete-bundle matrix post-processing mode, reduction enables, and fixed-point descriptor controls.","surface":"block","id":"PTO-BLOCK-B-FPATR","depends_on":["PTO-ARCH-DATA-TYPES-FP19","PTO-BLOCK-MODEL-SCHEMA-ATTRIBUTES"],"contract":{"block_composition":["Required exactly once in a CUBE Matrix block after BSTART and before scalar or tile bindings and the first body instruction.","The complete block schema places mathematical Local sources first, then optional RowMaxIn, vector pre-quantization, and vector PReLU sources; Local destinations are D, optional RowMaxOut, then optional GroupMaxOut.","Scalar pre-quantization and LReLU/PReLU parameters use the dense B.IOR schema; LReLU-only consumes RegSrc0."],"canonical_assembly":["B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn"],"defaults":["Encoded PreQuantMode=0 and ReluMode=0 disable pre-quantization and activation. GroupNCode=0 selects no group maximum. All four reduction enable bits default to disabled. TransA=0 and TransB=0 select no logical transpose; CScaleEn=0 disables accumulator scaling.","Omitting B.FPATR is not a default for a CUBE Matrix block: complete-bundle preflight rejects the missing command before allocation or effects."],"encoding_class":"standalone-encoded","examples":["B.FPATR None, None, 0, 0, 0, 0, 0, 0, 0, 0","B.FPATR S8Vector, LReLU, 2, 1, 1, 1, 1, 1, 1, 0"],"exceptions":["Missing, duplicate, or non-CUBE-Matrix use raises Fault_BundleControl before operand consumption, allocation, payload, or destination effects.","Decode-reserved field values do not decode and raise Fault_IllegalInstruction. Accepted encodings with inconsistent reduction enables, invalid B.DATR conversion controls, invalid parameters, malformed operand streams, illegal aliases, or invalid derived shapes raise Fault_TileLegality before effects.","Fixed-bit mismatch does not decode as B.FPATR and is rejected by normal command decoding before this handler executes."],"field_contracts":{},"field_zero_meanings":{"PreQuantMode":"No pre-quantization; D retains the FP32, S32, or U32 accumulator type.","ReluMode":"No activation.","GroupNCode":"No group maximum; GroupMaxEn must also be zero.","RowMaxEn":"No RowMax input or output.","GroupMaxEn":"No GroupMax output.","RowMaxInit":"Do not initialize RowMax from RowMaxIn.","MaxAbsEn":"Use signed maximum rather than maximum absolute value for enabled reductions.","ElementWiseEn":"Fixed zero selects complete-bundle Matrix post-processing.","Reserved":"Bit 10 is fixed zero; every nonzero encoding is reserved.","TransA":"Do not transpose Shared A.","TransB":"Do not transpose Shared B.","CScaleEn":"Do not scale the explicit FP32 accumulator C."},"legality":["PreQuantMode accepts exactly codes 0..5, 12..13, 16..20, 23..28, and 32..39; all other six-bit codes are reserved.","Each nonzero PreQuantMode accepts exactly its assigned S32 or FP32 accumulator class; code zero accepts FP32, S32, or U32 and preserves that type.","ReluMode codes 0..3 select None, ReLU, scalar LReLU/PReLU, and vector PReLU; codes 4..7 are reserved.","GroupNCode codes 0..9 select 0, 8, 16, 32, 48, 64, 80, 96, 112, and 128 columns; codes 10..15 are reserved.","RowMaxInit requires RowMaxEn. GroupMaxEn requires nonzero GroupNCode and nonzero GroupNCode requires GroupMaxEn. MaxAbsEn requires RowMaxEn or GroupMaxEn.","TransA and TransB are independent one-bit controls accepted only when the corresponding A or B primary is Shared. CScaleEn is accepted only by FP32 TMATMUL.ACC and TMATMULMX.ACC.","Func=2, ElementWiseEn=0, Reserved[10]=0, Opc1=2, Opcode=1, and W=1 are fixed encoding discriminators.","Matrix B.DATR supplies only destination conversion controls when B.FPATR is present: None requires RMode=NONE and Sat=0; fixed floating modes require RMode=NONE; fixed shift modes require RMode=NONE and Sat=0; programmable integer modes retain the complete rounding selector and final clamp/wrap control.","The derived scalar/vector parameter count, Local source count, and Local destination count must fit the complete-bundle schema without duplicate destinations or illegal source/destination aliases."],"memory_effects":["none"],"operands":[{"field":"PreQuantMode","role":"closed Matrix destination pre-quantization and output-type selector"},{"field":"ReluMode","role":"pre-conversion activation multiplier selector"},{"field":"GroupNCode","role":"group maximum column-count selector"},{"field":"RowMaxEn","role":"row maximum input/output enable"},{"field":"GroupMaxEn","role":"group maximum output enable"},{"field":"RowMaxInit","role":"row maximum initialization from RowMaxIn enable"},{"field":"MaxAbsEn","role":"maximum-absolute-value reduction selector"},{"field":"Func","role":"fixed B.FPATR function discriminator equal to 2"},{"field":"ElementWiseEn","role":"fixed complete-bundle selector equal to zero"},{"field":"TransA","role":"logical transpose enable for a Shared A primary"},{"field":"TransB","role":"logical transpose enable for a Shared B primary"},{"field":"CScaleEn","role":"per-row FP32 accumulator C scaling enable"},{"field":"Reserved","role":"fixed-zero reserved field"},{"field":"Opc1","role":"fixed command-class discriminator equal to 2"},{"field":"Opcode","role":"fixed block-attribute opcode discriminator equal to 1"},{"field":"W","role":"fixed 32-bit command-width discriminator equal to 1"}],"ordering":["Complete field, B.DATR, operand-schema, alias, shape, and allocation preflight precedes every source consumption and destination effect.","D, RowMaxOut, and GroupMaxOut are published as one atomic complete-block output group; rejection exposes none of them."],"standalone_opcode":true,"state_effects":["Latch the accepted fixed-point post-processing descriptor once for the active block; bundle reset clears its presence and every field, including TransA, TransB, and CScaleEn.","Trap save and recovery preserve the complete latched descriptor with the pending block.","Successful execution selects any activation-dependent multiplier before the destination conversion, preserves raw optional reductions, and atomically commits all enabled outputs through the numeric-profile hook."]}}2// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}3// NDF-BEGIN: PTO-B-FPATR-MATRIX-POSTPROCESS-0014// ndf: kind=contract level=L1 layer=block status=accepted5// B.FPATR MUST appear exactly once in every CUBE Matrix block and MUST precede6// every effective B.IOR, B.IOT, or B.IOS binding. TransA and TransB MUST7// control only the corresponding Shared primary and scale. CScaleEn MUST8// control only an explicit FP32 C source on TMATMUL.ACC or TMATMULMX.ACC;9// bit 10 and every other reserved mode value MUST10// reject before descriptor state or effects. Enabled D, RowMaxOut, and11// GroupMaxOut results MUST publish as one atomic output group. Every assigned12// nonzero mode MUST execute the bit-exact FP19, conversion, activation,13// reduction, packing, exceptional-value, and numeric-status contract rather14// than an identity or implementation-selected fallback.15// NDF-END: PTO-B-FPATR-MATRIX-POSTPROCESS-00116
17// NDF-BEGIN: PTO-CUBE-SHARED-TRANSPOSE-00118// ndf: kind=contract level=L1 layer=block status=accepted19// B.FPATR bits 7 and 8 MUST independently select logical transpose for a20// corresponding Shared A or B primary and its separately bound scale, while21// Local-side transpose MUST remain illegal and neither source is mutated.22// NDF-END: PTO-CUBE-SHARED-TRANSPOSE-00123
24// NDF-BEGIN: PTO-CUBE-CSCALE-00125// ndf: kind=contract level=L1 layer=block status=accepted26// B.FPATR bit 9 MUST enable one final mathematical Local CScale source only27// for FP32 TMATMUL.ACC and TMATMULMX.ACC. CScale MUST be U8 CUBE_M32 [M,1],28// MUST not alias any output, and MUST scale C[m,n] by 2^-CScale[m,0] before29// RowMax, GroupMax, activation, quantization, and destination conversion.30// Bit 10 MUST remain reserved zero; disabled CScale MUST preserve prior results.31// NDF-END: PTO-CUBE-CSCALE-00132// DOC-BEGIN: decode33readonly func InstructionContractMatches_B_FPATR(operation: CommandOperation) => boolean34begin35    return (operation == CommandOperation_b_fpatr_32_30c307e06d4a);36end;37// DOC-END: decode38// DOC-BEGIN: operation39// PreQuantMode is deliberately a closed code table.  In particular U8 is not40// a synonym for S8 and generic FP8 resolves to E4M3 in the PTO type namespace.41pure func BundleFPATRPreQuantModeLegal(code: bits(6)) => boolean42begin43    let value = UInt(code);44    return value == 0 || value == 1 || value == 2 || value == 3 ||45           value == 4 || value == 5 || value == 12 || value == 13 ||46           value == 16 || value == 17 || value == 18 || value == 19 ||47           value == 20 || value == 23 || value == 24 || value == 25 ||48           value == 26 || value == 27 || value == 28 || value == 32 ||49           value == 33 || value == 34 || value == 35 || value == 36 ||50           value == 37 || value == 38 || value == 39;51end;52
53pure func BundleFPATRReluModeLegal(code: bits(3)) => boolean54begin55    return UInt(code) <= 3;56end;57
58pure func BundleFPATRGroupNCodeLegal(code: bits(4)) => boolean59begin60    return UInt(code) <= 9;61end;62
63pure func BundleFPATRGroupN(code: bits(4)) => integer {0,8,16,32,48,64,80,96,112,128}64begin65    case UInt(code) of66        when 0 => return 0;67        when 1 => return 8;68        when 2 => return 16;69        when 3 => return 32;70        when 4 => return 48;71        when 5 => return 64;72        when 6 => return 80;73        when 7 => return 96;74        when 8 => return 112;75        when 9 => return 128;76        otherwise => unreachable;77    end;78end;79
80pure func BundleFPATRModeUsesVectorParameter(code: bits(6)) => boolean81begin82    return UInt(code) == 2 || UInt(code) == 4 || UInt(code) == 12 ||83           UInt(code) == 18 || UInt(code) == 20 || UInt(code) == 23 ||84           UInt(code) == 28 || UInt(code) == 33 || UInt(code) == 36 ||85           UInt(code) == 37 || UInt(code) == 38 || UInt(code) == 39;86end;87
88pure func BundleFPATRModeUsesScalarParameter(code: bits(6)) => boolean89begin90    return UInt(code) == 3 || UInt(code) == 5 || UInt(code) == 13 ||91           UInt(code) == 17 || UInt(code) == 19 || UInt(code) == 24 ||92           UInt(code) == 25 || UInt(code) == 26 || UInt(code) == 27 ||93           UInt(code) == 32 || UInt(code) == 34 || UInt(code) == 35;94end;95
96pure func BundleFPATRModeUsesS32Accumulator(code: bits(6)) => boolean97begin98    let value = UInt(code);99    return value == 2 || value == 3 || value == 4 || value == 5 ||100           value == 12 || value == 13 || value == 17 || value == 18 ||101           value == 19 || value == 20 || value == 35 || value == 39;102end;103
104pure func BundleFPATRModeUsesFP32Accumulator(code: bits(6)) => boolean105begin106    return BundleFPATRPreQuantModeLegal(code) &&107           UInt(code) != 0 &&108           !BundleFPATRModeUsesS32Accumulator(code);109end;110
111pure func BundleFPATRAccumulatorTypeLegal(112    code: bits(6), accumulator_type: TileDataType) => boolean113begin114    if UInt(code) == 0 then115        return accumulator_type == TileDataType_FP32 ||116               accumulator_type == TileDataType_S32 ||117               accumulator_type == TileDataType_U32;118    elsif BundleFPATRModeUsesS32Accumulator(code) then119        return accumulator_type == TileDataType_S32;120    elsif BundleFPATRModeUsesFP32Accumulator(code) then121        return accumulator_type == TileDataType_FP32;122    end;123    return FALSE;124end;125
126pure func BundleFPATRModeOffsetWidth(code: bits(6))127    => integer {0,5,9,17}128begin129    let value = UInt(code);130    if value == 17 || value == 18 then return 5;131    elsif value == 2 || value == 3 || value == 23 || value == 24 then132        return 9;133    elsif value == 19 || value == 20 then return 17;134    else return 0;135    end;136end;137
138pure func BundleFPATRModeIsShift(code: bits(6)) => boolean139begin140    return UInt(code) == 12 || UInt(code) == 13;141end;142
143pure func BundleFPATRModeFixedRounding(code: bits(6)) => boolean144begin145    let value = UInt(code);146    return value == 1 || value == 16 || value == 25 || value == 26 ||147           value == 28 || value == 32 || value == 33 || value == 34 ||148           value == 36 || value == 37;149end;150
151pure func BundleFPATRModeFinalSatProgrammable(code: bits(6)) => boolean152begin153    return UInt(code) != 0 && !BundleFPATRModeIsShift(code);154end;155
156pure func BundleFPATRReluModeUsesScalarParameter(code: bits(3)) => boolean157begin158    return UInt(code) == 2;159end;160
161pure func BundleFPATRReluModeUsesVectorParameter(code: bits(3)) => boolean162begin163    return UInt(code) == 3;164end;165
166// Quantization descriptors use one closed 64-bit carrier.  The selected167// mode alone determines which payload bits are meaningful; every other bit168// is reserved and must be zero before matrix operands are snapshotted.169pure func BundleFPATRQuantParameterWordLegal(code: bits(6),170                                             value: Word) => boolean171begin172    let mode = UInt(code);173    if mode == 12 || mode == 13 then174        return value[31:0] == Zeros{32} &&175               value[63:36] == Zeros{28};176    end;177    if mode == 17 || mode == 18 then178        return value[12:0] == Zeros{13} &&179               FP19ScaleLegal(value[31:13]) &&180               value[36:32] == Zeros{5} &&181               value[63:42] == Zeros{22};182    end;183    if mode == 2 || mode == 3 || mode == 23 || mode == 24 then184        return value[12:0] == Zeros{13} &&185               FP19ScaleLegal(value[31:13]) &&186               value[36:32] == Zeros{5} &&187               value[63:46] == Zeros{18};188    end;189    if mode == 19 || mode == 20 then190        return value[12:0] == Zeros{13} &&191               FP19ScaleLegal(value[31:13]) &&192               value[36:32] == Zeros{5} &&193               value[63:54] == Zeros{10};194    end;195    if BundleFPATRModeUsesScalarParameter(code) ||196       BundleFPATRModeUsesVectorParameter(code) then197        return value[12:0] == Zeros{13} &&198               FP19ScaleLegal(value[31:13]) &&199               value[63:32] == Zeros{32};200    end;201    return FALSE;202end;203
204// Scalar LReLU and vector PReLU elements carry one FP19 value in the low205// nineteen bits.  FP19 arithmetic remains profile-owned, but its carrier is206// architectural and therefore rejects nonzero high bits.207pure func BundleFPATRReluParameterWordLegal(value: Word) => boolean208begin209    return value[63:19] == Zeros{45} &&210           FP19ActivationParameterLegal(value[18:0]);211end;212
213// Matrix B.DATR contributes only the destination conversion controls once214// B.FPATR is present.  None keeps the architectural default conversion215// (RMode=NONE and Sat=0). Fixed floating modes reject a non-default RMode;216// fixed shift modes additionally reject Sat. Other accepted modes retain the217// complete rounding selector and final saturation control.218pure func BundleFPATRDATRFieldsLegal(pre_quant: bits(6),219                                     rounding_mode: bits(3),220                                     saturating: boolean) => boolean221begin222    if !BundleFPATRPreQuantModeLegal(pre_quant) then return FALSE; end;223    if UInt(pre_quant) == 0 then224        return rounding_mode == Zeros{3} && !saturating;225    end;226    if BundleFPATRModeIsShift(pre_quant) then227        return rounding_mode == Zeros{3} && !saturating;228    end;229    if BundleFPATRModeFixedRounding(pre_quant) then230        return rounding_mode == Zeros{3};231    end;232    return TRUE;233end;234
235pure func BundleFPATROutputType(code: bits(6)) => TileDataType236begin237    case UInt(code) of238        when 0 => return TileDataType_FP32;239        when 1, 4, 5, 32, 33 => return TileDataType_FP16;240        when 2, 3, 23, 24 => return TileDataType_S8;241        when 12, 13, 19, 20 => return TileDataType_S16;242        when 16, 34, 35, 36, 39 => return TileDataType_BF16;243        when 17, 18 => return TileDataType_S4X2;244        when 25, 28 => return TileDataType_HiF8;245        when 26, 37 => return TileDataType_E4M3;246        when 27, 38 => return TileDataType_FP32;247        otherwise => unreachable;248    end;249end;250
251pure func BundleFPATRFieldsLegal(pre_quant: bits(6), relu: bits(3),252                                 group_n: bits(4), row_max: boolean,253                                 group_max: boolean, row_init: boolean,254                                 max_abs: boolean) => boolean255begin256    if !BundleFPATRPreQuantModeLegal(pre_quant) ||257       !BundleFPATRReluModeLegal(relu) ||258       !BundleFPATRGroupNCodeLegal(group_n) then return FALSE; end;259    if !row_max && row_init then return FALSE; end;260    if !group_max && UInt(group_n) != 0 then return FALSE; end;261    if group_max && UInt(group_n) == 0 then return FALSE; end;262    if !row_max && !group_max && max_abs then return FALSE; end;263    return TRUE;264end;265
266readonly func InstructionContractHandler_B_FPATR() => CommandSemanticHandler267begin268    return CommandHandler_SetBundleFixedPointAttributes;269end;270
271pure func InstructionContractHeaderOnly_B_FPATR()272    => boolean273begin274    return TRUE;275end;276
277pure func InstructionContractDuplicateRejects_B_FPATR()278    => boolean279begin280    return TRUE;281end;282// DOC-END: operation283

Behavior

purpose

What B.FPATR contributes

B.FPATR is a 32-bit block header command that records the required fixed-point Matrix post-processing descriptor. It changes pending block metadata rather than executing a tile body operation immediately.

mechanism

Placement and mechanism

The command appears exactly once in a CUBE Matrix header, before scalar or tile bindings and before the body. Its operand-stream roles are interpreted by the completed Matrix schema.

The accepted command latches one typed attribute record in pending block state. The selected operation consumes those fields only after the complete header, bindings, dimensions, and body satisfy its schema.

inputs outputs

Operands and header roles

PreQuantMode selects Matrix pre-quantization and output conversion; its exact assigned domain remains in the generated contract below.
ReluMode selects the activation multiplier; its exact assigned domain remains in the generated contract below.
GroupNCode selects the group-maximum column count; its exact assigned domain remains in the generated contract below.
RowMaxEn enables row-maximum input and output; its exact assigned domain remains in the generated contract below.
GroupMaxEn enables group-maximum output; its exact assigned domain remains in the generated contract below.
RowMaxInit enables initialization from RowMaxIn; its exact assigned domain remains in the generated contract below.
MaxAbsEn selects maximum-absolute reduction; its exact assigned domain remains in the generated contract below.
Func carries the fixed function discriminator; its exact assigned domain remains in the generated contract below.
ElementWiseEn carries the fixed complete-bundle selector; its exact assigned domain remains in the generated contract below.
TransA enables logical transpose of A; its exact assigned domain remains in the generated contract below.
TransB enables logical transpose of B; its exact assigned domain remains in the generated contract below.
CScaleEn enables per-row accumulator C scaling; its exact assigned domain remains in the generated contract below.
Reserved must retain its fixed reserved value; its exact assigned domain remains in the generated contract below.
Opc1 carries the fixed command-class discriminator; its exact assigned domain remains in the generated contract below.
Opcode carries the fixed attribute opcode; its exact assigned domain remains in the generated contract below.
W carries the fixed command-width discriminator; its exact assigned domain remains in the generated contract below.

effects

Pending state and completion

An accepted header command changes only its pending record or carrier. Architectural tile, Shared, GPR, memory, and completion effects remain deferred to the completed block unless this owner's contract explicitly identifies an immediate header-state update.

constraints

Legality and fault boundary

Reserved encodings are rejected before reads or pending-state changes. Placement, duplicate, role, or completed-schema mismatches fail before body effects.

example

illustrative worked example

This worked example is illustrative; it illustrates the current owner without replacing it.

B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn

Assume an active compatible header with no earlier conflicting B.FPATR command. Placing B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn at the next header slot records this command's pending fields; it does not by itself execute the eventual body operation.

NDF clauses

Bodies come from owning ASL. Dragging or buttons change only this page-session view order.

surfaceBLOCK
ownerB.FPATR
categoryMATRIX-POSTPROCESS
case001
Normative contract
contract · L1 · accepted
B.FPATR MUST appear exactly once in every CUBE Matrix block and MUST precede every effective B.IOR, B.IOT, or B.IOS binding. TransA and TransB MUST control only the corresponding Shared primary and scale. CScaleEn MUST control only an explicit FP32 C source on TMATMUL.ACC or TMATMULMX.ACC; bit 10 and every other reserved mode value MUST reject before descriptor state or effects. Enabled D, RowMaxOut, and GroupMaxOut results MUST publish as one atomic output group. Every assigned nonzero mode MUST execute the bit-exact FP19, conversion, activation, reduction, packing, exceptional-value, and numeric-status contract rather than an identity or implementation-selected fallback.
Sources and references
Complete stable ID
PTO-B-FPATR-MATRIX-POSTPROCESS-001
Source path
asl/block/attributes/B.FPATR.asl
Affected units
PTO-BLOCK-B-FPATR
Source SHA-256
865133159fe5b03974cbdf4f6c4b87ed0127a37fa7b882a6f8f1696a6da331e6
Clause SHA-256
5496224f8a317fb1f8a0afcc4b1aca7933feb1ae8c725e95780abd3fe3e4769a
Open exact canonical source ↗
surfaceBLOCK
ownerB.FPATR
categoryCUBE-SHARED-TRANSPOSE
case001
Normative contract
contract · L1 · accepted
B.FPATR bits 7 and 8 MUST independently select logical transpose for a corresponding Shared A or B primary and its separately bound scale, while Local-side transpose MUST remain illegal and neither source is mutated.
Sources and references
Complete stable ID
PTO-CUBE-SHARED-TRANSPOSE-001
Source path
asl/block/attributes/B.FPATR.asl
Affected units
PTO-BLOCK-B-FPATR
Source SHA-256
865133159fe5b03974cbdf4f6c4b87ed0127a37fa7b882a6f8f1696a6da331e6
Clause SHA-256
d5cc28aa7a795099be222fef9def3d839ad01587ab3849a9385c12269bb64774
Open exact canonical source ↗
surfaceBLOCK
ownerB.FPATR
categoryCUBE-CSCALE
case001
Normative contract
contract · L1 · accepted
B.FPATR bit 9 MUST enable one final mathematical Local CScale source only for FP32 TMATMUL.ACC and TMATMULMX.ACC. CScale MUST be U8 CUBE_M32 [M,1], MUST not alias any output, and MUST scale C[m,n] by 2^-CScale[m,0] before RowMax, GroupMax, activation, quantization, and destination conversion. Bit 10 MUST remain reserved zero; disabled CScale MUST preserve prior results.
Sources and references
Complete stable ID
PTO-CUBE-CSCALE-001
Source path
asl/block/attributes/B.FPATR.asl
Affected units
PTO-BLOCK-B-FPATR
Source SHA-256
865133159fe5b03974cbdf4f6c4b87ed0127a37fa7b882a6f8f1696a6da331e6
Clause SHA-256
5f83793d554cdb9cd7c968afa5be5a96326bcc54edbd7487e437a57e57deaff1
Open exact canonical source ↗

Evidence index

62 matching entries

Executable evidence48

B.FPATR activation selects the multiplier before destination conversion
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case004
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-ACT-004
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-activation-004.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
ReLU selects zero while scalar and vector PReLU replace the negative-path quantization multiplier
SHA-256
6130cfccb6f9d4a86c6312fbb04c91c3e8e6688371f4054632c48a33628a50b4
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-ACT-004
Every assigned B.FPATR PreQuantMode executes its source, parameter, and destination contract
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case007
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-ALL-MODES-007
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-all-modes-007.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
all 27 assigned modes convert an exact unit value to the expected destination encoding
SHA-256
34dae6d44a62b607e5bf64cd82beab8718a3b743c35ccc14fd71745f8aad2d97
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-ALL-MODES-007
B.FPATR complete commit publishes converted D and sticky numeric status together
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case006
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-COMMIT-006
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-commit-006.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
scalar FP32-to-S8 post-processing routes its B.IOR parameter, converts both elements, and records overflow only at commit
SHA-256
d49332a185ae413affe511788516a9fe6ae2f544d0955702906654cb73270d37
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-COMMIT-006
B.FPATR rejects controls that conflict with fixed rounding or saturation
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case010
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-CONTROLS-010
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-controls-010.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR, PTO-MATRIX-QUANT-BITEXACT-001
Pass condition
fixed FP16 BF16 E4M3 HiF8 and shift modes reject inapplicable fields while programmable integer modes retain them
SHA-256
3f8b691fa83f7ee15971b75d551a5aa0042fb15343c338b204abca19455145a5
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-CONTROLS-010
Decoded CScale scales explicit FP32 C before Matrix post-processing.
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-CSCALE-001
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-cscale-001.asl
Kind / role
execution
Requirements
PTO-CUBE-CSCALE-001, PTO-INST-BLOCK-B-FPATR
Pass condition
TMATMUL.ACC with C=4.0, zero dot product, and U8 CScale exponent one publishes FP32 2.0 through a distinct destination.
SHA-256
270fe6450eeccf383df7e7722dd4081792c754ca7068ae86bfb2404357e39ca4
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-CSCALE-001
CScale rejects every reserved, missing, surplus, alias, opcode, and accumulator-class misuse before effects.
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case002
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-CSCALE-FAULT-002
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-cscale-002.asl
Kind / role
fault
Requirements
PTO-CUBE-CSCALE-001, PTO-INST-BLOCK-B-FPATR
Pass condition
Bit10, disabled-surplus, enabled-missing, CScale/output alias, non-ACC use, and non-FP32 ACC each reject without destination allocation or source mutation.
SHA-256
78703db8cf9b382c35994065aa1fd1f653b9503d9a9ae713c29d0237c66e9151
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-CSCALE-FAULT-002
canonical B.FPATR catalog and ASL contract remain aligned
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryDECODE-POSITIVE
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-DECODE-001
Path
tests/asl/block/attributes/B.FPATR/block-decode-b-fpatr-canonical-001.asl
Kind / role
decode-positive
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
all canonical decode and contract assertions hold
SHA-256
67f0a2f350476fc4e6c6ba85885861a8a85384f852ff9595a1d8756ac39a1471
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-DECODE-001
a second B.FPATR in one Matrix header is illegal
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-DUPLICATE-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-duplicate-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
the duplicate raises Fault_BundleControl without replacing the first descriptor
SHA-256
f4b84dafdb047f2565461e14274baebcc149413bd73b235f243105c78f9b8a14
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-DUPLICATE-001
B.FPATR cast and scaled floating modes publish exact destination encodings
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case003
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-FORMATS-003
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-formats-003.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
FP16, BF16, E4M3, HiF8, and scaled FP32 modes encode representative exact values
SHA-256
f6a2cad4ef0b95950f7c78e944d414b54b7a3677b83b18f263e84058c4d5bba0
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-FORMATS-003
reserved GroupNCode values reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-GROUP-RSVD-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-group-rsvd-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
f3bb9ab757bbac3cd922bfc30e605708cf6fe720f49a681c1e4de7bb39d937c5
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-GROUP-RSVD-001
B.FPATR PreQuant modes accept only their assigned accumulator class
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case002
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-INPUT-TYPE-002
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-input-type-002.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
S32, FP32, and U32 accumulator modes are separated before matrix effects
SHA-256
4d0b0a29abea74fe03d3619a1695d5fed6f7f16f6d0287de5d1624a4ff3b6501
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-INPUT-TYPE-002
B.FPATR mode, GroupN and enable legality boundaries
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryBOUNDARY
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-MODE-TABLE-BOUNDARY-001
Path
tests/asl/block/attributes/B.FPATR/block-bound-b-fpatr-mode-table-001.asl
Kind / role
boundary
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
accepted modes and fail-closed reserved/invalid combinations are proved
SHA-256
8b7a4f5c2253d2bdb40ac7bb90b07ce9814efc53b4e7745894a6e75974a0604e
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-MODE-TABLE-BOUNDARY-001
B.FPATR is illegal in a non-Matrix block
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-NONMATRIX-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-nonmatrix-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
Fault_BundleControl is raised before fixed-point descriptor state is latched
SHA-256
a055c22a14cf90d82782522738a5032d1fa1a0a04058c451fd23298c2c71de15
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-NONMATRIX-001
B.FPATR dense scalar/vector parameter and maximum B.IOT routing
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-OPERAND-ROUTING-EXECUTION-001
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-operand-routing-001.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR, PTO-CUBE-CSCALE-001
Pass condition
LReLU-only uses RegSrc0, scalar quant/LReLU pack densely, and nine sources/three destinations remain ordered
SHA-256
03be4b045c46306f4a54827dfad1e34160b1c56688fe9a6fc82b4b1e4a186e26
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-OPERAND-ROUTING-EXECUTION-001
B.FPATR rejects inactive, body-phase, and post-binding placement before latching fields
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-PLACE-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-placement-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
every invalid placement raises Fault_BundleControl at the current TPC and preserves the absent descriptor and existing operand binding
SHA-256
0108364c47bee6fcdebb2069c88f2194cd1157ae9e7223201807ebc40384e7a0
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-PLACE-001
reserved PreQuantMode codes 14 and 15 reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-PQ14-15-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq14-15-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
c895c92c9c82f55b2ac06e3c78d894de340489a973305cb207f968a9e15cff4c
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-PQ14-15-001
reserved PreQuantMode codes 21 and 22 reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-PQ21-22-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq21-22-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
b34dbbde87bd6599ece27b67167dcfa3f76ae4acef7cf9245962923251649950
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-PQ21-22-001
reserved PreQuantMode codes 29 through 31 reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-PQ29-31-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq29-31-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
54648e569a7603a4c739e6c8cebe1e87410955fefa59e2f2f8ceb9a94a8df4ef
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-PQ29-31-001
reserved PreQuantMode codes 40 through 47 reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-PQ40-47-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq40-47-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
9edc0c835961e9c7617232c4c01d435234b273c9fdb26b18caada1592e54b048
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-PQ40-47-001
reserved PreQuantMode codes 48 through 55 reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-PQ48-55-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq48-55-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
a0f7e1770dbe2b80eca30877c157d1112b58ab8a5b95a50d07cc55932bdbe8b4
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-PQ48-55-001
reserved PreQuantMode codes 56 through 63 reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-PQ56-63-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq56-63-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
43f8baedd4e50671e8e56ffc63e7db8a7b35b4408c63357e94c082a8ddf50b12
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-PQ56-63-001
B.FPATR scalar quantization multiplies, offsets, rounds, and applies Sat clamp or wrap
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case002
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-QUANT-002
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-quant-002.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
REQ8 and QF322B8 scalar modes produce exact S8 values for ordinary, wrapping, and saturating cases
SHA-256
18153b1bf5908bb97f3b6018016ff3dd6abddb58291af3903d6a16fb983c7142
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-QUANT-002
reserved ReluMode codes reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-RELU-RSVD-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-relu-rsvd-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
7755b14737e406eba2ba42a611128249bb8d0fb2690167f361989507abb18dff
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-RELU-RSVD-001
B.FPATR fields and encoded presence clear with bundle reset
1. surfaceBLOCK
2. ownerB.FPATR
3. categorySTATE-TRANSITION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-RESET-CLEAR-001
Path
tests/asl/block/attributes/B.FPATR/block-state-b-fpatr-reset-clear-001.asl
Kind / role
state-transition
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
reset removes presence and every latched field
SHA-256
a9a53b37f2465fe7f5ffb7376023787c2a28264438b6505ce9add74c279b8761
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-RESET-CLEAR-001
B.FPATR saturates assigned signed intermediates before offset and destination encoding
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case008
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-ROUNDING-008
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-rounding-008.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR, PTO-MATRIX-QUANT-BITEXACT-001
Pass condition
REQ4 REQ8 DEQS16 and shift modes expose exact intermediate saturation results under non-saturating final control
SHA-256
39774698c6a2b365291c974bdc41e35c4cbdfdef4957428b193e09c8ae2ba391
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-ROUNDING-008
reserved PreQuantMode codes 6 through 11 reject before B.FPATR state
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-RSVD-001
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-pq06-11-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
each code raises Fault_IllegalInstruction without descriptor or TPC changes
SHA-256
33ff3f0bc2ebbde97d07cf48a21789871090dc1ce7857242a4651f87896052c0
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-RSVD-001
B.FPATR special values produce deterministic integer and floating results
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case005
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-SPECIAL-005
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-special-005.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
NaN and infinities map to the assigned integer endpoints or canonical floating NaN with exact sticky flags
SHA-256
1dafeda291de684c6810f86b3c4e57a0bc90018a72228d8c042c20bc63e42e86
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-SPECIAL-005
B.FPATR bits seven and eight latch independent Shared A and B transpose controls
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryDECODE-POSITIVE
4. case011
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-011
Path
tests/asl/block/attributes/B.FPATR/block-decode-b-fpatr-transpose-011.asl
Kind / role
decode-positive
Requirements
PTO-INST-BLOCK-B-FPATR, PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
all four TransA and TransB combinations decode and preserve the exact two booleans
SHA-256
c73850ac7324b9a970e768cb6a999e75d215fb862aa92d12631e33594766e213
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-011
B.FPATR bit ten remains reserved after assigning CScaleEn.
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryFAULT
4. case012
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-RSVD-012
Path
tests/asl/block/attributes/B.FPATR/block-fault-b-fpatr-transpose-rsvd-012.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR, PTO-CUBE-CSCALE-001
Pass condition
Bit ten rejects before TPC or fixed-point descriptor state changes while bit nine is owned by decoded CScale evidence.
SHA-256
87c5841391fd67fcf7886b5e8e7d09aaca44f13382dbf107a2a6d35d47ca8ca1
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-RSVD-012
B.FPATR floating signed zero participates in the complete affine pipeline
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case009
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-ZERO-AFFINE-009
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-zero-affine-009.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR, PTO-MATRIX-POSTPROCESS-BITEXACT-001
Pass condition
positive and negative FP32 zero publish the assigned positive negative or zero S8 offset
SHA-256
f2fbb807f80841402374fda9bf213be973ba03c06448e6f5b63100f72d868f17
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-ZERO-AFFINE-009
zero-participation B.IOT and B.IOS remain strict no-ops before B.FPATR
1. surfaceBLOCK
2. ownerB.FPATR
3. categoryEXECUTION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-B-FPATR-ZMASK-001
Path
tests/asl/block/attributes/B.FPATR/block-exec-b-fpatr-zero-mask-order-001.asl
Kind / role
execution
Requirements
PTO-INST-BLOCK-B-FPATR
Pass condition
both zero-mask commands install no operand binding and B.FPATR still latches successfully
SHA-256
ef0482bf02645e29c78839d94e04981ea02574d2056522bc82d847d299a0b094
Open exact source ↗ for PTO-AVS-BLOCK-B-FPATR-ZMASK-001
matrix destination preflight derives D RowMaxOut and GroupMaxOut independently
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE
3. categoryBOUNDARY
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-MATRIX-DEST-SHAPE-001
Path
tests/asl/block/model/dispatch/destination-shape/block-bound-matrix-dest-shape-001.asl
Kind / role
boundary
Requirements
PTO-B-FPATR-MATRIX-POSTPROCESS-001
Pass condition
a 1 by 8 product allocates one 1 by 8 D and two 1 by 1 auxiliary descriptors
SHA-256
0476096e5eb9d3d51955bc9b263ff5e0778a9adc85f47ffe04516cdbfcd3f3e3
Open exact source ↗ for PTO-AVS-BLOCK-MATRIX-DEST-SHAPE-001
Shared Matrix transpose normalizes each independently bound primary and scale.
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX
3. categoryEXECUTION
4. case002
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-SHARED-CUBE-SCALE-TRANSPOSE-002
Path
tests/asl/block/model/dispatch/shared-cube-matrix/block-exec-shared-cube-scale-transpose-002.asl
Kind / role
execution
Requirements
PTO-CUBE-MATRIX-SCALE-001, PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
Stored transposed A, AScale, B, and BScale shapes normalize to group_MxK, group_MxG, KxN, and GxN and produce the exact current-PE result without mutating Shared state.
SHA-256
fc9538d3ba766ac00a59249f5626bd7419cf9983f1a52abd70e68531bbd3c00e
Open exact source ↗ for PTO-AVS-BLOCK-SHARED-CUBE-SCALE-TRANSPOSE-002
TGEMV rejects every participating Shared operand binding
1. surfaceBLOCK
2. ownerBSTART.TGEMV
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TGEMV-SHARED-001
Path
tests/asl/block/execution/BSTART.TGEMV/block-fault-bstart-tgemv-shared-001.asl
Kind / role
fault
Requirements
PTO-TMATMUL-CONTRACT-001, PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
one B.IOS source raises Fault_TileLegality before Shared consumption
SHA-256
7ba8634d6575d9c9b77ac39942f86d02b62bd301d0d4e3f8ccb7d95300649205
Open exact source ↗ for PTO-AVS-BLOCK-TGEMV-SHARED-001
Local CUBE Matrix keeps zero-mask no-op precedence and accepts partial participation
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryEXECUTION
4. case010
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-CUBE-MASK-010
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-cube-mask-010.asl
Kind / role
execution
Requirements
PTO-CUBE-LOCAL-MATRIX-001, PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
zero mask bypasses malformed operands while full and partial masks execute CUBE primaries with exact destination masks
SHA-256
cb1fa427401aed3f617de23450f3066998978f93dd30aa757db05467b66a1aef
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-CUBE-MASK-010
TransA is illegal when A is a Local CUBE primary
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryFAULT
4. case013
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-LOCAL-TRANSPOSE-013
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-local-transpose-013.asl
Kind / role
fault
Requirements
PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
a right-only Shared form with TransA set rejects before destination allocation source consumption or status
SHA-256
9faf2fbcad024027e76653fad599caef1909b381f9cea62d2c799f8abb8211d0
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-LOCAL-TRANSPOSE-013
TMATMUL distinguishes strict zero participation from legal partial participation
1. surfaceBLOCK
2. ownerBSTART.TMATMUL
3. categoryBOUNDARY
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-MASK-001
Path
tests/asl/block/execution/BSTART.TMATMUL/block-bound-bstart-tmatmul-mask-001.asl
Kind / role
boundary
Requirements
PTO-TMATMUL-CONTRACT-001, PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
a zero-mask block has no effects while a nonzero partial mask allocates and publishes only the selected destination producers
SHA-256
59aaab11f1eb109c8d1e7b6100d71400c5b1ed317be13109928107ecbfa6b58d
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-MASK-001
participating TMATMUL rejects a missing B.FPATR before consuming or allocating
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-MISSING-FPATR-001
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-missing-fpatr-001.asl
Kind / role
fault
Requirements
PTO-INST-BLOCK-B-FPATR, PTO-TMATMUL-CONTRACT-001
Pass condition
Fault_BundleControl preserves the Shared source and unresolved Local destination
SHA-256
5404b91f6114c76974bd28da047a9793439bbef9b7d5d1fa8187cf931ed29787
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-MISSING-FPATR-001
Cooperative Matrix resolves one deterministic Local CUBE destination layout
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categorySTATE-TRANSITION
4. case014
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SHARED-LAYOUT-014
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-state-tmatmul-shared-layout-014.asl
Kind / role
state-transition
Requirements
PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
right-only inherits A all-Shared ACC inherits C and all-Shared non-ACC selects M16 through M16 then M32 through M32
SHA-256
81f7fb6d6b6c5e7a0f5c2b1a7bd6387f846ff91ce0dcfdf61b1bd33928e18926
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-LAYOUT-014
Cooperative Shared Matrix waits for whole-parent Shared readiness without fault or effects
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryBOUNDARY
4. case012
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SHARED-READINESS-012
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-shared-readiness-012.asl
Kind / role
boundary
Requirements
PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
a partial Shared A allocation waits without destination allocation binding consumption payload numeric status or fault
SHA-256
18311caf9d2528a1a9ea12ae5f6c93b4daa7b2ac29f6b652370c074226f91e38
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-READINESS-012
Successful cooperative Matrix reads leave persistent Shared state unchanged
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categorySTATE-TRANSITION
4. case018
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SHARED-READONLY-018
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-state-tmatmul-shared-readonly-018.asl
Kind / role
state-transition
Requirements
PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
descriptor masks publication payload and initialized state are identical after both Shared bindings are consumed
SHA-256
928a4964b044d4f3424dc3fe3af0fb19fcb3882ec9433f6786222f7b0895c338
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-READONLY-018
Late cooperative CUBE destination failure rolls back every output effect
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryFAULT
4. case019
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SHARED-ROLLBACK-019
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-shared-rollback-019.asl
Kind / role
fault
Requirements
PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
an undersized D rejects after complete Shared readiness without allocation consumption Shared mutation or numeric status
SHA-256
979efc05a67a6d36fc547e33e7715ccad3727930b97f3d72f978c6deae3f3e3b
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-ROLLBACK-019
Shared A and B transpose controls normalize ordinary descriptors before CUBE computation
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryEXECUTION
4. case011
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SHARED-TRANSPOSE-011
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-shared-transpose-011.asl
Kind / role
execution
Requirements
PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
all four TransA and TransB combinations produce the same exact logical two-by-two matrix product
SHA-256
bd3a645c49a4e3fe7685b2fbf8f018dc4b0e3b940ed274863ae909a3d0e22b59
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-TRANSPOSE-011
Cooperative TMATMUL waits for an unallocated Shared primary without fault or effects
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryBOUNDARY
4. case020
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SHARED-UNDEF-020
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-bound-tmatmul-shared-undef-020.asl
Kind / role
boundary
Requirements
PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-TMATMUL-CONTRACT-001, PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
the undefined-register fallback remains legal generally while Matrix readiness waits without allocation consumption Shared mutation numeric status or fault
SHA-256
74fb3304acd1e4df9118089ab05b60c19b7c3eae11ffe1dbe724beaa316635b7
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-UNDEF-020
Cooperative Matrix mask zero exits before every transpose and Shared readiness rule
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryEXECUTION
4. case016
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SHARED-ZERO-016
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-exec-tmatmul-shared-zero-016.asl
Kind / role
execution
Requirements
PTO-CUBE-SHARED-TRANSPOSE-001
Pass condition
a zero-mask binding with missing attributes and invalid sources succeeds without allocation state fault or consumption
SHA-256
af47d1a95cafaba909d6a2f403a6dc13ecfd50108b2fc1d21d08ec53dd0ceb26
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SHARED-ZERO-016
scalar LReLU accepts only one low nineteen-bit FP19 carrier
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SLRELU-BITS-001
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-slrelu-bits-001.asl
Kind / role
fault
Requirements
PTO-B-FPATR-MATRIX-POSTPROCESS-001
Pass condition
bit nineteen raises Fault_TileLegality before destination allocation
SHA-256
caaa92cd9df24e6f3643c6b86d1f1fe9943510260e5e4dd5937580fb94ec54d2
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SLRELU-BITS-001
scalar quantization rejects bits outside its selected descriptor fields
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-SQUANT-BITS-001
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-squant-bits-001.asl
Kind / role
fault
Requirements
PTO-B-FPATR-MATRIX-POSTPROCESS-001
Pass condition
a nonzero reserved low bit raises Fault_TileLegality before destination allocation
SHA-256
f6bc5ed56b11f477daefbd979992365ac993231823e5b93cdf8b001cfcfdf15a
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-SQUANT-BITS-001
TMATMUL rejects a vector quantization Tile whose descriptor is not Local U64 ND row-major
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-TMATMUL-VQUANT-DESC-001
Path
tests/asl/block/model/dispatch/cube-tmatmul/block-fault-tmatmul-vquant-desc-001.asl
Kind / role
fault
Requirements
PTO-B-FPATR-MATRIX-POSTPROCESS-001
Pass condition
the malformed vector parameter raises Fault_TileLegality before the destination hand is allocated
SHA-256
ba91c820ff9fef4f08ca007f23e77be16566d562789c258113c4bd8a3cb3a1f2
Open exact source ↗ for PTO-AVS-BLOCK-TMATMUL-VQUANT-DESC-001

Commit-scoped evidence5

spec/evidence/release-traceability-readiness.json · closedPTO-EVIDENCE-RELEASE-TRACEABILITY
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-TRACEABILITY
Path
spec/evidence/release-traceability-readiness.json
Kind / role
ASL/NDF/documentation/AVS traceability
SHA-256
c7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3e
Open exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY
spec/evidence/instruction-contract-closure.json · closedPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Sources and references
Complete stable ID
PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Path
spec/evidence/instruction-contract-closure.json
Kind / role
mnemonic and encoding contract closure
SHA-256
3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106a
Open exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
spec/evidence/architecture-readiness.json · openPTO-EVIDENCE-ARCHITECTURE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-ARCHITECTURE-READINESS
Path
spec/evidence/architecture-readiness.json
Kind / role
architecture maturity and blockers
SHA-256
4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS
spec/evidence/release-gate-readiness.json · ready-for-exact-head-verificationPTO-EVIDENCE-RELEASE-GATE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-GATE-READINESS
Path
spec/evidence/release-gate-readiness.json
Kind / role
exact-head gate readiness
SHA-256
a0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0
Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS
spec/release-manifest.json · draftPTO-EVIDENCE-RELEASE-MANIFEST
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-MANIFEST
Path
spec/release-manifest.json
Kind / role
release content and encoding fingerprints
SHA-256
1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST

Decision history9

Bundle operation descriptor and transactional commit · accepted
1. decision recordADR
2. case0022
Decision record
Loading ADR-0022…
Sources and references
Complete stable ID
ADR-0022
Path
docs/status/decisions/0022-bundle-operation-descriptor-and-commit.md
Affected units
PTO-BLOCK-B-CATR, PTO-BLOCK-B-DATR, PTO-BLOCK-B-DIM, PTO-BLOCK-B-FPATR, PTO-BLOCK-B-IOR, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-MODEL-COMMIT-EFFECTS, PTO-BLOCK-MODEL-COMMIT-VALIDATION, PTO-BLOCK-MODEL-LIFECYCLE-BEGIN, PTO-BLOCK-MODEL-LIFECYCLE-ENTER-STOP, PTO-BLOCK-MODEL-OPERANDS-SCALAR-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-BLOCK-MODEL-SCHEMA-ATTRIBUTES, PTO-BLOCK-MODEL-SCHEMA-DIMENSIONS, PTO-BLOCK-MODEL-SCHEMA-HEADER, PTO-BLOCK-MODEL-STATE-BINDING-STATE, PTO-BLOCK-MODEL-STATE-CONTROL-STATE, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES
Affected NDF
PTO-B-CATR-CONTROL-001, PTO-B-DATR-FIELDS-001, PTO-B-DIM-WRITE-001, PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-B-IOR-BINDING-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-REQ-BUNDLE-STATE-001
SHA-256
f129ec54af4630d28bf6c94e5829a3cafe904706fdd9f59ca65ee62cb511ad47
Open exact decision source ↗ for ADR-0022
Bundle-command totality and PTO-v0 profile boundaries · accepted
1. decision recordADR
2. case0032
Decision record
Loading ADR-0032…
Sources and references
Complete stable ID
ADR-0032
Path
docs/status/decisions/0032-bundle-command-totality-and-profile-boundaries.md
Affected units
PTO-BLOCK-B-CATR, PTO-BLOCK-B-DATR, PTO-BLOCK-B-DIM, PTO-BLOCK-B-FPATR, PTO-BLOCK-B-HINT, PTO-BLOCK-B-IOR, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-BSTART, PTO-BLOCK-BSTART-CALL, PTO-BLOCK-BSTART-FP, PTO-BLOCK-BSTART-GMOV, PTO-BLOCK-BSTART-ICALL, PTO-BLOCK-BSTART-MGATHER, PTO-BLOCK-BSTART-MGATHER-CAS, PTO-BLOCK-BSTART-MGATHER-MASK, PTO-BLOCK-BSTART-MSCATTER, PTO-BLOCK-BSTART-MSCATTER-MASK, PTO-BLOCK-BSTART-SFU, PTO-BLOCK-BSTART-STD, PTO-BLOCK-BSTART-SYS, PTO-BLOCK-BSTART-TEPL, PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TLOAD, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-BLOCK-BSTART-TMOV, PTO-BLOCK-BSTART-TPREFETCH, PTO-BLOCK-BSTART-TSTORE, PTO-BLOCK-BSTART-VEC, PTO-BLOCK-BSTOP, PTO-BLOCK-C-B-DIMI, PTO-BLOCK-C-BSTART, PTO-BLOCK-C-BSTART-FP, PTO-BLOCK-C-BSTART-STD, PTO-BLOCK-C-BSTART-SYS, PTO-BLOCK-C-BSTOP, PTO-BLOCK-ERCOV, PTO-BLOCK-ESAVE, PTO-BLOCK-FENTRY, PTO-BLOCK-FEXIT, PTO-BLOCK-FRET-RA, PTO-BLOCK-FRET-STK, PTO-BLOCK-HL-QMT, PTO-BLOCK-HL-QPOP, PTO-BLOCK-HL-QPUSH, PTO-BLOCK-L-BSTOP, PTO-BLOCK-MCOPY, PTO-BLOCK-MODEL-COMMIT-EFFECTS, PTO-BLOCK-MODEL-COMMIT-VALIDATION, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-COMPARISON-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-CUBE-DESTINATION, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-DECODE, PTO-BLOCK-MODEL-DISPATCH-DESCRIPTOR-LEGALITY, PTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE, PTO-BLOCK-MODEL-DISPATCH-EXPANSION-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-GENERATION-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-HISTOGRAM-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-NUMERIC-CONTROL, PTO-BLOCK-MODEL-DISPATCH-QUANTIZATION-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-REDUCTION-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-SCALAR-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-DISPATCH-SORTING-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-START, PTO-BLOCK-MODEL-DISPATCH-TCVT-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-DISPATCH-TILE-SCALAR-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TLSU-GMOV, PTO-BLOCK-MODEL-DISPATCH-TLSU-LAYOUT-CONVERSION, PTO-BLOCK-MODEL-DISPATCH-TLSU-MGATHER, PTO-BLOCK-MODEL-DISPATCH-TLSU-MGATHER-CAS, PTO-BLOCK-MODEL-DISPATCH-TLSU-MGATHER-MASK, PTO-BLOCK-MODEL-DISPATCH-TLSU-MSCATTER, PTO-BLOCK-MODEL-DISPATCH-TLSU-MSCATTER-MASK, PTO-BLOCK-MODEL-DISPATCH-TLSU-PREFETCH, PTO-BLOCK-MODEL-DISPATCH-TOP-LEVEL, PTO-BLOCK-MODEL-FAULTS-ROLLBACK, PTO-BLOCK-MODEL-LIFECYCLE-BEGIN, PTO-BLOCK-MODEL-LIFECYCLE-ENTER-STOP, PTO-BLOCK-MODEL-LIFECYCLE-LIFETIME, PTO-BLOCK-MODEL-LIFECYCLE-RESET, PTO-BLOCK-MODEL-OPERANDS-SCALAR-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-BLOCK-MODEL-SCHEMA-ATTRIBUTES, PTO-BLOCK-MODEL-SCHEMA-DIMENSIONS, PTO-BLOCK-MODEL-SCHEMA-HEADER, PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING, PTO-BLOCK-MODEL-STATE-BARG, PTO-BLOCK-MODEL-STATE-BINDING-STATE, PTO-BLOCK-MODEL-STATE-CONTROL-STATE, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, PTO-BLOCK-MSET, PTO-BLOCK-XB
Affected NDF
PTO-B-CATR-CONTROL-001, PTO-B-DATR-FIELDS-001, PTO-B-DIM-WRITE-001, PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-B-HINT-LIFECYCLE-001, PTO-B-IOR-BINDING-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-BARG-CONTINUATION-001, PTO-BLOCK-ERCOV-RESERVED-001, PTO-BLOCK-ESAVE-RESERVED-001, PTO-BLOCK-MSET-FILL-001, PTO-BLOCK-XB-RESERVED-001, PTO-BSTART-CALL-DECISION-BINDING-001, PTO-BSTART-DECISION-BINDING-001, PTO-BSTART-FP-CONTROL-001, PTO-BSTART-GMOV-COLLECTIVE-001, PTO-BSTART-ICALL-DECISION-BINDING-001, PTO-BSTART-MGATHER-CAS-SCHEMA-001, PTO-BSTART-MGATHER-MASK-SCHEMA-001, PTO-BSTART-MGATHER-SCHEMA-001, PTO-BSTART-MSCATTER-MASK-SCHEMA-001, PTO-BSTART-MSCATTER-SCHEMA-001, PTO-BSTART-SFU-DECISION-BINDING-001, PTO-BSTART-STD-CONTROL-001, PTO-BSTART-SYS-CONTROL-001, PTO-BSTART-TEPL-DECISION-BINDING-001, PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TLOAD-CUBE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-BSTART-TMOV-SHARED-001, PTO-BSTART-TPREFETCH-MEMORY-001, PTO-BSTART-TSTORE-CUBE-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-BSTART-VEC-DECISION-BINDING-001, PTO-BSTOP-DECISION-BINDING-001, PTO-C-BSTART-CONTROL-001, PTO-C-BSTART-FP-CONTROL-001, PTO-C-BSTART-STD-CONTROL-001, PTO-C-BSTART-SYS-CONTROL-001, PTO-C-BSTOP-DECISION-BINDING-001, PTO-CUBE-CELL-TRANSPORT-001, PTO-FENTRY-RESTARTABLE-FRAME-001, PTO-FEXIT-RESTARTABLE-FRAME-001, PTO-FRET-RA-RESTARTABLE-FRAME-001, PTO-FRET-STK-RESTARTABLE-FRAME-001, PTO-HL-QMT-GQM-001, PTO-HL-QPOP-GQM-001, PTO-HL-QPUSH-GQM-001, PTO-L-BSTOP-DECISION-BINDING-001, PTO-MCOPY-RESTART-001, PTO-REQ-BUNDLE-STATE-001
SHA-256
e1f91826817343c0977a565a91e495a15397b83fa2af227124f225821ffa54ae
Open exact decision source ↗ for ADR-0032
Direct Tile and bundle catalog closure · accepted
1. decision recordADR
2. case0052
Decision record
Loading ADR-0052…
Sources and references
Complete stable ID
ADR-0052
Path
docs/status/decisions/0052-direct-tile-and-bundle-catalog-closure.md
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-ARCH-OVERVIEW-INSTRUCTION-CLASSIFICATION, PTO-BLOCK-B-CATR, PTO-BLOCK-B-DATR, PTO-BLOCK-B-DIM, PTO-BLOCK-B-FPATR, PTO-BLOCK-B-HINT, PTO-BLOCK-B-IOR, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-BSTART, PTO-BLOCK-BSTART-CALL, PTO-BLOCK-BSTART-FP, PTO-BLOCK-BSTART-GMOV, PTO-BLOCK-BSTART-ICALL, PTO-BLOCK-BSTART-MGATHER, PTO-BLOCK-BSTART-MGATHER-CAS, PTO-BLOCK-BSTART-MGATHER-MASK, PTO-BLOCK-BSTART-MSCATTER, PTO-BLOCK-BSTART-MSCATTER-MASK, PTO-BLOCK-BSTART-SFU, PTO-BLOCK-BSTART-STD, PTO-BLOCK-BSTART-SYS, PTO-BLOCK-BSTART-TEPL, PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TLOAD, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-BLOCK-BSTART-TMOV, PTO-BLOCK-BSTART-TPREFETCH, PTO-BLOCK-BSTART-TSTORE, PTO-BLOCK-BSTART-VEC, PTO-BLOCK-BSTOP, PTO-BLOCK-C-B-DIMI, PTO-BLOCK-C-BSTART, PTO-BLOCK-C-BSTART-FP, PTO-BLOCK-C-BSTART-STD, PTO-BLOCK-C-BSTART-SYS, PTO-BLOCK-C-BSTOP, PTO-BLOCK-ERCOV, PTO-BLOCK-ESAVE, PTO-BLOCK-FENTRY, PTO-BLOCK-FEXIT, PTO-BLOCK-FRET-RA, PTO-BLOCK-FRET-STK, PTO-BLOCK-HL-QMT, PTO-BLOCK-HL-QPOP, PTO-BLOCK-HL-QPUSH, PTO-BLOCK-L-BSTOP, PTO-BLOCK-MCOPY, PTO-BLOCK-MSET, PTO-BLOCK-XB, PTO-TILE-GMOV, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-TABS, PTO-TILE-TADD, PTO-TILE-TADDS, PTO-TILE-TAND, PTO-TILE-TANDS, PTO-TILE-TCI, PTO-TILE-TCMP, PTO-TILE-TCMPS, PTO-TILE-TCOLARGMAX, PTO-TILE-TCOLARGMIN, PTO-TILE-TCOLEXPAND, PTO-TILE-TCOLEXPANDADD, PTO-TILE-TCOLEXPANDDIV, PTO-TILE-TCOLEXPANDEXPDIF, PTO-TILE-TCOLEXPANDMAX, PTO-TILE-TCOLEXPANDMIN, PTO-TILE-TCOLEXPANDMUL, PTO-TILE-TCOLEXPANDSUB, PTO-TILE-TCOLMAX, PTO-TILE-TCOLMIN, PTO-TILE-TCOLPROD, PTO-TILE-TCOLSUM, PTO-TILE-TCONCAT, PTO-TILE-TCVT, PTO-TILE-TDEQUANT, PTO-TILE-TDIV, PTO-TILE-TDIVS, PTO-TILE-TEXP, PTO-TILE-TEXPANDS, PTO-TILE-TEXTRACT, PTO-TILE-TFMA, PTO-TILE-TGATHER, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-THISTOGRAM, PTO-TILE-TIMG2COL, PTO-TILE-TINSERT, PTO-TILE-TLOAD, PTO-TILE-TLOG, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS, PTO-TILE-TMAX, PTO-TILE-TMAXS, PTO-TILE-TMIN, PTO-TILE-TMINS, PTO-TILE-TMOV, PTO-TILE-TMRGSORT, PTO-TILE-TMUL, PTO-TILE-TMULS, PTO-TILE-TNEG, PTO-TILE-TNOT, PTO-TILE-TOR, PTO-TILE-TORS, PTO-TILE-TPREFETCH, PTO-TILE-TQUANT, PTO-TILE-TRECIP, PTO-TILE-TRELU, PTO-TILE-TREM, PTO-TILE-TREMS, PTO-TILE-TROWARGMAX, PTO-TILE-TROWARGMIN, PTO-TILE-TROWEXPAND, PTO-TILE-TROWEXPANDADD, PTO-TILE-TROWEXPANDDIV, PTO-TILE-TROWEXPANDEXPDIF, PTO-TILE-TROWEXPANDMAX, PTO-TILE-TROWEXPANDMIN, PTO-TILE-TROWEXPANDMUL, PTO-TILE-TROWEXPANDSUB, PTO-TILE-TROWMAX, PTO-TILE-TROWMIN, PTO-TILE-TROWPROD, PTO-TILE-TROWSUM, PTO-TILE-TRSQRT, PTO-TILE-TSCATTER, PTO-TILE-TSEL, PTO-TILE-TSELS, PTO-TILE-TSHL, PTO-TILE-TSHLS, PTO-TILE-TSHR, PTO-TILE-TSHRS, PTO-TILE-TSORT, PTO-TILE-TSQRT, PTO-TILE-TSTORE, PTO-TILE-TSUB, PTO-TILE-TSUBS, PTO-TILE-TTRI, PTO-TILE-TXOR, PTO-TILE-TXORS
Affected NDF
PTO-ARCH-ENCODING-OWNERSHIP-001, PTO-ARCH-TEPL-ALIAS-001, PTO-ARCH-TILE-EXECUTION-ENGINE-001, PTO-ARCH-TILE-INSTRUCTION-CLASS-001, PTO-B-CATR-CONTROL-001, PTO-B-DATR-FIELDS-001, PTO-B-DIM-WRITE-001, PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-B-HINT-LIFECYCLE-001, PTO-B-IOR-BINDING-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-BLOCK-ERCOV-RESERVED-001, PTO-BLOCK-ESAVE-RESERVED-001, PTO-BLOCK-MSET-FILL-001, PTO-BLOCK-XB-RESERVED-001, PTO-BSTART-CALL-DECISION-BINDING-001, PTO-BSTART-DECISION-BINDING-001, PTO-BSTART-FP-CONTROL-001, PTO-BSTART-GMOV-COLLECTIVE-001, PTO-BSTART-ICALL-DECISION-BINDING-001, PTO-BSTART-MGATHER-CAS-SCHEMA-001, PTO-BSTART-MGATHER-MASK-SCHEMA-001, PTO-BSTART-MGATHER-SCHEMA-001, PTO-BSTART-MSCATTER-MASK-SCHEMA-001, PTO-BSTART-MSCATTER-SCHEMA-001, PTO-BSTART-SFU-DECISION-BINDING-001, PTO-BSTART-STD-CONTROL-001, PTO-BSTART-SYS-CONTROL-001, PTO-BSTART-TEPL-DECISION-BINDING-001, PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TLOAD-CUBE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-BSTART-TMOV-SHARED-001, PTO-BSTART-TPREFETCH-MEMORY-001, PTO-BSTART-TSTORE-CUBE-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-BSTART-VEC-DECISION-BINDING-001, PTO-BSTOP-DECISION-BINDING-001, PTO-C-BSTART-CONTROL-001, PTO-C-BSTART-FP-CONTROL-001, PTO-C-BSTART-STD-CONTROL-001, PTO-C-BSTART-SYS-CONTROL-001, PTO-C-BSTOP-DECISION-BINDING-001, PTO-CUBE-CELL-TRANSPORT-001, PTO-FENTRY-RESTARTABLE-FRAME-001, PTO-FEXIT-RESTARTABLE-FRAME-001, PTO-FRET-RA-RESTARTABLE-FRAME-001, PTO-FRET-STK-RESTARTABLE-FRAME-001, PTO-GMOV-CORE4-PEER-001, PTO-HL-QMT-GQM-001, PTO-HL-QPOP-GQM-001, PTO-HL-QPUSH-GQM-001, PTO-L-BSTOP-DECISION-BINDING-001, PTO-MCOPY-RESTART-001, PTO-MGATHER-BYTE-DISPLACEMENT-001, PTO-MGATHER-CAS-ATOMIC-001, PTO-MGATHER-CAS-PUBLICATION-001, PTO-MGATHER-MASK-PREDICATE-001, PTO-MGATHER-MASK-PUBLICATION-001, PTO-MGATHER-MASK-TYPE-002, PTO-MSCATTER-BYTE-DISPLACEMENT-001, PTO-MSCATTER-DUPLICATE-ORDER-001, PTO-MSCATTER-MASK-DUPLICATE-001, PTO-MSCATTER-MASK-PREDICATE-001, PTO-MSCATTER-MASK-TYPE-002, PTO-TABS-CONTRACT-001, PTO-TADD-CONTRACT-001, PTO-TADDS-CONTRACT-001, PTO-TAND-CONTRACT-001, PTO-TANDS-CONTRACT-001, PTO-TCI-CONTRACT-001, PTO-TCMP-CONTRACT-001, PTO-TCMPS-CONTRACT-001, PTO-TCOLARGMAX-CONTRACT-001, PTO-TCOLARGMIN-CONTRACT-001, PTO-TCOLEXPAND-CONTRACT-001, PTO-TCOLEXPANDADD-CONTRACT-001, PTO-TCOLEXPANDDIV-CONTRACT-001, PTO-TCOLEXPANDEXPDIF-CONTRACT-001, PTO-TCOLEXPANDMAX-CONTRACT-001, PTO-TCOLEXPANDMIN-CONTRACT-001, PTO-TCOLEXPANDMUL-CONTRACT-001, PTO-TCOLEXPANDSUB-CONTRACT-001, PTO-TCOLMAX-CONTRACT-001, PTO-TCOLMIN-CONTRACT-001, PTO-TCOLPROD-CONTRACT-001, PTO-TCOLSUM-CONTRACT-001, PTO-TCONCAT-CONTRACT-001, PTO-TCVT-CONTRACT-001, PTO-TDEQUANT-CONTRACT-001, PTO-TDIV-CONTRACT-001, PTO-TDIVS-CONTRACT-001, PTO-TEXP-CONTRACT-001, PTO-TEXPANDS-CONTRACT-001, PTO-TEXTRACT-CONTRACT-001, PTO-TFMA-CONTRACT-001, PTO-TGATHER-CONTRACT-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-THISTOGRAM-CONTRACT-001, PTO-TIMG2COL-CONTRACT-001, PTO-TINSERT-CONTRACT-001, PTO-TLOAD-CUBE-001, PTO-TLOAD-MEMORY-001, PTO-TLOG-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001, PTO-TMAX-CONTRACT-001, PTO-TMAXS-CONTRACT-001, PTO-TMIN-CONTRACT-001, PTO-TMINS-CONTRACT-001, PTO-TMOV-CONTRACT-001, PTO-TMRGSORT-CONTRACT-001, PTO-TMUL-CONTRACT-001, PTO-TMULS-CONTRACT-001, PTO-TNEG-CONTRACT-001, PTO-TNOT-CONTRACT-001, PTO-TOR-CONTRACT-001, PTO-TORS-CONTRACT-001, PTO-TPREFETCH-FOOTPRINT-001, PTO-TQUANT-CONTRACT-001, PTO-TRECIP-CONTRACT-001, PTO-TRELU-CONTRACT-001, PTO-TREM-CONTRACT-001, PTO-TREMS-CONTRACT-001, PTO-TROWARGMAX-CONTRACT-001, PTO-TROWARGMIN-CONTRACT-001, PTO-TROWEXPAND-CONTRACT-001, PTO-TROWEXPANDADD-CONTRACT-001, PTO-TROWEXPANDDIV-CONTRACT-001, PTO-TROWEXPANDEXPDIF-CONTRACT-001, PTO-TROWEXPANDMAX-CONTRACT-001, PTO-TROWEXPANDMIN-CONTRACT-001, PTO-TROWEXPANDMUL-CONTRACT-001, PTO-TROWEXPANDSUB-CONTRACT-001, PTO-TROWMAX-CONTRACT-001, PTO-TROWMIN-CONTRACT-001, PTO-TROWPROD-CONTRACT-001, PTO-TROWSUM-CONTRACT-001, PTO-TRSQRT-CONTRACT-001, PTO-TSCATTER-CONTRACT-001, PTO-TSEL-CONTRACT-001, PTO-TSELS-CONTRACT-001, PTO-TSHL-CONTRACT-001, PTO-TSHLS-CONTRACT-001, PTO-TSHR-CONTRACT-001, PTO-TSHRS-CONTRACT-001, PTO-TSORT-CONTRACT-001, PTO-TSQRT-CONTRACT-001, PTO-TSTORE-CUBE-001, PTO-TSTORE-MEMORY-001, PTO-TSUB-CONTRACT-001, PTO-TSUBS-CONTRACT-001, PTO-TTRI-CONTRACT-001, PTO-TXOR-CONTRACT-001, PTO-TXORS-CONTRACT-001
SHA-256
5fdb38bf480e37affe5075f93b35a57d32803018c986bfe05160f188a19ccaf6
Open exact decision source ↗ for ADR-0052
Mnemonic and Encoded-Field Contract Closure · accepted
1. decision recordADR
2. case0059
Decision record
Loading ADR-0059…
Sources and references
Complete stable ID
ADR-0059
Path
docs/status/decisions/0059-mnemonic-field-encoding-closure.md
Affected units
PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR, PTO-ARCH-OVERVIEW-ARCHITECTURE, PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-ARCH-OVERVIEW-INSTRUCTION-CLASSIFICATION, PTO-BLOCK-B-CATR, PTO-BLOCK-B-DATR, PTO-BLOCK-B-DIM, PTO-BLOCK-B-FPATR, PTO-BLOCK-B-HINT, PTO-BLOCK-B-IOR, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-BSTART, PTO-BLOCK-BSTART-CALL, PTO-BLOCK-BSTART-FP, PTO-BLOCK-BSTART-GMOV, PTO-BLOCK-BSTART-ICALL, PTO-BLOCK-BSTART-MGATHER, PTO-BLOCK-BSTART-MGATHER-CAS, PTO-BLOCK-BSTART-MGATHER-MASK, PTO-BLOCK-BSTART-MSCATTER, PTO-BLOCK-BSTART-MSCATTER-MASK, PTO-BLOCK-BSTART-SFU, PTO-BLOCK-BSTART-STD, PTO-BLOCK-BSTART-SYS, PTO-BLOCK-BSTART-TEPL, PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TLOAD, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-BLOCK-BSTART-TMOV, PTO-BLOCK-BSTART-TPREFETCH, PTO-BLOCK-BSTART-TSTORE, PTO-BLOCK-BSTART-VEC, PTO-BLOCK-BSTOP, PTO-BLOCK-C-B-DIMI, PTO-BLOCK-C-BSTART, PTO-BLOCK-C-BSTART-FP, PTO-BLOCK-C-BSTART-STD, PTO-BLOCK-C-BSTART-SYS, PTO-BLOCK-C-BSTOP, PTO-BLOCK-ERCOV, PTO-BLOCK-ESAVE, PTO-BLOCK-FENTRY, PTO-BLOCK-FEXIT, PTO-BLOCK-FRET-RA, PTO-BLOCK-FRET-STK, PTO-BLOCK-HL-QMT, PTO-BLOCK-HL-QPOP, PTO-BLOCK-HL-QPUSH, PTO-BLOCK-L-BSTOP, PTO-BLOCK-MCOPY, PTO-BLOCK-MSET, PTO-BLOCK-XB, PTO-SCALAR-ACRC, PTO-SCALAR-ACRE, PTO-SCALAR-ADD, PTO-SCALAR-ADDI, PTO-SCALAR-ADDIW, PTO-SCALAR-ADDTPC, PTO-SCALAR-ADDW, PTO-SCALAR-AND, PTO-SCALAR-ANDI, PTO-SCALAR-ANDIW, PTO-SCALAR-ANDW, PTO-SCALAR-ASSERT, PTO-SCALAR-BC-IALL, PTO-SCALAR-BC-IVA, PTO-SCALAR-BCNT, PTO-SCALAR-BIC, PTO-SCALAR-BIS, PTO-SCALAR-BSE, PTO-SCALAR-BWE, PTO-SCALAR-BWI, PTO-SCALAR-BWT, PTO-SCALAR-BXS, PTO-SCALAR-BXU, PTO-SCALAR-C-ADD, PTO-SCALAR-C-ADDI, PTO-SCALAR-C-AND, PTO-SCALAR-C-CMP-EQI, PTO-SCALAR-C-CMP-NEI, PTO-SCALAR-C-EBREAK, PTO-SCALAR-C-LDI, PTO-SCALAR-C-LWI, PTO-SCALAR-C-MOVI, PTO-SCALAR-C-MOVR, PTO-SCALAR-C-OR, PTO-SCALAR-C-SDI, PTO-SCALAR-C-SETC-EQ, PTO-SCALAR-C-SETC-NE, PTO-SCALAR-C-SETC-TGT, PTO-SCALAR-C-SETRET, PTO-SCALAR-C-SEXT-B, PTO-SCALAR-C-SEXT-H, PTO-SCALAR-C-SEXT-W, PTO-SCALAR-C-SLLI, PTO-SCALAR-C-SRLI, PTO-SCALAR-C-SSRGET, PTO-SCALAR-C-SUB, PTO-SCALAR-C-SWI, PTO-SCALAR-C-ZEXT-B, PTO-SCALAR-C-ZEXT-H, PTO-SCALAR-C-ZEXT-W, PTO-SCALAR-CASB, PTO-SCALAR-CASD, PTO-SCALAR-CASH, PTO-SCALAR-CASW, PTO-SCALAR-CLZ, PTO-SCALAR-CMP-AND, PTO-SCALAR-CMP-ANDI, PTO-SCALAR-CMP-EQ, PTO-SCALAR-CMP-EQI, PTO-SCALAR-CMP-GE, PTO-SCALAR-CMP-GEI, PTO-SCALAR-CMP-GEU, PTO-SCALAR-CMP-GEUI, PTO-SCALAR-CMP-LT, PTO-SCALAR-CMP-LTI, PTO-SCALAR-CMP-LTU, PTO-SCALAR-CMP-LTUI, PTO-SCALAR-CMP-NE, PTO-SCALAR-CMP-NEI, PTO-SCALAR-CMP-OR, PTO-SCALAR-CMP-ORI, PTO-SCALAR-CSEL, PTO-SCALAR-CTZ, PTO-SCALAR-DC-CISW, PTO-SCALAR-DC-CIVA, PTO-SCALAR-DC-CSW, PTO-SCALAR-DC-CVA, PTO-SCALAR-DC-IALL, PTO-SCALAR-DC-ISW, PTO-SCALAR-DC-IVA, PTO-SCALAR-DC-ZVA, PTO-SCALAR-DIV, PTO-SCALAR-DIVU, PTO-SCALAR-DIVUW, PTO-SCALAR-DIVW, PTO-SCALAR-DMA, PTO-SCALAR-EBREAK, PTO-SCALAR-FABS, PTO-SCALAR-FADD, PTO-SCALAR-FCVT, PTO-SCALAR-FCVTA, PTO-SCALAR-FCVTM, PTO-SCALAR-FCVTN, PTO-SCALAR-FCVTP, PTO-SCALAR-FCVTZ, PTO-SCALAR-FDIV, PTO-SCALAR-FENCE-D, PTO-SCALAR-FENCE-I, PTO-SCALAR-FEQ, PTO-SCALAR-FEQS, PTO-SCALAR-FEXP, PTO-SCALAR-FGE, PTO-SCALAR-FGES, PTO-SCALAR-FLT, PTO-SCALAR-FLTS, PTO-SCALAR-FMADD, PTO-SCALAR-FMAX, PTO-SCALAR-FMIN, PTO-SCALAR-FMSUB, PTO-SCALAR-FMUL, PTO-SCALAR-FNE, PTO-SCALAR-FNES, PTO-SCALAR-FNMADD, PTO-SCALAR-FNMSUB, PTO-SCALAR-FRECIP, PTO-SCALAR-FSQRT, PTO-SCALAR-FSUB, PTO-SCALAR-HL-ADDI, PTO-SCALAR-HL-ADDIW, PTO-SCALAR-HL-ADDTPC, PTO-SCALAR-HL-ANDI, PTO-SCALAR-HL-ANDIW, PTO-SCALAR-HL-BFI, PTO-SCALAR-HL-CASB, PTO-SCALAR-HL-CASD, PTO-SCALAR-HL-CASH, PTO-SCALAR-HL-CASW, PTO-SCALAR-HL-CCAT, PTO-SCALAR-HL-CCATW, PTO-SCALAR-HL-CMP-ANDI, PTO-SCALAR-HL-CMP-EQI, PTO-SCALAR-HL-CMP-GEI, PTO-SCALAR-HL-CMP-GEUI, PTO-SCALAR-HL-CMP-LTI, PTO-SCALAR-HL-CMP-LTUI, PTO-SCALAR-HL-CMP-NEI, PTO-SCALAR-HL-CMP-ORI, PTO-SCALAR-HL-DIV, PTO-SCALAR-HL-DIVU, PTO-SCALAR-HL-DIVUW, PTO-SCALAR-HL-DIVW, PTO-SCALAR-HL-LB-PCR, PTO-SCALAR-HL-LB-PO, PTO-SCALAR-HL-LB-PR, PTO-SCALAR-HL-LBI, PTO-SCALAR-HL-LBI-PO, PTO-SCALAR-HL-LBI-PR, PTO-SCALAR-HL-LBIP, PTO-SCALAR-HL-LBP, PTO-SCALAR-HL-LBU-PCR, PTO-SCALAR-HL-LBU-PO, PTO-SCALAR-HL-LBU-PR, PTO-SCALAR-HL-LBUI, PTO-SCALAR-HL-LBUI-PO, PTO-SCALAR-HL-LBUI-PR, PTO-SCALAR-HL-LBUIP, PTO-SCALAR-HL-LBUP, PTO-SCALAR-HL-LD-PCR, PTO-SCALAR-HL-LD-PO, PTO-SCALAR-HL-LD-PR, PTO-SCALAR-HL-LDI, PTO-SCALAR-HL-LDI-PO, PTO-SCALAR-HL-LDI-PR, PTO-SCALAR-HL-LDI-U, PTO-SCALAR-HL-LDI-UPO, PTO-SCALAR-HL-LDI-UPR, PTO-SCALAR-HL-LDIP, PTO-SCALAR-HL-LDIP-U, PTO-SCALAR-HL-LDP, PTO-SCALAR-HL-LH-PCR, PTO-SCALAR-HL-LH-PO, PTO-SCALAR-HL-LH-PR, PTO-SCALAR-HL-LHI, PTO-SCALAR-HL-LHI-PO, PTO-SCALAR-HL-LHI-PR, PTO-SCALAR-HL-LHI-U, PTO-SCALAR-HL-LHI-UPO, PTO-SCALAR-HL-LHI-UPR, PTO-SCALAR-HL-LHIP, PTO-SCALAR-HL-LHIP-U, PTO-SCALAR-HL-LHP, PTO-SCALAR-HL-LHU-PCR, PTO-SCALAR-HL-LHU-PO, PTO-SCALAR-HL-LHU-PR, PTO-SCALAR-HL-LHUI, PTO-SCALAR-HL-LHUI-PO, PTO-SCALAR-HL-LHUI-PR, PTO-SCALAR-HL-LHUI-U, PTO-SCALAR-HL-LHUI-UPO, PTO-SCALAR-HL-LHUI-UPR, PTO-SCALAR-HL-LHUIP, PTO-SCALAR-HL-LHUIP-U, PTO-SCALAR-HL-LHUP, PTO-SCALAR-HL-LIS, PTO-SCALAR-HL-LIU, PTO-SCALAR-HL-LUI, PTO-SCALAR-HL-LW-PCR, PTO-SCALAR-HL-LW-PO, PTO-SCALAR-HL-LW-PR, PTO-SCALAR-HL-LWI, PTO-SCALAR-HL-LWI-PO, PTO-SCALAR-HL-LWI-PR, PTO-SCALAR-HL-LWI-U, PTO-SCALAR-HL-LWI-UPO, PTO-SCALAR-HL-LWI-UPR, PTO-SCALAR-HL-LWIP, PTO-SCALAR-HL-LWIP-U, PTO-SCALAR-HL-LWP, PTO-SCALAR-HL-LWU-PCR, PTO-SCALAR-HL-LWU-PO, PTO-SCALAR-HL-LWU-PR, PTO-SCALAR-HL-LWUI, PTO-SCALAR-HL-LWUI-PO, PTO-SCALAR-HL-LWUI-PR, PTO-SCALAR-HL-LWUI-U, PTO-SCALAR-HL-LWUI-UPO, PTO-SCALAR-HL-LWUI-UPR, PTO-SCALAR-HL-LWUIP, PTO-SCALAR-HL-LWUIP-U, PTO-SCALAR-HL-LWUP, PTO-SCALAR-HL-MADD, PTO-SCALAR-HL-MADDW, PTO-SCALAR-HL-MIADD, PTO-SCALAR-HL-MISUB, PTO-SCALAR-HL-MUL, PTO-SCALAR-HL-MULU, PTO-SCALAR-HL-ORI, PTO-SCALAR-HL-ORIW, PTO-SCALAR-HL-PRF, PTO-SCALAR-HL-PRF-A, PTO-SCALAR-HL-PRFI-U, PTO-SCALAR-HL-PRFI-UA, PTO-SCALAR-HL-REM, PTO-SCALAR-HL-REMU, PTO-SCALAR-HL-REMUW, PTO-SCALAR-HL-REMW, PTO-SCALAR-HL-SB-PCR, PTO-SCALAR-HL-SB-PO, PTO-SCALAR-HL-SB-PR, PTO-SCALAR-HL-SBI, PTO-SCALAR-HL-SBI-PO, PTO-SCALAR-HL-SBI-PR, PTO-SCALAR-HL-SBIP, PTO-SCALAR-HL-SBP, PTO-SCALAR-HL-SD-PCR, PTO-SCALAR-HL-SD-PO, PTO-SCALAR-HL-SD-PR, PTO-SCALAR-HL-SD-UPO, PTO-SCALAR-HL-SD-UPR, PTO-SCALAR-HL-SDI, PTO-SCALAR-HL-SDI-PO, PTO-SCALAR-HL-SDI-PR, PTO-SCALAR-HL-SDI-U, PTO-SCALAR-HL-SDI-UPO, PTO-SCALAR-HL-SDI-UPR, PTO-SCALAR-HL-SDIP, PTO-SCALAR-HL-SDIP-U, PTO-SCALAR-HL-SDP, PTO-SCALAR-HL-SDP-U, PTO-SCALAR-HL-SETC-ANDI, PTO-SCALAR-HL-SETC-EQI, PTO-SCALAR-HL-SETC-GEI, PTO-SCALAR-HL-SETC-GEUI, PTO-SCALAR-HL-SETC-LTI, PTO-SCALAR-HL-SETC-LTUI, PTO-SCALAR-HL-SETC-NEI, PTO-SCALAR-HL-SETC-ORI, PTO-SCALAR-HL-SETRET, PTO-SCALAR-HL-SH-PCR, PTO-SCALAR-HL-SH-PO, PTO-SCALAR-HL-SH-PR, PTO-SCALAR-HL-SH-UPO, PTO-SCALAR-HL-SH-UPR, PTO-SCALAR-HL-SHI, PTO-SCALAR-HL-SHI-PO, PTO-SCALAR-HL-SHI-PR, PTO-SCALAR-HL-SHI-U, PTO-SCALAR-HL-SHI-UPO, PTO-SCALAR-HL-SHI-UPR, PTO-SCALAR-HL-SHIP, PTO-SCALAR-HL-SHIP-U, PTO-SCALAR-HL-SHP, PTO-SCALAR-HL-SHP-U, PTO-SCALAR-HL-SSRGET, PTO-SCALAR-HL-SSRSET, PTO-SCALAR-HL-SUBI, PTO-SCALAR-HL-SUBIW, PTO-SCALAR-HL-SW-PCR, PTO-SCALAR-HL-SW-PO, PTO-SCALAR-HL-SW-PR, PTO-SCALAR-HL-SW-UPO, PTO-SCALAR-HL-SW-UPR, PTO-SCALAR-HL-SWI, PTO-SCALAR-HL-SWI-PO, PTO-SCALAR-HL-SWI-PR, PTO-SCALAR-HL-SWI-U, PTO-SCALAR-HL-SWI-UPO, PTO-SCALAR-HL-SWI-UPR, PTO-SCALAR-HL-SWIP, PTO-SCALAR-HL-SWIP-U, PTO-SCALAR-HL-SWP, PTO-SCALAR-HL-SWP-U, PTO-SCALAR-HL-XORI, PTO-SCALAR-HL-XORIW, PTO-SCALAR-IC-IALL, PTO-SCALAR-IC-IVA, PTO-SCALAR-J, PTO-SCALAR-JR, PTO-SCALAR-LB, PTO-SCALAR-LB-PCR, PTO-SCALAR-LBI, PTO-SCALAR-LBU, PTO-SCALAR-LBU-PCR, PTO-SCALAR-LBUI, PTO-SCALAR-LD, PTO-SCALAR-LD-ADD, PTO-SCALAR-LD-AND, PTO-SCALAR-LD-OR, PTO-SCALAR-LD-PCR, PTO-SCALAR-LD-SMAX, PTO-SCALAR-LD-SMIN, PTO-SCALAR-LD-UMAX, PTO-SCALAR-LD-UMIN, PTO-SCALAR-LD-XOR, PTO-SCALAR-LDI, PTO-SCALAR-LDI-U, PTO-SCALAR-LH, PTO-SCALAR-LH-PCR, PTO-SCALAR-LHI, PTO-SCALAR-LHI-U, PTO-SCALAR-LHU, PTO-SCALAR-LHU-PCR, PTO-SCALAR-LHUI, PTO-SCALAR-LHUI-U, PTO-SCALAR-LR-B, PTO-SCALAR-LR-D, PTO-SCALAR-LR-H, PTO-SCALAR-LR-W, PTO-SCALAR-LSRGET, PTO-SCALAR-LUI, PTO-SCALAR-LW, PTO-SCALAR-LW-ADD, PTO-SCALAR-LW-AND, PTO-SCALAR-LW-OR, PTO-SCALAR-LW-PCR, PTO-SCALAR-LW-SMAX, PTO-SCALAR-LW-SMIN, PTO-SCALAR-LW-UMAX, PTO-SCALAR-LW-UMIN, PTO-SCALAR-LW-XOR, PTO-SCALAR-LWI, PTO-SCALAR-LWI-U, PTO-SCALAR-LWU, PTO-SCALAR-LWU-PCR, PTO-SCALAR-LWUI, PTO-SCALAR-LWUI-U, PTO-SCALAR-MADD, PTO-SCALAR-MADDW, PTO-SCALAR-MAX, PTO-SCALAR-MAXU, PTO-SCALAR-MIN, PTO-SCALAR-MINU, PTO-SCALAR-MUL, PTO-SCALAR-MULU, PTO-SCALAR-MULUW, PTO-SCALAR-MULW, PTO-SCALAR-OR, PTO-SCALAR-ORI, PTO-SCALAR-ORIW, PTO-SCALAR-ORW, PTO-SCALAR-PRF, PTO-SCALAR-PRFI-U, PTO-SCALAR-REM, PTO-SCALAR-REMU, PTO-SCALAR-REMUW, PTO-SCALAR-REMW, PTO-SCALAR-REV, PTO-SCALAR-SB, PTO-SCALAR-SB-PCR, PTO-SCALAR-SBI, PTO-SCALAR-SC-B, PTO-SCALAR-SC-D, PTO-SCALAR-SC-H, PTO-SCALAR-SC-W, PTO-SCALAR-SCVTF, PTO-SCALAR-SD, PTO-SCALAR-SD-ADD, PTO-SCALAR-SD-AND, PTO-SCALAR-SD-OR, PTO-SCALAR-SD-PCR, PTO-SCALAR-SD-SMAX, PTO-SCALAR-SD-SMIN, PTO-SCALAR-SD-U, PTO-SCALAR-SD-UMAX, PTO-SCALAR-SD-UMIN, PTO-SCALAR-SD-XOR, PTO-SCALAR-SDI, PTO-SCALAR-SDI-U, PTO-SCALAR-SETC-AND, PTO-SCALAR-SETC-ANDI, PTO-SCALAR-SETC-EQ, PTO-SCALAR-SETC-EQI, PTO-SCALAR-SETC-GE, PTO-SCALAR-SETC-GEI, PTO-SCALAR-SETC-GEU, PTO-SCALAR-SETC-GEUI, PTO-SCALAR-SETC-LT, PTO-SCALAR-SETC-LTI, PTO-SCALAR-SETC-LTU, PTO-SCALAR-SETC-LTUI, PTO-SCALAR-SETC-NE, PTO-SCALAR-SETC-NEI, PTO-SCALAR-SETC-OR, PTO-SCALAR-SETC-ORI, PTO-SCALAR-SETC-TGT, PTO-SCALAR-SETRET, PTO-SCALAR-SH, PTO-SCALAR-SH-PCR, PTO-SCALAR-SH-U, PTO-SCALAR-SHI, PTO-SCALAR-SHI-U, PTO-SCALAR-SLL, PTO-SCALAR-SLLI, PTO-SCALAR-SLLIW, PTO-SCALAR-SLLW, PTO-SCALAR-SRA, PTO-SCALAR-SRAI, PTO-SCALAR-SRAIW, PTO-SCALAR-SRAW, PTO-SCALAR-SRL, PTO-SCALAR-SRLI, PTO-SCALAR-SRLIW, PTO-SCALAR-SRLW, PTO-SCALAR-SSRGET, PTO-SCALAR-SSRSET, PTO-SCALAR-SSRSWAP, PTO-SCALAR-SUB, PTO-SCALAR-SUBI, PTO-SCALAR-SUBIW, PTO-SCALAR-SUBW, PTO-SCALAR-SW, PTO-SCALAR-SW-ADD, PTO-SCALAR-SW-AND, PTO-SCALAR-SW-OR, PTO-SCALAR-SW-PCR, PTO-SCALAR-SW-SMAX, PTO-SCALAR-SW-SMIN, PTO-SCALAR-SW-U, PTO-SCALAR-SW-UMAX, PTO-SCALAR-SW-UMIN, PTO-SCALAR-SW-XOR, PTO-SCALAR-SWAPB, PTO-SCALAR-SWAPD, PTO-SCALAR-SWAPH, PTO-SCALAR-SWAPW, PTO-SCALAR-SWI, PTO-SCALAR-SWI-U, PTO-SCALAR-TLB-IA, PTO-SCALAR-TLB-IALL, PTO-SCALAR-TLB-IAV, PTO-SCALAR-TLB-IV, PTO-SCALAR-UCVTF, PTO-SCALAR-XOR, PTO-SCALAR-XORI, PTO-SCALAR-XORIW, PTO-SCALAR-XORW, PTO-TILE-GMOV, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-TABS, PTO-TILE-TADD, PTO-TILE-TADDS, PTO-TILE-TAND, PTO-TILE-TANDS, PTO-TILE-TCI, PTO-TILE-TCMP, PTO-TILE-TCMPS, PTO-TILE-TCOLARGMAX, PTO-TILE-TCOLARGMIN, PTO-TILE-TCOLEXPAND, PTO-TILE-TCOLEXPANDADD, PTO-TILE-TCOLEXPANDDIV, PTO-TILE-TCOLEXPANDEXPDIF, PTO-TILE-TCOLEXPANDMAX, PTO-TILE-TCOLEXPANDMIN, PTO-TILE-TCOLEXPANDMUL, PTO-TILE-TCOLEXPANDSUB, PTO-TILE-TCOLMAX, PTO-TILE-TCOLMIN, PTO-TILE-TCOLPROD, PTO-TILE-TCOLSUM, PTO-TILE-TCONCAT, PTO-TILE-TCVT, PTO-TILE-TDEQUANT, PTO-TILE-TDIV, PTO-TILE-TDIVS, PTO-TILE-TEXP, PTO-TILE-TEXPANDS, PTO-TILE-TEXTRACT, PTO-TILE-TFMA, PTO-TILE-TGATHER, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-THISTOGRAM, PTO-TILE-TIMG2COL, PTO-TILE-TINSERT, PTO-TILE-TLOAD, PTO-TILE-TLOG, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS, PTO-TILE-TMAX, PTO-TILE-TMAXS, PTO-TILE-TMIN, PTO-TILE-TMINS, PTO-TILE-TMOV, PTO-TILE-TMRGSORT, PTO-TILE-TMUL, PTO-TILE-TMULS, PTO-TILE-TNEG, PTO-TILE-TNOT, PTO-TILE-TOR, PTO-TILE-TORS, PTO-TILE-TPREFETCH, PTO-TILE-TQUANT, PTO-TILE-TRECIP, PTO-TILE-TRELU, PTO-TILE-TREM, PTO-TILE-TREMS, PTO-TILE-TROWARGMAX, PTO-TILE-TROWARGMIN, PTO-TILE-TROWEXPAND, PTO-TILE-TROWEXPANDADD, PTO-TILE-TROWEXPANDDIV, PTO-TILE-TROWEXPANDEXPDIF, PTO-TILE-TROWEXPANDMAX, PTO-TILE-TROWEXPANDMIN, PTO-TILE-TROWEXPANDMUL, PTO-TILE-TROWEXPANDSUB, PTO-TILE-TROWMAX, PTO-TILE-TROWMIN, PTO-TILE-TROWPROD, PTO-TILE-TROWSUM, PTO-TILE-TRSQRT, PTO-TILE-TSCATTER, PTO-TILE-TSEL, PTO-TILE-TSELS, PTO-TILE-TSHL, PTO-TILE-TSHLS, PTO-TILE-TSHR, PTO-TILE-TSHRS, PTO-TILE-TSORT, PTO-TILE-TSQRT, PTO-TILE-TSTORE, PTO-TILE-TSUB, PTO-TILE-TSUBS, PTO-TILE-TTRI, PTO-TILE-TXOR, PTO-TILE-TXORS
Affected NDF
PTO-ACRC-DECISION-BINDING-001, PTO-ACRE-IMPLICIT-STOP-001, PTO-ADD-DECISION-BINDING-001, PTO-ADDTPC-PAGE-001, PTO-AND-DECISION-BINDING-001, PTO-ARCH-COMMIT-EVENT-CONFORMANCE-001, PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001, PTO-ARCH-ENCODING-OWNERSHIP-001, PTO-ARCH-STATE-CLOSURE-001, PTO-ARCH-TEPL-ALIAS-001, PTO-ARCH-TILE-EXECUTION-ENGINE-001, PTO-ARCH-TILE-INSTRUCTION-CLASS-001, PTO-B-CATR-CONTROL-001, PTO-B-DATR-FIELDS-001, PTO-B-DIM-WRITE-001, PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-B-HINT-LIFECYCLE-001, PTO-B-IOR-BINDING-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-BCNT-DECISION-BINDING-001, PTO-BIC-DECISION-BINDING-001, PTO-BIS-DECISION-BINDING-001, PTO-BLOCK-ERCOV-RESERVED-001, PTO-BLOCK-ESAVE-RESERVED-001, PTO-BLOCK-MSET-FILL-001, PTO-BLOCK-XB-RESERVED-001, PTO-BSE-DECISION-BINDING-001, PTO-BSTART-CALL-DECISION-BINDING-001, PTO-BSTART-DECISION-BINDING-001, PTO-BSTART-FP-CONTROL-001, PTO-BSTART-GMOV-COLLECTIVE-001, PTO-BSTART-ICALL-DECISION-BINDING-001, PTO-BSTART-MGATHER-CAS-SCHEMA-001, PTO-BSTART-MGATHER-MASK-SCHEMA-001, PTO-BSTART-MGATHER-SCHEMA-001, PTO-BSTART-MSCATTER-MASK-SCHEMA-001, PTO-BSTART-MSCATTER-SCHEMA-001, PTO-BSTART-SFU-DECISION-BINDING-001, PTO-BSTART-STD-CONTROL-001, PTO-BSTART-SYS-CONTROL-001, PTO-BSTART-TEPL-DECISION-BINDING-001, PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TLOAD-CUBE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-BSTART-TMOV-SHARED-001, PTO-BSTART-TPREFETCH-MEMORY-001, PTO-BSTART-TSTORE-CUBE-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-BSTART-VEC-DECISION-BINDING-001, PTO-BSTOP-DECISION-BINDING-001, PTO-BWE-DECISION-BINDING-001, PTO-BWI-DECISION-BINDING-001, PTO-BWT-DECISION-BINDING-001, PTO-BXS-DECISION-BINDING-001, PTO-BXU-DECISION-BINDING-001, PTO-C-BSTART-CONTROL-001, PTO-C-BSTART-FP-CONTROL-001, PTO-C-BSTART-STD-CONTROL-001, PTO-C-BSTART-SYS-CONTROL-001, PTO-C-BSTOP-DECISION-BINDING-001, PTO-C-CMP-EQI-DECISION-BINDING-001, PTO-C-CMP-NEI-DECISION-BINDING-001, PTO-C-EBREAK-CAUSE-001, PTO-C-SETC-EQ-CONDITIONAL-SETTER-001, PTO-C-SETC-NE-CONDITIONAL-SETTER-001, PTO-C-SETC-TGT-SNAPSHOT-001, PTO-C-SETRET-DECISION-BINDING-001, PTO-C-SSRGET-DIRECT-IDS-001, PTO-CLZ-DECISION-BINDING-001, PTO-CTZ-DECISION-BINDING-001, PTO-CUBE-CELL-TRANSPORT-001, PTO-EBREAK-DECISION-BINDING-001, PTO-FABS-DECISION-BINDING-001, PTO-FCVTA-DECISION-BINDING-001, PTO-FCVTM-DECISION-BINDING-001, PTO-FCVTN-DECISION-BINDING-001, PTO-FCVTP-DECISION-BINDING-001, PTO-FCVTZ-DECISION-BINDING-001, PTO-FENCE-D-DECISION-BINDING-001, PTO-FENCE-I-DECISION-BINDING-001, PTO-FENTRY-RESTARTABLE-FRAME-001, PTO-FEXIT-RESTARTABLE-FRAME-001, PTO-FMAX-DECISION-BINDING-001, PTO-FMIN-DECISION-BINDING-001, PTO-FNE-DECISION-BINDING-001, PTO-FNES-DECISION-BINDING-001, PTO-FRET-RA-RESTARTABLE-FRAME-001, PTO-FRET-STK-RESTARTABLE-FRAME-001, PTO-GMOV-CORE4-PEER-001, PTO-HL-ADDI-CONTRACT-001, PTO-HL-ADDIW-CONTRACT-001, PTO-HL-ADDTPC-PAGE-001, PTO-HL-ANDI-CONTRACT-001, PTO-HL-ANDIW-CONTRACT-001, PTO-HL-BFI-DECISION-BINDING-001, PTO-HL-CCAT-CONTRACT-001, PTO-HL-CCATW-CONTRACT-001, PTO-HL-DIV-DECISION-BINDING-001, PTO-HL-DIVU-DECISION-BINDING-001, PTO-HL-DIVUW-DECISION-BINDING-001, PTO-HL-DIVW-DECISION-BINDING-001, PTO-HL-LIS-DECISION-BINDING-001, PTO-HL-LUI-UPPER-HALF-001, PTO-HL-MADDW-WORD-HALVES-001, PTO-HL-ORI-CONTRACT-001, PTO-HL-ORIW-CONTRACT-001, PTO-HL-PRF-A-CACHE-MODEL-001, PTO-HL-PRF-CACHE-MODEL-001, PTO-HL-PRFI-U-CACHE-MODEL-001, PTO-HL-PRFI-UA-CACHE-MODEL-001, PTO-HL-QMT-GQM-001, PTO-HL-QPOP-GQM-001, PTO-HL-QPUSH-GQM-001, PTO-HL-REM-RESULT-ORDER-001, PTO-HL-REMU-RESULT-ORDER-001, PTO-HL-REMUW-RESULT-ORDER-001, PTO-HL-REMW-RESULT-ORDER-001, PTO-HL-SD-UPO-DECISION-BINDING-001, PTO-HL-SD-UPR-DECISION-BINDING-001, PTO-HL-SETC-ANDI-CONDITIONAL-SETTER-001, PTO-HL-SETC-EQI-CONDITIONAL-SETTER-001, PTO-HL-SETC-GEI-CONDITIONAL-SETTER-001, PTO-HL-SETC-GEUI-CONDITIONAL-SETTER-001, PTO-HL-SETC-LTI-CONDITIONAL-SETTER-001, PTO-HL-SETC-LTUI-CONDITIONAL-SETTER-001, PTO-HL-SETC-NEI-CONDITIONAL-SETTER-001, PTO-HL-SETC-ORI-CONDITIONAL-SETTER-001, PTO-HL-SETRET-DECISION-BINDING-001, PTO-HL-SH-UPO-DECISION-BINDING-001, PTO-HL-SH-UPR-DECISION-BINDING-001, PTO-HL-SSRGET-DECISION-BINDING-001, PTO-HL-SSRSET-DECISION-BINDING-001, PTO-HL-SUBI-CONTRACT-001, PTO-HL-SUBIW-CONTRACT-001, PTO-HL-SW-UPO-DECISION-BINDING-001, PTO-HL-SW-UPR-DECISION-BINDING-001, PTO-HL-XORI-CONTRACT-001, PTO-HL-XORIW-CONTRACT-001, PTO-J-DECISION-BINDING-001, PTO-JR-DECISION-BINDING-001, PTO-L-BSTOP-DECISION-BINDING-001, PTO-LSRGET-BARG-001, PTO-MCOPY-RESTART-001, PTO-MGATHER-BYTE-DISPLACEMENT-001, PTO-MGATHER-CAS-ATOMIC-001, PTO-MGATHER-CAS-PUBLICATION-001, PTO-MGATHER-MASK-PREDICATE-001, PTO-MGATHER-MASK-PUBLICATION-001, PTO-MGATHER-MASK-TYPE-002, PTO-MSCATTER-BYTE-DISPLACEMENT-001, PTO-MSCATTER-DUPLICATE-ORDER-001, PTO-MSCATTER-MASK-DUPLICATE-001, PTO-MSCATTER-MASK-PREDICATE-001, PTO-MSCATTER-MASK-TYPE-002, PTO-NUMERIC-FORMAT-DESCRIPTOR-001, PTO-OR-DECISION-BINDING-001, PTO-PRF-NONFAULTING-HINT-001, PTO-PRFI-U-NONFAULTING-HINT-001, PTO-RELEASE-VERIFICATION, PTO-REV-DECISION-BINDING-001, PTO-SCVTF-DECISION-BINDING-001, PTO-SD-U-ADR-CONTRACT-001, PTO-SD-XOR-ADR-CONTRACT-001, PTO-SDI-ADR-CONTRACT-001, PTO-SDI-U-ADR-CONTRACT-001, PTO-SETC-AND-CONDITIONAL-SETTER-001, PTO-SETC-ANDI-CONDITIONAL-SETTER-001, PTO-SETC-EQ-CONDITIONAL-SETTER-001, PTO-SETC-EQI-CONDITIONAL-SETTER-001, PTO-SETC-GE-CONDITIONAL-SETTER-001, PTO-SETC-GEI-CONDITIONAL-SETTER-001, PTO-SETC-GEU-CONDITIONAL-SETTER-001, PTO-SETC-GEUI-CONDITIONAL-SETTER-001, PTO-SETC-LT-CONDITIONAL-SETTER-001, PTO-SETC-LTI-CONDITIONAL-SETTER-001, PTO-SETC-LTU-CONDITIONAL-SETTER-001, PTO-SETC-LTUI-CONDITIONAL-SETTER-001, PTO-SETC-NE-CONDITIONAL-SETTER-001, PTO-SETC-NEI-CONDITIONAL-SETTER-001, PTO-SETC-OR-CONDITIONAL-SETTER-001, PTO-SETC-ORI-CONDITIONAL-SETTER-001, PTO-SETC-TGT-ADR-CONTRACT-001, PTO-SETRET-ADR-CONTRACT-001, PTO-SH-ADR-CONTRACT-001, PTO-SH-PCR-ADR-CONTRACT-001, PTO-SH-U-ADR-CONTRACT-001, PTO-SHI-ADR-CONTRACT-001, PTO-SHI-U-ADR-CONTRACT-001, PTO-SLL-ADR-CONTRACT-001, PTO-SLLI-ADR-CONTRACT-001, PTO-SLLIW-ADR-CONTRACT-001, PTO-SLLW-ADR-CONTRACT-001, PTO-SOURCE-HIERARCHY, PTO-SRA-ADR-CONTRACT-001, PTO-SRAI-ADR-CONTRACT-001, PTO-SRAIW-ADR-CONTRACT-001, PTO-SRAW-ADR-CONTRACT-001, PTO-SRL-ADR-CONTRACT-001, PTO-SRLI-ADR-CONTRACT-001, PTO-SRLIW-ADR-CONTRACT-001, PTO-SRLW-ADR-CONTRACT-001, PTO-SSRGET-ADR-CONTRACT-001, PTO-SSRSET-ADR-CONTRACT-001, PTO-SSRSWAP-ADR-CONTRACT-001, PTO-SUB-ADR-CONTRACT-001, PTO-SUBI-ADR-CONTRACT-001, PTO-SUBIW-ADR-CONTRACT-001, PTO-SUBW-ADR-CONTRACT-001, PTO-SW-ADD-ADR-CONTRACT-001, PTO-SW-ADR-CONTRACT-001, PTO-SW-AND-ADR-CONTRACT-001, PTO-SW-OR-ADR-CONTRACT-001, PTO-SW-PCR-ADR-CONTRACT-001, PTO-SW-SMAX-ADR-CONTRACT-001, PTO-SW-SMIN-ADR-CONTRACT-001, PTO-SW-U-ADR-CONTRACT-001, PTO-SW-UMAX-ADR-CONTRACT-001, PTO-SW-UMIN-ADR-CONTRACT-001, PTO-SW-XOR-ADR-CONTRACT-001, PTO-SWAPB-ADR-CONTRACT-001, PTO-SWAPD-ADR-CONTRACT-001, PTO-SWAPH-ADR-CONTRACT-001, PTO-SWAPW-ADR-CONTRACT-001, PTO-SWI-ADR-CONTRACT-001, PTO-SWI-U-ADR-CONTRACT-001, PTO-TABS-CONTRACT-001, PTO-TADD-CONTRACT-001, PTO-TADDS-CONTRACT-001, PTO-TAND-CONTRACT-001, PTO-TANDS-CONTRACT-001, PTO-TCI-CONTRACT-001, PTO-TCMP-CONTRACT-001, PTO-TCMPS-CONTRACT-001, PTO-TCOLARGMAX-CONTRACT-001, PTO-TCOLARGMIN-CONTRACT-001, PTO-TCOLEXPAND-CONTRACT-001, PTO-TCOLEXPANDADD-CONTRACT-001, PTO-TCOLEXPANDDIV-CONTRACT-001, PTO-TCOLEXPANDEXPDIF-CONTRACT-001, PTO-TCOLEXPANDMAX-CONTRACT-001, PTO-TCOLEXPANDMIN-CONTRACT-001, PTO-TCOLEXPANDMUL-CONTRACT-001, PTO-TCOLEXPANDSUB-CONTRACT-001, PTO-TCOLMAX-CONTRACT-001, PTO-TCOLMIN-CONTRACT-001, PTO-TCOLPROD-CONTRACT-001, PTO-TCOLSUM-CONTRACT-001, PTO-TCONCAT-CONTRACT-001, PTO-TCVT-CONTRACT-001, PTO-TDEQUANT-CONTRACT-001, PTO-TDIV-CONTRACT-001, PTO-TDIVS-CONTRACT-001, PTO-TEXP-CONTRACT-001, PTO-TEXPANDS-CONTRACT-001, PTO-TEXTRACT-CONTRACT-001, PTO-TFMA-CONTRACT-001, PTO-TGATHER-CONTRACT-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-THISTOGRAM-CONTRACT-001, PTO-TILE-CAPACITY-PER-PE, PTO-TIMG2COL-CONTRACT-001, PTO-TINSERT-CONTRACT-001, PTO-TLB-IA-ADR-CONTRACT-001, PTO-TLB-IALL-ADR-CONTRACT-001, PTO-TLB-IAV-ADR-CONTRACT-001, PTO-TLB-IV-ADR-CONTRACT-001, PTO-TLOAD-CUBE-001, PTO-TLOAD-MEMORY-001, PTO-TLOG-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001, PTO-TMAX-CONTRACT-001, PTO-TMAXS-CONTRACT-001, PTO-TMIN-CONTRACT-001, PTO-TMINS-CONTRACT-001, PTO-TMOV-CONTRACT-001, PTO-TMRGSORT-CONTRACT-001, PTO-TMUL-CONTRACT-001, PTO-TMULS-CONTRACT-001, PTO-TNEG-CONTRACT-001, PTO-TNOT-CONTRACT-001, PTO-TOR-CONTRACT-001, PTO-TORS-CONTRACT-001, PTO-TPREFETCH-FOOTPRINT-001, PTO-TQUANT-CONTRACT-001, PTO-TRECIP-CONTRACT-001, PTO-TRELU-CONTRACT-001, PTO-TREM-CONTRACT-001, PTO-TREMS-CONTRACT-001, PTO-TROWARGMAX-CONTRACT-001, PTO-TROWARGMIN-CONTRACT-001, PTO-TROWEXPAND-CONTRACT-001, PTO-TROWEXPANDADD-CONTRACT-001, PTO-TROWEXPANDDIV-CONTRACT-001, PTO-TROWEXPANDEXPDIF-CONTRACT-001, PTO-TROWEXPANDMAX-CONTRACT-001, PTO-TROWEXPANDMIN-CONTRACT-001, PTO-TROWEXPANDMUL-CONTRACT-001, PTO-TROWEXPANDSUB-CONTRACT-001, PTO-TROWMAX-CONTRACT-001, PTO-TROWMIN-CONTRACT-001, PTO-TROWPROD-CONTRACT-001, PTO-TROWSUM-CONTRACT-001, PTO-TRSQRT-CONTRACT-001, PTO-TSCATTER-CONTRACT-001, PTO-TSEL-CONTRACT-001, PTO-TSELS-CONTRACT-001, PTO-TSHL-CONTRACT-001, PTO-TSHLS-CONTRACT-001, PTO-TSHR-CONTRACT-001, PTO-TSHRS-CONTRACT-001, PTO-TSORT-CONTRACT-001, PTO-TSQRT-CONTRACT-001, PTO-TSTORE-CUBE-001, PTO-TSTORE-MEMORY-001, PTO-TSUB-CONTRACT-001, PTO-TSUBS-CONTRACT-001, PTO-TTRI-CONTRACT-001, PTO-TXOR-CONTRACT-001, PTO-TXORS-CONTRACT-001, PTO-UCVTF-DECISION-BINDING-001, PTO-XOR-ADR-CONTRACT-001, PTO-XORI-ADR-CONTRACT-001, PTO-XORIW-ADR-CONTRACT-001, PTO-XORW-ADR-CONTRACT-001
SHA-256
f18d13f735cfaf9f2803c754c5818f4af33d1cc42c489f0d9ce060b07bb3a196
Open exact decision source ↗ for ADR-0059
B.FPATR Complete-Bundle Matrix PostProcess · accepted
1. decision recordADR
2. case0064
Decision record
Loading ADR-0064…
Sources and references
Complete stable ID
ADR-0064
Path
docs/status/decisions/0064-b-fpatr-complete-bundle-postprocess.md
Affected units
PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-ARCH-PROFILE-MATRIX-QUANTIZATION, PTO-BLOCK-B-FPATR
Affected NDF
PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-MATRIX-POSTPROCESS-BITEXACT-001, PTO-MATRIX-QUANT-BITEXACT-001
SHA-256
853e7fe83cf78a1fbf1fe1668ce6dbf64e5da29ddb301865ed03e8af8f99cad1
Open exact decision source ↗ for ADR-0064
Cooperative Shared CUBE Inputs and Transpose · accepted
1. decision recordADR
2. case0072
Decision record
Loading ADR-0072…
Sources and references
Complete stable ID
ADR-0072
Path
docs/status/decisions/0072-cooperative-shared-cube-transpose.md
Affected units
PTO-ARCH-PROFILE-RESET, PTO-BLOCK-B-FPATR, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-LIFECYCLE-RESET, PTO-BLOCK-MODEL-SCHEMA-ATTRIBUTES, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-MODEL-LEGALITY-MATRIX-INFO-DESCRIPTOR, PTO-TILE-MODEL-LEGALITY-MATRIX-OPERANDS, PTO-TILE-MODEL-LEGALITY-MATRIX-SHAPE, PTO-TILE-MODEL-STATE-SHARED-REGISTERS
Affected NDF
PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-CUBE-SHARED-TRANSPOSE-001, PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-TGEMV-CONTRACT-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001
SHA-256
9bc7340fea777ee543d4b9393f8f6002b55106833e55ff6d388f8beac504dd09
Open exact decision source ↗ for ADR-0072
CUBE and matrix operations · accepted
1. decision recordADR
2. case0079
Decision record
Loading ADR-0079…
Sources and references
Complete stable ID
ADR-0079
Path
docs/status/decisions/0079-cube-and-matrix-operations.md
Affected units
PTO-BLOCK-B-DATR, PTO-BLOCK-B-FPATR, PTO-BLOCK-B-IOR, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-BSTART-TGEMV, PTO-BLOCK-BSTART-TGEMV-ACC, PTO-BLOCK-BSTART-TGEMV-BIAS, PTO-BLOCK-BSTART-TGEMVMX, PTO-BLOCK-BSTART-TGEMVMX-ACC, PTO-BLOCK-BSTART-TGEMVMX-BIAS, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS
Affected NDF
PTO-B-DATR-FIELDS-001, PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-B-IOR-BINDING-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-BSTART-TGEMV-ACC-CONTRACT-001, PTO-BSTART-TGEMV-BIAS-CONTRACT-001, PTO-BSTART-TGEMV-CONTRACT-001, PTO-BSTART-TGEMVMX-ACC-CONTRACT-001, PTO-BSTART-TGEMVMX-BIAS-CONTRACT-001, PTO-BSTART-TGEMVMX-CONTRACT-001, PTO-BSTART-TMATMUL-ACC-CONTRACT-001, PTO-BSTART-TMATMUL-BIAS-CONTRACT-001, PTO-BSTART-TMATMUL-CONTRACT-001, PTO-BSTART-TMATMULMX-ACC-CONTRACT-001, PTO-BSTART-TMATMULMX-BIAS-CONTRACT-001, PTO-BSTART-TMATMULMX-CONTRACT-001, PTO-CUBE-CELL-TRANSPORT-001, PTO-TGEMV-ACC-CONTRACT-001, PTO-TGEMV-BIAS-CONTRACT-001, PTO-TGEMV-CONTRACT-001, PTO-TGEMV-MX-ACC-CONTRACT-001, PTO-TGEMV-MX-BIAS-CONTRACT-001, PTO-TGEMV-MX-CONTRACT-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001
SHA-256
71b54321ddf5d233ef470083965e269778c57d5ef3d01859659aba7e2ab40863
Open exact decision source ↗ for ADR-0079
Numeric post-process and format operations · accepted
1. decision recordADR
2. case0085
Decision record
Loading ADR-0085…
Sources and references
Complete stable ID
ADR-0085
Path
docs/status/decisions/0085-numeric-postprocess-and-format-operations.md
Affected units
PTO-ARCH-DATA-TYPES-FP19, PTO-BLOCK-B-FPATR, PTO-TILE-TCVT
Affected NDF
PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-FP19-PARAMETER-CARRIER-001, PTO-TCVT-CONTRACT-001
SHA-256
d4f1057dcc23ae62c01a08c6c4664b0b6ffa024ae45eafd776f67327d98cb9e9
Open exact decision source ↗ for ADR-0085
Matrix Scale Cell Layouts, HiF4 Scale Words, and CScale · accepted
1. decision recordADR
2. case0101
Decision record
Loading ADR-0101…
Sources and references
Complete stable ID
ADR-0101
Path
docs/status/decisions/0101-matrix-scale-and-cscale.md
Affected units
PTO-ARCH-DATA-TYPES-FORMAT-HIF4-SCALE, PTO-ARCH-PROFILE-MATRIX-POSTPROCESS, PTO-BLOCK-B-FPATR, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-MATRIX-SCALE, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-SCHEMA-ATTRIBUTES, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-MODEL-EXECUTION-CUBE, PTO-TILE-MODEL-EXECUTION-MATRIX-SCALE, PTO-TILE-MODEL-LEGALITY-MATRIX-FUNCTIONS, PTO-TILE-MODEL-LEGALITY-MATRIX-OPERANDS, PTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS, PTO-TILE-MODEL-LEGALITY-MATRIX-SHAPE, PTO-TILE-MODEL-SHAPE-CUBE-CELL
Affected NDF
PTO-B-FPATR-MATRIX-POSTPROCESS-001, PTO-CUBE-CSCALE-001, PTO-CUBE-HIF4-SCALE-001, PTO-CUBE-MATRIX-SCALE-001, PTO-CUBE-MATRIX-SCALE-CELL-001, PTO-CUBE-SHARED-TRANSPOSE-001
SHA-256
a5c962437636c0d3f4f3585d3b529fcc9821d4b00c540243c2351978196e9be0
Open exact decision source ↗ for ADR-0101

Unit metadata

Open 11 generated metadata fields

assembly: [ "B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn" ]
block: []
catalog_indices: [ 73 ]
catalog_records: [ { "asm": "B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn", "constraints": [ { "field": "PreQuantMode", "operator": "one-of", "values": [ 0, 1, 2, 3, 4, 5, 12, 13, 16, 17, 18, 19, 20, 23, 24, 25, 26, 27, 28, 32, 33, 34, 35, 36, 37, 38, 39 ] }, { "field": "ReluMode", "operator": "one-of", "values": [ 0, 1, 2, 3 ] }, { "field": "GroupNCode", "operator": "one-of", "values": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 ] }, { "field": "RowMaxEn", "operator": "one-of", "values": [ 0, 1 ] }, { "field": "GroupMaxEn", "operator": "one-of", "values": [ 0, 1 ] }, { "field": "RowMaxInit", "operator": "one-of", "values": [ 0, 1 ] }, { "field": "MaxAbsEn", "operator": "one-of", "values": [ 0, 1 ] }, { "field": "Func", "operator": "one-of", "values": [ 2 ] }, { "field": "ElementWiseEn", "operator": "one-of", "values": [ 0 ] }, { "field": "TransA", "operator": "one-of", "values": [ 0, 1 ] }, { "field": "TransB", "operator": "one-of", "values": [ 0, 1 ] }, { "field": "CScaleEn", "operator": "one-of", "values": [ 0, 1 ] }, { "field": "Reserved", "operator": "one-of", "values": [ 0 ] }, { "field": "Opc1", "operator": "one-of", "values": [ 2 ] }, { "field": "Opcode", "operator": "one-of", "values": [ 1 ] }, { "field": "W", "operator": "one-of", "values": [ 1 ] } ], "encoding": [ { "index": 0, "mask": "0x00007c7f", "match": "0x00002023", "width_bits": 32 } ], "encoding_kind": "L32", "fields": [ { "name": "PreQuantMode", "pieces": [ { "instruction_lsb": 26, "value_lsb": 0, "width": 6 } ], "signedness": "encoding-defined", "width": 6 }, { "name": "ReluMode", "pieces": [ { "instruction_lsb": 23, "value_lsb": 0, "width": 3 } ], "signedness": "encoding-defined", "width": 3 }, { "name": "GroupNCode", "pieces": [ { "instruction_lsb": 19, "value_lsb": 0, "width": 4 } ], "signedness": "encoding-defined", "width": 4 }, { "name": "RowMaxEn", "pieces": [ { "instruction_lsb": 18, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "GroupMaxEn", "pieces": [ { "instruction_lsb": 17, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "RowMaxInit", "pieces": [ { "instruction_lsb": 16, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "MaxAbsEn", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "Func", "pieces": [ { "instruction_lsb": 12, "value_lsb": 0, "width": 3 } ], "signedness": "encoding-defined", "width": 3 }, { "name": "ElementWiseEn", "pieces": [ { "instruction_lsb": 11, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "TransA", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "TransB", "pieces": [ { "instruction_lsb": 8, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "CScaleEn", "pieces": [ { "instruction_lsb": 9, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "Reserved", "pieces": [ { "instruction_lsb": 10, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 }, { "name": "Opc1", "pieces": [ { "instruction_lsb": 4, "value_lsb": 0, "width": 3 } ], "signedness": "encoding-defined", "width": 3 }, { "name": "Opcode", "pieces": [ { "instruction_lsb": 1, "value_lsb": 0, "width": 3 } ], "signedness": "encoding-defined", "width": 3 }, { "name": "W", "pieces": [ { "instruction_lsb": 0, "value_lsb": 0, "width": 1 } ], "signedness": "encoding-defined", "width": 1 } ], "form_id": "b_fpatr_32_30c307e06d4a", "length_bits": 32, "mnemonic": "B.FPATR", "semantic_family": "CMD", "semantic_group": "Bundle Fixed-Point PostProcess Attribute", "semantic_handler": "SetBundleFixedPointAttributes", "semantic_summary": "Latches complete-bundle matrix post-processing mode, reduction enables, and fixed-point descriptor controls.", "status": "accepted" } ]
classification: [ "attributes" ]
mnemonic: B.FPATR
summary: Latches complete-bundle matrix post-processing mode, reduction enables, and fixed-point descriptor controls.
surface: block
id: PTO-BLOCK-B-FPATR
depends_on: [ "PTO-ARCH-DATA-TYPES-FP19", "PTO-BLOCK-MODEL-SCHEMA-ATTRIBUTES" ]
contract: { "block_composition": [ "Required exactly once in a CUBE Matrix block after BSTART and before scalar or tile bindings and the first body instruction.", "The complete block schema places mathematical Local sources first, then optional RowMaxIn, vector pre-quantization, and vector PReLU sources; Local destinations are D, optional RowMaxOut, then optional GroupMaxOut.", "Scalar pre-quantization and LReLU/PReLU parameters use the dense B.IOR schema; LReLU-only consumes RegSrc0." ], "canonical_assembly": [ "B.FPATR PreQuantMode, ReluMode, GroupNCode, RowMaxEn, GroupMaxEn, RowMaxInit, MaxAbsEn, TransA, TransB, CScaleEn" ], "defaults": [ "Encoded PreQuantMode=0 and ReluMode=0 disable pre-quantization and activation. GroupNCode=0 selects no group maximum. All four reduction enable bits default to disabled. TransA=0 and TransB=0 select no logical transpose; CScaleEn=0 disables accumulator scaling.", "Omitting B.FPATR is not a default for a CUBE Matrix block: complete-bundle preflight rejects the missing command before allocation or effects." ], "encoding_class": "standalone-encoded", "examples": [ "B.FPATR None, None, 0, 0, 0, 0, 0, 0, 0, 0", "B.FPATR S8Vector, LReLU, 2, 1, 1, 1, 1, 1, 1, 0" ], "exceptions": [ "Missing, duplicate, or non-CUBE-Matrix use raises Fault_BundleControl before operand consumption, allocation, payload, or destination effects.", "Decode-reserved field values do not decode and raise Fault_IllegalInstruction. Accepted encodings with inconsistent reduction enables, invalid B.DATR conversion controls, invalid parameters, malformed operand streams, illegal aliases, or invalid derived shapes raise Fault_TileLegality before effects.", "Fixed-bit mismatch does not decode as B.FPATR and is rejected by normal command decoding before this handler executes." ], "field_contracts": {}, "field_zero_meanings": { "PreQuantMode": "No pre-quantization; D retains the FP32, S32, or U32 accumulator type.", "ReluMode": "No activation.", "GroupNCode": "No group maximum; GroupMaxEn must also be zero.", "RowMaxEn": "No RowMax input or output.", "GroupMaxEn": "No GroupMax output.", "RowMaxInit": "Do not initialize RowMax from RowMaxIn.", "MaxAbsEn": "Use signed maximum rather than maximum absolute value for enabled reductions.", "ElementWiseEn": "Fixed zero selects complete-bundle Matrix post-processing.", "Reserved": "Bit 10 is fixed zero; every nonzero encoding is reserved.", "TransA": "Do not transpose Shared A.", "TransB": "Do not transpose Shared B.", "CScaleEn": "Do not scale the explicit FP32 accumulator C." }, "legality": [ "PreQuantMode accepts exactly codes 0..5, 12..13, 16..20, 23..28, and 32..39; all other six-bit codes are reserved.", "Each nonzero PreQuantMode accepts exactly its assigned S32 or FP32 accumulator class; code zero accepts FP32, S32, or U32 and preserves that type.", "ReluMode codes 0..3 select None, ReLU, scalar LReLU/PReLU, and vector PReLU; codes 4..7 are reserved.", "GroupNCode codes 0..9 select 0, 8, 16, 32, 48, 64, 80, 96, 112, and 128 columns; codes 10..15 are reserved.", "RowMaxInit requires RowMaxEn. GroupMaxEn requires nonzero GroupNCode and nonzero GroupNCode requires GroupMaxEn. MaxAbsEn requires RowMaxEn or GroupMaxEn.", "TransA and TransB are independent one-bit controls accepted only when the corresponding A or B primary is Shared. CScaleEn is accepted only by FP32 TMATMUL.ACC and TMATMULMX.ACC.", "Func=2, ElementWiseEn=0, Reserved[10]=0, Opc1=2, Opcode=1, and W=1 are fixed encoding discriminators.", "Matrix B.DATR supplies only destination conversion controls when B.FPATR is present: None requires RMode=NONE and Sat=0; fixed floating modes require RMode=NONE; fixed shift modes require RMode=NONE and Sat=0; programmable integer modes retain the complete rounding selector and final clamp/wrap control.", "The derived scalar/vector parameter count, Local source count, and Local destination count must fit the complete-bundle schema without duplicate destinations or illegal source/destination aliases." ], "memory_effects": [ "none" ], "operands": [ { "field": "PreQuantMode", "role": "closed Matrix destination pre-quantization and output-type selector" }, { "field": "ReluMode", "role": "pre-conversion activation multiplier selector" }, { "field": "GroupNCode", "role": "group maximum column-count selector" }, { "field": "RowMaxEn", "role": "row maximum input/output enable" }, { "field": "GroupMaxEn", "role": "group maximum output enable" }, { "field": "RowMaxInit", "role": "row maximum initialization from RowMaxIn enable" }, { "field": "MaxAbsEn", "role": "maximum-absolute-value reduction selector" }, { "field": "Func", "role": "fixed B.FPATR function discriminator equal to 2" }, { "field": "ElementWiseEn", "role": "fixed complete-bundle selector equal to zero" }, { "field": "TransA", "role": "logical transpose enable for a Shared A primary" }, { "field": "TransB", "role": "logical transpose enable for a Shared B primary" }, { "field": "CScaleEn", "role": "per-row FP32 accumulator C scaling enable" }, { "field": "Reserved", "role": "fixed-zero reserved field" }, { "field": "Opc1", "role": "fixed command-class discriminator equal to 2" }, { "field": "Opcode", "role": "fixed block-attribute opcode discriminator equal to 1" }, { "field": "W", "role": "fixed 32-bit command-width discriminator equal to 1" } ], "ordering": [ "Complete field, B.DATR, operand-schema, alias, shape, and allocation preflight precedes every source consumption and destination effect.", "D, RowMaxOut, and GroupMaxOut are published as one atomic complete-block output group; rejection exposes none of them." ], "standalone_opcode": true, "state_effects": [ "Latch the accepted fixed-point post-processing descriptor once for the active block; bundle reset clears its presence and every field, including TransA, TransB, and CScaleEn.", "Trap save and recovery preserve the complete latched descriptor with the pending block.", "Successful execution selects any activation-dependent multiplier before the destination conversion, preserves raw optional reductions, and atomically commits all enabled outputs through the numeric-profile hook." ] }

Open generated traceability record

{
  "classification": [
    "attributes"
  ],
  "documentation": "docs/block/attributes/B.FPATR.md",
  "id": "PTO-BLOCK-B-FPATR",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "B.FPATR",
    "ndf_clause": "PTO-INST-BLOCK-B-FPATR"
  },
  "mnemonic": "B.FPATR",
  "readiness_subjects": [
    "ADR-0022",
    "ADR-0032",
    "ADR-0052",
    "ADR-0059",
    "ADR-0064",
    "ADR-0072",
    "ADR-0079",
    "ADR-0085",
    "ADR-0101"
  ],
  "semantic_tests": [
    "PTO-AVS-BLOCK-B-FPATR-ACT-004",
    "PTO-AVS-BLOCK-B-FPATR-ALL-MODES-007",
    "PTO-AVS-BLOCK-B-FPATR-COMMIT-006",
    "PTO-AVS-BLOCK-B-FPATR-CONTROLS-010",
    "PTO-AVS-BLOCK-B-FPATR-CSCALE-001",
    "PTO-AVS-BLOCK-B-FPATR-CSCALE-FAULT-002",
    "PTO-AVS-BLOCK-B-FPATR-DUPLICATE-001",
    "PTO-AVS-BLOCK-B-FPATR-FORMATS-003",
    "PTO-AVS-BLOCK-B-FPATR-GROUP-RSVD-001",
    "PTO-AVS-BLOCK-B-FPATR-INPUT-TYPE-002",
    "PTO-AVS-BLOCK-B-FPATR-MODE-TABLE-BOUNDARY-001",
    "PTO-AVS-BLOCK-B-FPATR-NONMATRIX-001",
    "PTO-AVS-BLOCK-B-FPATR-OPERAND-ROUTING-EXECUTION-001",
    "PTO-AVS-BLOCK-B-FPATR-PLACE-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ14-15-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ21-22-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ29-31-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ40-47-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ48-55-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ56-63-001",
    "PTO-AVS-BLOCK-B-FPATR-QUANT-002",
    "PTO-AVS-BLOCK-B-FPATR-RELU-RSVD-001",
    "PTO-AVS-BLOCK-B-FPATR-RESET-CLEAR-001",
    "PTO-AVS-BLOCK-B-FPATR-ROUNDING-008",
    "PTO-AVS-BLOCK-B-FPATR-RSVD-001",
    "PTO-AVS-BLOCK-B-FPATR-SPECIAL-005",
    "PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-RSVD-012",
    "PTO-AVS-BLOCK-B-FPATR-ZERO-AFFINE-009",
    "PTO-AVS-BLOCK-B-FPATR-ZMASK-001"
  ],
  "source": "asl/block/attributes/B.FPATR.asl",
  "surface": "block",
  "tests": [
    "PTO-AVS-BLOCK-B-FPATR-ACT-004",
    "PTO-AVS-BLOCK-B-FPATR-ALL-MODES-007",
    "PTO-AVS-BLOCK-B-FPATR-COMMIT-006",
    "PTO-AVS-BLOCK-B-FPATR-CONTROLS-010",
    "PTO-AVS-BLOCK-B-FPATR-CSCALE-001",
    "PTO-AVS-BLOCK-B-FPATR-CSCALE-FAULT-002",
    "PTO-AVS-BLOCK-B-FPATR-DECODE-001",
    "PTO-AVS-BLOCK-B-FPATR-DUPLICATE-001",
    "PTO-AVS-BLOCK-B-FPATR-FORMATS-003",
    "PTO-AVS-BLOCK-B-FPATR-GROUP-RSVD-001",
    "PTO-AVS-BLOCK-B-FPATR-INPUT-TYPE-002",
    "PTO-AVS-BLOCK-B-FPATR-MODE-TABLE-BOUNDARY-001",
    "PTO-AVS-BLOCK-B-FPATR-NONMATRIX-001",
    "PTO-AVS-BLOCK-B-FPATR-OPERAND-ROUTING-EXECUTION-001",
    "PTO-AVS-BLOCK-B-FPATR-PLACE-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ14-15-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ21-22-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ29-31-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ40-47-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ48-55-001",
    "PTO-AVS-BLOCK-B-FPATR-PQ56-63-001",
    "PTO-AVS-BLOCK-B-FPATR-QUANT-002",
    "PTO-AVS-BLOCK-B-FPATR-RELU-RSVD-001",
    "PTO-AVS-BLOCK-B-FPATR-RESET-CLEAR-001",
    "PTO-AVS-BLOCK-B-FPATR-ROUNDING-008",
    "PTO-AVS-BLOCK-B-FPATR-RSVD-001",
    "PTO-AVS-BLOCK-B-FPATR-SPECIAL-005",
    "PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-011",
    "PTO-AVS-BLOCK-B-FPATR-TRANSPOSE-RSVD-012",
    "PTO-AVS-BLOCK-B-FPATR-ZERO-AFFINE-009",
    "PTO-AVS-BLOCK-B-FPATR-ZMASK-001"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners

Release: 0.58.5 · Release candidate
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL: asl/block/attributes/B.FPATR.asl
ASL SHA-256: 865133159fe5b03974cbdf4f6c4b87ed0127a37fa7b882a6f8f1696a6da331e6
Generated documentation: docs/block/attributes/B.FPATR.md · embedded in this page
Documentation SHA-256: 33c32591a094849277464a0bf48c386a631e7211fde788e4edd60be8c4cd35a0

Exact owners

ASL PTO-BLOCK-B-FPATR asl/block/attributes/B.FPATR.asl
NDF PTO-B-FPATR-MATRIX-POSTPROCESS-001 asl/block/attributes/B.FPATR.asl
NDF PTO-CUBE-CSCALE-001 asl/block/attributes/B.FPATR.asl
NDF PTO-CUBE-SHARED-TRANSPOSE-001 asl/block/attributes/B.FPATR.asl
NDF PTO-INST-BLOCK-B-FPATR asl/block/attributes/B.FPATR.asl

Assembly syntax

Assembler symbols

Encoding

Instruction contract

Operands and parameters

Constraints, checks, and faults

State reads, writes, and result

Decode ASL

Operation source binding

Behavior

What B.FPATR contributes

Placement and mechanism

Operands and header roles

Pending state and completion

Legality and fault boundary

illustrative worked example

Evidence index

Decision record

Decision record

Decision record

Decision record

Decision record

Decision record

Decision record

Decision record

Decision record

Unit metadata

Sources and release identity

Exact owners