PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP

PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP

ASL pseudocode

The complete ASL owner is shown directly below.

1// PTO-UNIT: {"catalog_projection":{"catalog":"extension-encoding-reservations","isa":"PTO Instruction Set Architecture","reservations":[{"encoding":[{"index":0,"mask":"0xf9ffffff","match":"0x00021181","width_bits":32}],"fields":[{"name":"Mode","pieces":[{"instruction_lsb":25,"part_index":0,"value_lsb":0,"width":2}],"width":2}],"length_bits":32,"mnemonic":"BSTART.VPAR","owner":"PTO reserved two-level vector extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0xf9ffffff","match":"0x00029181","width_bits":32}],"fields":[{"name":"Mode","pieces":[{"instruction_lsb":25,"part_index":0,"value_lsb":0,"width":2}],"width":2}],"length_bits":32,"mnemonic":"BSTART.VSEQ","owner":"PTO reserved two-level vector extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000ffff","match":"0x000088c0","width_bits":16}],"fields":[],"length_bits":16,"mnemonic":"C.BSTART.VPAR","owner":"PTO reserved two-level vector extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000ffff","match":"0x0000c8c0","width_bits":16}],"fields":[],"length_bits":16,"mnemonic":"C.BSTART.VSEQ","owner":"PTO reserved two-level vector extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x00000003","width_bits":32}],"fields":[],"length_bits":32,"mnemonic":"B.TEXT","owner":"PTO reserved two-level out-of-line block extension space","status":"reserved-in-pto"},{"constraints":[{"field":"simm17","operator":"not-equal","value":0}],"encoding":[{"index":0,"mask":"0x00007fff","match":"0x00001101","width_bits":32}],"fields":[{"name":"simm17","pieces":[{"instruction_lsb":15,"part_index":0,"value_lsb":0,"width":17}],"signedness":"signed","width":17}],"length_bits":32,"mnemonic":"BSTART.FP.FIXUP","owner":"PTO reserved two-level Fixup extension payload","status":"reserved-in-pto"},{"constraints":[{"field":"simm17","operator":"not-equal","value":0}],"encoding":[{"index":0,"mask":"0x00007fff","match":"0x00001001","width_bits":32}],"fields":[{"name":"simm17","pieces":[{"instruction_lsb":15,"part_index":0,"value_lsb":0,"width":17}],"signedness":"signed","width":17}],"length_bits":32,"mnemonic":"BSTART.STD.FIXUP","owner":"PTO reserved two-level Fixup extension payload","status":"reserved-in-pto"},{"constraints":[{"field":"simm17","operator":"not-equal","value":0}],"encoding":[{"index":0,"mask":"0x00007fff","match":"0x00001081","width_bits":32}],"fields":[{"name":"simm17","pieces":[{"instruction_lsb":15,"part_index":0,"value_lsb":0,"width":17}],"signedness":"signed","width":17}],"length_bits":32,"mnemonic":"BSTART.SYS.FIXUP","owner":"PTO reserved two-level Fixup extension payload","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000007f","width_bits":32},{"index":1,"mask":"0x00000000","match":"0x00000000","width_bits":32}],"fields":[],"length_bits":64,"mnemonic":"V.*","owner":"PTO reserved two-level vector extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0xf9ffffff","match":"0x00001181","width_bits":32}],"fields":[{"name":"Mode","pieces":[{"instruction_lsb":25,"part_index":0,"value_lsb":0,"width":2}],"width":2}],"length_bits":32,"mnemonic":"BSTART.MPAR","owner":"PTO reserved two-level machine-block extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0xf9ffffff","match":"0x00009181","width_bits":32}],"fields":[{"name":"Mode","pieces":[{"instruction_lsb":25,"part_index":0,"value_lsb":0,"width":2}],"width":2}],"length_bits":32,"mnemonic":"BSTART.MSEQ","owner":"PTO reserved two-level machine-block extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000ffff","match":"0x000008c0","width_bits":16}],"fields":[],"length_bits":16,"mnemonic":"C.BSTART.MPAR","owner":"PTO reserved two-level machine-block extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000ffff","match":"0x000048c0","width_bits":16}],"fields":[],"length_bits":16,"mnemonic":"C.BSTART.MSEQ","owner":"PTO reserved two-level machine-block extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0xf83f0000007f","match":"0x501600000011","width_bits":48}],"fields":[{"name":"simm25","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0}],"signedness":"signed","width":25},{"name":"uimm5","pieces":[{"instruction_lsb":38,"value_lsb":0,"width":5,"part_index":1}],"signedness":"unsigned","width":5}],"length_bits":48,"mnemonic":"HL.BSTART.CALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00003101000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.FP.COND","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00001101000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.FP.FALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00004101000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.FP.CALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00002101000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.FP.DIRECT","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00004001000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.STD.CALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00001001000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.STD.FALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00003001000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.STD.COND","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00002001000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.STD.DIRECT","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x00007fff000f","match":"0x00001081000e","width_bits":48}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":31,"value_lsb":1,"width":17,"part_index":0},{"instruction_lsb":4,"value_lsb":18,"width":12,"part_index":0}],"signedness":"signed","width":30}],"length_bits":48,"mnemonic":"HL.BSTART.SYS.FALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00003081","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.FP.COND","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00002081","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.FP.DIRECT","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00004081","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.FP.CALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00001081","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.FP.FALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00002001","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.STD.DIRECT","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00004001","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.STD.CALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00003001","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.STD.COND","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00001001","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.STD.FALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000007f","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0x00007fff","match":"0x00001011","width_bits":32}],"fields":[{"name":"simm","pieces":[{"instruction_lsb":7,"value_lsb":0,"width":25,"part_index":0},{"instruction_lsb":47,"value_lsb":25,"width":17,"part_index":1}],"signedness":"signed","width":42}],"length_bits":64,"mnemonic":"L.BSTART.SYS.FALL","owner":"PTO reserved two-level extended BSTART space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000707f","match":"0x00000027","width_bits":32}],"fields":[{"name":"SrcL","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"SrcR","pieces":[{"instruction_lsb":20,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"simm12","pieces":[{"instruction_lsb":25,"value_lsb":0,"width":7},{"instruction_lsb":7,"value_lsb":7,"width":5}],"signedness":"signed","width":12}],"length_bits":32,"mnemonic":"B.EQ","owner":"PTO reserved two-level block-body conditional branch extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000707f","match":"0x00001027","width_bits":32}],"fields":[{"name":"SrcL","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"SrcR","pieces":[{"instruction_lsb":20,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"simm12","pieces":[{"instruction_lsb":25,"value_lsb":0,"width":7},{"instruction_lsb":7,"value_lsb":7,"width":5}],"signedness":"signed","width":12}],"length_bits":32,"mnemonic":"B.NE","owner":"PTO reserved two-level block-body conditional branch extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000707f","match":"0x00002027","width_bits":32}],"fields":[{"name":"SrcL","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"SrcR","pieces":[{"instruction_lsb":20,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"simm12","pieces":[{"instruction_lsb":25,"value_lsb":0,"width":7},{"instruction_lsb":7,"value_lsb":7,"width":5}],"signedness":"signed","width":12}],"length_bits":32,"mnemonic":"B.LT","owner":"PTO reserved two-level block-body conditional branch extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000707f","match":"0x00003027","width_bits":32}],"fields":[{"name":"SrcL","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"SrcR","pieces":[{"instruction_lsb":20,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"simm12","pieces":[{"instruction_lsb":25,"value_lsb":0,"width":7},{"instruction_lsb":7,"value_lsb":7,"width":5}],"signedness":"signed","width":12}],"length_bits":32,"mnemonic":"B.GE","owner":"PTO reserved two-level block-body conditional branch extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000707f","match":"0x00004027","width_bits":32}],"fields":[{"name":"SrcL","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"SrcR","pieces":[{"instruction_lsb":20,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"simm12","pieces":[{"instruction_lsb":25,"value_lsb":0,"width":7},{"instruction_lsb":7,"value_lsb":7,"width":5}],"signedness":"signed","width":12}],"length_bits":32,"mnemonic":"B.LTU","owner":"PTO reserved two-level block-body conditional branch extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000707f","match":"0x00005027","width_bits":32}],"fields":[{"name":"SrcL","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"SrcR","pieces":[{"instruction_lsb":20,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"simm12","pieces":[{"instruction_lsb":25,"value_lsb":0,"width":7},{"instruction_lsb":7,"value_lsb":7,"width":5}],"signedness":"signed","width":12}],"length_bits":32,"mnemonic":"B.GEU","owner":"PTO reserved two-level block-body conditional branch extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000707f","match":"0x00001037","width_bits":32}],"fields":[{"name":"simm22","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":17},{"instruction_lsb":7,"value_lsb":17,"width":5}],"signedness":"signed","width":22}],"length_bits":32,"mnemonic":"B.Z","owner":"PTO reserved two-level block-body conditional branch extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x0000707f","match":"0x00002037","width_bits":32}],"fields":[{"name":"simm22","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":17},{"instruction_lsb":7,"value_lsb":17,"width":5}],"signedness":"signed","width":22}],"length_bits":32,"mnemonic":"B.NZ","owner":"PTO reserved two-level block-body conditional branch extension space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x000fffff","match":"0x6519181","width_bits":32}],"fields":[],"length_bits":32,"mnemonic":"BSTART.TEPL selector 0x065","owner":"PTO reserved deleted TEPL selector space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x000fffff","match":"0x6e19181","width_bits":32}],"fields":[],"length_bits":32,"mnemonic":"BSTART.TEPL selector 0x06E","owner":"PTO reserved deleted TEPL selector space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x000fffff","match":"0x7119181","width_bits":32}],"fields":[],"length_bits":32,"mnemonic":"BSTART.TEPL selector 0x071","owner":"PTO reserved deleted TEPL selector space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x000fffff","match":"0x7219181","width_bits":32}],"fields":[],"length_bits":32,"mnemonic":"BSTART.TEPL selector 0x072","owner":"PTO reserved deleted TEPL selector space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x000fffff","match":"0x7319181","width_bits":32}],"fields":[],"length_bits":32,"mnemonic":"BSTART.TEPL selector 0x073","owner":"PTO reserved deleted TEPL selector space","status":"reserved-in-pto"},{"encoding":[{"index":0,"mask":"0x000fffff","match":"0x7419181","width_bits":32}],"fields":[],"length_bits":32,"mnemonic":"BSTART.TEPL selector 0x074","owner":"PTO reserved deleted TEPL selector space","status":"reserved-in-pto"}],"schema_version":1},"classification":["overview","encoding-ownership"],"deleted_names":["B.IOD","BSTART.PAR","C.B.IOS","TFILLPAD","TTRANS","TPARTADD","TPARTMUL","TPARTMAX","TPARTMIN"],"depends_on":["PTO-ARCH-OVERVIEW-INSTRUCTION-CLASSIFICATION"],"id":"PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP","manual_reservation_reviews":[{"mnemonic":"BSTART.VPAR","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.VSEQ","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"C.BSTART.VPAR","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"C.BSTART.VSEQ","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.TEXT","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.FP.FIXUP","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.STD.FIXUP","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.SYS.FIXUP","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"V.*","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.MPAR","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.MSEQ","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"C.BSTART.MPAR","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"C.BSTART.MSEQ","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.CALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.FP.COND","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.FP.FALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.FP.CALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.FP.DIRECT","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.STD.CALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.STD.FALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.STD.COND","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.STD.DIRECT","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"HL.BSTART.SYS.FALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.FP.COND","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.FP.DIRECT","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.FP.CALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.FP.FALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.STD.DIRECT","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.STD.CALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.STD.COND","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.STD.FALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"L.BSTART.SYS.FALL","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.EQ","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.NE","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.LT","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.GE","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.LTU","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.GEU","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.Z","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"B.NZ","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.TEPL selector 0x065","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.TEPL selector 0x06E","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.TEPL selector 0x071","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.TEPL selector 0x072","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.TEPL selector 0x073","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}},{"mnemonic":"BSTART.TEPL selector 0x074","review":{"review_method":"formal-definition-read","outcome":"RESERVED","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}}],"surface":"arch"}2
3// NDF-BEGIN: PTO-ARCH-ENCODING-OWNERSHIP-0014// ndf: kind=contract level=L1 layer=architecture status=accepted5// PTO owns every accepted scalar, block, and Tile encoding. The declared6// Two-level vector, machine-block, and extended BSTART encodings, the B.TEXT7// out-of-line block root, and every nonzero BSTART.{FP,STD,SYS} FALL Fixup8// payload are reserved and MUST NOT be assigned by a future PTO instruction.9// Permanently deleted instruction names are assembler errors, not10// reservations; their former slots MAY be assigned by an active PTO11// instruction.12// NDF-END: PTO-ARCH-ENCODING-OWNERSHIP-00113
14// NDF-BEGIN: PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-00115// ndf: kind=contract level=L1 layer=architecture status=accepted16// B.EQ, B.NE, B.LT, B.GE, B.LTU, B.GEU, B.Z, and B.NZ are reserved17// two-level block-body forms. PTO scalar decode MUST reject every complete18// encoding in these families before operand reads or architectural effects.19// Their spellings MUST NOT be emitted as active PTO instructions.20// NDF-END: PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-00121
22pure func VectorExtensionRoot64Reserved(first_word: bits(32)) => boolean23begin24    return (first_word AND (Zeros{32} + 0x7f)) == Zeros{32} + 0x7f;25end;26
27pure func ConditionalBranchExtensionRoot32Reserved(word: bits(32)) => boolean28begin29    let masked = word AND (Zeros{32} + 0x0000707f);30    return masked == Zeros{32} + 0x00000027 ||31           masked == Zeros{32} + 0x00001027 ||32           masked == Zeros{32} + 0x00002027 ||33           masked == Zeros{32} + 0x00003027 ||34           masked == Zeros{32} + 0x00004027 ||35           masked == Zeros{32} + 0x00005027 ||36           masked == Zeros{32} + 0x00001037 ||37           masked == Zeros{32} + 0x00002037;38end;39
40pure func BTextExtensionRoot32Reserved(word: bits(32)) => boolean41begin42    return (word AND (Zeros{32} + 0x7f)) == Zeros{32} + 0x03;43end;44

