PTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS","surface":"block","classification":["model","operands","range-modifiers"],"depends_on":["PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS","PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS","PTO-BLOCK-MODEL-STATE-CONTROL-STATE"]}2
3// The group is syntactic header state. A binder opens it and the first4// non-modifier closes it; no destination is allocated and no operation schema5// is consulted here.6func OpenBundleRangeTileGroup(zero_mode: boolean,7                              source0_allowed: boolean,8                              source1_allowed: boolean,9                              destination_allowed: boolean)10begin11    _BundleRangeGroup.open = TRUE;12    _BundleRangeGroup.zero_mode = zero_mode;13    _BundleRangeGroup.kind = if zero_mode then BundleRangeGroup_None14        else BundleRangeGroup_Local;15    _BundleRangeGroup.tile_binding = BundleTileBindingLastIndex();16    _BundleRangeGroup.shared_binding = 0;17    _BundleRangeGroup.source0_allowed = source0_allowed;18    _BundleRangeGroup.source1_allowed = source1_allowed;19    _BundleRangeGroup.destination_allowed = destination_allowed;20    _BundleRangeGroup.source0_seen = FALSE;21    _BundleRangeGroup.source1_seen = FALSE;22    _BundleRangeGroup.destination_seen = FALSE;23end;24
25func OpenBundleRangeSharedGroup(zero_mode: boolean,26                                source0_allowed: boolean,27                                destination_allowed: boolean)28begin29    _BundleRangeGroup.open = TRUE;30    _BundleRangeGroup.zero_mode = zero_mode;31    _BundleRangeGroup.kind = if zero_mode then BundleRangeGroup_None32        else BundleRangeGroup_Shared;33    _BundleRangeGroup.tile_binding = 0;34    _BundleRangeGroup.shared_binding = BundleSharedBindingLastIndex();35    _BundleRangeGroup.source0_allowed = source0_allowed;36    _BundleRangeGroup.source1_allowed = FALSE;37    _BundleRangeGroup.destination_allowed = destination_allowed;38    _BundleRangeGroup.source0_seen = FALSE;39    _BundleRangeGroup.source1_seen = FALSE;40    _BundleRangeGroup.destination_seen = FALSE;41end;42
43func CloseBundleRangeGroup()44begin45    _BundleRangeGroup.open = FALSE;46    _BundleRangeGroup.zero_mode = FALSE;47    _BundleRangeGroup.kind = BundleRangeGroup_None;48    _BundleRangeGroup.tile_binding = 0;49    _BundleRangeGroup.shared_binding = 0;50    _BundleRangeGroup.source0_allowed = FALSE;51    _BundleRangeGroup.source1_allowed = FALSE;52    _BundleRangeGroup.destination_allowed = FALSE;53    _BundleRangeGroup.source0_seen = FALSE;54    _BundleRangeGroup.source1_seen = FALSE;55    _BundleRangeGroup.destination_seen = FALSE;56end;57
58readonly func BundleRangeRoleLegal(role: integer {0..2}) => boolean59begin60    if !_BundleRangeGroup.open then return FALSE; end;61    if role == 0 then62        return _BundleRangeGroup.source0_allowed &&63               !_BundleRangeGroup.source0_seen &&64               !_BundleRangeGroup.source1_seen &&65               !_BundleRangeGroup.destination_seen;66    elsif role == 1 then67        return _BundleRangeGroup.source1_allowed &&68               !_BundleRangeGroup.source1_seen &&69               !_BundleRangeGroup.destination_seen;70    else71        return _BundleRangeGroup.destination_allowed &&72               !_BundleRangeGroup.destination_seen;73    end;74end;75
76func MarkBundleRangeRole(role: integer {0..2})77begin78    if role == 0 then79        _BundleRangeGroup.source0_seen = TRUE;80    elsif role == 1 then81        _BundleRangeGroup.source1_seen = TRUE;82    else83        _BundleRangeGroup.destination_seen = TRUE;84    end;85end;86
87pure func BundleRangeSubviewRawLegal(size_code: integer {0..15}) => boolean88begin89    return 1 <= size_code && size_code <= 12;90end;91
92readonly func BundleRangeSubviewLegal(source_select: boolean,93                                      size_code: integer {0..15}) => boolean94begin95    if !_BundleRangeGroup.open || _BundleRangeGroup.zero_mode then96        return _BundleRangeGroup.open;97    end;98    let role = if source_select then 1 else 0;99    if !BundleRangeRoleLegal(role as integer {0..2}) then return FALSE; end;100    return TRUE;101end;102
103func RecordBundleRangeSubview(source_select: boolean,104                              reg_src: Reg5Selector,105                              uimm11: bits(11),106                              size_code: integer {1..12},107                              offset: Word)108begin109    if source_select then110        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]111            .source1_subview.valid = TRUE;112        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]113            .source1_subview.reg_src = reg_src;114        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]115            .source1_subview.uimm11 = uimm11;116        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]117            .source1_subview.size_code = size_code;118        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]119            .source1_subview.offset = offset;120        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]121            .source1_subview.init = FALSE;122        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]123            .source1_subview.last = FALSE;124        MarkBundleRangeRole(1);125    else126        if _BundleRangeGroup.kind == BundleRangeGroup_Local then127            _BundleTileBindings[[_BundleRangeGroup.tile_binding]]128                .source0_subview.valid = TRUE;129            _BundleTileBindings[[_BundleRangeGroup.tile_binding]]130                .source0_subview.reg_src = reg_src;131            _BundleTileBindings[[_BundleRangeGroup.tile_binding]]132                .source0_subview.uimm11 = uimm11;133            _BundleTileBindings[[_BundleRangeGroup.tile_binding]]134                .source0_subview.size_code = size_code;135            _BundleTileBindings[[_BundleRangeGroup.tile_binding]]136                .source0_subview.offset = offset;137            _BundleTileBindings[[_BundleRangeGroup.tile_binding]]138                .source0_subview.init = FALSE;139            _BundleTileBindings[[_BundleRangeGroup.tile_binding]]140                .source0_subview.last = FALSE;141        else142            _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]143                .source0_subview.valid = TRUE;144            _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]145                .source0_subview.reg_src = reg_src;146            _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]147                .source0_subview.uimm11 = uimm11;148            _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]149                .source0_subview.size_code = size_code;150            _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]151                .source0_subview.offset = offset;152            _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]153                .source0_subview.init = FALSE;154            _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]155                .source0_subview.last = FALSE;156        end;157        MarkBundleRangeRole(0);158    end;159end;160
161readonly func BundleRangeAssembleLegal(init: boolean,162                                       size_code: integer {0..15}) => boolean163begin164    if !_BundleRangeGroup.open || _BundleRangeGroup.zero_mode then165        return _BundleRangeGroup.open;166    end;167    if !BundleRangeRoleLegal(2) then return FALSE; end;168    if init && size_code == 0 then return FALSE; end;169    if !init && size_code != 0 then return FALSE; end;170    return TRUE;171end;172
173func RecordBundleRangeAssemble(init: boolean,174                              last: boolean,175                              reg_src: Reg5Selector,176                              uimm11: bits(11),177                              size_code: integer {0..12},178                              offset: Word)179begin180    if _BundleRangeGroup.kind == BundleRangeGroup_Local then181        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]182            .destination_assemble.valid = TRUE;183        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]184            .destination_assemble.reg_src = reg_src;185        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]186            .destination_assemble.uimm11 = uimm11;187        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]188            .destination_assemble.size_code = size_code;189        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]190            .destination_assemble.offset = offset;191        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]192            .destination_assemble.init = init;193        _BundleTileBindings[[_BundleRangeGroup.tile_binding]]194            .destination_assemble.last = last;195    else196        _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]197            .destination_assemble.valid = TRUE;198        _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]199            .destination_assemble.reg_src = reg_src;200        _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]201            .destination_assemble.uimm11 = uimm11;202        _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]203            .destination_assemble.size_code = size_code;204        _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]205            .destination_assemble.offset = offset;206        _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]207            .destination_assemble.init = init;208        _BundleSharedBindings[[_BundleRangeGroup.shared_binding]]209            .destination_assemble.last = last;210    end;211    MarkBundleRangeRole(2);212end;213
214// NDF-BEGIN: PTO-B-ASSEMBLE-SHARED-STANDALONE-001215// ndf: kind=contract level=L1 layer=block status=accepted216// A Shared destination with more than one participating PE MUST carry one217// B.ASSEMBLE modifier.  A multi-PE standalone B.IOS destination MUST raise218// Fault_TileLegality before descriptor, payload, memory, or publication219// effects.  A single-PE standalone destination retains the ordinary B.IOS220// behavior.221// NDF-END: PTO-B-ASSEMBLE-SHARED-STANDALONE-001222readonly func BundleSharedDestinationAssemblyPolicyLegal() => boolean223begin224    for binding = 0 to 3 do225        if _BundleSharedBindings[[binding]].valid &&226           _BundleSharedBindings[[binding]].size_code != 0 &&227           PEMaskPopulation(_BundleSharedBindings[[binding]].pe_mask) > 1 &&228           !_BundleSharedBindings[[binding]].destination_assemble.valid then229            return FALSE;230        end;231    end;232    return TRUE;233end;234