1 #ifndef PETSCDEVICETYPES_H 2 #define PETSCDEVICETYPES_H 3 4 #include <petscsys.h> /*I <petscdevicetypes.h> I*/ 5 6 // Some overzealous older gcc versions warn that the comparisons below are always true. Neat 7 // that it can detect this, but the tautology *is* the point of the static_assert()! 8 #if defined(__GNUC__) && __GNUC__ >= 6 && !PetscDefined(HAVE_WINDOWS_COMPILERS) 9 #define PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 1 10 #else 11 #define PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 0 12 #endif 13 14 /* SUBMANSEC = Sys */ 15 16 /*E 17 PetscMemType - Memory type of a pointer 18 19 Developer Note: 20 Encoding of the bitmask in binary: xxxxyyyz 21 22 $ z = 0 - Host memory 23 $ z = 1 - Device memory 24 $ yyy = 000 - CUDA-related memory 25 $ yyy = 001 - HIP-related memory 26 $ yyy = 010 - SYCL-related memory 27 $ xxxxyyy1 = 0000,0001 - CUDA memory 28 $ xxxxyyy1 = 0001,0001 - CUDA NVSHMEM memory 29 $ xxxxyyy1 = 0000,0011 - HIP memory 30 $ xxxxyyy1 = 0000,0101 - SYCL memory 31 32 Other types of memory, e.g., CUDA managed memory, can be added when needed. 33 34 Level: beginner 35 36 Notes: 37 `PETSC_MEMTYPE_KOKKOS` depends on the Kokkos backend configuration 38 39 Developer Notes: 40 This enum uses a function (`PetscMemTypeToString()`) to convert to string representation so 41 cannot be used in `PetscOptionsEnum()`. 42 43 .seealso: `PetscMemTypeToString()`, `VecGetArrayAndMemType()`, 44 `PetscSFBcastWithMemTypeBegin()`, `PetscSFReduceWithMemTypeBegin()` 45 E*/ 46 typedef enum { 47 PETSC_MEMTYPE_HOST = 0, 48 PETSC_MEMTYPE_DEVICE = 0x01, 49 PETSC_MEMTYPE_CUDA = 0x01, 50 PETSC_MEMTYPE_NVSHMEM = 0x11, 51 PETSC_MEMTYPE_HIP = 0x03, 52 PETSC_MEMTYPE_SYCL = 0x05, 53 } PetscMemType; 54 #if PetscDefined(HAVE_CUDA) 55 #define PETSC_MEMTYPE_KOKKOS PETSC_MEMTYPE_CUDA 56 #elif PetscDefined(HAVE_HIP) 57 #define PETSC_MEMTYPE_KOKKOS PETSC_MEMTYPE_HIP 58 #elif PetscDefined(HAVE_SYCL) 59 #define PETSC_MEMTYPE_KOKKOS PETSC_MEMTYPE_SYCL 60 #else 61 #define PETSC_MEMTYPE_KOKKOS PETSC_MEMTYPE_HOST 62 #endif 63 64 #define PetscMemTypeHost(m) (((m)&0x1) == PETSC_MEMTYPE_HOST) 65 #define PetscMemTypeDevice(m) (((m)&0x1) == PETSC_MEMTYPE_DEVICE) 66 #define PetscMemTypeCUDA(m) (((m)&0xF) == PETSC_MEMTYPE_CUDA) 67 #define PetscMemTypeHIP(m) (((m)&0xF) == PETSC_MEMTYPE_HIP) 68 #define PetscMemTypeSYCL(m) (((m)&0xF) == PETSC_MEMTYPE_SYCL) 69 #define PetscMemTypeNVSHMEM(m) ((m) == PETSC_MEMTYPE_NVSHMEM) 70 71 #if defined(__cplusplus) 72 #if PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 73 #pragma GCC diagnostic push 74 #pragma GCC diagnostic ignored "-Wtautological-compare" 75 #endif 76 static_assert(PetscMemTypeHost(PETSC_MEMTYPE_HOST), ""); 77 static_assert(!PetscMemTypeHost(PETSC_MEMTYPE_DEVICE), ""); 78 static_assert(!PetscMemTypeHost(PETSC_MEMTYPE_CUDA), ""); 79 static_assert(!PetscMemTypeHost(PETSC_MEMTYPE_HIP), ""); 80 static_assert(!PetscMemTypeHost(PETSC_MEMTYPE_SYCL), ""); 81 static_assert(!PetscMemTypeHost(PETSC_MEMTYPE_NVSHMEM), ""); 82 83 static_assert(!PetscMemTypeDevice(PETSC_MEMTYPE_HOST), ""); 84 static_assert(PetscMemTypeDevice(PETSC_MEMTYPE_DEVICE), ""); 85 static_assert(PetscMemTypeDevice(PETSC_MEMTYPE_CUDA), ""); 86 static_assert(PetscMemTypeDevice(PETSC_MEMTYPE_HIP), ""); 87 static_assert(PetscMemTypeDevice(PETSC_MEMTYPE_SYCL), ""); 88 static_assert(PetscMemTypeDevice(PETSC_MEMTYPE_NVSHMEM), ""); 89 90 static_assert(PetscMemTypeCUDA(PETSC_MEMTYPE_CUDA), ""); 91 static_assert(PetscMemTypeCUDA(PETSC_MEMTYPE_NVSHMEM), ""); 92 #if PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 93 #pragma GCC diagnostic pop 94 #endif 95 #endif // __cplusplus 96 97 PETSC_NODISCARD static inline PETSC_CONSTEXPR_14 const char *PetscMemTypeToString(PetscMemType mtype) { 98 #ifdef __cplusplus 99 static_assert(PETSC_MEMTYPE_CUDA == PETSC_MEMTYPE_DEVICE, ""); 100 #endif 101 #define PETSC_CASE_NAME(v) \ 102 case v: return PetscStringize(v) 103 104 switch (mtype) { 105 PETSC_CASE_NAME(PETSC_MEMTYPE_HOST); 106 /* PETSC_CASE_NAME(PETSC_MEMTYPE_DEVICE); same as PETSC_MEMTYPE_CUDA */ 107 PETSC_CASE_NAME(PETSC_MEMTYPE_CUDA); 108 PETSC_CASE_NAME(PETSC_MEMTYPE_NVSHMEM); 109 PETSC_CASE_NAME(PETSC_MEMTYPE_HIP); 110 PETSC_CASE_NAME(PETSC_MEMTYPE_SYCL); 111 } 112 PetscUnreachable(); 113 return "invalid"; 114 #undef PETSC_CASE_NAME 115 } 116 117 #define PETSC_OFFLOAD_VECKOKKOS_DEPRECATED PETSC_OFFLOAD_VECKOKKOS PETSC_DEPRECATED_ENUM("Use PETSC_OFFLOAD_KOKKOS (since version 3.17.0)") 118 119 /*E 120 PetscOffloadMask - indicates which memory (CPU, GPU, or none) contains valid data 121 122 $ PETSC_OFFLOAD_UNALLOCATED - no memory contains valid matrix entries; NEVER used for vectors 123 $ PETSC_OFFLOAD_GPU - GPU has valid vector/matrix entries 124 $ PETSC_OFFLOAD_CPU - CPU has valid vector/matrix entries 125 $ PETSC_OFFLOAD_BOTH - Both GPU and CPU have valid vector/matrix entries and they match 126 $ PETSC_OFFLOAD_KOKKOS - Reserved for Kokkos matrix and vector. It means the offload is managed by Kokkos, thus this flag itself cannot tell you where the valid data is. 127 128 Developer Notes: 129 This enum uses a function (`PetscOffloadMaskToString()`) to convert to string representation so 130 cannot be used in `PetscOptionsEnum()`. 131 132 Level: developer 133 134 .seealso: `PetscOffloadMaskToString()`, `PetscOffloadMaskToMemType()`, `PetscOffloadMaskToDeviceCopyMode()` 135 E*/ 136 typedef enum { 137 PETSC_OFFLOAD_UNALLOCATED = 0x0, 138 PETSC_OFFLOAD_CPU = 0x1, 139 PETSC_OFFLOAD_GPU = 0x2, 140 PETSC_OFFLOAD_BOTH = 0x3, 141 PETSC_OFFLOAD_VECKOKKOS_DEPRECATED = 0x100, 142 PETSC_OFFLOAD_KOKKOS = 0x100 143 } PetscOffloadMask; 144 145 #define PetscOffloadUnallocated(m) ((m) == PETSC_OFFLOAD_UNALLOCATED) 146 #define PetscOffloadHost(m) (((m)&PETSC_OFFLOAD_CPU) == PETSC_OFFLOAD_CPU) 147 #define PetscOffloadDevice(m) (((m)&PETSC_OFFLOAD_GPU) == PETSC_OFFLOAD_GPU) 148 #define PetscOffloadBoth(m) ((m) == PETSC_OFFLOAD_BOTH) 149 150 #if defined(__cplusplus) 151 #if PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 152 #pragma GCC diagnostic push 153 #pragma GCC diagnostic ignored "-Wtautological-compare" 154 #endif 155 static_assert(!PetscOffloadHost(PETSC_OFFLOAD_UNALLOCATED), ""); 156 static_assert(PetscOffloadHost(PETSC_OFFLOAD_BOTH), ""); 157 static_assert(!PetscOffloadHost(PETSC_OFFLOAD_GPU), ""); 158 static_assert(PetscOffloadHost(PETSC_OFFLOAD_BOTH), ""); 159 static_assert(!PetscOffloadHost(PETSC_OFFLOAD_KOKKOS), ""); 160 161 static_assert(!PetscOffloadDevice(PETSC_OFFLOAD_UNALLOCATED), ""); 162 static_assert(!PetscOffloadDevice(PETSC_OFFLOAD_CPU), ""); 163 static_assert(PetscOffloadDevice(PETSC_OFFLOAD_GPU), ""); 164 static_assert(PetscOffloadDevice(PETSC_OFFLOAD_BOTH), ""); 165 static_assert(!PetscOffloadDevice(PETSC_OFFLOAD_KOKKOS), ""); 166 167 static_assert(PetscOffloadBoth(PETSC_OFFLOAD_BOTH), ""); 168 static_assert(!PetscOffloadBoth(PETSC_OFFLOAD_CPU), ""); 169 static_assert(!PetscOffloadBoth(PETSC_OFFLOAD_GPU), ""); 170 static_assert(!PetscOffloadBoth(PETSC_OFFLOAD_GPU), ""); 171 static_assert(!PetscOffloadBoth(PETSC_OFFLOAD_KOKKOS), ""); 172 #if PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 173 #pragma GCC diagnostic pop 174 #endif 175 #endif // __cplusplus 176 177 PETSC_NODISCARD static inline PETSC_CONSTEXPR_14 const char *PetscOffloadMaskToString(PetscOffloadMask mask) { 178 #define PETSC_CASE_RETURN(v) \ 179 case v: return PetscStringize(v) 180 181 switch (mask) { 182 PETSC_CASE_RETURN(PETSC_OFFLOAD_UNALLOCATED); 183 PETSC_CASE_RETURN(PETSC_OFFLOAD_CPU); 184 PETSC_CASE_RETURN(PETSC_OFFLOAD_GPU); 185 PETSC_CASE_RETURN(PETSC_OFFLOAD_BOTH); 186 PETSC_CASE_RETURN(PETSC_OFFLOAD_KOKKOS); 187 } 188 PetscUnreachable(); 189 return "invalid"; 190 #undef PETSC_CASE_RETURN 191 } 192 193 PETSC_NODISCARD static inline PETSC_CONSTEXPR_14 PetscMemType PetscOffloadMaskToMemType(PetscOffloadMask mask) { 194 switch (mask) { 195 case PETSC_OFFLOAD_UNALLOCATED: 196 case PETSC_OFFLOAD_CPU: return PETSC_MEMTYPE_HOST; 197 case PETSC_OFFLOAD_GPU: 198 case PETSC_OFFLOAD_BOTH: return PETSC_MEMTYPE_DEVICE; 199 case PETSC_OFFLOAD_KOKKOS: return PETSC_MEMTYPE_KOKKOS; 200 } 201 PetscUnreachable(); 202 return PETSC_MEMTYPE_HOST; 203 } 204 205 /*E 206 PetscDeviceInitType - Initialization strategy for `PetscDevice` 207 208 $ PETSC_DEVICE_INIT_NONE - PetscDevice is never initialized 209 $ PETSC_DEVICE_INIT_LAZY - PetscDevice is initialized on demand 210 $ PETSC_DEVICE_INIT_EAGER - PetscDevice is initialized as soon as possible 211 212 Notes: 213 `PETSC_DEVICE_INIT_NONE` implies that any initialization of `PetscDevice` is disallowed and 214 doing so results in an error. Useful to ensure that no accelerator is used in a program. 215 216 Level: beginner 217 218 .seealso: `PetscDevice`, `PetscDeviceType`, `PetscDeviceInitialize()`, 219 `PetscDeviceInitialized()`, `PetscDeviceCreate()` 220 E*/ 221 typedef enum { 222 PETSC_DEVICE_INIT_NONE, 223 PETSC_DEVICE_INIT_LAZY, 224 PETSC_DEVICE_INIT_EAGER 225 } PetscDeviceInitType; 226 PETSC_EXTERN const char *const PetscDeviceInitTypes[]; 227 228 /*E 229 PetscDeviceType - Kind of accelerator device backend 230 231 $ PETSC_DEVICE_HOST - Host, no accelerator backend found 232 $ PETSC_DEVICE_CUDA - CUDA enabled GPU 233 $ PETSC_DEVICE_HIP - ROCM/HIP enabled GPU 234 $ PETSC_DEVICE_SYCL - SYCL enabled device 235 $ PETSC_DEVICE_MAX - Always 1 greater than the largest valid PetscDeviceType, invalid type, do not use 236 237 Notes: 238 One can also use the `PETSC_DEVICE_DEFAULT()` routine to get the current default `PetscDeviceType`. 239 240 Level: beginner 241 242 .seealso: `PetscDevice`, `PetscDeviceInitType`, `PetscDeviceCreate()`, `PETSC_DEVICE_DEFAULT()` 243 E*/ 244 typedef enum { 245 PETSC_DEVICE_HOST, 246 PETSC_DEVICE_CUDA, 247 PETSC_DEVICE_HIP, 248 PETSC_DEVICE_SYCL, 249 PETSC_DEVICE_MAX 250 } PetscDeviceType; 251 PETSC_EXTERN const char *const PetscDeviceTypes[]; 252 253 /*E 254 PetscDeviceAttribute - Attribute detailing a property or feature of a `PetscDevice` 255 256 $ PETSC_DEVICE_ATTR_SIZE_T_SHARED_MEM_PER_BLOCK - The maximum amount of shared memory per block in a 257 device kernel 258 $ PETSC_DEVICE_ATTR_MAX - Invalid attribute, do not use 259 260 Level: beginner 261 262 .seealso: `PetscDevice`, `PetscDeviceGetAttribute()` 263 E*/ 264 typedef enum { 265 PETSC_DEVICE_ATTR_SIZE_T_SHARED_MEM_PER_BLOCK, 266 PETSC_DEVICE_ATTR_MAX 267 } PetscDeviceAttribute; 268 PETSC_EXTERN const char *const PetscDeviceAttributes[]; 269 270 /*S 271 PetscDevice - Object to manage an accelerator "device" (usually a GPU) 272 273 Notes: 274 This object is used to house configuration and state of a device, but does not offer any 275 ability to interact with or drive device computation. This functionality is facilitated 276 instead by the `PetscDeviceContext` object. 277 278 Level: beginner 279 280 .seealso: `PetscDeviceType`, `PetscDeviceInitType`, `PetscDeviceCreate()`, 281 `PetscDeviceConfigure()`, `PetscDeviceDestroy()`, `PetscDeviceContext`, 282 `PetscDeviceContextSetDevice()`, `PetscDeviceContextGetDevice()`, `PetscDeviceGetAttribute()` 283 S*/ 284 typedef struct _n_PetscDevice *PetscDevice; 285 286 /*E 287 PetscStreamType - Stream blocking mode, indicates how a stream implementation will interact 288 with the default "NULL" stream, which is usually blocking. 289 290 $ PETSC_STREAM_GLOBAL_BLOCKING - Alias for NULL stream. Any stream of this type will block the host for all other streams to finish work before starting its operations. 291 $ PETSC_STREAM_DEFAULT_BLOCKING - Stream will act independent of other streams, but will still be blocked by actions on the NULL stream. 292 $ PETSC_STREAM_GLOBAL_NONBLOCKING - Stream is truly asynchronous, and is blocked by nothing, not even the NULL stream. 293 $ PETSC_STREAM_MAX - Always 1 greater than the largest PetscStreamType, do not use 294 295 Level: intermediate 296 297 .seealso: `PetscDeviceContextSetStreamType()`, `PetscDeviceContextGetStreamType()` 298 E*/ 299 typedef enum { 300 PETSC_STREAM_GLOBAL_BLOCKING, 301 PETSC_STREAM_DEFAULT_BLOCKING, 302 PETSC_STREAM_GLOBAL_NONBLOCKING, 303 PETSC_STREAM_MAX 304 } PetscStreamType; 305 PETSC_EXTERN const char *const PetscStreamTypes[]; 306 307 /*E 308 PetscDeviceContextJoinMode - Describes the type of join operation to perform in 309 `PetscDeviceContextJoin()` 310 311 $ PETSC_DEVICE_CONTEXT_JOIN_DESTROY - Destroy all incoming sub-contexts after join. 312 $ PETSC_DEVICE_CONTEXT_JOIN_SYNC - Synchronize incoming sub-contexts after join. 313 $ PETSC_DEVICE_CONTEXT_JOIN_NO_SYNC - Do not synchronize incoming sub-contexts after join. 314 315 Level: beginner 316 317 .seealso: `PetscDeviceContext`, `PetscDeviceContextFork()`, `PetscDeviceContextJoin()` 318 E*/ 319 typedef enum { 320 PETSC_DEVICE_CONTEXT_JOIN_DESTROY, 321 PETSC_DEVICE_CONTEXT_JOIN_SYNC, 322 PETSC_DEVICE_CONTEXT_JOIN_NO_SYNC 323 } PetscDeviceContextJoinMode; 324 PETSC_EXTERN const char *const PetscDeviceContextJoinModes[]; 325 326 /*S 327 PetscDeviceContext - Container to manage stream dependencies and the various solver handles 328 for asynchronous device compute. 329 330 Level: beginner 331 332 .seealso: `PetscDevice`, `PetscDeviceContextCreate()`, `PetscDeviceContextSetDevice()`, 333 `PetscDeviceContextDestroy()`,`PetscDeviceContextFork()`, `PetscDeviceContextJoin()` 334 S*/ 335 typedef struct _p_PetscDeviceContext *PetscDeviceContext; 336 337 /*E 338 PetscDeviceCopyMode - Describes the copy direction of a device-aware memcpy 339 340 $ PETSC_DEVICE_COPY_HTOH - Copy from host memory to host memory 341 $ PETSC_DEVICE_COPY_DTOH - Copy from device memory to host memory 342 $ PETSC_DEVICE_COPY_HTOD - Copy from host memory to device memory 343 $ PETSC_DEVICE_COPY_DTOD - Copy from device memory to device memory 344 $ PETSC_DEVICE_COPY_AUTO - Infer the copy direction from the pointers 345 346 Level: beginner 347 348 .seealso: `PetscDeviceArrayCopy()`, `PetscDeviceMemcpy()` 349 E*/ 350 typedef enum { 351 PETSC_DEVICE_COPY_HTOH, 352 PETSC_DEVICE_COPY_DTOH, 353 PETSC_DEVICE_COPY_HTOD, 354 PETSC_DEVICE_COPY_DTOD, 355 PETSC_DEVICE_COPY_AUTO, 356 } PetscDeviceCopyMode; 357 PETSC_EXTERN const char *const PetscDeviceCopyModes[]; 358 359 PETSC_NODISCARD static inline PetscDeviceCopyMode PetscOffloadMaskToDeviceCopyMode(PetscOffloadMask dest, PetscOffloadMask src) { 360 PetscDeviceCopyMode mode; 361 362 PetscFunctionBegin; 363 PetscAssertAbort(dest != PETSC_OFFLOAD_UNALLOCATED, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Cannot copy to unallocated"); 364 PetscAssertAbort(src != PETSC_OFFLOAD_UNALLOCATED, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Cannot copy from unallocated"); 365 366 if (PetscOffloadDevice(dest)) { 367 mode = PetscOffloadHost(src) ? PETSC_DEVICE_COPY_HTOD : PETSC_DEVICE_COPY_DTOD; 368 } else { 369 mode = PetscOffloadHost(src) ? PETSC_DEVICE_COPY_HTOH : PETSC_DEVICE_COPY_DTOH; 370 } 371 PetscFunctionReturn(mode); 372 } 373 374 PETSC_NODISCARD static inline PETSC_CONSTEXPR_14 PetscDeviceCopyMode PetscMemTypeToDeviceCopyMode(PetscMemType dest, PetscMemType src) { 375 if (PetscMemTypeHost(dest)) { 376 return PetscMemTypeHost(src) ? PETSC_DEVICE_COPY_HTOH : PETSC_DEVICE_COPY_DTOH; 377 } else { 378 return PetscMemTypeDevice(src) ? PETSC_DEVICE_COPY_DTOD : PETSC_DEVICE_COPY_HTOD; 379 } 380 } 381 382 /*E 383 PetscMemoryAccessMode - Describes the intended usage of a memory region 384 385 + PETSC_MEMORY_ACCESS_READ - Read only 386 . PETSC_MEMORY_ACCESS_WRITE - Write only 387 - PETSC_MEMORY_ACCESS_READ_WRITE - Read and write 388 389 Notes: 390 This `enum` is a bitmask with the following encoding (assuming 2 bit)\: 391 392 .vb 393 PETSC_MEMORY_ACCESS_READ = 0b01 394 PETSC_MEMORY_ACCESS_WRITE = 0b10 395 PETSC_MEMORY_ACCESS_READ_WRITE = 0b11 396 397 // consequently 398 PETSC_MEMORY_ACCESS_READ | PETSC_MEMORY_ACCESS_WRITE = PETSC_MEMORY_ACCESS_READ_WRITE 399 .ve 400 401 The following convience macros are also provided\: 402 403 - `PetscMemoryAccessRead(mode)`\: `true` if `mode` is any kind of read, `false` otherwise 404 - `PetscMemoryAccessWrite(mode)`\: `true` if `mode` is any kind of write, `false` otherwise 405 406 Developer Notes: 407 This enum uses a function (`PetscMemoryAccessModeToString()`) to convert values to string 408 representation, so cannot be used in `PetscOptionsEnum()`. 409 410 Level: beginner 411 412 .seealso: `PetscMemoryAccessModeToString()`, `PetscDevice`, `PetscDeviceContext` 413 E*/ 414 typedef enum { 415 PETSC_MEMORY_ACCESS_READ = 0x1, // 01 416 PETSC_MEMORY_ACCESS_WRITE = 0x2, // 10 417 PETSC_MEMORY_ACCESS_READ_WRITE = 0x3, // 11 418 } PetscMemoryAccessMode; 419 420 #define PetscMemoryAccessRead(m) (((m)&PETSC_MEMORY_ACCESS_READ) == PETSC_MEMORY_ACCESS_READ) 421 #define PetscMemoryAccessWrite(m) (((m)&PETSC_MEMORY_ACCESS_WRITE) == PETSC_MEMORY_ACCESS_WRITE) 422 423 #if defined(__cplusplus) 424 #if PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 425 #pragma GCC diagnostic push 426 #pragma GCC diagnostic ignored "-Wtautological-compare" 427 #endif 428 static_assert(PetscMemoryAccessRead(PETSC_MEMORY_ACCESS_READ), ""); 429 static_assert(PetscMemoryAccessRead(PETSC_MEMORY_ACCESS_READ_WRITE), ""); 430 static_assert(!PetscMemoryAccessRead(PETSC_MEMORY_ACCESS_WRITE), ""); 431 static_assert(PetscMemoryAccessWrite(PETSC_MEMORY_ACCESS_WRITE), ""); 432 static_assert(PetscMemoryAccessWrite(PETSC_MEMORY_ACCESS_READ_WRITE), ""); 433 static_assert(!PetscMemoryAccessWrite(PETSC_MEMORY_ACCESS_READ), ""); 434 static_assert((PETSC_MEMORY_ACCESS_READ | PETSC_MEMORY_ACCESS_WRITE) == PETSC_MEMORY_ACCESS_READ_WRITE, ""); 435 #if PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 436 #pragma GCC diagnostic pop 437 #endif 438 #endif 439 440 PETSC_NODISCARD static inline PETSC_CONSTEXPR_14 const char *PetscMemoryAccessModeToString(PetscMemoryAccessMode mode) { 441 #define PETSC_CASE_RETURN(v) \ 442 case v: return PetscStringize(v) 443 444 switch (mode) { 445 PETSC_CASE_RETURN(PETSC_MEMORY_ACCESS_READ); 446 PETSC_CASE_RETURN(PETSC_MEMORY_ACCESS_WRITE); 447 PETSC_CASE_RETURN(PETSC_MEMORY_ACCESS_READ_WRITE); 448 } 449 PetscUnreachable(); 450 return "invalid"; 451 #undef PETSC_CASE_RETURN 452 } 453 454 #undef PETSC_SHOULD_SILENCE_GCC_TAUTOLOGICAL_COMPARE_WARNING 455 456 #endif /* PETSCDEVICETYPES_H */ 457