PTO-SCALAR-MODEL-DISPATCH-FSU

1// PTO-UNIT: {"id":"PTO-SCALAR-MODEL-DISPATCH-FSU","surface":"scalar","classification":["model","dispatch","fsu"],"depends_on":["PTO-SCALAR-MODEL-DISPATCH-DECODE","PTO-SCALAR-MODEL-FSU-PROFILE","PTO-SCALAR-FABS","PTO-SCALAR-FADD","PTO-SCALAR-FCVT","PTO-SCALAR-FCVTA","PTO-SCALAR-FCVTM","PTO-SCALAR-FCVTN","PTO-SCALAR-FCVTP","PTO-SCALAR-FCVTZ","PTO-SCALAR-FDIV","PTO-SCALAR-FEQ","PTO-SCALAR-FEQS","PTO-SCALAR-FEXP","PTO-SCALAR-FGE","PTO-SCALAR-FGES","PTO-SCALAR-FLT","PTO-SCALAR-FLTS","PTO-SCALAR-FMADD","PTO-SCALAR-FMAX","PTO-SCALAR-FMIN","PTO-SCALAR-FMSUB","PTO-SCALAR-FMUL","PTO-SCALAR-FNE","PTO-SCALAR-FNES","PTO-SCALAR-FNMADD","PTO-SCALAR-FNMSUB","PTO-SCALAR-FRECIP","PTO-SCALAR-FSQRT","PTO-SCALAR-FSUB","PTO-SCALAR-SCVTF","PTO-SCALAR-UCVTF"]}2pure func ScalarDecodedFPSourceType(3    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1}) => bits(2)4begin5    return DecodeScalarOperandRaw(instruction, form, ScalarField_SrcType)[1:0];6end;7
8func ExecuteDecodedFPBinary(9    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},10    operation: FloatingBinaryOperation)11begin12    let source_selector = ScalarDecodedFPSourceType(instruction, form);13    let source_type = ScalarFPSourceTypeCode(source_selector);14    if !ScalarFPTypeCodeSupported(source_type) then15        SetFault(Fault_IllegalInstruction, ReadPC());16        return;17    end;18    let left = NormalizeScalarFPSource(19        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),20        source_type);21    let right = NormalizeScalarFPSource(22        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),23        source_type);24    var result: Word;25    var flags: bits(5);26    if operation == FloatingBinary_MIN || operation == FloatingBinary_MAX then27        result = ScalarFPMinMax(operation, left, right, source_selector);28        flags = if ScalarFPIsSignalingNaN(left, source_selector) ||29                   ScalarFPIsSignalingNaN(right, source_selector)30                then Zeros{5} + 1 else Zeros{5};31    else32        (result, flags) = ScalarFPBinaryProfile(33            operation, ScalarFPActiveRoundingMode(), source_type, left, right);34    end;35    ScalarFPRecordFlags(flags);36    WriteScalarDestination(37        ScalarDecodedSelector(instruction, form, ScalarField_RegDst),38        NormalizeScalarFPResult(result, source_type));39end;40
41func ExecuteDecodedFPUnary(42    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},43    operation: FloatingUnaryOperation)44begin45    let source_selector = ScalarDecodedFPSourceType(instruction, form);46    let source_type = ScalarFPSourceTypeCode(source_selector);47    if !ScalarFPTypeCodeSupported(source_type) then48        SetFault(Fault_IllegalInstruction, ReadPC());49        return;50    end;51    let value = NormalizeScalarFPSource(52        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),53        source_type);54    var result: Word;55    var flags: bits(5);56    if operation == FloatingUnary_ABS then57        if source_selector == '01' then58            result = ZeroExtend{PTO_XLEN}(59                value[31:0] AND (Zeros{32} + 0x7fffffff));60        else61            result = value AND (Zeros{PTO_XLEN} + 0x7fffffffffffffff);62        end;63        flags = Zeros{5};64    else65        (result, flags) = ScalarFPUnaryProfile(66            operation, ScalarFPActiveRoundingMode(), source_type, value);67    end;68    ScalarFPRecordFlags(flags);69    WriteScalarDestination(70        ScalarDecodedSelector(instruction, form, ScalarField_RegDst),71        NormalizeScalarFPResult(result, source_type));72end;73
74func ExecuteDecodedFPCompare(75    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},76    operation: FloatingCompareOperation, signaling: boolean)77begin78    let source_selector = ScalarDecodedFPSourceType(instruction, form);79    let source_type = ScalarFPSourceTypeCode(source_selector);80    if !ScalarFPTypeCodeSupported(source_type) then81        SetFault(Fault_IllegalInstruction, ReadPC());82        return;83    end;84    let left = NormalizeScalarFPSource(85        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),86        source_type);87    let right = NormalizeScalarFPSource(88        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),89        source_type);90    let any_nan = ScalarFPIsNaN(left, source_selector) ||91                  ScalarFPIsNaN(right, source_selector);92    let any_signaling_nan = ScalarFPIsSignalingNaN(left, source_selector) ||93                            ScalarFPIsSignalingNaN(right, source_selector);94    if (signaling && any_nan) || any_signaling_nan then95        ScalarFPRecordFlags(Zeros{5} + 1);96    end;97    let comparison = ScalarFPEncodingCompare(98        operation, left, right, source_selector);99    WriteScalarDestination(100        ScalarDecodedSelector(instruction, form, ScalarField_RegDst),101        if comparison then Zeros{PTO_XLEN} + 1 else Zeros{PTO_XLEN});102end;103
104func ExecuteDecodedFPFused(105    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},106    operation: FloatingFusedOperation)107begin108    let source_selector = ScalarDecodedFPSourceType(instruction, form);109    let source_type = ScalarFPSourceTypeCode(source_selector);110    if !ScalarFPTypeCodeSupported(source_type) then111        SetFault(Fault_IllegalInstruction, ReadPC());112        return;113    end;114    let addend = NormalizeScalarFPSource(115        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcA),116        source_type);117    let left = NormalizeScalarFPSource(118        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL),119        source_type);120    let right = NormalizeScalarFPSource(121        ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),122        source_type);123    let (result, flags) = ScalarFPFusedProfile(124        operation, ScalarFPActiveRoundingMode(), source_type,125        addend, left, right);126    ScalarFPRecordFlags(flags);127    WriteScalarDestination(128        ScalarDecodedSelector(instruction, form, ScalarField_RegDst),129        NormalizeScalarFPResult(result, source_type));130end;131
132func ExecuteDecodedFPConvert(133    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},134    operation: ScalarOperation)135begin136    let source_selector = ScalarDecodedFPSourceType(instruction, form);137    let destination_type = ScalarDecodedBits5(138        instruction, form, ScalarField_DstType);139    var source_type: bits(5);140    var source_supported: boolean;141    var destination_supported: boolean;142    if operation == ScalarOperation_SCVTF then143        source_type = ScalarSignedIntegerSourceTypeCode(source_selector);144        source_supported = ScalarIntegerTypeCodeSupported(source_type);145        destination_supported = ScalarFPTypeCodeSupported(destination_type);146    elsif operation == ScalarOperation_UCVTF then147        source_type = ScalarUnsignedIntegerSourceTypeCode(source_selector);148        source_supported = ScalarIntegerTypeCodeSupported(source_type);149        destination_supported = ScalarFPTypeCodeSupported(destination_type);150    else151        source_type = ScalarFPSourceTypeCode(source_selector);152        source_supported = ScalarFPTypeCodeSupported(source_type);153        if operation == ScalarOperation_FCVT then154            destination_supported = ScalarFPTypeCodeSupported(destination_type);155        else156            destination_supported = ScalarIntegerTypeCodeSupported(destination_type);157        end;158    end;159    if !source_supported || !destination_supported then160        SetFault(Fault_IllegalInstruction, ReadPC());161        return;162    end;163
164    // Type legality is resolved before this first architectural source read.165    let value = ReadDecodedScalarRegister(166        instruction, form, ScalarField_SrcL);167    var result: Word;168    var flags: bits(5);169    if operation == ScalarOperation_FCVT then170        (result, flags) = ScalarFPConvertProfile(171            ScalarFPActiveRoundingMode(), destination_type, source_type,172            NormalizeScalarFPSource(value, source_type));173        result = NormalizeScalarFPResult(result, destination_type);174    elsif operation == ScalarOperation_SCVTF ||175          operation == ScalarOperation_UCVTF then176        (result, flags) = ScalarIntegerToFPProfile(177            ScalarFPActiveRoundingMode(), source_type, destination_type,178            NormalizeScalarIntegerSource(value, source_type));179        result = NormalizeScalarFPResult(result, destination_type);180    else181        let rounding_mode = ScalarFPFixedConversionRoundingMode(operation);182        (result, flags) = ScalarFPToIntegerProfile(183            rounding_mode, destination_type, source_type,184            NormalizeScalarFPSource(value, source_type));185        result = NormalizeScalarIntegerResult(result, destination_type);186    end;187    ScalarFPRecordFlags(flags);188    WriteScalarDestination(189        ScalarDecodedSelector(instruction, form, ScalarField_RegDst), result);190end;191
192func ExecuteDecodedFSUForm(instruction: bits(48),193                           form: integer {0..PTO_SCALAR_FORM_COUNT-1})194begin195    let operation = ScalarOperationOfForm(form);196    case operation of197        when ScalarOperation_FABS =>198            ExecuteDecodedFPUnary(instruction, form, FloatingUnary_ABS);199        when ScalarOperation_FEXP =>200            ExecuteDecodedFPUnary(instruction, form, FloatingUnary_EXP);201        when ScalarOperation_FRECIP =>202            ExecuteDecodedFPUnary(instruction, form, FloatingUnary_RECIP);203        when ScalarOperation_FSQRT =>204            ExecuteDecodedFPUnary(instruction, form, FloatingUnary_SQRT);205        when ScalarOperation_FADD =>206            ExecuteDecodedFPBinary(instruction, form, FloatingBinary_ADD);207        when ScalarOperation_FSUB =>208            ExecuteDecodedFPBinary(instruction, form, FloatingBinary_SUB);209        when ScalarOperation_FMUL =>210            ExecuteDecodedFPBinary(instruction, form, FloatingBinary_MUL);211        when ScalarOperation_FDIV =>212            ExecuteDecodedFPBinary(instruction, form, FloatingBinary_DIV);213        when ScalarOperation_FMIN =>214            ExecuteDecodedFPBinary(instruction, form, FloatingBinary_MIN);215        when ScalarOperation_FMAX =>216            ExecuteDecodedFPBinary(instruction, form, FloatingBinary_MAX);217        when ScalarOperation_FEQ => ExecuteDecodedFPCompare(218            instruction, form, FloatingCompare_EQ, FALSE);219        when ScalarOperation_FEQS => ExecuteDecodedFPCompare(220            instruction, form, FloatingCompare_EQ, TRUE);221        when ScalarOperation_FNE => ExecuteDecodedFPCompare(222            instruction, form, FloatingCompare_NE, FALSE);223        when ScalarOperation_FNES => ExecuteDecodedFPCompare(224            instruction, form, FloatingCompare_NE, TRUE);225        when ScalarOperation_FLT => ExecuteDecodedFPCompare(226            instruction, form, FloatingCompare_LT, FALSE);227        when ScalarOperation_FLTS => ExecuteDecodedFPCompare(228            instruction, form, FloatingCompare_LT, TRUE);229        when ScalarOperation_FGE => ExecuteDecodedFPCompare(230            instruction, form, FloatingCompare_GE, FALSE);231        when ScalarOperation_FGES => ExecuteDecodedFPCompare(232            instruction, form, FloatingCompare_GE, TRUE);233        when ScalarOperation_FMADD => ExecuteDecodedFPFused(234            instruction, form, FloatingFused_MADD);235        when ScalarOperation_FMSUB => ExecuteDecodedFPFused(236            instruction, form, FloatingFused_MSUB);237        when ScalarOperation_FNMADD => ExecuteDecodedFPFused(238            instruction, form, FloatingFused_NMADD);239        when ScalarOperation_FNMSUB => ExecuteDecodedFPFused(240            instruction, form, FloatingFused_NMSUB);241        when ScalarOperation_FCVT, ScalarOperation_FCVTA,242             ScalarOperation_FCVTM, ScalarOperation_FCVTN,243             ScalarOperation_FCVTP, ScalarOperation_FCVTZ,244             ScalarOperation_SCVTF, ScalarOperation_UCVTF =>245            ExecuteDecodedFPConvert(instruction, form, operation);246        otherwise => unreachable;247    end;248end;249