Architecture behavior

purpose scope

Purpose and scope

This unit separates accepted PTO encodings from permanently reserved extension roots and deleted names. Its catalog projection records reservation witnesses; the embedded NDF clauses own their architectural status.

concepts state

Ownership categories

Accepted scalar, block, and Tile encodings are owned by PTO instruction sources.
Two-level vector, machine-block, extended BSTART, and B.TEXT roots remain reserved extension space.
Block-body conditional-branch roots remain separately reserved for the conditional-branch extension space.
B.IOD, BSTART.PAR, and C.B.IOS are deleted names and are not aliases.

rules interactions

Reservation checks

VectorExtensionRoot64Reserved recognizes first words whose low 7 bits are 0x7f. ConditionalBranchExtensionRoot32Reserved recognizes the reserved 0x27 and 0x37 roots with their function fields. BTextExtensionRoot32Reserved recognizes low 7 bits equal to 0x03.

boundaries

Reserved versus active

Reserved spellings such as B.EQ, B.NE, B.LT, B.GE, B.LTU, B.GEU, B.Z, and B.NZ are not active instructions and are not emitted as canonical PTO assembly. A reservation protects future space; it does not define execution behavior.

example usage

illustrative decoder example

Use this example block only as a reading aid: apply the rules above, then confirm the result in the normative ASL owner. It does not add an architectural contract.

