PTO-SCALAR-MODEL-DISPATCH-ALU

PTO-SCALAR-MODEL-DISPATCH-ALU

ASL pseudocode

The complete ASL owner is shown directly below.

1// PTO-UNIT: {"id":"PTO-SCALAR-MODEL-DISPATCH-ALU","surface":"scalar","classification":["model","dispatch","alu"],"depends_on":["PTO-SCALAR-MODEL-DISPATCH-DECODE","PTO-SCALAR-MODEL-ALU-SEMANTICS","PTO-SCALAR-ADD","PTO-SCALAR-ADDI","PTO-SCALAR-ADDIW","PTO-SCALAR-ADDW","PTO-SCALAR-AND","PTO-SCALAR-ANDI","PTO-SCALAR-ANDIW","PTO-SCALAR-ANDW","PTO-SCALAR-BCNT","PTO-SCALAR-BIC","PTO-SCALAR-BIS","PTO-SCALAR-BXS","PTO-SCALAR-BXU","PTO-SCALAR-C-ADD","PTO-SCALAR-C-ADDI","PTO-SCALAR-C-AND","PTO-SCALAR-C-MOVI","PTO-SCALAR-C-MOVR","PTO-SCALAR-C-OR","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-SUB","PTO-SCALAR-C-ZEXT-B","PTO-SCALAR-C-ZEXT-H","PTO-SCALAR-C-ZEXT-W","PTO-SCALAR-CLZ","PTO-SCALAR-CSEL","PTO-SCALAR-CTZ","PTO-SCALAR-DIV","PTO-SCALAR-DIVU","PTO-SCALAR-DIVUW","PTO-SCALAR-DIVW","PTO-SCALAR-HL-ADDI","PTO-SCALAR-HL-ADDIW","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-LIU","PTO-SCALAR-HL-LUI","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-REM","PTO-SCALAR-HL-REMU","PTO-SCALAR-HL-REMUW","PTO-SCALAR-HL-REMW","PTO-SCALAR-HL-SUBI","PTO-SCALAR-HL-SUBIW","PTO-SCALAR-HL-XORI","PTO-SCALAR-HL-XORIW","PTO-SCALAR-LUI","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-REM","PTO-SCALAR-REMU","PTO-SCALAR-REMUW","PTO-SCALAR-REMW","PTO-SCALAR-REV","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-SUB","PTO-SCALAR-SUBI","PTO-SCALAR-SUBIW","PTO-SCALAR-SUBW","PTO-SCALAR-XOR","PTO-SCALAR-XORI","PTO-SCALAR-XORIW","PTO-SCALAR-XORW"]}2func ExecuteDecodedBinary(instruction: bits(48),3                          form: integer {0..PTO_SCALAR_FORM_COUNT-1},4                          operation: ScalarBinaryOperation,5                          logical_family: boolean, word_operation: boolean)6begin7    let destination = ScalarDecodedSelector(instruction, form, ScalarField_RegDst);8    let left = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL);9    let unmodified_right = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR);10    let modifier = ScalarDecodedBinaryRightModifier(instruction, form);11    let shift_amount = ScalarDecodedUInt6(instruction, form, ScalarField_shamt);12    let right = PrepareScalarRight(unmodified_right, modifier, shift_amount, logical_family);13    let result = if word_operation then ScalarBinaryW(operation, left, right)14                 else ScalarBinary(operation, left, right);15    WriteScalarDestination(destination, result);16end;17
18func ExecuteDecodedImmediateBinary(instruction: bits(48),19                                   form: integer {0..PTO_SCALAR_FORM_COUNT-1},20                                   operation: ScalarBinaryOperation,21                                   immediate_field: ScalarOperandField,22                                   word_operation: boolean)23begin24    let destination = ScalarDecodedSelector(instruction, form, ScalarField_RegDst);25    let left = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL);26    let right = ScalarDecodedWord(instruction, form, immediate_field);27    let result = if word_operation then ScalarBinaryW(operation, left, right)28                 else ScalarBinary(operation, left, right);29    WriteScalarDestination(destination, result);30end;31
32func ExecuteDecodedSimpleBinary(instruction: bits(48),33                                form: integer {0..PTO_SCALAR_FORM_COUNT-1},34                                operation: ScalarBinaryOperation,35                                word_operation: boolean)36begin37    let destination = ScalarDecodedSelector(instruction, form, ScalarField_RegDst);38    let left = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL);39    let right = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR);40    let result = if word_operation then ScalarBinaryW(operation, left, right)41                 else ScalarBinary(operation, left, right);42    WriteScalarDestination(destination, result);43end;44
45func ExecuteDecodedShiftImmediate(instruction: bits(48),46                                  form: integer {0..PTO_SCALAR_FORM_COUNT-1},47                                  operation: ScalarBinaryOperation,48                                  word_operation: boolean)49begin50    let destination = ScalarDecodedSelector(instruction, form, ScalarField_RegDst);51    let left = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL);52    let amount = ScalarDecodedWord(instruction, form, ScalarField_shamt);53    let result = if word_operation then ScalarBinaryW(operation, left, amount)54                 else ScalarBinary(operation, left, amount);55    WriteScalarDestination(destination, result);56end;57
58func ExecuteDecodedCompressedBinary(instruction: bits(48),59                                    form: integer {0..PTO_SCALAR_FORM_COUNT-1},60                                    operation: ScalarBinaryOperation)61begin62    let left = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL);63    let right = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR);64    WriteCompressedTResult(ScalarBinary(operation, left, right));65end;66
67func ExecuteDecodedALUForm(instruction: bits(48),68                           form: integer {0..PTO_SCALAR_FORM_COUNT-1})69begin70    let operation = ScalarOperationOfForm(form);71    case operation of72        when ScalarOperation_ADD =>73            ExecuteDecodedBinary(instruction, form, ScalarBinary_ADD, FALSE, FALSE);74        when ScalarOperation_ADDW =>75            ExecuteDecodedBinary(instruction, form, ScalarBinary_ADD, FALSE, TRUE);76        when ScalarOperation_AND =>77            ExecuteDecodedBinary(instruction, form, ScalarBinary_AND, TRUE, FALSE);78        when ScalarOperation_ANDW =>79            ExecuteDecodedBinary(instruction, form, ScalarBinary_AND, TRUE, TRUE);80        when ScalarOperation_OR =>81            ExecuteDecodedBinary(instruction, form, ScalarBinary_OR, TRUE, FALSE);82        when ScalarOperation_ORW =>83            ExecuteDecodedBinary(instruction, form, ScalarBinary_OR, TRUE, TRUE);84        when ScalarOperation_SUB =>85            ExecuteDecodedBinary(instruction, form, ScalarBinary_SUB, FALSE, FALSE);86        when ScalarOperation_SUBW =>87            ExecuteDecodedBinary(instruction, form, ScalarBinary_SUB, FALSE, TRUE);88        when ScalarOperation_XOR =>89            ExecuteDecodedBinary(instruction, form, ScalarBinary_XOR, TRUE, FALSE);90        when ScalarOperation_XORW =>91            ExecuteDecodedBinary(instruction, form, ScalarBinary_XOR, TRUE, TRUE);92
93        when ScalarOperation_ADDI =>94            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_ADD,95                ScalarField_uimm12, FALSE);96        when ScalarOperation_ADDIW =>97            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_ADD,98                ScalarField_uimm12, TRUE);99        when ScalarOperation_ANDI =>100            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_AND,101                ScalarField_simm12, FALSE);102        when ScalarOperation_ANDIW =>103            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_AND,104                ScalarField_simm12, TRUE);105        when ScalarOperation_ORI =>106            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_OR,107                ScalarField_simm12, FALSE);108        when ScalarOperation_ORIW =>109            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_OR,110                ScalarField_simm12, TRUE);111        when ScalarOperation_SUBI =>112            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_SUB,113                ScalarField_uimm12, FALSE);114        when ScalarOperation_SUBIW =>115            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_SUB,116                ScalarField_uimm12, TRUE);117        when ScalarOperation_XORI =>118            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_XOR,119                ScalarField_simm12, FALSE);120        when ScalarOperation_XORIW =>121            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_XOR,122                ScalarField_simm12, TRUE);123
124        when ScalarOperation_HL_ADDI =>125            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_ADD,126                ScalarField_uimm24, FALSE);127        when ScalarOperation_HL_ADDIW =>128            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_ADD,129                ScalarField_uimm24, TRUE);130        when ScalarOperation_HL_ANDI =>131            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_AND,132                ScalarField_simm24, FALSE);133        when ScalarOperation_HL_ANDIW =>134            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_AND,135                ScalarField_simm24, TRUE);136        when ScalarOperation_HL_ORI =>137            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_OR,138                ScalarField_simm24, FALSE);139        when ScalarOperation_HL_ORIW =>140            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_OR,141                ScalarField_simm24, TRUE);142        when ScalarOperation_HL_SUBI =>143            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_SUB,144                ScalarField_uimm24, FALSE);145        when ScalarOperation_HL_SUBIW =>146            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_SUB,147                ScalarField_uimm24, TRUE);148        when ScalarOperation_HL_XORI =>149            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_XOR,150                ScalarField_simm24, FALSE);151        when ScalarOperation_HL_XORIW =>152            ExecuteDecodedImmediateBinary(instruction, form, ScalarBinary_XOR,153                ScalarField_simm24, TRUE);154
155        when ScalarOperation_C_ADD =>156            ExecuteDecodedCompressedBinary(instruction, form, ScalarBinary_ADD);157        when ScalarOperation_C_AND =>158            ExecuteDecodedCompressedBinary(instruction, form, ScalarBinary_AND);159        when ScalarOperation_C_OR =>160            ExecuteDecodedCompressedBinary(instruction, form, ScalarBinary_OR);161        when ScalarOperation_C_SUB =>162            ExecuteDecodedCompressedBinary(instruction, form, ScalarBinary_SUB);163        when ScalarOperation_C_ADDI =>164            WriteCompressedTResult(ScalarBinary(ScalarBinary_ADD,165                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),166                ScalarDecodedWord(instruction, form, ScalarField_simm5)));167        when ScalarOperation_C_SLLI =>168            WriteCompressedTResult(ScalarBinary(ScalarBinary_SLL,169                ReadScalarRegisterOperand(24),170                ScalarDecodedWord(instruction, form, ScalarField_uimm5)));171        when ScalarOperation_C_SRLI =>172            WriteCompressedTResult(ScalarBinary(ScalarBinary_SRL,173                ReadScalarRegisterOperand(24),174                ScalarDecodedWord(instruction, form, ScalarField_uimm5)));175
176        when ScalarOperation_SLL =>177            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_SLL, FALSE);178        when ScalarOperation_SLLW =>179            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_SLL, TRUE);180        when ScalarOperation_SRL =>181            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_SRL, FALSE);182        when ScalarOperation_SRLW =>183            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_SRL, TRUE);184        when ScalarOperation_SRA =>185            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_SRA, FALSE);186        when ScalarOperation_SRAW =>187            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_SRA, TRUE);188        when ScalarOperation_SLLI =>189            ExecuteDecodedShiftImmediate(instruction, form, ScalarBinary_SLL, FALSE);190        when ScalarOperation_SLLIW =>191            ExecuteDecodedShiftImmediate(instruction, form, ScalarBinary_SLL, TRUE);192        when ScalarOperation_SRLI =>193            ExecuteDecodedShiftImmediate(instruction, form, ScalarBinary_SRL, FALSE);194        when ScalarOperation_SRLIW =>195            ExecuteDecodedShiftImmediate(instruction, form, ScalarBinary_SRL, TRUE);196        when ScalarOperation_SRAI =>197            ExecuteDecodedShiftImmediate(instruction, form, ScalarBinary_SRA, FALSE);198        when ScalarOperation_SRAIW =>199            ExecuteDecodedShiftImmediate(instruction, form, ScalarBinary_SRA, TRUE);200
201        when ScalarOperation_MAX =>202            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_MAX, FALSE);203        when ScalarOperation_MAXU =>204            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_MAXU, FALSE);205        when ScalarOperation_MIN =>206            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_MIN, FALSE);207        when ScalarOperation_MINU =>208            ExecuteDecodedSimpleBinary(instruction, form, ScalarBinary_MINU, FALSE);209
210        when ScalarOperation_DIV =>211            WriteScalarDestination(212                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),213                ScalarDivideSigned(214                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),215                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));216        when ScalarOperation_DIVU =>217            WriteScalarDestination(218                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),219                ScalarDivideUnsigned(220                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),221                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));222        when ScalarOperation_DIVW =>223            WriteScalarDestination(224                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),225                ScalarDivideSignedW(226                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),227                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));228        when ScalarOperation_DIVUW =>229            WriteScalarDestination(230                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),231                ScalarDivideUnsignedW(232                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),233                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));234        when ScalarOperation_REM =>235            WriteScalarDestination(236                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),237                ScalarRemainderSigned(238                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),239                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));240        when ScalarOperation_REMU =>241            WriteScalarDestination(242                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),243                ScalarRemainderUnsigned(244                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),245                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));246        when ScalarOperation_REMW =>247            WriteScalarDestination(248                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),249                ScalarRemainderSignedW(250                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),251                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));252        when ScalarOperation_REMUW =>253            WriteScalarDestination(254                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),255                ScalarRemainderUnsignedW(256                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),257                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));258
259        when ScalarOperation_MUL, ScalarOperation_MULU =>260            WriteScalarDestination(261                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),262                MultiplyWord(263                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),264                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));265        when ScalarOperation_MULW, ScalarOperation_MULUW =>266            WriteScalarDestination(267                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),268                ScalarMultiplyW(269                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),270                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));271        when ScalarOperation_MADD =>272            WriteScalarDestination(273                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),274                ScalarMultiplyAdd(275                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcD),276                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),277                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));278        when ScalarOperation_MADDW =>279            WriteScalarDestination(280                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),281                ScalarMultiplyAddW(282                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcD),283                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),284                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR)));285
286        when ScalarOperation_HL_MUL =>287            ExecuteScalarMultiplyPair(288                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),289                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),290                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),291                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR), TRUE);292        when ScalarOperation_HL_MULU =>293            ExecuteScalarMultiplyPair(294                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),295                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),296                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),297                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR), FALSE);298        when ScalarOperation_HL_MADD, ScalarOperation_HL_MADDW =>299            ExecuteScalarMultiplyAddPair(300                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),301                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),302                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcD),303                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),304                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),305                operation == ScalarOperation_HL_MADDW);306
307        when ScalarOperation_HL_DIV, ScalarOperation_HL_DIVU =>308            ExecuteScalarDividePair(309                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),310                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),311                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),312                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),313                operation == ScalarOperation_HL_DIV);314        when ScalarOperation_HL_REM, ScalarOperation_HL_REMU =>315            ExecuteScalarRemainderPair(316                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),317                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),318                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),319                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),320                operation == ScalarOperation_HL_REM);321        when ScalarOperation_HL_DIVW, ScalarOperation_HL_DIVUW =>322            ExecuteScalarDividePairW(323                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),324                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),325                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),326                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),327                operation == ScalarOperation_HL_DIVW);328        when ScalarOperation_HL_REMW, ScalarOperation_HL_REMUW =>329            ExecuteScalarRemainderPairW(330                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),331                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),332                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),333                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),334                operation == ScalarOperation_HL_REMW);335
336        when ScalarOperation_HL_CCAT =>337            ExecuteConcatenatePair(338                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),339                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),340                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),341                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),342                ScalarDecodedUInt7(instruction, form, ScalarField_shamt));343        when ScalarOperation_HL_CCATW =>344            ExecuteConcatenatePairW(345                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),346                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),347                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),348                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),349                ScalarDecodedUInt7(instruction, form, ScalarField_shamt));350
351        when ScalarOperation_HL_MIADD, ScalarOperation_HL_MISUB =>352            WriteScalarDestination(353                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),354                ScalarMultiplyImmediateAdd(355                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),356                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),357                    ScalarDecodedBits19(instruction, form, ScalarField_uimm19),358                    operation == ScalarOperation_HL_MISUB));359
360        when ScalarOperation_BXS, ScalarOperation_BXU =>361            WriteScalarDestination(362                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),363                ExtractBitfield(364                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),365                    ScalarDecodedBitfieldWidth(instruction, form),366                    ScalarDecodedUInt6(instruction, form, ScalarField_imms),367                    operation == ScalarOperation_BXS));368        when ScalarOperation_CLZ, ScalarOperation_CTZ, ScalarOperation_BCNT =>369            WriteScalarDestination(370                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),371                CountBitfield(372                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),373                    ScalarDecodedBitfieldWidth(instruction, form),374                    ScalarDecodedUInt6(instruction, form, ScalarField_imms),375                    operation == ScalarOperation_CLZ,376                    operation == ScalarOperation_BCNT));377        when ScalarOperation_BIC, ScalarOperation_BIS =>378            WriteScalarDestination(379                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),380                ModifyBitfield(381                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),382                    ScalarDecodedBitfieldWidth(instruction, form),383                    ScalarDecodedUInt6(instruction, form, ScalarField_imms),384                    operation == ScalarOperation_BIS));385        when ScalarOperation_REV =>386            WriteScalarDestination(387                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),388                ReverseBitfieldBytes(389                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),390                    ScalarDecodedBitfieldWidth(instruction, form),391                    ScalarDecodedUInt6(instruction, form, ScalarField_immr)));392        when ScalarOperation_HL_BFI =>393            WriteScalarDestination(394                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),395                InsertBitfield(396                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),397                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),398                    ScalarDecodedUInt6(instruction, form, ScalarField_immr),399                    ScalarDecodedUInt6(instruction, form, ScalarField_imms)));400
401        when ScalarOperation_CSEL =>402            WriteScalarDestination(403                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),404                ScalarConditionalSelect(405                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcP),406                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),407                    ApplySelectModifier(408                        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),409                        ScalarDecodedSelectRightModifier(instruction, form))));410
411        when ScalarOperation_LUI =>412            WriteScalarDestination(413                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),414                MaterializeLUI(ScalarDecodedBits20(instruction, form, ScalarField_imm20)));415        when ScalarOperation_HL_LUI =>416            WriteScalarDestination(417                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),418                MaterializeLongUpper(ScalarDecodedBits32(instruction, form, ScalarField_imm)));419        when ScalarOperation_HL_LIS =>420            WriteScalarDestination(421                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),422                MaterializeLongSigned(ScalarDecodedBits32(instruction, form, ScalarField_simm32)));423        when ScalarOperation_HL_LIU =>424            WriteScalarDestination(425                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),426                MaterializeLongUnsigned(ScalarDecodedBits32(instruction, form, ScalarField_uimm32)));427        when ScalarOperation_C_MOVI =>428            WriteScalarDestination(429                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),430                MoveScalarValue(431                    ScalarDecodedWord(instruction, form, ScalarField_simm5)));432        when ScalarOperation_C_MOVR =>433            WriteScalarDestination(434                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),435                MoveScalarValue(436                    ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL)));437
438        when ScalarOperation_C_SEXT_B, ScalarOperation_C_ZEXT_B =>439            WriteCompressedTResult(ExtendScalarValue(440                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL), 8,441                operation == ScalarOperation_C_SEXT_B));442        when ScalarOperation_C_SEXT_H, ScalarOperation_C_ZEXT_H =>443            WriteCompressedTResult(ExtendScalarValue(444                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL), 16,445                operation == ScalarOperation_C_SEXT_H));446        when ScalarOperation_C_SEXT_W, ScalarOperation_C_ZEXT_W =>447            WriteCompressedTResult(ExtendScalarValue(448                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL), 32,449                operation == ScalarOperation_C_SEXT_W));450        when ScalarOperation_C_SETC_TGT =>451            SetCompressedCommitTarget(ReadDecodedScalarRegister(452                instruction,453                form,454                ScalarField_SrcL));455        when ScalarOperation_C_SETRET =>456            SetReturnAddress(ScalarDecodedWord(instruction, form, ScalarField_uimm5));457
458        otherwise => unreachable;459    end;460end;461

