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
|
//------------------------------------------------------------------------------
// GB_assert_kernels.h: assertions for JIT kernels
//------------------------------------------------------------------------------
// SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2025, All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0
//------------------------------------------------------------------------------
// These methods are for JIT kernels.
// For outside of JIT kernels, see ok/GB_assert_library.h.
//------------------------------------------------------------------------------
// debugging definitions
//------------------------------------------------------------------------------
// The JIT kernels do not trigger the 'gotcha'.
#undef GB_GOTCHA
#define GB_GOTCHA
#undef GB_HERE
#define GB_HERE GBDUMP ("%2d: Here: " __FILE__ "\n", __LINE__) ;
// ASSERT (GB_DEAD_CODE) marks code that is intentionally dead, leftover from
// prior versions of SuiteSparse:GraphBLAS but no longer used in the current
// version. The code is kept in case it is required for future versions (in
// which case, the ASSERT (GB_DEAD_CODE) statement would be removed).
#undef GB_DEAD_CODE
#define GB_DEAD_CODE 0
//------------------------------------------------------------------------------
// assertions for checking specific objects
//------------------------------------------------------------------------------
// these assertions are disabled in the JIT runtime kernels, since the
// functions do not appear in GB_callback.
#undef ASSERT_TYPE_OK
#undef ASSERT_TYPE_OK_OR_NULL
#undef ASSERT_BINARYOP_OK
#undef ASSERT_INDEXUNARYOP_OK
#undef ASSERT_INDEXBINARYOP_OK
#undef ASSERT_BINARYOP_OK_OR_NULL
#undef ASSERT_UNARYOP_OK
#undef ASSERT_UNARYOP_OK_OR_NULL
#undef ASSERT_SELECTOP_OK
#undef ASSERT_SELECTOP_OK_OR_NULL
#undef ASSERT_OP_OK
#undef ASSERT_OP_OK_OR_NULL
#undef ASSERT_MONOID_OK
#undef ASSERT_SEMIRING_OK
#undef ASSERT_MATRIX_OK
#undef ASSERT_MATRIX_OK_OR_NULL
#undef ASSERT_VECTOR_OK
#undef ASSERT_VECTOR_OK_OR_NULL
#undef ASSERT_SCALAR_OK
#undef ASSERT_SCALAR_OK_OR_NULL
#undef ASSERT_DESCRIPTOR_OK
#undef ASSERT_DESCRIPTOR_OK_OR_NULL
#define ASSERT_TYPE_OK(t,name,pr)
#define ASSERT_TYPE_OK_OR_NULL(t,name,pr)
#define ASSERT_BINARYOP_OK(op,name,pr)
#define ASSERT_INDEXUNARYOP_OK(op,name,pr)
#define ASSERT_INDEXBINARYOP_OK(op,name,pr)
#define ASSERT_BINARYOP_OK_OR_NULL(op,name,pr)
#define ASSERT_UNARYOP_OK(op,name,pr)
#define ASSERT_UNARYOP_OK_OR_NULL(op,name,pr)
#define ASSERT_SELECTOP_OK(op,name,pr)
#define ASSERT_SELECTOP_OK_OR_NULL(op,name,pr)
#define ASSERT_OP_OK(op,name,pr)
#define ASSERT_OP_OK_OR_NULL(op,name,pr)
#define ASSERT_MONOID_OK(mon,name,pr)
#define ASSERT_SEMIRING_OK(s,name,pr)
#define ASSERT_MATRIX_OK(A,name,pr)
#define ASSERT_MATRIX_OK_OR_NULL(A,name,pr)
#define ASSERT_VECTOR_OK(v,name,pr)
#define ASSERT_VECTOR_OK_OR_NULL(v,name,pr)
#define ASSERT_SCALAR_OK(s,name,pr)
#define ASSERT_SCALAR_OK_OR_NULL(s,name,pr)
#define ASSERT_DESCRIPTOR_OK(d,name,pr)
#define ASSERT_DESCRIPTOR_OK_OR_NULL(d,name,pr)
#if 0
// For tracking down 64-bit integers when not expected;
// this is meant for development only.
#undef ASSERT_MATRIX_OK
#undef ASSERT_MATRIX_OK_OR_NULL
#undef ASSERT_VECTOR_OK
#undef ASSERT_VECTOR_OK_OR_NULL
#define ASSERT_MATRIX_OK(A,name,pr) \
{ \
if ((A) != NULL && GB_IS_SPARSE((A))) \
{ \
if (!((A)->p_is_32) || !((A)->i_is_32)) \
{ \
printf ("Hey JIT: %s %d: %s (%d,%d)\n", \
__FILE__, __LINE__, name, (A)->p_is_32, (A)->i_is_32) ; \
} \
} \
else if ((A) != NULL && GB_IS_HYPERSPARSE((A))) \
{ \
if (!((A)->p_is_32) || !((A)->i_is_32) || !((A)->j_is_32)) \
{ \
printf ("Hey JIT: %s %d: %s (%d,%d,%d)\n", \
__FILE__, __LINE__, name, \
(A)->p_is_32, (A)->j_is_32, (A)->i_is_32) ; \
} \
} \
}
#define ASSERT_MATRIX_OK_OR_NULL(A,name,pr) ASSERT_MATRIX_OK (A,name,pr)
#define ASSERT_VECTOR_OK_OR_NULL(A,name,pr) ASSERT_MATRIX_OK (A,name,pr)
#define ASSERT_VECTOR_OK(A,name,pr) ASSERT_MATRIX_OK (A,name,pr)
#endif
|
