2 * Copyright © 2015 Intel Corporation
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
24 * Jason Ekstrand (jason@jlekstrand.net)
30 #include "nir/nir_builtin_builder.h"
32 #include "vtn_private.h"
33 #include "GLSL.std.450.h"
35 #define M_PIf ((float) M_PI)
36 #define M_PI_2f ((float) M_PI_2)
37 #define M_PI_4f ((float) M_PI_4)
40 build_mat2_det(nir_builder
*b
, nir_ssa_def
*col
[2])
42 unsigned swiz
[2] = {1, 0 };
43 nir_ssa_def
*p
= nir_fmul(b
, col
[0], nir_swizzle(b
, col
[1], swiz
, 2));
44 return nir_fsub(b
, nir_channel(b
, p
, 0), nir_channel(b
, p
, 1));
48 build_mat3_det(nir_builder
*b
, nir_ssa_def
*col
[3])
50 unsigned yzx
[3] = {1, 2, 0 };
51 unsigned zxy
[3] = {2, 0, 1 };
55 nir_fmul(b
, nir_swizzle(b
, col
[1], yzx
, 3),
56 nir_swizzle(b
, col
[2], zxy
, 3)));
59 nir_fmul(b
, nir_swizzle(b
, col
[1], zxy
, 3),
60 nir_swizzle(b
, col
[2], yzx
, 3)));
62 nir_ssa_def
*diff
= nir_fsub(b
, prod0
, prod1
);
64 return nir_fadd(b
, nir_channel(b
, diff
, 0),
65 nir_fadd(b
, nir_channel(b
, diff
, 1),
66 nir_channel(b
, diff
, 2)));
70 build_mat4_det(nir_builder
*b
, nir_ssa_def
**col
)
72 nir_ssa_def
*subdet
[4];
73 for (unsigned i
= 0; i
< 4; i
++) {
75 for (unsigned j
= 0; j
< 3; j
++)
76 swiz
[j
] = j
+ (j
>= i
);
78 nir_ssa_def
*subcol
[3];
79 subcol
[0] = nir_swizzle(b
, col
[1], swiz
, 3);
80 subcol
[1] = nir_swizzle(b
, col
[2], swiz
, 3);
81 subcol
[2] = nir_swizzle(b
, col
[3], swiz
, 3);
83 subdet
[i
] = build_mat3_det(b
, subcol
);
86 nir_ssa_def
*prod
= nir_fmul(b
, col
[0], nir_vec(b
, subdet
, 4));
88 return nir_fadd(b
, nir_fsub(b
, nir_channel(b
, prod
, 0),
89 nir_channel(b
, prod
, 1)),
90 nir_fsub(b
, nir_channel(b
, prod
, 2),
91 nir_channel(b
, prod
, 3)));
95 build_mat_det(struct vtn_builder
*b
, struct vtn_ssa_value
*src
)
97 unsigned size
= glsl_get_vector_elements(src
->type
);
100 for (unsigned i
= 0; i
< size
; i
++)
101 cols
[i
] = src
->elems
[i
]->def
;
104 case 2: return build_mat2_det(&b
->nb
, cols
);
105 case 3: return build_mat3_det(&b
->nb
, cols
);
106 case 4: return build_mat4_det(&b
->nb
, cols
);
108 vtn_fail("Invalid matrix size");
112 /* Computes the determinate of the submatrix given by taking src and
113 * removing the specified row and column.
116 build_mat_subdet(struct nir_builder
*b
, struct vtn_ssa_value
*src
,
117 unsigned size
, unsigned row
, unsigned col
)
119 assert(row
< size
&& col
< size
);
121 return nir_channel(b
, src
->elems
[1 - col
]->def
, 1 - row
);
123 /* Swizzle to get all but the specified row */
124 unsigned swiz
[NIR_MAX_VEC_COMPONENTS
] = {0};
125 for (unsigned j
= 0; j
< 3; j
++)
126 swiz
[j
] = j
+ (j
>= row
);
128 /* Grab all but the specified column */
129 nir_ssa_def
*subcol
[3];
130 for (unsigned j
= 0; j
< size
; j
++) {
132 subcol
[j
- (j
> col
)] = nir_swizzle(b
, src
->elems
[j
]->def
,
138 return build_mat2_det(b
, subcol
);
141 return build_mat3_det(b
, subcol
);
146 static struct vtn_ssa_value
*
147 matrix_inverse(struct vtn_builder
*b
, struct vtn_ssa_value
*src
)
149 nir_ssa_def
*adj_col
[4];
150 unsigned size
= glsl_get_vector_elements(src
->type
);
152 /* Build up an adjugate matrix */
153 for (unsigned c
= 0; c
< size
; c
++) {
154 nir_ssa_def
*elem
[4];
155 for (unsigned r
= 0; r
< size
; r
++) {
156 elem
[r
] = build_mat_subdet(&b
->nb
, src
, size
, c
, r
);
159 elem
[r
] = nir_fneg(&b
->nb
, elem
[r
]);
162 adj_col
[c
] = nir_vec(&b
->nb
, elem
, size
);
165 nir_ssa_def
*det_inv
= nir_frcp(&b
->nb
, build_mat_det(b
, src
));
167 struct vtn_ssa_value
*val
= vtn_create_ssa_value(b
, src
->type
);
168 for (unsigned i
= 0; i
< size
; i
++)
169 val
->elems
[i
]->def
= nir_fmul(&b
->nb
, adj_col
[i
], det_inv
);
175 * Approximate asin(x) by the formula:
176 * asin~(x) = sign(x) * (pi/2 - sqrt(1 - |x|) * (pi/2 + |x|(pi/4 - 1 + |x|(p0 + |x|p1))))
178 * which is correct to first order at x=0 and x=±1 regardless of the p
179 * coefficients but can be made second-order correct at both ends by selecting
180 * the fit coefficients appropriately. Different p coefficients can be used
181 * in the asin and acos implementation to minimize some relative error metric
185 build_asin(nir_builder
*b
, nir_ssa_def
*x
, float p0
, float p1
)
187 if (x
->bit_size
== 16) {
188 /* The polynomial approximation isn't precise enough to meet half-float
189 * precision requirements. Alternatively, we could implement this using
192 * asin(x) = atan2(x, sqrt(1 - x*x))
194 * But that is very expensive, so instead we just do the polynomial
195 * approximation in 32-bit math and then we convert the result back to
198 return nir_f2f16(b
, build_asin(b
, nir_f2f32(b
, x
), p0
, p1
));
201 nir_ssa_def
*one
= nir_imm_floatN_t(b
, 1.0f
, x
->bit_size
);
202 nir_ssa_def
*abs_x
= nir_fabs(b
, x
);
204 nir_ssa_def
*p0_plus_xp1
= nir_fadd_imm(b
, nir_fmul_imm(b
, abs_x
, p1
), p0
);
206 nir_ssa_def
*expr_tail
=
207 nir_fadd_imm(b
, nir_fmul(b
, abs_x
,
208 nir_fadd_imm(b
, nir_fmul(b
, abs_x
,
213 return nir_fmul(b
, nir_fsign(b
, x
),
214 nir_fsub(b
, nir_imm_floatN_t(b
, M_PI_2f
, x
->bit_size
),
215 nir_fmul(b
, nir_fsqrt(b
, nir_fsub(b
, one
, abs_x
)),
220 vtn_nir_alu_op_for_spirv_glsl_opcode(struct vtn_builder
*b
,
221 enum GLSLstd450 opcode
,
222 unsigned execution_mode
)
225 case GLSLstd450Round
: return nir_op_fround_even
;
226 case GLSLstd450RoundEven
: return nir_op_fround_even
;
227 case GLSLstd450Trunc
: return nir_op_ftrunc
;
228 case GLSLstd450FAbs
: return nir_op_fabs
;
229 case GLSLstd450SAbs
: return nir_op_iabs
;
230 case GLSLstd450FSign
: return nir_op_fsign
;
231 case GLSLstd450SSign
: return nir_op_isign
;
232 case GLSLstd450Floor
: return nir_op_ffloor
;
233 case GLSLstd450Ceil
: return nir_op_fceil
;
234 case GLSLstd450Fract
: return nir_op_ffract
;
235 case GLSLstd450Sin
: return nir_op_fsin
;
236 case GLSLstd450Cos
: return nir_op_fcos
;
237 case GLSLstd450Pow
: return nir_op_fpow
;
238 case GLSLstd450Exp2
: return nir_op_fexp2
;
239 case GLSLstd450Log2
: return nir_op_flog2
;
240 case GLSLstd450Sqrt
: return nir_op_fsqrt
;
241 case GLSLstd450InverseSqrt
: return nir_op_frsq
;
242 case GLSLstd450NMin
: return nir_op_fmin
;
243 case GLSLstd450FMin
: return nir_op_fmin
;
244 case GLSLstd450UMin
: return nir_op_umin
;
245 case GLSLstd450SMin
: return nir_op_imin
;
246 case GLSLstd450NMax
: return nir_op_fmax
;
247 case GLSLstd450FMax
: return nir_op_fmax
;
248 case GLSLstd450UMax
: return nir_op_umax
;
249 case GLSLstd450SMax
: return nir_op_imax
;
250 case GLSLstd450FMix
: return nir_op_flrp
;
251 case GLSLstd450Fma
: return nir_op_ffma
;
252 case GLSLstd450Ldexp
: return nir_op_ldexp
;
253 case GLSLstd450FindILsb
: return nir_op_find_lsb
;
254 case GLSLstd450FindSMsb
: return nir_op_ifind_msb
;
255 case GLSLstd450FindUMsb
: return nir_op_ufind_msb
;
257 /* Packing/Unpacking functions */
258 case GLSLstd450PackSnorm4x8
: return nir_op_pack_snorm_4x8
;
259 case GLSLstd450PackUnorm4x8
: return nir_op_pack_unorm_4x8
;
260 case GLSLstd450PackSnorm2x16
: return nir_op_pack_snorm_2x16
;
261 case GLSLstd450PackUnorm2x16
: return nir_op_pack_unorm_2x16
;
262 case GLSLstd450PackHalf2x16
: return nir_op_pack_half_2x16
;
263 case GLSLstd450PackDouble2x32
: return nir_op_pack_64_2x32
;
264 case GLSLstd450UnpackSnorm4x8
: return nir_op_unpack_snorm_4x8
;
265 case GLSLstd450UnpackUnorm4x8
: return nir_op_unpack_unorm_4x8
;
266 case GLSLstd450UnpackSnorm2x16
: return nir_op_unpack_snorm_2x16
;
267 case GLSLstd450UnpackUnorm2x16
: return nir_op_unpack_unorm_2x16
;
268 case GLSLstd450UnpackHalf2x16
:
269 if (execution_mode
& FLOAT_CONTROLS_DENORM_FLUSH_TO_ZERO_FP16
)
270 return nir_op_unpack_half_2x16_flush_to_zero
;
272 return nir_op_unpack_half_2x16
;
273 case GLSLstd450UnpackDouble2x32
: return nir_op_unpack_64_2x32
;
276 vtn_fail("No NIR equivalent");
280 #define NIR_IMM_FP(n, v) (nir_imm_floatN_t(n, v, src[0]->bit_size))
283 handle_glsl450_alu(struct vtn_builder
*b
, enum GLSLstd450 entrypoint
,
284 const uint32_t *w
, unsigned count
)
286 struct nir_builder
*nb
= &b
->nb
;
287 const struct glsl_type
*dest_type
=
288 vtn_value(b
, w
[1], vtn_value_type_type
)->type
->type
;
290 struct vtn_value
*val
= vtn_push_value(b
, w
[2], vtn_value_type_ssa
);
291 val
->ssa
= vtn_create_ssa_value(b
, dest_type
);
293 /* Collect the various SSA sources */
294 unsigned num_inputs
= count
- 5;
295 nir_ssa_def
*src
[3] = { NULL
, };
296 for (unsigned i
= 0; i
< num_inputs
; i
++) {
297 /* These are handled specially below */
298 if (vtn_untyped_value(b
, w
[i
+ 5])->value_type
== vtn_value_type_pointer
)
301 src
[i
] = vtn_ssa_value(b
, w
[i
+ 5])->def
;
304 switch (entrypoint
) {
305 case GLSLstd450Radians
:
306 val
->ssa
->def
= nir_radians(nb
, src
[0]);
308 case GLSLstd450Degrees
:
309 val
->ssa
->def
= nir_degrees(nb
, src
[0]);
312 val
->ssa
->def
= nir_fdiv(nb
, nir_fsin(nb
, src
[0]),
313 nir_fcos(nb
, src
[0]));
316 case GLSLstd450Modf
: {
317 nir_ssa_def
*sign
= nir_fsign(nb
, src
[0]);
318 nir_ssa_def
*abs
= nir_fabs(nb
, src
[0]);
319 val
->ssa
->def
= nir_fmul(nb
, sign
, nir_ffract(nb
, abs
));
320 nir_store_deref(nb
, vtn_nir_deref(b
, w
[6]),
321 nir_fmul(nb
, sign
, nir_ffloor(nb
, abs
)), 0xf);
325 case GLSLstd450ModfStruct
: {
326 nir_ssa_def
*sign
= nir_fsign(nb
, src
[0]);
327 nir_ssa_def
*abs
= nir_fabs(nb
, src
[0]);
328 vtn_assert(glsl_type_is_struct_or_ifc(val
->ssa
->type
));
329 val
->ssa
->elems
[0]->def
= nir_fmul(nb
, sign
, nir_ffract(nb
, abs
));
330 val
->ssa
->elems
[1]->def
= nir_fmul(nb
, sign
, nir_ffloor(nb
, abs
));
335 val
->ssa
->def
= nir_sge(nb
, src
[1], src
[0]);
338 case GLSLstd450Length
:
339 val
->ssa
->def
= nir_fast_length(nb
, src
[0]);
341 case GLSLstd450Distance
:
342 val
->ssa
->def
= nir_fast_distance(nb
, src
[0], src
[1]);
344 case GLSLstd450Normalize
:
345 val
->ssa
->def
= nir_fast_normalize(nb
, src
[0]);
349 val
->ssa
->def
= nir_fexp(nb
, src
[0]);
353 val
->ssa
->def
= nir_flog(nb
, src
[0]);
356 case GLSLstd450FClamp
:
357 case GLSLstd450NClamp
:
358 val
->ssa
->def
= nir_fclamp(nb
, src
[0], src
[1], src
[2]);
360 case GLSLstd450UClamp
:
361 val
->ssa
->def
= nir_uclamp(nb
, src
[0], src
[1], src
[2]);
363 case GLSLstd450SClamp
:
364 val
->ssa
->def
= nir_iclamp(nb
, src
[0], src
[1], src
[2]);
367 case GLSLstd450Cross
: {
368 val
->ssa
->def
= nir_cross3(nb
, src
[0], src
[1]);
372 case GLSLstd450SmoothStep
: {
373 val
->ssa
->def
= nir_smoothstep(nb
, src
[0], src
[1], src
[2]);
377 case GLSLstd450FaceForward
:
379 nir_bcsel(nb
, nir_flt(nb
, nir_fdot(nb
, src
[2], src
[1]),
380 NIR_IMM_FP(nb
, 0.0)),
381 src
[0], nir_fneg(nb
, src
[0]));
384 case GLSLstd450Reflect
:
385 /* I - 2 * dot(N, I) * N */
387 nir_fsub(nb
, src
[0], nir_fmul(nb
, NIR_IMM_FP(nb
, 2.0),
388 nir_fmul(nb
, nir_fdot(nb
, src
[0], src
[1]),
392 case GLSLstd450Refract
: {
393 nir_ssa_def
*I
= src
[0];
394 nir_ssa_def
*N
= src
[1];
395 nir_ssa_def
*eta
= src
[2];
396 nir_ssa_def
*n_dot_i
= nir_fdot(nb
, N
, I
);
397 nir_ssa_def
*one
= NIR_IMM_FP(nb
, 1.0);
398 nir_ssa_def
*zero
= NIR_IMM_FP(nb
, 0.0);
399 /* According to the SPIR-V and GLSL specs, eta is always a float
400 * regardless of the type of the other operands. However in practice it
401 * seems that if you try to pass it a float then glslang will just
402 * promote it to a double and generate invalid SPIR-V. In order to
403 * support a hypothetical fixed version of glslang we’ll promote eta to
404 * double if the other operands are double also.
406 if (I
->bit_size
!= eta
->bit_size
) {
407 nir_op conversion_op
=
408 nir_type_conversion_op(nir_type_float
| eta
->bit_size
,
409 nir_type_float
| I
->bit_size
,
410 nir_rounding_mode_undef
);
411 eta
= nir_build_alu(nb
, conversion_op
, eta
, NULL
, NULL
, NULL
);
413 /* k = 1.0 - eta * eta * (1.0 - dot(N, I) * dot(N, I)) */
415 nir_fsub(nb
, one
, nir_fmul(nb
, eta
, nir_fmul(nb
, eta
,
416 nir_fsub(nb
, one
, nir_fmul(nb
, n_dot_i
, n_dot_i
)))));
417 nir_ssa_def
*result
=
418 nir_fsub(nb
, nir_fmul(nb
, eta
, I
),
419 nir_fmul(nb
, nir_fadd(nb
, nir_fmul(nb
, eta
, n_dot_i
),
420 nir_fsqrt(nb
, k
)), N
));
421 /* XXX: bcsel, or if statement? */
422 val
->ssa
->def
= nir_bcsel(nb
, nir_flt(nb
, k
, zero
), zero
, result
);
427 /* 0.5 * (e^x - e^(-x)) */
429 nir_fmul_imm(nb
, nir_fsub(nb
, nir_fexp(nb
, src
[0]),
430 nir_fexp(nb
, nir_fneg(nb
, src
[0]))),
435 /* 0.5 * (e^x + e^(-x)) */
437 nir_fmul_imm(nb
, nir_fadd(nb
, nir_fexp(nb
, src
[0]),
438 nir_fexp(nb
, nir_fneg(nb
, src
[0]))),
442 case GLSLstd450Tanh
: {
443 /* tanh(x) := (e^x - e^(-x)) / (e^x + e^(-x))
445 * We clamp x to [-10, +10] to avoid precision problems. When x > 10,
446 * e^x dominates the sum, e^(-x) is lost and tanh(x) is 1.0 for 32 bit
449 * For 16-bit precision this we clamp x to [-4.2, +4.2].
451 const uint32_t bit_size
= src
[0]->bit_size
;
452 const double clamped_x
= bit_size
> 16 ? 10.0 : 4.2;
453 nir_ssa_def
*x
= nir_fclamp(nb
, src
[0],
454 nir_imm_floatN_t(nb
, -clamped_x
, bit_size
),
455 nir_imm_floatN_t(nb
, clamped_x
, bit_size
));
457 nir_fdiv(nb
, nir_fsub(nb
, nir_fexp(nb
, x
),
458 nir_fexp(nb
, nir_fneg(nb
, x
))),
459 nir_fadd(nb
, nir_fexp(nb
, x
),
460 nir_fexp(nb
, nir_fneg(nb
, x
))));
464 case GLSLstd450Asinh
:
465 val
->ssa
->def
= nir_fmul(nb
, nir_fsign(nb
, src
[0]),
466 nir_flog(nb
, nir_fadd(nb
, nir_fabs(nb
, src
[0]),
467 nir_fsqrt(nb
, nir_fadd_imm(nb
, nir_fmul(nb
, src
[0], src
[0]),
470 case GLSLstd450Acosh
:
471 val
->ssa
->def
= nir_flog(nb
, nir_fadd(nb
, src
[0],
472 nir_fsqrt(nb
, nir_fadd_imm(nb
, nir_fmul(nb
, src
[0], src
[0]),
475 case GLSLstd450Atanh
: {
476 nir_ssa_def
*one
= nir_imm_floatN_t(nb
, 1.0, src
[0]->bit_size
);
478 nir_fmul_imm(nb
, nir_flog(nb
, nir_fdiv(nb
, nir_fadd(nb
, src
[0], one
),
479 nir_fsub(nb
, one
, src
[0]))),
485 val
->ssa
->def
= build_asin(nb
, src
[0], 0.086566724, -0.03102955);
490 nir_fsub(nb
, nir_imm_floatN_t(nb
, M_PI_2f
, src
[0]->bit_size
),
491 build_asin(nb
, src
[0], 0.08132463, -0.02363318));
495 val
->ssa
->def
= nir_atan(nb
, src
[0]);
498 case GLSLstd450Atan2
:
499 val
->ssa
->def
= nir_atan2(nb
, src
[0], src
[1]);
502 case GLSLstd450Frexp
: {
503 nir_ssa_def
*exponent
= nir_frexp_exp(nb
, src
[0]);
504 val
->ssa
->def
= nir_frexp_sig(nb
, src
[0]);
505 nir_store_deref(nb
, vtn_nir_deref(b
, w
[6]), exponent
, 0xf);
509 case GLSLstd450FrexpStruct
: {
510 vtn_assert(glsl_type_is_struct_or_ifc(val
->ssa
->type
));
511 val
->ssa
->elems
[0]->def
= nir_frexp_sig(nb
, src
[0]);
512 val
->ssa
->elems
[1]->def
= nir_frexp_exp(nb
, src
[0]);
517 unsigned execution_mode
=
518 b
->shader
->info
.float_controls_execution_mode
;
520 nir_build_alu(&b
->nb
,
521 vtn_nir_alu_op_for_spirv_glsl_opcode(b
, entrypoint
, execution_mode
),
522 src
[0], src
[1], src
[2], NULL
);
529 handle_glsl450_interpolation(struct vtn_builder
*b
, enum GLSLstd450 opcode
,
530 const uint32_t *w
, unsigned count
)
532 const struct glsl_type
*dest_type
=
533 vtn_value(b
, w
[1], vtn_value_type_type
)->type
->type
;
535 struct vtn_value
*val
= vtn_push_value(b
, w
[2], vtn_value_type_ssa
);
536 val
->ssa
= vtn_create_ssa_value(b
, dest_type
);
540 case GLSLstd450InterpolateAtCentroid
:
541 op
= nir_intrinsic_interp_deref_at_centroid
;
543 case GLSLstd450InterpolateAtSample
:
544 op
= nir_intrinsic_interp_deref_at_sample
;
546 case GLSLstd450InterpolateAtOffset
:
547 op
= nir_intrinsic_interp_deref_at_offset
;
550 vtn_fail("Invalid opcode");
553 nir_intrinsic_instr
*intrin
= nir_intrinsic_instr_create(b
->nb
.shader
, op
);
555 struct vtn_pointer
*ptr
=
556 vtn_value(b
, w
[5], vtn_value_type_pointer
)->pointer
;
557 nir_deref_instr
*deref
= vtn_pointer_to_deref(b
, ptr
);
559 /* If the value we are interpolating has an index into a vector then
560 * interpolate the vector and index the result of that instead. This is
561 * necessary because the index will get generated as a series of nir_bcsel
562 * instructions so it would no longer be an input variable.
564 const bool vec_array_deref
= deref
->deref_type
== nir_deref_type_array
&&
565 glsl_type_is_vector(nir_deref_instr_parent(deref
)->type
);
567 nir_deref_instr
*vec_deref
= NULL
;
568 if (vec_array_deref
) {
570 deref
= nir_deref_instr_parent(deref
);
572 intrin
->src
[0] = nir_src_for_ssa(&deref
->dest
.ssa
);
575 case GLSLstd450InterpolateAtCentroid
:
577 case GLSLstd450InterpolateAtSample
:
578 case GLSLstd450InterpolateAtOffset
:
579 intrin
->src
[1] = nir_src_for_ssa(vtn_ssa_value(b
, w
[6])->def
);
582 vtn_fail("Invalid opcode");
585 intrin
->num_components
= glsl_get_vector_elements(deref
->type
);
586 nir_ssa_dest_init(&intrin
->instr
, &intrin
->dest
,
587 glsl_get_vector_elements(deref
->type
),
588 glsl_get_bit_size(deref
->type
), NULL
);
590 nir_builder_instr_insert(&b
->nb
, &intrin
->instr
);
592 if (vec_array_deref
) {
594 if (nir_src_is_const(vec_deref
->arr
.index
)) {
595 val
->ssa
->def
= vtn_vector_extract(b
, &intrin
->dest
.ssa
,
596 nir_src_as_uint(vec_deref
->arr
.index
));
598 val
->ssa
->def
= vtn_vector_extract_dynamic(b
, &intrin
->dest
.ssa
,
599 vec_deref
->arr
.index
.ssa
);
602 val
->ssa
->def
= &intrin
->dest
.ssa
;
607 vtn_handle_glsl450_instruction(struct vtn_builder
*b
, SpvOp ext_opcode
,
608 const uint32_t *w
, unsigned count
)
610 switch ((enum GLSLstd450
)ext_opcode
) {
611 case GLSLstd450Determinant
: {
612 struct vtn_value
*val
= vtn_push_value(b
, w
[2], vtn_value_type_ssa
);
613 val
->ssa
= rzalloc(b
, struct vtn_ssa_value
);
614 val
->ssa
->type
= vtn_value(b
, w
[1], vtn_value_type_type
)->type
->type
;
615 val
->ssa
->def
= build_mat_det(b
, vtn_ssa_value(b
, w
[5]));
619 case GLSLstd450MatrixInverse
: {
620 struct vtn_value
*val
= vtn_push_value(b
, w
[2], vtn_value_type_ssa
);
621 val
->ssa
= matrix_inverse(b
, vtn_ssa_value(b
, w
[5]));
625 case GLSLstd450InterpolateAtCentroid
:
626 case GLSLstd450InterpolateAtSample
:
627 case GLSLstd450InterpolateAtOffset
:
628 handle_glsl450_interpolation(b
, (enum GLSLstd450
)ext_opcode
, w
, count
);
632 handle_glsl450_alu(b
, (enum GLSLstd450
)ext_opcode
, w
, count
);