xref: /libCEED/backends/cuda-gen/ceed-cuda-gen-operator-build.cpp (revision b6972d7456611f84b0e462eb1490bcb662442e6a)
1 // Copyright (c) 2017-2022, 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 #define CEED_DEBUG_COLOR 12
9 
10 #include <ceed.h>
11 #include <ceed/backend.h>
12 #include <ceed/jit-tools.h>
13 #include <cuda_runtime.h>
14 
15 #include <iostream>
16 #include <sstream>
17 #include <string>
18 
19 #include "../cuda-ref/ceed-cuda-ref.h"
20 #include "../cuda-shared/ceed-cuda-shared.h"
21 #include "../cuda/ceed-cuda-common.h"
22 #include "../cuda/ceed-cuda-compile.h"
23 #include "ceed-cuda-gen.h"
24 
25 //------------------------------------------------------------------------------
26 // Build single operator kernel
27 //------------------------------------------------------------------------------
28 extern "C" int CeedOperatorBuildKernel_Cuda_gen(CeedOperator op) {
29   using std::ostringstream;
30   using std::string;
31 
32   bool                      is_setup_done, is_identity_qf;
33   struct cudaDeviceProp     prop;
34   Ceed                      ceed;
35   Ceed_Cuda                *ceed_data;
36   CeedSize                  l_size;
37   CeedInt                   Q, P_1d = 0, Q_1d = 0, elem_size, num_input_fields, num_output_fields, num_comp, dim = 1;
38   CeedEvalMode              eval_mode;
39   CeedElemRestriction       elem_rstr;
40   CeedElemRestriction_Cuda *rstr_data;
41   CeedBasis                 basis;
42   CeedBasis_Cuda_shared    *basis_data;
43   CeedQFunctionField       *qf_input_fields, *qf_output_fields;
44   CeedQFunction_Cuda_gen   *qf_data;
45   CeedQFunction             qf;
46   CeedOperatorField        *op_input_fields, *op_output_fields;
47   CeedOperator_Cuda_gen    *data;
48 
49   CeedCallBackend(CeedOperatorIsSetupDone(op, &is_setup_done));
50   if (is_setup_done) return CEED_ERROR_SUCCESS;
51 
52   CeedCallBackend(CeedOperatorGetCeed(op, &ceed));
53   CeedCallBackend(CeedOperatorGetData(op, &data));
54   CeedCallBackend(CeedOperatorGetQFunction(op, &qf));
55   CeedCallBackend(CeedQFunctionGetData(qf, &qf_data));
56   CeedCallBackend(CeedOperatorGetNumQuadraturePoints(op, &Q));
57   Q_1d = Q;
58   CeedCallBackend(CeedOperatorGetFields(op, &num_input_fields, &op_input_fields, &num_output_fields, &op_output_fields));
59   CeedCallBackend(CeedQFunctionGetFields(qf, NULL, &qf_input_fields, NULL, &qf_output_fields));
60 
61   // TODO: put in a function?
62   // Check for restriction only identity operator
63   CeedCallBackend(CeedQFunctionIsIdentity(qf, &is_identity_qf));
64   if (is_identity_qf) {
65     CeedEvalMode eval_mode_in, eval_mode_out;
66 
67     CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[0], &eval_mode_in));
68     CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[0], &eval_mode_out));
69     CeedCheck(eval_mode_in != CEED_EVAL_NONE || eval_mode_out != CEED_EVAL_NONE, ceed, CEED_ERROR_BACKEND,
70               "Backend does not implement restriction only identity operators");
71   }
72 
73   ostringstream code;
74 
75   // TODO: put in a function?
76   // Add atomicAdd function for old NVidia architectures
77   CeedCallBackend(CeedGetData(ceed, &ceed_data));
78   CeedCallBackend(cudaGetDeviceProperties(&prop, ceed_data->device_id));
79   if ((prop.major < 6) && (CEED_SCALAR_TYPE != CEED_SCALAR_FP32)) {
80     char *atomic_add_path, *atomic_add_source;
81 
82     CeedCallBackend(CeedGetJitAbsolutePath(ceed, "ceed/jit-source/cuda/cuda-atomic-add-fallback.h", &atomic_add_path));
83     CeedDebug256(ceed, CEED_DEBUG_COLOR_SUCCESS, "----- Loading Atomic Add Source -----\n");
84     CeedCallBackend(CeedLoadSourceToBuffer(ceed, atomic_add_path, &atomic_add_source));
85     code << atomic_add_source;
86     CeedCallBackend(CeedFree(&atomic_add_path));
87     CeedCallBackend(CeedFree(&atomic_add_source));
88   }
89 
90   // Load basis source files
91   // TODO: generalize to accept different device functions?
92   {
93     char *tensor_basis_kernel_path, *tensor_basis_kernel_source;
94 
95     CeedCallBackend(CeedGetJitAbsolutePath(ceed, "ceed/jit-source/cuda/cuda-shared-basis-tensor-templates.h", &tensor_basis_kernel_path));
96     CeedDebug256(ceed, CEED_DEBUG_COLOR_SUCCESS, "----- Loading Tensor Basis Kernel Source -----\n");
97     CeedCallBackend(CeedLoadSourceToBuffer(ceed, tensor_basis_kernel_path, &tensor_basis_kernel_source));
98     code << tensor_basis_kernel_source;
99     CeedCallBackend(CeedFree(&tensor_basis_kernel_path));
100     CeedCallBackend(CeedFree(&tensor_basis_kernel_source));
101   }
102   {
103     char *cuda_gen_template_path, *cuda_gen_template_source;
104 
105     CeedCallBackend(CeedGetJitAbsolutePath(ceed, "ceed/jit-source/cuda/cuda-gen-templates.h", &cuda_gen_template_path));
106     CeedDebug256(ceed, CEED_DEBUG_COLOR_SUCCESS, "----- Loading Cuda-Gen Template Source -----\n");
107     CeedCallBackend(CeedLoadSourceToBuffer(ceed, cuda_gen_template_path, &cuda_gen_template_source));
108     code << cuda_gen_template_source;
109     CeedCallBackend(CeedFree(&cuda_gen_template_path));
110     CeedCallBackend(CeedFree(&cuda_gen_template_source));
111   }
112 
113   // Get QFunction source and name
114   string q_function_source(qf_data->q_function_source);
115   string q_function_name(qf_data->q_function_name);
116   string operator_name;
117   operator_name = "CeedKernelCudaGenOperator_" + q_function_name;
118 
119   // Find dim, P_1d, Q_1d
120   data->max_P_1d = 0;
121   for (CeedInt i = 0; i < num_input_fields; i++) {
122     CeedCallBackend(CeedOperatorFieldGetBasis(op_input_fields[i], &basis));
123     if (basis != CEED_BASIS_NONE) {
124       bool is_tensor;
125 
126       CeedCallBackend(CeedBasisGetData(basis, &basis_data));
127       CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[i], &eval_mode));
128 
129       // Collect dim, P_1d, and Q_1d
130       CeedCallBackend(CeedBasisGetDimension(basis, &dim));
131       CeedCallBackend(CeedBasisIsTensor(basis, &is_tensor));
132       CeedCheck(is_tensor, ceed, CEED_ERROR_BACKEND, "Backend does not implement operators with non-tensor basis");
133       CeedCallBackend(CeedBasisGetNumQuadraturePoints1D(basis, &Q_1d));
134       CeedCallBackend(CeedBasisGetNumNodes1D(basis, &P_1d));
135       data->max_P_1d = CeedIntMax(data->max_P_1d, P_1d);
136     }
137   }
138   // Check output bases for Q_1d, dim as well
139   //   The only input basis might be CEED_BASIS_NONE
140   for (CeedInt i = 0; i < num_output_fields; i++) {
141     CeedCallBackend(CeedOperatorFieldGetBasis(op_output_fields[i], &basis));
142     if (basis != CEED_BASIS_NONE) {
143       bool is_tensor;
144 
145       CeedCallBackend(CeedBasisGetData(basis, &basis_data));
146       CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode));
147 
148       // Collect Q_1d
149       CeedCallBackend(CeedBasisGetDimension(basis, &dim));
150       CeedCallBackend(CeedBasisIsTensor(basis, &is_tensor));
151       CeedCheck(is_tensor, ceed, CEED_ERROR_BACKEND, "Backend does not implement operators with non-tensor basis");
152       CeedCallBackend(CeedBasisGetNumQuadraturePoints1D(basis, &Q_1d));
153     }
154   }
155   data->dim  = dim;
156   data->Q_1d = Q_1d;
157 
158   // Only use 3D collocated gradient parallelization strategy when gradient is computed
159   // TODO: put in a function?
160   bool use_collograd_parallelization = false;
161 
162   if (dim == 3) {
163     bool was_grad_found = false;
164 
165     for (CeedInt i = 0; i < num_input_fields; i++) {
166       CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[i], &eval_mode));
167       if (eval_mode == CEED_EVAL_GRAD) {
168         CeedCallBackend(CeedOperatorFieldGetBasis(op_input_fields[i], &basis));
169         CeedCallBackend(CeedBasisGetData(basis, &basis_data));
170         use_collograd_parallelization = basis_data->d_collo_grad_1d && (was_grad_found ? use_collograd_parallelization : true);
171         was_grad_found                = true;
172       }
173     }
174     for (CeedInt i = 0; i < num_output_fields; i++) {
175       CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode));
176       if (eval_mode == CEED_EVAL_GRAD) {
177         CeedCallBackend(CeedOperatorFieldGetBasis(op_output_fields[i], &basis));
178         CeedCallBackend(CeedBasisGetData(basis, &basis_data));
179         use_collograd_parallelization = basis_data->d_collo_grad_1d && (was_grad_found ? use_collograd_parallelization : true);
180         was_grad_found                = true;
181       }
182     }
183   }
184 
185   // Define CEED_Q_VLA
186   code << "\n#undef CEED_Q_VLA\n";
187   if (dim != 3 || use_collograd_parallelization) {
188     code << "#define CEED_Q_VLA 1\n\n";
189   } else {
190     code << "#define CEED_Q_VLA " << Q_1d << "\n\n";
191   }
192 
193   code << q_function_source;
194 
195   // Setup
196   code << "\n// -----------------------------------------------------------------------------\n";
197   code << "\nextern \"C\" __global__ void " << operator_name
198        << "(CeedInt num_elem, void* ctx, FieldsInt_Cuda indices, Fields_Cuda fields, Fields_Cuda B, Fields_Cuda G, CeedScalar* W) {\n";
199   for (CeedInt i = 0; i < num_input_fields; i++) {
200     CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[i], &eval_mode));
201     if (eval_mode != CEED_EVAL_WEIGHT) {  // Skip CEED_EVAL_WEIGHT
202       code << "  const CeedScalar* d_u_" << i << " = fields.inputs[" << i << "];\n";
203     }
204   }
205 
206   for (CeedInt i = 0; i < num_output_fields; i++) {
207     code << "  CeedScalar* d_v_" << i << " = fields.outputs[" << i << "];\n";
208   }
209 
210   code << "  const CeedInt dim = " << dim << ";\n";
211   code << "  const CeedInt Q_1d = " << Q_1d << ";\n";
212 
213   code << "  extern __shared__ CeedScalar slice[];\n";
214   // TODO put in a function? InitSharedData_Cuda?
215   code << "  SharedData_Cuda data;\n";
216   code << "  data.t_id_x = threadIdx.x;\n";
217   code << "  data.t_id_y = threadIdx.y;\n";
218   code << "  data.t_id_z = threadIdx.z;\n";
219   code << "  data.t_id  = threadIdx.x + threadIdx.y*blockDim.x + threadIdx.z*blockDim.y*blockDim.x;\n";
220   code << "  data.slice = slice+data.t_id_z*T_1D" << (dim > 1 ? "*T_1D" : "") << ";\n";
221 
222   code << "\n  // -- Input field constants and basis data --\n";
223   // TODO: Put in a function?
224   // Initialize constants, and matrices B and G
225   for (CeedInt i = 0; i < num_input_fields; i++) {
226     code << "  // ---- Input field " << i << " ----\n";
227     // Get elem_size, eval_mode, num_comp
228     CeedCallBackend(CeedOperatorFieldGetElemRestriction(op_input_fields[i], &elem_rstr));
229     CeedCallBackend(CeedElemRestrictionGetElementSize(elem_rstr, &elem_size));
230     CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[i], &eval_mode));
231     CeedCallBackend(CeedElemRestrictionGetNumComponents(elem_rstr, &num_comp));
232 
233     // Set field constants
234     if (eval_mode != CEED_EVAL_WEIGHT) {
235       CeedCallBackend(CeedOperatorFieldGetBasis(op_input_fields[i], &basis));
236       if (basis != CEED_BASIS_NONE) {
237         CeedCallBackend(CeedBasisGetNumNodes1D(basis, &P_1d));
238         code << "  const CeedInt P_in_" << i << " = " << P_1d << ";\n";
239       } else {
240         code << "  const CeedInt P_in_" << i << " = " << Q_1d << ";\n";
241       }
242       code << "  const CeedInt num_comp_in_" << i << " = " << num_comp << ";\n";
243     }
244 
245     // Load basis data
246     code << "  // EvalMode: " << CeedEvalModes[eval_mode] << "\n";
247     switch (eval_mode) {
248       case CEED_EVAL_NONE:
249         break;
250       case CEED_EVAL_INTERP:
251         CeedCallBackend(CeedBasisGetData(basis, &basis_data));
252         data->B.inputs[i] = basis_data->d_interp_1d;
253         code << "  __shared__ CeedScalar s_B_in_" << i << "[" << P_1d * Q_1d << "];\n";
254         code << "  loadMatrix<P_in_" << i << ",Q_1d>(data, B.inputs[" << i << "], s_B_in_" << i << ");\n";
255         break;
256       case CEED_EVAL_GRAD:
257         CeedCallBackend(CeedBasisGetData(basis, &basis_data));
258         data->B.inputs[i] = basis_data->d_interp_1d;
259         code << "  __shared__ CeedScalar s_B_in_" << i << "[" << P_1d * Q_1d << "];\n";
260         code << "  loadMatrix<P_in_" << i << ",Q_1d>(data, B.inputs[" << i << "], s_B_in_" << i << ");\n";
261         if (use_collograd_parallelization) {
262           data->G.inputs[i] = basis_data->d_collo_grad_1d;
263           code << "  __shared__ CeedScalar s_G_in_" << i << "[" << Q_1d * Q_1d << "];\n";
264           code << "  loadMatrix<Q_1d,Q_1d>(data, G.inputs[" << i << "], s_G_in_" << i << ");\n";
265         } else {
266           bool has_collo_grad = basis_data->d_collo_grad_1d;
267           data->G.inputs[i]   = has_collo_grad ? basis_data->d_collo_grad_1d : basis_data->d_grad_1d;
268           code << "  __shared__ CeedScalar s_G_in_" << i << "[" << Q_1d * (has_collo_grad ? Q_1d : P_1d) << "];\n";
269           code << "  loadMatrix<" << (has_collo_grad ? "Q_1d" : ("P_in_" + std::to_string(i))) << ",Q_1d>(data, G.inputs[" << i << "], s_G_in_" << i
270                << ");\n";
271         }
272         break;
273       case CEED_EVAL_WEIGHT:
274         break;  // No action
275       case CEED_EVAL_DIV:
276         break;  // TODO: Not implemented
277       case CEED_EVAL_CURL:
278         break;  // TODO: Not implemented
279     }
280   }
281 
282   code << "\n  // -- Output field constants and basis data --\n";
283   for (CeedInt i = 0; i < num_output_fields; i++) {
284     code << "  // ---- Output field " << i << " ----\n";
285     // Get elem_size, eval_mode, num_comp
286     CeedCallBackend(CeedOperatorFieldGetElemRestriction(op_output_fields[i], &elem_rstr));
287     CeedCallBackend(CeedElemRestrictionGetElementSize(elem_rstr, &elem_size));
288     CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode));
289     CeedCallBackend(CeedElemRestrictionGetNumComponents(elem_rstr, &num_comp));
290 
291     // Set field constants
292     CeedCallBackend(CeedOperatorFieldGetBasis(op_output_fields[i], &basis));
293     if (basis != CEED_BASIS_NONE) {
294       CeedCallBackend(CeedBasisGetNumNodes1D(basis, &P_1d));
295       code << "  const CeedInt P_out_" << i << " = " << P_1d << ";\n";
296     } else {
297       code << "  const CeedInt P_out_" << i << " = " << Q_1d << ";\n";
298     }
299     code << "  const CeedInt num_comp_out_" << i << " = " << num_comp << ";\n";
300 
301     // Load basis data
302     code << "  // EvalMode: " << CeedEvalModes[eval_mode] << "\n";
303     switch (eval_mode) {
304       case CEED_EVAL_NONE:
305         break;  // No action
306       case CEED_EVAL_INTERP:
307         CeedCallBackend(CeedBasisGetData(basis, &basis_data));
308         data->B.outputs[i] = basis_data->d_interp_1d;
309         code << "  __shared__ CeedScalar s_B_out_" << i << "[" << P_1d * Q_1d << "];\n";
310         code << "  loadMatrix<P_out_" << i << ",Q_1d>(data, B.outputs[" << i << "], s_B_out_" << i << ");\n";
311         break;
312       case CEED_EVAL_GRAD:
313         CeedCallBackend(CeedBasisGetData(basis, &basis_data));
314         data->B.outputs[i] = basis_data->d_interp_1d;
315         code << "  __shared__ CeedScalar s_B_out_" << i << "[" << P_1d * Q_1d << "];\n";
316         code << "  loadMatrix<P_out_" << i << ",Q_1d>(data, B.outputs[" << i << "], s_B_out_" << i << ");\n";
317         if (use_collograd_parallelization) {
318           data->G.outputs[i] = basis_data->d_collo_grad_1d;
319           code << "  __shared__ CeedScalar s_G_out_" << i << "[" << Q_1d * Q_1d << "];\n";
320           code << "  loadMatrix<Q_1d,Q_1d>(data, G.outputs[" << i << "], s_G_out_" << i << ");\n";
321         } else {
322           bool has_collo_grad = basis_data->d_collo_grad_1d;
323           data->G.outputs[i]  = has_collo_grad ? basis_data->d_collo_grad_1d : basis_data->d_grad_1d;
324           code << "  __shared__ CeedScalar s_G_out_" << i << "[" << Q_1d * (has_collo_grad ? Q_1d : P_1d) << "];\n";
325           code << "  loadMatrix<" << (has_collo_grad ? "Q_1d" : ("P_out_" + std::to_string(i))) << ",Q_1d>(data, G.outputs[" << i << "], s_G_out_"
326                << i << ");\n";
327         }
328         break;
329       // LCOV_EXCL_START
330       case CEED_EVAL_WEIGHT: {
331         Ceed ceed;
332 
333         CeedCallBackend(CeedOperatorGetCeed(op, &ceed));
334         return CeedError(ceed, CEED_ERROR_BACKEND, "CEED_EVAL_WEIGHT cannot be an output evaluation mode");
335         break;  // Should not occur
336       }
337       case CEED_EVAL_DIV:
338         break;  // TODO: Not implemented
339       case CEED_EVAL_CURL:
340         break;  // TODO: Not implemented
341                 // LCOV_EXCL_STOP
342     }
343   }
344   code << "\n  // -- Element loop --\n";
345   code << "  __syncthreads();\n";
346   code << "  for (CeedInt elem = blockIdx.x*blockDim.z + threadIdx.z; elem < num_elem; elem += gridDim.x*blockDim.z) {\n";
347   // Input basis apply if needed
348   // Generate the correct eval mode code for each input
349   code << "    // -- Input field restrictions and basis actions --\n";
350   for (CeedInt i = 0; i < num_input_fields; i++) {
351     code << "    // ---- Input field " << i << " ----\n";
352     // Get elem_size, eval_mode, num_comp
353     CeedCallBackend(CeedOperatorFieldGetElemRestriction(op_input_fields[i], &elem_rstr));
354     CeedCallBackend(CeedElemRestrictionGetElementSize(elem_rstr, &elem_size));
355     CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[i], &eval_mode));
356     CeedCallBackend(CeedElemRestrictionGetNumComponents(elem_rstr, &num_comp));
357 
358     // TODO: put in a function?
359     // Restriction
360     if (eval_mode != CEED_EVAL_WEIGHT && !((eval_mode == CEED_EVAL_NONE) && use_collograd_parallelization)) {
361       code << "    CeedScalar r_u_" << i << "[num_comp_in_" << i << "*P_in_" << i << "];\n";
362 
363       bool is_strided;
364 
365       CeedCallBackend(CeedElemRestrictionIsStrided(elem_rstr, &is_strided));
366       if (!is_strided) {
367         CeedInt comp_stride;
368 
369         CeedCallBackend(CeedElemRestrictionGetLVectorSize(elem_rstr, &l_size));
370         code << "    const CeedInt l_size_in_" << i << " = " << l_size << ";\n";
371         CeedCallBackend(CeedElemRestrictionGetCompStride(elem_rstr, &comp_stride));
372         code << "    // CompStride: " << comp_stride << "\n";
373         CeedCallBackend(CeedElemRestrictionGetData(elem_rstr, &rstr_data));
374         data->indices.inputs[i] = rstr_data->d_ind;
375         code << "    readDofsOffset" << dim << "d<num_comp_in_" << i << ", " << comp_stride << ", P_in_" << i << ">(data, l_size_in_" << i
376              << ", elem, indices.inputs[" << i << "], d_u_" << i << ", r_u_" << i << ");\n";
377       } else {
378         bool    has_backend_strides;
379         CeedInt num_elem;
380 
381         CeedCallBackend(CeedElemRestrictionHasBackendStrides(elem_rstr, &has_backend_strides));
382         CeedCallBackend(CeedElemRestrictionGetNumElements(elem_rstr, &num_elem));
383         CeedInt strides[3] = {1, elem_size * num_elem, elem_size};
384 
385         if (!has_backend_strides) {
386           CeedCallBackend(CeedElemRestrictionGetStrides(elem_rstr, &strides));
387         }
388         code << "    // Strides: {" << strides[0] << ", " << strides[1] << ", " << strides[2] << "}\n";
389         code << "    readDofsStrided" << dim << "d<num_comp_in_" << i << ",P_in_" << i << "," << strides[0] << "," << strides[1] << "," << strides[2]
390              << ">(data, elem, d_u_" << i << ", r_u_" << i << ");\n";
391       }
392     }
393 
394     // TODO: put in a function?
395     // Basis action
396     code << "    // EvalMode: " << CeedEvalModes[eval_mode] << "\n";
397     switch (eval_mode) {
398       case CEED_EVAL_NONE:
399         if (!use_collograd_parallelization) {
400           code << "    CeedScalar* r_t_" << i << " = r_u_" << i << ";\n";
401         }
402         break;
403       case CEED_EVAL_INTERP:
404         code << "    CeedScalar r_t_" << i << "[num_comp_in_" << i << "*Q_1d];\n";
405         code << "    Interp" << (dim > 1 ? "Tensor" : "") << dim << "d<num_comp_in_" << i << ",P_in_" << i << ",Q_1d>(data, r_u_" << i << ", s_B_in_"
406              << i << ", r_t_" << i << ");\n";
407         break;
408       case CEED_EVAL_GRAD:
409         if (use_collograd_parallelization) {
410           code << "    CeedScalar r_t_" << i << "[num_comp_in_" << i << "*Q_1d];\n";
411           code << "    Interp" << (dim > 1 ? "Tensor" : "") << dim << "d<num_comp_in_" << i << ",P_in_" << i << ",Q_1d>(data, r_u_" << i
412                << ", s_B_in_" << i << ", r_t_" << i << ");\n";
413         } else {
414           CeedInt P_1d;
415 
416           CeedCallBackend(CeedOperatorFieldGetBasis(op_input_fields[i], &basis));
417           CeedCallBackend(CeedBasisGetNumNodes1D(basis, &P_1d));
418           code << "    CeedScalar r_t_" << i << "[num_comp_in_" << i << "*dim*Q_1d];\n";
419           code << "    Grad" << (dim > 1 ? "Tensor" : "") << (dim == 3 && Q_1d >= P_1d ? "Collocated" : "") << dim << "d<num_comp_in_" << i
420                << ",P_in_" << i << ",Q_1d>(data, r_u_" << i << ", s_B_in_" << i << ", s_G_in_" << i << ", r_t_" << i << ");\n";
421         }
422         break;
423       case CEED_EVAL_WEIGHT:
424         code << "    CeedScalar r_t_" << i << "[Q_1d];\n";
425         CeedCallBackend(CeedOperatorFieldGetBasis(op_input_fields[i], &basis));
426         CeedCallBackend(CeedBasisGetData(basis, &basis_data));
427         data->W = basis_data->d_q_weight_1d;
428         code << "    Weight" << (dim > 1 ? "Tensor" : "") << dim << "d<Q_1d>(data, W, r_t_" << i << ");\n";
429         break;  // No action
430       case CEED_EVAL_DIV:
431         break;  // TODO: Not implemented
432       case CEED_EVAL_CURL:
433         break;  // TODO: Not implemented
434     }
435   }
436 
437   // TODO: put in a function + separate collograd logic
438   // Q function
439   code << "\n    // -- Output field setup --\n";
440   for (CeedInt i = 0; i < num_output_fields; i++) {
441     code << "\n    // ---- Output field " << i << " ----\n";
442     CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode));
443     if (eval_mode == CEED_EVAL_GRAD) {
444       if (use_collograd_parallelization) {
445         // Accumulator for gradient slices
446         code << "    CeedScalar r_tt_" << i << "[num_comp_out_" << i << "*Q_1d];\n";
447         code << "    for (CeedInt i = 0; i < num_comp_out_" << i << "; i++) {\n";
448         code << "      for (CeedInt j = 0; j < Q_1d; ++j) {\n";
449         code << "        r_tt_" << i << "[j + i*Q_1d] = 0.0;\n";
450         code << "      }\n";
451         code << "    }\n";
452       } else {
453         code << "    CeedScalar r_tt_" << i << "[num_comp_out_" << i << "*dim*Q_1d];\n";
454       }
455     }
456     if (eval_mode == CEED_EVAL_NONE || eval_mode == CEED_EVAL_INTERP) {
457       code << "    CeedScalar r_tt_" << i << "[num_comp_out_" << i << "*Q_1d];\n";
458     }
459   }
460   // We treat quadrature points per slice in 3d to save registers
461   if (use_collograd_parallelization) {
462     code << "\n    // Note: Using planes of 3D elements\n";
463     code << "#pragma unroll\n";
464     code << "    for (CeedInt q = 0; q < Q_1d; q++) {\n";
465     code << "      // -- Input fields --\n";
466     for (CeedInt i = 0; i < num_input_fields; i++) {
467       code << "      // ---- Input field " << i << " ----\n";
468       // Get elem_size, eval_mode, num_comp
469       CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[i], &eval_mode));
470       // Basis action
471       code << "      // EvalMode: " << CeedEvalModes[eval_mode] << "\n";
472       switch (eval_mode) {
473         case CEED_EVAL_NONE:
474           bool is_strided;
475 
476           code << "      CeedScalar r_q_" << i << "[num_comp_in_" << i << "];\n";
477 
478           CeedCallBackend(CeedOperatorFieldGetElemRestriction(op_input_fields[i], &elem_rstr));
479           CeedCallBackend(CeedElemRestrictionIsStrided(elem_rstr, &is_strided));
480           if (!is_strided) {
481             CeedInt comp_stride;
482 
483             CeedCallBackend(CeedElemRestrictionGetLVectorSize(elem_rstr, &l_size));
484             code << "      const CeedInt l_size_in_" << i << " = " << l_size << ";\n";
485             CeedCallBackend(CeedElemRestrictionGetCompStride(elem_rstr, &comp_stride));
486             code << "      // CompStride: " << comp_stride << "\n";
487             CeedCallBackend(CeedElemRestrictionGetData(elem_rstr, &rstr_data));
488             data->indices.inputs[i] = rstr_data->d_ind;
489             code << "      readSliceQuadsOffset"
490                  << "3d<num_comp_in_" << i << ", " << comp_stride << ", Q_1d>(data, l_size_in_" << i << ", elem, q, indices.inputs[" << i << "], d_u_"
491                  << i << ", r_q_" << i << ");\n";
492           } else {
493             bool    has_backend_strides;
494             CeedInt num_elem;
495 
496             CeedCallBackend(CeedElemRestrictionGetElementSize(elem_rstr, &elem_size));
497             CeedCallBackend(CeedElemRestrictionHasBackendStrides(elem_rstr, &has_backend_strides));
498             CeedCallBackend(CeedElemRestrictionGetNumElements(elem_rstr, &num_elem));
499             CeedInt strides[3] = {1, elem_size * num_elem, elem_size};
500 
501             if (!has_backend_strides) {
502               CeedCallBackend(CeedElemRestrictionGetStrides(elem_rstr, &strides));
503             }
504             code << "      // Strides: {" << strides[0] << ", " << strides[1] << ", " << strides[2] << "}\n";
505             code << "      readSliceQuadsStrided"
506                  << "3d<num_comp_in_" << i
507                  << ",Q_1d"
508                     ","
509                  << strides[0] << "," << strides[1] << "," << strides[2] << ">(data, elem, q, d_u_" << i << ", r_q_" << i << ");\n";
510           }
511           break;
512         case CEED_EVAL_INTERP:
513           code << "      CeedScalar r_q_" << i << "[num_comp_in_" << i << "];\n";
514           code << "      for (CeedInt j = 0; j < num_comp_in_" << i << " ; ++j) {\n";
515           code << "        r_q_" << i << "[j] = r_t_" << i << "[q + j*Q_1d];\n";
516           code << "      }\n";
517           break;
518         case CEED_EVAL_GRAD:
519           code << "      CeedScalar r_q_" << i << "[num_comp_in_" << i << "*dim];\n";
520           code << "      gradCollo3d<num_comp_in_" << i << ",Q_1d>(data, q, r_t_" << i << ", s_G_in_" << i << ", r_q_" << i << ");\n";
521           break;
522         case CEED_EVAL_WEIGHT:
523           code << "      CeedScalar r_q_" << i << "[1];\n";
524           code << "      r_q_" << i << "[0] = r_t_" << i << "[q];\n";
525           break;  // No action
526         case CEED_EVAL_DIV:
527           break;  // TODO: Not implemented
528         case CEED_EVAL_CURL:
529           break;  // TODO: Not implemented
530       }
531     }
532     code << "\n      // -- Output fields --\n";
533     for (CeedInt i = 0; i < num_output_fields; i++) {
534       code << "      // ---- Output field " << i << " ----\n";
535       CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode));
536       // Basis action
537       switch (eval_mode) {
538         case CEED_EVAL_NONE:
539           code << "      CeedScalar r_qq_" << i << "[num_comp_out_" << i << "];\n";
540           break;  // No action
541         case CEED_EVAL_INTERP:
542           code << "      CeedScalar r_qq_" << i << "[num_comp_out_" << i << "];\n";
543           break;
544         case CEED_EVAL_GRAD:
545           code << "      CeedScalar r_qq_" << i << "[num_comp_out_" << i << "*dim];\n";
546           break;
547         case CEED_EVAL_WEIGHT:
548           break;  // Should not occur
549         case CEED_EVAL_DIV:
550           break;  // TODO: Not implemented
551         case CEED_EVAL_CURL:
552           break;  // TODO: Not implemented
553       }
554     }
555   } else {
556     code << "\n      // Note: Using full elements\n";
557     code << "      // -- Input fields --\n";
558     for (CeedInt i = 0; i < num_input_fields; i++) {
559       code << "      // ---- Input field " << i << " ----\n";
560       code << "      CeedScalar* r_q_" << i << " = r_t_" << i << ";\n";
561     }
562     code << "      // -- Output fields --\n";
563     for (CeedInt i = 0; i < num_output_fields; i++) {
564       code << "      // ---- Output field " << i << " ----\n";
565       code << "      CeedScalar* r_qq_" << i << " = r_tt_" << i << ";\n";
566     }
567   }
568   code << "\n      // -- QFunction Inputs and outputs --\n";
569   code << "      CeedScalar* in[" << num_input_fields << "];\n";
570   for (CeedInt i = 0; i < num_input_fields; i++) {
571     code << "      // ---- Input field " << i << " ----\n";
572     code << "      in[" << i << "] = r_q_" << i << ";\n";
573   }
574   code << "      CeedScalar* out[" << num_output_fields << "];\n";
575   for (CeedInt i = 0; i < num_output_fields; i++) {
576     code << "      // ---- Output field " << i << " ----\n";
577     code << "      out[" << i << "] = r_qq_" << i << ";\n";
578   }
579   code << "\n      // -- Apply QFunction --\n";
580   code << "      " << q_function_name << "(ctx, ";
581   if (dim != 3 || use_collograd_parallelization) {
582     code << "1";
583   } else {
584     code << "Q_1d";
585   }
586   code << ", in, out);\n";
587   if (use_collograd_parallelization) {
588     code << "      // -- Output fields --\n";
589     for (CeedInt i = 0; i < num_output_fields; i++) {
590       code << "      // ---- Output field " << i << " ----\n";
591       CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode));
592       // Basis action
593       code << "      // EvalMode: " << CeedEvalModes[eval_mode] << "\n";
594       switch (eval_mode) {
595         case CEED_EVAL_NONE:
596           code << "      for (CeedInt j = 0; j < num_comp_out_" << i << " ; ++j) {\n";
597           code << "        r_tt_" << i << "[q + j*Q_1d] = r_qq_" << i << "[j];\n";
598           code << "      }\n";
599           break;  // No action
600         case CEED_EVAL_INTERP:
601           code << "      for (CeedInt j = 0; j < num_comp_out_" << i << " ; ++j) {\n";
602           code << "        r_tt_" << i << "[q + j*Q_1d] = r_qq_" << i << "[j];\n";
603           code << "      }\n";
604           break;
605         case CEED_EVAL_GRAD:
606           code << "      gradColloTranspose3d<num_comp_out_" << i << ",Q_1d>(data, q, r_qq_" << i << ", s_G_out_" << i << ", r_tt_" << i << ");\n";
607           break;
608         case CEED_EVAL_WEIGHT:
609           break;  // Should not occur
610         case CEED_EVAL_DIV:
611           break;  // TODO: Not implemented
612         case CEED_EVAL_CURL:
613           break;  // TODO: Not implemented
614       }
615     }
616     code << "    }\n";
617   }
618 
619   // Output basis apply if needed
620   // Generate the correct eval mode code for each output
621   code << "\n    // -- Output field basis action and restrictions --\n";
622   for (CeedInt i = 0; i < num_output_fields; i++) {
623     code << "    // ---- Output field " << i << " ----\n";
624     // Get elem_size, eval_mode, num_comp
625     CeedCallBackend(CeedOperatorFieldGetElemRestriction(op_output_fields[i], &elem_rstr));
626     CeedCallBackend(CeedElemRestrictionGetElementSize(elem_rstr, &elem_size));
627     CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode));
628     CeedCallBackend(CeedElemRestrictionGetNumComponents(elem_rstr, &num_comp));
629     // TODO put in a function
630     // Basis action
631     code << "    // EvalMode: " << CeedEvalModes[eval_mode] << "\n";
632     switch (eval_mode) {
633       case CEED_EVAL_NONE:
634         code << "    CeedScalar* r_v_" << i << " = r_tt_" << i << ";\n";
635         break;  // No action
636       case CEED_EVAL_INTERP:
637         code << "    CeedScalar r_v_" << i << "[num_comp_out_" << i << "*P_out_" << i << "];\n";
638         code << "    InterpTranspose" << (dim > 1 ? "Tensor" : "") << dim << "d<num_comp_out_" << i << ",P_out_" << i << ",Q_1d>(data, r_tt_" << i
639              << ", s_B_out_" << i << ", r_v_" << i << ");\n";
640         break;
641       case CEED_EVAL_GRAD:
642         code << "    CeedScalar r_v_" << i << "[num_comp_out_" << i << "*P_out_" << i << "];\n";
643         if (use_collograd_parallelization) {
644           code << "    InterpTranspose" << (dim > 1 ? "Tensor" : "") << dim << "d<num_comp_out_" << i << ",P_out_" << i << ",Q_1d>(data, r_tt_" << i
645                << ", s_B_out_" << i << ", r_v_" << i << ");\n";
646         } else {
647           CeedInt P_1d;
648           CeedCallBackend(CeedOperatorFieldGetBasis(op_output_fields[i], &basis));
649           CeedCallBackend(CeedBasisGetNumNodes1D(basis, &P_1d));
650           code << "    GradTranspose" << (dim > 1 ? "Tensor" : "") << (dim == 3 && Q_1d >= P_1d ? "Collocated" : "") << dim << "d<num_comp_out_" << i
651                << ",P_out_" << i << ",Q_1d>(data, r_tt_" << i << ", s_B_out_" << i << ", s_G_out_" << i << ", r_v_" << i << ");\n";
652         }
653         break;
654       // LCOV_EXCL_START
655       case CEED_EVAL_WEIGHT: {
656         Ceed ceed;
657         CeedCallBackend(CeedOperatorGetCeed(op, &ceed));
658         return CeedError(ceed, CEED_ERROR_BACKEND, "CEED_EVAL_WEIGHT cannot be an output evaluation mode");
659         break;  // Should not occur
660       }
661       case CEED_EVAL_DIV:
662         break;  // TODO: Not implemented
663       case CEED_EVAL_CURL:
664         break;  // TODO: Not implemented
665                 // LCOV_EXCL_STOP
666     }
667     // TODO put in a function
668     // Restriction
669     bool is_strided;
670     CeedCallBackend(CeedElemRestrictionIsStrided(elem_rstr, &is_strided));
671     if (!is_strided) {
672       CeedInt comp_stride;
673 
674       CeedCallBackend(CeedElemRestrictionGetLVectorSize(elem_rstr, &l_size));
675       code << "    const CeedInt l_size_out_" << i << " = " << l_size << ";\n";
676       CeedCallBackend(CeedElemRestrictionGetCompStride(elem_rstr, &comp_stride));
677       code << "    // CompStride: " << comp_stride << "\n";
678       CeedCallBackend(CeedElemRestrictionGetData(elem_rstr, &rstr_data));
679       data->indices.outputs[i] = rstr_data->d_ind;
680       code << "    writeDofsOffset" << dim << "d<num_comp_out_" << i << ", " << comp_stride << ", P_out_" << i << ">(data, l_size_out_" << i
681            << ", elem, indices.outputs[" << i << "], r_v_" << i << ", d_v_" << i << ");\n";
682     } else {
683       bool    has_backend_strides;
684       CeedInt num_elem;
685 
686       CeedCallBackend(CeedElemRestrictionHasBackendStrides(elem_rstr, &has_backend_strides));
687       CeedCallBackend(CeedElemRestrictionGetNumElements(elem_rstr, &num_elem));
688       CeedInt strides[3] = {1, elem_size * num_elem, elem_size};
689 
690       if (!has_backend_strides) {
691         CeedCallBackend(CeedElemRestrictionGetStrides(elem_rstr, &strides));
692       }
693       code << "    // Strides: {" << strides[0] << ", " << strides[1] << ", " << strides[2] << "}\n";
694       code << "    writeDofsStrided" << dim << "d<num_comp_out_" << i << ",P_out_" << i << "," << strides[0] << "," << strides[1] << "," << strides[2]
695            << ">(data, elem, r_v_" << i << ", d_v_" << i << ");\n";
696     }
697   }
698 
699   code << "  }\n";
700   code << "}\n";
701   code << "// -----------------------------------------------------------------------------\n\n";
702 
703   // View kernel for debugging
704   CeedDebug256(ceed, CEED_DEBUG_COLOR_SUCCESS, "Generated Operator Kernels:\n");
705   CeedDebug(ceed, code.str().c_str());
706 
707   CeedCallBackend(CeedCompile_Cuda(ceed, code.str().c_str(), &data->module, 1, "T_1D", CeedIntMax(Q_1d, data->max_P_1d)));
708   CeedCallBackend(CeedGetKernel_Cuda(ceed, data->module, operator_name.c_str(), &data->op));
709 
710   CeedCallBackend(CeedOperatorSetSetupDone(op));
711   return CEED_ERROR_SUCCESS;
712 }
713 
714 //------------------------------------------------------------------------------
715