PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING","surface":"block","classification":["model","schema","profile-encoding"],"depends_on":["PTO-ARCH-PROFILE-REFERENCE-PROFILE"],"catalog_projection":{"catalog":"command-forms","isa":"PTO Instruction Set Architecture","reviewed_encoding_overlaps":[{"broad_form_id":"b_iot_32_10db6db84f5d","narrow_form_id":"b_iot_32_c11eb189dd83","reason":"source-only form fixes SizeCode to zero; destination form requires SizeCode 1..12 and a 2-bit DstTile"},{"broad_form_id":"b_iot_32_8b8bce6bffe8","narrow_form_id":"b_iot_32_2c07e7177fad","reason":"source-only form fixes SizeCode to zero; destination form requires SizeCode 1..12 and a 2-bit DstTile"},{"broad_form_id":"c_bstart_std_16_8b40f078c14a","narrow_form_id":"c_bstop_16_ca4743d8a95e","reason":"C.BSTOP fixes the broad C.BSTART.STD BrType field to excluded value 0"}],"schema_version":2,"surface":"command-and-boundary"}}2pure func PTOv0BundleKindCode(kind: BundleKind) => bits(4)3begin4    case kind of5        when BundleKind_Standard => return '0000';6        when BundleKind_Floating => return '0001';7        when BundleKind_System => return '0010';8        when BundleKind_TileElement => return '0101';9        when BundleKind_TileMemory => return '0110';10        when BundleKind_TileMatrix => return '0111';11        when BundleKind_FrameTemplate => return '1000';12    end;13end;14
15pure func PTOv0BundleKindOf(code: bits(4)) => BundleKind16begin17    if code == '0001' then return BundleKind_Floating;18    elsif code == '0010' then return BundleKind_System;19    elsif code == '0101' then return BundleKind_TileElement;20    elsif code == '0110' then return BundleKind_TileMemory;21    elsif code == '0111' then return BundleKind_TileMatrix;22    elsif code == '1000' then return BundleKind_FrameTemplate;23    else return BundleKind_Standard;24    end;25end;26
27pure func PTOv0PEMaskOfPEMode(mode: bits(3)) => bits(4)28begin29    case mode of30        when '000' => return '0000';31        when '001' => return '1000';32        when '010' => return '0100';33        when '011' => return '0010';34        when '100' => return '0001';35        when '101' => return '1100';36        when '110' => return '1110';37        when '111' => return '1111';38    end;39end;40
41pure func PTOv0BundleTransferCode(transfer: BundleTransfer) => bits(3)42begin43    case transfer of44        when BundleTransfer_Fallthrough => return '000';45        when BundleTransfer_Direct => return '001';46        when BundleTransfer_Conditional => return '010';47        when BundleTransfer_Call => return '011';48        when BundleTransfer_Return => return '100';49        when BundleTransfer_Indirect => return '101';50        when BundleTransfer_IndirectCall => return '110';51    end;52end;53
54pure func PTOv0BundleTransferOf(code: bits(3)) => BundleTransfer55begin56    if code == '001' then return BundleTransfer_Direct;57    elsif code == '010' then return BundleTransfer_Conditional;58    elsif code == '011' then return BundleTransfer_Call;59    elsif code == '100' then return BundleTransfer_Return;60    elsif code == '101' then return BundleTransfer_Indirect;61    elsif code == '110' then return BundleTransfer_IndirectCall;62    else return BundleTransfer_Fallthrough;63    end;64end;65
66pure func PTOv0EBARGControlLegal(control: Word) => boolean67begin68    let kind_code = UInt(control[10:7]);69    return control[63:15] == Zeros{49} &&70           (kind_code <= 2 || (kind_code >= 5 && kind_code <= 8)) &&71           UInt(control[13:11]) <= 6 &&72           (control[6] == '0' || control[5] == '1');73end;74