PTO-BLOCK-MODEL-DISPATCH-DECODE

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-DISPATCH-DECODE","surface":"block","classification":["model","dispatch","decode"],"depends_on":["PTO-BLOCK-B-CATR","PTO-BLOCK-B-DATR","PTO-BLOCK-B-DIM","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-ICALL","PTO-BLOCK-BSTART-FP","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-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-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-MCOPY","PTO-BLOCK-MSET","PTO-BLOCK-XB"]}2// PTO-REQ-BUNDLE-DISPATCH-001: decoded bundle-command execution.3
4type CommandExecutionStatus of enumeration {5    CommandExecution_Executed,6    CommandExecution_Rejected7};8
9pure func CommandDecodedWord(instruction: bits(64),10                             form: integer {0..PTO_COMMAND_FORM_COUNT-1},11                             field: CommandOperandField) => Word12begin13    let raw = DecodeCommandOperandRaw(instruction, form, field);14    if CommandOperandSignedness(form, field) == ScalarField_Signed then15        case CommandOperandWidth(form, field) of16            when 8  => return SignExtend{PTO_XLEN}(raw[7:0]);17            when 12 => return SignExtend{PTO_XLEN}(raw[11:0]);18            when 15 => return SignExtend{PTO_XLEN}(raw[14:0]);19            when 17 => return SignExtend{PTO_XLEN}(raw[16:0]);20            when 25 => return SignExtend{PTO_XLEN}(raw[24:0]);21            when 30 => return SignExtend{PTO_XLEN}(raw[29:0]);22            when 42 => return SignExtend{PTO_XLEN}(raw[41:0]);23            otherwise => unreachable;24        end;25    end;26    return ZeroExtend{PTO_XLEN}(raw);27end;28
29pure func CommandDecodedReg5(instruction: bits(64),30                             form: integer {0..PTO_COMMAND_FORM_COUNT-1},31                             field: CommandOperandField) => Reg5Selector32begin33    return UInt(DecodeCommandOperandRaw(instruction, form, field)[4:0])34        as Reg5Selector;35end;36
37pure func CommandDecodedTile(instruction: bits(64),38                             form: integer {0..PTO_COMMAND_FORM_COUNT-1},39                             field: CommandOperandField) => TileIndex40begin41    return UInt(DecodeCommandOperandRaw(instruction, form, field)[5:0])42        as TileIndex;43end;44
45pure func CommandDecodedBool(instruction: bits(64),46                             form: integer {0..PTO_COMMAND_FORM_COUNT-1},47                             field: CommandOperandField) => boolean48begin49    return DecodeCommandOperandRaw(instruction, form, field)[0] == '1';50end;51
52pure func CommandHandlerSupportedPTOv0(handler: CommandSemanticHandler)53                                       => boolean54begin55    case handler of56        when CommandHandler_SaveExecutionContext,57             CommandHandler_RecoverExecutionContext,58             CommandHandler_ExecuteCrossBlockTransfer => return FALSE;59        otherwise => return TRUE;60    end;61end;62
63pure func CommandHandlerAdvancesSequentially(handler: CommandSemanticHandler)64                                             => boolean65begin66    return handler != CommandHandler_ExecuteBundleStart &&67           handler != CommandHandler_ExecuteBundleStop &&68           handler != CommandHandler_ExecuteFrameReturnAddress &&69           handler != CommandHandler_ExecuteFrameReturnStack;70end;71
72pure func CommandDecodedSmall(instruction: bits(64),73                              form: integer {0..PTO_COMMAND_FORM_COUNT-1},74                              field: CommandOperandField) => integer {0..15}75begin76    return UInt(DecodeCommandOperandRaw(instruction, form, field)[3:0])77        as integer {0..15};78end;79
80pure func CommandDecodedQueueMoveFlags(81    instruction: bits(64),82    form: integer {0..PTO_COMMAND_FORM_COUNT-1}) => bits(4)83begin84    var flags: bits(4) = Zeros{4};85    flags[3] = DecodeCommandOperandRaw(instruction, form, CommandField_i)[0];86    flags[2] = DecodeCommandOperandRaw(instruction, form, CommandField_e)[0];87    flags[1] = DecodeCommandOperandRaw(instruction, form, CommandField_s)[0];88    flags[0] = DecodeCommandOperandRaw(instruction, form, CommandField_r)[0];89    return flags;90end;91
92pure func CommandDecodedQueuePopFlags(93    instruction: bits(64),94    form: integer {0..PTO_COMMAND_FORM_COUNT-1}) => bits(4)95begin96    var flags: bits(4) = Zeros{4};97    flags[1] = DecodeCommandOperandRaw(instruction, form, CommandField_e)[0];98    flags[0] = DecodeCommandOperandRaw(instruction, form, CommandField_r)[0];99    return flags;100end;101
102pure func CommandDecodedQueuePushFlags(103    instruction: bits(64),104    form: integer {0..PTO_COMMAND_FORM_COUNT-1}) => bits(4)105begin106    var flags: bits(4) = Zeros{4};107    flags[3] = DecodeCommandOperandRaw(instruction, form, CommandField_h)[0];108    flags[2] = DecodeCommandOperandRaw(instruction, form, CommandField_e)[0];109    flags[0] = DecodeCommandOperandRaw(instruction, form, CommandField_r)[0];110    return flags;111end;112
113pure func CommandDecodedBundleDimension(instruction: bits(64),114                                       form: integer {0..PTO_COMMAND_FORM_COUNT-1})115                                       => BundleDimensionIndex116begin117    if CommandOperandPresent(form, CommandField_LoopNest) then118        return UInt(DecodeCommandOperandRaw(instruction, form,119            CommandField_LoopNest)[1:0]) as BundleDimensionIndex;120    end;121    case CommandOperationOfForm(form) of122        when CommandOperation_b_dim_32_27602ab68929 => return 0;123        when CommandOperation_b_dim_32_4191099a5f4d => return 1;124        otherwise => return 2;125    end;126end;127
128pure func DecodeBundleOperationDescriptor(129    instruction: bits(64),130    form: integer {0..PTO_COMMAND_FORM_COUNT-1}) => BundleOperationDescriptor131begin132    var selector = Zeros{10};133    var selector_valid = FALSE;134    if CommandBundleSelectorUsesEncodingVariant(form) then135        selector = CommandBundleSelectorConstantOfForm(instruction, form);136        selector_valid = TRUE;137    elsif CommandFormSelectsTileOperation(form) then138        selector = CommandTileCodeOfForm(instruction, form)[9:0];139        selector_valid = TRUE;140    elsif CommandOperandPresent(form, CommandField_Function) then141        selector[4:0] = DecodeCommandOperandRaw(instruction, form,142            CommandField_Function)[4:0];143        selector_valid = TRUE;144    elsif CommandBundleSelectorConstantPresent(form) then145        selector = CommandBundleSelectorConstantOfForm(instruction, form);146        selector_valid = TRUE;147    end;148    return BundleOperationDescriptor {149        valid = TRUE,150        form_identity = Zeros{7} + form,151        operation_class = CommandBundleOperationClassOfForm(form),152        selector_valid = selector_valid,153        selector = selector,154        data_type_valid = CommandFormSelectsTileOperation(form) ||155            CommandOperandPresent(form, CommandField_DataType),156        data_type = if CommandFormSelectsTileOperation(form) then157            CommandTileDataTypeOfForm(instruction, form)158            else if CommandOperandPresent(form, CommandField_DataType) then159            DecodeCommandOperandRaw(instruction, form, CommandField_DataType)[4:0]160            else Zeros{5},161        mode_valid = CommandOperandPresent(form, CommandField_Mode),162        mode = if CommandOperandPresent(form, CommandField_Mode) then163            DecodeCommandOperandRaw(instruction, form, CommandField_Mode)[1:0]164            else Zeros{2},165        branch_type_valid = CommandOperandPresent(form, CommandField_BrType),166        branch_type = if CommandOperandPresent(form, CommandField_BrType) then167            DecodeCommandOperandRaw(instruction, form, CommandField_BrType)[2:0]168            else Zeros{3}169    };170end;171