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