Architecture behavior

This internal model unit is documented through its normative ASL/NDF owners and validation evidence; it has no reader-guide migration target.

NDF clauses

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

No NDF clause is attached to this unit.

Evidence index

8 matching entries

Executable evidence3

Covers Canonical Scalar ALU Effects.
1. surfaceSCALAR
2. ownerPTO-SCALAR-MODEL-DISPATCH-ALU
3. categoryEXECUTION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-SCALAR-ALU-EFFECTS-001
Path
tests/asl/scalar/model/dispatch/alu/scalar-exec-effects-001.asl
Kind / role
execution
Pass condition
ValidateCanonicalScalarALUEffects completes without assertion failure
SHA-256
de81611b7012ecad41d811341bffe888965596db96c5454f7bca3f7937e3ddc9
Open exact source ↗ for PTO-AVS-SCALAR-ALU-EFFECTS-001
Covers Canonical Scalar ALU Totality.
1. surfaceSCALAR
2. ownerPTO-SCALAR-MODEL-DISPATCH-ALU
3. categoryBOUNDARY
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-SCALAR-ALU-TOTALITY-001
Path
tests/asl/scalar/model/dispatch/alu/scalar-bound-totality-001.asl
Kind / role
boundary
Pass condition
ValidateCanonicalScalarALUTotality completes without assertion failure
SHA-256
064560543187f75a5b4d9d122fa9046edccf8538d3d1ae1f42ab536071fd1768
Open exact source ↗ for PTO-AVS-SCALAR-ALU-TOTALITY-001
PTO-SCALAR-MODEL-DISPATCH-ALU compiles as an independent normative unit
1. surfaceSCALAR
2. ownerPTO-SCALAR-MODEL-DISPATCH-ALU
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-SCALAR-MODEL-DISPATCH-ALU-STATIC-001
Path
tests/asl/scalar/model/dispatch/alu/scalar-static-alu-contract-001.asl
Kind / role
static-invariant
Pass condition
the complete model and this unit's static invariant compile
SHA-256
6fe7017a432cbb87e0e8ae4b44b0c81e1511decf4ffdd7c7a83c932fc1bd3bc9
Open exact source ↗ for PTO-AVS-SCALAR-MODEL-DISPATCH-ALU-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

