• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright © 2015 Red Hat
3  *
4  * Permission is hereby granted, free of charge, to any person obtaining a
5  * copy of this software and associated documentation files (the "Software"),
6  * to deal in the Software without restriction, including without limitation
7  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8  * and/or sell copies of the Software, and to permit persons to whom the
9  * Software is furnished to do so, subject to the following conditions:
10  *
11  * The above copyright notice and this permission notice (including the next
12  * paragraph) shall be included in all copies or substantial portions of the
13  * Software.
14  *
15  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
18  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
21  * IN THE SOFTWARE.
22  */
23 
24 #include "nir.h"
25 #include "nir_control_flow.h"
26 
27 /* Secret Decoder Ring:
28  *   clone_foo():
29  *        Allocate and clone a foo.
30  *   __clone_foo():
31  *        Clone body of foo (ie. parent class, embedded struct, etc)
32  */
33 
34 typedef struct {
35    /* True if we are cloning an entire shader. */
36    bool global_clone;
37 
38    /* If true allows the clone operation to fall back to the original pointer
39     * if no clone pointer is found in the remap table.  This allows us to
40     * clone a loop body without having to add srcs from outside the loop to
41     * the remap table. This is useful for loop unrolling.
42     */
43    bool allow_remap_fallback;
44 
45    /* maps orig ptr -> cloned ptr: */
46    struct hash_table *remap_table;
47 
48    /* List of phi sources. */
49    struct list_head phi_srcs;
50 
51    /* new shader object, used as memctx for just about everything else: */
52    nir_shader *ns;
53 } clone_state;
54 
55 static void
init_clone_state(clone_state * state,struct hash_table * remap_table,bool global,bool allow_remap_fallback)56 init_clone_state(clone_state *state, struct hash_table *remap_table,
57                  bool global, bool allow_remap_fallback)
58 {
59    state->global_clone = global;
60    state->allow_remap_fallback = allow_remap_fallback;
61 
62    if (remap_table) {
63       state->remap_table = remap_table;
64    } else {
65       state->remap_table = _mesa_hash_table_create(NULL, _mesa_hash_pointer,
66                                                    _mesa_key_pointer_equal);
67    }
68 
69    list_inithead(&state->phi_srcs);
70 }
71 
72 static void
free_clone_state(clone_state * state)73 free_clone_state(clone_state *state)
74 {
75    _mesa_hash_table_destroy(state->remap_table, NULL);
76 }
77 
78 static inline void *
_lookup_ptr(clone_state * state,const void * ptr,bool global)79 _lookup_ptr(clone_state *state, const void *ptr, bool global)
80 {
81    struct hash_entry *entry;
82 
83    if (!ptr)
84       return NULL;
85 
86    if (!state->global_clone && global)
87       return (void *)ptr;
88 
89    entry = _mesa_hash_table_search(state->remap_table, ptr);
90    if (!entry) {
91       assert(state->allow_remap_fallback);
92       return (void *)ptr;
93    }
94 
95    return entry->data;
96 }
97 
98 static void
add_remap(clone_state * state,void * nptr,const void * ptr)99 add_remap(clone_state *state, void *nptr, const void *ptr)
100 {
101    _mesa_hash_table_insert(state->remap_table, ptr, nptr);
102 }
103 
104 static void *
remap_local(clone_state * state,const void * ptr)105 remap_local(clone_state *state, const void *ptr)
106 {
107    return _lookup_ptr(state, ptr, false);
108 }
109 
110 static void *
remap_global(clone_state * state,const void * ptr)111 remap_global(clone_state *state, const void *ptr)
112 {
113    return _lookup_ptr(state, ptr, true);
114 }
115 
116 static nir_register *
remap_reg(clone_state * state,const nir_register * reg)117 remap_reg(clone_state *state, const nir_register *reg)
118 {
119    return _lookup_ptr(state, reg, reg->is_global);
120 }
121 
122 static nir_variable *
remap_var(clone_state * state,const nir_variable * var)123 remap_var(clone_state *state, const nir_variable *var)
124 {
125    return _lookup_ptr(state, var, nir_variable_is_global(var));
126 }
127 
128 nir_constant *
nir_constant_clone(const nir_constant * c,nir_variable * nvar)129 nir_constant_clone(const nir_constant *c, nir_variable *nvar)
130 {
131    nir_constant *nc = ralloc(nvar, nir_constant);
132 
133    memcpy(nc->values, c->values, sizeof(nc->values));
134    nc->num_elements = c->num_elements;
135    nc->elements = ralloc_array(nvar, nir_constant *, c->num_elements);
136    for (unsigned i = 0; i < c->num_elements; i++) {
137       nc->elements[i] = nir_constant_clone(c->elements[i], nvar);
138    }
139 
140    return nc;
141 }
142 
143 /* NOTE: for cloning nir_variable's, bypass nir_variable_create to avoid
144  * having to deal with locals and globals separately:
145  */
146 nir_variable *
nir_variable_clone(const nir_variable * var,nir_shader * shader)147 nir_variable_clone(const nir_variable *var, nir_shader *shader)
148 {
149    nir_variable *nvar = rzalloc(shader, nir_variable);
150 
151    nvar->type = var->type;
152    nvar->name = ralloc_strdup(nvar, var->name);
153    nvar->data = var->data;
154    nvar->num_state_slots = var->num_state_slots;
155    nvar->state_slots = ralloc_array(nvar, nir_state_slot, var->num_state_slots);
156    memcpy(nvar->state_slots, var->state_slots,
157           var->num_state_slots * sizeof(nir_state_slot));
158    if (var->constant_initializer) {
159       nvar->constant_initializer =
160          nir_constant_clone(var->constant_initializer, nvar);
161    }
162    nvar->interface_type = var->interface_type;
163 
164    return nvar;
165 }
166 
167 static nir_variable *
clone_variable(clone_state * state,const nir_variable * var)168 clone_variable(clone_state *state, const nir_variable *var)
169 {
170    nir_variable *nvar = nir_variable_clone(var, state->ns);
171    add_remap(state, nvar, var);
172 
173    return nvar;
174 }
175 
176 /* clone list of nir_variable: */
177 static void
clone_var_list(clone_state * state,struct exec_list * dst,const struct exec_list * list)178 clone_var_list(clone_state *state, struct exec_list *dst,
179                const struct exec_list *list)
180 {
181    exec_list_make_empty(dst);
182    foreach_list_typed(nir_variable, var, node, list) {
183       nir_variable *nvar = clone_variable(state, var);
184       exec_list_push_tail(dst, &nvar->node);
185    }
186 }
187 
188 /* NOTE: for cloning nir_register's, bypass nir_global/local_reg_create()
189  * to avoid having to deal with locals and globals separately:
190  */
191 static nir_register *
clone_register(clone_state * state,const nir_register * reg)192 clone_register(clone_state *state, const nir_register *reg)
193 {
194    nir_register *nreg = rzalloc(state->ns, nir_register);
195    add_remap(state, nreg, reg);
196 
197    nreg->num_components = reg->num_components;
198    nreg->bit_size = reg->bit_size;
199    nreg->num_array_elems = reg->num_array_elems;
200    nreg->index = reg->index;
201    nreg->name = ralloc_strdup(nreg, reg->name);
202    nreg->is_global = reg->is_global;
203    nreg->is_packed = reg->is_packed;
204 
205    /* reconstructing uses/defs/if_uses handled by nir_instr_insert() */
206    list_inithead(&nreg->uses);
207    list_inithead(&nreg->defs);
208    list_inithead(&nreg->if_uses);
209 
210    return nreg;
211 }
212 
213 /* clone list of nir_register: */
214 static void
clone_reg_list(clone_state * state,struct exec_list * dst,const struct exec_list * list)215 clone_reg_list(clone_state *state, struct exec_list *dst,
216                const struct exec_list *list)
217 {
218    exec_list_make_empty(dst);
219    foreach_list_typed(nir_register, reg, node, list) {
220       nir_register *nreg = clone_register(state, reg);
221       exec_list_push_tail(dst, &nreg->node);
222    }
223 }
224 
225 static void
__clone_src(clone_state * state,void * ninstr_or_if,nir_src * nsrc,const nir_src * src)226 __clone_src(clone_state *state, void *ninstr_or_if,
227             nir_src *nsrc, const nir_src *src)
228 {
229    nsrc->is_ssa = src->is_ssa;
230    if (src->is_ssa) {
231       nsrc->ssa = remap_local(state, src->ssa);
232    } else {
233       nsrc->reg.reg = remap_reg(state, src->reg.reg);
234       if (src->reg.indirect) {
235          nsrc->reg.indirect = ralloc(ninstr_or_if, nir_src);
236          __clone_src(state, ninstr_or_if, nsrc->reg.indirect, src->reg.indirect);
237       }
238       nsrc->reg.base_offset = src->reg.base_offset;
239    }
240 }
241 
242 static void
__clone_dst(clone_state * state,nir_instr * ninstr,nir_dest * ndst,const nir_dest * dst)243 __clone_dst(clone_state *state, nir_instr *ninstr,
244             nir_dest *ndst, const nir_dest *dst)
245 {
246    ndst->is_ssa = dst->is_ssa;
247    if (dst->is_ssa) {
248       nir_ssa_dest_init(ninstr, ndst, dst->ssa.num_components,
249                         dst->ssa.bit_size, dst->ssa.name);
250       add_remap(state, &ndst->ssa, &dst->ssa);
251    } else {
252       ndst->reg.reg = remap_reg(state, dst->reg.reg);
253       if (dst->reg.indirect) {
254          ndst->reg.indirect = ralloc(ninstr, nir_src);
255          __clone_src(state, ninstr, ndst->reg.indirect, dst->reg.indirect);
256       }
257       ndst->reg.base_offset = dst->reg.base_offset;
258    }
259 }
260 
261 static nir_deref *clone_deref(clone_state *state, const nir_deref *deref,
262                               nir_instr *ninstr, nir_deref *parent);
263 
264 static nir_deref_var *
clone_deref_var(clone_state * state,const nir_deref_var * dvar,nir_instr * ninstr)265 clone_deref_var(clone_state *state, const nir_deref_var *dvar,
266                 nir_instr *ninstr)
267 {
268    nir_variable *nvar = remap_var(state, dvar->var);
269    nir_deref_var *ndvar = nir_deref_var_create(ninstr, nvar);
270 
271    if (dvar->deref.child)
272       ndvar->deref.child = clone_deref(state, dvar->deref.child,
273                                        ninstr, &ndvar->deref);
274 
275    return ndvar;
276 }
277 
278 static nir_deref_array *
clone_deref_array(clone_state * state,const nir_deref_array * darr,nir_instr * ninstr,nir_deref * parent)279 clone_deref_array(clone_state *state, const nir_deref_array *darr,
280                   nir_instr *ninstr, nir_deref *parent)
281 {
282    nir_deref_array *ndarr = nir_deref_array_create(parent);
283 
284    ndarr->deref.type = darr->deref.type;
285    if (darr->deref.child)
286       ndarr->deref.child = clone_deref(state, darr->deref.child,
287                                        ninstr, &ndarr->deref);
288 
289    ndarr->deref_array_type = darr->deref_array_type;
290    ndarr->base_offset = darr->base_offset;
291    if (ndarr->deref_array_type == nir_deref_array_type_indirect)
292       __clone_src(state, ninstr, &ndarr->indirect, &darr->indirect);
293 
294    return ndarr;
295 }
296 
297 static nir_deref_struct *
clone_deref_struct(clone_state * state,const nir_deref_struct * dstr,nir_instr * ninstr,nir_deref * parent)298 clone_deref_struct(clone_state *state, const nir_deref_struct *dstr,
299                    nir_instr *ninstr, nir_deref *parent)
300 {
301    nir_deref_struct *ndstr = nir_deref_struct_create(parent, dstr->index);
302 
303    ndstr->deref.type = dstr->deref.type;
304    if (dstr->deref.child)
305       ndstr->deref.child = clone_deref(state, dstr->deref.child,
306                                        ninstr, &ndstr->deref);
307 
308    return ndstr;
309 }
310 
311 static nir_deref *
clone_deref(clone_state * state,const nir_deref * dref,nir_instr * ninstr,nir_deref * parent)312 clone_deref(clone_state *state, const nir_deref *dref,
313             nir_instr *ninstr, nir_deref *parent)
314 {
315    switch (dref->deref_type) {
316    case nir_deref_type_array:
317       return &clone_deref_array(state, nir_deref_as_array(dref),
318                                 ninstr, parent)->deref;
319    case nir_deref_type_struct:
320       return &clone_deref_struct(state, nir_deref_as_struct(dref),
321                                  ninstr, parent)->deref;
322    default:
323       unreachable("bad deref type");
324       return NULL;
325    }
326 }
327 
328 static nir_alu_instr *
clone_alu(clone_state * state,const nir_alu_instr * alu)329 clone_alu(clone_state *state, const nir_alu_instr *alu)
330 {
331    nir_alu_instr *nalu = nir_alu_instr_create(state->ns, alu->op);
332    nalu->exact = alu->exact;
333 
334    __clone_dst(state, &nalu->instr, &nalu->dest.dest, &alu->dest.dest);
335    nalu->dest.saturate = alu->dest.saturate;
336    nalu->dest.write_mask = alu->dest.write_mask;
337 
338    for (unsigned i = 0; i < nir_op_infos[alu->op].num_inputs; i++) {
339       __clone_src(state, &nalu->instr, &nalu->src[i].src, &alu->src[i].src);
340       nalu->src[i].negate = alu->src[i].negate;
341       nalu->src[i].abs = alu->src[i].abs;
342       memcpy(nalu->src[i].swizzle, alu->src[i].swizzle,
343              sizeof(nalu->src[i].swizzle));
344    }
345 
346    return nalu;
347 }
348 
349 static nir_intrinsic_instr *
clone_intrinsic(clone_state * state,const nir_intrinsic_instr * itr)350 clone_intrinsic(clone_state *state, const nir_intrinsic_instr *itr)
351 {
352    nir_intrinsic_instr *nitr =
353       nir_intrinsic_instr_create(state->ns, itr->intrinsic);
354 
355    unsigned num_variables = nir_intrinsic_infos[itr->intrinsic].num_variables;
356    unsigned num_srcs = nir_intrinsic_infos[itr->intrinsic].num_srcs;
357 
358    if (nir_intrinsic_infos[itr->intrinsic].has_dest)
359       __clone_dst(state, &nitr->instr, &nitr->dest, &itr->dest);
360 
361    nitr->num_components = itr->num_components;
362    memcpy(nitr->const_index, itr->const_index, sizeof(nitr->const_index));
363 
364    for (unsigned i = 0; i < num_variables; i++) {
365       nitr->variables[i] = clone_deref_var(state, itr->variables[i],
366                                            &nitr->instr);
367    }
368 
369    for (unsigned i = 0; i < num_srcs; i++)
370       __clone_src(state, &nitr->instr, &nitr->src[i], &itr->src[i]);
371 
372    return nitr;
373 }
374 
375 static nir_load_const_instr *
clone_load_const(clone_state * state,const nir_load_const_instr * lc)376 clone_load_const(clone_state *state, const nir_load_const_instr *lc)
377 {
378    nir_load_const_instr *nlc =
379       nir_load_const_instr_create(state->ns, lc->def.num_components,
380                                   lc->def.bit_size);
381 
382    memcpy(&nlc->value, &lc->value, sizeof(nlc->value));
383 
384    add_remap(state, &nlc->def, &lc->def);
385 
386    return nlc;
387 }
388 
389 static nir_ssa_undef_instr *
clone_ssa_undef(clone_state * state,const nir_ssa_undef_instr * sa)390 clone_ssa_undef(clone_state *state, const nir_ssa_undef_instr *sa)
391 {
392    nir_ssa_undef_instr *nsa =
393       nir_ssa_undef_instr_create(state->ns, sa->def.num_components,
394                                  sa->def.bit_size);
395 
396    add_remap(state, &nsa->def, &sa->def);
397 
398    return nsa;
399 }
400 
401 static nir_tex_instr *
clone_tex(clone_state * state,const nir_tex_instr * tex)402 clone_tex(clone_state *state, const nir_tex_instr *tex)
403 {
404    nir_tex_instr *ntex = nir_tex_instr_create(state->ns, tex->num_srcs);
405 
406    ntex->sampler_dim = tex->sampler_dim;
407    ntex->dest_type = tex->dest_type;
408    ntex->op = tex->op;
409    __clone_dst(state, &ntex->instr, &ntex->dest, &tex->dest);
410    for (unsigned i = 0; i < ntex->num_srcs; i++) {
411       ntex->src[i].src_type = tex->src[i].src_type;
412       __clone_src(state, &ntex->instr, &ntex->src[i].src, &tex->src[i].src);
413    }
414    ntex->coord_components = tex->coord_components;
415    ntex->is_array = tex->is_array;
416    ntex->is_shadow = tex->is_shadow;
417    ntex->is_new_style_shadow = tex->is_new_style_shadow;
418    ntex->component = tex->component;
419 
420    ntex->texture_index = tex->texture_index;
421    if (tex->texture)
422       ntex->texture = clone_deref_var(state, tex->texture, &ntex->instr);
423    ntex->texture_array_size = tex->texture_array_size;
424 
425    ntex->sampler_index = tex->sampler_index;
426    if (tex->sampler)
427       ntex->sampler = clone_deref_var(state, tex->sampler, &ntex->instr);
428 
429    return ntex;
430 }
431 
432 static nir_phi_instr *
clone_phi(clone_state * state,const nir_phi_instr * phi,nir_block * nblk)433 clone_phi(clone_state *state, const nir_phi_instr *phi, nir_block *nblk)
434 {
435    nir_phi_instr *nphi = nir_phi_instr_create(state->ns);
436 
437    __clone_dst(state, &nphi->instr, &nphi->dest, &phi->dest);
438 
439    /* Cloning a phi node is a bit different from other instructions.  The
440     * sources of phi instructions are the only time where we can use an SSA
441     * def before it is defined.  In order to handle this, we just copy over
442     * the sources from the old phi instruction directly and then fix them up
443     * in a second pass once all the instrutions in the function have been
444     * properly cloned.
445     *
446     * In order to ensure that the copied sources (which are the same as the
447     * old phi instruction's sources for now) don't get inserted into the old
448     * shader's use-def lists, we have to add the phi instruction *before* we
449     * set up its sources.
450     */
451    nir_instr_insert_after_block(nblk, &nphi->instr);
452 
453    foreach_list_typed(nir_phi_src, src, node, &phi->srcs) {
454       nir_phi_src *nsrc = ralloc(nphi, nir_phi_src);
455 
456       /* Just copy the old source for now. */
457       memcpy(nsrc, src, sizeof(*src));
458 
459       /* Since we're not letting nir_insert_instr handle use/def stuff for us,
460        * we have to set the parent_instr manually.  It doesn't really matter
461        * when we do it, so we might as well do it here.
462        */
463       nsrc->src.parent_instr = &nphi->instr;
464 
465       /* Stash it in the list of phi sources.  We'll walk this list and fix up
466        * sources at the very end of clone_function_impl.
467        */
468       list_add(&nsrc->src.use_link, &state->phi_srcs);
469 
470       exec_list_push_tail(&nphi->srcs, &nsrc->node);
471    }
472 
473    return nphi;
474 }
475 
476 static nir_jump_instr *
clone_jump(clone_state * state,const nir_jump_instr * jmp)477 clone_jump(clone_state *state, const nir_jump_instr *jmp)
478 {
479    nir_jump_instr *njmp = nir_jump_instr_create(state->ns, jmp->type);
480 
481    return njmp;
482 }
483 
484 static nir_call_instr *
clone_call(clone_state * state,const nir_call_instr * call)485 clone_call(clone_state *state, const nir_call_instr *call)
486 {
487    nir_function *ncallee = remap_global(state, call->callee);
488    nir_call_instr *ncall = nir_call_instr_create(state->ns, ncallee);
489 
490    for (unsigned i = 0; i < ncall->num_params; i++)
491       ncall->params[i] = clone_deref_var(state, call->params[i], &ncall->instr);
492 
493    ncall->return_deref = clone_deref_var(state, call->return_deref,
494                                          &ncall->instr);
495 
496    return ncall;
497 }
498 
499 static nir_instr *
clone_instr(clone_state * state,const nir_instr * instr)500 clone_instr(clone_state *state, const nir_instr *instr)
501 {
502    switch (instr->type) {
503    case nir_instr_type_alu:
504       return &clone_alu(state, nir_instr_as_alu(instr))->instr;
505    case nir_instr_type_intrinsic:
506       return &clone_intrinsic(state, nir_instr_as_intrinsic(instr))->instr;
507    case nir_instr_type_load_const:
508       return &clone_load_const(state, nir_instr_as_load_const(instr))->instr;
509    case nir_instr_type_ssa_undef:
510       return &clone_ssa_undef(state, nir_instr_as_ssa_undef(instr))->instr;
511    case nir_instr_type_tex:
512       return &clone_tex(state, nir_instr_as_tex(instr))->instr;
513    case nir_instr_type_phi:
514       unreachable("Cannot clone phis with clone_instr");
515    case nir_instr_type_jump:
516       return &clone_jump(state, nir_instr_as_jump(instr))->instr;
517    case nir_instr_type_call:
518       return &clone_call(state, nir_instr_as_call(instr))->instr;
519    case nir_instr_type_parallel_copy:
520       unreachable("Cannot clone parallel copies");
521    default:
522       unreachable("bad instr type");
523       return NULL;
524    }
525 }
526 
527 static nir_block *
clone_block(clone_state * state,struct exec_list * cf_list,const nir_block * blk)528 clone_block(clone_state *state, struct exec_list *cf_list, const nir_block *blk)
529 {
530    /* Don't actually create a new block.  Just use the one from the tail of
531     * the list.  NIR guarantees that the tail of the list is a block and that
532     * no two blocks are side-by-side in the IR;  It should be empty.
533     */
534    nir_block *nblk =
535       exec_node_data(nir_block, exec_list_get_tail(cf_list), cf_node.node);
536    assert(nblk->cf_node.type == nir_cf_node_block);
537    assert(exec_list_is_empty(&nblk->instr_list));
538 
539    /* We need this for phi sources */
540    add_remap(state, nblk, blk);
541 
542    nir_foreach_instr(instr, blk) {
543       if (instr->type == nir_instr_type_phi) {
544          /* Phi instructions are a bit of a special case when cloning because
545           * we don't want inserting the instruction to automatically handle
546           * use/defs for us.  Instead, we need to wait until all the
547           * blocks/instructions are in so that we can set their sources up.
548           */
549          clone_phi(state, nir_instr_as_phi(instr), nblk);
550       } else {
551          nir_instr *ninstr = clone_instr(state, instr);
552          nir_instr_insert_after_block(nblk, ninstr);
553       }
554    }
555 
556    return nblk;
557 }
558 
559 static void
560 clone_cf_list(clone_state *state, struct exec_list *dst,
561               const struct exec_list *list);
562 
563 static nir_if *
clone_if(clone_state * state,struct exec_list * cf_list,const nir_if * i)564 clone_if(clone_state *state, struct exec_list *cf_list, const nir_if *i)
565 {
566    nir_if *ni = nir_if_create(state->ns);
567 
568    __clone_src(state, ni, &ni->condition, &i->condition);
569 
570    nir_cf_node_insert_end(cf_list, &ni->cf_node);
571 
572    clone_cf_list(state, &ni->then_list, &i->then_list);
573    clone_cf_list(state, &ni->else_list, &i->else_list);
574 
575    return ni;
576 }
577 
578 static nir_loop *
clone_loop(clone_state * state,struct exec_list * cf_list,const nir_loop * loop)579 clone_loop(clone_state *state, struct exec_list *cf_list, const nir_loop *loop)
580 {
581    nir_loop *nloop = nir_loop_create(state->ns);
582 
583    nir_cf_node_insert_end(cf_list, &nloop->cf_node);
584 
585    clone_cf_list(state, &nloop->body, &loop->body);
586 
587    return nloop;
588 }
589 
590 /* clone list of nir_cf_node: */
591 static void
clone_cf_list(clone_state * state,struct exec_list * dst,const struct exec_list * list)592 clone_cf_list(clone_state *state, struct exec_list *dst,
593               const struct exec_list *list)
594 {
595    foreach_list_typed(nir_cf_node, cf, node, list) {
596       switch (cf->type) {
597       case nir_cf_node_block:
598          clone_block(state, dst, nir_cf_node_as_block(cf));
599          break;
600       case nir_cf_node_if:
601          clone_if(state, dst, nir_cf_node_as_if(cf));
602          break;
603       case nir_cf_node_loop:
604          clone_loop(state, dst, nir_cf_node_as_loop(cf));
605          break;
606       default:
607          unreachable("bad cf type");
608       }
609    }
610 }
611 
612 /* After we've cloned almost everything, we have to walk the list of phi
613  * sources and fix them up.  Thanks to loops, the block and SSA value for a
614  * phi source may not be defined when we first encounter it.  Instead, we
615  * add it to the phi_srcs list and we fix it up here.
616  */
617 static void
fixup_phi_srcs(clone_state * state)618 fixup_phi_srcs(clone_state *state)
619 {
620    list_for_each_entry_safe(nir_phi_src, src, &state->phi_srcs, src.use_link) {
621       src->pred = remap_local(state, src->pred);
622 
623       /* Remove from this list */
624       list_del(&src->src.use_link);
625 
626       if (src->src.is_ssa) {
627          src->src.ssa = remap_local(state, src->src.ssa);
628          list_addtail(&src->src.use_link, &src->src.ssa->uses);
629       } else {
630          src->src.reg.reg = remap_reg(state, src->src.reg.reg);
631          list_addtail(&src->src.use_link, &src->src.reg.reg->uses);
632       }
633    }
634    assert(list_empty(&state->phi_srcs));
635 }
636 
637 void
nir_cf_list_clone(nir_cf_list * dst,nir_cf_list * src,nir_cf_node * parent,struct hash_table * remap_table)638 nir_cf_list_clone(nir_cf_list *dst, nir_cf_list *src, nir_cf_node *parent,
639                   struct hash_table *remap_table)
640 {
641    exec_list_make_empty(&dst->list);
642    dst->impl = src->impl;
643 
644    if (exec_list_is_empty(&src->list))
645       return;
646 
647    clone_state state;
648    init_clone_state(&state, remap_table, false, true);
649 
650    /* We use the same shader */
651    state.ns = src->impl->function->shader;
652 
653    /* The control-flow code assumes that the list of cf_nodes always starts
654     * and ends with a block.  We start by adding an empty block.
655     */
656    nir_block *nblk = nir_block_create(state.ns);
657    nblk->cf_node.parent = parent;
658    exec_list_push_tail(&dst->list, &nblk->cf_node.node);
659 
660    clone_cf_list(&state, &dst->list, &src->list);
661 
662    fixup_phi_srcs(&state);
663 }
664 
665 static nir_function_impl *
clone_function_impl(clone_state * state,const nir_function_impl * fi)666 clone_function_impl(clone_state *state, const nir_function_impl *fi)
667 {
668    nir_function_impl *nfi = nir_function_impl_create_bare(state->ns);
669 
670    clone_var_list(state, &nfi->locals, &fi->locals);
671    clone_reg_list(state, &nfi->registers, &fi->registers);
672    nfi->reg_alloc = fi->reg_alloc;
673 
674    nfi->num_params = fi->num_params;
675    nfi->params = ralloc_array(state->ns, nir_variable *, fi->num_params);
676    for (unsigned i = 0; i < fi->num_params; i++) {
677       nfi->params[i] = clone_variable(state, fi->params[i]);
678    }
679    if (fi->return_var)
680       nfi->return_var = clone_variable(state, fi->return_var);
681 
682    assert(list_empty(&state->phi_srcs));
683 
684    clone_cf_list(state, &nfi->body, &fi->body);
685 
686    fixup_phi_srcs(state);
687 
688    /* All metadata is invalidated in the cloning process */
689    nfi->valid_metadata = 0;
690 
691    return nfi;
692 }
693 
694 nir_function_impl *
nir_function_impl_clone(const nir_function_impl * fi)695 nir_function_impl_clone(const nir_function_impl *fi)
696 {
697    clone_state state;
698    init_clone_state(&state, NULL, false, false);
699 
700    /* We use the same shader */
701    state.ns = fi->function->shader;
702 
703    nir_function_impl *nfi = clone_function_impl(&state, fi);
704 
705    free_clone_state(&state);
706 
707    return nfi;
708 }
709 
710 static nir_function *
clone_function(clone_state * state,const nir_function * fxn,nir_shader * ns)711 clone_function(clone_state *state, const nir_function *fxn, nir_shader *ns)
712 {
713    assert(ns == state->ns);
714    nir_function *nfxn = nir_function_create(ns, fxn->name);
715 
716    /* Needed for call instructions */
717    add_remap(state, nfxn, fxn);
718 
719    nfxn->num_params = fxn->num_params;
720    nfxn->params = ralloc_array(state->ns, nir_parameter, fxn->num_params);
721    memcpy(nfxn->params, fxn->params, sizeof(nir_parameter) * fxn->num_params);
722 
723    nfxn->return_type = fxn->return_type;
724 
725    /* At first glance, it looks like we should clone the function_impl here.
726     * However, call instructions need to be able to reference at least the
727     * function and those will get processed as we clone the function_impl's.
728     * We stop here and do function_impls as a second pass.
729     */
730 
731    return nfxn;
732 }
733 
734 nir_shader *
nir_shader_clone(void * mem_ctx,const nir_shader * s)735 nir_shader_clone(void *mem_ctx, const nir_shader *s)
736 {
737    clone_state state;
738    init_clone_state(&state, NULL, true, false);
739 
740    nir_shader *ns = nir_shader_create(mem_ctx, s->stage, s->options, NULL);
741    state.ns = ns;
742 
743    clone_var_list(&state, &ns->uniforms, &s->uniforms);
744    clone_var_list(&state, &ns->inputs,   &s->inputs);
745    clone_var_list(&state, &ns->outputs,  &s->outputs);
746    clone_var_list(&state, &ns->shared,   &s->shared);
747    clone_var_list(&state, &ns->globals,  &s->globals);
748    clone_var_list(&state, &ns->system_values, &s->system_values);
749 
750    /* Go through and clone functions */
751    foreach_list_typed(nir_function, fxn, node, &s->functions)
752       clone_function(&state, fxn, ns);
753 
754    /* Only after all functions are cloned can we clone the actual function
755     * implementations.  This is because nir_call_instr's need to reference the
756     * functions of other functions and we don't know what order the functions
757     * will have in the list.
758     */
759    nir_foreach_function(fxn, s) {
760       nir_function *nfxn = remap_global(&state, fxn);
761       nfxn->impl = clone_function_impl(&state, fxn->impl);
762       nfxn->impl->function = nfxn;
763    }
764 
765    clone_reg_list(&state, &ns->registers, &s->registers);
766    ns->reg_alloc = s->reg_alloc;
767 
768    *ns->info = *s->info;
769    ns->info->name = ralloc_strdup(ns, ns->info->name);
770    if (ns->info->label)
771       ns->info->label = ralloc_strdup(ns, ns->info->label);
772 
773    ns->num_inputs = s->num_inputs;
774    ns->num_uniforms = s->num_uniforms;
775    ns->num_outputs = s->num_outputs;
776    ns->num_shared = s->num_shared;
777 
778    free_clone_state(&state);
779 
780    return ns;
781 }
782