blob: e3be7249a9ec879cffb1fb832695603d709e233a [file] [log] [blame]
Jamie Madill033dae62014-06-18 12:56:28 -04001//
2// Copyright (c) 2014 The ANGLE Project Authors. All rights reserved.
3// Use of this source code is governed by a BSD-style license that can be
4// found in the LICENSE file.
5//
6// UtilsHLSL.cpp:
7// Utility methods for GLSL to HLSL translation.
8//
9
10#include "compiler/translator/UtilsHLSL.h"
Olli Etuahof5cfc8d2015-08-06 16:36:39 +030011#include "compiler/translator/IntermNode.h"
Jamie Madill8daaba12014-06-13 10:04:33 -040012#include "compiler/translator/StructureHLSL.h"
Jamie Madill033dae62014-06-18 12:56:28 -040013#include "compiler/translator/SymbolTable.h"
14
15namespace sh
16{
17
Olli Etuaho9b4e8622015-12-22 15:53:22 +020018TString SamplerString(const TBasicType type)
Jamie Madill033dae62014-06-18 12:56:28 -040019{
Olli Etuaho9b4e8622015-12-22 15:53:22 +020020 if (IsShadowSampler(type))
Jamie Madill033dae62014-06-18 12:56:28 -040021 {
22 return "SamplerComparisonState";
23 }
24 else
25 {
26 return "SamplerState";
27 }
28}
29
Olli Etuaho9b4e8622015-12-22 15:53:22 +020030TString SamplerString(HLSLTextureSamplerGroup type)
Jamie Madill033dae62014-06-18 12:56:28 -040031{
Olli Etuaho9b4e8622015-12-22 15:53:22 +020032 if (type >= HLSL_COMPARISON_SAMPLER_GROUP_BEGIN && type <= HLSL_COMPARISON_SAMPLER_GROUP_END)
Jamie Madill033dae62014-06-18 12:56:28 -040033 {
Olli Etuaho9b4e8622015-12-22 15:53:22 +020034 return "SamplerComparisonState";
35 }
36 else
37 {
38 return "SamplerState";
39 }
40}
41
42HLSLTextureSamplerGroup TextureGroup(const TBasicType type)
43{
44 switch (type)
45 {
46 case EbtSampler2D:
47 return HLSL_TEXTURE_2D;
48 case EbtSamplerCube:
49 return HLSL_TEXTURE_CUBE;
50 case EbtSamplerExternalOES:
51 return HLSL_TEXTURE_2D;
52 case EbtSampler2DArray:
53 return HLSL_TEXTURE_2D_ARRAY;
54 case EbtSampler3D:
55 return HLSL_TEXTURE_3D;
Olli Etuaho92db39e2017-02-15 12:11:04 +000056 case EbtSampler2DMS:
57 return HLSL_TEXTURE_2D_MS;
Olli Etuaho9b4e8622015-12-22 15:53:22 +020058 case EbtISampler2D:
59 return HLSL_TEXTURE_2D_INT4;
60 case EbtISampler3D:
61 return HLSL_TEXTURE_3D_INT4;
62 case EbtISamplerCube:
63 return HLSL_TEXTURE_2D_ARRAY_INT4;
64 case EbtISampler2DArray:
65 return HLSL_TEXTURE_2D_ARRAY_INT4;
Olli Etuaho92db39e2017-02-15 12:11:04 +000066 case EbtISampler2DMS:
67 return HLSL_TEXTURE_2D_MS_INT4;
Olli Etuaho9b4e8622015-12-22 15:53:22 +020068 case EbtUSampler2D:
69 return HLSL_TEXTURE_2D_UINT4;
70 case EbtUSampler3D:
71 return HLSL_TEXTURE_3D_UINT4;
72 case EbtUSamplerCube:
73 return HLSL_TEXTURE_2D_ARRAY_UINT4;
74 case EbtUSampler2DArray:
75 return HLSL_TEXTURE_2D_ARRAY_UINT4;
Olli Etuaho92db39e2017-02-15 12:11:04 +000076 case EbtUSampler2DMS:
77 return HLSL_TEXTURE_2D_MS_UINT4;
Olli Etuaho9b4e8622015-12-22 15:53:22 +020078 case EbtSampler2DShadow:
79 return HLSL_TEXTURE_2D_COMPARISON;
80 case EbtSamplerCubeShadow:
81 return HLSL_TEXTURE_CUBE_COMPARISON;
82 case EbtSampler2DArrayShadow:
83 return HLSL_TEXTURE_2D_ARRAY_COMPARISON;
84 default:
85 UNREACHABLE();
86 }
87 return HLSL_TEXTURE_UNKNOWN;
88}
89
90TString TextureString(const HLSLTextureSamplerGroup type)
91{
92 switch (type)
93 {
94 case HLSL_TEXTURE_2D:
95 return "Texture2D";
96 case HLSL_TEXTURE_CUBE:
97 return "TextureCube";
98 case HLSL_TEXTURE_2D_ARRAY:
99 return "Texture2DArray";
100 case HLSL_TEXTURE_3D:
101 return "Texture3D";
Olli Etuaho92db39e2017-02-15 12:11:04 +0000102 case HLSL_TEXTURE_2D_MS:
103 return "Texture2DMS<float4>";
Olli Etuaho9b4e8622015-12-22 15:53:22 +0200104 case HLSL_TEXTURE_2D_INT4:
105 return "Texture2D<int4>";
106 case HLSL_TEXTURE_3D_INT4:
107 return "Texture3D<int4>";
108 case HLSL_TEXTURE_2D_ARRAY_INT4:
109 return "Texture2DArray<int4>";
Olli Etuaho92db39e2017-02-15 12:11:04 +0000110 case HLSL_TEXTURE_2D_MS_INT4:
111 return "Texture2DMS<int4>";
Olli Etuaho9b4e8622015-12-22 15:53:22 +0200112 case HLSL_TEXTURE_2D_UINT4:
113 return "Texture2D<uint4>";
114 case HLSL_TEXTURE_3D_UINT4:
115 return "Texture3D<uint4>";
116 case HLSL_TEXTURE_2D_ARRAY_UINT4:
117 return "Texture2DArray<uint4>";
Olli Etuaho92db39e2017-02-15 12:11:04 +0000118 case HLSL_TEXTURE_2D_MS_UINT4:
119 return "Texture2DMS<uint4>";
Olli Etuaho9b4e8622015-12-22 15:53:22 +0200120 case HLSL_TEXTURE_2D_COMPARISON:
121 return "Texture2D";
122 case HLSL_TEXTURE_CUBE_COMPARISON:
123 return "TextureCube";
124 case HLSL_TEXTURE_2D_ARRAY_COMPARISON:
125 return "Texture2DArray";
126 default:
127 UNREACHABLE();
Jamie Madill033dae62014-06-18 12:56:28 -0400128 }
129
130 return "<unknown texture type>";
131}
132
Olli Etuaho9b4e8622015-12-22 15:53:22 +0200133TString TextureString(const TBasicType type)
134{
135 return TextureString(TextureGroup(type));
136}
137
138TString TextureGroupSuffix(const HLSLTextureSamplerGroup type)
139{
140 switch (type)
141 {
142 case HLSL_TEXTURE_2D:
143 return "2D";
144 case HLSL_TEXTURE_CUBE:
145 return "Cube";
146 case HLSL_TEXTURE_2D_ARRAY:
147 return "2DArray";
148 case HLSL_TEXTURE_3D:
149 return "3D";
Olli Etuaho92db39e2017-02-15 12:11:04 +0000150 case HLSL_TEXTURE_2D_MS:
151 return "2DMS";
Olli Etuaho9b4e8622015-12-22 15:53:22 +0200152 case HLSL_TEXTURE_2D_INT4:
153 return "2D_int4_";
154 case HLSL_TEXTURE_3D_INT4:
155 return "3D_int4_";
156 case HLSL_TEXTURE_2D_ARRAY_INT4:
157 return "2DArray_int4_";
Olli Etuaho92db39e2017-02-15 12:11:04 +0000158 case HLSL_TEXTURE_2D_MS_INT4:
159 return "2DMS_int4_";
Olli Etuaho9b4e8622015-12-22 15:53:22 +0200160 case HLSL_TEXTURE_2D_UINT4:
161 return "2D_uint4_";
162 case HLSL_TEXTURE_3D_UINT4:
163 return "3D_uint4_";
164 case HLSL_TEXTURE_2D_ARRAY_UINT4:
165 return "2DArray_uint4_";
Olli Etuaho92db39e2017-02-15 12:11:04 +0000166 case HLSL_TEXTURE_2D_MS_UINT4:
167 return "2DMS_uint4_";
Olli Etuaho9b4e8622015-12-22 15:53:22 +0200168 case HLSL_TEXTURE_2D_COMPARISON:
169 return "2D_comparison";
170 case HLSL_TEXTURE_CUBE_COMPARISON:
171 return "Cube_comparison";
172 case HLSL_TEXTURE_2D_ARRAY_COMPARISON:
173 return "2DArray_comparison";
174 default:
175 UNREACHABLE();
176 }
177
178 return "<unknown texture type>";
179}
180
181TString TextureGroupSuffix(const TBasicType type)
182{
183 return TextureGroupSuffix(TextureGroup(type));
184}
185
186TString TextureTypeSuffix(const TBasicType type)
187{
188 switch (type)
189 {
190 case EbtISamplerCube:
191 return "Cube_int4_";
192 case EbtUSamplerCube:
193 return "Cube_uint4_";
Geoff Lang28a97ee2016-09-22 13:01:26 -0400194 case EbtSamplerExternalOES:
195 return "_External";
Olli Etuaho9b4e8622015-12-22 15:53:22 +0200196 default:
197 // All other types are identified by their group suffix
198 return TextureGroupSuffix(type);
199 }
200}
201
Olli Etuaho96963162016-03-21 11:54:33 +0200202TString DecorateUniform(const TName &name, const TType &type)
Jamie Madill033dae62014-06-18 12:56:28 -0400203{
Olli Etuaho96963162016-03-21 11:54:33 +0200204 return DecorateIfNeeded(name);
Jamie Madill033dae62014-06-18 12:56:28 -0400205}
206
207TString DecorateField(const TString &string, const TStructure &structure)
208{
209 if (structure.name().compare(0, 3, "gl_") != 0)
210 {
211 return Decorate(string);
212 }
213
214 return string;
215}
216
217TString DecoratePrivate(const TString &privateText)
218{
219 return "dx_" + privateText;
220}
221
222TString Decorate(const TString &string)
223{
Jamie Madilld5512cd2014-07-10 17:50:08 -0400224 if (string.compare(0, 3, "gl_") != 0)
Jamie Madill033dae62014-06-18 12:56:28 -0400225 {
226 return "_" + string;
227 }
228
229 return string;
230}
231
Olli Etuahof5cfc8d2015-08-06 16:36:39 +0300232TString DecorateIfNeeded(const TName &name)
233{
234 if (name.isInternal())
235 {
236 return name.getString();
237 }
238 else
239 {
240 return Decorate(name.getString());
241 }
242}
243
Olli Etuaho59f9a642015-08-06 20:38:26 +0300244TString DecorateFunctionIfNeeded(const TName &name)
245{
246 if (name.isInternal())
247 {
248 return TFunction::unmangleName(name.getString());
249 }
250 else
251 {
252 return Decorate(TFunction::unmangleName(name.getString()));
253 }
254}
255
Jamie Madill033dae62014-06-18 12:56:28 -0400256TString TypeString(const TType &type)
257{
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500258 const TStructure *structure = type.getStruct();
Jamie Madill033dae62014-06-18 12:56:28 -0400259 if (structure)
260 {
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500261 const TString &typeName = structure->name();
Jamie Madill033dae62014-06-18 12:56:28 -0400262 if (typeName != "")
263 {
264 return StructNameString(*structure);
265 }
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500266 else // Nameless structure, define in place
Jamie Madill033dae62014-06-18 12:56:28 -0400267 {
Jamie Madill8daaba12014-06-13 10:04:33 -0400268 return StructureHLSL::defineNameless(*structure);
Jamie Madill033dae62014-06-18 12:56:28 -0400269 }
270 }
271 else if (type.isMatrix())
272 {
273 int cols = type.getCols();
274 int rows = type.getRows();
275 return "float" + str(cols) + "x" + str(rows);
276 }
277 else
278 {
279 switch (type.getBasicType())
280 {
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500281 case EbtFloat:
282 switch (type.getNominalSize())
283 {
284 case 1:
285 return "float";
286 case 2:
287 return "float2";
288 case 3:
289 return "float3";
290 case 4:
291 return "float4";
292 }
293 case EbtInt:
294 switch (type.getNominalSize())
295 {
296 case 1:
297 return "int";
298 case 2:
299 return "int2";
300 case 3:
301 return "int3";
302 case 4:
303 return "int4";
304 }
305 case EbtUInt:
306 switch (type.getNominalSize())
307 {
308 case 1:
309 return "uint";
310 case 2:
311 return "uint2";
312 case 3:
313 return "uint3";
314 case 4:
315 return "uint4";
316 }
317 case EbtBool:
318 switch (type.getNominalSize())
319 {
320 case 1:
321 return "bool";
322 case 2:
323 return "bool2";
324 case 3:
325 return "bool3";
326 case 4:
327 return "bool4";
328 }
329 case EbtVoid:
330 return "void";
331 case EbtSampler2D:
332 case EbtISampler2D:
333 case EbtUSampler2D:
334 case EbtSampler2DArray:
335 case EbtISampler2DArray:
336 case EbtUSampler2DArray:
337 return "sampler2D";
338 case EbtSamplerCube:
339 case EbtISamplerCube:
340 case EbtUSamplerCube:
341 return "samplerCUBE";
342 case EbtSamplerExternalOES:
343 return "sampler2D";
344 default:
345 break;
Jamie Madill033dae62014-06-18 12:56:28 -0400346 }
347 }
348
349 UNREACHABLE();
350 return "<unknown type>";
351}
352
353TString StructNameString(const TStructure &structure)
354{
355 if (structure.name().empty())
356 {
357 return "";
358 }
359
Jamie Madill9b820842015-02-12 10:40:10 -0500360 // For structures at global scope we use a consistent
361 // translation so that we can link between shader stages.
362 if (structure.atGlobalScope())
363 {
364 return Decorate(structure.name());
365 }
366
Jamie Madill8daaba12014-06-13 10:04:33 -0400367 return "ss" + str(structure.uniqueId()) + "_" + structure.name();
Jamie Madill033dae62014-06-18 12:56:28 -0400368}
369
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500370TString QualifiedStructNameString(const TStructure &structure,
371 bool useHLSLRowMajorPacking,
Jamie Madill033dae62014-06-18 12:56:28 -0400372 bool useStd140Packing)
373{
374 if (structure.name() == "")
375 {
376 return "";
377 }
378
379 TString prefix = "";
380
381 // Structs packed with row-major matrices in HLSL are prefixed with "rm"
382 // GLSL column-major maps to HLSL row-major, and the converse is true
383
384 if (useStd140Packing)
385 {
Jamie Madill8daaba12014-06-13 10:04:33 -0400386 prefix += "std_";
Jamie Madill033dae62014-06-18 12:56:28 -0400387 }
388
389 if (useHLSLRowMajorPacking)
390 {
Jamie Madill8daaba12014-06-13 10:04:33 -0400391 prefix += "rm_";
Jamie Madill033dae62014-06-18 12:56:28 -0400392 }
393
394 return prefix + StructNameString(structure);
395}
396
397TString InterpolationString(TQualifier qualifier)
398{
399 switch (qualifier)
400 {
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500401 case EvqVaryingIn:
402 return "";
403 case EvqFragmentIn:
404 return "";
405 case EvqSmoothIn:
406 return "linear";
407 case EvqFlatIn:
408 return "nointerpolation";
409 case EvqCentroidIn:
410 return "centroid";
411 case EvqVaryingOut:
412 return "";
413 case EvqVertexOut:
414 return "";
415 case EvqSmoothOut:
416 return "linear";
417 case EvqFlatOut:
418 return "nointerpolation";
419 case EvqCentroidOut:
420 return "centroid";
421 default:
422 UNREACHABLE();
Jamie Madill033dae62014-06-18 12:56:28 -0400423 }
424
425 return "";
426}
427
428TString QualifierString(TQualifier qualifier)
429{
430 switch (qualifier)
431 {
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500432 case EvqIn:
433 return "in";
434 case EvqOut:
435 return "inout"; // 'out' results in an HLSL error if not all fields are written, for
436 // GLSL it's undefined
437 case EvqInOut:
438 return "inout";
439 case EvqConstReadOnly:
440 return "const";
441 default:
442 UNREACHABLE();
Jamie Madill033dae62014-06-18 12:56:28 -0400443 }
444
445 return "";
446}
447
Olli Etuahobe59c2f2016-03-07 11:32:34 +0200448TString DisambiguateFunctionName(const TIntermSequence *parameters)
449{
450 TString disambiguatingString;
451 for (auto parameter : *parameters)
452 {
453 const TType &paramType = parameter->getAsTyped()->getType();
454 // Disambiguation is needed for float2x2 and float4 parameters. These are the only parameter
455 // types that HLSL thinks are identical. float2x3 and float3x2 are different types, for
456 // example. Other parameter types are not added to function names to avoid making function
457 // names longer.
458 if (paramType.getObjectSize() == 4 && paramType.getBasicType() == EbtFloat)
459 {
460 disambiguatingString += "_" + TypeString(paramType);
461 }
462 }
463 return disambiguatingString;
Jamie Madill033dae62014-06-18 12:56:28 -0400464}
Olli Etuahobe59c2f2016-03-07 11:32:34 +0200465
466} // namespace sh