ttn: Fix out-of-bounds accesses since the always-2D-constants change.
[mesa.git] / src / gallium / auxiliary / nir / tgsi_to_nir.c
1 /*
2 * Copyright © 2014-2015 Broadcom
3 * Copyright (C) 2014 Rob Clark <robclark@freedesktop.org>
4 *
5 * Permission is hereby granted, free of charge, to any person obtaining a
6 * copy of this software and associated documentation files (the "Software"),
7 * to deal in the Software without restriction, including without limitation
8 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
9 * and/or sell copies of the Software, and to permit persons to whom the
10 * Software is furnished to do so, subject to the following conditions:
11 *
12 * The above copyright notice and this permission notice (including the next
13 * paragraph) shall be included in all copies or substantial portions of the
14 * Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
21 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
22 * IN THE SOFTWARE.
23 */
24
25 #include "util/ralloc.h"
26 #include "compiler/nir/nir.h"
27 #include "compiler/nir/nir_control_flow.h"
28 #include "compiler/nir/nir_builder.h"
29 #include "compiler/glsl/list.h"
30 #include "compiler/shader_enums.h"
31
32 #include "tgsi_to_nir.h"
33 #include "tgsi/tgsi_parse.h"
34 #include "tgsi/tgsi_dump.h"
35 #include "tgsi/tgsi_info.h"
36 #include "tgsi/tgsi_scan.h"
37
38 #define SWIZ(X, Y, Z, W) (unsigned[4]){ \
39 TGSI_SWIZZLE_##X, \
40 TGSI_SWIZZLE_##Y, \
41 TGSI_SWIZZLE_##Z, \
42 TGSI_SWIZZLE_##W, \
43 }
44
45 struct ttn_reg_info {
46 /** nir register containing this TGSI index. */
47 nir_register *reg;
48 nir_variable *var;
49 /** Offset (in vec4s) from the start of var for this TGSI index. */
50 int offset;
51 };
52
53 struct ttn_compile {
54 union tgsi_full_token *token;
55 nir_builder build;
56 struct tgsi_shader_info *scan;
57
58 struct ttn_reg_info *output_regs;
59 struct ttn_reg_info *temp_regs;
60 nir_ssa_def **imm_defs;
61
62 unsigned num_samp_types;
63 nir_alu_type *samp_types;
64
65 nir_register *addr_reg;
66
67 /**
68 * Stack of nir_cursors where instructions should be pushed as we pop
69 * back out of the control flow stack.
70 *
71 * For each IF/ELSE/ENDIF block, if_stack[if_stack_pos] has where the else
72 * instructions should be placed, and if_stack[if_stack_pos - 1] has where
73 * the next instructions outside of the if/then/else block go.
74 */
75 nir_cursor *if_stack;
76 unsigned if_stack_pos;
77
78 /**
79 * Stack of nir_cursors where instructions should be pushed as we pop
80 * back out of the control flow stack.
81 *
82 * loop_stack[loop_stack_pos - 1] contains the cf_node_list for the outside
83 * of the loop.
84 */
85 nir_cursor *loop_stack;
86 unsigned loop_stack_pos;
87
88 /* How many TGSI_FILE_IMMEDIATE vec4s have been parsed so far. */
89 unsigned next_imm;
90 };
91
92 #define ttn_swizzle(b, src, x, y, z, w) \
93 nir_swizzle(b, src, SWIZ(x, y, z, w), 4, false)
94 #define ttn_channel(b, src, swiz) \
95 nir_swizzle(b, src, SWIZ(swiz, swiz, swiz, swiz), 1, false)
96
97 static gl_varying_slot
98 tgsi_varying_semantic_to_slot(unsigned semantic, unsigned index)
99 {
100 switch (semantic) {
101 case TGSI_SEMANTIC_POSITION:
102 return VARYING_SLOT_POS;
103 case TGSI_SEMANTIC_COLOR:
104 if (index == 0)
105 return VARYING_SLOT_COL0;
106 else
107 return VARYING_SLOT_COL1;
108 case TGSI_SEMANTIC_BCOLOR:
109 if (index == 0)
110 return VARYING_SLOT_BFC0;
111 else
112 return VARYING_SLOT_BFC1;
113 case TGSI_SEMANTIC_FOG:
114 return VARYING_SLOT_FOGC;
115 case TGSI_SEMANTIC_PSIZE:
116 return VARYING_SLOT_PSIZ;
117 case TGSI_SEMANTIC_GENERIC:
118 return VARYING_SLOT_VAR0 + index;
119 case TGSI_SEMANTIC_FACE:
120 return VARYING_SLOT_FACE;
121 case TGSI_SEMANTIC_EDGEFLAG:
122 return VARYING_SLOT_EDGE;
123 case TGSI_SEMANTIC_PRIMID:
124 return VARYING_SLOT_PRIMITIVE_ID;
125 case TGSI_SEMANTIC_CLIPDIST:
126 if (index == 0)
127 return VARYING_SLOT_CLIP_DIST0;
128 else
129 return VARYING_SLOT_CLIP_DIST1;
130 case TGSI_SEMANTIC_CLIPVERTEX:
131 return VARYING_SLOT_CLIP_VERTEX;
132 case TGSI_SEMANTIC_TEXCOORD:
133 return VARYING_SLOT_TEX0 + index;
134 case TGSI_SEMANTIC_PCOORD:
135 return VARYING_SLOT_PNTC;
136 case TGSI_SEMANTIC_VIEWPORT_INDEX:
137 return VARYING_SLOT_VIEWPORT;
138 case TGSI_SEMANTIC_LAYER:
139 return VARYING_SLOT_LAYER;
140 default:
141 fprintf(stderr, "Bad TGSI semantic: %d/%d\n", semantic, index);
142 abort();
143 }
144 }
145
146 /* Temporary helper to remap back to TGSI style semantic name/index
147 * values, for use in drivers that haven't been converted to using
148 * VARYING_SLOT_
149 */
150 void
151 varying_slot_to_tgsi_semantic(gl_varying_slot slot,
152 unsigned *semantic_name, unsigned *semantic_index)
153 {
154 static const unsigned map[][2] = {
155 [VARYING_SLOT_POS] = { TGSI_SEMANTIC_POSITION, 0 },
156 [VARYING_SLOT_COL0] = { TGSI_SEMANTIC_COLOR, 0 },
157 [VARYING_SLOT_COL1] = { TGSI_SEMANTIC_COLOR, 1 },
158 [VARYING_SLOT_BFC0] = { TGSI_SEMANTIC_BCOLOR, 0 },
159 [VARYING_SLOT_BFC1] = { TGSI_SEMANTIC_BCOLOR, 1 },
160 [VARYING_SLOT_FOGC] = { TGSI_SEMANTIC_FOG, 0 },
161 [VARYING_SLOT_PSIZ] = { TGSI_SEMANTIC_PSIZE, 0 },
162 [VARYING_SLOT_FACE] = { TGSI_SEMANTIC_FACE, 0 },
163 [VARYING_SLOT_EDGE] = { TGSI_SEMANTIC_EDGEFLAG, 0 },
164 [VARYING_SLOT_PRIMITIVE_ID] = { TGSI_SEMANTIC_PRIMID, 0 },
165 [VARYING_SLOT_CLIP_DIST0] = { TGSI_SEMANTIC_CLIPDIST, 0 },
166 [VARYING_SLOT_CLIP_DIST1] = { TGSI_SEMANTIC_CLIPDIST, 1 },
167 [VARYING_SLOT_CLIP_VERTEX] = { TGSI_SEMANTIC_CLIPVERTEX, 0 },
168 [VARYING_SLOT_PNTC] = { TGSI_SEMANTIC_PCOORD, 0 },
169 [VARYING_SLOT_VIEWPORT] = { TGSI_SEMANTIC_VIEWPORT_INDEX, 0 },
170 [VARYING_SLOT_LAYER] = { TGSI_SEMANTIC_LAYER, 0 },
171 };
172
173 if (slot >= VARYING_SLOT_VAR0) {
174 *semantic_name = TGSI_SEMANTIC_GENERIC;
175 *semantic_index = slot - VARYING_SLOT_VAR0;
176 return;
177 }
178
179 if (slot >= VARYING_SLOT_TEX0 && slot <= VARYING_SLOT_TEX7) {
180 *semantic_name = TGSI_SEMANTIC_TEXCOORD;
181 *semantic_index = slot - VARYING_SLOT_TEX0;
182 return;
183 }
184
185 if (slot >= ARRAY_SIZE(map)) {
186 fprintf(stderr, "Unknown varying slot %d\n", slot);
187 abort();
188 }
189
190 *semantic_name = map[slot][0];
191 *semantic_index = map[slot][1];
192 }
193
194 /* Temporary helper to remap back to TGSI style semantic name/index
195 * values, for use in drivers that haven't been converted to using
196 * FRAG_RESULT_
197 */
198 void
199 frag_result_to_tgsi_semantic(gl_frag_result slot,
200 unsigned *semantic_name, unsigned *semantic_index)
201 {
202 static const unsigned map[][2] = {
203 [FRAG_RESULT_DEPTH] = { TGSI_SEMANTIC_POSITION, 0 },
204 [FRAG_RESULT_COLOR] = { TGSI_SEMANTIC_COLOR, -1 },
205 [FRAG_RESULT_DATA0 + 0] = { TGSI_SEMANTIC_COLOR, 0 },
206 [FRAG_RESULT_DATA0 + 1] = { TGSI_SEMANTIC_COLOR, 1 },
207 [FRAG_RESULT_DATA0 + 2] = { TGSI_SEMANTIC_COLOR, 2 },
208 [FRAG_RESULT_DATA0 + 3] = { TGSI_SEMANTIC_COLOR, 3 },
209 [FRAG_RESULT_DATA0 + 4] = { TGSI_SEMANTIC_COLOR, 4 },
210 [FRAG_RESULT_DATA0 + 5] = { TGSI_SEMANTIC_COLOR, 5 },
211 [FRAG_RESULT_DATA0 + 6] = { TGSI_SEMANTIC_COLOR, 6 },
212 [FRAG_RESULT_DATA0 + 7] = { TGSI_SEMANTIC_COLOR, 7 },
213 };
214
215 *semantic_name = map[slot][0];
216 *semantic_index = map[slot][1];
217 }
218
219 static nir_ssa_def *
220 ttn_src_for_dest(nir_builder *b, nir_alu_dest *dest)
221 {
222 nir_alu_src src;
223 memset(&src, 0, sizeof(src));
224
225 if (dest->dest.is_ssa)
226 src.src = nir_src_for_ssa(&dest->dest.ssa);
227 else {
228 assert(!dest->dest.reg.indirect);
229 src.src = nir_src_for_reg(dest->dest.reg.reg);
230 src.src.reg.base_offset = dest->dest.reg.base_offset;
231 }
232
233 for (int i = 0; i < 4; i++)
234 src.swizzle[i] = i;
235
236 return nir_fmov_alu(b, src, 4);
237 }
238
239 static void
240 ttn_emit_declaration(struct ttn_compile *c)
241 {
242 nir_builder *b = &c->build;
243 struct tgsi_full_declaration *decl = &c->token->FullDeclaration;
244 unsigned array_size = decl->Range.Last - decl->Range.First + 1;
245 unsigned file = decl->Declaration.File;
246 unsigned i;
247
248 if (file == TGSI_FILE_TEMPORARY) {
249 if (decl->Declaration.Array) {
250 /* for arrays, we create variables instead of registers: */
251 nir_variable *var = rzalloc(b->shader, nir_variable);
252
253 var->type = glsl_array_type(glsl_vec4_type(), array_size);
254 var->data.mode = nir_var_global;
255 var->name = ralloc_asprintf(var, "arr_%d", decl->Array.ArrayID);
256
257 exec_list_push_tail(&b->shader->globals, &var->node);
258
259 for (i = 0; i < array_size; i++) {
260 /* point all the matching slots to the same var,
261 * with appropriate offset set, mostly just so
262 * we know what to do when tgsi does a non-indirect
263 * access
264 */
265 c->temp_regs[decl->Range.First + i].reg = NULL;
266 c->temp_regs[decl->Range.First + i].var = var;
267 c->temp_regs[decl->Range.First + i].offset = i;
268 }
269 } else {
270 for (i = 0; i < array_size; i++) {
271 nir_register *reg = nir_local_reg_create(b->impl);
272 reg->num_components = 4;
273 c->temp_regs[decl->Range.First + i].reg = reg;
274 c->temp_regs[decl->Range.First + i].var = NULL;
275 c->temp_regs[decl->Range.First + i].offset = 0;
276 }
277 }
278 } else if (file == TGSI_FILE_ADDRESS) {
279 c->addr_reg = nir_local_reg_create(b->impl);
280 c->addr_reg->num_components = 4;
281 } else if (file == TGSI_FILE_SYSTEM_VALUE) {
282 /* Nothing to record for system values. */
283 } else if (file == TGSI_FILE_SAMPLER) {
284 /* Nothing to record for samplers. */
285 } else if (file == TGSI_FILE_SAMPLER_VIEW) {
286 struct tgsi_declaration_sampler_view *sview = &decl->SamplerView;
287 nir_alu_type type;
288
289 assert((sview->ReturnTypeX == sview->ReturnTypeY) &&
290 (sview->ReturnTypeX == sview->ReturnTypeZ) &&
291 (sview->ReturnTypeX == sview->ReturnTypeW));
292
293 switch (sview->ReturnTypeX) {
294 case TGSI_RETURN_TYPE_SINT:
295 type = nir_type_int;
296 break;
297 case TGSI_RETURN_TYPE_UINT:
298 type = nir_type_uint;
299 break;
300 case TGSI_RETURN_TYPE_FLOAT:
301 default:
302 type = nir_type_float;
303 break;
304 }
305
306 for (i = 0; i < array_size; i++) {
307 c->samp_types[decl->Range.First + i] = type;
308 }
309 } else {
310 bool is_array = (array_size > 1);
311
312 assert(file == TGSI_FILE_INPUT ||
313 file == TGSI_FILE_OUTPUT ||
314 file == TGSI_FILE_CONSTANT);
315
316 /* nothing to do for UBOs: */
317 if ((file == TGSI_FILE_CONSTANT) && decl->Declaration.Dimension &&
318 decl->Dim.Index2D != 0) {
319 b->shader->info.num_ubos =
320 MAX2(b->shader->info.num_ubos, decl->Dim.Index2D);
321 return;
322 }
323
324 if ((file == TGSI_FILE_INPUT) || (file == TGSI_FILE_OUTPUT)) {
325 is_array = (is_array && decl->Declaration.Array &&
326 (decl->Array.ArrayID != 0));
327 }
328
329 for (i = 0; i < array_size; i++) {
330 unsigned idx = decl->Range.First + i;
331 nir_variable *var = rzalloc(b->shader, nir_variable);
332
333 var->data.driver_location = idx;
334
335 var->type = glsl_vec4_type();
336 if (is_array)
337 var->type = glsl_array_type(var->type, array_size);
338
339 switch (file) {
340 case TGSI_FILE_INPUT:
341 var->data.read_only = true;
342 var->data.mode = nir_var_shader_in;
343 var->name = ralloc_asprintf(var, "in_%d", idx);
344
345 if (c->scan->processor == PIPE_SHADER_FRAGMENT) {
346 if (decl->Semantic.Name == TGSI_SEMANTIC_FACE) {
347 var->data.location = SYSTEM_VALUE_FRONT_FACE;
348 var->data.mode = nir_var_system_value;
349 } else {
350 var->data.location =
351 tgsi_varying_semantic_to_slot(decl->Semantic.Name,
352 decl->Semantic.Index);
353 }
354 } else {
355 assert(!decl->Declaration.Semantic);
356 var->data.location = VERT_ATTRIB_GENERIC0 + idx;
357 }
358 var->data.index = 0;
359
360 /* We definitely need to translate the interpolation field, because
361 * nir_print will decode it.
362 */
363 switch (decl->Interp.Interpolate) {
364 case TGSI_INTERPOLATE_CONSTANT:
365 var->data.interpolation = INTERP_MODE_FLAT;
366 break;
367 case TGSI_INTERPOLATE_LINEAR:
368 var->data.interpolation = INTERP_MODE_NOPERSPECTIVE;
369 break;
370 case TGSI_INTERPOLATE_PERSPECTIVE:
371 var->data.interpolation = INTERP_MODE_SMOOTH;
372 break;
373 }
374
375 exec_list_push_tail(&b->shader->inputs, &var->node);
376
377 for (int i = 0; i < array_size; i++)
378 b->shader->info.inputs_read |= 1 << (var->data.location + i);
379
380 break;
381 case TGSI_FILE_OUTPUT: {
382 int semantic_name = decl->Semantic.Name;
383 int semantic_index = decl->Semantic.Index;
384 /* Since we can't load from outputs in the IR, we make temporaries
385 * for the outputs and emit stores to the real outputs at the end of
386 * the shader.
387 */
388 nir_register *reg = nir_local_reg_create(b->impl);
389 reg->num_components = 4;
390 if (is_array)
391 reg->num_array_elems = array_size;
392
393 var->data.mode = nir_var_shader_out;
394 var->name = ralloc_asprintf(var, "out_%d", idx);
395 var->data.index = 0;
396
397 if (c->scan->processor == PIPE_SHADER_FRAGMENT) {
398 switch (semantic_name) {
399 case TGSI_SEMANTIC_COLOR: {
400 /* TODO tgsi loses some information, so we cannot
401 * actually differentiate here between DSB and MRT
402 * at this point. But so far no drivers using tgsi-
403 * to-nir support dual source blend:
404 */
405 bool dual_src_blend = false;
406 if (dual_src_blend && (semantic_index == 1)) {
407 var->data.location = FRAG_RESULT_DATA0;
408 var->data.index = 1;
409 } else {
410 if (c->scan->properties[TGSI_PROPERTY_FS_COLOR0_WRITES_ALL_CBUFS])
411 var->data.location = FRAG_RESULT_COLOR;
412 else
413 var->data.location = FRAG_RESULT_DATA0 + semantic_index;
414 }
415 break;
416 }
417 case TGSI_SEMANTIC_POSITION:
418 var->data.location = FRAG_RESULT_DEPTH;
419 break;
420 default:
421 fprintf(stderr, "Bad TGSI semantic: %d/%d\n",
422 decl->Semantic.Name, decl->Semantic.Index);
423 abort();
424 }
425 } else {
426 var->data.location =
427 tgsi_varying_semantic_to_slot(semantic_name, semantic_index);
428 }
429
430 if (is_array) {
431 unsigned j;
432 for (j = 0; j < array_size; j++) {
433 c->output_regs[idx + j].offset = i + j;
434 c->output_regs[idx + j].reg = reg;
435 }
436 } else {
437 c->output_regs[idx].offset = i;
438 c->output_regs[idx].reg = reg;
439 }
440
441 exec_list_push_tail(&b->shader->outputs, &var->node);
442
443 for (int i = 0; i < array_size; i++)
444 b->shader->info.outputs_written |= 1 << (var->data.location + i);
445 }
446 break;
447 case TGSI_FILE_CONSTANT:
448 var->data.mode = nir_var_uniform;
449 var->name = ralloc_asprintf(var, "uniform_%d", idx);
450
451 exec_list_push_tail(&b->shader->uniforms, &var->node);
452 break;
453 default:
454 unreachable("bad declaration file");
455 return;
456 }
457
458 if (is_array)
459 break;
460 }
461
462 }
463 }
464
465 static void
466 ttn_emit_immediate(struct ttn_compile *c)
467 {
468 nir_builder *b = &c->build;
469 struct tgsi_full_immediate *tgsi_imm = &c->token->FullImmediate;
470 nir_load_const_instr *load_const;
471 int i;
472
473 load_const = nir_load_const_instr_create(b->shader, 4, 32);
474 c->imm_defs[c->next_imm] = &load_const->def;
475 c->next_imm++;
476
477 for (i = 0; i < 4; i++)
478 load_const->value.u32[i] = tgsi_imm->u[i].Uint;
479
480 nir_builder_instr_insert(b, &load_const->instr);
481 }
482
483 static nir_ssa_def *
484 ttn_src_for_indirect(struct ttn_compile *c, struct tgsi_ind_register *indirect);
485
486 /* generate either a constant or indirect deref chain for accessing an
487 * array variable.
488 */
489 static nir_deref_var *
490 ttn_array_deref(struct ttn_compile *c, nir_intrinsic_instr *instr,
491 nir_variable *var, unsigned offset,
492 struct tgsi_ind_register *indirect)
493 {
494 nir_deref_var *deref = nir_deref_var_create(instr, var);
495 nir_deref_array *arr = nir_deref_array_create(deref);
496
497 arr->base_offset = offset;
498 arr->deref.type = glsl_get_array_element(var->type);
499
500 if (indirect) {
501 arr->deref_array_type = nir_deref_array_type_indirect;
502 arr->indirect = nir_src_for_ssa(ttn_src_for_indirect(c, indirect));
503 } else {
504 arr->deref_array_type = nir_deref_array_type_direct;
505 }
506
507 deref->deref.child = &arr->deref;
508
509 return deref;
510 }
511
512 static nir_src
513 ttn_src_for_file_and_index(struct ttn_compile *c, unsigned file, unsigned index,
514 struct tgsi_ind_register *indirect,
515 struct tgsi_dimension *dim,
516 struct tgsi_ind_register *dimind)
517 {
518 nir_builder *b = &c->build;
519 nir_src src;
520
521 memset(&src, 0, sizeof(src));
522
523 switch (file) {
524 case TGSI_FILE_TEMPORARY:
525 if (c->temp_regs[index].var) {
526 unsigned offset = c->temp_regs[index].offset;
527 nir_variable *var = c->temp_regs[index].var;
528 nir_intrinsic_instr *load;
529
530 load = nir_intrinsic_instr_create(b->shader,
531 nir_intrinsic_load_var);
532 load->num_components = 4;
533 load->variables[0] = ttn_array_deref(c, load, var, offset, indirect);
534 nir_ssa_dest_init(&load->instr, &load->dest,
535 4, 32, NULL);
536 nir_builder_instr_insert(b, &load->instr);
537
538 src = nir_src_for_ssa(&load->dest.ssa);
539
540 } else {
541 assert(!indirect);
542 src.reg.reg = c->temp_regs[index].reg;
543 }
544 assert(!dim);
545 break;
546
547 case TGSI_FILE_ADDRESS:
548 src.reg.reg = c->addr_reg;
549 assert(!dim);
550 break;
551
552 case TGSI_FILE_IMMEDIATE:
553 src = nir_src_for_ssa(c->imm_defs[index]);
554 assert(!indirect);
555 assert(!dim);
556 break;
557
558 case TGSI_FILE_SYSTEM_VALUE: {
559 nir_intrinsic_instr *load;
560 nir_intrinsic_op op;
561 unsigned ncomp = 1;
562
563 assert(!indirect);
564 assert(!dim);
565
566 switch (c->scan->system_value_semantic_name[index]) {
567 case TGSI_SEMANTIC_VERTEXID_NOBASE:
568 op = nir_intrinsic_load_vertex_id_zero_base;
569 break;
570 case TGSI_SEMANTIC_VERTEXID:
571 op = nir_intrinsic_load_vertex_id;
572 break;
573 case TGSI_SEMANTIC_BASEVERTEX:
574 op = nir_intrinsic_load_base_vertex;
575 break;
576 case TGSI_SEMANTIC_INSTANCEID:
577 op = nir_intrinsic_load_instance_id;
578 break;
579 default:
580 unreachable("bad system value");
581 }
582
583 load = nir_intrinsic_instr_create(b->shader, op);
584 load->num_components = ncomp;
585
586 nir_ssa_dest_init(&load->instr, &load->dest, ncomp, 32, NULL);
587 nir_builder_instr_insert(b, &load->instr);
588
589 src = nir_src_for_ssa(&load->dest.ssa);
590
591 b->shader->info.system_values_read |=
592 (1 << nir_system_value_from_intrinsic(op));
593
594 break;
595 }
596
597 case TGSI_FILE_INPUT:
598 case TGSI_FILE_CONSTANT: {
599 nir_intrinsic_instr *load;
600 nir_intrinsic_op op;
601 unsigned srcn = 0;
602
603 switch (file) {
604 case TGSI_FILE_INPUT:
605 /* Special case: Turn the frontface varying into a load of the
606 * frontface intrinsic plus math, and appending the silly floats.
607 */
608 if (c->scan->processor == PIPE_SHADER_FRAGMENT &&
609 c->scan->input_semantic_name[index] == TGSI_SEMANTIC_FACE) {
610 nir_ssa_def *tgsi_frontface[4] = {
611 nir_bcsel(&c->build,
612 nir_load_system_value(&c->build,
613 nir_intrinsic_load_front_face, 0),
614 nir_imm_float(&c->build, 1.0),
615 nir_imm_float(&c->build, -1.0)),
616 nir_imm_float(&c->build, 0.0),
617 nir_imm_float(&c->build, 0.0),
618 nir_imm_float(&c->build, 1.0),
619 };
620
621 return nir_src_for_ssa(nir_vec(&c->build, tgsi_frontface, 4));
622 }
623
624 op = nir_intrinsic_load_input;
625 assert(!dim);
626 break;
627 case TGSI_FILE_CONSTANT:
628 if (dim && (dim->Index > 0 || dim->Indirect)) {
629 op = nir_intrinsic_load_ubo;
630 } else {
631 op = nir_intrinsic_load_uniform;
632 }
633 break;
634 default:
635 unreachable("No other load files supported");
636 break;
637 }
638
639 load = nir_intrinsic_instr_create(b->shader, op);
640
641 load->num_components = 4;
642 if (dim && (dim->Index > 0 || dim->Indirect)) {
643 if (dimind) {
644 load->src[srcn] =
645 ttn_src_for_file_and_index(c, dimind->File, dimind->Index,
646 NULL, NULL, NULL);
647 } else {
648 /* UBOs start at index 1 in TGSI: */
649 load->src[srcn] =
650 nir_src_for_ssa(nir_imm_int(b, dim->Index - 1));
651 }
652 srcn++;
653 }
654
655 nir_ssa_def *offset;
656 if (op == nir_intrinsic_load_ubo) {
657 /* UBO loads don't have a base offset. */
658 offset = nir_imm_int(b, index);
659 if (indirect) {
660 offset = nir_iadd(b, offset, ttn_src_for_indirect(c, indirect));
661 }
662 /* UBO offsets are in bytes, but TGSI gives them to us in vec4's */
663 offset = nir_ishl(b, offset, nir_imm_int(b, 4));
664 } else {
665 nir_intrinsic_set_base(load, index);
666 if (indirect) {
667 offset = ttn_src_for_indirect(c, indirect);
668 } else {
669 offset = nir_imm_int(b, 0);
670 }
671 }
672 load->src[srcn++] = nir_src_for_ssa(offset);
673
674 nir_ssa_dest_init(&load->instr, &load->dest, 4, 32, NULL);
675 nir_builder_instr_insert(b, &load->instr);
676
677 src = nir_src_for_ssa(&load->dest.ssa);
678 break;
679 }
680
681 default:
682 unreachable("bad src file");
683 }
684
685
686 return src;
687 }
688
689 static nir_ssa_def *
690 ttn_src_for_indirect(struct ttn_compile *c, struct tgsi_ind_register *indirect)
691 {
692 nir_builder *b = &c->build;
693 nir_alu_src src;
694 memset(&src, 0, sizeof(src));
695 for (int i = 0; i < 4; i++)
696 src.swizzle[i] = indirect->Swizzle;
697 src.src = ttn_src_for_file_and_index(c,
698 indirect->File,
699 indirect->Index,
700 NULL, NULL, NULL);
701 return nir_imov_alu(b, src, 1);
702 }
703
704 static nir_alu_dest
705 ttn_get_dest(struct ttn_compile *c, struct tgsi_full_dst_register *tgsi_fdst)
706 {
707 struct tgsi_dst_register *tgsi_dst = &tgsi_fdst->Register;
708 nir_alu_dest dest;
709 unsigned index = tgsi_dst->Index;
710
711 memset(&dest, 0, sizeof(dest));
712
713 if (tgsi_dst->File == TGSI_FILE_TEMPORARY) {
714 if (c->temp_regs[index].var) {
715 nir_register *reg;
716
717 /* this works, because TGSI will give us a base offset
718 * (in case of indirect index) that points back into
719 * the array. Access can be direct or indirect, we
720 * don't really care. Just create a one-shot dst reg
721 * that will get store_var'd back into the array var
722 * at the end of ttn_emit_instruction()
723 */
724 reg = nir_local_reg_create(c->build.impl);
725 reg->num_components = 4;
726 dest.dest.reg.reg = reg;
727 dest.dest.reg.base_offset = 0;
728 } else {
729 assert(!tgsi_dst->Indirect);
730 dest.dest.reg.reg = c->temp_regs[index].reg;
731 dest.dest.reg.base_offset = c->temp_regs[index].offset;
732 }
733 } else if (tgsi_dst->File == TGSI_FILE_OUTPUT) {
734 dest.dest.reg.reg = c->output_regs[index].reg;
735 dest.dest.reg.base_offset = c->output_regs[index].offset;
736 } else if (tgsi_dst->File == TGSI_FILE_ADDRESS) {
737 assert(index == 0);
738 dest.dest.reg.reg = c->addr_reg;
739 }
740
741 dest.write_mask = tgsi_dst->WriteMask;
742 dest.saturate = false;
743
744 if (tgsi_dst->Indirect && (tgsi_dst->File != TGSI_FILE_TEMPORARY)) {
745 nir_src *indirect = ralloc(c->build.shader, nir_src);
746 *indirect = nir_src_for_ssa(ttn_src_for_indirect(c, &tgsi_fdst->Indirect));
747 dest.dest.reg.indirect = indirect;
748 }
749
750 return dest;
751 }
752
753 static nir_variable *
754 ttn_get_var(struct ttn_compile *c, struct tgsi_full_dst_register *tgsi_fdst)
755 {
756 struct tgsi_dst_register *tgsi_dst = &tgsi_fdst->Register;
757 unsigned index = tgsi_dst->Index;
758
759 if (tgsi_dst->File == TGSI_FILE_TEMPORARY) {
760 /* we should not have an indirect when there is no var! */
761 if (!c->temp_regs[index].var)
762 assert(!tgsi_dst->Indirect);
763 return c->temp_regs[index].var;
764 }
765
766 return NULL;
767 }
768
769 static nir_ssa_def *
770 ttn_get_src(struct ttn_compile *c, struct tgsi_full_src_register *tgsi_fsrc)
771 {
772 nir_builder *b = &c->build;
773 struct tgsi_src_register *tgsi_src = &tgsi_fsrc->Register;
774 unsigned tgsi_opcode = c->token->FullInstruction.Instruction.Opcode;
775 unsigned tgsi_src_type = tgsi_opcode_infer_src_type(tgsi_opcode);
776 bool src_is_float = !(tgsi_src_type == TGSI_TYPE_SIGNED ||
777 tgsi_src_type == TGSI_TYPE_UNSIGNED);
778 nir_alu_src src;
779
780 memset(&src, 0, sizeof(src));
781
782 if (tgsi_src->File == TGSI_FILE_NULL) {
783 return nir_imm_float(b, 0.0);
784 } else if (tgsi_src->File == TGSI_FILE_SAMPLER) {
785 /* Only the index of the sampler gets used in texturing, and it will
786 * handle looking that up on its own instead of using the nir_alu_src.
787 */
788 assert(!tgsi_src->Indirect);
789 return NULL;
790 } else {
791 struct tgsi_ind_register *ind = NULL;
792 struct tgsi_dimension *dim = NULL;
793 struct tgsi_ind_register *dimind = NULL;
794 if (tgsi_src->Indirect)
795 ind = &tgsi_fsrc->Indirect;
796 if (tgsi_src->Dimension) {
797 dim = &tgsi_fsrc->Dimension;
798 if (dim->Indirect)
799 dimind = &tgsi_fsrc->DimIndirect;
800 }
801 src.src = ttn_src_for_file_and_index(c,
802 tgsi_src->File,
803 tgsi_src->Index,
804 ind, dim, dimind);
805 }
806
807 src.swizzle[0] = tgsi_src->SwizzleX;
808 src.swizzle[1] = tgsi_src->SwizzleY;
809 src.swizzle[2] = tgsi_src->SwizzleZ;
810 src.swizzle[3] = tgsi_src->SwizzleW;
811
812 nir_ssa_def *def = nir_fmov_alu(b, src, 4);
813
814 if (tgsi_src->Absolute) {
815 if (src_is_float)
816 def = nir_fabs(b, def);
817 else
818 def = nir_iabs(b, def);
819 }
820
821 if (tgsi_src->Negate) {
822 if (src_is_float)
823 def = nir_fneg(b, def);
824 else
825 def = nir_ineg(b, def);
826 }
827
828 return def;
829 }
830
831 static void
832 ttn_alu(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
833 {
834 unsigned num_srcs = nir_op_infos[op].num_inputs;
835 nir_alu_instr *instr = nir_alu_instr_create(b->shader, op);
836 unsigned i;
837
838 for (i = 0; i < num_srcs; i++)
839 instr->src[i].src = nir_src_for_ssa(src[i]);
840
841 instr->dest = dest;
842 nir_builder_instr_insert(b, &instr->instr);
843 }
844
845 static void
846 ttn_move_dest_masked(nir_builder *b, nir_alu_dest dest,
847 nir_ssa_def *def, unsigned write_mask)
848 {
849 if (!(dest.write_mask & write_mask))
850 return;
851
852 nir_alu_instr *mov = nir_alu_instr_create(b->shader, nir_op_imov);
853 mov->dest = dest;
854 mov->dest.write_mask &= write_mask;
855 mov->src[0].src = nir_src_for_ssa(def);
856 for (unsigned i = def->num_components; i < 4; i++)
857 mov->src[0].swizzle[i] = def->num_components - 1;
858 nir_builder_instr_insert(b, &mov->instr);
859 }
860
861 static void
862 ttn_move_dest(nir_builder *b, nir_alu_dest dest, nir_ssa_def *def)
863 {
864 ttn_move_dest_masked(b, dest, def, TGSI_WRITEMASK_XYZW);
865 }
866
867 static void
868 ttn_arl(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
869 {
870 ttn_move_dest(b, dest, nir_f2i32(b, nir_ffloor(b, src[0])));
871 }
872
873 /* EXP - Approximate Exponential Base 2
874 * dst.x = 2^{\lfloor src.x\rfloor}
875 * dst.y = src.x - \lfloor src.x\rfloor
876 * dst.z = 2^{src.x}
877 * dst.w = 1.0
878 */
879 static void
880 ttn_exp(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
881 {
882 nir_ssa_def *srcx = ttn_channel(b, src[0], X);
883
884 ttn_move_dest_masked(b, dest, nir_fexp2(b, nir_ffloor(b, srcx)),
885 TGSI_WRITEMASK_X);
886 ttn_move_dest_masked(b, dest, nir_fsub(b, srcx, nir_ffloor(b, srcx)),
887 TGSI_WRITEMASK_Y);
888 ttn_move_dest_masked(b, dest, nir_fexp2(b, srcx), TGSI_WRITEMASK_Z);
889 ttn_move_dest_masked(b, dest, nir_imm_float(b, 1.0), TGSI_WRITEMASK_W);
890 }
891
892 /* LOG - Approximate Logarithm Base 2
893 * dst.x = \lfloor\log_2{|src.x|}\rfloor
894 * dst.y = \frac{|src.x|}{2^{\lfloor\log_2{|src.x|}\rfloor}}
895 * dst.z = \log_2{|src.x|}
896 * dst.w = 1.0
897 */
898 static void
899 ttn_log(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
900 {
901 nir_ssa_def *abs_srcx = nir_fabs(b, ttn_channel(b, src[0], X));
902 nir_ssa_def *log2 = nir_flog2(b, abs_srcx);
903
904 ttn_move_dest_masked(b, dest, nir_ffloor(b, log2), TGSI_WRITEMASK_X);
905 ttn_move_dest_masked(b, dest,
906 nir_fdiv(b, abs_srcx, nir_fexp2(b, nir_ffloor(b, log2))),
907 TGSI_WRITEMASK_Y);
908 ttn_move_dest_masked(b, dest, nir_flog2(b, abs_srcx), TGSI_WRITEMASK_Z);
909 ttn_move_dest_masked(b, dest, nir_imm_float(b, 1.0), TGSI_WRITEMASK_W);
910 }
911
912 /* DST - Distance Vector
913 * dst.x = 1.0
914 * dst.y = src0.y \times src1.y
915 * dst.z = src0.z
916 * dst.w = src1.w
917 */
918 static void
919 ttn_dst(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
920 {
921 ttn_move_dest_masked(b, dest, nir_imm_float(b, 1.0), TGSI_WRITEMASK_X);
922 ttn_move_dest_masked(b, dest, nir_fmul(b, src[0], src[1]), TGSI_WRITEMASK_Y);
923 ttn_move_dest_masked(b, dest, nir_fmov(b, src[0]), TGSI_WRITEMASK_Z);
924 ttn_move_dest_masked(b, dest, nir_fmov(b, src[1]), TGSI_WRITEMASK_W);
925 }
926
927 /* LIT - Light Coefficients
928 * dst.x = 1.0
929 * dst.y = max(src.x, 0.0)
930 * dst.z = (src.x > 0.0) ? max(src.y, 0.0)^{clamp(src.w, -128.0, 128.0))} : 0
931 * dst.w = 1.0
932 */
933 static void
934 ttn_lit(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
935 {
936 ttn_move_dest_masked(b, dest, nir_imm_float(b, 1.0), TGSI_WRITEMASK_XW);
937
938 ttn_move_dest_masked(b, dest, nir_fmax(b, ttn_channel(b, src[0], X),
939 nir_imm_float(b, 0.0)), TGSI_WRITEMASK_Y);
940
941 if (dest.write_mask & TGSI_WRITEMASK_Z) {
942 nir_ssa_def *src0_y = ttn_channel(b, src[0], Y);
943 nir_ssa_def *wclamp = nir_fmax(b, nir_fmin(b, ttn_channel(b, src[0], W),
944 nir_imm_float(b, 128.0)),
945 nir_imm_float(b, -128.0));
946 nir_ssa_def *pow = nir_fpow(b, nir_fmax(b, src0_y, nir_imm_float(b, 0.0)),
947 wclamp);
948
949 ttn_move_dest_masked(b, dest,
950 nir_bcsel(b,
951 nir_fge(b,
952 nir_imm_float(b, 0.0),
953 ttn_channel(b, src[0], X)),
954 nir_imm_float(b, 0.0),
955 pow),
956 TGSI_WRITEMASK_Z);
957 }
958 }
959
960 static void
961 ttn_sle(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
962 {
963 ttn_move_dest(b, dest, nir_sge(b, src[1], src[0]));
964 }
965
966 static void
967 ttn_sgt(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
968 {
969 ttn_move_dest(b, dest, nir_slt(b, src[1], src[0]));
970 }
971
972 static void
973 ttn_dp2(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
974 {
975 ttn_move_dest(b, dest, nir_fdot2(b, src[0], src[1]));
976 }
977
978 static void
979 ttn_dp3(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
980 {
981 ttn_move_dest(b, dest, nir_fdot3(b, src[0], src[1]));
982 }
983
984 static void
985 ttn_dp4(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
986 {
987 ttn_move_dest(b, dest, nir_fdot4(b, src[0], src[1]));
988 }
989
990 static void
991 ttn_umad(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
992 {
993 ttn_move_dest(b, dest, nir_iadd(b, nir_imul(b, src[0], src[1]), src[2]));
994 }
995
996 static void
997 ttn_arr(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
998 {
999 ttn_move_dest(b, dest, nir_ffloor(b, nir_fadd(b, src[0], nir_imm_float(b, 0.5))));
1000 }
1001
1002 static void
1003 ttn_cmp(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
1004 {
1005 ttn_move_dest(b, dest, nir_bcsel(b,
1006 nir_flt(b, src[0], nir_imm_float(b, 0.0)),
1007 src[1], src[2]));
1008 }
1009
1010 static void
1011 ttn_ucmp(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
1012 {
1013 ttn_move_dest(b, dest, nir_bcsel(b,
1014 nir_ine(b, src[0], nir_imm_int(b, 0)),
1015 src[1], src[2]));
1016 }
1017
1018 static void
1019 ttn_kill(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
1020 {
1021 nir_intrinsic_instr *discard =
1022 nir_intrinsic_instr_create(b->shader, nir_intrinsic_discard);
1023 nir_builder_instr_insert(b, &discard->instr);
1024 b->shader->info.fs.uses_discard = true;
1025 }
1026
1027 static void
1028 ttn_kill_if(nir_builder *b, nir_op op, nir_alu_dest dest, nir_ssa_def **src)
1029 {
1030 nir_ssa_def *cmp = nir_bany_inequal4(b, nir_flt(b, src[0],
1031 nir_imm_float(b, 0.0)),
1032 nir_imm_int(b, 0));
1033 nir_intrinsic_instr *discard =
1034 nir_intrinsic_instr_create(b->shader, nir_intrinsic_discard_if);
1035 discard->src[0] = nir_src_for_ssa(cmp);
1036 nir_builder_instr_insert(b, &discard->instr);
1037 b->shader->info.fs.uses_discard = true;
1038 }
1039
1040 static void
1041 ttn_if(struct ttn_compile *c, nir_ssa_def *src, bool is_uint)
1042 {
1043 nir_builder *b = &c->build;
1044
1045 src = ttn_channel(b, src, X);
1046
1047 nir_if *if_stmt = nir_if_create(b->shader);
1048 if (is_uint) {
1049 if_stmt->condition = nir_src_for_ssa(nir_ine(b, src, nir_imm_int(b, 0)));
1050 } else {
1051 if_stmt->condition = nir_src_for_ssa(nir_fne(b, src, nir_imm_int(b, 0)));
1052 }
1053 nir_builder_cf_insert(b, &if_stmt->cf_node);
1054
1055 c->if_stack[c->if_stack_pos] = nir_after_cf_node(&if_stmt->cf_node);
1056 c->if_stack_pos++;
1057
1058 b->cursor = nir_after_cf_list(&if_stmt->then_list);
1059
1060 c->if_stack[c->if_stack_pos] = nir_after_cf_list(&if_stmt->else_list);
1061 c->if_stack_pos++;
1062 }
1063
1064 static void
1065 ttn_else(struct ttn_compile *c)
1066 {
1067 nir_builder *b = &c->build;
1068
1069 b->cursor = c->if_stack[c->if_stack_pos - 1];
1070 }
1071
1072 static void
1073 ttn_endif(struct ttn_compile *c)
1074 {
1075 nir_builder *b = &c->build;
1076
1077 c->if_stack_pos -= 2;
1078 b->cursor = c->if_stack[c->if_stack_pos];
1079 }
1080
1081 static void
1082 ttn_bgnloop(struct ttn_compile *c)
1083 {
1084 nir_builder *b = &c->build;
1085
1086 nir_loop *loop = nir_loop_create(b->shader);
1087 nir_builder_cf_insert(b, &loop->cf_node);
1088
1089 c->loop_stack[c->loop_stack_pos] = nir_after_cf_node(&loop->cf_node);
1090 c->loop_stack_pos++;
1091
1092 b->cursor = nir_after_cf_list(&loop->body);
1093 }
1094
1095 static void
1096 ttn_cont(nir_builder *b)
1097 {
1098 nir_jump_instr *instr = nir_jump_instr_create(b->shader, nir_jump_continue);
1099 nir_builder_instr_insert(b, &instr->instr);
1100 }
1101
1102 static void
1103 ttn_brk(nir_builder *b)
1104 {
1105 nir_jump_instr *instr = nir_jump_instr_create(b->shader, nir_jump_break);
1106 nir_builder_instr_insert(b, &instr->instr);
1107 }
1108
1109 static void
1110 ttn_endloop(struct ttn_compile *c)
1111 {
1112 nir_builder *b = &c->build;
1113
1114 c->loop_stack_pos--;
1115 b->cursor = c->loop_stack[c->loop_stack_pos];
1116 }
1117
1118 static void
1119 setup_texture_info(nir_tex_instr *instr, unsigned texture)
1120 {
1121 switch (texture) {
1122 case TGSI_TEXTURE_BUFFER:
1123 instr->sampler_dim = GLSL_SAMPLER_DIM_BUF;
1124 break;
1125 case TGSI_TEXTURE_1D:
1126 instr->sampler_dim = GLSL_SAMPLER_DIM_1D;
1127 break;
1128 case TGSI_TEXTURE_1D_ARRAY:
1129 instr->sampler_dim = GLSL_SAMPLER_DIM_1D;
1130 instr->is_array = true;
1131 break;
1132 case TGSI_TEXTURE_SHADOW1D:
1133 instr->sampler_dim = GLSL_SAMPLER_DIM_1D;
1134 instr->is_shadow = true;
1135 break;
1136 case TGSI_TEXTURE_SHADOW1D_ARRAY:
1137 instr->sampler_dim = GLSL_SAMPLER_DIM_1D;
1138 instr->is_shadow = true;
1139 instr->is_array = true;
1140 break;
1141 case TGSI_TEXTURE_2D:
1142 instr->sampler_dim = GLSL_SAMPLER_DIM_2D;
1143 break;
1144 case TGSI_TEXTURE_2D_ARRAY:
1145 instr->sampler_dim = GLSL_SAMPLER_DIM_2D;
1146 instr->is_array = true;
1147 break;
1148 case TGSI_TEXTURE_2D_MSAA:
1149 instr->sampler_dim = GLSL_SAMPLER_DIM_MS;
1150 break;
1151 case TGSI_TEXTURE_2D_ARRAY_MSAA:
1152 instr->sampler_dim = GLSL_SAMPLER_DIM_MS;
1153 instr->is_array = true;
1154 break;
1155 case TGSI_TEXTURE_SHADOW2D:
1156 instr->sampler_dim = GLSL_SAMPLER_DIM_2D;
1157 instr->is_shadow = true;
1158 break;
1159 case TGSI_TEXTURE_SHADOW2D_ARRAY:
1160 instr->sampler_dim = GLSL_SAMPLER_DIM_2D;
1161 instr->is_shadow = true;
1162 instr->is_array = true;
1163 break;
1164 case TGSI_TEXTURE_3D:
1165 instr->sampler_dim = GLSL_SAMPLER_DIM_3D;
1166 break;
1167 case TGSI_TEXTURE_CUBE:
1168 instr->sampler_dim = GLSL_SAMPLER_DIM_CUBE;
1169 break;
1170 case TGSI_TEXTURE_CUBE_ARRAY:
1171 instr->sampler_dim = GLSL_SAMPLER_DIM_CUBE;
1172 instr->is_array = true;
1173 break;
1174 case TGSI_TEXTURE_SHADOWCUBE:
1175 instr->sampler_dim = GLSL_SAMPLER_DIM_CUBE;
1176 instr->is_shadow = true;
1177 break;
1178 case TGSI_TEXTURE_SHADOWCUBE_ARRAY:
1179 instr->sampler_dim = GLSL_SAMPLER_DIM_CUBE;
1180 instr->is_shadow = true;
1181 instr->is_array = true;
1182 break;
1183 case TGSI_TEXTURE_RECT:
1184 instr->sampler_dim = GLSL_SAMPLER_DIM_RECT;
1185 break;
1186 case TGSI_TEXTURE_SHADOWRECT:
1187 instr->sampler_dim = GLSL_SAMPLER_DIM_RECT;
1188 instr->is_shadow = true;
1189 break;
1190 default:
1191 fprintf(stderr, "Unknown TGSI texture target %d\n", texture);
1192 abort();
1193 }
1194 }
1195
1196 static void
1197 ttn_tex(struct ttn_compile *c, nir_alu_dest dest, nir_ssa_def **src)
1198 {
1199 nir_builder *b = &c->build;
1200 struct tgsi_full_instruction *tgsi_inst = &c->token->FullInstruction;
1201 nir_tex_instr *instr;
1202 nir_texop op;
1203 unsigned num_srcs, samp = 1, sview, i;
1204
1205 switch (tgsi_inst->Instruction.Opcode) {
1206 case TGSI_OPCODE_TEX:
1207 op = nir_texop_tex;
1208 num_srcs = 1;
1209 break;
1210 case TGSI_OPCODE_TEX2:
1211 op = nir_texop_tex;
1212 num_srcs = 1;
1213 samp = 2;
1214 break;
1215 case TGSI_OPCODE_TXP:
1216 op = nir_texop_tex;
1217 num_srcs = 2;
1218 break;
1219 case TGSI_OPCODE_TXB:
1220 op = nir_texop_txb;
1221 num_srcs = 2;
1222 break;
1223 case TGSI_OPCODE_TXB2:
1224 op = nir_texop_txb;
1225 num_srcs = 2;
1226 samp = 2;
1227 break;
1228 case TGSI_OPCODE_TXL:
1229 op = nir_texop_txl;
1230 num_srcs = 2;
1231 break;
1232 case TGSI_OPCODE_TXL2:
1233 op = nir_texop_txl;
1234 num_srcs = 2;
1235 samp = 2;
1236 break;
1237 case TGSI_OPCODE_TXF:
1238 if (tgsi_inst->Texture.Texture == TGSI_TEXTURE_2D_MSAA ||
1239 tgsi_inst->Texture.Texture == TGSI_TEXTURE_2D_ARRAY_MSAA) {
1240 op = nir_texop_txf_ms;
1241 } else {
1242 op = nir_texop_txf;
1243 }
1244 num_srcs = 2;
1245 break;
1246 case TGSI_OPCODE_TXD:
1247 op = nir_texop_txd;
1248 num_srcs = 3;
1249 samp = 3;
1250 break;
1251 case TGSI_OPCODE_LODQ:
1252 op = nir_texop_lod;
1253 num_srcs = 1;
1254 break;
1255
1256 default:
1257 fprintf(stderr, "unknown TGSI tex op %d\n", tgsi_inst->Instruction.Opcode);
1258 abort();
1259 }
1260
1261 if (tgsi_inst->Texture.Texture == TGSI_TEXTURE_SHADOW1D ||
1262 tgsi_inst->Texture.Texture == TGSI_TEXTURE_SHADOW1D_ARRAY ||
1263 tgsi_inst->Texture.Texture == TGSI_TEXTURE_SHADOW2D ||
1264 tgsi_inst->Texture.Texture == TGSI_TEXTURE_SHADOW2D_ARRAY ||
1265 tgsi_inst->Texture.Texture == TGSI_TEXTURE_SHADOWRECT ||
1266 tgsi_inst->Texture.Texture == TGSI_TEXTURE_SHADOWCUBE ||
1267 tgsi_inst->Texture.Texture == TGSI_TEXTURE_SHADOWCUBE_ARRAY) {
1268 num_srcs++;
1269 }
1270
1271 num_srcs += tgsi_inst->Texture.NumOffsets;
1272
1273 instr = nir_tex_instr_create(b->shader, num_srcs);
1274 instr->op = op;
1275
1276 setup_texture_info(instr, tgsi_inst->Texture.Texture);
1277
1278 switch (instr->sampler_dim) {
1279 case GLSL_SAMPLER_DIM_1D:
1280 case GLSL_SAMPLER_DIM_BUF:
1281 instr->coord_components = 1;
1282 break;
1283 case GLSL_SAMPLER_DIM_2D:
1284 case GLSL_SAMPLER_DIM_RECT:
1285 case GLSL_SAMPLER_DIM_EXTERNAL:
1286 case GLSL_SAMPLER_DIM_MS:
1287 instr->coord_components = 2;
1288 break;
1289 case GLSL_SAMPLER_DIM_3D:
1290 case GLSL_SAMPLER_DIM_CUBE:
1291 instr->coord_components = 3;
1292 break;
1293 case GLSL_SAMPLER_DIM_SUBPASS:
1294 case GLSL_SAMPLER_DIM_SUBPASS_MS:
1295 unreachable("invalid sampler_dim");
1296 }
1297
1298 if (instr->is_array)
1299 instr->coord_components++;
1300
1301 assert(tgsi_inst->Src[samp].Register.File == TGSI_FILE_SAMPLER);
1302 instr->texture_index = tgsi_inst->Src[samp].Register.Index;
1303 instr->sampler_index = tgsi_inst->Src[samp].Register.Index;
1304
1305 /* TODO if we supported any opc's which take an explicit SVIEW
1306 * src, we would use that here instead. But for the "legacy"
1307 * texture opc's the SVIEW index is same as SAMP index:
1308 */
1309 sview = instr->texture_index;
1310
1311 if (op == nir_texop_lod) {
1312 instr->dest_type = nir_type_float;
1313 } else if (sview < c->num_samp_types) {
1314 instr->dest_type = c->samp_types[sview];
1315 } else {
1316 instr->dest_type = nir_type_float;
1317 }
1318
1319 unsigned src_number = 0;
1320
1321 instr->src[src_number].src =
1322 nir_src_for_ssa(nir_swizzle(b, src[0], SWIZ(X, Y, Z, W),
1323 instr->coord_components, false));
1324 instr->src[src_number].src_type = nir_tex_src_coord;
1325 src_number++;
1326
1327 if (tgsi_inst->Instruction.Opcode == TGSI_OPCODE_TXP) {
1328 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[0], W));
1329 instr->src[src_number].src_type = nir_tex_src_projector;
1330 src_number++;
1331 }
1332
1333 if (tgsi_inst->Instruction.Opcode == TGSI_OPCODE_TXB) {
1334 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[0], W));
1335 instr->src[src_number].src_type = nir_tex_src_bias;
1336 src_number++;
1337 }
1338
1339 if (tgsi_inst->Instruction.Opcode == TGSI_OPCODE_TXB2) {
1340 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[1], X));
1341 instr->src[src_number].src_type = nir_tex_src_bias;
1342 src_number++;
1343 }
1344
1345 if (tgsi_inst->Instruction.Opcode == TGSI_OPCODE_TXL) {
1346 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[0], W));
1347 instr->src[src_number].src_type = nir_tex_src_lod;
1348 src_number++;
1349 }
1350
1351 if (tgsi_inst->Instruction.Opcode == TGSI_OPCODE_TXL2) {
1352 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[1], X));
1353 instr->src[src_number].src_type = nir_tex_src_lod;
1354 src_number++;
1355 }
1356
1357 if (tgsi_inst->Instruction.Opcode == TGSI_OPCODE_TXF) {
1358 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[0], W));
1359 if (op == nir_texop_txf_ms)
1360 instr->src[src_number].src_type = nir_tex_src_ms_index;
1361 else
1362 instr->src[src_number].src_type = nir_tex_src_lod;
1363 src_number++;
1364 }
1365
1366 if (tgsi_inst->Instruction.Opcode == TGSI_OPCODE_TXD) {
1367 instr->src[src_number].src_type = nir_tex_src_ddx;
1368 instr->src[src_number].src =
1369 nir_src_for_ssa(nir_swizzle(b, src[1], SWIZ(X, Y, Z, W),
1370 nir_tex_instr_src_size(instr, src_number),
1371 false));
1372 src_number++;
1373 instr->src[src_number].src_type = nir_tex_src_ddy;
1374 instr->src[src_number].src =
1375 nir_src_for_ssa(nir_swizzle(b, src[2], SWIZ(X, Y, Z, W),
1376 nir_tex_instr_src_size(instr, src_number),
1377 false));
1378 src_number++;
1379 }
1380
1381 if (instr->is_shadow) {
1382 if (instr->coord_components == 4)
1383 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[1], X));
1384 else if (instr->coord_components == 3)
1385 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[0], W));
1386 else
1387 instr->src[src_number].src = nir_src_for_ssa(ttn_channel(b, src[0], Z));
1388
1389 instr->src[src_number].src_type = nir_tex_src_comparator;
1390 src_number++;
1391 }
1392
1393 for (i = 0; i < tgsi_inst->Texture.NumOffsets; i++) {
1394 struct tgsi_texture_offset *tex_offset = &tgsi_inst->TexOffsets[i];
1395 /* since TexOffset ins't using tgsi_full_src_register we get to
1396 * do some extra gymnastics:
1397 */
1398 nir_alu_src src;
1399
1400 memset(&src, 0, sizeof(src));
1401
1402 src.src = ttn_src_for_file_and_index(c,
1403 tex_offset->File,
1404 tex_offset->Index,
1405 NULL, NULL, NULL);
1406
1407 src.swizzle[0] = tex_offset->SwizzleX;
1408 src.swizzle[1] = tex_offset->SwizzleY;
1409 src.swizzle[2] = tex_offset->SwizzleZ;
1410 src.swizzle[3] = TGSI_SWIZZLE_W;
1411
1412 instr->src[src_number].src_type = nir_tex_src_offset;
1413 instr->src[src_number].src = nir_src_for_ssa(
1414 nir_fmov_alu(b, src, nir_tex_instr_src_size(instr, src_number)));
1415 src_number++;
1416 }
1417
1418 assert(src_number == num_srcs);
1419
1420 nir_ssa_dest_init(&instr->instr, &instr->dest,
1421 nir_tex_instr_dest_size(instr),
1422 32, NULL);
1423 nir_builder_instr_insert(b, &instr->instr);
1424
1425 /* Resolve the writemask on the texture op. */
1426 ttn_move_dest(b, dest, &instr->dest.ssa);
1427 }
1428
1429 /* TGSI_OPCODE_TXQ is actually two distinct operations:
1430 *
1431 * dst.x = texture\_width(unit, lod)
1432 * dst.y = texture\_height(unit, lod)
1433 * dst.z = texture\_depth(unit, lod)
1434 * dst.w = texture\_levels(unit)
1435 *
1436 * dst.xyz map to NIR txs opcode, and dst.w maps to query_levels
1437 */
1438 static void
1439 ttn_txq(struct ttn_compile *c, nir_alu_dest dest, nir_ssa_def **src)
1440 {
1441 nir_builder *b = &c->build;
1442 struct tgsi_full_instruction *tgsi_inst = &c->token->FullInstruction;
1443 nir_tex_instr *txs, *qlv;
1444
1445 txs = nir_tex_instr_create(b->shader, 1);
1446 txs->op = nir_texop_txs;
1447 setup_texture_info(txs, tgsi_inst->Texture.Texture);
1448
1449 qlv = nir_tex_instr_create(b->shader, 0);
1450 qlv->op = nir_texop_query_levels;
1451 setup_texture_info(qlv, tgsi_inst->Texture.Texture);
1452
1453 assert(tgsi_inst->Src[1].Register.File == TGSI_FILE_SAMPLER);
1454 txs->texture_index = tgsi_inst->Src[1].Register.Index;
1455 qlv->texture_index = tgsi_inst->Src[1].Register.Index;
1456
1457 /* only single src, the lod: */
1458 txs->src[0].src = nir_src_for_ssa(ttn_channel(b, src[0], X));
1459 txs->src[0].src_type = nir_tex_src_lod;
1460
1461 nir_ssa_dest_init(&txs->instr, &txs->dest,
1462 nir_tex_instr_dest_size(txs), 32, NULL);
1463 nir_builder_instr_insert(b, &txs->instr);
1464
1465 nir_ssa_dest_init(&qlv->instr, &qlv->dest, 1, 32, NULL);
1466 nir_builder_instr_insert(b, &qlv->instr);
1467
1468 ttn_move_dest_masked(b, dest, &txs->dest.ssa, TGSI_WRITEMASK_XYZ);
1469 ttn_move_dest_masked(b, dest, &qlv->dest.ssa, TGSI_WRITEMASK_W);
1470 }
1471
1472 static const nir_op op_trans[TGSI_OPCODE_LAST] = {
1473 [TGSI_OPCODE_ARL] = 0,
1474 [TGSI_OPCODE_MOV] = nir_op_fmov,
1475 [TGSI_OPCODE_LIT] = 0,
1476 [TGSI_OPCODE_RCP] = nir_op_frcp,
1477 [TGSI_OPCODE_RSQ] = nir_op_frsq,
1478 [TGSI_OPCODE_EXP] = 0,
1479 [TGSI_OPCODE_LOG] = 0,
1480 [TGSI_OPCODE_MUL] = nir_op_fmul,
1481 [TGSI_OPCODE_ADD] = nir_op_fadd,
1482 [TGSI_OPCODE_DP3] = 0,
1483 [TGSI_OPCODE_DP4] = 0,
1484 [TGSI_OPCODE_DST] = 0,
1485 [TGSI_OPCODE_MIN] = nir_op_fmin,
1486 [TGSI_OPCODE_MAX] = nir_op_fmax,
1487 [TGSI_OPCODE_SLT] = nir_op_slt,
1488 [TGSI_OPCODE_SGE] = nir_op_sge,
1489 [TGSI_OPCODE_MAD] = nir_op_ffma,
1490 [TGSI_OPCODE_LRP] = 0,
1491 [TGSI_OPCODE_SQRT] = nir_op_fsqrt,
1492 [TGSI_OPCODE_FRC] = nir_op_ffract,
1493 [TGSI_OPCODE_FLR] = nir_op_ffloor,
1494 [TGSI_OPCODE_ROUND] = nir_op_fround_even,
1495 [TGSI_OPCODE_EX2] = nir_op_fexp2,
1496 [TGSI_OPCODE_LG2] = nir_op_flog2,
1497 [TGSI_OPCODE_POW] = nir_op_fpow,
1498 [TGSI_OPCODE_COS] = nir_op_fcos,
1499 [TGSI_OPCODE_DDX] = nir_op_fddx,
1500 [TGSI_OPCODE_DDY] = nir_op_fddy,
1501 [TGSI_OPCODE_KILL] = 0,
1502 [TGSI_OPCODE_PK2H] = 0, /* XXX */
1503 [TGSI_OPCODE_PK2US] = 0, /* XXX */
1504 [TGSI_OPCODE_PK4B] = 0, /* XXX */
1505 [TGSI_OPCODE_PK4UB] = 0, /* XXX */
1506 [TGSI_OPCODE_SEQ] = nir_op_seq,
1507 [TGSI_OPCODE_SGT] = 0,
1508 [TGSI_OPCODE_SIN] = nir_op_fsin,
1509 [TGSI_OPCODE_SNE] = nir_op_sne,
1510 [TGSI_OPCODE_SLE] = 0,
1511 [TGSI_OPCODE_TEX] = 0,
1512 [TGSI_OPCODE_TXD] = 0,
1513 [TGSI_OPCODE_TXP] = 0,
1514 [TGSI_OPCODE_UP2H] = 0, /* XXX */
1515 [TGSI_OPCODE_UP2US] = 0, /* XXX */
1516 [TGSI_OPCODE_UP4B] = 0, /* XXX */
1517 [TGSI_OPCODE_UP4UB] = 0, /* XXX */
1518 [TGSI_OPCODE_ARR] = 0,
1519
1520 /* No function calls, yet. */
1521 [TGSI_OPCODE_CAL] = 0, /* XXX */
1522 [TGSI_OPCODE_RET] = 0, /* XXX */
1523
1524 [TGSI_OPCODE_SSG] = nir_op_fsign,
1525 [TGSI_OPCODE_CMP] = 0,
1526 [TGSI_OPCODE_TXB] = 0,
1527 [TGSI_OPCODE_DIV] = nir_op_fdiv,
1528 [TGSI_OPCODE_DP2] = 0,
1529 [TGSI_OPCODE_TXL] = 0,
1530
1531 [TGSI_OPCODE_BRK] = 0,
1532 [TGSI_OPCODE_IF] = 0,
1533 [TGSI_OPCODE_UIF] = 0,
1534 [TGSI_OPCODE_ELSE] = 0,
1535 [TGSI_OPCODE_ENDIF] = 0,
1536
1537 [TGSI_OPCODE_DDX_FINE] = nir_op_fddx_fine,
1538 [TGSI_OPCODE_DDY_FINE] = nir_op_fddy_fine,
1539
1540 [TGSI_OPCODE_CEIL] = nir_op_fceil,
1541 [TGSI_OPCODE_I2F] = nir_op_i2f32,
1542 [TGSI_OPCODE_NOT] = nir_op_inot,
1543 [TGSI_OPCODE_TRUNC] = nir_op_ftrunc,
1544 [TGSI_OPCODE_SHL] = nir_op_ishl,
1545 [TGSI_OPCODE_AND] = nir_op_iand,
1546 [TGSI_OPCODE_OR] = nir_op_ior,
1547 [TGSI_OPCODE_MOD] = nir_op_umod,
1548 [TGSI_OPCODE_XOR] = nir_op_ixor,
1549 [TGSI_OPCODE_TXF] = 0,
1550 [TGSI_OPCODE_TXQ] = 0,
1551
1552 [TGSI_OPCODE_CONT] = 0,
1553
1554 [TGSI_OPCODE_EMIT] = 0, /* XXX */
1555 [TGSI_OPCODE_ENDPRIM] = 0, /* XXX */
1556
1557 [TGSI_OPCODE_BGNLOOP] = 0,
1558 [TGSI_OPCODE_BGNSUB] = 0, /* XXX: no function calls */
1559 [TGSI_OPCODE_ENDLOOP] = 0,
1560 [TGSI_OPCODE_ENDSUB] = 0, /* XXX: no function calls */
1561
1562 [TGSI_OPCODE_NOP] = 0,
1563 [TGSI_OPCODE_FSEQ] = nir_op_feq,
1564 [TGSI_OPCODE_FSGE] = nir_op_fge,
1565 [TGSI_OPCODE_FSLT] = nir_op_flt,
1566 [TGSI_OPCODE_FSNE] = nir_op_fne,
1567
1568 [TGSI_OPCODE_KILL_IF] = 0,
1569
1570 [TGSI_OPCODE_END] = 0,
1571
1572 [TGSI_OPCODE_F2I] = nir_op_f2i32,
1573 [TGSI_OPCODE_IDIV] = nir_op_idiv,
1574 [TGSI_OPCODE_IMAX] = nir_op_imax,
1575 [TGSI_OPCODE_IMIN] = nir_op_imin,
1576 [TGSI_OPCODE_INEG] = nir_op_ineg,
1577 [TGSI_OPCODE_ISGE] = nir_op_ige,
1578 [TGSI_OPCODE_ISHR] = nir_op_ishr,
1579 [TGSI_OPCODE_ISLT] = nir_op_ilt,
1580 [TGSI_OPCODE_F2U] = nir_op_f2u32,
1581 [TGSI_OPCODE_U2F] = nir_op_u2f32,
1582 [TGSI_OPCODE_UADD] = nir_op_iadd,
1583 [TGSI_OPCODE_UDIV] = nir_op_udiv,
1584 [TGSI_OPCODE_UMAD] = 0,
1585 [TGSI_OPCODE_UMAX] = nir_op_umax,
1586 [TGSI_OPCODE_UMIN] = nir_op_umin,
1587 [TGSI_OPCODE_UMOD] = nir_op_umod,
1588 [TGSI_OPCODE_UMUL] = nir_op_imul,
1589 [TGSI_OPCODE_USEQ] = nir_op_ieq,
1590 [TGSI_OPCODE_USGE] = nir_op_uge,
1591 [TGSI_OPCODE_USHR] = nir_op_ushr,
1592 [TGSI_OPCODE_USLT] = nir_op_ult,
1593 [TGSI_OPCODE_USNE] = nir_op_ine,
1594
1595 [TGSI_OPCODE_SWITCH] = 0, /* not emitted by glsl_to_tgsi.cpp */
1596 [TGSI_OPCODE_CASE] = 0, /* not emitted by glsl_to_tgsi.cpp */
1597 [TGSI_OPCODE_DEFAULT] = 0, /* not emitted by glsl_to_tgsi.cpp */
1598 [TGSI_OPCODE_ENDSWITCH] = 0, /* not emitted by glsl_to_tgsi.cpp */
1599
1600 /* XXX: SAMPLE opcodes */
1601
1602 [TGSI_OPCODE_UARL] = nir_op_imov,
1603 [TGSI_OPCODE_UCMP] = 0,
1604 [TGSI_OPCODE_IABS] = nir_op_iabs,
1605 [TGSI_OPCODE_ISSG] = nir_op_isign,
1606
1607 /* XXX: atomics */
1608
1609 [TGSI_OPCODE_TEX2] = 0,
1610 [TGSI_OPCODE_TXB2] = 0,
1611 [TGSI_OPCODE_TXL2] = 0,
1612
1613 [TGSI_OPCODE_IMUL_HI] = nir_op_imul_high,
1614 [TGSI_OPCODE_UMUL_HI] = nir_op_umul_high,
1615
1616 [TGSI_OPCODE_TG4] = 0,
1617 [TGSI_OPCODE_LODQ] = 0,
1618
1619 [TGSI_OPCODE_IBFE] = nir_op_ibitfield_extract,
1620 [TGSI_OPCODE_UBFE] = nir_op_ubitfield_extract,
1621 [TGSI_OPCODE_BFI] = nir_op_bitfield_insert,
1622 [TGSI_OPCODE_BREV] = nir_op_bitfield_reverse,
1623 [TGSI_OPCODE_POPC] = nir_op_bit_count,
1624 [TGSI_OPCODE_LSB] = nir_op_find_lsb,
1625 [TGSI_OPCODE_IMSB] = nir_op_ifind_msb,
1626 [TGSI_OPCODE_UMSB] = nir_op_ufind_msb,
1627
1628 [TGSI_OPCODE_INTERP_CENTROID] = 0, /* XXX */
1629 [TGSI_OPCODE_INTERP_SAMPLE] = 0, /* XXX */
1630 [TGSI_OPCODE_INTERP_OFFSET] = 0, /* XXX */
1631 };
1632
1633 static void
1634 ttn_emit_instruction(struct ttn_compile *c)
1635 {
1636 nir_builder *b = &c->build;
1637 struct tgsi_full_instruction *tgsi_inst = &c->token->FullInstruction;
1638 unsigned i;
1639 unsigned tgsi_op = tgsi_inst->Instruction.Opcode;
1640 struct tgsi_full_dst_register *tgsi_dst = &tgsi_inst->Dst[0];
1641
1642 if (tgsi_op == TGSI_OPCODE_END)
1643 return;
1644
1645 nir_ssa_def *src[TGSI_FULL_MAX_SRC_REGISTERS];
1646 for (i = 0; i < tgsi_inst->Instruction.NumSrcRegs; i++) {
1647 src[i] = ttn_get_src(c, &tgsi_inst->Src[i]);
1648 }
1649 nir_alu_dest dest = ttn_get_dest(c, tgsi_dst);
1650
1651 switch (tgsi_op) {
1652 case TGSI_OPCODE_RSQ:
1653 ttn_move_dest(b, dest, nir_frsq(b, ttn_channel(b, src[0], X)));
1654 break;
1655
1656 case TGSI_OPCODE_SQRT:
1657 ttn_move_dest(b, dest, nir_fsqrt(b, ttn_channel(b, src[0], X)));
1658 break;
1659
1660 case TGSI_OPCODE_RCP:
1661 ttn_move_dest(b, dest, nir_frcp(b, ttn_channel(b, src[0], X)));
1662 break;
1663
1664 case TGSI_OPCODE_EX2:
1665 ttn_move_dest(b, dest, nir_fexp2(b, ttn_channel(b, src[0], X)));
1666 break;
1667
1668 case TGSI_OPCODE_LG2:
1669 ttn_move_dest(b, dest, nir_flog2(b, ttn_channel(b, src[0], X)));
1670 break;
1671
1672 case TGSI_OPCODE_POW:
1673 ttn_move_dest(b, dest, nir_fpow(b,
1674 ttn_channel(b, src[0], X),
1675 ttn_channel(b, src[1], X)));
1676 break;
1677
1678 case TGSI_OPCODE_COS:
1679 ttn_move_dest(b, dest, nir_fcos(b, ttn_channel(b, src[0], X)));
1680 break;
1681
1682 case TGSI_OPCODE_SIN:
1683 ttn_move_dest(b, dest, nir_fsin(b, ttn_channel(b, src[0], X)));
1684 break;
1685
1686 case TGSI_OPCODE_ARL:
1687 ttn_arl(b, op_trans[tgsi_op], dest, src);
1688 break;
1689
1690 case TGSI_OPCODE_EXP:
1691 ttn_exp(b, op_trans[tgsi_op], dest, src);
1692 break;
1693
1694 case TGSI_OPCODE_LOG:
1695 ttn_log(b, op_trans[tgsi_op], dest, src);
1696 break;
1697
1698 case TGSI_OPCODE_DST:
1699 ttn_dst(b, op_trans[tgsi_op], dest, src);
1700 break;
1701
1702 case TGSI_OPCODE_LIT:
1703 ttn_lit(b, op_trans[tgsi_op], dest, src);
1704 break;
1705
1706 case TGSI_OPCODE_DP2:
1707 ttn_dp2(b, op_trans[tgsi_op], dest, src);
1708 break;
1709
1710 case TGSI_OPCODE_DP3:
1711 ttn_dp3(b, op_trans[tgsi_op], dest, src);
1712 break;
1713
1714 case TGSI_OPCODE_DP4:
1715 ttn_dp4(b, op_trans[tgsi_op], dest, src);
1716 break;
1717
1718 case TGSI_OPCODE_UMAD:
1719 ttn_umad(b, op_trans[tgsi_op], dest, src);
1720 break;
1721
1722 case TGSI_OPCODE_LRP:
1723 ttn_move_dest(b, dest, nir_flrp(b, src[2], src[1], src[0]));
1724 break;
1725
1726 case TGSI_OPCODE_KILL:
1727 ttn_kill(b, op_trans[tgsi_op], dest, src);
1728 break;
1729
1730 case TGSI_OPCODE_ARR:
1731 ttn_arr(b, op_trans[tgsi_op], dest, src);
1732 break;
1733
1734 case TGSI_OPCODE_CMP:
1735 ttn_cmp(b, op_trans[tgsi_op], dest, src);
1736 break;
1737
1738 case TGSI_OPCODE_UCMP:
1739 ttn_ucmp(b, op_trans[tgsi_op], dest, src);
1740 break;
1741
1742 case TGSI_OPCODE_SGT:
1743 ttn_sgt(b, op_trans[tgsi_op], dest, src);
1744 break;
1745
1746 case TGSI_OPCODE_SLE:
1747 ttn_sle(b, op_trans[tgsi_op], dest, src);
1748 break;
1749
1750 case TGSI_OPCODE_KILL_IF:
1751 ttn_kill_if(b, op_trans[tgsi_op], dest, src);
1752 break;
1753
1754 case TGSI_OPCODE_TEX:
1755 case TGSI_OPCODE_TXP:
1756 case TGSI_OPCODE_TXL:
1757 case TGSI_OPCODE_TXB:
1758 case TGSI_OPCODE_TXD:
1759 case TGSI_OPCODE_TEX2:
1760 case TGSI_OPCODE_TXL2:
1761 case TGSI_OPCODE_TXB2:
1762 case TGSI_OPCODE_TXF:
1763 case TGSI_OPCODE_TG4:
1764 case TGSI_OPCODE_LODQ:
1765 ttn_tex(c, dest, src);
1766 break;
1767
1768 case TGSI_OPCODE_TXQ:
1769 ttn_txq(c, dest, src);
1770 break;
1771
1772 case TGSI_OPCODE_NOP:
1773 break;
1774
1775 case TGSI_OPCODE_IF:
1776 ttn_if(c, src[0], false);
1777 break;
1778
1779 case TGSI_OPCODE_UIF:
1780 ttn_if(c, src[0], true);
1781 break;
1782
1783 case TGSI_OPCODE_ELSE:
1784 ttn_else(c);
1785 break;
1786
1787 case TGSI_OPCODE_ENDIF:
1788 ttn_endif(c);
1789 break;
1790
1791 case TGSI_OPCODE_BGNLOOP:
1792 ttn_bgnloop(c);
1793 break;
1794
1795 case TGSI_OPCODE_BRK:
1796 ttn_brk(b);
1797 break;
1798
1799 case TGSI_OPCODE_CONT:
1800 ttn_cont(b);
1801 break;
1802
1803 case TGSI_OPCODE_ENDLOOP:
1804 ttn_endloop(c);
1805 break;
1806
1807 default:
1808 if (op_trans[tgsi_op] != 0 || tgsi_op == TGSI_OPCODE_MOV) {
1809 ttn_alu(b, op_trans[tgsi_op], dest, src);
1810 } else {
1811 fprintf(stderr, "unknown TGSI opcode: %s\n",
1812 tgsi_get_opcode_name(tgsi_op));
1813 abort();
1814 }
1815 break;
1816 }
1817
1818 if (tgsi_inst->Instruction.Saturate) {
1819 assert(!dest.dest.is_ssa);
1820 ttn_move_dest(b, dest, nir_fsat(b, ttn_src_for_dest(b, &dest)));
1821 }
1822
1823 /* if the dst has a matching var, append store_var to move
1824 * output from reg to var
1825 */
1826 nir_variable *var = ttn_get_var(c, tgsi_dst);
1827 if (var) {
1828 unsigned index = tgsi_dst->Register.Index;
1829 unsigned offset = c->temp_regs[index].offset;
1830 nir_intrinsic_instr *store =
1831 nir_intrinsic_instr_create(b->shader, nir_intrinsic_store_var);
1832 struct tgsi_ind_register *indirect = tgsi_dst->Register.Indirect ?
1833 &tgsi_dst->Indirect : NULL;
1834
1835 store->num_components = 4;
1836 nir_intrinsic_set_write_mask(store, dest.write_mask);
1837 store->variables[0] = ttn_array_deref(c, store, var, offset, indirect);
1838 store->src[0] = nir_src_for_reg(dest.dest.reg.reg);
1839
1840 nir_builder_instr_insert(b, &store->instr);
1841 }
1842 }
1843
1844 /**
1845 * Puts a NIR intrinsic to store of each TGSI_FILE_OUTPUT value to the output
1846 * variables at the end of the shader.
1847 *
1848 * We don't generate these incrementally as the TGSI_FILE_OUTPUT values are
1849 * written, because there's no output load intrinsic, which means we couldn't
1850 * handle writemasks.
1851 */
1852 static void
1853 ttn_add_output_stores(struct ttn_compile *c)
1854 {
1855 nir_builder *b = &c->build;
1856
1857 foreach_list_typed(nir_variable, var, node, &b->shader->outputs) {
1858 unsigned array_len = MAX2(glsl_get_length(var->type), 1);
1859 unsigned i;
1860
1861 for (i = 0; i < array_len; i++) {
1862 nir_intrinsic_instr *store =
1863 nir_intrinsic_instr_create(b->shader, nir_intrinsic_store_output);
1864 unsigned loc = var->data.driver_location + i;
1865
1866 nir_src src = nir_src_for_reg(c->output_regs[loc].reg);
1867 src.reg.base_offset = c->output_regs[loc].offset;
1868
1869 if (c->build.shader->stage == MESA_SHADER_FRAGMENT &&
1870 var->data.location == FRAG_RESULT_DEPTH) {
1871 /* TGSI uses TGSI_SEMANTIC_POSITION.z for the depth output, while
1872 * NIR uses a single float FRAG_RESULT_DEPTH.
1873 */
1874 src = nir_src_for_ssa(nir_channel(b, nir_ssa_for_src(b, src, 4), 2));
1875 store->num_components = 1;
1876 } else {
1877 store->num_components = 4;
1878 }
1879 store->src[0] = src;
1880
1881 nir_intrinsic_set_base(store, loc);
1882 nir_intrinsic_set_write_mask(store, 0xf);
1883 store->src[1] = nir_src_for_ssa(nir_imm_int(b, 0));
1884 nir_builder_instr_insert(b, &store->instr);
1885 }
1886 }
1887 }
1888
1889 static gl_shader_stage
1890 tgsi_processor_to_shader_stage(unsigned processor)
1891 {
1892 switch (processor) {
1893 case PIPE_SHADER_FRAGMENT: return MESA_SHADER_FRAGMENT;
1894 case PIPE_SHADER_VERTEX: return MESA_SHADER_VERTEX;
1895 case PIPE_SHADER_GEOMETRY: return MESA_SHADER_GEOMETRY;
1896 case PIPE_SHADER_TESS_CTRL: return MESA_SHADER_TESS_CTRL;
1897 case PIPE_SHADER_TESS_EVAL: return MESA_SHADER_TESS_EVAL;
1898 case PIPE_SHADER_COMPUTE: return MESA_SHADER_COMPUTE;
1899 default:
1900 unreachable("invalid TGSI processor");
1901 }
1902 }
1903
1904 struct nir_shader *
1905 tgsi_to_nir(const void *tgsi_tokens,
1906 const nir_shader_compiler_options *options)
1907 {
1908 struct tgsi_parse_context parser;
1909 struct tgsi_shader_info scan;
1910 struct ttn_compile *c;
1911 struct nir_shader *s;
1912 int ret;
1913
1914 c = rzalloc(NULL, struct ttn_compile);
1915
1916 tgsi_scan_shader(tgsi_tokens, &scan);
1917 c->scan = &scan;
1918
1919 nir_builder_init_simple_shader(&c->build, NULL,
1920 tgsi_processor_to_shader_stage(scan.processor),
1921 options);
1922 s = c->build.shader;
1923
1924 s->num_inputs = scan.file_max[TGSI_FILE_INPUT] + 1;
1925 s->num_uniforms = scan.const_file_max[0] + 1;
1926 s->num_outputs = scan.file_max[TGSI_FILE_OUTPUT] + 1;
1927
1928 c->output_regs = rzalloc_array(c, struct ttn_reg_info,
1929 scan.file_max[TGSI_FILE_OUTPUT] + 1);
1930 c->temp_regs = rzalloc_array(c, struct ttn_reg_info,
1931 scan.file_max[TGSI_FILE_TEMPORARY] + 1);
1932 c->imm_defs = rzalloc_array(c, nir_ssa_def *,
1933 scan.file_max[TGSI_FILE_IMMEDIATE] + 1);
1934
1935 c->num_samp_types = scan.file_max[TGSI_FILE_SAMPLER_VIEW] + 1;
1936 c->samp_types = rzalloc_array(c, nir_alu_type, c->num_samp_types);
1937
1938 c->if_stack = rzalloc_array(c, nir_cursor,
1939 (scan.opcode_count[TGSI_OPCODE_IF] +
1940 scan.opcode_count[TGSI_OPCODE_UIF]) * 2);
1941 c->loop_stack = rzalloc_array(c, nir_cursor,
1942 scan.opcode_count[TGSI_OPCODE_BGNLOOP]);
1943
1944 ret = tgsi_parse_init(&parser, tgsi_tokens);
1945 assert(ret == TGSI_PARSE_OK);
1946
1947 while (!tgsi_parse_end_of_tokens(&parser)) {
1948 tgsi_parse_token(&parser);
1949 c->token = &parser.FullToken;
1950
1951 switch (parser.FullToken.Token.Type) {
1952 case TGSI_TOKEN_TYPE_DECLARATION:
1953 ttn_emit_declaration(c);
1954 break;
1955
1956 case TGSI_TOKEN_TYPE_INSTRUCTION:
1957 ttn_emit_instruction(c);
1958 break;
1959
1960 case TGSI_TOKEN_TYPE_IMMEDIATE:
1961 ttn_emit_immediate(c);
1962 break;
1963 }
1964 }
1965
1966 tgsi_parse_free(&parser);
1967
1968 ttn_add_output_stores(c);
1969
1970 ralloc_free(c);
1971 return s;
1972 }