PTO-SCALAR-MODEL-DISPATCH-SYS

1// PTO-UNIT: {"id":"PTO-SCALAR-MODEL-DISPATCH-SYS","surface":"scalar","classification":["model","dispatch","sys"],"depends_on":["PTO-SCALAR-MODEL-DISPATCH-DECODE","PTO-SCALAR-MODEL-SYS-REGISTERS","PTO-SCALAR-ACRC","PTO-SCALAR-ACRE","PTO-SCALAR-ASSERT","PTO-SCALAR-BC-IALL","PTO-SCALAR-BC-IVA","PTO-SCALAR-BSE","PTO-SCALAR-BWE","PTO-SCALAR-BWI","PTO-SCALAR-BWT","PTO-SCALAR-C-EBREAK","PTO-SCALAR-C-SSRGET","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-EBREAK","PTO-SCALAR-FENCE-D","PTO-SCALAR-FENCE-I","PTO-SCALAR-HL-SSRGET","PTO-SCALAR-HL-SSRSET","PTO-SCALAR-IC-IALL","PTO-SCALAR-IC-IVA","PTO-SCALAR-LSRGET","PTO-SCALAR-SETC-TGT","PTO-SCALAR-SSRGET","PTO-SCALAR-SSRSET","PTO-SCALAR-SSRSWAP","PTO-SCALAR-TLB-IA","PTO-SCALAR-TLB-IALL","PTO-SCALAR-TLB-IAV","PTO-SCALAR-TLB-IV"]}2func ExecuteDecodedSYSForm(instruction: bits(48),3                           form: integer {0..PTO_SCALAR_FORM_COUNT-1})4begin5    let operation = ScalarOperationOfForm(form);6    case operation of7        when ScalarOperation_ACRC =>8            ArchitectureCloseRequest(ScalarDecodedBits4(9                instruction, form, ScalarField_RST_Type));10        when ScalarOperation_ACRE =>11            ArchitectureEnterRequest(ScalarDecodedBits4(12                instruction, form, ScalarField_RRA_Type));13        when ScalarOperation_ASSERT =>14            ArchitectureAssert(ReadDecodedScalarRegister(15                instruction, form, ScalarField_SrcL));16
17        when ScalarOperation_BC_IALL =>18            ExecuteMaintenance(Maintenance_BC_IALL, Zeros{PTO_XLEN});19        when ScalarOperation_BC_IVA =>20            ExecuteMaintenance(Maintenance_BC_IVA, ReadDecodedScalarRegister(21                instruction, form, ScalarField_SrcL));22        when ScalarOperation_DC_IALL =>23            ExecuteMaintenance(Maintenance_DC_IALL, Zeros{PTO_XLEN});24        when ScalarOperation_DC_IVA =>25            ExecuteMaintenance(Maintenance_DC_IVA, ReadDecodedScalarRegister(26                instruction, form, ScalarField_SrcL));27        when ScalarOperation_DC_ISW =>28            ExecuteMaintenance(Maintenance_DC_ISW, ReadDecodedScalarRegister(29                instruction, form, ScalarField_SrcL));30        when ScalarOperation_DC_ZVA =>31            ExecuteMaintenance(Maintenance_DC_ZVA, ReadDecodedScalarRegister(32                instruction, form, ScalarField_SrcL));33        when ScalarOperation_DC_CVA =>34            ExecuteMaintenance(Maintenance_DC_CVA, ReadDecodedScalarRegister(35                instruction, form, ScalarField_SrcL));36        when ScalarOperation_DC_CIVA =>37            ExecuteMaintenance(Maintenance_DC_CIVA, ReadDecodedScalarRegister(38                instruction, form, ScalarField_SrcL));39        when ScalarOperation_DC_CSW =>40            ExecuteMaintenance(Maintenance_DC_CSW, ReadDecodedScalarRegister(41                instruction, form, ScalarField_SrcL));42        when ScalarOperation_DC_CISW =>43            ExecuteMaintenance(Maintenance_DC_CISW, ReadDecodedScalarRegister(44                instruction, form, ScalarField_SrcL));45        when ScalarOperation_IC_IALL =>46            ExecuteMaintenance(Maintenance_IC_IALL, Zeros{PTO_XLEN});47        when ScalarOperation_IC_IVA =>48            ExecuteMaintenance(Maintenance_IC_IVA, ReadDecodedScalarRegister(49                instruction, form, ScalarField_SrcL));50        when ScalarOperation_TLB_IV =>51            ExecuteMaintenance(Maintenance_TLB_IV, ReadDecodedScalarRegister(52                instruction, form, ScalarField_SrcL));53        when ScalarOperation_TLB_IAV =>54            ExecuteMaintenance(Maintenance_TLB_IAV, ReadDecodedScalarRegister(55                instruction, form, ScalarField_SrcL));56        when ScalarOperation_TLB_IA =>57            ExecuteMaintenance(Maintenance_TLB_IA, ReadDecodedScalarRegister(58                instruction, form, ScalarField_SrcL));59        when ScalarOperation_TLB_IALL =>60            ExecuteMaintenance(Maintenance_TLB_IALL, Zeros{PTO_XLEN});61
62        when ScalarOperation_BSE =>63            ExecuteControlRequest(ExecutionControl_SendEvent,64                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL));65        when ScalarOperation_BWE =>66            ExecuteControlRequest(ExecutionControl_WaitEvent,67                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL));68        when ScalarOperation_BWI =>69            ExecuteControlRequest(ExecutionControl_WaitInterrupt,70                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL));71        when ScalarOperation_BWT =>72            ExecuteControlRequest(ExecutionControl_WaitTimeout,73                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL));74
75        when ScalarOperation_C_EBREAK =>76            SoftwareBreakpoint(ScalarDecodedBits5(77                instruction, form, ScalarField_imm5));78        when ScalarOperation_EBREAK =>79            SoftwareBreakpoint(ZeroExtend{5}(ScalarDecodedBits4(80                instruction, form, ScalarField_imm4)));81        when ScalarOperation_FENCE_D =>82            FenceData(83                ScalarDecodedBits4(instruction, form, ScalarField_PRED_IMM),84                ScalarDecodedBits4(instruction, form, ScalarField_SUCC_IMM));85        when ScalarOperation_FENCE_I => FenceInstruction();86
87        when ScalarOperation_C_SSRGET =>88            ExecuteCompressedSystemRegisterGet(89                ScalarDecodedSystemRegisterAddress(90                    instruction, form, ScalarField_SSRID));91        when ScalarOperation_HL_SSRGET =>92            ExecuteSystemRegisterGet(93                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),94                ScalarDecodedSystemRegisterAddress(95                    instruction, form, ScalarField_SSR_ID));96        when ScalarOperation_HL_SSRSET =>97            ExecuteSystemRegisterSet(98                ScalarDecodedSelector(instruction, form, ScalarField_SrcL),99                ScalarDecodedSystemRegisterAddress(100                    instruction, form, ScalarField_SSR_ID));101        when ScalarOperation_LSRGET =>102            ExecuteLocalStateRegisterGet(103                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),104                DecodeScalarOperandRaw(105                    instruction, form, ScalarField_LSR_ID)[11:0]);106        when ScalarOperation_SSRGET =>107            ExecuteSystemRegisterGet(108                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),109                ScalarDecodedSystemRegisterAddress(110                    instruction, form, ScalarField_SSR_ID));111        when ScalarOperation_SSRSET =>112            ExecuteSystemRegisterSet(113                ScalarDecodedSelector(instruction, form, ScalarField_SrcL),114                ScalarDecodedSystemRegisterAddress(115                    instruction, form, ScalarField_SSR_ID));116        when ScalarOperation_SSRSWAP =>117            ExecuteSystemRegisterSwap(118                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),119                ScalarDecodedSelector(instruction, form, ScalarField_SrcL),120                ScalarDecodedSystemRegisterAddress(121                    instruction, form, ScalarField_SSR_ID));122        when ScalarOperation_SETC_TGT =>123            SetCommitTarget(ReadDecodedScalarRegister(124                instruction, form, ScalarField_SrcL));125        otherwise => unreachable;126    end;127end;128