1 // Copyright (c) 2017-2026, Lawrence Livermore National Security, LLC and other CEED contributors.
2 // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3 //
4 // SPDX-License-Identifier: BSD-2-Clause
5 //
6 // This file is part of CEED: http://github.com/ceed
7
8 #include <ceed.h>
9 #include <ceed/backend.h>
10 #include <string.h>
11
12 #include "ceed-memcheck.h"
13
14 //------------------------------------------------------------------------------
15 // Backend Init
16 //------------------------------------------------------------------------------
CeedInit_Memcheck(const char * resource,Ceed ceed)17 static int CeedInit_Memcheck(const char *resource, Ceed ceed) {
18 Ceed ceed_ref;
19
20 CeedCheck(!strcmp(resource, "/cpu/self/memcheck") || !strcmp(resource, "/cpu/self/memcheck/serial"), ceed, CEED_ERROR_BACKEND,
21 "Valgrind Memcheck backend cannot use resource: %s", resource);
22
23 // Create reference Ceed that implementation will be dispatched through unless overridden
24 CeedCallBackend(CeedInit("/cpu/self/ref/serial", &ceed_ref));
25 CeedCallBackend(CeedSetDelegate(ceed, ceed_ref));
26 CeedCallBackend(CeedDestroy(&ceed_ref));
27
28 CeedCallBackend(CeedSetBackendFunction(ceed, "Ceed", ceed, "VectorCreate", CeedVectorCreate_Memcheck));
29 CeedCallBackend(CeedSetBackendFunction(ceed, "Ceed", ceed, "ElemRestrictionCreate", CeedElemRestrictionCreate_Memcheck));
30 CeedCallBackend(CeedSetBackendFunction(ceed, "Ceed", ceed, "ElemRestrictionCreateBlocked", CeedElemRestrictionCreate_Memcheck));
31 CeedCallBackend(CeedSetBackendFunction(ceed, "Ceed", ceed, "ElemRestrictionCreateAtPoints", CeedElemRestrictionCreate_Memcheck));
32 CeedCallBackend(CeedSetBackendFunction(ceed, "Ceed", ceed, "QFunctionCreate", CeedQFunctionCreate_Memcheck));
33 CeedCallBackend(CeedSetBackendFunction(ceed, "Ceed", ceed, "QFunctionContextCreate", CeedQFunctionContextCreate_Memcheck));
34 return CEED_ERROR_SUCCESS;
35 }
36
37 //------------------------------------------------------------------------------
38 // Backend Register
39 //------------------------------------------------------------------------------
CeedRegister_Memcheck_Serial(void)40 CEED_INTERN int CeedRegister_Memcheck_Serial(void) { return CeedRegister("/cpu/self/memcheck/serial", CeedInit_Memcheck, 100); }
41
42 //------------------------------------------------------------------------------
43