Related owners

Instruction classification explains active Tile classes and execution engines.
Individual instruction ASL and generated catalogs own accepted encodings and decoder witnesses; profile questions return to those current owners.

NDF clauses

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

surfaceARCH
ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
categoryARCH-ENCODING-OWNERSHIP
case001
Normative contract
contract · L1 · accepted
PTO owns every accepted scalar, block, and Tile encoding. The declared Two-level vector, machine-block, and extended BSTART encodings, the B.TEXT out-of-line block root, and every nonzero BSTART.{FP,STD,SYS} FALL Fixup payload are reserved and MUST NOT be assigned by a future PTO instruction. Permanently deleted instruction names are assembler errors, not reservations; their former slots MAY be assigned by an active PTO instruction.
Sources and references
Complete stable ID
PTO-ARCH-ENCODING-OWNERSHIP-001
Source path
asl/arch/overview/encoding-ownership.asl
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
Source SHA-256
c966dc5c893b35cf6ce25ec303839f60c68f52d90bf2f5bdd74b5de115ea9083
Clause SHA-256
0fdba90b701c32f036844e85e21067ada4d95cd3f48eded00c1f0a8848f1a202
Open exact canonical source ↗
surfaceARCH
ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
categoryARCH-CONDITIONAL-BRANCH-RESERVATION
case001
Normative contract
contract · L1 · accepted
B.EQ, B.NE, B.LT, B.GE, B.LTU, B.GEU, B.Z, and B.NZ are reserved two-level block-body forms. PTO scalar decode MUST reject every complete encoding in these families before operand reads or architectural effects. Their spellings MUST NOT be emitted as active PTO instructions.
Sources and references
Complete stable ID
PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001
Source path
asl/arch/overview/encoding-ownership.asl
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
Source SHA-256
c966dc5c893b35cf6ce25ec303839f60c68f52d90bf2f5bdd74b5de115ea9083
Clause SHA-256
b720d072d5f281df8bf16b2affc5e8893b6e24484f3d7436224c42ced8fcca18
Open exact canonical source ↗

Evidence index

31 matching entries

Executable evidence14

The B.EQ form is extension-reserved and rejects before scalar effects
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-EQ-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-eq-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
B.EQ fails scalar decode and execution with IllegalInstruction while preserving operand and control state
SHA-256
cea345885272703a80ea850923b377514facf93476c938a05d1b8f2c621804f7
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-EQ-001
The B.GE form is extension-reserved and rejects before scalar effects
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-GE-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-ge-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
B.GE fails scalar decode and execution with IllegalInstruction while preserving control state
SHA-256
4750aa8f24cefef806b243b511a3f5b441fc185df3ec7c3c91383aa08c795e10
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-GE-001
The B.GEU form is extension-reserved and rejects before scalar effects
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-GEU-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-geu-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
B.GEU fails scalar decode and execution with IllegalInstruction while preserving control state
SHA-256
0acb7932283be514c98eed84562f66e8da88bb6e6898a94acc8e702c383a67e0
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-GEU-001
The B.LT form is extension-reserved and rejects before scalar effects
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-LT-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-lt-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
B.LT fails scalar decode and execution with IllegalInstruction while preserving control state
SHA-256
ee473641d21d3e28a9f0d614079f842a8efa6f534959b5fc32342cc4f53e051f
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-LT-001
The B.LTU form is extension-reserved and rejects before scalar effects
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-LTU-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-ltu-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
B.LTU fails scalar decode and execution with IllegalInstruction while preserving control state
SHA-256
19e3ba287b00231bec90b4bf033f261f17f2c628c6099d0f65c642f2a96164bb
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-LTU-001
The B.NE form is extension-reserved and rejects before scalar effects
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-NE-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-ne-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
B.NE fails scalar decode and execution with IllegalInstruction while preserving control state
SHA-256
2fb85de898132b7acd0efdbdf4a82b833b32fb17f5ca6f4bd1d02674ab87635d
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-NE-001
The B.NZ form is extension-reserved and rejects before scalar effects
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-NZ-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-nz-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
B.NZ fails scalar decode and execution with IllegalInstruction while preserving control state
SHA-256
065ee900d65ced19a16ab93432fe657e52ce8752559ba89d2bc95f5dc0b30586
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-NZ-001
The B.TEXT 32-bit root is extension-reserved and rejects before PTO state effects.
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-TEXT-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-text-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
Every tested B.TEXT-family word fails command decode and execution with Fault_IllegalInstruction while preserving pre-existing block state.
SHA-256
ce37b6bf0c2f57425d2f58a7a1a319383d50102cb50d0ca14bb5c7e43b2da521
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-TEXT-001
The B.Z form is extension-reserved and rejects before scalar effects
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-Z-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-b-z-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
B.Z fails scalar decode and execution with IllegalInstruction while preserving control state
SHA-256
dfc72b30011b730b554ac7c944c3f5a7b283eade40a7b8c56d0e0d5ce8c83e1e
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-Z-001
Only zero-displacement PTO FALL forms are legal; nonzero Fixup payloads are extension-reserved.
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryBOUNDARY
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-FIXUP-001
Path
tests/asl/arch/overview/encoding-ownership/arch-bound-fixup-001.asl
Kind / role
boundary
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
FP, STD, and SYS FALL zero forms are legal and representative nonzero payloads reject before block effects.
SHA-256
77d6e276bd208225f1d0900a50795cce9a64155ae79fa7cf7caee829dfb6370b
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-FIXUP-001
Half-long and long BSTART extension encodings are reserved by PTO.
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-LONG-BSTART-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-long-bstart-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
Every tested occupied HL/L BSTART form rejects before PTO block or return-address effects.
SHA-256
ade055c8411fe1c06fcc5464c6c1ed6bc217111655a3a77ed59c4261b83fc898
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-LONG-BSTART-001
Machine-parallel and machine-sequential block starts are extension-reserved.
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-MACHINE-BLOCK-001
Path
tests/asl/arch/overview/encoding-ownership/arch-fault-machine-block-001.asl
Kind / role
fault
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
Every tested long and compressed machine-block encoding rejects before PTO block effects.
SHA-256
06b94224aacf6a335a9e7ea0274d4c126b2a5e8348db8581ace441cece05ded2
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-MACHINE-BLOCK-001
The Linx-only 64-bit vector root is reserved by its first-word opcode.
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categoryBOUNDARY
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-ENCODING-OWNERSHIP-VECTOR-ROOT-001
Path
tests/asl/arch/overview/encoding-ownership/arch-bound-vector-root-001.asl
Kind / role
boundary
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001
Pass condition
Every first word with low seven bits 0x7f is reserved and nearby PTO roots are not.
SHA-256
e778101142943a1e42a3687f63ba8246964f6b6d63f34b3724f9610f55fabf90
Open exact source ↗ for PTO-AVS-ARCH-ENCODING-OWNERSHIP-VECTOR-ROOT-001
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP compiles as an independent normative unit
1. surfaceARCH
2. ownerPTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-OVERVIEW-ENCODING-OWNERSHIP-STATIC-001
Path
tests/asl/arch/overview/encoding-ownership/arch-static-encoding-ownership-contract-001.asl
Kind / role
static-invariant
Requirements
PTO-ARCH-ENCODING-OWNERSHIP-001, PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001
Pass condition
the complete model and this unit's static invariant compile
SHA-256
a60389f5f46e1c386db5773eb46647e480424124eea56a1d88090765ba0b7d1f
Open exact source ↗ for PTO-AVS-ARCH-OVERVIEW-ENCODING-OWNERSHIP-STATIC-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 history12

