xref: /libCEED/rust/libceed-sys/c-src/backends/ref/ceed-ref-restriction.c (revision e1b98f6e04693e28ceee9905bb78472a09b9eac5)
121617c04Sjeremylt // Copyright (c) 2017-2018, Lawrence Livermore National Security, LLC.
221617c04Sjeremylt // Produced at the Lawrence Livermore National Laboratory. LLNL-CODE-734707.
321617c04Sjeremylt // All Rights reserved. See files LICENSE and NOTICE for details.
421617c04Sjeremylt //
521617c04Sjeremylt // This file is part of CEED, a collection of benchmarks, miniapps, software
621617c04Sjeremylt // libraries and APIs for efficient high-order finite element and spectral
721617c04Sjeremylt // element discretizations for exascale applications. For more information and
821617c04Sjeremylt // source code availability see http://github.com/ceed.
921617c04Sjeremylt //
1021617c04Sjeremylt // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC,
1121617c04Sjeremylt // a collaborative effort of two U.S. Department of Energy organizations (Office
1221617c04Sjeremylt // of Science and the National Nuclear Security Administration) responsible for
1321617c04Sjeremylt // the planning and preparation of a capable exascale ecosystem, including
1421617c04Sjeremylt // software, applications, hardware, advanced system engineering and early
1521617c04Sjeremylt // testbed platforms, in support of the nation's exascale computing imperative.
1621617c04Sjeremylt 
1721617c04Sjeremylt #include "ceed-ref.h"
1821617c04Sjeremylt 
19be9261b7Sjeremylt static inline int CeedElemRestrictionApply_Ref_Core(CeedElemRestriction r,
209c36149bSjeremylt     const CeedInt blksize, const CeedInt ncomp, CeedInt start, CeedInt stop,
219c36149bSjeremylt     CeedTransposeMode tmode, CeedTransposeMode lmode, CeedVector u,
229c36149bSjeremylt     CeedVector v, CeedRequest *request) {
2321617c04Sjeremylt   int ierr;
244ce2993fSjeremylt   CeedElemRestriction_Ref *impl;
254ce2993fSjeremylt   ierr = CeedElemRestrictionGetData(r, (void *)&impl); CeedChk(ierr);;
2621617c04Sjeremylt   const CeedScalar *uu;
2721617c04Sjeremylt   CeedScalar *vv;
289c36149bSjeremylt   CeedInt nelem, elemsize, nnodes, voffset;
294ce2993fSjeremylt   ierr = CeedElemRestrictionGetNumElements(r, &nelem); CeedChk(ierr);
304ce2993fSjeremylt   ierr = CeedElemRestrictionGetElementSize(r, &elemsize); CeedChk(ierr);
318795c945Sjeremylt   ierr = CeedElemRestrictionGetNumNodes(r, &nnodes); CeedChk(ierr);
32be9261b7Sjeremylt   voffset = start*blksize*elemsize*ncomp;
3321617c04Sjeremylt 
3421617c04Sjeremylt   ierr = CeedVectorGetArrayRead(u, CEED_MEM_HOST, &uu); CeedChk(ierr);
3521617c04Sjeremylt   ierr = CeedVectorGetArray(v, CEED_MEM_HOST, &vv); CeedChk(ierr);
368d94b059Sjeremylt   // Restriction from lvector to evector
3721617c04Sjeremylt   // Perform: v = r * u
388d94b059Sjeremylt   if (tmode == CEED_NOTRANSPOSE) {
398c91a0c9SJeremy L Thompson     // No indices provided, Identity Restriction
40e17b31afSThilina Rathnayake     if (!impl->indices) {
41*e1b98f6eSjeremylt       CeedPragmaSIMD
42be9261b7Sjeremylt       for (CeedInt e = start*blksize; e < stop*blksize; e+=blksize)
43*e1b98f6eSjeremylt         CeedPragmaSIMD
44170d5e71Sjeremylt         for (CeedInt j = 0; j < blksize; j++)
45*e1b98f6eSjeremylt           CeedPragmaSIMD
46170d5e71Sjeremylt           for (CeedInt k = 0; k < ncomp*elemsize; k++)
47be9261b7Sjeremylt             vv[e*elemsize*ncomp + k*blksize + j - voffset]
484ce2993fSjeremylt               = uu[CeedIntMin(e+j, nelem-1)*ncomp*elemsize + k];
4921617c04Sjeremylt     } else {
508c91a0c9SJeremy L Thompson       // Indices provided, standard or blocked restriction
51ecf6354eSJed Brown       // vv has shape [elemsize, ncomp, nelem], row-major
528795c945Sjeremylt       // uu has shape [nnodes, ncomp]
53*e1b98f6eSjeremylt       CeedPragmaSIMD
54be9261b7Sjeremylt       for (CeedInt e = start*blksize; e < stop*blksize; e+=blksize)
55*e1b98f6eSjeremylt         CeedPragmaSIMD
5621617c04Sjeremylt         for (CeedInt d = 0; d < ncomp; d++)
57*e1b98f6eSjeremylt           CeedPragmaSIMD
5806cdd269SJed Brown           for (CeedInt i = 0; i < elemsize*blksize; i++)
59be9261b7Sjeremylt             vv[i+elemsize*(d*blksize+ncomp*e) - voffset]
6006cdd269SJed Brown               = uu[lmode == CEED_NOTRANSPOSE
618795c945Sjeremylt                          ? impl->indices[i+elemsize*e]+nnodes*d
6206cdd269SJed Brown                          : d+ncomp*impl->indices[i+elemsize*e]];
6321617c04Sjeremylt     }
6421617c04Sjeremylt   } else {
658d94b059Sjeremylt     // Restriction from evector to lvector
668d94b059Sjeremylt     // Performing v += r^T * u
678c91a0c9SJeremy L Thompson     // No indices provided, Identity Restriction
68e17b31afSThilina Rathnayake     if (!impl->indices) {
69be9261b7Sjeremylt       for (CeedInt e = start*blksize; e < stop*blksize; e+=blksize)
704ce2993fSjeremylt         for (CeedInt j = 0; j < CeedIntMin(blksize, nelem-e); j++)
71170d5e71Sjeremylt           for (CeedInt k = 0; k < ncomp*elemsize; k++)
72be9261b7Sjeremylt             vv[(e+j)*ncomp*elemsize + k]
73be9261b7Sjeremylt             += uu[e*elemsize*ncomp + k*blksize + j - voffset];
7421617c04Sjeremylt     } else {
758c91a0c9SJeremy L Thompson       // Indices provided, standard or blocked restriction
76ecf6354eSJed Brown       // uu has shape [elemsize, ncomp, nelem]
778795c945Sjeremylt       // vv has shape [nnodes, ncomp]
78*e1b98f6eSjeremylt       for (CeedInt e = start*blksize; e < stop*blksize; e+=blksize)
79170d5e71Sjeremylt         for (CeedInt d = 0; d < ncomp; d++)
8006cdd269SJed Brown           for (CeedInt i = 0; i < elemsize*blksize; i+=blksize)
818d94b059Sjeremylt             // Iteration bound set to discard padding elements
824ce2993fSjeremylt             for (CeedInt j = i; j < i+CeedIntMin(blksize, nelem-e); j++)
8306cdd269SJed Brown               vv[lmode == CEED_NOTRANSPOSE
848795c945Sjeremylt                        ? impl->indices[j+e*elemsize]+nnodes*d
8506cdd269SJed Brown                        : d+ncomp*impl->indices[j+e*elemsize]]
86*e1b98f6eSjeremylt               += uu[elemsize*(d*blksize+ncomp*e) + j - voffset];
8721617c04Sjeremylt     }
8821617c04Sjeremylt   }
8921617c04Sjeremylt   ierr = CeedVectorRestoreArrayRead(u, &uu); CeedChk(ierr);
9021617c04Sjeremylt   ierr = CeedVectorRestoreArray(v, &vv); CeedChk(ierr);
9121617c04Sjeremylt   if (request != CEED_REQUEST_IMMEDIATE && request != CEED_REQUEST_ORDERED)
9221617c04Sjeremylt     *request = NULL;
9321617c04Sjeremylt   return 0;
9421617c04Sjeremylt }
9521617c04Sjeremylt 
969c36149bSjeremylt static int CeedElemRestrictionApply_Ref_Core_11(CeedElemRestriction r,
974d2a38eeSjeremylt     CeedInt start, CeedInt stop, CeedTransposeMode tmode,
984d2a38eeSjeremylt     CeedTransposeMode lmode, CeedVector u, CeedVector v, CeedRequest *request) {
999c36149bSjeremylt   return  CeedElemRestrictionApply_Ref_Core(r, 1, 1, start, stop, tmode, lmode,
1009c36149bSjeremylt           u, v, request);
1014d2a38eeSjeremylt }
1024d2a38eeSjeremylt 
1039c36149bSjeremylt static int CeedElemRestrictionApply_Ref_Core_18(CeedElemRestriction r,
1044d2a38eeSjeremylt     CeedInt start, CeedInt stop, CeedTransposeMode tmode,
1054d2a38eeSjeremylt     CeedTransposeMode lmode, CeedVector u, CeedVector v, CeedRequest *request) {
1069c36149bSjeremylt   return  CeedElemRestrictionApply_Ref_Core(r, 8, 1, start, stop, tmode, lmode,
1079c36149bSjeremylt           u, v, request);
1089c36149bSjeremylt 
1099c36149bSjeremylt }
1109c36149bSjeremylt 
1119c36149bSjeremylt static int CeedElemRestrictionApply_Ref_Core_31(CeedElemRestriction r,
1129c36149bSjeremylt     CeedInt start, CeedInt stop, CeedTransposeMode tmode,
1139c36149bSjeremylt     CeedTransposeMode lmode, CeedVector u, CeedVector v, CeedRequest *request) {
1149c36149bSjeremylt   return  CeedElemRestrictionApply_Ref_Core(r, 1, 3, start, stop, tmode, lmode,
1159c36149bSjeremylt           u, v, request);
1169c36149bSjeremylt }
1179c36149bSjeremylt 
1189c36149bSjeremylt static int CeedElemRestrictionApply_Ref_Core_38(CeedElemRestriction r,
1199c36149bSjeremylt     CeedInt start, CeedInt stop, CeedTransposeMode tmode,
1209c36149bSjeremylt     CeedTransposeMode lmode, CeedVector u, CeedVector v, CeedRequest *request) {
1219c36149bSjeremylt   return  CeedElemRestrictionApply_Ref_Core(r, 8, 3, start, stop, tmode, lmode,
1229c36149bSjeremylt           u, v, request);
1234d2a38eeSjeremylt }
1244d2a38eeSjeremylt 
125be9261b7Sjeremylt static int CeedElemRestrictionApply_Ref(CeedElemRestriction r,
126f90c8643Sjeremylt                                         CeedTransposeMode tmode,
127f90c8643Sjeremylt                                         CeedTransposeMode lmode, CeedVector u,
128be9261b7Sjeremylt                                         CeedVector v, CeedRequest *request) {
129be9261b7Sjeremylt   int ierr;
1309c36149bSjeremylt   CeedInt numblk, ncomp, blksize;
1314d2a38eeSjeremylt   ierr = CeedElemRestrictionGetNumBlocks(r, &numblk); CeedChk(ierr);
1329c36149bSjeremylt   ierr = CeedElemRestrictionGetNumComponents(r, &ncomp); CeedChk(ierr);
1334d2a38eeSjeremylt   ierr = CeedElemRestrictionGetBlockSize(r, &blksize); CeedChk(ierr);
1344d2a38eeSjeremylt 
1359c36149bSjeremylt   CeedInt idx = -1;
1369c36149bSjeremylt   if (blksize < 10)
1379c36149bSjeremylt     idx = 10*ncomp + blksize;
1389c36149bSjeremylt   switch (idx) {
1399c36149bSjeremylt   case 11:
1409c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core_11(r, 0, numblk, tmode, lmode, u,
1414d2a38eeSjeremylt            v, request);
1429c36149bSjeremylt     break;
1439c36149bSjeremylt   case 18:
1449c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core_18(r, 0, numblk, tmode, lmode, u,
1454d2a38eeSjeremylt            v, request);
1469c36149bSjeremylt     break;
1479c36149bSjeremylt   case 31:
1489c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core_31(r, 0, numblk, tmode, lmode, u,
1499c36149bSjeremylt            v, request);
1509c36149bSjeremylt     break;
1519c36149bSjeremylt   case 38:
1529c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core_38(r, 0, numblk, tmode, lmode, u,
1539c36149bSjeremylt            v, request);
1549c36149bSjeremylt     break;
1559c36149bSjeremylt   default:
1564d2a38eeSjeremylt     // LCOV_EXCL_START
1579c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core(r, blksize, ncomp, 0, numblk,
1589c36149bSjeremylt            tmode, lmode, u, v, request);
1594d2a38eeSjeremylt     // LCOV_EXCL_STOP
160be9261b7Sjeremylt   }
1619c36149bSjeremylt }
162be9261b7Sjeremylt 
163be9261b7Sjeremylt static int CeedElemRestrictionApplyBlock_Ref(CeedElemRestriction r,
164be9261b7Sjeremylt     CeedInt block, CeedTransposeMode tmode, CeedTransposeMode lmode,
165be9261b7Sjeremylt     CeedVector u, CeedVector v, CeedRequest *request) {
1664d2a38eeSjeremylt   int ierr;
1679c36149bSjeremylt   CeedInt ncomp, blksize;
1689c36149bSjeremylt   ierr = CeedElemRestrictionGetNumComponents(r, &ncomp); CeedChk(ierr);
1694d2a38eeSjeremylt   ierr = CeedElemRestrictionGetBlockSize(r, &blksize); CeedChk(ierr);
1704d2a38eeSjeremylt 
1719c36149bSjeremylt   CeedInt idx = -1;
1729c36149bSjeremylt   if (blksize < 10)
1739c36149bSjeremylt     idx = 10*ncomp + blksize;
1749c36149bSjeremylt   switch (idx) {
1759c36149bSjeremylt   case 11:
1769c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core_11(r, block, block+1, tmode, lmode,
1774d2a38eeSjeremylt            u, v, request);
1789c36149bSjeremylt     break;
1799c36149bSjeremylt   case 18:
1809c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core_18(r, block, block+1, tmode, lmode,
1814d2a38eeSjeremylt            u, v, request);
1829c36149bSjeremylt     break;
1839c36149bSjeremylt   case 31:
1849c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core_31(r, block, block+1, tmode, lmode,
1859c36149bSjeremylt            u, v, request);
1869c36149bSjeremylt     break;
1879c36149bSjeremylt   case 38:
1889c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core_38(r, block, block+1, tmode, lmode,
1899c36149bSjeremylt            u, v, request);
1909c36149bSjeremylt     break;
1919c36149bSjeremylt   default:
1924d2a38eeSjeremylt     // LCOV_EXCL_START
1939c36149bSjeremylt     return CeedElemRestrictionApply_Ref_Core(r, blksize, ncomp, block, block+1,
1949c36149bSjeremylt            tmode, lmode, u, v, request);
1954d2a38eeSjeremylt     // LCOV_EXCL_STOP
196be9261b7Sjeremylt   }
1979c36149bSjeremylt }
198be9261b7Sjeremylt 
19921617c04Sjeremylt static int CeedElemRestrictionDestroy_Ref(CeedElemRestriction r) {
20021617c04Sjeremylt   int ierr;
201fe2413ffSjeremylt   CeedElemRestriction_Ref *impl;
202fe2413ffSjeremylt   ierr = CeedElemRestrictionGetData(r, (void *)&impl); CeedChk(ierr);
20321617c04Sjeremylt 
20421617c04Sjeremylt   ierr = CeedFree(&impl->indices_allocated); CeedChk(ierr);
205fe2413ffSjeremylt   ierr = CeedFree(&impl); CeedChk(ierr);
20621617c04Sjeremylt   return 0;
20721617c04Sjeremylt }
20821617c04Sjeremylt 
209667bc5fcSjeremylt int CeedElemRestrictionCreate_Ref(CeedMemType mtype, CeedCopyMode cmode,
210667bc5fcSjeremylt                                   const CeedInt *indices, CeedElemRestriction r) {
21121617c04Sjeremylt   int ierr;
21221617c04Sjeremylt   CeedElemRestriction_Ref *impl;
2134ce2993fSjeremylt   CeedInt elemsize, nelem;
2144ce2993fSjeremylt   ierr = CeedElemRestrictionGetNumElements(r, &nelem); CeedChk(ierr);
2154ce2993fSjeremylt   ierr = CeedElemRestrictionGetElementSize(r, &elemsize); CeedChk(ierr);
2164ce2993fSjeremylt   Ceed ceed;
2174ce2993fSjeremylt   ierr = CeedElemRestrictionGetCeed(r, &ceed); CeedChk(ierr);
21821617c04Sjeremylt 
21921617c04Sjeremylt   if (mtype != CEED_MEM_HOST)
220c042f62fSJeremy L Thompson     // LCOV_EXCL_START
2214ce2993fSjeremylt     return CeedError(ceed, 1, "Only MemType = HOST supported");
222c042f62fSJeremy L Thompson   // LCOV_EXCL_STOP
22321617c04Sjeremylt   ierr = CeedCalloc(1,&impl); CeedChk(ierr);
22421617c04Sjeremylt   switch (cmode) {
22521617c04Sjeremylt   case CEED_COPY_VALUES:
2264ce2993fSjeremylt     ierr = CeedMalloc(nelem*elemsize, &impl->indices_allocated);
22721617c04Sjeremylt     CeedChk(ierr);
22821617c04Sjeremylt     memcpy(impl->indices_allocated, indices,
2294ce2993fSjeremylt            nelem * elemsize * sizeof(indices[0]));
23021617c04Sjeremylt     impl->indices = impl->indices_allocated;
23121617c04Sjeremylt     break;
23221617c04Sjeremylt   case CEED_OWN_POINTER:
23321617c04Sjeremylt     impl->indices_allocated = (CeedInt *)indices;
23421617c04Sjeremylt     impl->indices = impl->indices_allocated;
23521617c04Sjeremylt     break;
23621617c04Sjeremylt   case CEED_USE_POINTER:
23721617c04Sjeremylt     impl->indices = indices;
23821617c04Sjeremylt   }
239fe2413ffSjeremylt 
240fe2413ffSjeremylt   ierr = CeedElemRestrictionSetData(r, (void *)&impl); CeedChk(ierr);
241fe2413ffSjeremylt   ierr = CeedSetBackendFunction(ceed, "ElemRestriction", r, "Apply",
242fe2413ffSjeremylt                                 CeedElemRestrictionApply_Ref); CeedChk(ierr);
243be9261b7Sjeremylt   ierr = CeedSetBackendFunction(ceed, "ElemRestriction", r, "ApplyBlock",
244be9261b7Sjeremylt                                 CeedElemRestrictionApplyBlock_Ref);
245be9261b7Sjeremylt   CeedChk(ierr);
246fe2413ffSjeremylt   ierr = CeedSetBackendFunction(ceed, "ElemRestriction", r, "Destroy",
247fe2413ffSjeremylt                                 CeedElemRestrictionDestroy_Ref); CeedChk(ierr);
24821617c04Sjeremylt   return 0;
24921617c04Sjeremylt }
250