PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS","surface":"block","classification":["model","operands","shared-bindings"],"depends_on":["PTO-BLOCK-MODEL-SCHEMA-DIMENSIONS"]}2func BindBundleSharedIO(shared_tile_id: SharedTileID,3                        size_code: integer {0..12},4                        pe_mask: bits(4))5begin6    if !BundleSharedMaskCanAppend(pe_mask) then7        SetFault(Fault_TileLegality, ReadTPC());8        return;9    end;10    for index = 0 to 3 do11        if _BundleSharedBindings[[index]].valid &&12           _BundleSharedBindings[[index]].shared_tile_id == shared_tile_id then13            SetFault(Fault_BundleControl, ReadTPC());14            return;15        end;16    end;17    for index = 0 to 3 do18        if !_BundleSharedBindings[[index]].valid then19            _BundleSharedBindings[[index]].valid = TRUE;20            _BundleSharedBindings[[index]].shared_tile_id = shared_tile_id;21            _BundleSharedBindings[[index]].size_code = size_code;22            _BundleSharedBindings[[index]].pe_mask = pe_mask;23            _BundleSharedBindings[[index]].consumed = FALSE;24            return;25        end;26    end;27    SetFault(Fault_BundleControl, ReadTPC());28end;29
30readonly func BundleSharedMaskCanAppend(pe_mask: bits(4)) => boolean31begin32    if !BundleTileMaskCanAppend(pe_mask) then return FALSE; end;33    for index = 0 to 3 do34        if _BundleSharedBindings[[index]].valid &&35           _BundleSharedBindings[[index]].pe_mask != pe_mask then36            return FALSE;37        end;38    end;39    return TRUE;40end;41
42readonly func BundleSharedBindingCount() => integer {0..4}43begin44    var count: integer {0..4} = 0;45    for index = 0 to 3 do46        if _BundleSharedBindings[[index]].valid then47            count = (count + 1) as integer {0..4};48        end;49    end;50    return count;51end;52
53readonly func BundleSharedBindingLastIndex() => integer {0..3}54begin55    var last: integer {0..3} = 0;56    for index = 0 to 3 do57        if _BundleSharedBindings[[index]].valid then58            last = index as integer {0..3};59        end;60    end;61    return last;62end;63
64readonly func BundleSharedBindingId(ordinal: integer {0..3}) => SharedTileID65begin66    assert _BundleSharedBindings[[ordinal]].valid &&67           !_BundleSharedBindings[[ordinal]].consumed;68    return _BundleSharedBindings[[ordinal]].shared_tile_id;69end;70
71readonly func BundleSharedBindingSize(ordinal: integer {0..3})72        => integer {0..12}73begin74    assert _BundleSharedBindings[[ordinal]].valid &&75           !_BundleSharedBindings[[ordinal]].consumed;76    return _BundleSharedBindings[[ordinal]].size_code;77end;78
79readonly func BundleSharedBindingMask(ordinal: integer {0..3}) => bits(4)80begin81    assert _BundleSharedBindings[[ordinal]].valid &&82           !_BundleSharedBindings[[ordinal]].consumed;83    return _BundleSharedBindings[[ordinal]].pe_mask;84end;85
86readonly func BundleSharedBindingIsDestination(87    ordinal: integer {0..3}) => boolean88begin89    return BundleSharedBindingSize(ordinal) != 0;90end;91
92func ConsumeBundleSharedBindings(count: integer {1..4})93begin94    assert BundleSharedBindingCount() == count;95    for index = 0 to count - 1 looplimit 4 do96        assert _BundleSharedBindings[[index]].valid &&97               !_BundleSharedBindings[[index]].consumed;98        _BundleSharedBindings[[index]].consumed = TRUE;99    end;100end;101
102readonly func BundleSharedBindingsUnconsumed() => boolean103begin104    for index = 0 to 3 do105        if _BundleSharedBindings[[index]].valid &&106           !_BundleSharedBindings[[index]].consumed then return TRUE; end;107    end;108    return FALSE;109end;110
111readonly func BundleTileMaskCanAppend(pe_mask: bits(4)) => boolean112begin113    if pe_mask == Zeros{4} then return FALSE; end;114    for index = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 do115        if _BundleTileBindings[[index]].valid &&116           _BundleTileBindings[[index]].pe_mask != pe_mask then117            return FALSE;118        end;119    end;120    return TRUE;121end;122