Define PTO as a scalar, bundle/command, and tile ISA · accepted
1. decision recordADR
2. case0001
Decision record
Loading ADR-0001…
Sources and references
Complete stable ID
ADR-0001
Path
docs/status/decisions/0001-pto-architecture-scope.md
Affected units
PTO-ARCH-OVERVIEW-ARCHITECTURE, PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-ARCH-OVERVIEW-INSTRUCTION-CLASSIFICATION
Affected NDF
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-RELEASE-VERIFICATION, PTO-SOURCE-HIERARCHY, PTO-TILE-CAPACITY-PER-PE
SHA-256
a85451f3bbc6f12e73dbb57958b0bc022eadea11b9c5e7c6ad0038fee952feb5
Open exact decision source ↗ for ADR-0001
Define the PTO predicate-register contract · superseded
1. decision recordADR
2. case0019
Decision record
Loading ADR-0019…
Sources and references
Complete stable ID
ADR-0019
Path
docs/status/decisions/0019-predicate-register-contract.md
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS
Affected NDF
PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001
SHA-256
bd4ea338a30ff01ae34a273c900d74685b338e686ec3cad6438550f7c70ce342
Open exact decision source ↗ for ADR-0019
Separate execution-mask and predicate domains (superseded) · superseded
1. decision recordADR
2. case0046
Decision record
Loading ADR-0046…
Sources and references
Complete stable ID
ADR-0046
Path
docs/status/decisions/0046-separate-execution-mask-and-warp-predicates.md
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS
Affected NDF
PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001
SHA-256
1f66cc380fe9ef77c95539485910ac21c862c0968fcf4fe67be43b3f1472c279
Open exact decision source ↗ for ADR-0046
Predicate state namespace boundary (superseded) · superseded
1. decision recordADR
2. case0051
Decision record
Loading ADR-0051…
Sources and references
Complete stable ID
ADR-0051
Path
docs/status/decisions/0051-predicate-state-namespace-boundary.md
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS
Affected NDF
PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001
SHA-256
f6291cbe4fbe46ae84e59bb0275fa943ce51888229d8dff4ff3347c57159f337
Open exact decision source ↗ for ADR-0051
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
PTO ISA 0.58.0 Tile Operation Cleanup · accepted
1. decision recordADR
2. case0053
Decision record
Loading ADR-0053…
Sources and references
Complete stable ID
ADR-0053
Path
docs/status/decisions/0053-pto-isa-0580-tile-operation-cleanup.md
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-THISTOGRAM, PTO-TILE-TMRGSORT, PTO-TILE-TSORT
Affected NDF
PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001, PTO-ARCH-ENCODING-OWNERSHIP-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-THISTOGRAM-CONTRACT-001, PTO-TMRGSORT-CONTRACT-001, PTO-TSORT-CONTRACT-001
SHA-256
0957f3ccf0b6dee3a95e373d7acaa56724bd276f6852b0e2ad8bc5af05aaff5f
Open exact decision source ↗ for ADR-0053
PTO Encoding Ownership and Per-PE GM Access · accepted
1. decision recordADR
2. case0056
Decision record
Loading ADR-0056…
Sources and references
Complete stable ID
ADR-0056
Path
docs/status/decisions/0056-pto-encoding-ownership-and-gm-access.md
Affected units
PTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS, PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-BLOCK-BSTART-GMOV, 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-TLOAD, PTO-BLOCK-BSTART-TPREFETCH, PTO-BLOCK-BSTART-TSTORE, PTO-TILE-GMOV, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-TLOAD, PTO-TILE-TMOV, PTO-TILE-TPREFETCH, PTO-TILE-TSTORE
Affected NDF
PTO-ARCH-ENCODING-OWNERSHIP-001, PTO-ARCH-GM-ACCESS-001, PTO-BSTART-GMOV-COLLECTIVE-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-TLOAD-CUBE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TPREFETCH-MEMORY-001, PTO-BSTART-TSTORE-CUBE-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-GMOV-CORE4-PEER-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-TLOAD-CUBE-001, PTO-TLOAD-MEMORY-001, PTO-TMOV-CONTRACT-001, PTO-TPREFETCH-FOOTPRINT-001, PTO-TSTORE-CUBE-001, PTO-TSTORE-MEMORY-001
SHA-256
846120c256746358eb7b2bd649687e7dddd7e116495b0447afb04be370676d29
Open exact decision source ↗ for ADR-0056
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
conditional branch extension reservation · accepted
1. decision recordADR
2. case0067
Decision record
Loading ADR-0067…
Sources and references
Complete stable ID
ADR-0067
Path
docs/status/decisions/0067-conditional-branch-extension-reservation.md
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
Affected NDF
PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001
SHA-256
8b23c757acf2da2994336c57a4943694549a5fc6b37d70988e4319dcdbcaab9c
Open exact decision source ↗ for ADR-0067
Block start and extension reservations · accepted
1. decision recordADR
2. case0077
Decision record
Loading ADR-0077…
Sources and references
Complete stable ID
ADR-0077
Path
docs/status/decisions/0077-block-start-and-extension-reservations.md
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-BLOCK-BSTART, PTO-BLOCK-BSTART-CALL, PTO-BLOCK-BSTART-FP, PTO-BLOCK-BSTART-ICALL, PTO-BLOCK-BSTART-STD, PTO-BLOCK-BSTART-SYS, PTO-BLOCK-BSTOP, 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-L-BSTOP
Affected NDF
PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001, PTO-BSTART-CALL-DECISION-BINDING-001, PTO-BSTART-DECISION-BINDING-001, PTO-BSTART-FP-CONTROL-001, PTO-BSTART-ICALL-DECISION-BINDING-001, PTO-BSTART-STD-CONTROL-001, PTO-BSTART-SYS-CONTROL-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-L-BSTOP-DECISION-BINDING-001
SHA-256
20e19c71c2c967447a115e353f5e3673fc14276dabbcf9a96922f54507536973
Open exact decision source ↗ for ADR-0077
Scalar, system, and queue operations · accepted
1. decision recordADR
2. case0084
Decision record
Loading ADR-0084…
Sources and references
Complete stable ID
ADR-0084
Path
docs/status/decisions/0084-scalar-system-and-queue-operations.md
Affected units
PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, 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-MCOPY, PTO-BLOCK-MSET, PTO-BLOCK-XB, PTO-SCALAR-ACRC, PTO-SCALAR-ACRE, PTO-SCALAR-ADD, PTO-SCALAR-ADDTPC, PTO-SCALAR-AND, 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-CMP-EQI, PTO-SCALAR-C-CMP-NEI, PTO-SCALAR-C-EBREAK, PTO-SCALAR-C-SETC-EQ, PTO-SCALAR-C-SETC-NE, PTO-SCALAR-C-SETC-TGT, PTO-SCALAR-C-SETRET, PTO-SCALAR-C-SSRGET, PTO-SCALAR-CLZ, PTO-SCALAR-CTZ, PTO-SCALAR-EBREAK, PTO-SCALAR-FABS, PTO-SCALAR-FCVTA, PTO-SCALAR-FCVTM, PTO-SCALAR-FCVTN, PTO-SCALAR-FCVTP, PTO-SCALAR-FCVTZ, PTO-SCALAR-FENCE-D, PTO-SCALAR-FENCE-I, PTO-SCALAR-FMAX, PTO-SCALAR-FMIN, PTO-SCALAR-FNE, PTO-SCALAR-FNES, 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-CCAT, PTO-SCALAR-HL-CCATW, PTO-SCALAR-HL-DIV, PTO-SCALAR-HL-DIVU, PTO-SCALAR-HL-DIVUW, PTO-SCALAR-HL-DIVW, PTO-SCALAR-HL-LIS, PTO-SCALAR-HL-LUI, PTO-SCALAR-HL-MADDW, 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-SD-UPO, PTO-SCALAR-HL-SD-UPR, 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-UPO, PTO-SCALAR-HL-SH-UPR, PTO-SCALAR-HL-SSRGET, PTO-SCALAR-HL-SSRSET, PTO-SCALAR-HL-SUBI, PTO-SCALAR-HL-SUBIW, PTO-SCALAR-HL-SW-UPO, PTO-SCALAR-HL-SW-UPR, PTO-SCALAR-HL-XORI, PTO-SCALAR-HL-XORIW, PTO-SCALAR-J, PTO-SCALAR-JR, PTO-SCALAR-LSRGET, PTO-SCALAR-OR, PTO-SCALAR-PRF, PTO-SCALAR-PRFI-U, PTO-SCALAR-REV, PTO-SCALAR-SCVTF, PTO-SCALAR-SD-U, 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
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-ENCODING-OWNERSHIP-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-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-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-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-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-LSRGET-BARG-001, PTO-MCOPY-RESTART-001, PTO-OR-DECISION-BINDING-001, PTO-PRF-NONFAULTING-HINT-001, PTO-PRFI-U-NONFAULTING-HINT-001, 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-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-TLB-IA-ADR-CONTRACT-001, PTO-TLB-IALL-ADR-CONTRACT-001, PTO-TLB-IAV-ADR-CONTRACT-001, PTO-TLB-IV-ADR-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
e068992fa81e2c4ac46e492391a2f784141d68e041bf0b9e0586c37217d1e08c
Open exact decision source ↗ for ADR-0084
PTO ISA 0.58.4.1 to 0.58.5 compatibility boundary · accepted
1. decision recordADR
2. case0108
Decision record
Loading ADR-0108…
Sources and references
Complete stable ID
ADR-0108
Path
docs/status/decisions/0108-0584-1-to-0585-compatibility.md
Affected units
PTO-ARCH-FEATURES-TILE-ALLOCATION, PTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS, PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, 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-TSTORE, PTO-BLOCK-MODEL-DISPATCH-CELL-REARRANGEMENT-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-DESCRIPTOR-LEGALITY, PTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE, PTO-BLOCK-MODEL-DISPATCH-PARTIAL-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-DISPATCH-TILE-SCALAR-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TLSU-LAYOUT-CONVERSION, PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS, PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-TILE-GMOV, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-TCI, PTO-TILE-TCONCAT, PTO-TILE-TDEQUANT, PTO-TILE-TEXTRACT, PTO-TILE-TFILLPAD, 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-TINSERT, PTO-TILE-TLOAD, 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-TMOV, PTO-TILE-TMRGSORT, PTO-TILE-TPACK, PTO-TILE-TPARTADD, PTO-TILE-TPARTMAX, PTO-TILE-TPARTMIN, PTO-TILE-TPARTMUL, PTO-TILE-TPERMUTE, PTO-TILE-TPREFETCH, PTO-TILE-TQUANT, PTO-TILE-TSCATTER, PTO-TILE-TSHUF, PTO-TILE-TSORT, PTO-TILE-TSTORE, PTO-TILE-TTRANS, PTO-TILE-TTRI, PTO-TILE-TUNPACK, PTO-TILE-MODEL-DISPATCH-IRREGULAR-AND-COMPLEX, PTO-TILE-MODEL-DISPATCH-LAYOUT-AND-REARRANGEMENT, PTO-TILE-MODEL-EXECUTION-COMPLEX, PTO-TILE-MODEL-EXECUTION-GENERATION, PTO-TILE-MODEL-EXECUTION-REARRANGEMENT, PTO-TILE-MODEL-LEGALITY-ALLOCATION-CAPACITY, PTO-TILE-MODEL-LEGALITY-DTYPE-LAYOUT, PTO-TILE-MODEL-LEGALITY-INDEXED-LAYOUT, PTO-TILE-MODEL-LEGALITY-LAYOUT-REARRANGEMENT, PTO-TILE-MODEL-LEGALITY-OPERAND-SCHEMA, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT, PTO-TILE-MODEL-STATE-DESCRIPTORS, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES
Affected NDF
PTO-ARCH-GM-ACCESS-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-B-SUBVIEW-SHARED-PER-PE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TMOV-SHARED-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-INST-BLOCK-B-IOS, PTO-INST-BLOCK-B-IOT, PTO-INST-BLOCK-BSTART-TLOAD, PTO-INST-BLOCK-BSTART-TMATMUL, PTO-INST-BLOCK-BSTART-TMATMUL-ACC, PTO-INST-BLOCK-BSTART-TMATMUL-BIAS, PTO-INST-BLOCK-BSTART-TMATMULMX, PTO-INST-BLOCK-BSTART-TMATMULMX-ACC, PTO-INST-BLOCK-BSTART-TMATMULMX-BIAS, PTO-INST-BLOCK-BSTART-TMOV, PTO-INST-BLOCK-BSTART-TSTORE, PTO-INST-TILE-GMOV, PTO-INST-TILE-MGATHER, PTO-INST-TILE-MGATHER-CAS, PTO-INST-TILE-MGATHER-MASK, PTO-INST-TILE-MSCATTER, PTO-INST-TILE-MSCATTER-MASK, PTO-INST-TILE-TCI, PTO-INST-TILE-TCONCAT, PTO-INST-TILE-TDEQUANT, PTO-INST-TILE-TEXTRACT, PTO-INST-TILE-TFILLPAD, PTO-INST-TILE-TGATHER, PTO-INST-TILE-TGEMV, PTO-INST-TILE-TGEMV-ACC, PTO-INST-TILE-TGEMV-BIAS, PTO-INST-TILE-TGEMV-MX, PTO-INST-TILE-TGEMV-MX-ACC, PTO-INST-TILE-TGEMV-MX-BIAS, PTO-INST-TILE-THISTOGRAM, PTO-INST-TILE-TINSERT, PTO-INST-TILE-TLOAD, PTO-INST-TILE-TMATMUL, PTO-INST-TILE-TMATMUL-ACC, PTO-INST-TILE-TMATMUL-BIAS, PTO-INST-TILE-TMATMUL-MX, PTO-INST-TILE-TMATMUL-MX-ACC, PTO-INST-TILE-TMATMUL-MX-BIAS, PTO-INST-TILE-TMOV, PTO-INST-TILE-TMRGSORT, PTO-INST-TILE-TPACK, PTO-INST-TILE-TPARTADD, PTO-INST-TILE-TPARTMAX, PTO-INST-TILE-TPARTMIN, PTO-INST-TILE-TPARTMUL, PTO-INST-TILE-TPERMUTE, PTO-INST-TILE-TPREFETCH, PTO-INST-TILE-TQUANT, PTO-INST-TILE-TSCATTER, PTO-INST-TILE-TSHUF, PTO-INST-TILE-TSORT, PTO-INST-TILE-TSTORE, PTO-INST-TILE-TTRANS, PTO-INST-TILE-TTRI, PTO-INST-TILE-TUNPACK, PTO-ISA-LEGACY-SHARED-MOVEMENT-001, PTO-TFILLPAD-CONTRACT-001, PTO-TLOAD-MEMORY-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-TPACK-CONTRACT-001, PTO-TPARTADD-CONTRACT-001, PTO-TPARTMAX-CONTRACT-001, PTO-TPARTMIN-CONTRACT-001, PTO-TPARTMUL-CONTRACT-001, PTO-TPERMUTE-CONTRACT-001, PTO-TSHUF-CONTRACT-001, PTO-TSTORE-MEMORY-001, PTO-TTRANS-CONTRACT-001, PTO-TUNPACK-CONTRACT-001
SHA-256
5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d
Open exact decision source ↗ for ADR-0108

