blob: 7477410169e2b3a80a5aed757f444857d24db3a5 [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
Jamie Madill033dae62014-06-18 12:56:28 -0400244TString TypeString(const TType &type)
245{
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500246 const TStructure *structure = type.getStruct();
Jamie Madill033dae62014-06-18 12:56:28 -0400247 if (structure)
248 {
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500249 const TString &typeName = structure->name();
Jamie Madill033dae62014-06-18 12:56:28 -0400250 if (typeName != "")
251 {
252 return StructNameString(*structure);
253 }
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500254 else // Nameless structure, define in place
Jamie Madill033dae62014-06-18 12:56:28 -0400255 {
Jamie Madill8daaba12014-06-13 10:04:33 -0400256 return StructureHLSL::defineNameless(*structure);
Jamie Madill033dae62014-06-18 12:56:28 -0400257 }
258 }
259 else if (type.isMatrix())
260 {
261 int cols = type.getCols();
262 int rows = type.getRows();
263 return "float" + str(cols) + "x" + str(rows);
264 }
265 else
266 {
267 switch (type.getBasicType())
268 {
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500269 case EbtFloat:
270 switch (type.getNominalSize())
271 {
272 case 1:
273 return "float";
274 case 2:
275 return "float2";
276 case 3:
277 return "float3";
278 case 4:
279 return "float4";
280 }
281 case EbtInt:
282 switch (type.getNominalSize())
283 {
284 case 1:
285 return "int";
286 case 2:
287 return "int2";
288 case 3:
289 return "int3";
290 case 4:
291 return "int4";
292 }
293 case EbtUInt:
294 switch (type.getNominalSize())
295 {
296 case 1:
297 return "uint";
298 case 2:
299 return "uint2";
300 case 3:
301 return "uint3";
302 case 4:
303 return "uint4";
304 }
305 case EbtBool:
306 switch (type.getNominalSize())
307 {
308 case 1:
309 return "bool";
310 case 2:
311 return "bool2";
312 case 3:
313 return "bool3";
314 case 4:
315 return "bool4";
316 }
317 case EbtVoid:
318 return "void";
319 case EbtSampler2D:
320 case EbtISampler2D:
321 case EbtUSampler2D:
322 case EbtSampler2DArray:
323 case EbtISampler2DArray:
324 case EbtUSampler2DArray:
325 return "sampler2D";
326 case EbtSamplerCube:
327 case EbtISamplerCube:
328 case EbtUSamplerCube:
329 return "samplerCUBE";
330 case EbtSamplerExternalOES:
331 return "sampler2D";
jchen104cdac9e2017-05-08 11:01:20 +0800332 case EbtAtomicCounter:
333 return "atomic_uint";
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500334 default:
335 break;
Jamie Madill033dae62014-06-18 12:56:28 -0400336 }
337 }
338
339 UNREACHABLE();
340 return "<unknown type>";
341}
342
343TString StructNameString(const TStructure &structure)
344{
345 if (structure.name().empty())
346 {
347 return "";
348 }
349
Jamie Madill9b820842015-02-12 10:40:10 -0500350 // For structures at global scope we use a consistent
351 // translation so that we can link between shader stages.
352 if (structure.atGlobalScope())
353 {
354 return Decorate(structure.name());
355 }
356
Jamie Madill8daaba12014-06-13 10:04:33 -0400357 return "ss" + str(structure.uniqueId()) + "_" + structure.name();
Jamie Madill033dae62014-06-18 12:56:28 -0400358}
359
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500360TString QualifiedStructNameString(const TStructure &structure,
361 bool useHLSLRowMajorPacking,
Jamie Madill033dae62014-06-18 12:56:28 -0400362 bool useStd140Packing)
363{
364 if (structure.name() == "")
365 {
366 return "";
367 }
368
369 TString prefix = "";
370
371 // Structs packed with row-major matrices in HLSL are prefixed with "rm"
372 // GLSL column-major maps to HLSL row-major, and the converse is true
373
374 if (useStd140Packing)
375 {
Jamie Madill8daaba12014-06-13 10:04:33 -0400376 prefix += "std_";
Jamie Madill033dae62014-06-18 12:56:28 -0400377 }
378
379 if (useHLSLRowMajorPacking)
380 {
Jamie Madill8daaba12014-06-13 10:04:33 -0400381 prefix += "rm_";
Jamie Madill033dae62014-06-18 12:56:28 -0400382 }
383
384 return prefix + StructNameString(structure);
385}
386
387TString InterpolationString(TQualifier qualifier)
388{
389 switch (qualifier)
390 {
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500391 case EvqVaryingIn:
392 return "";
393 case EvqFragmentIn:
394 return "";
395 case EvqSmoothIn:
396 return "linear";
397 case EvqFlatIn:
398 return "nointerpolation";
399 case EvqCentroidIn:
400 return "centroid";
401 case EvqVaryingOut:
402 return "";
403 case EvqVertexOut:
404 return "";
405 case EvqSmoothOut:
406 return "linear";
407 case EvqFlatOut:
408 return "nointerpolation";
409 case EvqCentroidOut:
410 return "centroid";
411 default:
412 UNREACHABLE();
Jamie Madill033dae62014-06-18 12:56:28 -0400413 }
414
415 return "";
416}
417
418TString QualifierString(TQualifier qualifier)
419{
420 switch (qualifier)
421 {
Jamie Madilld7b1ab52016-12-12 14:42:19 -0500422 case EvqIn:
423 return "in";
424 case EvqOut:
425 return "inout"; // 'out' results in an HLSL error if not all fields are written, for
426 // GLSL it's undefined
427 case EvqInOut:
428 return "inout";
429 case EvqConstReadOnly:
430 return "const";
431 default:
432 UNREACHABLE();
Jamie Madill033dae62014-06-18 12:56:28 -0400433 }
434
435 return "";
436}
437
Olli Etuahobe59c2f2016-03-07 11:32:34 +0200438TString DisambiguateFunctionName(const TIntermSequence *parameters)
439{
440 TString disambiguatingString;
441 for (auto parameter : *parameters)
442 {
443 const TType &paramType = parameter->getAsTyped()->getType();
444 // Disambiguation is needed for float2x2 and float4 parameters. These are the only parameter
445 // types that HLSL thinks are identical. float2x3 and float3x2 are different types, for
446 // example. Other parameter types are not added to function names to avoid making function
447 // names longer.
448 if (paramType.getObjectSize() == 4 && paramType.getBasicType() == EbtFloat)
449 {
450 disambiguatingString += "_" + TypeString(paramType);
451 }
452 }
453 return disambiguatingString;
Jamie Madill033dae62014-06-18 12:56:28 -0400454}
Olli Etuahobe59c2f2016-03-07 11:32:34 +0200455
456} // namespace sh