PTO-BLOCK-MODEL-DISPATCH-COMMANDS

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-DISPATCH-COMMANDS","surface":"block","classification":["model","dispatch","commands"],"depends_on":["PTO-BLOCK-MODEL-DISPATCH-START","PTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS"]}2readonly func BundleFixedPointAttributesCanBePlaced() => boolean3begin4    if !_BundleActive ||5       _BundleBodyActive ||6       _BundleFixedPointAttributes.valid then7        return FALSE;8    end;9
10    if _BundleOperation.valid &&11       _BundleOperation.operation_class != BundleOperation_TileMatrix then12        return FALSE;13    end;14
15    return !_BundleScalarBindings[[0]].valid &&16           BundleTileBindingCount() == 0 &&17           BundleSharedBindingCount() == 0;18end;19
20func ExecuteDecodedBundleCommand(instruction: bits(64),21                                form: integer {0..PTO_COMMAND_FORM_COUNT-1},22                                length_bits: integer {16,32,48,64})23                                => CommandExecutionStatus24begin25    let handler = CommandHandlerOfForm(form);26    let hint_trace = handler == CommandHandler_SetBundleHint &&27        CommandOperandPresent(form, CommandField_B_E);28    if !CommandHandlerSupportedPTOv0(handler) then29        SetFault(Fault_IllegalInstruction, ReadTPC());30        return CommandExecution_Rejected;31    end;32    let range_modifier = handler == CommandHandler_ApplyBundleSubview ||33        handler == CommandHandler_ApplyBundleAssemble;34    if !range_modifier then35        // Any non-modifier command terminates the immediately preceding36        // binder/modifier group.  The association is never retroactive.37        CloseBundleRangeGroup();38    end;39    if handler == CommandHandler_ExecuteQueueMove then40        let flags = CommandDecodedQueueMoveFlags(instruction, form);41        if flags[1:0] == '11' then42            SetFault(Fault_IllegalInstruction, ReadTPC());43            return CommandExecution_Rejected;44        end;45        let source_left = CommandDecodedReg5(46            instruction,47            form,48            CommandField_SrcL);49        if !ScalarSourceSelectorLegal(source_left) then50            SetFault(Fault_IllegalInstruction, ReadTPC());51            return CommandExecution_Rejected;52        end;53        if flags[3] == '1' then54            let source_right = CommandDecodedReg5(55                instruction,56                form,57                CommandField_SrcR);58            if !ScalarSourceSelectorLegal(source_right) then59                SetFault(Fault_IllegalInstruction, ReadTPC());60                return CommandExecution_Rejected;61            end;62        end;63    elsif handler == CommandHandler_ExecuteQueuePush then64        let source_left = CommandDecodedReg5(65            instruction,66            form,67            CommandField_SrcL);68        let source_right = CommandDecodedReg5(69            instruction,70            form,71            CommandField_SrcR);72        if !ScalarSourceSelectorLegal(source_left) ||73           !ScalarSourceSelectorLegal(source_right) then74            SetFault(Fault_IllegalInstruction, ReadTPC());75            return CommandExecution_Rejected;76        end;77    elsif handler == CommandHandler_ExecuteQueuePop then78        let source_left = CommandDecodedReg5(79            instruction,80            form,81            CommandField_SrcL);82        if !ScalarSourceSelectorLegal(source_left) then83            SetFault(Fault_IllegalInstruction, ReadTPC());84            return CommandExecution_Rejected;85        end;86    end;87    case handler of88        when CommandHandler_SetBundleControlAttributes =>89            if !_BundleActive || _BundleBodyActive ||90               _BundleControlAttributes.present then91                SetFault(Fault_BundleControl, ReadTPC());92                return CommandExecution_Rejected;93            end;94            SetBundleControlAttributeState(95                CommandDecodedBool(instruction, form, CommandField_trap),96                CommandDecodedBool(instruction, form, CommandField_atom),97                CommandDecodedBool(instruction, form, CommandField_aq),98                CommandDecodedBool(instruction, form, CommandField_rl),99                CommandDecodedBool(instruction, form, CommandField_far),100                CommandDecodedBool(instruction, form, CommandField_DR));101        when CommandHandler_SetBundleDataAttributes =>102            if !_BundleActive || _BundleBodyActive ||103               _BundleDataAttributesPresent then104                SetFault(Fault_BundleControl, ReadTPC());105                return CommandExecution_Rejected;106            end;107            SetBundleDataAttributeState(108                DecodeCommandOperandRaw(instruction, form,109                    CommandField_DataType)[4:0],110                DecodeCommandOperandRaw(instruction, form,111                    CommandField_Layout)[4:0],112                DecodeCommandOperandRaw(instruction, form,113                    CommandField_PadValueOrByteId)[1:0],114                DecodeCommandOperandRaw(instruction, form,115                    CommandField_CMode)[2:0],116                DecodeCommandOperandRaw(instruction, form,117                    CommandField_RMode)[2:0],118                CommandDecodedBool(instruction, form, CommandField_Sat),119                CommandDecodedBool(120                    instruction, form, CommandField_Canonicalize));121            if _LastFault == Fault_None then122                _BundleDataAttributesPresent = TRUE;123            end;124        when CommandHandler_SetBundleFixedPointAttributes =>125            if !BundleFixedPointAttributesCanBePlaced() then126                SetFault(Fault_BundleControl, ReadTPC());127                return CommandExecution_Rejected;128            end;129            SetBundleFixedPointAttributeState(130                DecodeCommandOperandRaw(instruction, form,131                    CommandField_PreQuantMode)[5:0],132                DecodeCommandOperandRaw(instruction, form,133                    CommandField_ReluMode)[2:0],134                DecodeCommandOperandRaw(instruction, form,135                    CommandField_GroupNCode)[3:0],136                CommandDecodedBool(instruction, form, CommandField_RowMaxEn),137                CommandDecodedBool(instruction, form, CommandField_GroupMaxEn),138                CommandDecodedBool(instruction, form, CommandField_RowMaxInit),139                CommandDecodedBool(instruction, form, CommandField_MaxAbsEn),140                CommandDecodedBool(instruction, form, CommandField_TransA),141                CommandDecodedBool(instruction, form, CommandField_TransB),142                CommandDecodedBool(instruction, form, CommandField_CScaleEn));143        when CommandHandler_SetBundleDimension =>144            if !_BundleActive || _BundleBodyActive then145                SetFault(Fault_BundleControl, ReadTPC());146                return CommandExecution_Rejected;147            elsif CommandOperandPresent(form, CommandField_RegSrc) then148                let sum = ReadScalarRegisterOperand(CommandDecodedReg5(instruction,149                        form, CommandField_RegSrc)) +150                    if CommandOperandPresent(form, CommandField_uimm17) then151                        CommandDecodedWord(instruction, form, CommandField_uimm17)152                    else Zeros{PTO_XLEN};153                SetBundleDimension(CommandDecodedBundleDimension(instruction, form),154                    ZeroExtend{PTO_XLEN}(sum[15:0]));155            else156                SetBundleDimension(CommandDecodedBundleDimension(instruction, form),157                    CommandDecodedWord(instruction, form, CommandField_imm8));158            end;159        when CommandHandler_BindBundleSharedIO =>160            let pe_mode = DecodeCommandOperandRaw(instruction, form,161                CommandField_PEMode)[2:0];162            let shared_size = CommandDecodedSmall(163                instruction, form, CommandField_SizeCode)164                as integer {0..12};165            if !TileSizeCodeIsLegal(shared_size) && shared_size != 0 then166                SetFault(Fault_IllegalInstruction, ReadTPC());167                return CommandExecution_Rejected;168            end;169            let shared_mask = PTOv0PEMaskOfPEMode(pe_mode);170            if shared_mask == Zeros{4} then171                // Strict no-op before placement, duplicate, stream, schema,172                // allocation, descriptor, and operation-specific checks.173                if _BundleActive && !_BundleBodyActive then174                    _BundleZeroParticipationSeen = TRUE;175                    OpenBundleRangeSharedGroup(TRUE, shared_size == 0,176                        shared_size != 0);177                end;178                WriteTPC(ReadTPC() + (Zeros{PTO_XLEN} + (length_bits DIV 8)));179                return CommandExecution_Executed;180            end;181            if !_BundleActive || _BundleBodyActive then182                SetFault(Fault_BundleControl, ReadTPC());183                return CommandExecution_Rejected;184            end;185            BindBundleSharedIO(186                DecodeCommandOperandRaw(instruction, form,187                    CommandField_SharedTileID)[5:0] as SharedTileID,188                shared_size,189                shared_mask);190            if _LastFault == Fault_None then191                OpenBundleRangeSharedGroup(FALSE, shared_size == 0,192                    shared_size != 0);193            end;194        when CommandHandler_BindBundleScalarIO =>195            if !_BundleActive || _BundleBodyActive ||196               _BundleScalarBindings[[0]].valid then197                SetFault(Fault_BundleControl, ReadTPC());198                return CommandExecution_Rejected;199            end;200            SetBundleScalarBinding(0,201                CommandDecodedReg5(instruction, form, CommandField_RegDst),202                CommandDecodedReg5(instruction, form, CommandField_RegSrc0),203                CommandDecodedReg5(instruction, form, CommandField_RegSrc1),204                CommandDecodedReg5(instruction, form, CommandField_RegSrc2), 3);205        when CommandHandler_BindBundleTileIO =>206            let pe_mode = DecodeCommandOperandRaw(207                instruction, form, CommandField_PEMode)[2:0];208            let local_destination =209                CommandOperandPresent(form, CommandField_DstTile);210            let encoded_tile_size = CommandDecodedSmall(211                instruction, form, CommandField_SizeCode);212            if !local_destination && encoded_tile_size != 0 then213                SetFault(Fault_IllegalInstruction, ReadTPC());214                return CommandExecution_Rejected;215            end;216            let tile_size = if local_destination then encoded_tile_size else 0;217            if local_destination && !LocalTileSizeCodeIsLegal(tile_size) then218                SetFault(Fault_IllegalInstruction, ReadTPC());219                return CommandExecution_Rejected;220            end;221            let pe_mask = PTOv0PEMaskOfPEMode(pe_mode);222            if pe_mask == Zeros{4} then223                // Strict no-op: zero participation suppresses every later224                // placement, stream, schema, allocation, and descriptor check.225                if _BundleActive && !_BundleBodyActive then226                    _BundleZeroParticipationSeen = TRUE;227                    OpenBundleRangeTileGroup(TRUE,228                        CommandOperandPresent(form, CommandField_SrcTile0),229                        CommandOperandPresent(form, CommandField_SrcTile1),230                        CommandOperandPresent(form, CommandField_DstTile));231                end;232                WriteTPC(ReadTPC() + (Zeros{PTO_XLEN} + (length_bits DIV 8)));233                return CommandExecution_Executed;234            end;235            if !_BundleActive || _BundleBodyActive ||236               BundleTileBindingSequenceClosed() then237                SetFault(Fault_BundleControl, ReadTPC());238                return CommandExecution_Rejected;239            end;240            if !BundleTileMaskCanAppend(pe_mask) ||241                (local_destination && tile_size == 0) then242                SetFault(Fault_TileLegality, ReadTPC());243                return CommandExecution_Rejected;244            end;245            AddBundleTileBinding(246                local_destination,247                if CommandOperandPresent(form, CommandField_DstTile) then248                    CommandDecodedTile(instruction, form, CommandField_DstTile)249                else 0,250                tile_size,251                pe_mask,252                CommandOperandPresent(form, CommandField_SrcTile0),253                CommandOperandPresent(form, CommandField_SrcTile1),254                if CommandOperandPresent(form, CommandField_SrcTile0) then255                    CommandDecodedTile(instruction, form, CommandField_SrcTile0)256                else 0,257                if CommandOperandPresent(form, CommandField_SrcTile1) then258                    CommandDecodedTile(instruction, form, CommandField_SrcTile1)259                else 0,260                CommandOperandPresent(form, CommandField_L) &&261                    CommandDecodedBool(instruction, form, CommandField_L));262            if _LastFault == Fault_None then263                OpenBundleRangeTileGroup(FALSE,264                    CommandOperandPresent(form, CommandField_SrcTile0),265                    CommandOperandPresent(form, CommandField_SrcTile1),266                    CommandOperandPresent(form, CommandField_DstTile));267            end;268        when CommandHandler_ApplyBundleSubview =>269            let reg_src = CommandDecodedReg5(instruction, form,270                CommandField_RegSrc);271            let size_code = CommandDecodedSmall(instruction, form,272                CommandField_SubviewSizeCode);273            let source_select = CommandDecodedBool(instruction, form,274                CommandField_SrcSelect);275            let uimm11 = DecodeCommandOperandRaw(instruction, form,276                CommandField_uimm11)[10:0];277            // Decode legality is checked before PEMode suppression and before278            // any GPR read.  Reserved selectors/codes therefore leave all279            // carriers and the range-group state unchanged.280            if !ScalarSourceSelectorLegal(reg_src) ||281               !BundleRangeSubviewRawLegal(size_code) then282                SetFault(Fault_IllegalInstruction, ReadTPC());283                return CommandExecution_Rejected;284            end;285            if !BundleRangeSubviewLegal(source_select, size_code) then286                SetFault(Fault_BundleControl, ReadTPC());287                return CommandExecution_Rejected;288            end;289            if !_BundleRangeGroup.zero_mode then290                let offset = ReadScalarRegisterOperand(reg_src) +291                    ZeroExtend{PTO_XLEN}(uimm11);292                RecordBundleRangeSubview(source_select, reg_src, uimm11,293                    size_code as integer {1..12}, offset);294            end;295        when CommandHandler_ApplyBundleAssemble =>296            let reg_src = CommandDecodedReg5(instruction, form,297                CommandField_RegSrc);298            let size_code = CommandDecodedSmall(instruction, form,299                CommandField_ParentSizeCode);300            let init = CommandDecodedBool(instruction, form,301                CommandField_INIT);302            let last = CommandDecodedBool(instruction, form,303                CommandField_LAST);304            let uimm11 = DecodeCommandOperandRaw(instruction, form,305                CommandField_uimm11)[10:0];306            if !ScalarSourceSelectorLegal(reg_src) || size_code > 12 then307                SetFault(Fault_IllegalInstruction, ReadTPC());308                return CommandExecution_Rejected;309            end;310            if !BundleRangeAssembleLegal(init, size_code) then311                if !_BundleRangeGroup.zero_mode &&312                   _BundleRangeGroup.kind == BundleRangeGroup_Local &&313                   (size_code == 11 || size_code == 12) then314                    SetFault(Fault_TileLegality, ReadTPC());315                else316                    SetFault(Fault_BundleControl, ReadTPC());317                end;318                return CommandExecution_Rejected;319            end;320            if !_BundleRangeGroup.zero_mode then321                let offset = ReadScalarRegisterOperand(reg_src) +322                    ZeroExtend{PTO_XLEN}(uimm11);323                RecordBundleRangeAssemble(init, last, reg_src, uimm11,324                    size_code as integer {0..12}, offset);325            end;326        when CommandHandler_ExecuteBundleStart =>327            ExecuteDecodedBundleStart(instruction, form, length_bits);328        when CommandHandler_ExecuteBundleStop =>329            let completed = CompleteBundleAt(ReadTPC() +330                (Zeros{PTO_XLEN} + (length_bits DIV 8)));331        when CommandHandler_SetBundleHint =>332            if hint_trace then333                let instruction_pc = ReadTPC();334                if _BundleActive && !CompleteBundleAt(instruction_pc) then335                    return CommandExecution_Rejected;336                end;337                ClearBundleHeaderState();338                let sequential = instruction_pc +339                    (Zeros{PTO_XLEN} + (length_bits DIV 8));340                BeginBundle(BundleKind_Standard,341                    BundleTransfer_Fallthrough, sequential, sequential,342                    sequential, TRUE);343                if _LastFault != Fault_None then344                    return CommandExecution_Rejected;345                end;346            elsif !_BundleActive || _BundleBodyActive ||347                  _BundleHint.present then348                SetFault(Fault_BundleControl, ReadTPC());349                return CommandExecution_Rejected;350            end;351            _LastBundleHintPayload = instruction;352            _BundleHint.present = TRUE;353            _BundleHint.trace = hint_trace;354            _BundleHint.trace_end = hint_trace &&355                CommandDecodedBool(instruction, form, CommandField_B_E);356            _BundleHint.branch_valid = !hint_trace &&357                CommandDecodedBool(instruction, form, CommandField_V);358            _BundleHint.branch_likely = !hint_trace &&359                CommandDecodedBool(instruction, form, CommandField_L_UL);360            _BundleHint.temperature = if hint_trace then Zeros{2}361                else DecodeCommandOperandRaw(instruction, form,362                    CommandField_temp)[1:0];363            _BundleHint.prefetch_size = if hint_trace then Zeros{12}364                else DecodeCommandOperandRaw(instruction, form,365                    CommandField_prefetch_size)[11:0];366            BundleTransformHint();367        when CommandHandler_SaveExecutionContext =>368            SaveExecutionContextState(369                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,370                    CommandField_RegSrc0)),371                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,372                    CommandField_RegSrc1)),373                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,374                    CommandField_RegSrc2)));375        when CommandHandler_RecoverExecutionContext =>376            RecoverExecutionContextState(377                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,378                    CommandField_RegSrc0)),379                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,380                    CommandField_RegSrc1)),381                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,382                    CommandField_RegSrc2)));383        when CommandHandler_ExecuteFrameEntry =>384            ExecuteFENTRY(385                CommandDecodedReg5(instruction, form, CommandField_SrcBegin),386                CommandDecodedReg5(instruction, form, CommandField_SrcEnd),387                CommandDecodedWord(instruction, form, CommandField_uimm));388        when CommandHandler_ExecuteFrameExit =>389            ExecuteFEXIT(390                CommandDecodedReg5(instruction, form, CommandField_DstBegin),391                CommandDecodedReg5(instruction, form, CommandField_DstEnd),392                CommandDecodedWord(instruction, form, CommandField_uimm));393        when CommandHandler_ExecuteFrameReturnAddress =>394            ExecuteFRETRA(395                CommandDecodedReg5(instruction, form, CommandField_DstBegin),396                CommandDecodedReg5(instruction, form, CommandField_DstEnd),397                CommandDecodedWord(instruction, form, CommandField_uimm));398        when CommandHandler_ExecuteFrameReturnStack =>399            ExecuteFRETSTK(400                CommandDecodedReg5(instruction, form, CommandField_DstBegin),401                CommandDecodedReg5(instruction, form, CommandField_DstEnd),402                CommandDecodedWord(instruction, form, CommandField_uimm));403        when CommandHandler_ExecuteQueueMove =>404            let flags = CommandDecodedQueueMoveFlags(instruction, form);405            let capacity_source = if flags[3] == '1' then406                ReadScalarRegisterOperand(CommandDecodedReg5(407                    instruction,408                    form,409                    CommandField_SrcR))410            else411                Zeros{PTO_XLEN};412            ExecuteHLQMT(413                CommandDecodedReg5(instruction, form, CommandField_RegDst),414                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,415                    CommandField_SrcL)),416                capacity_source,417                flags);418        when CommandHandler_ExecuteQueuePop =>419            ExecuteHLQPOP(420                CommandDecodedReg5(instruction, form, CommandField_RegDst0),421                CommandDecodedReg5(instruction, form, CommandField_RegDst1),422                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,423                    CommandField_SrcL)),424                CommandDecodedQueuePopFlags(instruction, form));425        when CommandHandler_ExecuteQueuePush =>426            ExecuteHLQPUSH(427                CommandDecodedReg5(instruction, form, CommandField_RegDst),428                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,429                    CommandField_SrcL)),430                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,431                    CommandField_SrcR)),432                CommandDecodedQueuePushFlags(instruction, form));433        when CommandHandler_ExecuteMemoryCopy =>434            if _MemoryCopyTemplate.active then435                ExecuteMemoryCopyTemplate(436                    _MemoryCopyTemplate.destination,437                    _MemoryCopyTemplate.source,438                    _MemoryCopyTemplate.length);439            else440                let destination = ReadGPR(441                    CommandDecodedReg5(442                        instruction,443                        form,444                        CommandField_RegSrc0) as GPRIndex);445                let source = ReadGPR(446                    CommandDecodedReg5(447                        instruction,448                        form,449                        CommandField_RegSrc1) as GPRIndex);450                let length = ReadGPR(451                    CommandDecodedReg5(452                        instruction,453                        form,454                        CommandField_RegSrc2) as GPRIndex);455                ExecuteMemoryCopyTemplate(destination, source, length);456            end;457        when CommandHandler_ExecuteMemorySet =>458            ExecuteBoundedMemorySet(459                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,460                    CommandField_RegSrc0)),461                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,462                    CommandField_RegSrc1)),463                ReadScalarRegisterOperand(CommandDecodedReg5(instruction, form,464                    CommandField_RegSrc2)));465        when CommandHandler_ExecuteCrossBlockTransfer =>466            ExecuteCrossBlockTransferState(467                DecodeCommandOperandRaw(instruction, form,468                    CommandField_ACR_ID)[9:0],469                DecodeCommandOperandRaw(instruction, form,470                    CommandField_CROSS_BID)[6:0]);471        otherwise =>472            unreachable;473    end;474    if _LastFault != Fault_None then475        return CommandExecution_Rejected;476    end;477    if CommandHandlerAdvancesSequentially(handler) && !hint_trace then478        WriteTPC(ReadTPC() + (Zeros{PTO_XLEN} + (length_bits DIV 8)));479    end;480    return CommandExecution_Executed;481end;482