页面框架已切换为简体中文。尚未完成本地化的交互标签暂时使用英文；ASL/NDF 源、稳定标识和证据在所有语言中保持原文。

PTO-SCALAR-MODEL-DISPATCH-BRU

PTO-SCALAR-MODEL-DISPATCH-BRU

ASL 伪代码

下面直接显示完整的 ASL 所有者。

1// PTO-UNIT: {"id":"PTO-SCALAR-MODEL-DISPATCH-BRU","surface":"scalar","classification":["model","dispatch","bru"],"depends_on":["PTO-SCALAR-MODEL-DISPATCH-DECODE","PTO-SCALAR-MODEL-BRU-SEMANTICS","PTO-SCALAR-ADDTPC","PTO-SCALAR-C-CMP-EQI","PTO-SCALAR-C-CMP-NEI","PTO-SCALAR-C-SETC-EQ","PTO-SCALAR-C-SETC-NE","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-HL-ADDTPC","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-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-J","PTO-SCALAR-JR","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-SETRET"]}2pure func ScalarConditionForOperation(operation: ScalarOperation) => ScalarCondition3begin4    case operation of5        when ScalarOperation_C_CMP_EQI,6             ScalarOperation_C_SETC_EQ, ScalarOperation_CMP_EQ,7             ScalarOperation_CMP_EQI, ScalarOperation_HL_CMP_EQI,8             ScalarOperation_HL_SETC_EQI, ScalarOperation_SETC_EQ,9             ScalarOperation_SETC_EQI => return ScalarCondition_EQ;10        when ScalarOperation_C_CMP_NEI,11             ScalarOperation_C_SETC_NE, ScalarOperation_CMP_NE,12             ScalarOperation_CMP_NEI, ScalarOperation_HL_CMP_NEI,13             ScalarOperation_HL_SETC_NEI, ScalarOperation_SETC_NE,14             ScalarOperation_SETC_NEI => return ScalarCondition_NE;15        when ScalarOperation_CMP_LT,16             ScalarOperation_CMP_LTI, ScalarOperation_HL_CMP_LTI,17             ScalarOperation_HL_SETC_LTI, ScalarOperation_SETC_LT,18             ScalarOperation_SETC_LTI => return ScalarCondition_LT;19        when ScalarOperation_CMP_GE,20             ScalarOperation_CMP_GEI, ScalarOperation_HL_CMP_GEI,21             ScalarOperation_HL_SETC_GEI, ScalarOperation_SETC_GE,22             ScalarOperation_SETC_GEI => return ScalarCondition_GE;23        when ScalarOperation_CMP_LTU,24             ScalarOperation_CMP_LTUI, ScalarOperation_HL_CMP_LTUI,25             ScalarOperation_HL_SETC_LTUI, ScalarOperation_SETC_LTU,26             ScalarOperation_SETC_LTUI => return ScalarCondition_LTU;27        when ScalarOperation_CMP_GEU,28             ScalarOperation_CMP_GEUI, ScalarOperation_HL_CMP_GEUI,29             ScalarOperation_HL_SETC_GEUI, ScalarOperation_SETC_GEU,30             ScalarOperation_SETC_GEUI => return ScalarCondition_GEU;31        otherwise => unreachable;32    end;33end;34
35func ExecuteDecodedCompareRegister(instruction: bits(48),36                                   form: integer {0..PTO_SCALAR_FORM_COUNT-1},37                                   operation: ScalarOperation)38begin39    let right = ApplyRestrictedCompareModifier(40        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),41        ScalarDecodedComparisonRightModifier(instruction, form));42    ExecuteCompare(43        ScalarDecodedSelector(instruction, form, ScalarField_RegDst),44        ScalarConditionForOperation(operation),45        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL), right);46end;47
48func ExecuteDecodedCompareImmediate(instruction: bits(48),49                                    form: integer {0..PTO_SCALAR_FORM_COUNT-1},50                                    operation: ScalarOperation,51                                    immediate_field: ScalarOperandField)52begin53    ExecuteCompare(54        ScalarDecodedSelector(instruction, form, ScalarField_RegDst),55        ScalarConditionForOperation(operation),56        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),57        ScalarDecodedWord(instruction, form, immediate_field));58end;59
60func ExecuteDecodedCompareLogicalRegister(61    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},62    combine_or: boolean)63begin64    let right = ApplyScalarRightModifier(65        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),66        ScalarDecodedComparisonRightModifier(instruction, form), TRUE);67    ExecuteCompareLogical(68        ScalarDecodedSelector(instruction, form, ScalarField_RegDst),69        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),70        right, combine_or);71end;72
73func ExecuteDecodedCompareLogicalImmediate(74    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},75    immediate_field: ScalarOperandField, combine_or: boolean)76begin77    ExecuteCompareLogical(78        ScalarDecodedSelector(instruction, form, ScalarField_RegDst),79        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),80        ScalarDecodedWord(instruction, form, immediate_field), combine_or);81end;82
83func ExecuteDecodedSetCommitRegister(instruction: bits(48),84                                     form: integer {0..PTO_SCALAR_FORM_COUNT-1},85                                     operation: ScalarOperation)86begin87    let right = ApplyRestrictedCompareModifier(88        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),89        ScalarDecodedComparisonRightModifier(instruction, form));90    ExecuteSetCommit(ScalarConditionForOperation(operation),91        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL), right);92end;93
94func ExecuteDecodedSetCommitImmediate(instruction: bits(48),95                                      form: integer {0..PTO_SCALAR_FORM_COUNT-1},96                                      operation: ScalarOperation,97                                      immediate_field: ScalarOperandField)98begin99    let shifted_immediate = LSL(100        ScalarDecodedWord(instruction, form, immediate_field),101        ScalarDecodedUInt6(instruction, form, ScalarField_shamt));102    ExecuteSetCommit(ScalarConditionForOperation(operation),103        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),104        shifted_immediate);105end;106
107func ExecuteDecodedSetCommitLogicalRegister(108    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},109    combine_or: boolean)110begin111    let right = ApplyScalarRightModifier(112        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),113        ScalarDecodedComparisonRightModifier(instruction, form), TRUE);114    ExecuteSetCommitLogical(115        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),116        right, combine_or);117end;118
119func ExecuteDecodedSetCommitLogicalImmediate(120    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},121    immediate_field: ScalarOperandField, combine_or: boolean)122begin123    let shifted_immediate = LSL(124        ScalarDecodedWord(instruction, form, immediate_field),125        ScalarDecodedUInt6(instruction, form, ScalarField_shamt));126    ExecuteSetCommitLogical(127        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),128        shifted_immediate, combine_or);129end;130
131func ExecuteDecodedBRUForm(instruction: bits(48),132                           form: integer {0..PTO_SCALAR_FORM_COUNT-1})133begin134    let operation = ScalarOperationOfForm(form);135    case operation of136        when ScalarOperation_CMP_EQ, ScalarOperation_CMP_NE,137             ScalarOperation_CMP_LT, ScalarOperation_CMP_GE,138             ScalarOperation_CMP_LTU, ScalarOperation_CMP_GEU =>139            ExecuteDecodedCompareRegister(instruction, form, operation);140        when ScalarOperation_CMP_EQI, ScalarOperation_CMP_NEI,141             ScalarOperation_CMP_LTI, ScalarOperation_CMP_GEI =>142            ExecuteDecodedCompareImmediate(instruction, form, operation,143                ScalarField_simm12);144        when ScalarOperation_CMP_LTUI, ScalarOperation_CMP_GEUI =>145            ExecuteDecodedCompareImmediate(instruction, form, operation,146                ScalarField_uimm12);147        when ScalarOperation_HL_CMP_EQI, ScalarOperation_HL_CMP_NEI,148             ScalarOperation_HL_CMP_LTI, ScalarOperation_HL_CMP_GEI =>149            ExecuteDecodedCompareImmediate(instruction, form, operation,150                ScalarField_simm24);151        when ScalarOperation_HL_CMP_LTUI, ScalarOperation_HL_CMP_GEUI =>152            ExecuteDecodedCompareImmediate(instruction, form, operation,153                ScalarField_uimm24);154        when ScalarOperation_CMP_AND =>155            ExecuteDecodedCompareLogicalRegister(instruction, form, FALSE);156        when ScalarOperation_CMP_OR =>157            ExecuteDecodedCompareLogicalRegister(instruction, form, TRUE);158        when ScalarOperation_CMP_ANDI =>159            ExecuteDecodedCompareLogicalImmediate(instruction, form,160                ScalarField_simm12, FALSE);161        when ScalarOperation_CMP_ORI =>162            ExecuteDecodedCompareLogicalImmediate(instruction, form,163                ScalarField_simm12, TRUE);164        when ScalarOperation_HL_CMP_ANDI =>165            ExecuteDecodedCompareLogicalImmediate(instruction, form,166                ScalarField_simm24, FALSE);167        when ScalarOperation_HL_CMP_ORI =>168            ExecuteDecodedCompareLogicalImmediate(instruction, form,169                ScalarField_simm24, TRUE);170
171        when ScalarOperation_C_CMP_EQI, ScalarOperation_C_CMP_NEI =>172            ExecuteCompare(31, ScalarConditionForOperation(operation),173                ReadScalarRegisterOperand(24),174                ScalarDecodedWord(instruction, form, ScalarField_simm5));175
176        when ScalarOperation_SETC_EQ, ScalarOperation_SETC_NE,177             ScalarOperation_SETC_LT, ScalarOperation_SETC_GE,178             ScalarOperation_SETC_LTU, ScalarOperation_SETC_GEU =>179            ExecuteDecodedSetCommitRegister(instruction, form, operation);180        when ScalarOperation_SETC_EQI, ScalarOperation_SETC_NEI,181             ScalarOperation_SETC_LTI, ScalarOperation_SETC_GEI =>182            ExecuteDecodedSetCommitImmediate(instruction, form, operation,183                ScalarField_simm12);184        when ScalarOperation_SETC_LTUI, ScalarOperation_SETC_GEUI =>185            ExecuteDecodedSetCommitImmediate(instruction, form, operation,186                ScalarField_uimm12);187        when ScalarOperation_HL_SETC_EQI, ScalarOperation_HL_SETC_NEI,188             ScalarOperation_HL_SETC_LTI, ScalarOperation_HL_SETC_GEI =>189            ExecuteDecodedSetCommitImmediate(instruction, form, operation,190                ScalarField_simm24);191        when ScalarOperation_HL_SETC_LTUI, ScalarOperation_HL_SETC_GEUI =>192            ExecuteDecodedSetCommitImmediate(instruction, form, operation,193                ScalarField_uimm24);194        when ScalarOperation_SETC_AND =>195            ExecuteDecodedSetCommitLogicalRegister(instruction, form, FALSE);196        when ScalarOperation_SETC_OR =>197            ExecuteDecodedSetCommitLogicalRegister(instruction, form, TRUE);198        when ScalarOperation_SETC_ANDI =>199            ExecuteDecodedSetCommitLogicalImmediate(instruction, form,200                ScalarField_simm12, FALSE);201        when ScalarOperation_SETC_ORI =>202            ExecuteDecodedSetCommitLogicalImmediate(instruction, form,203                ScalarField_simm12, TRUE);204        when ScalarOperation_HL_SETC_ANDI =>205            ExecuteDecodedSetCommitLogicalImmediate(instruction, form,206                ScalarField_simm24, FALSE);207        when ScalarOperation_HL_SETC_ORI =>208            ExecuteDecodedSetCommitLogicalImmediate(instruction, form,209                ScalarField_simm24, TRUE);210        when ScalarOperation_C_SETC_EQ, ScalarOperation_C_SETC_NE =>211            ExecuteSetCommit(ScalarConditionForOperation(operation),212                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),213                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR));214
215        when ScalarOperation_J =>216            JumpRelative(ScalarDecodedWord(instruction, form, ScalarField_simm22));217        when ScalarOperation_JR =>218            JumpRegister(219                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL) +220                LSL(ScalarDecodedWord(instruction, form, ScalarField_simm12), 1));221
222        when ScalarOperation_ADDTPC =>223            AddToPC(ScalarDecodedSelector(instruction, form, ScalarField_RegDst),224                SignExtend{PTO_XLEN}(225                    ScalarDecodedBits20(instruction, form, ScalarField_imm20)));226        when ScalarOperation_HL_ADDTPC =>227            AddToPC(ScalarDecodedSelector(instruction, form, ScalarField_RegDst),228                SignExtend{PTO_XLEN}(229                    ScalarDecodedBits32(instruction, form, ScalarField_imm32)));230        when ScalarOperation_SETRET =>231            SetReturnAddress(ZeroExtend{PTO_XLEN}(232                ScalarDecodedBits20(instruction, form, ScalarField_imm20)));233        when ScalarOperation_HL_SETRET =>234            SetReturnAddress(ZeroExtend{PTO_XLEN}(235                ScalarDecodedBits32(instruction, form, ScalarField_imm32)));236        otherwise => unreachable;237    end;238end;239