Unit metadata

Open 4 generated metadata fields

id: PTO-SCALAR-MODEL-DISPATCH-ALU
surface: scalar
classification: [ "model", "dispatch", "alu" ]
depends_on: [ "PTO-SCALAR-MODEL-DISPATCH-DECODE", "PTO-SCALAR-MODEL-ALU-SEMANTICS", "PTO-SCALAR-ADD", "PTO-SCALAR-ADDI", "PTO-SCALAR-ADDIW", "PTO-SCALAR-ADDW", "PTO-SCALAR-AND", "PTO-SCALAR-ANDI", "PTO-SCALAR-ANDIW", "PTO-SCALAR-ANDW", "PTO-SCALAR-BCNT", "PTO-SCALAR-BIC", "PTO-SCALAR-BIS", "PTO-SCALAR-BXS", "PTO-SCALAR-BXU", "PTO-SCALAR-C-ADD", "PTO-SCALAR-C-ADDI", "PTO-SCALAR-C-AND", "PTO-SCALAR-C-MOVI", "PTO-SCALAR-C-MOVR", "PTO-SCALAR-C-OR", "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-SUB", "PTO-SCALAR-C-ZEXT-B", "PTO-SCALAR-C-ZEXT-H", "PTO-SCALAR-C-ZEXT-W", "PTO-SCALAR-CLZ", "PTO-SCALAR-CSEL", "PTO-SCALAR-CTZ", "PTO-SCALAR-DIV", "PTO-SCALAR-DIVU", "PTO-SCALAR-DIVUW", "PTO-SCALAR-DIVW", "PTO-SCALAR-HL-ADDI", "PTO-SCALAR-HL-ADDIW", "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-LIU", "PTO-SCALAR-HL-LUI", "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-REM", "PTO-SCALAR-HL-REMU", "PTO-SCALAR-HL-REMUW", "PTO-SCALAR-HL-REMW", "PTO-SCALAR-HL-SUBI", "PTO-SCALAR-HL-SUBIW", "PTO-SCALAR-HL-XORI", "PTO-SCALAR-HL-XORIW", "PTO-SCALAR-LUI", "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-REM", "PTO-SCALAR-REMU", "PTO-SCALAR-REMUW", "PTO-SCALAR-REMW", "PTO-SCALAR-REV", "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-SUB", "PTO-SCALAR-SUBI", "PTO-SCALAR-SUBIW", "PTO-SCALAR-SUBW", "PTO-SCALAR-XOR", "PTO-SCALAR-XORI", "PTO-SCALAR-XORIW", "PTO-SCALAR-XORW" ]