Unit metadata

Open 7 generated metadata fields

catalog_projection: { "catalog": "extension-encoding-reservations", "isa": "PTO Instruction Set Architecture", "reservations": [ { "encoding": [ { "index": 0, "mask": "0xf9ffffff", "match": "0x00021181", "width_bits": 32 } ], "fields": [ { "name": "Mode", "pieces": [ { "instruction_lsb": 25, "part_index": 0, "value_lsb": 0, "width": 2 } ], "width": 2 } ], "length_bits": 32, "mnemonic": "BSTART.VPAR", "owner": "PTO reserved two-level vector extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0xf9ffffff", "match": "0x00029181", "width_bits": 32 } ], "fields": [ { "name": "Mode", "pieces": [ { "instruction_lsb": 25, "part_index": 0, "value_lsb": 0, "width": 2 } ], "width": 2 } ], "length_bits": 32, "mnemonic": "BSTART.VSEQ", "owner": "PTO reserved two-level vector extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000ffff", "match": "0x000088c0", "width_bits": 16 } ], "fields": [], "length_bits": 16, "mnemonic": "C.BSTART.VPAR", "owner": "PTO reserved two-level vector extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000ffff", "match": "0x0000c8c0", "width_bits": 16 } ], "fields": [], "length_bits": 16, "mnemonic": "C.BSTART.VSEQ", "owner": "PTO reserved two-level vector extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x00000003", "width_bits": 32 } ], "fields": [], "length_bits": 32, "mnemonic": "B.TEXT", "owner": "PTO reserved two-level out-of-line block extension space", "status": "reserved-in-pto" }, { "constraints": [ { "field": "simm17", "operator": "not-equal", "value": 0 } ], "encoding": [ { "index": 0, "mask": "0x00007fff", "match": "0x00001101", "width_bits": 32 } ], "fields": [ { "name": "simm17", "pieces": [ { "instruction_lsb": 15, "part_index": 0, "value_lsb": 0, "width": 17 } ], "signedness": "signed", "width": 17 } ], "length_bits": 32, "mnemonic": "BSTART.FP.FIXUP", "owner": "PTO reserved two-level Fixup extension payload", "status": "reserved-in-pto" }, { "constraints": [ { "field": "simm17", "operator": "not-equal", "value": 0 } ], "encoding": [ { "index": 0, "mask": "0x00007fff", "match": "0x00001001", "width_bits": 32 } ], "fields": [ { "name": "simm17", "pieces": [ { "instruction_lsb": 15, "part_index": 0, "value_lsb": 0, "width": 17 } ], "signedness": "signed", "width": 17 } ], "length_bits": 32, "mnemonic": "BSTART.STD.FIXUP", "owner": "PTO reserved two-level Fixup extension payload", "status": "reserved-in-pto" }, { "constraints": [ { "field": "simm17", "operator": "not-equal", "value": 0 } ], "encoding": [ { "index": 0, "mask": "0x00007fff", "match": "0x00001081", "width_bits": 32 } ], "fields": [ { "name": "simm17", "pieces": [ { "instruction_lsb": 15, "part_index": 0, "value_lsb": 0, "width": 17 } ], "signedness": "signed", "width": 17 } ], "length_bits": 32, "mnemonic": "BSTART.SYS.FIXUP", "owner": "PTO reserved two-level Fixup extension payload", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000007f", "width_bits": 32 }, { "index": 1, "mask": "0x00000000", "match": "0x00000000", "width_bits": 32 } ], "fields": [], "length_bits": 64, "mnemonic": "V.*", "owner": "PTO reserved two-level vector extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0xf9ffffff", "match": "0x00001181", "width_bits": 32 } ], "fields": [ { "name": "Mode", "pieces": [ { "instruction_lsb": 25, "part_index": 0, "value_lsb": 0, "width": 2 } ], "width": 2 } ], "length_bits": 32, "mnemonic": "BSTART.MPAR", "owner": "PTO reserved two-level machine-block extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0xf9ffffff", "match": "0x00009181", "width_bits": 32 } ], "fields": [ { "name": "Mode", "pieces": [ { "instruction_lsb": 25, "part_index": 0, "value_lsb": 0, "width": 2 } ], "width": 2 } ], "length_bits": 32, "mnemonic": "BSTART.MSEQ", "owner": "PTO reserved two-level machine-block extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000ffff", "match": "0x000008c0", "width_bits": 16 } ], "fields": [], "length_bits": 16, "mnemonic": "C.BSTART.MPAR", "owner": "PTO reserved two-level machine-block extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000ffff", "match": "0x000048c0", "width_bits": 16 } ], "fields": [], "length_bits": 16, "mnemonic": "C.BSTART.MSEQ", "owner": "PTO reserved two-level machine-block extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0xf83f0000007f", "match": "0x501600000011", "width_bits": 48 } ], "fields": [ { "name": "simm25", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 } ], "signedness": "signed", "width": 25 }, { "name": "uimm5", "pieces": [ { "instruction_lsb": 38, "value_lsb": 0, "width": 5, "part_index": 1 } ], "signedness": "unsigned", "width": 5 } ], "length_bits": 48, "mnemonic": "HL.BSTART.CALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00003101000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.FP.COND", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00001101000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.FP.FALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00004101000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.FP.CALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00002101000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.FP.DIRECT", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00004001000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.STD.CALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00001001000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.STD.FALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00003001000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.STD.COND", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00002001000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.STD.DIRECT", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x00007fff000f", "match": "0x00001081000e", "width_bits": 48 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 31, "value_lsb": 1, "width": 17, "part_index": 0 }, { "instruction_lsb": 4, "value_lsb": 18, "width": 12, "part_index": 0 } ], "signedness": "signed", "width": 30 } ], "length_bits": 48, "mnemonic": "HL.BSTART.SYS.FALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00003081", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.FP.COND", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00002081", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.FP.DIRECT", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00004081", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.FP.CALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00001081", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.FP.FALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00002001", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.STD.DIRECT", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00004001", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.STD.CALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00003001", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.STD.COND", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00001001", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.STD.FALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000007f", "match": "0x0000000f", "width_bits": 32 }, { "index": 1, "mask": "0x00007fff", "match": "0x00001011", "width_bits": 32 } ], "fields": [ { "name": "simm", "pieces": [ { "instruction_lsb": 7, "value_lsb": 0, "width": 25, "part_index": 0 }, { "instruction_lsb": 47, "value_lsb": 25, "width": 17, "part_index": 1 } ], "signedness": "signed", "width": 42 } ], "length_bits": 64, "mnemonic": "L.BSTART.SYS.FALL", "owner": "PTO reserved two-level extended BSTART space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000707f", "match": "0x00000027", "width_bits": 32 } ], "fields": [ { "name": "SrcL", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "SrcR", "pieces": [ { "instruction_lsb": 20, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "simm12", "pieces": [ { "instruction_lsb": 25, "value_lsb": 0, "width": 7 }, { "instruction_lsb": 7, "value_lsb": 7, "width": 5 } ], "signedness": "signed", "width": 12 } ], "length_bits": 32, "mnemonic": "B.EQ", "owner": "PTO reserved two-level block-body conditional branch extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000707f", "match": "0x00001027", "width_bits": 32 } ], "fields": [ { "name": "SrcL", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "SrcR", "pieces": [ { "instruction_lsb": 20, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "simm12", "pieces": [ { "instruction_lsb": 25, "value_lsb": 0, "width": 7 }, { "instruction_lsb": 7, "value_lsb": 7, "width": 5 } ], "signedness": "signed", "width": 12 } ], "length_bits": 32, "mnemonic": "B.NE", "owner": "PTO reserved two-level block-body conditional branch extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000707f", "match": "0x00002027", "width_bits": 32 } ], "fields": [ { "name": "SrcL", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "SrcR", "pieces": [ { "instruction_lsb": 20, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "simm12", "pieces": [ { "instruction_lsb": 25, "value_lsb": 0, "width": 7 }, { "instruction_lsb": 7, "value_lsb": 7, "width": 5 } ], "signedness": "signed", "width": 12 } ], "length_bits": 32, "mnemonic": "B.LT", "owner": "PTO reserved two-level block-body conditional branch extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000707f", "match": "0x00003027", "width_bits": 32 } ], "fields": [ { "name": "SrcL", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "SrcR", "pieces": [ { "instruction_lsb": 20, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "simm12", "pieces": [ { "instruction_lsb": 25, "value_lsb": 0, "width": 7 }, { "instruction_lsb": 7, "value_lsb": 7, "width": 5 } ], "signedness": "signed", "width": 12 } ], "length_bits": 32, "mnemonic": "B.GE", "owner": "PTO reserved two-level block-body conditional branch extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000707f", "match": "0x00004027", "width_bits": 32 } ], "fields": [ { "name": "SrcL", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "SrcR", "pieces": [ { "instruction_lsb": 20, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "simm12", "pieces": [ { "instruction_lsb": 25, "value_lsb": 0, "width": 7 }, { "instruction_lsb": 7, "value_lsb": 7, "width": 5 } ], "signedness": "signed", "width": 12 } ], "length_bits": 32, "mnemonic": "B.LTU", "owner": "PTO reserved two-level block-body conditional branch extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000707f", "match": "0x00005027", "width_bits": 32 } ], "fields": [ { "name": "SrcL", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "SrcR", "pieces": [ { "instruction_lsb": 20, "value_lsb": 0, "width": 5 } ], "signedness": "encoding-defined", "width": 5 }, { "name": "simm12", "pieces": [ { "instruction_lsb": 25, "value_lsb": 0, "width": 7 }, { "instruction_lsb": 7, "value_lsb": 7, "width": 5 } ], "signedness": "signed", "width": 12 } ], "length_bits": 32, "mnemonic": "B.GEU", "owner": "PTO reserved two-level block-body conditional branch extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000707f", "match": "0x00001037", "width_bits": 32 } ], "fields": [ { "name": "simm22", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 17 }, { "instruction_lsb": 7, "value_lsb": 17, "width": 5 } ], "signedness": "signed", "width": 22 } ], "length_bits": 32, "mnemonic": "B.Z", "owner": "PTO reserved two-level block-body conditional branch extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x0000707f", "match": "0x00002037", "width_bits": 32 } ], "fields": [ { "name": "simm22", "pieces": [ { "instruction_lsb": 15, "value_lsb": 0, "width": 17 }, { "instruction_lsb": 7, "value_lsb": 17, "width": 5 } ], "signedness": "signed", "width": 22 } ], "length_bits": 32, "mnemonic": "B.NZ", "owner": "PTO reserved two-level block-body conditional branch extension space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x000fffff", "match": "0x6519181", "width_bits": 32 } ], "fields": [], "length_bits": 32, "mnemonic": "BSTART.TEPL selector 0x065", "owner": "PTO reserved deleted TEPL selector space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x000fffff", "match": "0x6e19181", "width_bits": 32 } ], "fields": [], "length_bits": 32, "mnemonic": "BSTART.TEPL selector 0x06E", "owner": "PTO reserved deleted TEPL selector space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x000fffff", "match": "0x7119181", "width_bits": 32 } ], "fields": [], "length_bits": 32, "mnemonic": "BSTART.TEPL selector 0x071", "owner": "PTO reserved deleted TEPL selector space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x000fffff", "match": "0x7219181", "width_bits": 32 } ], "fields": [], "length_bits": 32, "mnemonic": "BSTART.TEPL selector 0x072", "owner": "PTO reserved deleted TEPL selector space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x000fffff", "match": "0x7319181", "width_bits": 32 } ], "fields": [], "length_bits": 32, "mnemonic": "BSTART.TEPL selector 0x073", "owner": "PTO reserved deleted TEPL selector space", "status": "reserved-in-pto" }, { "encoding": [ { "index": 0, "mask": "0x000fffff", "match": "0x7419181", "width_bits": 32 } ], "fields": [], "length_bits": 32, "mnemonic": "BSTART.TEPL selector 0x074", "owner": "PTO reserved deleted TEPL selector space", "status": "reserved-in-pto" } ], "schema_version": 1 }
classification: [ "overview", "encoding-ownership" ]
deleted_names: [ "B.IOD", "BSTART.PAR", "C.B.IOS", "TFILLPAD", "TTRANS", "TPARTADD", "TPARTMUL", "TPARTMAX", "TPARTMIN" ]
depends_on: [ "PTO-ARCH-OVERVIEW-INSTRUCTION-CLASSIFICATION" ]
id: PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP
manual_reservation_reviews: [ { "mnemonic": "BSTART.VPAR", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.VSEQ", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "C.BSTART.VPAR", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "C.BSTART.VSEQ", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.TEXT", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.FP.FIXUP", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.STD.FIXUP", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.SYS.FIXUP", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "V.*", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.MPAR", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.MSEQ", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "C.BSTART.MPAR", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "C.BSTART.MSEQ", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.CALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.FP.COND", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.FP.FALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.FP.CALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.FP.DIRECT", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.STD.CALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.STD.FALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.STD.COND", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.STD.DIRECT", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "HL.BSTART.SYS.FALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.FP.COND", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.FP.DIRECT", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.FP.CALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.FP.FALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.STD.DIRECT", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.STD.CALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.STD.COND", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.STD.FALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "L.BSTART.SYS.FALL", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.EQ", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.NE", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.LT", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.GE", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.LTU", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.GEU", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.Z", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "B.NZ", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.TEPL selector 0x065", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.TEPL selector 0x06E", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.TEPL selector 0x071", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.TEPL selector 0x072", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.TEPL selector 0x073", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } }, { "mnemonic": "BSTART.TEPL selector 0x074", "review": { "review_method": "formal-definition-read", "outcome": "RESERVED", "reviewed_fields": [ "assembly", "encoding", "defaults", "operation", "state", "memory", "ordering", "faults", "reserved" ] } } ]
surface: arch

