src/compiler/nir/nir_builder.h

   1 /*
   2  * Copyright © 2014-2015 Broadcom
   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 #ifndef NIR_BUILDER_H
  25 #define NIR_BUILDER_H
  26
  27 #include "nir_control_flow.h"
  28
  29 struct exec_list;
  30
  31 typedef struct nir_builder {
  32    nir_cursor cursor;
  33
  34    /* Whether new ALU instructions will be marked "exact" */
  35    bool exact;
  36
  37    nir_shader *shader;
  38    nir_function_impl *impl;
  39 } nir_builder;
  40
  41 static inline void
  42 nir_builder_init(nir_builder *build, nir_function_impl *impl)
  43 {
  44    memset(build, 0, sizeof(*build));
  45    build->exact = false;
  46    build->impl = impl;
  47    build->shader = impl->function->shader;
  48 }
  49
  50 static inline void
  51 nir_builder_init_simple_shader(nir_builder *build, void *mem_ctx,
  52                                gl_shader_stage stage,
  53                                const nir_shader_compiler_options *options)
  54 {
  55    build->shader = nir_shader_create(mem_ctx, stage, options, NULL);
  56    nir_function *func = nir_function_create(build->shader, "main");
  57    build->exact = false;
  58    build->impl = nir_function_impl_create(func);
  59    build->cursor = nir_after_cf_list(&build->impl->body);
  60 }
  61
  62 static inline void
  63 nir_builder_instr_insert(nir_builder *build, nir_instr *instr)
  64 {
  65    nir_instr_insert(build->cursor, instr);
  66
  67    /* Move the cursor forward. */
  68    build->cursor = nir_after_instr(instr);
  69 }
  70
  71 static inline nir_instr *
  72 nir_builder_last_instr(nir_builder *build)
  73 {
  74    assert(build->cursor.option == nir_cursor_after_instr);
  75    return build->cursor.instr;
  76 }
  77
  78 static inline void
  79 nir_builder_cf_insert(nir_builder *build, nir_cf_node *cf)
  80 {
  81    nir_cf_node_insert(build->cursor, cf);
  82 }
  83
  84 static inline bool
  85 nir_builder_is_inside_cf(nir_builder *build, nir_cf_node *cf_node)
  86 {
  87    nir_block *block = nir_cursor_current_block(build->cursor);
  88    for (nir_cf_node *n = &block->cf_node; n; n = n->parent) {
  89       if (n == cf_node)
  90          return true;
  91    }
  92    return false;
  93 }
  94
  95 static inline nir_if *
  96 nir_push_if(nir_builder *build, nir_ssa_def *condition)
  97 {
  98    nir_if *nif = nir_if_create(build->shader);
  99    nif->condition = nir_src_for_ssa(condition);
 100    nir_builder_cf_insert(build, &nif->cf_node);
 101    build->cursor = nir_before_cf_list(&nif->then_list);
 102    return nif;
 103 }
 104
 105 static inline nir_if *
 106 nir_push_else(nir_builder *build, nir_if *nif)
 107 {
 108    if (nif) {
 109       assert(nir_builder_is_inside_cf(build, &nif->cf_node));
 110    } else {
 111       nir_block *block = nir_cursor_current_block(build->cursor);
 112       nif = nir_cf_node_as_if(block->cf_node.parent);
 113    }
 114    build->cursor = nir_before_cf_list(&nif->else_list);
 115    return nif;
 116 }
 117
 118 static inline void
 119 nir_pop_if(nir_builder *build, nir_if *nif)
 120 {
 121    if (nif) {
 122       assert(nir_builder_is_inside_cf(build, &nif->cf_node));
 123    } else {
 124       nir_block *block = nir_cursor_current_block(build->cursor);
 125       nif = nir_cf_node_as_if(block->cf_node.parent);
 126    }
 127    build->cursor = nir_after_cf_node(&nif->cf_node);
 128 }
 129
 130 static inline nir_ssa_def *
 131 nir_if_phi(nir_builder *build, nir_ssa_def *then_def, nir_ssa_def *else_def)
 132 {
 133    nir_block *block = nir_cursor_current_block(build->cursor);
 134    nir_if *nif = nir_cf_node_as_if(nir_cf_node_prev(&block->cf_node));
 135
 136    nir_phi_instr *phi = nir_phi_instr_create(build->shader);
 137
 138    nir_phi_src *src = ralloc(phi, nir_phi_src);
 139    src->pred = nir_if_last_then_block(nif);
 140    src->src = nir_src_for_ssa(then_def);
 141    exec_list_push_tail(&phi->srcs, &src->node);
 142
 143    src = ralloc(phi, nir_phi_src);
 144    src->pred = nir_if_last_else_block(nif);
 145    src->src = nir_src_for_ssa(else_def);
 146    exec_list_push_tail(&phi->srcs, &src->node);
 147
 148    assert(then_def->num_components == else_def->num_components);
 149    assert(then_def->bit_size == else_def->bit_size);
 150    nir_ssa_dest_init(&phi->instr, &phi->dest,
 151                      then_def->num_components, then_def->bit_size, NULL);
 152
 153    nir_builder_instr_insert(build, &phi->instr);
 154
 155    return &phi->dest.ssa;
 156 }
 157
 158 static inline nir_loop *
 159 nir_push_loop(nir_builder *build)
 160 {
 161    nir_loop *loop = nir_loop_create(build->shader);
 162    nir_builder_cf_insert(build, &loop->cf_node);
 163    build->cursor = nir_before_cf_list(&loop->body);
 164    return loop;
 165 }
 166
 167 static inline void
 168 nir_pop_loop(nir_builder *build, nir_loop *loop)
 169 {
 170    if (loop) {
 171       assert(nir_builder_is_inside_cf(build, &loop->cf_node));
 172    } else {
 173       nir_block *block = nir_cursor_current_block(build->cursor);
 174       loop = nir_cf_node_as_loop(block->cf_node.parent);
 175    }
 176    build->cursor = nir_after_cf_node(&loop->cf_node);
 177 }
 178
 179 static inline nir_ssa_def *
 180 nir_ssa_undef(nir_builder *build, unsigned num_components, unsigned bit_size)
 181 {
 182    nir_ssa_undef_instr *undef =
 183       nir_ssa_undef_instr_create(build->shader, num_components, bit_size);
 184    if (!undef)
 185       return NULL;
 186
 187    nir_instr_insert(nir_before_cf_list(&build->impl->body), &undef->instr);
 188
 189    return &undef->def;
 190 }
 191
 192 static inline nir_ssa_def *
 193 nir_build_imm(nir_builder *build, unsigned num_components,
 194               unsigned bit_size, nir_const_value value)
 195 {
 196    nir_load_const_instr *load_const =
 197       nir_load_const_instr_create(build->shader, num_components, bit_size);
 198    if (!load_const)
 199       return NULL;
 200
 201    load_const->value = value;
 202
 203    nir_builder_instr_insert(build, &load_const->instr);
 204
 205    return &load_const->def;
 206 }
 207
 208 static inline nir_ssa_def *
 209 nir_imm_float(nir_builder *build, float x)
 210 {
 211    nir_const_value v;
 212
 213    memset(&v, 0, sizeof(v));
 214    v.f32[0] = x;
 215
 216    return nir_build_imm(build, 1, 32, v);
 217 }
 218
 219 static inline nir_ssa_def *
 220 nir_imm_double(nir_builder *build, double x)
 221 {
 222    nir_const_value v;
 223
 224    memset(&v, 0, sizeof(v));
 225    v.f64[0] = x;
 226
 227    return nir_build_imm(build, 1, 64, v);
 228 }
 229
 230 static inline nir_ssa_def *
 231 nir_imm_floatN_t(nir_builder *build, double x, unsigned bit_size)
 232 {
 233    switch (bit_size) {
 234    case 32:
 235       return nir_imm_float(build, x);
 236    case 64:
 237       return nir_imm_double(build, x);
 238    }
 239
 240    unreachable("unknown float immediate bit size");
 241 }
 242
 243 static inline nir_ssa_def *
 244 nir_imm_vec4(nir_builder *build, float x, float y, float z, float w)
 245 {
 246    nir_const_value v;
 247
 248    memset(&v, 0, sizeof(v));
 249    v.f32[0] = x;
 250    v.f32[1] = y;
 251    v.f32[2] = z;
 252    v.f32[3] = w;
 253
 254    return nir_build_imm(build, 4, 32, v);
 255 }
 256
 257 static inline nir_ssa_def *
 258 nir_imm_int(nir_builder *build, int x)
 259 {
 260    nir_const_value v;
 261
 262    memset(&v, 0, sizeof(v));
 263    v.i32[0] = x;
 264
 265    return nir_build_imm(build, 1, 32, v);
 266 }
 267
 268 static inline nir_ssa_def *
 269 nir_imm_int64(nir_builder *build, int64_t x)
 270 {
 271    nir_const_value v;
 272
 273    memset(&v, 0, sizeof(v));
 274    v.i64[0] = x;
 275
 276    return nir_build_imm(build, 1, 64, v);
 277 }
 278
 279 static inline nir_ssa_def *
 280 nir_imm_intN_t(nir_builder *build, uint64_t x, unsigned bit_size)
 281 {
 282    nir_const_value v;
 283
 284    memset(&v, 0, sizeof(v));
 285    assert(bit_size <= 64);
 286    v.i64[0] = x & (~0ull >> (64 - bit_size));
 287
 288    return nir_build_imm(build, 1, bit_size, v);
 289 }
 290
 291 static inline nir_ssa_def *
 292 nir_imm_ivec4(nir_builder *build, int x, int y, int z, int w)
 293 {
 294    nir_const_value v;
 295
 296    memset(&v, 0, sizeof(v));
 297    v.i32[0] = x;
 298    v.i32[1] = y;
 299    v.i32[2] = z;
 300    v.i32[3] = w;
 301
 302    return nir_build_imm(build, 4, 32, v);
 303 }
 304
 305 static inline nir_ssa_def *
 306 nir_build_alu(nir_builder *build, nir_op op, nir_ssa_def *src0,
 307               nir_ssa_def *src1, nir_ssa_def *src2, nir_ssa_def *src3)
 308 {
 309    const nir_op_info *op_info = &nir_op_infos[op];
 310    nir_alu_instr *instr = nir_alu_instr_create(build->shader, op);
 311    if (!instr)
 312       return NULL;
 313
 314    instr->exact = build->exact;
 315
 316    instr->src[0].src = nir_src_for_ssa(src0);
 317    if (src1)
 318       instr->src[1].src = nir_src_for_ssa(src1);
 319    if (src2)
 320       instr->src[2].src = nir_src_for_ssa(src2);
 321    if (src3)
 322       instr->src[3].src = nir_src_for_ssa(src3);
 323
 324    /* Guess the number of components the destination temporary should have
 325     * based on our input sizes, if it's not fixed for the op.
 326     */
 327    unsigned num_components = op_info->output_size;
 328    if (num_components == 0) {
 329       for (unsigned i = 0; i < op_info->num_inputs; i++) {
 330          if (op_info->input_sizes[i] == 0)
 331             num_components = MAX2(num_components,
 332                                   instr->src[i].src.ssa->num_components);
 333       }
 334    }
 335    assert(num_components != 0);
 336
 337    /* Figure out the bitwidth based on the source bitwidth if the instruction
 338     * is variable-width.
 339     */
 340    unsigned bit_size = nir_alu_type_get_type_size(op_info->output_type);
 341    if (bit_size == 0) {
 342       for (unsigned i = 0; i < op_info->num_inputs; i++) {
 343          unsigned src_bit_size = instr->src[i].src.ssa->bit_size;
 344          if (nir_alu_type_get_type_size(op_info->input_types[i]) == 0) {
 345             if (bit_size)
 346                assert(src_bit_size == bit_size);
 347             else
 348                bit_size = src_bit_size;
 349          } else {
 350             assert(src_bit_size ==
 351                nir_alu_type_get_type_size(op_info->input_types[i]));
 352          }
 353       }
 354    }
 355
 356    /* When in doubt, assume 32. */
 357    if (bit_size == 0)
 358       bit_size = 32;
 359
 360    /* Make sure we don't swizzle from outside of our source vector (like if a
 361     * scalar value was passed into a multiply with a vector).
 362     */
 363    for (unsigned i = 0; i < op_info->num_inputs; i++) {
 364       for (unsigned j = instr->src[i].src.ssa->num_components; j < 4; j++) {
 365          instr->src[i].swizzle[j] = instr->src[i].src.ssa->num_components - 1;
 366       }
 367    }
 368
 369    nir_ssa_dest_init(&instr->instr, &instr->dest.dest, num_components,
 370                      bit_size, NULL);
 371    instr->dest.write_mask = (1 << num_components) - 1;
 372
 373    nir_builder_instr_insert(build, &instr->instr);
 374
 375    return &instr->dest.dest.ssa;
 376 }
 377
 378 #include "nir_builder_opcodes.h"
 379
 380 static inline nir_ssa_def *
 381 nir_vec(nir_builder *build, nir_ssa_def **comp, unsigned num_components)
 382 {
 383    switch (num_components) {
 384    case 4:
 385       return nir_vec4(build, comp[0], comp[1], comp[2], comp[3]);
 386    case 3:
 387       return nir_vec3(build, comp[0], comp[1], comp[2]);
 388    case 2:
 389       return nir_vec2(build, comp[0], comp[1]);
 390    case 1:
 391       return comp[0];
 392    default:
 393       unreachable("bad component count");
 394       return NULL;
 395    }
 396 }
 397
 398 /**
 399  * Similar to nir_fmov, but takes a nir_alu_src instead of a nir_ssa_def.
 400  */
 401 static inline nir_ssa_def *
 402 nir_fmov_alu(nir_builder *build, nir_alu_src src, unsigned num_components)
 403 {
 404    nir_alu_instr *mov = nir_alu_instr_create(build->shader, nir_op_fmov);
 405    nir_ssa_dest_init(&mov->instr, &mov->dest.dest, num_components,
 406                      nir_src_bit_size(src.src), NULL);
 407    mov->exact = build->exact;
 408    mov->dest.write_mask = (1 << num_components) - 1;
 409    mov->src[0] = src;
 410    nir_builder_instr_insert(build, &mov->instr);
 411
 412    return &mov->dest.dest.ssa;
 413 }
 414
 415 static inline nir_ssa_def *
 416 nir_imov_alu(nir_builder *build, nir_alu_src src, unsigned num_components)
 417 {
 418    nir_alu_instr *mov = nir_alu_instr_create(build->shader, nir_op_imov);
 419    nir_ssa_dest_init(&mov->instr, &mov->dest.dest, num_components,
 420                      nir_src_bit_size(src.src), NULL);
 421    mov->exact = build->exact;
 422    mov->dest.write_mask = (1 << num_components) - 1;
 423    mov->src[0] = src;
 424    nir_builder_instr_insert(build, &mov->instr);
 425
 426    return &mov->dest.dest.ssa;
 427 }
 428
 429 /**
 430  * Construct an fmov or imov that reswizzles the source's components.
 431  */
 432 static inline nir_ssa_def *
 433 nir_swizzle(nir_builder *build, nir_ssa_def *src, const unsigned swiz[4],
 434             unsigned num_components, bool use_fmov)
 435 {
 436    nir_alu_src alu_src = { NIR_SRC_INIT };
 437    alu_src.src = nir_src_for_ssa(src);
 438    for (unsigned i = 0; i < num_components; i++)
 439       alu_src.swizzle[i] = swiz[i];
 440
 441    return use_fmov ? nir_fmov_alu(build, alu_src, num_components) :
 442                      nir_imov_alu(build, alu_src, num_components);
 443 }
 444
 445 /* Selects the right fdot given the number of components in each source. */
 446 static inline nir_ssa_def *
 447 nir_fdot(nir_builder *build, nir_ssa_def *src0, nir_ssa_def *src1)
 448 {
 449    assert(src0->num_components == src1->num_components);
 450    switch (src0->num_components) {
 451    case 1: return nir_fmul(build, src0, src1);
 452    case 2: return nir_fdot2(build, src0, src1);
 453    case 3: return nir_fdot3(build, src0, src1);
 454    case 4: return nir_fdot4(build, src0, src1);
 455    default:
 456       unreachable("bad component size");
 457    }
 458
 459    return NULL;
 460 }
 461
 462 static inline nir_ssa_def *
 463 nir_bany_inequal(nir_builder *b, nir_ssa_def *src0, nir_ssa_def *src1)
 464 {
 465    switch (src0->num_components) {
 466    case 1: return nir_ine(b, src0, src1);
 467    case 2: return nir_bany_inequal2(b, src0, src1);
 468    case 3: return nir_bany_inequal3(b, src0, src1);
 469    case 4: return nir_bany_inequal4(b, src0, src1);
 470    default:
 471       unreachable("bad component size");
 472    }
 473 }
 474
 475 static inline nir_ssa_def *
 476 nir_bany(nir_builder *b, nir_ssa_def *src)
 477 {
 478    return nir_bany_inequal(b, src, nir_imm_int(b, 0));
 479 }
 480
 481 static inline nir_ssa_def *
 482 nir_channel(nir_builder *b, nir_ssa_def *def, unsigned c)
 483 {
 484    unsigned swizzle[4] = {c, c, c, c};
 485    return nir_swizzle(b, def, swizzle, 1, false);
 486 }
 487
 488 static inline nir_ssa_def *
 489 nir_channels(nir_builder *b, nir_ssa_def *def, unsigned mask)
 490 {
 491    unsigned num_channels = 0, swizzle[4] = { 0, 0, 0, 0 };
 492
 493    for (unsigned i = 0; i < 4; i++) {
 494       if ((mask & (1 << i)) == 0)
 495          continue;
 496       swizzle[num_channels++] = i;
 497    }
 498
 499    return nir_swizzle(b, def, swizzle, num_channels, false);
 500 }
 501
 502 /**
 503  * Turns a nir_src into a nir_ssa_def * so it can be passed to
 504  * nir_build_alu()-based builder calls.
 505  *
 506  * See nir_ssa_for_alu_src() for alu instructions.
 507  */
 508 static inline nir_ssa_def *
 509 nir_ssa_for_src(nir_builder *build, nir_src src, int num_components)
 510 {
 511    if (src.is_ssa && src.ssa->num_components == num_components)
 512       return src.ssa;
 513
 514    nir_alu_src alu = { NIR_SRC_INIT };
 515    alu.src = src;
 516    for (int j = 0; j < 4; j++)
 517       alu.swizzle[j] = j;
 518
 519    return nir_imov_alu(build, alu, num_components);
 520 }
 521
 522 /**
 523  * Similar to nir_ssa_for_src(), but for alu srcs, respecting the
 524  * nir_alu_src's swizzle.
 525  */
 526 static inline nir_ssa_def *
 527 nir_ssa_for_alu_src(nir_builder *build, nir_alu_instr *instr, unsigned srcn)
 528 {
 529    static uint8_t trivial_swizzle[4] = { 0, 1, 2, 3 };
 530    nir_alu_src *src = &instr->src[srcn];
 531    unsigned num_components = nir_ssa_alu_instr_src_components(instr, srcn);
 532
 533    if (src->src.is_ssa && (src->src.ssa->num_components == num_components) &&
 534        !src->abs && !src->negate &&
 535        (memcmp(src->swizzle, trivial_swizzle, num_components) == 0))
 536       return src->src.ssa;
 537
 538    return nir_imov_alu(build, *src, num_components);
 539 }
 540
 541 static inline nir_deref_instr *
 542 nir_build_deref_var(nir_builder *build, nir_variable *var)
 543 {
 544    nir_deref_instr *deref =
 545       nir_deref_instr_create(build->shader, nir_deref_type_var);
 546
 547    deref->mode = var->data.mode;
 548    deref->type = var->type;
 549    deref->var = var;
 550
 551    nir_ssa_dest_init(&deref->instr, &deref->dest, 1, 32, NULL);
 552
 553    nir_builder_instr_insert(build, &deref->instr);
 554
 555    return deref;
 556 }
 557
 558 static inline nir_deref_instr *
 559 nir_build_deref_array(nir_builder *build, nir_deref_instr *parent,
 560                       nir_ssa_def *index)
 561 {
 562    assert(glsl_type_is_array(parent->type) ||
 563           glsl_type_is_matrix(parent->type) ||
 564           glsl_type_is_vector(parent->type));
 565
 566    nir_deref_instr *deref =
 567       nir_deref_instr_create(build->shader, nir_deref_type_array);
 568
 569    deref->mode = parent->mode;
 570    deref->type = glsl_get_array_element(parent->type);
 571    deref->parent = nir_src_for_ssa(&parent->dest.ssa);
 572    deref->arr.index = nir_src_for_ssa(index);
 573
 574    nir_ssa_dest_init(&deref->instr, &deref->dest,
 575                      parent->dest.ssa.num_components,
 576                      parent->dest.ssa.bit_size, NULL);
 577
 578    nir_builder_instr_insert(build, &deref->instr);
 579
 580    return deref;
 581 }
 582
 583 static inline nir_deref_instr *
 584 nir_build_deref_array_wildcard(nir_builder *build, nir_deref_instr *parent)
 585 {
 586    assert(glsl_type_is_array(parent->type) ||
 587           glsl_type_is_matrix(parent->type));
 588
 589    nir_deref_instr *deref =
 590       nir_deref_instr_create(build->shader, nir_deref_type_array_wildcard);
 591
 592    deref->mode = parent->mode;
 593    deref->type = glsl_get_array_element(parent->type);
 594    deref->parent = nir_src_for_ssa(&parent->dest.ssa);
 595
 596    nir_ssa_dest_init(&deref->instr, &deref->dest,
 597                      parent->dest.ssa.num_components,
 598                      parent->dest.ssa.bit_size, NULL);
 599
 600    nir_builder_instr_insert(build, &deref->instr);
 601
 602    return deref;
 603 }
 604
 605 static inline nir_deref_instr *
 606 nir_build_deref_struct(nir_builder *build, nir_deref_instr *parent,
 607                        unsigned index)
 608 {
 609    assert(glsl_type_is_struct(parent->type));
 610
 611    nir_deref_instr *deref =
 612       nir_deref_instr_create(build->shader, nir_deref_type_struct);
 613
 614    deref->mode = parent->mode;
 615    deref->type = glsl_get_struct_field(parent->type, index);
 616    deref->parent = nir_src_for_ssa(&parent->dest.ssa);
 617    deref->strct.index = index;
 618
 619    nir_ssa_dest_init(&deref->instr, &deref->dest,
 620                      parent->dest.ssa.num_components,
 621                      parent->dest.ssa.bit_size, NULL);
 622
 623    nir_builder_instr_insert(build, &deref->instr);
 624
 625    return deref;
 626 }
 627
 628 static inline nir_deref_instr *
 629 nir_build_deref_cast(nir_builder *build, nir_ssa_def *parent,
 630                      nir_variable_mode mode, const struct glsl_type *type)
 631 {
 632    nir_deref_instr *deref =
 633       nir_deref_instr_create(build->shader, nir_deref_type_cast);
 634
 635    deref->mode = mode;
 636    deref->type = type;
 637    deref->parent = nir_src_for_ssa(parent);
 638
 639    nir_ssa_dest_init(&deref->instr, &deref->dest,
 640                      parent->num_components, parent->bit_size, NULL);
 641
 642    nir_builder_instr_insert(build, &deref->instr);
 643
 644    return deref;
 645 }
 646
 647 static inline nir_deref_instr *
 648 nir_build_deref_for_chain(nir_builder *b, nir_deref_var *deref_var)
 649 {
 650    nir_deref_instr *tail = nir_build_deref_var(b, deref_var->var);
 651    for (nir_deref *d = deref_var->deref.child; d; d = d->child) {
 652       if (d->deref_type == nir_deref_type_array) {
 653          nir_deref_array *a = nir_deref_as_array(d);
 654          assert(a->deref_array_type != nir_deref_array_type_wildcard);
 655
 656          nir_ssa_def *index = nir_imm_int(b, a->base_offset);
 657          if (a->deref_array_type == nir_deref_array_type_indirect)
 658             index = nir_iadd(b, index, nir_ssa_for_src(b, a->indirect, 1));
 659
 660          tail = nir_build_deref_array(b, tail, index);
 661       } else {
 662          nir_deref_struct *s = nir_deref_as_struct(d);
 663          tail = nir_build_deref_struct(b, tail, s->index);
 664       }
 665    }
 666
 667    return tail;
 668 }
 669
 670 static inline nir_ssa_def *
 671 nir_load_reg(nir_builder *build, nir_register *reg)
 672 {
 673    return nir_ssa_for_src(build, nir_src_for_reg(reg), reg->num_components);
 674 }
 675
 676 static inline nir_ssa_def *
 677 nir_load_deref(nir_builder *build, nir_deref_instr *deref)
 678 {
 679    nir_intrinsic_instr *load =
 680       nir_intrinsic_instr_create(build->shader, nir_intrinsic_load_deref);
 681    load->num_components = glsl_get_vector_elements(deref->type);
 682    load->src[0] = nir_src_for_ssa(&deref->dest.ssa);
 683    nir_ssa_dest_init(&load->instr, &load->dest, load->num_components,
 684                      glsl_get_bit_size(deref->type), NULL);
 685    nir_builder_instr_insert(build, &load->instr);
 686    return &load->dest.ssa;
 687 }
 688
 689 static inline void
 690 nir_store_deref(nir_builder *build, nir_deref_instr *deref,
 691                 nir_ssa_def *value, unsigned writemask)
 692 {
 693    nir_intrinsic_instr *store =
 694       nir_intrinsic_instr_create(build->shader, nir_intrinsic_store_deref);
 695    store->num_components = glsl_get_vector_elements(deref->type);
 696    store->src[0] = nir_src_for_ssa(&deref->dest.ssa);
 697    store->src[1] = nir_src_for_ssa(value);
 698    nir_intrinsic_set_write_mask(store,
 699                                 writemask & ((1 << store->num_components) - 1));
 700    nir_builder_instr_insert(build, &store->instr);
 701 }
 702
 703 static inline void
 704 nir_copy_deref(nir_builder *build, nir_deref_instr *dest, nir_deref_instr *src)
 705 {
 706    nir_intrinsic_instr *copy =
 707       nir_intrinsic_instr_create(build->shader, nir_intrinsic_copy_deref);
 708    copy->src[0] = nir_src_for_ssa(&dest->dest.ssa);
 709    copy->src[1] = nir_src_for_ssa(&src->dest.ssa);
 710    nir_builder_instr_insert(build, &copy->instr);
 711 }
 712
 713 static inline nir_ssa_def *
 714 nir_load_var(nir_builder *build, nir_variable *var)
 715 {
 716    const unsigned num_components = glsl_get_vector_elements(var->type);
 717
 718    nir_intrinsic_instr *load =
 719       nir_intrinsic_instr_create(build->shader, nir_intrinsic_load_var);
 720    load->num_components = num_components;
 721    load->variables[0] = nir_deref_var_create(load, var);
 722    nir_ssa_dest_init(&load->instr, &load->dest, num_components,
 723                      glsl_get_bit_size(var->type), NULL);
 724    nir_builder_instr_insert(build, &load->instr);
 725    return &load->dest.ssa;
 726 }
 727
 728 static inline nir_ssa_def *
 729 nir_load_deref_var(nir_builder *build, nir_deref_var *deref)
 730 {
 731    const struct glsl_type *type = nir_deref_tail(&deref->deref)->type;
 732    const unsigned num_components = glsl_get_vector_elements(type);
 733
 734    nir_intrinsic_instr *load =
 735       nir_intrinsic_instr_create(build->shader, nir_intrinsic_load_var);
 736    load->num_components = num_components;
 737    load->variables[0] = nir_deref_var_clone(deref, load);
 738    nir_ssa_dest_init(&load->instr, &load->dest, num_components,
 739                      glsl_get_bit_size(type), NULL);
 740    nir_builder_instr_insert(build, &load->instr);
 741    return &load->dest.ssa;
 742 }
 743
 744 static inline void
 745 nir_store_var(nir_builder *build, nir_variable *var, nir_ssa_def *value,
 746               unsigned writemask)
 747 {
 748    const unsigned num_components = glsl_get_vector_elements(var->type);
 749
 750    nir_intrinsic_instr *store =
 751       nir_intrinsic_instr_create(build->shader, nir_intrinsic_store_var);
 752    store->num_components = num_components;
 753    nir_intrinsic_set_write_mask(store, writemask);
 754    store->variables[0] = nir_deref_var_create(store, var);
 755    store->src[0] = nir_src_for_ssa(value);
 756    nir_builder_instr_insert(build, &store->instr);
 757 }
 758
 759 static inline void
 760 nir_store_deref_var(nir_builder *build, nir_deref_var *deref,
 761                     nir_ssa_def *value, unsigned writemask)
 762 {
 763    const unsigned num_components =
 764       glsl_get_vector_elements(nir_deref_tail(&deref->deref)->type);
 765
 766    nir_intrinsic_instr *store =
 767       nir_intrinsic_instr_create(build->shader, nir_intrinsic_store_var);
 768    store->num_components = num_components;
 769    store->const_index[0] = writemask & ((1 << num_components) - 1);
 770    store->variables[0] = nir_deref_var_clone(deref, store);
 771    store->src[0] = nir_src_for_ssa(value);
 772    nir_builder_instr_insert(build, &store->instr);
 773 }
 774
 775 static inline void
 776 nir_copy_deref_var(nir_builder *build, nir_deref_var *dest, nir_deref_var *src)
 777 {
 778    assert(nir_deref_tail(&dest->deref)->type ==
 779           nir_deref_tail(&src->deref)->type);
 780
 781    nir_intrinsic_instr *copy =
 782       nir_intrinsic_instr_create(build->shader, nir_intrinsic_copy_var);
 783    copy->variables[0] = nir_deref_var_clone(dest, copy);
 784    copy->variables[1] = nir_deref_var_clone(src, copy);
 785    nir_builder_instr_insert(build, &copy->instr);
 786 }
 787
 788 static inline void
 789 nir_copy_var(nir_builder *build, nir_variable *dest, nir_variable *src)
 790 {
 791    nir_intrinsic_instr *copy =
 792       nir_intrinsic_instr_create(build->shader, nir_intrinsic_copy_var);
 793    copy->variables[0] = nir_deref_var_create(copy, dest);
 794    copy->variables[1] = nir_deref_var_create(copy, src);
 795    nir_builder_instr_insert(build, &copy->instr);
 796 }
 797
 798 #include "nir_builder_opcodes.h"
 799
 800 static inline nir_ssa_def *
 801 nir_load_barycentric(nir_builder *build, nir_intrinsic_op op,
 802                      unsigned interp_mode)
 803 {
 804    nir_intrinsic_instr *bary = nir_intrinsic_instr_create(build->shader, op);
 805    nir_ssa_dest_init(&bary->instr, &bary->dest, 2, 32, NULL);
 806    nir_intrinsic_set_interp_mode(bary, interp_mode);
 807    nir_builder_instr_insert(build, &bary->instr);
 808    return &bary->dest.ssa;
 809 }
 810
 811 static inline void
 812 nir_jump(nir_builder *build, nir_jump_type jump_type)
 813 {
 814    nir_jump_instr *jump = nir_jump_instr_create(build->shader, jump_type);
 815    nir_builder_instr_insert(build, &jump->instr);
 816 }
 817
 818 static inline nir_ssa_def *
 819 nir_compare_func(nir_builder *b, enum compare_func func,
 820                  nir_ssa_def *src0, nir_ssa_def *src1)
 821 {
 822    switch (func) {
 823    case COMPARE_FUNC_NEVER:
 824       return nir_imm_int(b, 0);
 825    case COMPARE_FUNC_ALWAYS:
 826       return nir_imm_int(b, ~0);
 827    case COMPARE_FUNC_EQUAL:
 828       return nir_feq(b, src0, src1);
 829    case COMPARE_FUNC_NOTEQUAL:
 830       return nir_fne(b, src0, src1);
 831    case COMPARE_FUNC_GREATER:
 832       return nir_flt(b, src1, src0);
 833    case COMPARE_FUNC_GEQUAL:
 834       return nir_fge(b, src0, src1);
 835    case COMPARE_FUNC_LESS:
 836       return nir_flt(b, src0, src1);
 837    case COMPARE_FUNC_LEQUAL:
 838       return nir_fge(b, src1, src0);
 839    }
 840    unreachable("bad compare func");
 841 }
 842
 843 #endif /* NIR_BUILDER_H */