xref: /libCEED/interface/ceed-qfunction.c (revision 391f7d98b23119a3db61bce3e938b5dca7339952)
1 // Copyright (c) 2017-2024, 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-impl.h>
9 #include <ceed.h>
10 #include <ceed/backend.h>
11 #include <ceed/jit-tools.h>
12 #include <limits.h>
13 #include <stdbool.h>
14 #include <stdio.h>
15 #include <string.h>
16 
17 /// @file
18 /// Implementation of public CeedQFunction interfaces
19 
20 /// @cond DOXYGEN_SKIP
21 static struct CeedQFunction_private ceed_qfunction_none;
22 /// @endcond
23 
24 /// @addtogroup CeedQFunctionUser
25 /// @{
26 
27 // Indicate that no `CeedQFunction` is provided by the user
28 const CeedQFunction CEED_QFUNCTION_NONE = &ceed_qfunction_none;
29 
30 /// @}
31 
32 /// @cond DOXYGEN_SKIP
33 static struct {
34   char              name[CEED_MAX_RESOURCE_LEN];
35   char              source[CEED_MAX_RESOURCE_LEN];
36   CeedInt           vec_length;
37   CeedQFunctionUser f;
38   int (*init)(Ceed ceed, const char *name, CeedQFunction qf);
39 } gallery_qfunctions[1024];
40 static size_t num_qfunctions;
41 /// @endcond
42 
43 /// ----------------------------------------------------------------------------
44 /// CeedQFunction Library Internal Functions
45 /// ----------------------------------------------------------------------------
46 /// @addtogroup CeedQFunctionDeveloper
47 /// @{
48 
49 /**
50   @brief Register a gallery `CeedQFunction`
51 
52   @param[in] name       Name for this backend to respond to
53   @param[in] source     Absolute path to source of `CeedQFunction`, "\path\CEED_DIR\gallery\folder\file.h:function_name"
54   @param[in] vec_length Vector length.
55                           Caller must ensure that number of quadrature points is a multiple of `vec_length`.
56   @param[in] f          Function pointer to evaluate action at quadrature points.
57                           See `CeedQFunctionUser`.
58   @param[in] init       Initialization function called by @ref CeedQFunctionCreateInteriorByName() when the `CeedQFunction` is selected.
59 
60   @return An error code: 0 - success, otherwise - failure
61 
62   @ref Developer
63 **/
64 int CeedQFunctionRegister(const char *name, const char *source, CeedInt vec_length, CeedQFunctionUser f,
65                           int (*init)(Ceed, const char *, CeedQFunction)) {
66   const char *relative_file_path;
67   int         ierr = 0;
68 
69   CeedDebugEnv("Gallery Register: %s", name);
70   CeedCall(CeedGetJitRelativePath(source, &relative_file_path));
71   CeedPragmaCritical(CeedQFunctionRegister) {
72     if (num_qfunctions < sizeof(gallery_qfunctions) / sizeof(gallery_qfunctions[0])) {
73       strncpy(gallery_qfunctions[num_qfunctions].name, name, CEED_MAX_RESOURCE_LEN);
74       gallery_qfunctions[num_qfunctions].name[CEED_MAX_RESOURCE_LEN - 1] = 0;
75       strncpy(gallery_qfunctions[num_qfunctions].source, relative_file_path, CEED_MAX_RESOURCE_LEN);
76       gallery_qfunctions[num_qfunctions].source[CEED_MAX_RESOURCE_LEN - 1] = 0;
77       gallery_qfunctions[num_qfunctions].vec_length                        = vec_length;
78       gallery_qfunctions[num_qfunctions].f                                 = f;
79       gallery_qfunctions[num_qfunctions].init                              = init;
80       num_qfunctions++;
81     } else {
82       ierr = 1;
83     }
84   }
85   CeedCheck(ierr == 0, NULL, CEED_ERROR_MAJOR, "Too many gallery CeedQFunctions");
86   return CEED_ERROR_SUCCESS;
87 }
88 
89 /**
90   @brief Set a `CeedQFunction` field, used by @ref CeedQFunctionAddInput() and @ref CeedQFunctionAddOutput()
91 
92   @param[out] f           `CeedQFunctionField`
93   @param[in]  field_name  Name of `CeedQFunction` field
94   @param[in]  size        Size of `CeedQFunction` field, (`num_comp * 1`) for @ref CEED_EVAL_NONE and @ref CEED_EVAL_WEIGHT, (`num_comp * 1`) for @ref CEED_EVAL_INTERP for an \f$H^1\f$ space or (`num_comp * dim`) for an \f$H(\mathrm{div})\f$ or \f$H(\mathrm{curl})\f$ space, (`num_comp * dim`) for @ref CEED_EVAL_GRAD, or (num_comp * 1) for @ref CEED_EVAL_DIV, and (`num_comp * curl_dim`) with `curl_dim = 1` if `dim < 3` and `curl_dim = dim` for @ref CEED_EVAL_CURL.
95   @param[in]  eval_mode   @ref CEED_EVAL_NONE to use values directly,
96                             @ref CEED_EVAL_WEIGHT to use quadrature weights,
97                             @ref CEED_EVAL_INTERP to use interpolated values,
98                             @ref CEED_EVAL_GRAD to use gradients,
99                             @ref CEED_EVAL_DIV to use divergence,
100                             @ref CEED_EVAL_CURL to use curl
101 
102   @return An error code: 0 - success, otherwise - failure
103 
104   @ref Developer
105 **/
106 static int CeedQFunctionFieldSet(CeedQFunctionField *f, const char *field_name, CeedInt size, CeedEvalMode eval_mode) {
107   CeedCall(CeedCalloc(1, f));
108   CeedCall(CeedStringAllocCopy(field_name, (char **)&(*f)->field_name));
109   (*f)->size      = size;
110   (*f)->eval_mode = eval_mode;
111   return CEED_ERROR_SUCCESS;
112 }
113 
114 /**
115   @brief View a field of a `CeedQFunction`
116 
117   @param[in] field        `CeedQFunction` field to view
118   @param[in] field_number Number of field being viewed
119   @param[in] in           true for input field, false for output
120   @param[in] stream       Stream to view to, e.g., `stdout`
121 
122   @return An error code: 0 - success, otherwise - failure
123 
124   @ref Utility
125 **/
126 static int CeedQFunctionFieldView(CeedQFunctionField field, CeedInt field_number, bool in, FILE *stream) {
127   const char  *inout = in ? "Input" : "Output";
128   const char  *field_name;
129   CeedInt      size;
130   CeedEvalMode eval_mode;
131 
132   CeedCall(CeedQFunctionFieldGetData(field, &field_name, &size, &eval_mode));
133   fprintf(stream,
134           "    %s field %" CeedInt_FMT
135           ":\n"
136           "      Name: \"%s\"\n"
137           "      Size: %" CeedInt_FMT
138           "\n"
139           "      EvalMode: \"%s\"\n",
140           inout, field_number, field_name, size, CeedEvalModes[eval_mode]);
141   return CEED_ERROR_SUCCESS;
142 }
143 
144 /**
145   @brief Set flag to determine if Fortran interface is used
146 
147   @param[in,out] qf     CeedQFunction
148   @param[in]     status Boolean value to set as Fortran status
149 
150   @return An error code: 0 - success, otherwise - failure
151 
152   @ref Backend
153 **/
154 int CeedQFunctionSetFortranStatus(CeedQFunction qf, bool status) {
155   qf->is_fortran = status;
156   return CEED_ERROR_SUCCESS;
157 }
158 
159 /// @}
160 
161 /// ----------------------------------------------------------------------------
162 /// CeedQFunction Backend API
163 /// ----------------------------------------------------------------------------
164 /// @addtogroup CeedQFunctionBackend
165 /// @{
166 
167 /**
168   @brief Get the vector length of a `CeedQFunction`
169 
170   @param[in]  qf         `CeedQFunction`
171   @param[out] vec_length Variable to store vector length
172 
173   @return An error code: 0 - success, otherwise - failure
174 
175   @ref Backend
176 **/
177 int CeedQFunctionGetVectorLength(CeedQFunction qf, CeedInt *vec_length) {
178   *vec_length = qf->vec_length;
179   return CEED_ERROR_SUCCESS;
180 }
181 
182 /**
183   @brief Get the number of inputs and outputs to a `CeedQFunction`
184 
185   @param[in]  qf         `CeedQFunction`
186   @param[out] num_input  Variable to store number of input fields
187   @param[out] num_output Variable to store number of output fields
188 
189   @return An error code: 0 - success, otherwise - failure
190 
191   @ref Backend
192 **/
193 int CeedQFunctionGetNumArgs(CeedQFunction qf, CeedInt *num_input, CeedInt *num_output) {
194   if (num_input) *num_input = qf->num_input_fields;
195   if (num_output) *num_output = qf->num_output_fields;
196   return CEED_ERROR_SUCCESS;
197 }
198 
199 /**
200   @brief Get the name of the user function for a `CeedQFunction`
201 
202   @param[in]  qf          `CeedQFunction`
203   @param[out] kernel_name Variable to store source path string
204 
205   @return An error code: 0 - success, otherwise - failure
206 
207   @ref Backend
208 **/
209 int CeedQFunctionGetKernelName(CeedQFunction qf, const char **kernel_name) {
210   if (!qf->kernel_name) {
211     char *kernel_name_copy;
212 
213     if (qf->user_source) {
214       const char *kernel_name     = strrchr(qf->user_source, ':') + 1;
215       size_t      kernel_name_len = strlen(kernel_name);
216 
217       CeedCall(CeedCalloc(kernel_name_len + 1, &kernel_name_copy));
218       memcpy(kernel_name_copy, kernel_name, kernel_name_len);
219     } else {
220       CeedCall(CeedCalloc(1, &kernel_name_copy));
221     }
222     qf->kernel_name = kernel_name_copy;
223   }
224 
225   *kernel_name = qf->kernel_name;
226   return CEED_ERROR_SUCCESS;
227 }
228 
229 /**
230   @brief Get the source path string for a `CeedQFunction`
231 
232   @param[in]  qf          `CeedQFunction`
233   @param[out] source_path Variable to store source path string
234 
235   @return An error code: 0 - success, otherwise - failure
236 
237   @ref Backend
238 **/
239 int CeedQFunctionGetSourcePath(CeedQFunction qf, const char **source_path) {
240   if (!qf->source_path && qf->user_source) {
241     Ceed        ceed;
242     bool        is_absolute_path;
243     char       *source_path_copy;
244     const char *absolute_path;
245     const char *kernel_name     = strrchr(qf->user_source, ':') + 1;
246     size_t      kernel_name_len = strlen(kernel_name);
247 
248     CeedCall(CeedQFunctionGetCeed(qf, &ceed));
249     CeedCall(CeedCheckFilePath(ceed, qf->user_source, &is_absolute_path));
250     if (is_absolute_path) {
251       absolute_path = (char *)qf->user_source;
252     } else {
253       CeedCall(CeedGetJitAbsolutePath(ceed, qf->user_source, &absolute_path));
254     }
255 
256     size_t source_len = strlen(absolute_path) - kernel_name_len - 1;
257 
258     CeedCall(CeedCalloc(source_len + 1, &source_path_copy));
259     memcpy(source_path_copy, absolute_path, source_len);
260     qf->source_path = source_path_copy;
261 
262     if (!is_absolute_path) CeedCall(CeedFree(&absolute_path));
263   }
264 
265   *source_path = (char *)qf->source_path;
266   return CEED_ERROR_SUCCESS;
267 }
268 
269 /**
270   @brief Initialize and load `CeedQFunction` source file into string buffer, including full text of local files in place of `#include "local.h"`.
271 
272   The `buffer` is set to `NULL` if there is no `CeedQFunction` source file.
273 
274   Note: This function may as well return a mutable buffer, but all current uses
275   do not modify it. (This is just a downside of `const` semantics with output
276   arguments instead of returns.)
277 
278   Note: Caller is responsible for freeing the string buffer with @ref CeedFree().
279 
280   @param[in]  qf            `CeedQFunction`
281   @param[out] source_buffer String buffer for source file contents
282 
283   @return An error code: 0 - success, otherwise - failure
284 
285   @ref Backend
286 **/
287 int CeedQFunctionLoadSourceToBuffer(CeedQFunction qf, const char **source_buffer) {
288   const char *source_path;
289 
290   CeedCall(CeedQFunctionGetSourcePath(qf, &source_path));
291   *source_buffer = NULL;
292   if (source_path) {
293     Ceed  ceed;
294     char *buffer = NULL;
295 
296     CeedCall(CeedQFunctionGetCeed(qf, &ceed));
297     CeedCall(CeedLoadSourceToBuffer(ceed, source_path, &buffer));
298     *source_buffer = buffer;
299   }
300   return CEED_ERROR_SUCCESS;
301 }
302 
303 /**
304   @brief Get the User Function for a `CeedQFunction`
305 
306   @param[in]  qf `CeedQFunction`
307   @param[out] f  Variable to store user function
308 
309   @return An error code: 0 - success, otherwise - failure
310 
311   @ref Backend
312 **/
313 int CeedQFunctionGetUserFunction(CeedQFunction qf, CeedQFunctionUser *f) {
314   *f = qf->function;
315   return CEED_ERROR_SUCCESS;
316 }
317 
318 /**
319   @brief Get global context for a `CeedQFunction`.
320 
321   Note: For `CeedQFunction` from the Fortran interface, this function will return the Fortran context `CeedQFunctionContext`.
322 
323   @param[in]  qf  CeedQFunction
324   @param[out] ctx Variable to store CeedQFunctionContext
325 
326   @return An error code: 0 - success, otherwise - failure
327 
328   @ref Backend
329 **/
330 int CeedQFunctionGetContext(CeedQFunction qf, CeedQFunctionContext *ctx) {
331   *ctx = qf->ctx;
332   return CEED_ERROR_SUCCESS;
333 }
334 
335 /**
336   @brief Get context data of a `CeedQFunction`
337 
338   @param[in]  qf       `CeedQFunction`
339   @param[in]  mem_type Memory type on which to access the data.
340                          If the backend uses a different memory type, this will perform a copy.
341   @param[out] data     Data on memory type mem_type
342 
343   @return An error code: 0 - success, otherwise - failure
344 
345   @ref Backend
346 **/
347 int CeedQFunctionGetContextData(CeedQFunction qf, CeedMemType mem_type, void *data) {
348   bool                 is_writable;
349   CeedQFunctionContext ctx;
350 
351   CeedCall(CeedQFunctionGetContext(qf, &ctx));
352   if (ctx) {
353     CeedCall(CeedQFunctionIsContextWritable(qf, &is_writable));
354     if (is_writable) {
355       CeedCall(CeedQFunctionContextGetData(ctx, mem_type, data));
356     } else {
357       CeedCall(CeedQFunctionContextGetDataRead(ctx, mem_type, data));
358     }
359   } else {
360     *(void **)data = NULL;
361   }
362   return CEED_ERROR_SUCCESS;
363 }
364 
365 /**
366   @brief Restore context data of a `CeedQFunction`
367 
368   @param[in]     qf   `CeedQFunction`
369   @param[in,out] data Data to restore
370 
371   @return An error code: 0 - success, otherwise - failure
372 
373   @ref Backend
374 **/
375 int CeedQFunctionRestoreContextData(CeedQFunction qf, void *data) {
376   bool                 is_writable;
377   CeedQFunctionContext ctx;
378 
379   CeedCall(CeedQFunctionGetContext(qf, &ctx));
380   if (ctx) {
381     CeedCall(CeedQFunctionIsContextWritable(qf, &is_writable));
382     if (is_writable) {
383       CeedCall(CeedQFunctionContextRestoreData(ctx, data));
384     } else {
385       CeedCall(CeedQFunctionContextRestoreDataRead(ctx, data));
386     }
387   }
388   *(void **)data = NULL;
389   return CEED_ERROR_SUCCESS;
390 }
391 
392 /**
393   @brief Get true user context for a `CeedQFunction`
394 
395   Note: For all `CeedQFunction` this function will return the user `CeedQFunctionContext` and not interface context `CeedQFunctionContext`, if any such object exists.
396 
397   @param[in]  qf  `CeedQFunction`
398   @param[out] ctx Variable to store `CeedQFunctionContext`
399 
400   @return An error code: 0 - success, otherwise - failure
401   @ref Backend
402 **/
403 int CeedQFunctionGetInnerContext(CeedQFunction qf, CeedQFunctionContext *ctx) {
404   CeedQFunctionContext qf_ctx;
405 
406   CeedCall(CeedQFunctionGetContext(qf, &qf_ctx));
407   if (qf->is_fortran) {
408     CeedFortranContext fortran_ctx = NULL;
409 
410     CeedCall(CeedQFunctionContextGetData(qf_ctx, CEED_MEM_HOST, &fortran_ctx));
411     *ctx = fortran_ctx->inner_ctx;
412     CeedCall(CeedQFunctionContextRestoreData(qf_ctx, &fortran_ctx));
413   } else {
414     *ctx = qf_ctx;
415   }
416   return CEED_ERROR_SUCCESS;
417 }
418 
419 /**
420   @brief Get inner context data of a `CeedQFunction`
421 
422   @param[in]  qf       `CeedQFunction`
423   @param[in]  mem_type Memory type on which to access the data.
424                          If the backend uses a different memory type, this will perform a copy.
425   @param[out] data     Data on memory type mem_type
426 
427   @return An error code: 0 - success, otherwise - failure
428 
429   @ref Backend
430 **/
431 int CeedQFunctionGetInnerContextData(CeedQFunction qf, CeedMemType mem_type, void *data) {
432   bool                 is_writable;
433   CeedQFunctionContext ctx;
434 
435   CeedCall(CeedQFunctionGetInnerContext(qf, &ctx));
436   if (ctx) {
437     CeedCall(CeedQFunctionIsContextWritable(qf, &is_writable));
438     if (is_writable) {
439       CeedCall(CeedQFunctionContextGetData(ctx, mem_type, data));
440     } else {
441       CeedCall(CeedQFunctionContextGetDataRead(ctx, mem_type, data));
442     }
443   } else {
444     *(void **)data = NULL;
445   }
446   return CEED_ERROR_SUCCESS;
447 }
448 
449 /**
450   @brief Restore inner context data of a `CeedQFunction`
451 
452   @param[in]     qf   `CeedQFunction`
453   @param[in,out] data Data to restore
454 
455   @return An error code: 0 - success, otherwise - failure
456 
457   @ref Backend
458 **/
459 int CeedQFunctionRestoreInnerContextData(CeedQFunction qf, void *data) {
460   bool                 is_writable;
461   CeedQFunctionContext ctx;
462 
463   CeedCall(CeedQFunctionGetInnerContext(qf, &ctx));
464   if (ctx) {
465     CeedCall(CeedQFunctionIsContextWritable(qf, &is_writable));
466     if (is_writable) {
467       CeedCall(CeedQFunctionContextRestoreData(ctx, data));
468     } else {
469       CeedCall(CeedQFunctionContextRestoreDataRead(ctx, data));
470     }
471   }
472   *(void **)data = NULL;
473   return CEED_ERROR_SUCCESS;
474 }
475 
476 /**
477   @brief Determine if `CeedQFunction` is identity
478 
479   @param[in]  qf          `CeedQFunction`
480   @param[out] is_identity Variable to store identity status
481 
482   @return An error code: 0 - success, otherwise - failure
483 
484   @ref Backend
485 **/
486 int CeedQFunctionIsIdentity(CeedQFunction qf, bool *is_identity) {
487   *is_identity = qf->is_identity;
488   return CEED_ERROR_SUCCESS;
489 }
490 
491 /**
492   @brief Determine if `CeedQFunctionContext` is writable
493 
494   @param[in]  qf          `CeedQFunction`
495   @param[out] is_writable Variable to store context writeable status
496 
497   @return An error code: 0 - success, otherwise - failure
498 
499   @ref Backend
500 **/
501 int CeedQFunctionIsContextWritable(CeedQFunction qf, bool *is_writable) {
502   *is_writable = qf->is_context_writable;
503   return CEED_ERROR_SUCCESS;
504 }
505 
506 /**
507   @brief Get backend data of a `CeedQFunction`
508 
509   @param[in]  qf   `CeedQFunction`
510   @param[out] data Variable to store data
511 
512   @return An error code: 0 - success, otherwise - failure
513 
514   @ref Backend
515 **/
516 int CeedQFunctionGetData(CeedQFunction qf, void *data) {
517   *(void **)data = qf->data;
518   return CEED_ERROR_SUCCESS;
519 }
520 
521 /**
522   @brief Set backend data of a `CeedQFunction`
523 
524   @param[in,out] qf   `CeedQFunction`
525   @param[in]     data Data to set
526 
527   @return An error code: 0 - success, otherwise - failure
528 
529   @ref Backend
530 **/
531 int CeedQFunctionSetData(CeedQFunction qf, void *data) {
532   qf->data = data;
533   return CEED_ERROR_SUCCESS;
534 }
535 
536 /**
537   @brief Get a boolean value indicating if the `CeedQFunction` is immutable
538 
539   @param[in]  qf           `CeedOperator`
540   @param[out] is_immutable Variable to store immutability status
541 
542   @return An error code: 0 - success, otherwise - failure
543 
544   @ref Backend
545 **/
546 int CeedQFunctionIsImmutable(CeedQFunction qf, bool *is_immutable) {
547   *is_immutable = qf->is_immutable;
548   return CEED_ERROR_SUCCESS;
549 }
550 
551 /**
552   @brief Set the immutable flag of a `CeedQFunction` to `true`
553 
554   @param[in,out] qf `CeedQFunction`
555 
556   @return An error code: 0 - success, otherwise - failure
557 
558   @ref Backend
559 **/
560 int CeedQFunctionSetImmutable(CeedQFunction qf) {
561   qf->is_immutable = true;
562   return CEED_ERROR_SUCCESS;
563 }
564 
565 /**
566   @brief Increment the reference counter for a `CeedQFunction`
567 
568   @param[in,out] qf `CeedQFunction` to increment the reference counter
569 
570   @return An error code: 0 - success, otherwise - failure
571 
572   @ref Backend
573 **/
574 int CeedQFunctionReference(CeedQFunction qf) {
575   qf->ref_count++;
576   return CEED_ERROR_SUCCESS;
577 }
578 
579 /**
580   @brief Estimate number of FLOPs per quadrature required to apply `CeedQFunction`
581 
582   @param[in]  qf    `CeedQFunction` to estimate FLOPs for
583   @param[out] flops Address of variable to hold FLOPs estimate
584 
585   @ref Backend
586 **/
587 int CeedQFunctionGetFlopsEstimate(CeedQFunction qf, CeedSize *flops) {
588   *flops = qf->user_flop_estimate;
589   return CEED_ERROR_SUCCESS;
590 }
591 
592 /// @}
593 
594 /// ----------------------------------------------------------------------------
595 /// CeedQFunction Public API
596 /// ----------------------------------------------------------------------------
597 /// @addtogroup CeedQFunctionUser
598 /// @{
599 
600 /**
601   @brief Create a `CeedQFunction` for evaluating interior (volumetric) terms
602 
603   @param[in]  ceed       `Ceed` object used to create the `CeedQFunction`
604   @param[in]  vec_length Vector length.
605                            Caller must ensure that number of quadrature points is a multiple of `vec_length`.
606   @param[in]  f          Function pointer to evaluate action at quadrature points.
607                            See `CeedQFunctionUser`.
608   @param[in]  source     Absolute path to source of `CeedQFunctionUser`, "\abs_path\file.h:function_name".
609                            The entire source file must only contain constructs supported by all targeted backends (i.e. CUDA for `/gpu/cuda`, OpenCL/SYCL for `/gpu/sycl`, etc.).
610                            The entire contents of this file and all locally included files are used during JiT compilation for GPU backends.
611                            The header `ceed/types.h` is preferred over `ceed.h` or `ceed/ceed.h` for `CeedQFunction` source files.
612                            The macro `CEED_RUNNING_JIT_PASS` is set during JiT and can be used to guard include statements that JiT compilers cannot use, such as `math.h` or `std*.h`.
613                            All source files must be at the provided filepath at runtime for JiT to function.
614   @param[out] qf         Address of the variable where the newly created `CeedQFunction` will be stored
615 
616   @return An error code: 0 - success, otherwise - failure
617 
618   See \ref CeedQFunctionUser for details on the call-back function `f` arguments.
619 
620   @ref User
621 **/
622 int CeedQFunctionCreateInterior(Ceed ceed, CeedInt vec_length, CeedQFunctionUser f, const char *source, CeedQFunction *qf) {
623   char *user_source_copy;
624 
625   if (!ceed->QFunctionCreate) {
626     Ceed delegate;
627 
628     CeedCall(CeedGetObjectDelegate(ceed, &delegate, "QFunction"));
629     CeedCheck(delegate, ceed, CEED_ERROR_UNSUPPORTED, "Backend does not implement CeedQFunctionCreateInterior");
630     CeedCall(CeedQFunctionCreateInterior(delegate, vec_length, f, source, qf));
631     return CEED_ERROR_SUCCESS;
632   }
633 
634   CeedCheck(!strlen(source) || strrchr(source, ':'), ceed, CEED_ERROR_INCOMPLETE,
635             "Provided path to source does not include function name. Provided: \"%s\"\nRequired: \"\\abs_path\\file.h:function_name\"", source);
636 
637   CeedCall(CeedCalloc(1, qf));
638   CeedCall(CeedReferenceCopy(ceed, &(*qf)->ceed));
639   (*qf)->ref_count           = 1;
640   (*qf)->vec_length          = vec_length;
641   (*qf)->is_identity         = false;
642   (*qf)->is_context_writable = true;
643   (*qf)->function            = f;
644   (*qf)->user_flop_estimate  = -1;
645   if (strlen(source)) {
646     size_t user_source_len = strlen(source);
647 
648     CeedCall(CeedCalloc(user_source_len + 1, &user_source_copy));
649     memcpy(user_source_copy, source, user_source_len);
650     (*qf)->user_source = user_source_copy;
651   }
652   CeedCall(CeedCalloc(CEED_FIELD_MAX, &(*qf)->input_fields));
653   CeedCall(CeedCalloc(CEED_FIELD_MAX, &(*qf)->output_fields));
654   CeedCall(ceed->QFunctionCreate(*qf));
655   return CEED_ERROR_SUCCESS;
656 }
657 
658 /**
659   @brief Create a `CeedQFunction` for evaluating interior (volumetric) terms by name
660 
661   @param[in]  ceed `Ceed` object used to create the `CeedQFunction`
662   @param[in]  name Name of `CeedQFunction` to use from gallery
663   @param[out] qf   Address of the variable where the newly created `CeedQFunction` will be stored
664 
665   @return An error code: 0 - success, otherwise - failure
666 
667   @ref User
668 **/
669 int CeedQFunctionCreateInteriorByName(Ceed ceed, const char *name, CeedQFunction *qf) {
670   size_t match_len = 0, match_index = UINT_MAX;
671 
672   CeedCall(CeedQFunctionRegisterAll());
673   // Find matching backend
674   CeedCheck(name, ceed, CEED_ERROR_INCOMPLETE, "No CeedQFunction name provided");
675   for (size_t i = 0; i < num_qfunctions; i++) {
676     size_t      n;
677     const char *curr_name = gallery_qfunctions[i].name;
678     for (n = 0; curr_name[n] && curr_name[n] == name[n]; n++) {
679     }
680     if (n > match_len) {
681       match_len   = n;
682       match_index = i;
683     }
684   }
685   CeedCheck(match_len > 0, ceed, CEED_ERROR_UNSUPPORTED, "No suitable gallery CeedQFunction");
686 
687   // Create QFunction
688   CeedCall(CeedQFunctionCreateInterior(ceed, gallery_qfunctions[match_index].vec_length, gallery_qfunctions[match_index].f,
689                                        gallery_qfunctions[match_index].source, qf));
690 
691   // QFunction specific setup
692   CeedCall(gallery_qfunctions[match_index].init(ceed, name, *qf));
693 
694   // Copy name
695   CeedCall(CeedStringAllocCopy(name, (char **)&(*qf)->gallery_name));
696   (*qf)->is_gallery = true;
697   return CEED_ERROR_SUCCESS;
698 }
699 
700 /**
701   @brief Create an identity `CeedQFunction`.
702 
703   Inputs are written into outputs in the order given.
704   This is useful for `CeedOperator that can be represented with only the action of a `CeedElemRestriction` and `CeedBasis`, such as restriction and prolongation operators for p-multigrid.
705   Backends may optimize `CeedOperator` with this `CeedQFunction` to avoid the copy of input data to output fields by using the same memory location for both.
706 
707   @param[in]  ceed     `Ceed` object used to create the `CeedQFunction`
708   @param[in]  size     Size of the `CeedQFunction` fields
709   @param[in]  in_mode  @ref CeedEvalMode for input to `CeedQFunction`
710   @param[in]  out_mode @ref CeedEvalMode for output to `CeedQFunction`
711   @param[out] qf       Address of the variable where the newly created `CeedQFunction` will be stored
712 
713   @return An error code: 0 - success, otherwise - failure
714 
715   @ref User
716 **/
717 int CeedQFunctionCreateIdentity(Ceed ceed, CeedInt size, CeedEvalMode in_mode, CeedEvalMode out_mode, CeedQFunction *qf) {
718   CeedQFunctionContext  ctx;
719   CeedContextFieldLabel size_label;
720 
721   CeedCall(CeedQFunctionCreateInteriorByName(ceed, "Identity", qf));
722   CeedCall(CeedQFunctionAddInput(*qf, "input", size, in_mode));
723   CeedCall(CeedQFunctionAddOutput(*qf, "output", size, out_mode));
724 
725   (*qf)->is_identity = true;
726 
727   CeedCall(CeedQFunctionGetContext(*qf, &ctx));
728   CeedCall(CeedQFunctionContextGetFieldLabel(ctx, "size", &size_label));
729   CeedCall(CeedQFunctionContextSetInt32(ctx, size_label, &size));
730   return CEED_ERROR_SUCCESS;
731 }
732 
733 /**
734   @brief Copy the pointer to a `CeedQFunction`.
735 
736   Both pointers should be destroyed with @ref CeedQFunctionDestroy().
737 
738   Note: If the value of `*qf_copy` passed to this function is non-NULL, then it is assumed that `*qf_copy` is a pointer to a `CeedQFunction`.
739         This `CeedQFunction` will be destroyed if `*qf_copy` is the only reference to this `CeedQFunction`.
740 
741   @param[in]  qf      `CeedQFunction` to copy reference to
742   @param[out] qf_copy Variable to store copied reference
743 
744   @return An error code: 0 - success, otherwise - failure
745 
746   @ref User
747 **/
748 int CeedQFunctionReferenceCopy(CeedQFunction qf, CeedQFunction *qf_copy) {
749   CeedCall(CeedQFunctionReference(qf));
750   CeedCall(CeedQFunctionDestroy(qf_copy));
751   *qf_copy = qf;
752   return CEED_ERROR_SUCCESS;
753 }
754 
755 /**
756   @brief Add a `CeedQFunction` input
757 
758   @param[in,out] qf         `CeedQFunction`
759   @param[in]     field_name Name of `CeedQFunction` field
760   @param[in]     size       Size of `CeedQFunction` field, (`num_comp * 1`) for @ref CEED_EVAL_NONE, (`num_comp * 1`) for @ref CEED_EVAL_INTERP for an \f$H^1\f$ space or (`num_comp * dim`) for an \f$H(\mathrm{div})\f$ or \f$H(\mathrm{curl})\f$ space, (`num_comp * dim`) for @ref CEED_EVAL_GRAD, or (`num_comp * 1`) for @ref CEED_EVAL_DIV, and (`num_comp * curl_dim`) with `curl_dim = 1` if `dim < 3` otherwise `curl_dim = dim` for @ref CEED_EVAL_CURL.
761   @param[in]     eval_mode  @ref CEED_EVAL_NONE to use values directly,
762                               @ref CEED_EVAL_INTERP to use interpolated values,
763                               @ref CEED_EVAL_GRAD to use gradients,
764                               @ref CEED_EVAL_DIV to use divergence,
765                               @ref CEED_EVAL_CURL to use curl
766 
767   @return An error code: 0 - success, otherwise - failure
768 
769   @ref User
770 **/
771 int CeedQFunctionAddInput(CeedQFunction qf, const char *field_name, CeedInt size, CeedEvalMode eval_mode) {
772   bool is_immutable;
773   Ceed ceed;
774 
775   CeedCall(CeedQFunctionGetCeed(qf, &ceed));
776   CeedCall(CeedQFunctionIsImmutable(qf, &is_immutable));
777   CeedCheck(!is_immutable, ceed, CEED_ERROR_MAJOR, "QFunction cannot be changed after set as immutable");
778   CeedCheck(eval_mode != CEED_EVAL_WEIGHT || size == 1, ceed, CEED_ERROR_DIMENSION, "CEED_EVAL_WEIGHT should have size 1");
779   for (CeedInt i = 0; i < qf->num_input_fields; i++) {
780     CeedCheck(strcmp(field_name, qf->input_fields[i]->field_name), ceed, CEED_ERROR_MINOR,
781               "CeedQFunction field names must be unique. Duplicate name: %s", field_name);
782   }
783   for (CeedInt i = 0; i < qf->num_output_fields; i++) {
784     CeedCheck(strcmp(field_name, qf->output_fields[i]->field_name), ceed, CEED_ERROR_MINOR,
785               "CeedQFunction field names must be unique. Duplicate name: %s", field_name);
786   }
787   CeedCall(CeedQFunctionFieldSet(&qf->input_fields[qf->num_input_fields], field_name, size, eval_mode));
788   qf->num_input_fields++;
789   return CEED_ERROR_SUCCESS;
790 }
791 
792 /**
793   @brief Add a `CeedQFunction` output
794 
795   @param[in,out] qf         `CeedQFunction`
796   @param[in]     field_name Name of `CeedQFunction` field
797   @param[in]     size       Size of `CeedQFunction` field, (`num_comp * 1`) for @ref CEED_EVAL_NONE, (`num_comp * 1`) for @ref CEED_EVAL_INTERP for an \f$H^1\f$ space or (`num_comp * dim`) for an \f$H(\mathrm{div})\f$ or \f$H(\mathrm{curl})\f$ space, (`num_comp * dim`) for @ref CEED_EVAL_GRAD, or (`num_comp * 1`) for @ref CEED_EVAL_DIV, and (`num_comp * curl_dim`) with `curl_dim = 1` if `dim < 3` else dim for @ref CEED_EVAL_CURL.
798   @param[in]     eval_mode  @ref CEED_EVAL_NONE to use values directly,
799                               @ref CEED_EVAL_INTERP to use interpolated values,
800                               @ref CEED_EVAL_GRAD to use gradients,
801                               @ref CEED_EVAL_DIV to use divergence,
802                               @ref CEED_EVAL_CURL to use curl.
803 
804   @return An error code: 0 - success, otherwise - failure
805 
806   @ref User
807 **/
808 int CeedQFunctionAddOutput(CeedQFunction qf, const char *field_name, CeedInt size, CeedEvalMode eval_mode) {
809   bool is_immutable;
810   Ceed ceed;
811 
812   CeedCall(CeedQFunctionGetCeed(qf, &ceed));
813   CeedCall(CeedQFunctionIsImmutable(qf, &is_immutable));
814   CeedCheck(!is_immutable, ceed, CEED_ERROR_MAJOR, "CeedQFunction cannot be changed after set as immutable");
815   CeedCheck(eval_mode != CEED_EVAL_WEIGHT, ceed, CEED_ERROR_DIMENSION, "Cannot create CeedQFunction output with CEED_EVAL_WEIGHT");
816   for (CeedInt i = 0; i < qf->num_input_fields; i++) {
817     CeedCheck(strcmp(field_name, qf->input_fields[i]->field_name), ceed, CEED_ERROR_MINOR, "CeedQFunction field names must be unique");
818   }
819   for (CeedInt i = 0; i < qf->num_output_fields; i++) {
820     CeedCheck(strcmp(field_name, qf->output_fields[i]->field_name), ceed, CEED_ERROR_MINOR, "CeedQFunction field names must be unique");
821   }
822   CeedCall(CeedQFunctionFieldSet(&qf->output_fields[qf->num_output_fields], field_name, size, eval_mode));
823   qf->num_output_fields++;
824   return CEED_ERROR_SUCCESS;
825 }
826 
827 /**
828   @brief Get the `CeedQFunctionField` of a `CeedQFunction`
829 
830   Note: Calling this function asserts that setup is complete and sets the `CeedQFunction` as immutable.
831 
832   @param[in]  qf                `CeedQFunction`
833   @param[out] num_input_fields  Variable to store number of input fields
834   @param[out] input_fields      Variable to store input fields
835   @param[out] num_output_fields Variable to store number of output fields
836   @param[out] output_fields     Variable to store output fields
837 
838   @return An error code: 0 - success, otherwise - failure
839 
840   @ref Advanced
841 **/
842 int CeedQFunctionGetFields(CeedQFunction qf, CeedInt *num_input_fields, CeedQFunctionField **input_fields, CeedInt *num_output_fields,
843                            CeedQFunctionField **output_fields) {
844   CeedCall(CeedQFunctionSetImmutable(qf));
845   if (num_input_fields) *num_input_fields = qf->num_input_fields;
846   if (input_fields) *input_fields = qf->input_fields;
847   if (num_output_fields) *num_output_fields = qf->num_output_fields;
848   if (output_fields) *output_fields = qf->output_fields;
849   return CEED_ERROR_SUCCESS;
850 }
851 
852 /**
853   @brief Get the name of a `CeedQFunctionField`
854 
855   @param[in]  qf_field   `CeedQFunctionField`
856   @param[out] field_name Variable to store the field name
857 
858   @return An error code: 0 - success, otherwise - failure
859 
860   @ref Advanced
861 **/
862 int CeedQFunctionFieldGetName(CeedQFunctionField qf_field, const char **field_name) {
863   *field_name = qf_field->field_name;
864   return CEED_ERROR_SUCCESS;
865 }
866 
867 /**
868   @brief Get the number of components of a `CeedQFunctionField`
869 
870   @param[in]  qf_field `CeedQFunctionField`
871   @param[out] size     Variable to store the size of the field
872 
873   @return An error code: 0 - success, otherwise - failure
874 
875   @ref Advanced
876 **/
877 int CeedQFunctionFieldGetSize(CeedQFunctionField qf_field, CeedInt *size) {
878   *size = qf_field->size;
879   return CEED_ERROR_SUCCESS;
880 }
881 
882 /**
883   @brief Get the @ref CeedEvalMode of a `CeedQFunctionField`
884 
885   @param[in]  qf_field  `CeedQFunctionField`
886   @param[out] eval_mode Variable to store the field evaluation mode
887 
888   @return An error code: 0 - success, otherwise - failure
889 
890   @ref Advanced
891 **/
892 int CeedQFunctionFieldGetEvalMode(CeedQFunctionField qf_field, CeedEvalMode *eval_mode) {
893   *eval_mode = qf_field->eval_mode;
894   return CEED_ERROR_SUCCESS;
895 }
896 
897 /**
898   @brief Get the data of a `CeedQFunctionField`.
899 
900   Any arguments set as `NULL` are ignored.
901 
902   @param[in]  qf_field   `CeedQFunctionField`
903   @param[out] field_name Variable to store the field name
904   @param[out] size       Variable to store the size of the field
905   @param[out] eval_mode  Variable to store the field evaluation mode
906 
907   @return An error code: 0 - success, otherwise - failure
908 
909   @ref Advanced
910 **/
911 int CeedQFunctionFieldGetData(CeedQFunctionField qf_field, const char **field_name, CeedInt *size, CeedEvalMode *eval_mode) {
912   if (field_name) CeedCall(CeedQFunctionFieldGetName(qf_field, field_name));
913   if (size) CeedCall(CeedQFunctionFieldGetSize(qf_field, size));
914   if (eval_mode) CeedCall(CeedQFunctionFieldGetEvalMode(qf_field, eval_mode));
915   return CEED_ERROR_SUCCESS;
916 }
917 
918 /**
919   @brief Set global context for a `CeedQFunction`
920 
921   @param[in,out] qf  `CeedQFunction`
922   @param[in]     ctx Context data to set
923 
924   @return An error code: 0 - success, otherwise - failure
925 
926   @ref User
927 **/
928 int CeedQFunctionSetContext(CeedQFunction qf, CeedQFunctionContext ctx) {
929   CeedCall(CeedQFunctionContextDestroy(&qf->ctx));
930   qf->ctx = ctx;
931   if (ctx) CeedCall(CeedQFunctionContextReference(ctx));
932   return CEED_ERROR_SUCCESS;
933 }
934 
935 /**
936   @brief Set writability of `CeedQFunctionContext` when calling the `CeedQFunctionUser`.
937 
938   The default value is `is_writable == true`.
939 
940   Setting `is_writable == true` indicates the `CeedQFunctionUser` writes into the `CeedQFunctionContext` and requires memory synchronization after calling @ref CeedQFunctionApply().
941 
942   Setting 'is_writable == false' asserts that `CeedQFunctionUser` does not modify the `CeedQFunctionContext`.
943   Violating this assertion may lead to inconsistent data.
944 
945   Setting `is_writable == false` may offer a performance improvement on GPU backends.
946 
947   @param[in,out] qf          `CeedQFunction`
948   @param[in]     is_writable Boolean flag for writability status
949 
950   @return An error code: 0 - success, otherwise - failure
951 
952   @ref User
953 **/
954 int CeedQFunctionSetContextWritable(CeedQFunction qf, bool is_writable) {
955   qf->is_context_writable = is_writable;
956   return CEED_ERROR_SUCCESS;
957 }
958 
959 /**
960   @brief Set estimated number of FLOPs per quadrature required to apply `CeedQFunction`
961 
962   @param[in]  qf    `CeedQFunction` to estimate FLOPs for
963   @param[out] flops FLOPs per quadrature point estimate
964 
965   @ref Backend
966 **/
967 int CeedQFunctionSetUserFlopsEstimate(CeedQFunction qf, CeedSize flops) {
968   CeedCheck(flops >= 0, CeedQFunctionReturnCeed(qf), CEED_ERROR_INCOMPATIBLE, "Must set non-negative FLOPs estimate");
969   qf->user_flop_estimate = flops;
970   return CEED_ERROR_SUCCESS;
971 }
972 
973 /**
974   @brief View a `CeedQFunction`
975 
976   @param[in] qf     `CeedQFunction` to view
977   @param[in] stream Stream to write; typically `stdout` or a file
978 
979   @return Error code: 0 - success, otherwise - failure
980 
981   @ref User
982 **/
983 int CeedQFunctionView(CeedQFunction qf, FILE *stream) {
984   const char *kernel_name;
985 
986   CeedCall(CeedQFunctionGetKernelName(qf, &kernel_name));
987   fprintf(stream, "%sCeedQFunction - %s\n", qf->is_gallery ? "Gallery " : "User ", qf->is_gallery ? qf->gallery_name : kernel_name);
988 
989   fprintf(stream, "  %" CeedInt_FMT " input field%s:\n", qf->num_input_fields, qf->num_input_fields > 1 ? "s" : "");
990   for (CeedInt i = 0; i < qf->num_input_fields; i++) {
991     CeedCall(CeedQFunctionFieldView(qf->input_fields[i], i, 1, stream));
992   }
993 
994   fprintf(stream, "  %" CeedInt_FMT " output field%s:\n", qf->num_output_fields, qf->num_output_fields > 1 ? "s" : "");
995   for (CeedInt i = 0; i < qf->num_output_fields; i++) {
996     CeedCall(CeedQFunctionFieldView(qf->output_fields[i], i, 0, stream));
997   }
998   return CEED_ERROR_SUCCESS;
999 }
1000 
1001 /**
1002   @brief Get the `Ceed` associated with a `CeedQFunction`
1003 
1004   @param[in]  qf   `CeedQFunction`
1005   @param[out] ceed Variable to store`Ceed`
1006 
1007   @return An error code: 0 - success, otherwise - failure
1008 
1009   @ref Advanced
1010 **/
1011 int CeedQFunctionGetCeed(CeedQFunction qf, Ceed *ceed) {
1012   *ceed = CeedQFunctionReturnCeed(qf);
1013   return CEED_ERROR_SUCCESS;
1014 }
1015 
1016 /**
1017   @brief Return the `Ceed` associated with a `CeedQFunction`
1018 
1019   @param[in]  qf   `CeedQFunction`
1020 
1021   @return `Ceed` associated with the `qf`
1022 
1023   @ref Advanced
1024 **/
1025 Ceed CeedQFunctionReturnCeed(CeedQFunction qf) { return qf->ceed; }
1026 
1027 /**
1028   @brief Apply the action of a `CeedQFunction`
1029 
1030   Note: Calling this function asserts that setup is complete and sets the `CeedQFunction` as immutable.
1031 
1032   @param[in]  qf `CeedQFunction`
1033   @param[in]  Q  Number of quadrature points
1034   @param[in]  u  Array of input `CeedVector`
1035   @param[out] v  Array of output `CeedVector`
1036 
1037   @return An error code: 0 - success, otherwise - failure
1038 
1039   @ref User
1040 **/
1041 int CeedQFunctionApply(CeedQFunction qf, CeedInt Q, CeedVector *u, CeedVector *v) {
1042   CeedInt vec_length;
1043   Ceed    ceed;
1044 
1045   CeedCall(CeedQFunctionGetCeed(qf, &ceed));
1046   CeedCheck(qf->Apply, ceed, CEED_ERROR_UNSUPPORTED, "Backend does not support CeedQFunctionApply");
1047   CeedCall(CeedQFunctionGetVectorLength(qf, &vec_length));
1048   CeedCheck(Q % vec_length == 0, ceed, CEED_ERROR_DIMENSION, "Number of quadrature points %" CeedInt_FMT " must be a multiple of %" CeedInt_FMT, Q,
1049             qf->vec_length);
1050   CeedCall(CeedQFunctionSetImmutable(qf));
1051   CeedCall(qf->Apply(qf, Q, u, v));
1052   return CEED_ERROR_SUCCESS;
1053 }
1054 
1055 /**
1056   @brief Destroy a `CeedQFunction`
1057 
1058   @param[in,out] qf `CeedQFunction` to destroy
1059 
1060   @return An error code: 0 - success, otherwise - failure
1061 
1062   @ref User
1063 **/
1064 int CeedQFunctionDestroy(CeedQFunction *qf) {
1065   if (!*qf || --(*qf)->ref_count > 0) {
1066     *qf = NULL;
1067     return CEED_ERROR_SUCCESS;
1068   }
1069   // Backend destroy
1070   if ((*qf)->Destroy) {
1071     CeedCall((*qf)->Destroy(*qf));
1072   }
1073   // Free fields
1074   for (CeedInt i = 0; i < (*qf)->num_input_fields; i++) {
1075     CeedCall(CeedFree(&(*(*qf)->input_fields[i]).field_name));
1076     CeedCall(CeedFree(&(*qf)->input_fields[i]));
1077   }
1078   for (CeedInt i = 0; i < (*qf)->num_output_fields; i++) {
1079     CeedCall(CeedFree(&(*(*qf)->output_fields[i]).field_name));
1080     CeedCall(CeedFree(&(*qf)->output_fields[i]));
1081   }
1082   CeedCall(CeedFree(&(*qf)->input_fields));
1083   CeedCall(CeedFree(&(*qf)->output_fields));
1084 
1085   // User context data object
1086   CeedCall(CeedQFunctionContextDestroy(&(*qf)->ctx));
1087 
1088   CeedCall(CeedFree(&(*qf)->user_source));
1089   CeedCall(CeedFree(&(*qf)->source_path));
1090   CeedCall(CeedFree(&(*qf)->gallery_name));
1091   CeedCall(CeedFree(&(*qf)->kernel_name));
1092   CeedCall(CeedDestroy(&(*qf)->ceed));
1093   CeedCall(CeedFree(qf));
1094   return CEED_ERROR_SUCCESS;
1095 }
1096 
1097 /// @}
1098