Open generated traceability record

{
  "classification": [
    "overview",
    "encoding-ownership"
  ],
  "documentation": "docs/arch/overview/encoding-ownership.md",
  "id": "PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0001",
    "ADR-0052",
    "ADR-0053",
    "ADR-0056",
    "ADR-0059",
    "ADR-0067",
    "ADR-0077",
    "ADR-0084",
    "ADR-0108"
  ],
  "semantic_tests": [
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-EQ-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-GE-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-GEU-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-LT-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-LTU-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-NE-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-NZ-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-TEXT-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-Z-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-FIXUP-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-LONG-BSTART-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-MACHINE-BLOCK-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-VECTOR-ROOT-001"
  ],
  "source": "asl/arch/overview/encoding-ownership.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-EQ-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-GE-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-GEU-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-LT-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-LTU-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-NE-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-NZ-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-TEXT-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-B-Z-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-FIXUP-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-LONG-BSTART-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-MACHINE-BLOCK-001",
    "PTO-AVS-ARCH-ENCODING-OWNERSHIP-VECTOR-ROOT-001",
    "PTO-AVS-ARCH-OVERVIEW-ENCODING-OWNERSHIP-STATIC-001"
  ]
}

Sources and release identity

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

Release: 0.58.5 · Release candidate
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL: asl/arch/overview/encoding-ownership.asl
ASL SHA-256: c966dc5c893b35cf6ce25ec303839f60c68f52d90bf2f5bdd74b5de115ea9083
Generated documentation: docs/arch/overview/encoding-ownership.md · embedded in this page
Documentation SHA-256: 3165aff5966c7232d47ec71045fa6d488616f56a20c132e001f6cc7cd07d8084

Exact owners

ASL PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP asl/arch/overview/encoding-ownership.asl
NDF PTO-ARCH-CONDITIONAL-BRANCH-RESERVATION-001 asl/arch/overview/encoding-ownership.asl
NDF PTO-ARCH-ENCODING-OWNERSHIP-001 asl/arch/overview/encoding-ownership.asl

Architecture behavior

Purpose and scope

Ownership categories

Reservation checks

Reserved versus active

illustrative decoder example

Related owners

Evidence index

Decision record

Decision record

Decision record

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