PTO-SCALAR-MODEL-DISPATCH-AMO

1// PTO-UNIT: {"id":"PTO-SCALAR-MODEL-DISPATCH-AMO","surface":"scalar","classification":["model","dispatch","amo"],"depends_on":["PTO-SCALAR-MODEL-DISPATCH-DECODE","PTO-SCALAR-MODEL-AMO-SEMANTICS","PTO-SCALAR-CASB","PTO-SCALAR-CASD","PTO-SCALAR-CASH","PTO-SCALAR-CASW","PTO-SCALAR-DMA","PTO-SCALAR-HL-CASB","PTO-SCALAR-HL-CASD","PTO-SCALAR-HL-CASH","PTO-SCALAR-HL-CASW","PTO-SCALAR-LD-ADD","PTO-SCALAR-LD-AND","PTO-SCALAR-LD-OR","PTO-SCALAR-LD-SMAX","PTO-SCALAR-LD-SMIN","PTO-SCALAR-LD-UMAX","PTO-SCALAR-LD-UMIN","PTO-SCALAR-LD-XOR","PTO-SCALAR-LR-B","PTO-SCALAR-LR-D","PTO-SCALAR-LR-H","PTO-SCALAR-LR-W","PTO-SCALAR-LW-ADD","PTO-SCALAR-LW-AND","PTO-SCALAR-LW-OR","PTO-SCALAR-LW-SMAX","PTO-SCALAR-LW-SMIN","PTO-SCALAR-LW-UMAX","PTO-SCALAR-LW-UMIN","PTO-SCALAR-LW-XOR","PTO-SCALAR-SC-B","PTO-SCALAR-SC-D","PTO-SCALAR-SC-H","PTO-SCALAR-SC-W","PTO-SCALAR-SD-ADD","PTO-SCALAR-SD-AND","PTO-SCALAR-SD-OR","PTO-SCALAR-SD-SMAX","PTO-SCALAR-SD-SMIN","PTO-SCALAR-SD-UMAX","PTO-SCALAR-SD-UMIN","PTO-SCALAR-SD-XOR","PTO-SCALAR-SW-ADD","PTO-SCALAR-SW-AND","PTO-SCALAR-SW-OR","PTO-SCALAR-SW-SMAX","PTO-SCALAR-SW-SMIN","PTO-SCALAR-SW-UMAX","PTO-SCALAR-SW-UMIN","PTO-SCALAR-SW-XOR","PTO-SCALAR-SWAPB","PTO-SCALAR-SWAPD","PTO-SCALAR-SWAPH","PTO-SCALAR-SWAPW"]}2pure func ScalarAtomicOperationForOperation(operation: ScalarOperation)3        => AtomicOperation4begin5    case operation of6        when ScalarOperation_LD_ADD, ScalarOperation_LW_ADD,7             ScalarOperation_SD_ADD, ScalarOperation_SW_ADD =>8            return Atomic_ADD;9        when ScalarOperation_LD_AND, ScalarOperation_LW_AND,10             ScalarOperation_SD_AND, ScalarOperation_SW_AND =>11            return Atomic_AND;12        when ScalarOperation_LD_OR, ScalarOperation_LW_OR,13             ScalarOperation_SD_OR, ScalarOperation_SW_OR =>14            return Atomic_OR;15        when ScalarOperation_LD_XOR, ScalarOperation_LW_XOR,16             ScalarOperation_SD_XOR, ScalarOperation_SW_XOR =>17            return Atomic_XOR;18        when ScalarOperation_LD_SMIN, ScalarOperation_LW_SMIN,19             ScalarOperation_SD_SMIN, ScalarOperation_SW_SMIN =>20            return Atomic_SMIN;21        when ScalarOperation_LD_SMAX, ScalarOperation_LW_SMAX,22             ScalarOperation_SD_SMAX, ScalarOperation_SW_SMAX =>23            return Atomic_SMAX;24        when ScalarOperation_LD_UMIN, ScalarOperation_LW_UMIN,25             ScalarOperation_SD_UMIN, ScalarOperation_SW_UMIN =>26            return Atomic_UMIN;27        when ScalarOperation_LD_UMAX, ScalarOperation_LW_UMAX,28             ScalarOperation_SD_UMAX, ScalarOperation_SW_UMAX =>29            return Atomic_UMAX;30        otherwise => unreachable;31    end;32end;33
34func ExecuteDecodedLoadReserved(35    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},36    size_bytes: integer {1,2,4,8})37begin38    let old_value = LoadReserved(39        ScalarDecodedAtomicAddress(instruction, form, ScalarField_SrcL),40        size_bytes, ScalarDecodedMemoryOrder(instruction, form));41    if _LastFault == Fault_None then42        WriteScalarDestination(43            ScalarDecodedSelector(instruction, form, ScalarField_RegDst),44            NormalizeAtomicReturn(old_value, size_bytes));45    end;46end;47
48func ExecuteDecodedStoreConditional(49    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},50    size_bytes: integer {1,2,4,8})51begin52    let status = StoreConditional(53        ScalarDecodedAtomicAddress(instruction, form, ScalarField_SrcR),54        size_bytes,55        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),56        ScalarDecodedMemoryOrder(instruction, form));57    if _LastFault == Fault_None then58        WriteScalarDestination(59            ScalarDecodedSelector(instruction, form, ScalarField_RegDst), status);60    end;61end;62
63func ExecuteDecodedAtomicReadModifyWrite(64    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},65    operation: AtomicOperation, size_bytes: integer {1,2,4,8},66    write_result: boolean)67begin68    let old_value = AtomicReadModifyWrite(69        ScalarDecodedAtomicAddress(instruction, form, ScalarField_SrcL),70        size_bytes, operation,71        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),72        ScalarDecodedMemoryOrder(instruction, form));73    if write_result && _LastFault == Fault_None then74        WriteScalarDestination(75            ScalarDecodedSelector(instruction, form, ScalarField_RegDst),76            NormalizeAtomicReturn(old_value, size_bytes));77    end;78end;79
80func ExecuteDecodedCompareAndSwap(81    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},82    size_bytes: integer {1,2,4,8})83begin84    let old_value = CompareAndSwap(85        ScalarDecodedAtomicAddress(instruction, form, ScalarField_SrcL),86        size_bytes,87        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),88        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcD),89        ScalarDecodedMemoryOrder(instruction, form));90    if _LastFault == Fault_None then91        WriteScalarDestination(92            ScalarDecodedSelector(instruction, form, ScalarField_RegDst),93            NormalizeAtomicReturn(old_value, size_bytes));94    end;95end;96
97func ExecuteDecodedAMOForm(instruction: bits(48),98                           form: integer {0..PTO_SCALAR_FORM_COUNT-1})99begin100    let operation = ScalarOperationOfForm(form);101    case operation of102        when ScalarOperation_DMA =>103            ExecuteScalarDMACopy64(104                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),105                ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR));106        when ScalarOperation_LR_B =>107            ExecuteDecodedLoadReserved(instruction, form, 1);108        when ScalarOperation_LR_H =>109            ExecuteDecodedLoadReserved(instruction, form, 2);110        when ScalarOperation_LR_W =>111            ExecuteDecodedLoadReserved(instruction, form, 4);112        when ScalarOperation_LR_D =>113            ExecuteDecodedLoadReserved(instruction, form, 8);114
115        when ScalarOperation_SC_B =>116            ExecuteDecodedStoreConditional(instruction, form, 1);117        when ScalarOperation_SC_H =>118            ExecuteDecodedStoreConditional(instruction, form, 2);119        when ScalarOperation_SC_W =>120            ExecuteDecodedStoreConditional(instruction, form, 4);121        when ScalarOperation_SC_D =>122            ExecuteDecodedStoreConditional(instruction, form, 8);123
124        when ScalarOperation_SWAPB =>125            ExecuteDecodedAtomicReadModifyWrite(126                instruction, form, Atomic_SWAP, 1, TRUE);127        when ScalarOperation_SWAPH =>128            ExecuteDecodedAtomicReadModifyWrite(129                instruction, form, Atomic_SWAP, 2, TRUE);130        when ScalarOperation_SWAPW =>131            ExecuteDecodedAtomicReadModifyWrite(132                instruction, form, Atomic_SWAP, 4, TRUE);133        when ScalarOperation_SWAPD =>134            ExecuteDecodedAtomicReadModifyWrite(135                instruction, form, Atomic_SWAP, 8, TRUE);136
137        when ScalarOperation_CASB, ScalarOperation_HL_CASB =>138            ExecuteDecodedCompareAndSwap(instruction, form, 1);139        when ScalarOperation_CASH, ScalarOperation_HL_CASH =>140            ExecuteDecodedCompareAndSwap(instruction, form, 2);141        when ScalarOperation_CASW, ScalarOperation_HL_CASW =>142            ExecuteDecodedCompareAndSwap(instruction, form, 4);143        when ScalarOperation_CASD, ScalarOperation_HL_CASD =>144            ExecuteDecodedCompareAndSwap(instruction, form, 8);145
146        when ScalarOperation_LW_ADD, ScalarOperation_LW_AND,147             ScalarOperation_LW_OR, ScalarOperation_LW_XOR,148             ScalarOperation_LW_SMIN, ScalarOperation_LW_SMAX,149             ScalarOperation_LW_UMIN, ScalarOperation_LW_UMAX =>150            ExecuteDecodedAtomicReadModifyWrite(instruction, form,151                ScalarAtomicOperationForOperation(operation), 4, TRUE);152        when ScalarOperation_LD_ADD, ScalarOperation_LD_AND,153             ScalarOperation_LD_OR, ScalarOperation_LD_XOR,154             ScalarOperation_LD_SMIN, ScalarOperation_LD_SMAX,155             ScalarOperation_LD_UMIN, ScalarOperation_LD_UMAX =>156            ExecuteDecodedAtomicReadModifyWrite(instruction, form,157                ScalarAtomicOperationForOperation(operation), 8, TRUE);158        when ScalarOperation_SW_ADD, ScalarOperation_SW_AND,159             ScalarOperation_SW_OR, ScalarOperation_SW_XOR,160             ScalarOperation_SW_SMIN, ScalarOperation_SW_SMAX,161             ScalarOperation_SW_UMIN, ScalarOperation_SW_UMAX =>162            ExecuteDecodedAtomicReadModifyWrite(instruction, form,163                ScalarAtomicOperationForOperation(operation), 4, FALSE);164        when ScalarOperation_SD_ADD, ScalarOperation_SD_AND,165             ScalarOperation_SD_OR, ScalarOperation_SD_XOR,166             ScalarOperation_SD_SMIN, ScalarOperation_SD_SMAX,167             ScalarOperation_SD_UMIN, ScalarOperation_SD_UMAX =>168            ExecuteDecodedAtomicReadModifyWrite(instruction, form,169                ScalarAtomicOperationForOperation(operation), 8, FALSE);170
171        otherwise => unreachable;172    end;173end;174