1 // Copyright (c) 2017-2025, 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 //------------------------------------------------------------------------------ 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 //------------------------------------------------------------------------------ 40 CEED_INTERN int CeedRegister_Memcheck_Serial(void) { return CeedRegister("/cpu/self/memcheck/serial", CeedInit_Memcheck, 100); } 41 42 //------------------------------------------------------------------------------ 43