PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS","surface":"block","classification":["model","operands","tile-bindings"],"depends_on":["PTO-BLOCK-MODEL-OPERANDS-SCALAR-BINDINGS"]}2func SetBundleTileBinding(index: BundleTileBindingIndex,3                         destination_valid: boolean,4                         destination: TileIndex,5                         destination_size: integer {0..15},6                         pe_mask: bits(4),7                         source0_valid: boolean,8                         source1_valid: boolean,9                         source0: TileIndex,10                         source1: TileIndex,11                         last: boolean)12begin13    if destination_valid &&14       (destination > 3 || !LocalTileSizeCodeIsLegal(destination_size)) then15        SetFault(Fault_TileLegality, ReadTPC());16        return;17    end;18    _BundleTileBindings[[index]].valid = TRUE;19    _BundleTileBindings[[index]].destination_valid = destination_valid;20    _BundleTileBindings[[index]].destination = destination;21    _BundleTileBindings[[index]].destination_hand =22        Zeros{2} + (destination MOD 4);23    _BundleTileBindings[[index]].destination_allocated_by_bundle = FALSE;24    _BundleTileBindings[[index]].destination_reused_by_generation = FALSE;25    _BundleTileBindings[[index]].destination_size = destination_size;26    _BundleTileBindings[[index]].pe_mask = pe_mask;27    _BundleTileBindings[[index]].source0_valid = source0_valid;28    _BundleTileBindings[[index]].source1_valid = source1_valid;29    _BundleTileBindings[[index]].source0 = source0;30    _BundleTileBindings[[index]].source1 = source1;31    _BundleTileBindings[[index]].last = last;32end;33
34func AddBundleTileBinding(destination_valid: boolean,35                          destination: TileIndex,36                          destination_size: integer {0..15},37                          pe_mask: bits(4),38                          source0_valid: boolean,39                          source1_valid: boolean,40                          source0: TileIndex,41                          source1: TileIndex,42                          last: boolean)43begin44    if BundleTileBindingSequenceClosed() then45        SetFault(Fault_BundleControl, ReadTPC());46        return;47    end;48    var added = FALSE;49    for binding = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 do50        if !added && !_BundleTileBindings[[binding]].valid then51            SetBundleTileBinding(binding as BundleTileBindingIndex,52                destination_valid, destination, destination_size, pe_mask,53                source0_valid, source1_valid, source0, source1, last);54            added = TRUE;55        end;56    end;57    if !added then SetFault(Fault_TileLegality, ReadTPC()); end;58end;59
60readonly func BundleTileBindingSequenceClosed() => boolean61begin62    for binding = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 do63        if _BundleTileBindings[[binding]].valid &&64           _BundleTileBindings[[binding]].last then65            return TRUE;66        end;67    end;68    return FALSE;69end;70
71readonly func BundleTileBindingLastIndex() => integer {0..15}72begin73    var last: integer {0..15} = 0;74    for binding = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 do75        if _BundleTileBindings[[binding]].valid then76            last = binding as integer {0..15};77        end;78    end;79    return last;80end;81
82readonly func BundleMatrixPrimaryDestinationHand()83    => (boolean, integer {0..3})84begin85    for binding = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 do86        if _BundleTileBindings[[binding]].valid &&87           _BundleTileBindings[[binding]].destination_valid then88            return (TRUE,89                UInt(_BundleTileBindings[[binding]].destination_hand)90                    as integer {0..3});91        end;92    end;93    return (FALSE, 0);94end;95
96readonly func BundleTileDestinationSizeLegal(97    binding: BundleTileBindingIndex) => boolean98begin99    if !_BundleTileBindings[[binding]].destination_valid then return TRUE; end;100    return LocalTileSizeCodeIsLegal(101        _BundleTileBindings[[binding]].destination_size);102end;103
104readonly func BundleTileDestinationSizeBytes(105    binding: BundleTileBindingIndex)106    => integer {0,128,256,512,1024,2048,4096,8192,16384,32768,65536,107                131072,262144}108begin109    if !_BundleTileBindings[[binding]].destination_valid then return 0; end;110    assert BundleTileDestinationSizeLegal(binding);111    return TileSizeCodeBytes(112        _BundleTileBindings[[binding]].destination_size as integer {1..12})113        as integer {128,256,512,1024,2048,4096,8192,16384,32768,65536,114                    131072,262144};115end;116
117readonly func BundleTileIsDestination(tile: TileIndex) => boolean118begin119    for binding = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 do120        if _BundleTileBindings[[binding]].valid &&121           _BundleTileBindings[[binding]].destination_valid &&122           _BundleTileBindings[[binding]].destination == tile then123            return TRUE;124        end;125    end;126    return FALSE;127end;128
129func FinalizeBundleTileAttempt(status: TileExecutionStatus)130begin131    // B.IOT.L terminates only the binding sequence. Local sources remain132    // allocated after both successful and rejected block attempts.133    return;134end;135