1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
//------------------------------------------------------------------------------
// GB_select_positional_phase1: count entries for C=select(A,thunk)
//------------------------------------------------------------------------------
// SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2025, All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0
//------------------------------------------------------------------------------
// A is sparse or hypersparse, or can be full if the op is DIAG
// JIT: not need: use factory; 3 variants (A sparse, hyper, or full for DIAG)
#include "select/GB_select.h"
#include "include/GB_unused.h"
GrB_Info GB_select_positional_phase1
(
// input/output:
GrB_Matrix C,
// output:
void *Zp, // if C->p_is_32: 32 bit, else 64-bit
uint64_t *restrict Wfirst,
uint64_t *restrict Wlast,
// input:
const GrB_Matrix A,
const int64_t ithunk,
const GrB_IndexUnaryOp op,
const int64_t *A_ek_slicing,
const int A_ntasks,
const int A_nthreads
)
{
//--------------------------------------------------------------------------
// check inputs
//--------------------------------------------------------------------------
GB_Opcode opcode = op->opcode ;
ASSERT (GB_IS_SPARSE (A) || GB_IS_HYPERSPARSE (A)
|| (opcode == GB_DIAG_idxunop_code)) ;
ASSERT (GB_IS_INDEXUNARYOP_CODE_POSITIONAL (opcode)
|| opcode == GB_NONZOMBIE_idxunop_code) ;
ASSERT (!GB_IS_BITMAP (A)) ;
ASSERT (GB_IMPLIES (opcode != GB_NONZOMBIE_idxunop_code, !GB_JUMBLED (A))) ;
ASSERT (GB_IMPLIES (opcode == GB_NONZOMBIE_idxunop_code, GB_JUMBLED_OK(A)));
//--------------------------------------------------------------------------
// get A, C, and the slicing of A
//--------------------------------------------------------------------------
GB_Cp_DECLARE (Cp, ) ; GB_Cp_PTR (Cp, C) ;
const int64_t *restrict kfirst_Aslice = A_ek_slicing ;
const int64_t *restrict klast_Aslice = A_ek_slicing + A_ntasks ;
const int64_t *restrict pstart_Aslice = A_ek_slicing + A_ntasks * 2 ;
GB_Ap_DECLARE (Ap, const) ; GB_Ap_PTR (Ap, A) ;
GB_Ah_DECLARE (Ah, const) ; GB_Ah_PTR (Ah, A) ;
GB_Ai_DECLARE (Ai, const) ; GB_Ai_PTR (Ai, A) ;
const bool Ai_is_32 = A->i_is_32 ;
int64_t avlen = A->vlen ;
int64_t anvec = A->nvec ;
GB_IDECL (Zp, , u) ; GB_IPTR (Zp, C->p_is_32) ;
//--------------------------------------------------------------------------
// phase1: positional operators and nonzombie selector
//--------------------------------------------------------------------------
#include "select/include/GB_select_shared_definitions.h"
switch (opcode)
{
case GB_TRIL_idxunop_code :
#define GB_TRIL_SELECTOR
#include "select/factory/GB_select_positional_phase1_template.c"
break ;
case GB_TRIU_idxunop_code :
#define GB_TRIU_SELECTOR
#include "select/factory/GB_select_positional_phase1_template.c"
break ;
case GB_DIAG_idxunop_code :
#define GB_DIAG_SELECTOR
#include "select/factory/GB_select_positional_phase1_template.c"
break ;
case GB_OFFDIAG_idxunop_code :
case GB_DIAGINDEX_idxunop_code :
#define GB_OFFDIAG_SELECTOR
#include "select/factory/GB_select_positional_phase1_template.c"
break ;
case GB_ROWINDEX_idxunop_code :
#define GB_ROWINDEX_SELECTOR
#include "select/factory/GB_select_positional_phase1_template.c"
break ;
case GB_ROWLE_idxunop_code :
#define GB_ROWLE_SELECTOR
#include "select/factory/GB_select_positional_phase1_template.c"
break ;
case GB_ROWGT_idxunop_code :
#define GB_ROWGT_SELECTOR
#include "select/factory/GB_select_positional_phase1_template.c"
break ;
case GB_NONZOMBIE_idxunop_code :
// keep A(i,j) if it's not a zombie
#define GB_A_TYPE GB_void
#define GB_TEST_VALUE_OF_ENTRY(keep,p) bool keep = (i >= 0)
#include "select/template/GB_select_entry_phase1_template.c"
break ;
default: ;
}
return (GrB_SUCCESS) ;
}
|