架构行为

该内部模型单元不在双语读者指南迁移范围内；请直接阅读本页的 ASL/NDF 所有者与验证证据。

NDF 条款

正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。

No NDF clause is attached to this unit.

Evidence index

6 matching entries

Executable evidence1

PTO-SCALAR-MODEL-DISPATCH-BRU compiles as an independent normative unit
1. surfaceSCALAR
2. ownerPTO-SCALAR-MODEL-DISPATCH-BRU
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-SCALAR-MODEL-DISPATCH-BRU-STATIC-001
Path
tests/asl/scalar/model/dispatch/bru/scalar-static-bru-contract-001.asl
Kind / role
static-invariant
Pass condition
the complete model and this unit's static invariant compile
SHA-256
5960be4542a0a31813171bbada059c9b95ccec5c35941ac73c0abb8ff4257677
Open exact source ↗ for PTO-AVS-SCALAR-MODEL-DISPATCH-BRU-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-BRU
surface: scalar
classification: [ "model", "dispatch", "bru" ]
depends_on: [ "PTO-SCALAR-MODEL-DISPATCH-DECODE", "PTO-SCALAR-MODEL-BRU-SEMANTICS", "PTO-SCALAR-ADDTPC", "PTO-SCALAR-C-CMP-EQI", "PTO-SCALAR-C-CMP-NEI", "PTO-SCALAR-C-SETC-EQ", "PTO-SCALAR-C-SETC-NE", "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-HL-ADDTPC", "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-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-J", "PTO-SCALAR-JR", "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-SETRET" ]

Open generated traceability record

{
  "classification": [
    "model",
    "dispatch",
    "bru"
  ],
  "documentation": "docs/scalar/model/dispatch/bru.md",
  "id": "PTO-SCALAR-MODEL-DISPATCH-BRU",
  "mnemonic": null,
  "readiness_subjects": [],
  "semantic_tests": [],
  "source": "asl/scalar/model/dispatch/bru.asl",
  "surface": "scalar",
  "tests": [
    "PTO-AVS-SCALAR-MODEL-DISPATCH-BRU-STATIC-001"
  ]
}

来源与发布信息

展开 commit、路径、hash、版本和规范所有者

发布: 0.58.5 · 候选发布
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
原始 ASL: asl/scalar/model/dispatch/bru.asl
ASL SHA-256: ff1616fb96e8fa5f6add13f2ce39c54f985d38b558510370dee134cb09d845ee
生成文档: docs/scalar/model/dispatch/bru.md · 已融合到当前页面
文档 SHA-256: 88ba74d99c48603f9fb46f428a06563ffe300375d0e954a2bed9a3e05014f5ac

精确所有者

ASL PTO-SCALAR-MODEL-DISPATCH-BRU asl/scalar/model/dispatch/bru.asl