1 | #ifdef PASS_PRE1 |
---|
2 | #define _AND_ && |
---|
3 | #define _OR_ || |
---|
4 | #define _NOT_ ! |
---|
5 | #define IS_INNER_LAYER (_NOT_ (IS_BOTTOM_LEVEL _OR_ IS_TOP_LAYER)) |
---|
6 | #define IS_INNER_INTERFACE (_NOT_ (IS_BOTTOM_LEVEL _OR_ IS_TOP_INTERFACE)) |
---|
7 | #endif |
---|
8 | |
---|
9 | #ifdef PASS_PRE2 |
---|
10 | |
---|
11 | #define BARRIER !$OMP BARRIER |
---|
12 | #define IS_INNER_INTERFACE (.NOT. (IS_BOTTOM_LEVEL .OR. IS_TOP_INTERFACE)) |
---|
13 | #define KERNEL(name) {% call() define_kernel(#name) %} |
---|
14 | #define FORALL_CELLS(...) {% call(lrange,flags) forall_cells(__VA_ARGS__) %} |
---|
15 | #define FORALL_CELLS_EXT(...) {% call(lrange,flags) forall_cells(__VA_ARGS__) %} |
---|
16 | #define ON_PRIMAL {% call(mesh, degree=0) on_mesh('primal',lrange,flags) %} |
---|
17 | #define ON_DUAL {% call(mesh, degree=0) on_mesh('dual',lrange,flags) %} |
---|
18 | #define ON_EDGES {% call(mesh, degree=0) on_edges('edge',lrange,flags) %} |
---|
19 | #define FORALL_EDGES {% call forall_edges(mesh,degree) %} |
---|
20 | #define FORALL_VERTICES {% call forall_vertices(mesh,degree) %} |
---|
21 | #define FORALL_TRISK {% call forall_trisk(degree) %} |
---|
22 | #define END_BLOCK {% endcall %} |
---|
23 | #define SEQUENCE_C0 {% call(body,at_level) sequence_primal() %} |
---|
24 | #define SEQUENCE_C1 {% call(body,at_level) sequence_primal() %} |
---|
25 | #define SEQUENCE_E0 {% call(body,at_level) sequence_edge() %} |
---|
26 | #define PROLOGUE(level) {% call at_level(level) %} |
---|
27 | #define EPILOGUE(level) {% call at_level(level) %} |
---|
28 | #define BODY(range) {% call body(range) %} |
---|
29 | |
---|
30 | #define CST_IF(condition, action) {{ cst_if(#condition, #action) }} |
---|
31 | #define CST_IFTHEN(condition) {{flat}}if condition |
---|
32 | #define CST_ELSEIF(condition) {{flat}}elif condition |
---|
33 | #define CST_ELSE {{flat}}else |
---|
34 | #define CST_ENDIF {{flat}}endif |
---|
35 | |
---|
36 | #endif |
---|
37 | |
---|
38 | #ifdef PASS_JINJA |
---|
39 | |
---|
40 | {# -------------------------- Design notes ------------------------------ |
---|
41 | |
---|
42 | The syntax |
---|
43 | {% call(ARGNAMES) macro(ARGS) %} |
---|
44 | ... |
---|
45 | {% endcall %} |
---|
46 | passes ARGS to macro ; this macro "calls" the body using the syntax 'caller(arg1,...)' ; these arguments |
---|
47 | are available in the body under the names ARGNAMES, as if it were a macro caller(ARGNAMES). |
---|
48 | |
---|
49 | Using its optional argument 'options', forall_cells() sets variable 'flags' |
---|
50 | and passes it on to on_mesh() / on_edges() |
---|
51 | |
---|
52 | Similarly variable 'lrange' is passed from forall_cells to on_mesh() / on_egdes() |
---|
53 | |
---|
54 | -------------------------------------------------------------------------- #} |
---|
55 | |
---|
56 | {# NB : degree = number of elements in stencil, for instance number of edges of primal cell #} |
---|
57 | {# define the degrees for which a special version of code is generated #} |
---|
58 | {% set degree_primal, degree_dual, degree_trisk = (4,5,6), (3,4), (4,10) %} |
---|
59 | |
---|
60 | {# ----------------------- SEQUENCE, FORALL ----------------------- #} |
---|
61 | |
---|
62 | {% macro sequence_primal() -%} |
---|
63 | !$OMP DO SCHEDULE(STATIC) |
---|
64 | DO ij=1,primal_num |
---|
65 | {{ caller(body_primal, at_level_primal) }} |
---|
66 | END DO |
---|
67 | !$OMP END DO |
---|
68 | {%- endmacro %} |
---|
69 | |
---|
70 | {% macro sequence_edge() -%} |
---|
71 | {% set thecode = caller(body_edge, at_level_edge) %} |
---|
72 | !$OMP DO SCHEDULE(STATIC) |
---|
73 | DO edge=1,edge_num |
---|
74 | {{ 'ij_left = left(edge)' if 'CELL1' in thecode }} |
---|
75 | {{ 'ij_right = right(edge)' if 'CELL2' in thecode }} |
---|
76 | {{ 'ij_up = up(edge)' if 'VERTEX1' in thecode }} |
---|
77 | {{ 'ij_down = down(edge)' if 'VERTEX2' in thecode }} |
---|
78 | {{ thecode }} |
---|
79 | END DO |
---|
80 | !$OMP END DO |
---|
81 | {%- endmacro %} |
---|
82 | |
---|
83 | {% macro body_primal(range) -%} |
---|
84 | {{ define('CELL','l,ij') }} |
---|
85 | DO l = {{ range }} |
---|
86 | {{ caller() }} |
---|
87 | END DO |
---|
88 | {{ undef('CELL') }} |
---|
89 | {%- endmacro %} |
---|
90 | |
---|
91 | {% macro body_edge(range) -%} |
---|
92 | {% set thecode = caller() %} |
---|
93 | {{ define('EDGE', 'l,edge') }} |
---|
94 | {{ cdef(thecode, 'LE_DE', 'le_de(edge)') }} |
---|
95 | {{ cdef(thecode, 'LE', 'le(edge)') }} |
---|
96 | {{ cdef(thecode, 'DE', 'de(edge)') }} |
---|
97 | {{ cdef(thecode, 'SIGN', '1.') }} |
---|
98 | {{ cdef(thecode, 'CELL1', 'l,ij_left') }} |
---|
99 | {{ cdef(thecode, 'CELL2', 'l,ij_right') }} |
---|
100 | {{ cdef(thecode, 'VERTEX1', 'l,ij_down') }} |
---|
101 | {{ cdef(thecode, 'VERTEX2', 'l,ij_up') }} |
---|
102 | DO l = {{ range }} |
---|
103 | {{ thecode }} |
---|
104 | END DO |
---|
105 | {{ cundef(thecode, ('EDGE','LE_DE','SIGN','CELL1','CELL2','VERTEX1','VERTEX2') ) }} |
---|
106 | {%- endmacro %} |
---|
107 | |
---|
108 | {% macro at_level_primal(lev) -%} |
---|
109 | {{ define('CELL','%s,ij'%lev) }} |
---|
110 | {{ caller() }} |
---|
111 | {{ undef('CELL') }} |
---|
112 | {%- endmacro %} |
---|
113 | |
---|
114 | {% macro at_level_edge(lev) -%} |
---|
115 | {{ define('EDGE','%s,edge'%lev) }} |
---|
116 | {{ caller() }} |
---|
117 | {{ undef('EDGE') }} |
---|
118 | {%- endmacro %} |
---|
119 | |
---|
120 | {% macro forall_cells(start='1', end='llm', options=[]) -%} |
---|
121 | {% set flags=[options] if options is string else options %} |
---|
122 | {{ caller((start,end),flags) }} |
---|
123 | {%- endmacro %} |
---|
124 | |
---|
125 | {# ---------------------- PRELOAD STENCIL INDICES ---------------------- #} |
---|
126 | |
---|
127 | {% macro get_edges(thecode, mesh,degree) %} |
---|
128 | {% for iedge in range(1,degree+1) %} |
---|
129 | {{ 'edge%d = %s_edge(%d,ij)'%(iedge,mesh,iedge) if 'EDGE' in thecode }} |
---|
130 | {% endfor %} |
---|
131 | {% for iedge in range(1,degree+1) %} |
---|
132 | {{ 'le_de%d = le_de(edge%d)'%(iedge,iedge) if 'LE_DE' in thecode }} |
---|
133 | {% endfor %} |
---|
134 | {% for iedge in range(1,degree+1) %} |
---|
135 | {{ 'sign%d = %s_ne(%d,ij)'%(iedge,mesh,iedge) if 'SIGN' in thecode }} |
---|
136 | {% endfor %} |
---|
137 | {% for iedge in range(1,degree+1) %} |
---|
138 | {{ 'ij_up%d = up(edge%d)'%(iedge,iedge) if 'VERTEX1' in thecode }} |
---|
139 | {% endfor %} |
---|
140 | {% for iedge in range(1,degree+1) %} |
---|
141 | {{ 'ij_down%d = down(edge%d)'%(iedge,iedge) if 'VERTEX2' in thecode }} |
---|
142 | {% endfor %} |
---|
143 | {% endmacro %} |
---|
144 | |
---|
145 | {% macro get_vertices(thecode, mesh,degree) %} |
---|
146 | {% for ivertex in range(1,degree+1) %} |
---|
147 | {{ 'vertex%d = %s_vertex(%d,ij)'%(ivertex,mesh,ivertex) if 'VERTEX' in thecode }} |
---|
148 | {% endfor %} |
---|
149 | {% endmacro %} |
---|
150 | |
---|
151 | {# ------------------------------ MESHES --------------------------- #} |
---|
152 | |
---|
153 | {# argument 'code' is the body enclosed by ON_XXX ... END_BLOCK ; it takes arguments : mesh,degree=0 #} |
---|
154 | |
---|
155 | {% macro vloop_unroll(mesh, lrange, flags, code) %} |
---|
156 | |
---|
157 | {% set thecode, has_primal, has_dual, has_trisk, has_none = code(mesh), False, False, False, True %} |
---|
158 | |
---|
159 | {% if 'primal_deg' in thecode %} |
---|
160 | ! this VLOOP iterates over primal cell edges |
---|
161 | {% set has_primal, has_none = True,False %} |
---|
162 | {% endif %} |
---|
163 | {% if 'dual_deg' in thecode %} |
---|
164 | ! this VLOOP iterates over dual cell edges |
---|
165 | {% set has_dual,has_none = True,False %} |
---|
166 | {% endif %} |
---|
167 | {% if 'trisk_deg' in thecode %} |
---|
168 | ! this VLOOP iterates over the TRISK stencil |
---|
169 | {% set has_trisk,has_none = True,False %} |
---|
170 | {% endif %} |
---|
171 | |
---|
172 | {% if has_none %} |
---|
173 | {{ vloop(mesh, lrange, flags, code) }} |
---|
174 | {% endif %} |
---|
175 | |
---|
176 | {% if has_primal %} |
---|
177 | SELECT CASE(primal_deg(ij)) |
---|
178 | {% for degree in degree_primal %} |
---|
179 | CASE({{ degree }}) |
---|
180 | {{ get_edges(thecode, mesh, degree) }} |
---|
181 | {{ vloop(mesh, lrange, flags, code, degree) }} |
---|
182 | {% endfor %} |
---|
183 | CASE DEFAULT |
---|
184 | {{ vloop(mesh, lrange, flags, code) }} |
---|
185 | END SELECT |
---|
186 | {% endif %} |
---|
187 | |
---|
188 | {% if has_dual %} |
---|
189 | SELECT CASE(dual_deg(ij)) |
---|
190 | {% for degree in degree_dual %} |
---|
191 | CASE({{ degree }}) |
---|
192 | {{ get_edges(thecode, mesh, degree) }} |
---|
193 | {{ get_vertices(thecode,mesh,degree) }} |
---|
194 | {{ vloop(mesh, lrange, flags, code, degree) }} |
---|
195 | {% endfor %} |
---|
196 | CASE DEFAULT |
---|
197 | {{ vloop(mesh, lrange, flags, code) }} |
---|
198 | END SELECT |
---|
199 | {% endif %} |
---|
200 | |
---|
201 | {% if has_trisk %} |
---|
202 | SELECT CASE(trisk_deg(edge)) |
---|
203 | {% for degree in degree_trisk %} |
---|
204 | CASE({{ degree }}) |
---|
205 | {{ vloop(mesh, lrange, flags, code, degree) }} |
---|
206 | {% endfor %} |
---|
207 | CASE DEFAULT |
---|
208 | {{ vloop(mesh, lrange, flags, code) }} |
---|
209 | END SELECT |
---|
210 | {% endif %} |
---|
211 | |
---|
212 | {%- endmacro %} |
---|
213 | |
---|
214 | {% macro vloop(mesh, lrange, flags, code, degree=0) %} |
---|
215 | |
---|
216 | {% set start,end = lrange %} |
---|
217 | {% set thecode, is_top_layer, is_top_inter = code(mesh,degree), False, False %} |
---|
218 | |
---|
219 | {{ define('IS_TOP_LAYER', '_FALSE_') }} |
---|
220 | {{ define('IS_TOP_INTERFACE', '_FALSE_') }} |
---|
221 | |
---|
222 | {% if 'IS_BOTTOM_LEVEL' in thecode or 'KDOWN' in thecode%} |
---|
223 | {# the code in the loop checks whether l==1, for the sake of performance |
---|
224 | we shall write special code for l=1 and start the loop at l=2 #} |
---|
225 | {{ define('IS_BOTTOM_LEVEL', '_TRUE_') }} |
---|
226 | {{ 'kdown = 1' if 'KDOWN' in thecode }} |
---|
227 | {{ 'kup = 1' if 'KUP' in thecode }} |
---|
228 | l=1 |
---|
229 | {{ thecode }} |
---|
230 | {% set start='2' %} |
---|
231 | {% endif %} |
---|
232 | |
---|
233 | {% if 'IS_TOP_LAYER' in thecode %} |
---|
234 | {{ 'ERROR : using IS_TOP_LAYER in a loop ending at l=llm+1' if end=='llm+1' }} |
---|
235 | {# the code checks whether l==llm, write special code for l=llm and end the loop at l=llm-1 #} |
---|
236 | {% set end, is_top_layer = 'llm-1', True %} |
---|
237 | {% endif %} |
---|
238 | |
---|
239 | {% if 'IS_TOP_INTERFACE' in thecode or 'KUP' in thecode %} |
---|
240 | {# the code checks whether l==llm+1, write special code for l=llm+1 and end the loop at l=llm #} |
---|
241 | {{ 'ERROR : using IS_TOP_INTERFACE in a loop ending at l=llm' if end=='llm' }} |
---|
242 | {% set end, is_top_inter ='llm', True %} |
---|
243 | {% endif %} |
---|
244 | |
---|
245 | {{ define('IS_BOTTOM_LEVEL', '_FALSE_') }} |
---|
246 | !DIR$ SIMD |
---|
247 | DO l = {{start}}, {{end}} |
---|
248 | {{ 'kdown = l-1' if 'KDOWN' in thecode }} |
---|
249 | {{ 'kup = l' if 'KUP' in thecode }} |
---|
250 | {{ thecode }} |
---|
251 | END DO |
---|
252 | |
---|
253 | {% if is_top_layer %} |
---|
254 | {{ define('IS_TOP_LAYER', '_TRUE_') }} |
---|
255 | {{ 'kdown = llm-1' if 'KDOWN' in thecode }} |
---|
256 | {{ 'kup = llm' if 'KUP' in thecode }} |
---|
257 | l=llm |
---|
258 | {{ thecode }} |
---|
259 | {% endif %} |
---|
260 | |
---|
261 | {% if is_top_inter %} |
---|
262 | {{ define('IS_TOP_INTERFACE', '_TRUE_') }} |
---|
263 | {{ 'kdown = llm' if 'KDOWN' in thecode }} |
---|
264 | {{ 'kup = llm' if 'KUP' in thecode }} |
---|
265 | l=llm+1 |
---|
266 | {{ thecode }} |
---|
267 | {% endif %} |
---|
268 | |
---|
269 | {% endmacro %} |
---|
270 | |
---|
271 | {% macro on_mesh(mesh,lrange,flags) -%} |
---|
272 | {{ define('CELL','l,ij') if mesh=='primal' }} |
---|
273 | {{ define('DUAL_CELL', 'l,ij') if mesh=='dual'}} |
---|
274 | !$OMP DO SCHEDULE(STATIC) |
---|
275 | DO ij = 1, {{ mesh }}_num |
---|
276 | {{ vloop_unroll(mesh, lrange, flags, caller) }} |
---|
277 | END DO |
---|
278 | !$OMP END DO |
---|
279 | {{ undef('CELL') }} |
---|
280 | {{ undef('DUAL_CELL') }} |
---|
281 | {%- endmacro %} |
---|
282 | |
---|
283 | {# ------------------------------ STENCILS --------------------------- #} |
---|
284 | |
---|
285 | {% macro on_edges(mesh,lrange,flags) -%} |
---|
286 | {% set thecode = caller(mesh) %} |
---|
287 | {{ define('EDGE', 'l,edge') }} |
---|
288 | {{ cdef(thecode, 'LE_DE', 'le_de(edge)') }} |
---|
289 | {{ cdef(thecode, 'DE', 'de(edge)') }} |
---|
290 | {{ cdef(thecode, 'LE', 'le(edge)') }} |
---|
291 | {{ cdef(thecode, 'SIGN', '1.') }} |
---|
292 | {{ cdef(thecode, 'CELL1', 'l,ij_left') }} |
---|
293 | {{ cdef(thecode, 'CELL2', 'l,ij_right') }} |
---|
294 | {{ cdef(thecode, 'VERTEX1', 'l,ij_down') }} |
---|
295 | {{ cdef(thecode, 'VERTEX2', 'l,ij_up') }} |
---|
296 | !$OMP DO SCHEDULE(STATIC) |
---|
297 | DO edge = 1, edge_num |
---|
298 | {{ 'ij_left = left(edge)' if 'CELL1' in thecode }} |
---|
299 | {{ 'ij_right = right(edge)' if 'CELL2' in thecode }} |
---|
300 | {{ 'ij_up = up(edge)' if 'VERTEX1' in thecode }} |
---|
301 | {{ 'ij_down = down(edge)' if 'VERTEX2' in thecode }} |
---|
302 | {{ vloop_unroll(mesh, lrange, flags, caller) }} |
---|
303 | END DO |
---|
304 | !$OMP END DO |
---|
305 | {{ cundef(thecode, ('EDGE','LE_DE','SIGN','CELL1','CELL2','VERTEX1','VERTEX2') ) }} |
---|
306 | {%- endmacro %} |
---|
307 | |
---|
308 | {% macro forall_edges(mesh,degree) -%} |
---|
309 | {% set thecode = caller() %} |
---|
310 | |
---|
311 | {% if degree>1 %} |
---|
312 | {% for iedge in range(1,degree+1) %} |
---|
313 | {{ cdef(thecode, 'EDGE', 'l,edge%d'%iedge) }} |
---|
314 | {{ cdef(thecode, 'SIGN', 'sign%d'%iedge) }} |
---|
315 | {{ cdef(thecode, 'LE_DE', 'le_de%d'%iedge) }} |
---|
316 | {{ cdef(thecode, 'VERTEX1', 'l,ij_up%d'%iedge) }} |
---|
317 | {{ cdef(thecode, 'VERTEX2', 'l,ij_down%d'%iedge) }} |
---|
318 | {{ thecode }} |
---|
319 | {% endfor %} |
---|
320 | {% else %} |
---|
321 | {{ cdef(thecode, 'EDGE', 'l,edge') }} |
---|
322 | {{ cdef(thecode, 'SIGN', mesh + '_ne(iedge,ij)') }} |
---|
323 | {{ cdef(thecode, 'LE_DE', 'le_de(edge)') }} |
---|
324 | {{ cdef(thecode, 'VERTEX1', 'l,ij_up') }} |
---|
325 | {{ cdef(thecode, 'VERTEX2', 'l,ij_down') }} |
---|
326 | DO iedge = 1, {{ mesh }}_deg(ij) |
---|
327 | edge = {{ mesh }}_edge(iedge,ij) |
---|
328 | {{ 'ij_up = up(edge)' if 'VERTEX1' in thecode }} |
---|
329 | {{ 'ij_down = down(edge)' if 'VERTEX2' in thecode }} |
---|
330 | {{ thecode }} |
---|
331 | END DO |
---|
332 | {% endif %} |
---|
333 | {{ cundef(thecode, ('EDGE', 'SIGN', 'LE_DE', 'VERTEX1', 'VERTEX2') ) }} |
---|
334 | {%- endmacro %} |
---|
335 | |
---|
336 | {% macro forall_trisk(degree) -%} |
---|
337 | {% set thecode = caller() %} |
---|
338 | {{ define('EDGE_TRISK', 'l,edge_trisk') }} |
---|
339 | {% if degree>1 %} |
---|
340 | {% for itrisk in range(1,degree+1) %} |
---|
341 | itrisk = {{ itrisk }} |
---|
342 | edge_trisk = trisk({{ itrisk }},edge) |
---|
343 | {{ thecode }} |
---|
344 | {% endfor %} |
---|
345 | {% else %} |
---|
346 | DO itrisk = 1, trisk_deg(edge) |
---|
347 | edge_trisk = trisk(itrisk,edge) |
---|
348 | {{ thecode }} |
---|
349 | END DO |
---|
350 | {% endif %} |
---|
351 | {{ undef('EDGE_TRISK') }} |
---|
352 | {%- endmacro %} |
---|
353 | |
---|
354 | {% macro forall_vertices(mesh,degree) -%} |
---|
355 | {% set thecode = caller() %} |
---|
356 | {% if degree>1 %} |
---|
357 | {% for ivertex in range(1,degree+1) %} |
---|
358 | {{ define('RIV2', 'Riv2(%d,ij)'%ivertex ) }} |
---|
359 | {{ define('VERTEX', 'l,vertex%d'%ivertex ) }} |
---|
360 | {{ thecode }} |
---|
361 | {% endfor %} |
---|
362 | {% else %} |
---|
363 | {{ define('RIV2', 'Riv2(ivertex,ij)') }} |
---|
364 | {{ define('VERTEX', 'l,vertex') }} |
---|
365 | DO ivertex = 1, {{ mesh }}_deg(ij) |
---|
366 | vertex = {{ mesh }}_vertex(ivertex,ij) |
---|
367 | {{ thecode }} |
---|
368 | END DO |
---|
369 | {% endif %} |
---|
370 | {{ undef('VERTEX') }} |
---|
371 | {{ undef('RIV2') }} |
---|
372 | {%- endmacro %} |
---|
373 | |
---|
374 | {# --------------------------------------------------------- #} |
---|
375 | |
---|
376 | {% set llm='llm' %} |
---|
377 | |
---|
378 | {{ undef('SIGN') }} |
---|
379 | {{ undef('CELL') }} |
---|
380 | {{ undef('CELL1') }} |
---|
381 | {{ undef('CELL2') }} |
---|
382 | {{ undef('VERTEX1') }} |
---|
383 | {{ undef('VERTEX2') }} |
---|
384 | {{ undef('EDGE_TRISK') }} |
---|
385 | |
---|
386 | {# --------------------- END JINJA ------------------------- #} |
---|
387 | |
---|
388 | #endif |
---|
389 | |
---|
390 | #ifdef PASS_POST1 |
---|
391 | |
---|
392 | #define _TRUE_ (0==0) |
---|
393 | #define _FALSE_ (0==1) |
---|
394 | |
---|
395 | #define AI Ai(ij) |
---|
396 | #define AV Av(ij) |
---|
397 | #define FV fv(ij) |
---|
398 | #define WEE wee(itrisk,edge,1) |
---|
399 | #define edge_ne(iedge,ij) 1. |
---|
400 | #endif |
---|
401 | |
---|
402 | #ifdef PASS_POST2 |
---|
403 | #define AT_LEVEL(l,ij,lev) lev,ij |
---|
404 | #define KUP(l,ij) kup,ij |
---|
405 | #define KDOWN(l,ij) kdown,ij |
---|
406 | #define DOWN(l,ij) l-1,ij |
---|
407 | #define UP(l,ij) l+1,ij |
---|
408 | #define HIDX(l,ij) ij |
---|
409 | #define VIDX(l,ij) l |
---|
410 | #endif |
---|