PTO-TILE-MODEL-LEGALITY-SORTING

1// PTO-UNIT: {"id":"PTO-TILE-MODEL-LEGALITY-SORTING","surface":"tile","classification":["model","legality","sorting"],"depends_on":["PTO-TILE-MODEL-LEGALITY-OPERAND-SCHEMA","PTO-TILE-MODEL-ORDERING-SORTING"]}2
3readonly func TileOperandsLegal_TSORT(4    destination: TileIndex,5    destination_indices: TileIndex,6    source: TileIndex,7    sort_width: integer {1..64},8    descending: boolean) => boolean9begin10    if destination == destination_indices ||11       destination == source ||12       destination_indices == source then13        return FALSE;14    end;15    if !TileDescriptorLegal(destination) ||16       !TileDescriptorLegal(destination_indices) ||17       !TileDescriptorLegal(source) then18        return FALSE;19    end;20
21    let value_type = _Tiles[[source]].data_type;22    if !TileSortDataTypeSupported(value_type) ||23       _Tiles[[destination]].data_type != value_type ||24       _Tiles[[destination_indices]].data_type != TileDataType_U32 then25        return FALSE;26    end;27    if _Tiles[[source]].layout != TileLayout_RowMajor ||28       _Tiles[[destination]].layout != TileLayout_RowMajor ||29       _Tiles[[destination_indices]].layout != TileLayout_RowMajor then30        return FALSE;31    end;32    if _Tiles[[source]].valid_rows == 0 ||33       _Tiles[[source]].valid_columns == 0 ||34       !TileLogicalShapeMatch(destination, source) ||35       !TileLogicalShapeMatch(destination_indices, source) then36        return FALSE;37    end;38    return TileSortSourceValuesLegal(source);39end;40
41readonly func TileOperandsLegal_TMRGSORT(42    destination: TileIndex,43    source_left: TileIndex,44    source_right: TileIndex,45    descending: boolean) => boolean46begin47    if destination == source_left || destination == source_right then48        return FALSE;49    end;50    if !TileDescriptorLegal(destination) ||51       !TileDescriptorLegal(source_left) ||52       !TileDescriptorLegal(source_right) then53        return FALSE;54    end;55
56    let left_tile = _Tiles[[source_left]];57    let right_tile = _Tiles[[source_right]];58    let result = _Tiles[[destination]];59    if !TileSortDataTypeSupported(left_tile.data_type) ||60       right_tile.data_type != left_tile.data_type ||61       result.data_type != left_tile.data_type then62        return FALSE;63    end;64    if left_tile.layout != TileLayout_RowMajor ||65       right_tile.layout != TileLayout_RowMajor ||66       result.layout != TileLayout_RowMajor then67        return FALSE;68    end;69    if left_tile.valid_rows != 1 ||70       right_tile.valid_rows != 1 ||71       result.valid_rows != 1 ||72       left_tile.valid_columns == 0 ||73       right_tile.valid_columns == 0 ||74       result.valid_columns !=75           left_tile.valid_columns + right_tile.valid_columns then76        return FALSE;77    end;78    if !TileSortSourceValuesLegal(source_left) ||79       !TileSortSourceValuesLegal(source_right) then80        return FALSE;81    end;82    return TileSortSequenceOrdered(source_left, descending) &&83           TileSortSequenceOrdered(source_right, descending);84end;85