Open generated traceability record

{
  "classification": [
    "model",
    "dispatch",
    "alu"
  ],
  "documentation": "docs/scalar/model/dispatch/alu.md",
  "id": "PTO-SCALAR-MODEL-DISPATCH-ALU",
  "mnemonic": null,
  "readiness_subjects": [],
  "semantic_tests": [
    "PTO-AVS-SCALAR-ALU-EFFECTS-001",
    "PTO-AVS-SCALAR-ALU-TOTALITY-001"
  ],
  "source": "asl/scalar/model/dispatch/alu.asl",
  "surface": "scalar",
  "tests": [
    "PTO-AVS-SCALAR-ALU-EFFECTS-001",
    "PTO-AVS-SCALAR-ALU-TOTALITY-001",
    "PTO-AVS-SCALAR-MODEL-DISPATCH-ALU-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/scalar/model/dispatch/alu.asl
ASL SHA-256: aae66b82e868949861a1a93427ac9a35091d4ad339ed4535b500b0a1fc408c45
Generated documentation: docs/scalar/model/dispatch/alu.md · embedded in this page
Documentation SHA-256: 657ec080cd7b1af7c86989e8280f0cef5abd9b121493286fd83e9b71b7904f19

Exact owners

ASL PTO-SCALAR-MODEL-DISPATCH-ALU asl/scalar/model/dispatch/alu.asl