blob: 8480ca67374f491a563e4451dec4dca9c022b361 [file] [log] [blame]
John Kessenicha0af4732012-12-12 21:15:54 +00001//
John Kessenich927608b2017-01-06 12:34:14 -07002// Copyright (C) 2002-2005 3Dlabs Inc. Ltd.
3// Copyright (C) 2013-2016 LunarG, Inc.
John Kessenichbd0747d2013-02-17 06:01:50 +00004//
John Kessenich927608b2017-01-06 12:34:14 -07005// All rights reserved.
John Kessenicha0af4732012-12-12 21:15:54 +00006//
John Kessenich927608b2017-01-06 12:34:14 -07007// Redistribution and use in source and binary forms, with or without
8// modification, are permitted provided that the following conditions
9// are met:
John Kessenicha0af4732012-12-12 21:15:54 +000010//
11// Redistributions of source code must retain the above copyright
12// notice, this list of conditions and the following disclaimer.
13//
14// Redistributions in binary form must reproduce the above
15// copyright notice, this list of conditions and the following
16// disclaimer in the documentation and/or other materials provided
17// with the distribution.
18//
19// Neither the name of 3Dlabs Inc. Ltd. nor the names of its
20// contributors may be used to endorse or promote products derived
21// from this software without specific prior written permission.
22//
John Kessenich927608b2017-01-06 12:34:14 -070023// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
24// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
25// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
26// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
27// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
28// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
29// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
30// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
31// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
32// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
33// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
34// POSSIBILITY OF SUCH DAMAGE.
John Kessenicha0af4732012-12-12 21:15:54 +000035//
John Kessenich05a70632013-09-17 19:26:08 +000036
37// this only applies to the standalone wrapper, not the front end in general
Aras Pranckevicius8e204b22017-05-10 16:52:50 +030038#ifndef _CRT_SECURE_NO_WARNINGS
John Kessenich05a70632013-09-17 19:26:08 +000039#define _CRT_SECURE_NO_WARNINGS
Aras Pranckevicius8e204b22017-05-10 16:52:50 +030040#endif
John Kessenich05a70632013-09-17 19:26:08 +000041
Lei Zhang8a9b1ee2016-05-19 13:31:43 -040042#include "ResourceLimits.h"
John Kessenich2b07c7e2013-07-31 18:44:13 +000043#include "Worklist.h"
John Kessenich3494b4d2017-05-22 15:00:42 -060044#include "DirStackFileIncluder.h"
John Kessenicha0af4732012-12-12 21:15:54 +000045#include "./../glslang/Include/ShHandle.h"
John Kessenich0da9eaa2015-08-01 17:10:02 -060046#include "./../glslang/Include/revision.h"
John Kessenicha0af4732012-12-12 21:15:54 +000047#include "./../glslang/Public/ShaderLang.h"
John Kessenich0df0cde2015-03-03 17:09:43 +000048#include "../SPIRV/GlslangToSpv.h"
John Kessenich5e4b1242015-08-06 22:53:06 -060049#include "../SPIRV/GLSL.std.450.h"
John Kessenichacba7722015-03-04 03:48:38 +000050#include "../SPIRV/doc.h"
51#include "../SPIRV/disassemble.h"
John Kessenich3494b4d2017-05-22 15:00:42 -060052
John Kessenich66ec80e2016-08-05 14:04:23 -060053#include <cstring>
54#include <cstdlib>
steve-lunarg7f7c2ed2016-09-07 15:20:19 -060055#include <cctype>
John Kessenich66ec80e2016-08-05 14:04:23 -060056#include <cmath>
steve-lunarg7f7c2ed2016-09-07 15:20:19 -060057#include <array>
LoopDawg08a14422017-10-17 19:27:14 -060058#include <map>
Juan Lopeza558b262017-04-02 23:04:00 +020059#include <memory>
60#include <thread>
John Kessenicha0af4732012-12-12 21:15:54 +000061
baldurk876a0e32015-11-16 18:03:28 +010062#include "../glslang/OSDependent/osinclude.h"
John Kessenicha0af4732012-12-12 21:15:54 +000063
64extern "C" {
65 SH_IMPORT_EXPORT void ShOutputHtml();
66}
67
John Kessenich94a81fb2013-08-31 02:41:30 +000068// Command-line options
69enum TOptions {
John Kessenich906cc212016-12-09 19:22:20 -070070 EOptionNone = 0,
71 EOptionIntermediate = (1 << 0),
72 EOptionSuppressInfolog = (1 << 1),
73 EOptionMemoryLeakMode = (1 << 2),
74 EOptionRelaxedErrors = (1 << 3),
75 EOptionGiveWarnings = (1 << 4),
76 EOptionLinkProgram = (1 << 5),
77 EOptionMultiThreaded = (1 << 6),
78 EOptionDumpConfig = (1 << 7),
79 EOptionDumpReflection = (1 << 8),
80 EOptionSuppressWarnings = (1 << 9),
81 EOptionDumpVersions = (1 << 10),
82 EOptionSpv = (1 << 11),
83 EOptionHumanReadableSpv = (1 << 12),
84 EOptionVulkanRules = (1 << 13),
85 EOptionDefaultDesktop = (1 << 14),
86 EOptionOutputPreprocessed = (1 << 15),
87 EOptionOutputHexadecimal = (1 << 16),
88 EOptionReadHlsl = (1 << 17),
89 EOptionCascadingErrors = (1 << 18),
90 EOptionAutoMapBindings = (1 << 19),
steve-lunarge0b9deb2016-09-16 13:26:37 -060091 EOptionFlattenUniformArrays = (1 << 20),
John Kessenich906cc212016-12-09 19:22:20 -070092 EOptionNoStorageFormat = (1 << 21),
John Kessenich20f01e72016-12-12 11:41:43 -070093 EOptionKeepUncalled = (1 << 22),
John Kessenich4f1403e2017-04-05 17:38:20 -060094 EOptionHlslOffsets = (1 << 23),
steve-lunargbe283552017-04-18 12:18:01 -060095 EOptionHlslIoMapping = (1 << 24),
John Kessenich71facdf2017-05-17 18:28:19 -060096 EOptionAutoMapLocations = (1 << 25),
John Kessenich121853f2017-05-31 17:11:16 -060097 EOptionDebug = (1 << 26),
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +020098 EOptionStdin = (1 << 27),
GregFcd1f1692017-09-21 18:40:22 -060099 EOptionOptimizeDisable = (1 << 28),
100 EOptionOptimizeSize = (1 << 29),
LoopDawgb22c0692017-12-06 16:52:03 -0700101 EOptionInvertY = (1 << 30),
John Kessenichc6c80a62018-03-05 22:23:17 -0700102 EOptionDumpBareVersion = (1 << 31),
John Kessenich94a81fb2013-08-31 02:41:30 +0000103};
104
John Kessenicha0af4732012-12-12 21:15:54 +0000105//
John Kessenich68d78fd2015-07-12 19:28:10 -0600106// Return codes from main/exit().
John Kessenicha0af4732012-12-12 21:15:54 +0000107//
108enum TFailCode {
109 ESuccess = 0,
110 EFailUsage,
111 EFailCompile,
112 EFailLink,
113 EFailCompilerCreate,
John Kessenich2b07c7e2013-07-31 18:44:13 +0000114 EFailThreadCreate,
John Kessenicha0af4732012-12-12 21:15:54 +0000115 EFailLinkerCreate
116};
117
118//
John Kessenich68d78fd2015-07-12 19:28:10 -0600119// Forward declarations.
John Kessenicha0af4732012-12-12 21:15:54 +0000120//
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600121EShLanguage FindLanguage(const std::string& name, bool parseSuffix=true);
John Kessenich51cdd902014-02-18 23:37:57 +0000122void CompileFile(const char* fileName, ShHandle);
John Kessenicha0af4732012-12-12 21:15:54 +0000123void usage();
John Kessenich04acb1b2017-06-14 17:36:50 -0600124char* ReadFileData(const char* fileName);
125void FreeFileData(char* data);
John Kessenich54d8cda2013-02-11 22:36:01 +0000126void InfoLogMsg(const char* msg, const char* name, const int num);
John Kessenich41cf6b52013-06-25 18:10:05 +0000127
John Kessenichc999ba22013-11-07 23:33:24 +0000128// Globally track if any compile or link failure.
129bool CompileFailed = false;
130bool LinkFailed = false;
131
John Kessenich94f28eb2017-11-13 01:32:06 -0700132// array of unique places to leave the shader names and infologs for the asynchronous compiles
133std::vector<std::unique_ptr<glslang::TWorkItem>> WorkItems;
134
John Kessenich05a70632013-09-17 19:26:08 +0000135TBuiltInResource Resources;
136std::string ConfigFile;
137
John Kessenicha0af4732012-12-12 21:15:54 +0000138//
John Kessenichf0bcb0a2016-04-02 13:09:14 -0600139// Parse either a .conf file provided by the user or the default from glslang::DefaultTBuiltInResource
John Kessenich05a70632013-09-17 19:26:08 +0000140//
141void ProcessConfigFile()
John Kessenichb51f62c2013-04-11 16:31:09 +0000142{
John Kessenich04acb1b2017-06-14 17:36:50 -0600143 if (ConfigFile.size() == 0)
Lei Zhang414eb602016-03-04 16:22:34 -0500144 Resources = glslang::DefaultTBuiltInResource;
John Kessenich04acb1b2017-06-14 17:36:50 -0600145 else {
146 char* configString = ReadFileData(ConfigFile.c_str());
147 glslang::DecodeResourceLimits(&Resources, configString);
148 FreeFileData(configString);
John Kessenich05a70632013-09-17 19:26:08 +0000149 }
John Kessenicha0af4732012-12-12 21:15:54 +0000150}
151
John Kessenich94a81fb2013-08-31 02:41:30 +0000152int Options = 0;
John Kessenich68d78fd2015-07-12 19:28:10 -0600153const char* ExecutableName = nullptr;
154const char* binaryFileName = nullptr;
John Kessenich4d65ee32016-03-12 18:17:47 -0700155const char* entryPointName = nullptr;
steve-lunargf1e0c872016-10-31 15:13:43 -0600156const char* sourceEntryPointName = nullptr;
Dan Bakerc6ede892016-08-11 14:06:06 -0400157const char* shaderStageName = nullptr;
Flavioaea3c892017-02-06 11:46:35 -0800158const char* variableName = nullptr;
Rex Xucb61eec2018-03-07 13:10:01 +0800159bool HlslEnable16BitTypes = false;
John Kessenich971a0a82017-06-07 15:06:58 -0600160std::vector<std::string> IncludeDirectoryList;
John Kessenich66011cb2018-03-06 16:12:04 -0700161int ClientInputSemanticsVersion = 100; // maps to, say, #define VULKAN 100
162glslang::EshTargetClientVersion VulkanClientVersion =
163 glslang::EShTargetVulkan_1_0; // would map to, say, Vulkan 1.0
164glslang::EshTargetClientVersion OpenGLClientVersion =
165 glslang::EShTargetOpenGL_450; // doesn't influence anything yet, but maps to OpenGL 4.50
166glslang::EShTargetLanguageVersion TargetVersion =
167 glslang::EShTargetSpv_1_0; // maps to, say, SPIR-V 1.0
168std::vector<std::string> Processes; // what should be recorded by OpModuleProcessed, or equivalent
John Kessenich68d78fd2015-07-12 19:28:10 -0600169
LoopDawg08a14422017-10-17 19:27:14 -0600170// Per descriptor-set binding base data
171typedef std::map<unsigned int, unsigned int> TPerSetBaseBinding;
172
173std::array<std::array<unsigned int, EShLangCount>, glslang::EResCount> baseBinding;
174std::array<std::array<TPerSetBaseBinding, EShLangCount>, glslang::EResCount> baseBindingForSet;
Hyangran Park36dc8292017-05-02 16:27:29 +0900175std::array<std::vector<std::string>, EShLangCount> baseResourceSetBinding;
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600176
John Kessenicha9313662017-06-15 10:40:49 -0600177// Add things like "#define ..." to a preamble to use in the beginning of the shader.
178class TPreamble {
179public:
180 TPreamble() { }
181
182 bool isSet() const { return text.size() > 0; }
183 const char* get() const { return text.c_str(); }
184
185 // #define...
186 void addDef(std::string def)
187 {
188 text.append("#define ");
189 fixLine(def);
190
John Kessenich2a271162017-07-20 20:00:36 -0600191 Processes.push_back("D");
192 Processes.back().append(def);
193
John Kessenicha9313662017-06-15 10:40:49 -0600194 // The first "=" needs to turn into a space
LoopDawgb97b25e2017-07-12 09:04:39 -0600195 const size_t equal = def.find_first_of("=");
John Kessenicha9313662017-06-15 10:40:49 -0600196 if (equal != def.npos)
197 def[equal] = ' ';
198
199 text.append(def);
200 text.append("\n");
201 }
202
203 // #undef...
204 void addUndef(std::string undef)
205 {
206 text.append("#undef ");
207 fixLine(undef);
John Kessenich2a271162017-07-20 20:00:36 -0600208
209 Processes.push_back("U");
210 Processes.back().append(undef);
211
John Kessenicha9313662017-06-15 10:40:49 -0600212 text.append(undef);
213 text.append("\n");
214 }
215
216protected:
217 void fixLine(std::string& line)
218 {
219 // Can't go past a newline in the line
LoopDawgb97b25e2017-07-12 09:04:39 -0600220 const size_t end = line.find_first_of("\n");
John Kessenicha9313662017-06-15 10:40:49 -0600221 if (end != line.npos)
222 line = line.substr(0, end);
223 }
224
225 std::string text; // contents of preamble
226};
227
228TPreamble UserPreamble;
229
John Kessenich68d78fd2015-07-12 19:28:10 -0600230//
231// Create the default name for saving a binary if -o is not provided.
232//
233const char* GetBinaryName(EShLanguage stage)
234{
235 const char* name;
236 if (binaryFileName == nullptr) {
237 switch (stage) {
238 case EShLangVertex: name = "vert.spv"; break;
239 case EShLangTessControl: name = "tesc.spv"; break;
240 case EShLangTessEvaluation: name = "tese.spv"; break;
241 case EShLangGeometry: name = "geom.spv"; break;
242 case EShLangFragment: name = "frag.spv"; break;
243 case EShLangCompute: name = "comp.spv"; break;
244 default: name = "unknown"; break;
245 }
246 } else
247 name = binaryFileName;
248
249 return name;
250}
John Kessenich2b07c7e2013-07-31 18:44:13 +0000251
John Kessenich05a70632013-09-17 19:26:08 +0000252//
253// *.conf => this is a config file that can set limits/resources
254//
255bool SetConfigFile(const std::string& name)
256{
257 if (name.size() < 5)
258 return false;
259
John Kessenich4c706852013-10-11 16:28:43 +0000260 if (name.compare(name.size() - 5, 5, ".conf") == 0) {
John Kessenich05a70632013-09-17 19:26:08 +0000261 ConfigFile = name;
262 return true;
263 }
264
265 return false;
266}
267
John Kessenich68d78fd2015-07-12 19:28:10 -0600268//
269// Give error and exit with failure code.
270//
271void Error(const char* message)
272{
John Kessenichaf527992017-11-02 22:48:15 -0600273 fprintf(stderr, "%s: Error %s (use -h for usage)\n", ExecutableName, message);
John Kessenich68d78fd2015-07-12 19:28:10 -0600274 exit(EFailUsage);
275}
276
277//
LoopDawg08a14422017-10-17 19:27:14 -0600278// Process an optional binding base of one the forms:
279// --argname [stage] base // base for stage (if given) or all stages (if not)
LoopDawge5709552017-10-21 10:46:39 -0600280// --argname [stage] [base set]... // set/base pairs: set the base for given binding set.
LoopDawg08a14422017-10-17 19:27:14 -0600281
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600282// Where stage is one of the forms accepted by FindLanguage, and base is an integer
283//
LoopDawg08a14422017-10-17 19:27:14 -0600284void ProcessBindingBase(int& argc, char**& argv, glslang::TResourceType res)
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600285{
286 if (argc < 2)
287 usage();
288
LoopDawg08a14422017-10-17 19:27:14 -0600289 EShLanguage lang = EShLangCount;
290 int singleBase = 0;
291 TPerSetBaseBinding perSetBase;
292 int arg = 1;
293
294 // Parse stage, if given
295 if (!isdigit(argv[arg][0])) {
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600296 if (argc < 3) // this form needs one more argument
297 usage();
John Kessenichecba76f2017-01-06 00:34:48 -0700298
LoopDawg08a14422017-10-17 19:27:14 -0600299 lang = FindLanguage(argv[arg++], false);
300 }
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600301
LoopDawg08a14422017-10-17 19:27:14 -0600302 if ((argc - arg) > 2 && isdigit(argv[arg+0][0]) && isdigit(argv[arg+1][0])) {
303 // Parse a per-set binding base
304 while ((argc - arg) > 2 && isdigit(argv[arg+0][0]) && isdigit(argv[arg+1][0])) {
LoopDawg08a14422017-10-17 19:27:14 -0600305 const int baseNum = atoi(argv[arg++]);
LoopDawge5709552017-10-21 10:46:39 -0600306 const int setNum = atoi(argv[arg++]);
LoopDawg08a14422017-10-17 19:27:14 -0600307 perSetBase[setNum] = baseNum;
308 }
309 } else {
310 // Parse single binding base
311 singleBase = atoi(argv[arg++]);
312 }
313
314 argc -= (arg-1);
315 argv += (arg-1);
316
317 // Set one or all languages
318 const int langMin = (lang < EShLangCount) ? lang+0 : 0;
319 const int langMax = (lang < EShLangCount) ? lang+1 : EShLangCount;
320
321 for (int lang = langMin; lang < langMax; ++lang) {
322 if (!perSetBase.empty())
323 baseBindingForSet[res][lang] = perSetBase;
324 else
325 baseBinding[res][lang] = singleBase;
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600326 }
327}
328
Hyangran Park36dc8292017-05-02 16:27:29 +0900329void ProcessResourceSetBindingBase(int& argc, char**& argv, std::array<std::vector<std::string>, EShLangCount>& base)
330{
331 if (argc < 2)
332 usage();
333
334 if (!isdigit(argv[1][0])) {
LoopDawg52017192017-07-14 15:15:47 -0600335 if (argc < 3) // this form needs one more argument
Hyangran Park36dc8292017-05-02 16:27:29 +0900336 usage();
337
LoopDawg52017192017-07-14 15:15:47 -0600338 // Parse form: --argname stage [regname set base...], or:
339 // --argname stage set
Hyangran Park36dc8292017-05-02 16:27:29 +0900340 const EShLanguage lang = FindLanguage(argv[1], false);
341
LoopDawg52017192017-07-14 15:15:47 -0600342 argc--;
343 argv++;
344
345 while (argc > 1 && argv[1] != nullptr && argv[1][0] != '-') {
346 base[lang].push_back(argv[1]);
347
348 argc--;
349 argv++;
Hyangran Park36dc8292017-05-02 16:27:29 +0900350 }
LoopDawg52017192017-07-14 15:15:47 -0600351
352 // Must have one arg, or a multiple of three (for [regname set binding] triples)
353 if (base[lang].size() != 1 && (base[lang].size() % 3) != 0)
354 usage();
355
Hyangran Park36dc8292017-05-02 16:27:29 +0900356 } else {
LoopDawg52017192017-07-14 15:15:47 -0600357 // Parse form: --argname set
Hyangran Park36dc8292017-05-02 16:27:29 +0900358 for (int lang=0; lang<EShLangCount; ++lang)
359 base[lang].push_back(argv[1]);
360
361 argc--;
362 argv++;
363 }
364}
365
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600366//
John Kessenich68d78fd2015-07-12 19:28:10 -0600367// Do all command-line argument parsing. This includes building up the work-items
368// to be processed later, and saving all the command-line options.
369//
370// Does not return (it exits) if command-line is fatally flawed.
371//
Juan Lopeza558b262017-04-02 23:04:00 +0200372void ProcessArguments(std::vector<std::unique_ptr<glslang::TWorkItem>>& workItems, int argc, char* argv[])
John Kessenich2b07c7e2013-07-31 18:44:13 +0000373{
LoopDawg08a14422017-10-17 19:27:14 -0600374 for (int res = 0; res < glslang::EResCount; ++res)
375 baseBinding[res].fill(0);
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600376
John Kessenich38f3b892013-09-06 19:52:57 +0000377 ExecutableName = argv[0];
Juan Lopeza558b262017-04-02 23:04:00 +0200378 workItems.reserve(argc);
John Kessenich38f3b892013-09-06 19:52:57 +0000379
John Kessenichc178f0a2017-06-23 10:58:31 -0600380 const auto bumpArg = [&]() {
381 if (argc > 0) {
382 argc--;
383 argv++;
384 }
385 };
386
387 // read a string directly attached to a single-letter option
John Kessenich6263fb12017-06-14 15:52:44 -0600388 const auto getStringOperand = [&](const char* desc) {
389 if (argv[0][2] == 0) {
390 printf("%s must immediately follow option (no spaces)\n", desc);
391 exit(EFailUsage);
392 }
393 return argv[0] + 2;
394 };
395
John Kessenich6353d552017-06-23 11:11:09 -0600396 // read a number attached to a single-letter option
397 const auto getAttachedNumber = [&](const char* desc) {
398 int num = atoi(argv[0] + 2);
399 if (num == 0) {
400 printf("%s: expected attached non-0 number\n", desc);
401 exit(EFailUsage);
402 }
403 return num;
404 };
405
406 // minimum needed (without overriding something else) to target Vulkan SPIR-V
407 const auto setVulkanSpv = []() {
408 Options |= EOptionSpv;
409 Options |= EOptionVulkanRules;
410 Options |= EOptionLinkProgram;
411 };
412
413 // minimum needed (without overriding something else) to target OpenGL SPIR-V
414 const auto setOpenGlSpv = []() {
415 Options |= EOptionSpv;
416 Options |= EOptionLinkProgram;
417 // undo a -H default to Vulkan
418 Options &= ~EOptionVulkanRules;
419 };
420
John Kessenichc178f0a2017-06-23 10:58:31 -0600421 for (bumpArg(); argc >= 1; bumpArg()) {
John Kessenich2b07c7e2013-07-31 18:44:13 +0000422 if (argv[0][0] == '-') {
John Kessenich2aa7f3a2015-05-15 16:02:07 +0000423 switch (argv[0][1]) {
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600424 case '-':
425 {
426 std::string lowerword(argv[0]+2);
427 std::transform(lowerword.begin(), lowerword.end(), lowerword.begin(), ::tolower);
428
429 // handle --word style options
John Kessenich6263fb12017-06-14 15:52:44 -0600430 if (lowerword == "auto-map-bindings" || // synonyms
John Kessenich6353d552017-06-23 11:11:09 -0600431 lowerword == "auto-map-binding" ||
432 lowerword == "amb") {
John Kessenich6263fb12017-06-14 15:52:44 -0600433 Options |= EOptionAutoMapBindings;
434 } else if (lowerword == "auto-map-locations" || // synonyms
435 lowerword == "aml") {
436 Options |= EOptionAutoMapLocations;
John Kessenich6353d552017-06-23 11:11:09 -0600437 } else if (lowerword == "client") {
438 if (argc > 1) {
439 if (strcmp(argv[1], "vulkan100") == 0)
440 setVulkanSpv();
441 else if (strcmp(argv[1], "opengl100") == 0)
442 setOpenGlSpv();
443 else
444 Error("--client expects vulkan100 or opengl100");
445 }
446 bumpArg();
John Kessenich6263fb12017-06-14 15:52:44 -0600447 } else if (lowerword == "flatten-uniform-arrays" || // synonyms
448 lowerword == "flatten-uniform-array" ||
449 lowerword == "fua") {
450 Options |= EOptionFlattenUniformArrays;
451 } else if (lowerword == "hlsl-offsets") {
452 Options |= EOptionHlslOffsets;
453 } else if (lowerword == "hlsl-iomap" ||
454 lowerword == "hlsl-iomapper" ||
455 lowerword == "hlsl-iomapping") {
456 Options |= EOptionHlslIoMapping;
Rex Xucb61eec2018-03-07 13:10:01 +0800457 } else if (lowerword == "hlsl-enable-16bit-types") {
458 HlslEnable16BitTypes = true;
John Kessenichc6c80a62018-03-05 22:23:17 -0700459 } else if (lowerword == "invert-y" || // synonyms
460 lowerword == "iy") {
461 Options |= EOptionInvertY;
John Kessenich6263fb12017-06-14 15:52:44 -0600462 } else if (lowerword == "keep-uncalled" || // synonyms
463 lowerword == "ku") {
464 Options |= EOptionKeepUncalled;
465 } else if (lowerword == "no-storage-format" || // synonyms
466 lowerword == "nsf") {
467 Options |= EOptionNoStorageFormat;
John Kessenich2a271162017-07-20 20:00:36 -0600468 } else if (lowerword == "relaxed-errors") {
469 Options |= EOptionRelaxedErrors;
John Kessenich6263fb12017-06-14 15:52:44 -0600470 } else if (lowerword == "resource-set-bindings" || // synonyms
471 lowerword == "resource-set-binding" ||
472 lowerword == "rsb") {
473 ProcessResourceSetBindingBase(argc, argv, baseResourceSetBinding);
steve-lunarg9088be42016-11-01 10:31:42 -0600474 } else if (lowerword == "shift-image-bindings" || // synonyms
475 lowerword == "shift-image-binding" ||
476 lowerword == "sib") {
LoopDawg08a14422017-10-17 19:27:14 -0600477 ProcessBindingBase(argc, argv, glslang::EResImage);
John Kessenich6263fb12017-06-14 15:52:44 -0600478 } else if (lowerword == "shift-sampler-bindings" || // synonyms
479 lowerword == "shift-sampler-binding" ||
480 lowerword == "ssb") {
LoopDawg08a14422017-10-17 19:27:14 -0600481 ProcessBindingBase(argc, argv, glslang::EResSampler);
John Kessenich6263fb12017-06-14 15:52:44 -0600482 } else if (lowerword == "shift-uav-bindings" || // synonyms
483 lowerword == "shift-uav-binding" ||
484 lowerword == "suavb") {
LoopDawg08a14422017-10-17 19:27:14 -0600485 ProcessBindingBase(argc, argv, glslang::EResUav);
John Kessenich6263fb12017-06-14 15:52:44 -0600486 } else if (lowerword == "shift-texture-bindings" || // synonyms
487 lowerword == "shift-texture-binding" ||
488 lowerword == "stb") {
LoopDawg08a14422017-10-17 19:27:14 -0600489 ProcessBindingBase(argc, argv, glslang::EResTexture);
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600490 } else if (lowerword == "shift-ubo-bindings" || // synonyms
491 lowerword == "shift-ubo-binding" ||
steve-lunargbe283552017-04-18 12:18:01 -0600492 lowerword == "shift-cbuffer-bindings" ||
493 lowerword == "shift-cbuffer-binding" ||
494 lowerword == "sub" ||
495 lowerword == "scb") {
LoopDawg08a14422017-10-17 19:27:14 -0600496 ProcessBindingBase(argc, argv, glslang::EResUbo);
steve-lunarg932bb5c2017-02-21 17:19:08 -0700497 } else if (lowerword == "shift-ssbo-bindings" || // synonyms
498 lowerword == "shift-ssbo-binding" ||
499 lowerword == "sbb") {
LoopDawg08a14422017-10-17 19:27:14 -0600500 ProcessBindingBase(argc, argv, glslang::EResSsbo);
John Kessenich6263fb12017-06-14 15:52:44 -0600501 } else if (lowerword == "source-entrypoint" || // synonyms
502 lowerword == "sep") {
John Kessenichc178f0a2017-06-23 10:58:31 -0600503 if (argc <= 1)
John Kessenich6263fb12017-06-14 15:52:44 -0600504 Error("no <entry-point> provided for --source-entrypoint");
John Kessenichc178f0a2017-06-23 10:58:31 -0600505 sourceEntryPointName = argv[1];
506 bumpArg();
John Kessenich6263fb12017-06-14 15:52:44 -0600507 break;
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +0200508 } else if (lowerword == "stdin") {
509 Options |= EOptionStdin;
510 shaderStageName = argv[1];
John Kessenich2a271162017-07-20 20:00:36 -0600511 } else if (lowerword == "suppress-warnings") {
512 Options |= EOptionSuppressWarnings;
John Kessenich6353d552017-06-23 11:11:09 -0600513 } else if (lowerword == "target-env") {
514 if (argc > 1) {
515 if (strcmp(argv[1], "vulkan1.0") == 0) {
516 setVulkanSpv();
John Kessenich66011cb2018-03-06 16:12:04 -0700517 VulkanClientVersion = glslang::EShTargetVulkan_1_0;
518 } else if (strcmp(argv[1], "vulkan1.1") == 0) {
519 setVulkanSpv();
520 TargetVersion = glslang::EShTargetSpv_1_3;
521 VulkanClientVersion = glslang::EShTargetVulkan_1_1;
John Kessenich6353d552017-06-23 11:11:09 -0600522 } else if (strcmp(argv[1], "opengl") == 0) {
523 setOpenGlSpv();
John Kessenich66011cb2018-03-06 16:12:04 -0700524 OpenGLClientVersion = glslang::EShTargetOpenGL_450;
John Kessenich6353d552017-06-23 11:11:09 -0600525 } else
Rex Xucb61eec2018-03-07 13:10:01 +0800526 Error("--target-env expected vulkan1.0, opengl, or hlsl-16bit-types");
John Kessenich6353d552017-06-23 11:11:09 -0600527 }
528 bumpArg();
Flavio15017db2017-02-15 14:29:33 -0800529 } else if (lowerword == "variable-name" || // synonyms
John Kessenich66011cb2018-03-06 16:12:04 -0700530 lowerword == "vn") {
Flavio15017db2017-02-15 14:29:33 -0800531 Options |= EOptionOutputHexadecimal;
John Kessenichc178f0a2017-06-23 10:58:31 -0600532 if (argc <= 1)
Flavio15017db2017-02-15 14:29:33 -0800533 Error("no <C-variable-name> provided for --variable-name");
John Kessenichc178f0a2017-06-23 10:58:31 -0600534 variableName = argv[1];
535 bumpArg();
Flavio15017db2017-02-15 14:29:33 -0800536 break;
John Kessenichc6c80a62018-03-05 22:23:17 -0700537 } else if (lowerword == "version") {
538 Options |= EOptionDumpVersions;
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600539 } else {
540 usage();
541 }
542 }
543 break;
John Kessenich6263fb12017-06-14 15:52:44 -0600544 case 'C':
545 Options |= EOptionCascadingErrors;
546 break;
547 case 'D':
John Kessenicha9313662017-06-15 10:40:49 -0600548 if (argv[0][2] == 0)
549 Options |= EOptionReadHlsl;
550 else
551 UserPreamble.addDef(getStringOperand("-D<macro> macro name"));
John Kessenich6263fb12017-06-14 15:52:44 -0600552 break;
553 case 'E':
554 Options |= EOptionOutputPreprocessed;
555 break;
556 case 'G':
John Kessenich6353d552017-06-23 11:11:09 -0600557 // OpenGL Client
558 setOpenGlSpv();
559 if (argv[0][2] != 0)
560 ClientInputSemanticsVersion = getAttachedNumber("-G<num> client input semantics");
John Kessenich6263fb12017-06-14 15:52:44 -0600561 break;
John Kessenich2aa7f3a2015-05-15 16:02:07 +0000562 case 'H':
563 Options |= EOptionHumanReadableSpv;
John Kessenich91e4aa52016-07-07 17:46:42 -0600564 if ((Options & EOptionSpv) == 0) {
565 // default to Vulkan
John Kessenich6353d552017-06-23 11:11:09 -0600566 setVulkanSpv();
John Kessenich91e4aa52016-07-07 17:46:42 -0600567 }
568 break;
John Kessenich971a0a82017-06-07 15:06:58 -0600569 case 'I':
John Kessenicha9313662017-06-15 10:40:49 -0600570 IncludeDirectoryList.push_back(getStringOperand("-I<dir> include path"));
John Kessenich68d78fd2015-07-12 19:28:10 -0600571 break;
GregFcd1f1692017-09-21 18:40:22 -0600572 case 'O':
573 if (argv[0][2] == 'd')
574 Options |= EOptionOptimizeDisable;
575 else if (argv[0][2] == 's')
576#ifdef ENABLE_OPT
577 Options |= EOptionOptimizeSize;
578#else
579 Error("-Os not available; optimizer not linked");
580#endif
581 else
582 Error("unknown -O option");
583 break;
Dan Baker5afdd782016-08-11 17:53:57 -0400584 case 'S':
John Kessenichc178f0a2017-06-23 10:58:31 -0600585 if (argc <= 1)
Dan Baker5afdd782016-08-11 17:53:57 -0400586 Error("no <stage> specified for -S");
John Kessenichc178f0a2017-06-23 10:58:31 -0600587 shaderStageName = argv[1];
588 bumpArg();
dankbaker45d49bc2016-08-08 21:43:07 -0400589 break;
John Kessenicha9313662017-06-15 10:40:49 -0600590 case 'U':
591 UserPreamble.addUndef(getStringOperand("-U<macro>: macro name"));
592 break;
John Kessenich6263fb12017-06-14 15:52:44 -0600593 case 'V':
John Kessenich6353d552017-06-23 11:11:09 -0600594 setVulkanSpv();
595 if (argv[0][2] != 0)
David Neto506d2c22018-02-27 21:55:23 -0500596 ClientInputSemanticsVersion = getAttachedNumber("-V<num> client input semantics");
John Kessenichc555ddd2015-06-17 02:38:44 +0000597 break;
John Kessenich05a70632013-09-17 19:26:08 +0000598 case 'c':
599 Options |= EOptionDumpConfig;
600 break;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000601 case 'd':
John Kessenichc6c80a62018-03-05 22:23:17 -0700602 if (strncmp(&argv[0][1], "dumpversion", strlen(&argv[0][1]) + 1) == 0 ||
603 strncmp(&argv[0][1], "dumpfullversion", strlen(&argv[0][1]) + 1) == 0)
604 Options |= EOptionDumpBareVersion;
605 else
606 Options |= EOptionDefaultDesktop;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000607 break;
John Kessenich4d65ee32016-03-12 18:17:47 -0700608 case 'e':
609 // HLSL todo: entry point handle needs much more sophistication.
610 // This is okay for one compilation unit with one entry point.
611 entryPointName = argv[1];
John Kessenichc178f0a2017-06-23 10:58:31 -0600612 if (argc <= 1)
John Kessenicha25530c2017-09-11 20:13:49 -0600613 Error("no <name> provided for -e");
John Kessenichc178f0a2017-06-23 10:58:31 -0600614 bumpArg();
John Kessenich4d65ee32016-03-12 18:17:47 -0700615 break;
John Kessenich121853f2017-05-31 17:11:16 -0600616 case 'g':
617 Options |= EOptionDebug;
618 break;
John Kessenich68d78fd2015-07-12 19:28:10 -0600619 case 'h':
620 usage();
621 break;
John Kessenich05a70632013-09-17 19:26:08 +0000622 case 'i':
John Kessenich94a81fb2013-08-31 02:41:30 +0000623 Options |= EOptionIntermediate;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000624 break;
625 case 'l':
John Kessenichd78e3512014-08-25 20:07:55 +0000626 Options |= EOptionLinkProgram;
John Kessenich94a81fb2013-08-31 02:41:30 +0000627 break;
628 case 'm':
629 Options |= EOptionMemoryLeakMode;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000630 break;
John Kessenich68d78fd2015-07-12 19:28:10 -0600631 case 'o':
John Kessenichc178f0a2017-06-23 10:58:31 -0600632 if (argc <= 1)
John Kessenich68d78fd2015-07-12 19:28:10 -0600633 Error("no <file> provided for -o");
John Kessenichc178f0a2017-06-23 10:58:31 -0600634 binaryFileName = argv[1];
635 bumpArg();
John Kessenich68d78fd2015-07-12 19:28:10 -0600636 break;
John Kessenich11f9fc72013-11-07 01:06:34 +0000637 case 'q':
638 Options |= EOptionDumpReflection;
639 break;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000640 case 'r':
John Kessenich94a81fb2013-08-31 02:41:30 +0000641 Options |= EOptionRelaxedErrors;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000642 break;
643 case 's':
John Kessenich94a81fb2013-08-31 02:41:30 +0000644 Options |= EOptionSuppressInfolog;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000645 break;
John Kessenich38f3b892013-09-06 19:52:57 +0000646 case 't':
Juan Lopeza558b262017-04-02 23:04:00 +0200647 Options |= EOptionMultiThreaded;
John Kessenich38f3b892013-09-06 19:52:57 +0000648 break;
John Kessenich319de232013-12-04 04:43:40 +0000649 case 'v':
650 Options |= EOptionDumpVersions;
651 break;
John Kessenichb0a7eb52013-11-07 17:44:20 +0000652 case 'w':
653 Options |= EOptionSuppressWarnings;
654 break;
Johannes van Waverenecb0f3b2016-05-27 12:55:53 -0500655 case 'x':
656 Options |= EOptionOutputHexadecimal;
Johannes van Waverenecb0f3b2016-05-27 12:55:53 -0500657 break;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000658 default:
John Kessenich68d78fd2015-07-12 19:28:10 -0600659 usage();
660 break;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000661 }
John Kessenich38f3b892013-09-06 19:52:57 +0000662 } else {
John Kessenich05a70632013-09-17 19:26:08 +0000663 std::string name(argv[0]);
664 if (! SetConfigFile(name)) {
Juan Lopeza558b262017-04-02 23:04:00 +0200665 workItems.push_back(std::unique_ptr<glslang::TWorkItem>(new glslang::TWorkItem(name)));
John Kessenich05a70632013-09-17 19:26:08 +0000666 }
John Kessenich38f3b892013-09-06 19:52:57 +0000667 }
John Kessenich2b07c7e2013-07-31 18:44:13 +0000668 }
669
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +0200670 // Make sure that -S is always specified if --stdin is specified
671 if ((Options & EOptionStdin) && shaderStageName == nullptr)
672 Error("must provide -S when --stdin is given");
673
John Kessenich68d78fd2015-07-12 19:28:10 -0600674 // Make sure that -E is not specified alongside linking (which includes SPV generation)
675 if ((Options & EOptionOutputPreprocessed) && (Options & EOptionLinkProgram))
676 Error("can't use -E when linking is selected");
John Kessenichc555ddd2015-06-17 02:38:44 +0000677
Johannes van Waverenecb0f3b2016-05-27 12:55:53 -0500678 // -o or -x makes no sense if there is no target binary
John Kessenich68d78fd2015-07-12 19:28:10 -0600679 if (binaryFileName && (Options & EOptionSpv) == 0)
680 Error("no binary generation requested (e.g., -V)");
steve-lunarge0b9deb2016-09-16 13:26:37 -0600681
682 if ((Options & EOptionFlattenUniformArrays) != 0 &&
683 (Options & EOptionReadHlsl) == 0)
684 Error("uniform array flattening only valid when compiling HLSL source.");
John Kessenich2b07c7e2013-07-31 18:44:13 +0000685}
686
John Kessenich68d78fd2015-07-12 19:28:10 -0600687//
688// Translate the meaningful subset of command-line options to parser-behavior options.
689//
John Kessenichb0a7eb52013-11-07 17:44:20 +0000690void SetMessageOptions(EShMessages& messages)
691{
692 if (Options & EOptionRelaxedErrors)
693 messages = (EShMessages)(messages | EShMsgRelaxedErrors);
694 if (Options & EOptionIntermediate)
695 messages = (EShMessages)(messages | EShMsgAST);
696 if (Options & EOptionSuppressWarnings)
697 messages = (EShMessages)(messages | EShMsgSuppressWarnings);
John Kessenich68d78fd2015-07-12 19:28:10 -0600698 if (Options & EOptionSpv)
699 messages = (EShMessages)(messages | EShMsgSpvRules);
700 if (Options & EOptionVulkanRules)
701 messages = (EShMessages)(messages | EShMsgVulkanRules);
Andrew Woloszynaae1ad82015-06-24 17:00:46 -0400702 if (Options & EOptionOutputPreprocessed)
703 messages = (EShMessages)(messages | EShMsgOnlyPreprocessor);
John Kessenich66e2faf2016-03-12 18:34:36 -0700704 if (Options & EOptionReadHlsl)
705 messages = (EShMessages)(messages | EShMsgReadHlsl);
John Kessenicha86836e2016-07-09 14:50:57 -0600706 if (Options & EOptionCascadingErrors)
707 messages = (EShMessages)(messages | EShMsgCascadingErrors);
John Kessenich906cc212016-12-09 19:22:20 -0700708 if (Options & EOptionKeepUncalled)
709 messages = (EShMessages)(messages | EShMsgKeepUncalled);
John Kessenich4f1403e2017-04-05 17:38:20 -0600710 if (Options & EOptionHlslOffsets)
711 messages = (EShMessages)(messages | EShMsgHlslOffsets);
John Kessenich121853f2017-05-31 17:11:16 -0600712 if (Options & EOptionDebug)
713 messages = (EShMessages)(messages | EShMsgDebugInfo);
Rex Xucb61eec2018-03-07 13:10:01 +0800714 if (HlslEnable16BitTypes)
715 messages = (EShMessages)(messages | EShMsgHlslEnable16BitTypes);
John Kessenichb0a7eb52013-11-07 17:44:20 +0000716}
717
John Kessenich68d78fd2015-07-12 19:28:10 -0600718//
John Kessenich69f4b512013-09-04 21:19:27 +0000719// Thread entry point, for non-linking asynchronous mode.
John Kessenichc999ba22013-11-07 23:33:24 +0000720//
Juan Lopeza558b262017-04-02 23:04:00 +0200721void CompileShaders(glslang::TWorklist& worklist)
John Kessenich2b07c7e2013-07-31 18:44:13 +0000722{
John Kessenich38f3b892013-09-06 19:52:57 +0000723 glslang::TWorkItem* workItem;
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +0200724 if (Options & EOptionStdin) {
725 worklist.remove(workItem);
726 ShHandle compiler = ShConstructCompiler(FindLanguage("stdin"), Options);
John Kessenich2b07c7e2013-07-31 18:44:13 +0000727 if (compiler == 0)
Juan Lopeza558b262017-04-02 23:04:00 +0200728 return;
John Kessenich2b07c7e2013-07-31 18:44:13 +0000729
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +0200730 CompileFile("stdin", compiler);
John Kessenich2b07c7e2013-07-31 18:44:13 +0000731
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +0200732 if (! (Options & EOptionSuppressInfolog))
733 workItem->results = ShGetInfoLog(compiler);
John Kessenich2b07c7e2013-07-31 18:44:13 +0000734
735 ShDestruct(compiler);
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +0200736 } else {
737 while (worklist.remove(workItem)) {
738 ShHandle compiler = ShConstructCompiler(FindLanguage(workItem->name), Options);
739 if (compiler == 0)
740 return;
741
742 CompileFile(workItem->name.c_str(), compiler);
743
744 if (! (Options & EOptionSuppressInfolog))
745 workItem->results = ShGetInfoLog(compiler);
746
747 ShDestruct(compiler);
748 }
John Kessenich2b07c7e2013-07-31 18:44:13 +0000749 }
John Kessenich2b07c7e2013-07-31 18:44:13 +0000750}
751
John Kessenich6626cad2015-06-19 05:14:19 +0000752// Outputs the given string, but only if it is non-null and non-empty.
753// This prevents erroneous newlines from appearing.
Andrew Woloszynaae1ad82015-06-24 17:00:46 -0400754void PutsIfNonEmpty(const char* str)
John Kessenich6626cad2015-06-19 05:14:19 +0000755{
756 if (str && str[0]) {
757 puts(str);
758 }
759}
760
Andrew Woloszynaae1ad82015-06-24 17:00:46 -0400761// Outputs the given string to stderr, but only if it is non-null and non-empty.
762// This prevents erroneous newlines from appearing.
763void StderrIfNonEmpty(const char* str)
764{
John Kessenich04acb1b2017-06-14 17:36:50 -0600765 if (str && str[0])
766 fprintf(stderr, "%s\n", str);
Andrew Woloszynaae1ad82015-06-24 17:00:46 -0400767}
768
John Kessenichc57b2a92016-01-16 15:30:03 -0700769// Simple bundling of what makes a compilation unit for ease in passing around,
770// and separation of handling file IO versus API (programmatic) compilation.
771struct ShaderCompUnit {
772 EShLanguage stage;
John Kessenich04acb1b2017-06-14 17:36:50 -0600773 static const int maxCount = 1;
774 int count; // live number of strings/names
John Kessenicha9313662017-06-15 10:40:49 -0600775 const char* text[maxCount]; // memory owned/managed externally
John Kessenich04acb1b2017-06-14 17:36:50 -0600776 std::string fileName[maxCount]; // hold's the memory, but...
777 const char* fileNameList[maxCount]; // downstream interface wants pointers
dankbakerafe6e9c2016-08-21 12:29:08 -0400778
John Kessenich04acb1b2017-06-14 17:36:50 -0600779 ShaderCompUnit(EShLanguage stage) : stage(stage), count(0) { }
dankbakerafe6e9c2016-08-21 12:29:08 -0400780
John Kessenich04acb1b2017-06-14 17:36:50 -0600781 ShaderCompUnit(const ShaderCompUnit& rhs)
dankbakerafe6e9c2016-08-21 12:29:08 -0400782 {
783 stage = rhs.stage;
John Kessenich04acb1b2017-06-14 17:36:50 -0600784 count = rhs.count;
785 for (int i = 0; i < count; ++i) {
786 fileName[i] = rhs.fileName[i];
787 text[i] = rhs.text[i];
788 fileNameList[i] = rhs.fileName[i].c_str();
789 }
dankbakerafe6e9c2016-08-21 12:29:08 -0400790 }
791
John Kessenicha9313662017-06-15 10:40:49 -0600792 void addString(std::string& ifileName, const char* itext)
John Kessenich04acb1b2017-06-14 17:36:50 -0600793 {
794 assert(count < maxCount);
795 fileName[count] = ifileName;
796 text[count] = itext;
797 fileNameList[count] = fileName[count].c_str();
798 ++count;
799 }
John Kessenichc57b2a92016-01-16 15:30:03 -0700800};
801
John Kessenich69f4b512013-09-04 21:19:27 +0000802//
John Kessenichc57b2a92016-01-16 15:30:03 -0700803// For linking mode: Will independently parse each compilation unit, but then put them
804// in the same program and link them together, making at most one linked module per
805// pipeline stage.
John Kessenich69f4b512013-09-04 21:19:27 +0000806//
807// Uses the new C++ interface instead of the old handle-based interface.
808//
John Kessenichc57b2a92016-01-16 15:30:03 -0700809
810void CompileAndLinkShaderUnits(std::vector<ShaderCompUnit> compUnits)
John Kessenich69f4b512013-09-04 21:19:27 +0000811{
812 // keep track of what to free
813 std::list<glslang::TShader*> shaders;
John Kessenichc57b2a92016-01-16 15:30:03 -0700814
John Kessenich69f4b512013-09-04 21:19:27 +0000815 EShMessages messages = EShMsgDefault;
John Kessenichb0a7eb52013-11-07 17:44:20 +0000816 SetMessageOptions(messages);
John Kessenich69f4b512013-09-04 21:19:27 +0000817
John Kessenich69f4b512013-09-04 21:19:27 +0000818 //
819 // Per-shader processing...
820 //
821
John Kessenich5b0f13a2013-11-01 03:08:40 +0000822 glslang::TProgram& program = *new glslang::TProgram;
rdb32084e82016-02-23 22:17:38 +0100823 for (auto it = compUnits.cbegin(); it != compUnits.cend(); ++it) {
824 const auto &compUnit = *it;
John Kessenichc57b2a92016-01-16 15:30:03 -0700825 glslang::TShader* shader = new glslang::TShader(compUnit.stage);
John Kessenich04acb1b2017-06-14 17:36:50 -0600826 shader->setStringsWithLengthsAndNames(compUnit.text, NULL, compUnit.fileNameList, compUnit.count);
John Kessenich4d65ee32016-03-12 18:17:47 -0700827 if (entryPointName) // HLSL todo: this needs to be tracked per compUnits
828 shader->setEntryPoint(entryPointName);
John Kessenich3693e632017-09-29 17:51:52 -0600829 if (sourceEntryPointName) {
830 if (entryPointName == nullptr)
831 printf("Warning: Changing source entry point name without setting an entry-point name.\n"
832 "Use '-e <name>'.\n");
steve-lunargf1e0c872016-10-31 15:13:43 -0600833 shader->setSourceEntryPoint(sourceEntryPointName);
John Kessenich3693e632017-09-29 17:51:52 -0600834 }
John Kessenicha9313662017-06-15 10:40:49 -0600835 if (UserPreamble.isSet())
836 shader->setPreamble(UserPreamble.get());
John Kessenich2a271162017-07-20 20:00:36 -0600837 shader->addProcesses(Processes);
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600838
LoopDawg08a14422017-10-17 19:27:14 -0600839 // Set IO mapper binding shift values
840 for (int r = 0; r < glslang::EResCount; ++r) {
841 const glslang::TResourceType res = glslang::TResourceType(r);
842
843 // Set base bindings
844 shader->setShiftBinding(res, baseBinding[res][compUnit.stage]);
845
846 // Set bindings for particular resource sets
847 // TODO: use a range based for loop here, when available in all environments.
848 for (auto i = baseBindingForSet[res][compUnit.stage].begin();
849 i != baseBindingForSet[res][compUnit.stage].end(); ++i)
LoopDawge5709552017-10-21 10:46:39 -0600850 shader->setShiftBindingForSet(res, i->second, i->first);
LoopDawg08a14422017-10-17 19:27:14 -0600851 }
852
steve-lunarge0b9deb2016-09-16 13:26:37 -0600853 shader->setFlattenUniformArrays((Options & EOptionFlattenUniformArrays) != 0);
steve-lunargcce8d482016-10-14 18:36:42 -0600854 shader->setNoStorageFormat((Options & EOptionNoStorageFormat) != 0);
Hyangran Park36dc8292017-05-02 16:27:29 +0900855 shader->setResourceSetBinding(baseResourceSetBinding[compUnit.stage]);
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600856
steve-lunargbe283552017-04-18 12:18:01 -0600857 if (Options & EOptionHlslIoMapping)
858 shader->setHlslIoMapping(true);
859
steve-lunarg7f7c2ed2016-09-07 15:20:19 -0600860 if (Options & EOptionAutoMapBindings)
861 shader->setAutoMapBindings(true);
John Kessenichecba76f2017-01-06 00:34:48 -0700862
John Kessenich71facdf2017-05-17 18:28:19 -0600863 if (Options & EOptionAutoMapLocations)
864 shader->setAutoMapLocations(true);
865
LoopDawgb22c0692017-12-06 16:52:03 -0700866 if (Options & EOptionInvertY)
867 shader->setInvertY(true);
868
John Kessenich4be4aeb2017-06-23 10:50:22 -0600869 // Set up the environment, some subsettings take precedence over earlier
870 // ways of setting things.
871 if (Options & EOptionSpv) {
872 if (Options & EOptionVulkanRules) {
873 shader->setEnvInput((Options & EOptionReadHlsl) ? glslang::EShSourceHlsl
874 : glslang::EShSourceGlsl,
John Kessenich6353d552017-06-23 11:11:09 -0600875 compUnit.stage, glslang::EShClientVulkan, ClientInputSemanticsVersion);
876 shader->setEnvClient(glslang::EShClientVulkan, VulkanClientVersion);
John Kessenich22f02d02018-01-31 17:53:24 -0700877 shader->setEnvTarget(glslang::EShTargetSpv, TargetVersion);
John Kessenich4be4aeb2017-06-23 10:50:22 -0600878 } else {
879 shader->setEnvInput((Options & EOptionReadHlsl) ? glslang::EShSourceHlsl
880 : glslang::EShSourceGlsl,
John Kessenich6353d552017-06-23 11:11:09 -0600881 compUnit.stage, glslang::EShClientOpenGL, ClientInputSemanticsVersion);
882 shader->setEnvClient(glslang::EShClientOpenGL, OpenGLClientVersion);
883 shader->setEnvTarget(glslang::EshTargetSpv, TargetVersion);
John Kessenich4be4aeb2017-06-23 10:50:22 -0600884 }
885 }
886
John Kessenich69f4b512013-09-04 21:19:27 +0000887 shaders.push_back(shader);
John Kessenichb3297152015-07-11 18:01:03 -0600888
John Kessenich4be4aeb2017-06-23 10:50:22 -0600889 const int defaultVersion = Options & EOptionDefaultDesktop ? 110 : 100;
John Kessenich69f4b512013-09-04 21:19:27 +0000890
John Kessenich3494b4d2017-05-22 15:00:42 -0600891 DirStackFileIncluder includer;
John Kessenich971a0a82017-06-07 15:06:58 -0600892 std::for_each(IncludeDirectoryList.rbegin(), IncludeDirectoryList.rend(), [&includer](const std::string& dir) {
893 includer.pushExternalLocalDirectory(dir); });
John Kessenichc555ddd2015-06-17 02:38:44 +0000894 if (Options & EOptionOutputPreprocessed) {
895 std::string str;
Dejan Mircevski7be4b822015-06-17 11:40:33 -0400896 if (shader->preprocess(&Resources, defaultVersion, ENoProfile, false, false,
Andrew Woloszyna132af52016-03-07 13:23:09 -0500897 messages, &str, includer)) {
Andrew Woloszynaae1ad82015-06-24 17:00:46 -0400898 PutsIfNonEmpty(str.c_str());
899 } else {
900 CompileFailed = true;
901 }
902 StderrIfNonEmpty(shader->getInfoLog());
903 StderrIfNonEmpty(shader->getInfoDebugLog());
John Kessenichc555ddd2015-06-17 02:38:44 +0000904 continue;
905 }
John Kessenich3494b4d2017-05-22 15:00:42 -0600906 if (! shader->parse(&Resources, defaultVersion, false, messages, includer))
John Kessenichc999ba22013-11-07 23:33:24 +0000907 CompileFailed = true;
John Kessenichc555ddd2015-06-17 02:38:44 +0000908
John Kessenich69f4b512013-09-04 21:19:27 +0000909 program.addShader(shader);
910
John Kessenichc57b2a92016-01-16 15:30:03 -0700911 if (! (Options & EOptionSuppressInfolog) &&
912 ! (Options & EOptionMemoryLeakMode)) {
John Kessenich04acb1b2017-06-14 17:36:50 -0600913 PutsIfNonEmpty(compUnit.fileName[0].c_str());
Andrew Woloszynaae1ad82015-06-24 17:00:46 -0400914 PutsIfNonEmpty(shader->getInfoLog());
915 PutsIfNonEmpty(shader->getInfoDebugLog());
John Kessenich69f4b512013-09-04 21:19:27 +0000916 }
John Kessenich69f4b512013-09-04 21:19:27 +0000917 }
918
919 //
920 // Program-level processing...
921 //
922
John Kessenich4d65ee32016-03-12 18:17:47 -0700923 // Link
John Kessenich68d78fd2015-07-12 19:28:10 -0600924 if (! (Options & EOptionOutputPreprocessed) && ! program.link(messages))
John Kessenichc999ba22013-11-07 23:33:24 +0000925 LinkFailed = true;
926
steve-lunarg9ae34742016-10-05 13:40:13 -0600927 // Map IO
928 if (Options & EOptionSpv) {
929 if (!program.mapIO())
930 LinkFailed = true;
931 }
John Kessenichecba76f2017-01-06 00:34:48 -0700932
John Kessenich4d65ee32016-03-12 18:17:47 -0700933 // Report
John Kessenichc57b2a92016-01-16 15:30:03 -0700934 if (! (Options & EOptionSuppressInfolog) &&
935 ! (Options & EOptionMemoryLeakMode)) {
Andrew Woloszynaae1ad82015-06-24 17:00:46 -0400936 PutsIfNonEmpty(program.getInfoLog());
937 PutsIfNonEmpty(program.getInfoDebugLog());
John Kessenich69f4b512013-09-04 21:19:27 +0000938 }
939
John Kessenich4d65ee32016-03-12 18:17:47 -0700940 // Reflect
John Kessenich11f9fc72013-11-07 01:06:34 +0000941 if (Options & EOptionDumpReflection) {
942 program.buildReflection();
943 program.dumpReflection();
944 }
945
John Kessenich4d65ee32016-03-12 18:17:47 -0700946 // Dump SPIR-V
John Kessenich0df0cde2015-03-03 17:09:43 +0000947 if (Options & EOptionSpv) {
John Kessenich92f90382014-07-28 04:21:04 +0000948 if (CompileFailed || LinkFailed)
John Kessenich68d78fd2015-07-12 19:28:10 -0600949 printf("SPIR-V is not generated for failed compile or link\n");
John Kessenich92f90382014-07-28 04:21:04 +0000950 else {
951 for (int stage = 0; stage < EShLangCount; ++stage) {
John Kessenicha7a68a92014-08-24 18:21:00 +0000952 if (program.getIntermediate((EShLanguage)stage)) {
John Kessenich0df0cde2015-03-03 17:09:43 +0000953 std::vector<unsigned int> spirv;
Lei Zhang09caf122016-05-02 18:11:54 -0400954 std::string warningsErrors;
Lei Zhang17535f72016-05-04 15:55:59 -0400955 spv::SpvBuildLogger logger;
John Kessenich121853f2017-05-31 17:11:16 -0600956 glslang::SpvOptions spvOptions;
957 if (Options & EOptionDebug)
958 spvOptions.generateDebugInfo = true;
GregF52fe3d52017-09-28 10:08:32 -0600959 spvOptions.disableOptimizer = (Options & EOptionOptimizeDisable) != 0;
960 spvOptions.optimizeSize = (Options & EOptionOptimizeSize) != 0;
John Kessenich121853f2017-05-31 17:11:16 -0600961 glslang::GlslangToSpv(*program.getIntermediate((EShLanguage)stage), spirv, &logger, &spvOptions);
John Kessenichc57b2a92016-01-16 15:30:03 -0700962
963 // Dump the spv to a file or stdout, etc., but only if not doing
964 // memory/perf testing, as it's not internal to programmatic use.
965 if (! (Options & EOptionMemoryLeakMode)) {
Johannes van Waverenecb0f3b2016-05-27 12:55:53 -0500966 printf("%s", logger.getAllMessages().c_str());
967 if (Options & EOptionOutputHexadecimal) {
John Kessenich8f674e82017-02-18 09:45:40 -0700968 glslang::OutputSpvHex(spirv, GetBinaryName((EShLanguage)stage), variableName);
Johannes van Waverenecb0f3b2016-05-27 12:55:53 -0500969 } else {
970 glslang::OutputSpvBin(spirv, GetBinaryName((EShLanguage)stage));
971 }
John Kessenichc57b2a92016-01-16 15:30:03 -0700972 if (Options & EOptionHumanReadableSpv) {
John Kessenichc57b2a92016-01-16 15:30:03 -0700973 spv::Disassemble(std::cout, spirv);
974 }
John Kessenichacba7722015-03-04 03:48:38 +0000975 }
John Kessenicha7a68a92014-08-24 18:21:00 +0000976 }
John Kessenich92f90382014-07-28 04:21:04 +0000977 }
978 }
979 }
980
John Kessenich5b0f13a2013-11-01 03:08:40 +0000981 // Free everything up, program has to go before the shaders
982 // because it might have merged stuff from the shaders, and
983 // the stuff from the shaders has to have its destructors called
984 // before the pools holding the memory in the shaders is freed.
985 delete &program;
John Kessenich69f4b512013-09-04 21:19:27 +0000986 while (shaders.size() > 0) {
987 delete shaders.back();
988 shaders.pop_back();
989 }
John Kessenich69f4b512013-09-04 21:19:27 +0000990}
991
John Kessenichc57b2a92016-01-16 15:30:03 -0700992//
993// Do file IO part of compile and link, handing off the pure
994// API/programmatic mode to CompileAndLinkShaderUnits(), which can
995// be put in a loop for testing memory footprint and performance.
996//
997// This is just for linking mode: meaning all the shaders will be put into the
998// the same program linked together.
999//
1000// This means there are a limited number of work items (not multi-threading mode)
1001// and that the point is testing at the linking level. Hence, to enable
1002// performance and memory testing, the actual compile/link can be put in
1003// a loop, independent of processing the work items and file IO.
1004//
Juan Lopeza558b262017-04-02 23:04:00 +02001005void CompileAndLinkShaderFiles(glslang::TWorklist& Worklist)
John Kessenichc57b2a92016-01-16 15:30:03 -07001006{
1007 std::vector<ShaderCompUnit> compUnits;
1008
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +02001009 // If this is using stdin, we can't really detect multiple different file
1010 // units by input type. We need to assume that we're just being given one
1011 // file of a certain type.
1012 if ((Options & EOptionStdin) != 0) {
1013 ShaderCompUnit compUnit(FindLanguage("stdin"));
1014 std::istreambuf_iterator<char> begin(std::cin), end;
1015 std::string tempString(begin, end);
1016 char* fileText = strdup(tempString.c_str());
1017 std::string fileName = "stdin";
1018 compUnit.addString(fileName, fileText);
John Kessenichc57b2a92016-01-16 15:30:03 -07001019 compUnits.push_back(compUnit);
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +02001020 } else {
1021 // Transfer all the work items from to a simple list of
1022 // of compilation units. (We don't care about the thread
1023 // work-item distribution properties in this path, which
1024 // is okay due to the limited number of shaders, know since
1025 // they are all getting linked together.)
1026 glslang::TWorkItem* workItem;
1027 while (Worklist.remove(workItem)) {
1028 ShaderCompUnit compUnit(FindLanguage(workItem->name));
1029 char* fileText = ReadFileData(workItem->name.c_str());
1030 if (fileText == nullptr)
1031 usage();
1032 compUnit.addString(workItem->name, fileText);
1033 compUnits.push_back(compUnit);
1034 }
John Kessenichc57b2a92016-01-16 15:30:03 -07001035 }
1036
1037 // Actual call to programmatic processing of compile and link,
1038 // in a loop for testing memory and performance. This part contains
1039 // all the perf/memory that a programmatic consumer will care about.
1040 for (int i = 0; i < ((Options & EOptionMemoryLeakMode) ? 100 : 1); ++i) {
1041 for (int j = 0; j < ((Options & EOptionMemoryLeakMode) ? 100 : 1); ++j)
1042 CompileAndLinkShaderUnits(compUnits);
1043
1044 if (Options & EOptionMemoryLeakMode)
1045 glslang::OS_DumpMemoryCounters();
1046 }
1047
John Kessenicha9313662017-06-15 10:40:49 -06001048 // free memory from ReadFileData, which got stored in a const char*
1049 // as the first string above
rdb32084e82016-02-23 22:17:38 +01001050 for (auto it = compUnits.begin(); it != compUnits.end(); ++it)
John Kessenicha9313662017-06-15 10:40:49 -06001051 FreeFileData(const_cast<char*>(it->text[0]));
John Kessenichc57b2a92016-01-16 15:30:03 -07001052}
1053
John Kessenich94f28eb2017-11-13 01:32:06 -07001054int singleMain()
John Kessenicha0af4732012-12-12 21:15:54 +00001055{
Juan Lopeza558b262017-04-02 23:04:00 +02001056 glslang::TWorklist workList;
John Kessenich94f28eb2017-11-13 01:32:06 -07001057 std::for_each(WorkItems.begin(), WorkItems.end(), [&workList](std::unique_ptr<glslang::TWorkItem>& item) {
Juan Lopeza558b262017-04-02 23:04:00 +02001058 assert(item);
1059 workList.add(item.get());
1060 });
John Kessenich2b07c7e2013-07-31 18:44:13 +00001061
John Kessenich05a70632013-09-17 19:26:08 +00001062 if (Options & EOptionDumpConfig) {
Lei Zhang414eb602016-03-04 16:22:34 -05001063 printf("%s", glslang::GetDefaultTBuiltInResourceString().c_str());
Juan Lopeza558b262017-04-02 23:04:00 +02001064 if (workList.empty())
John Kessenich05a70632013-09-17 19:26:08 +00001065 return ESuccess;
1066 }
1067
John Kessenichc6c80a62018-03-05 22:23:17 -07001068 if (Options & EOptionDumpBareVersion) {
1069 printf("%d.%d.%d\n",
1070 glslang::GetSpirvGeneratorVersion(), GLSLANG_MINOR_VERSION, GLSLANG_PATCH_LEVEL);
1071 if (workList.empty())
1072 return ESuccess;
1073 } else if (Options & EOptionDumpVersions) {
1074 printf("Glslang Version: %d.%d.%d\n",
1075 glslang::GetSpirvGeneratorVersion(), GLSLANG_MINOR_VERSION, GLSLANG_PATCH_LEVEL);
John Kessenich319de232013-12-04 04:43:40 +00001076 printf("ESSL Version: %s\n", glslang::GetEsslVersionString());
1077 printf("GLSL Version: %s\n", glslang::GetGlslVersionString());
John Kessenich68d78fd2015-07-12 19:28:10 -06001078 std::string spirvVersion;
1079 glslang::GetSpirvVersion(spirvVersion);
John Kessenich0da9eaa2015-08-01 17:10:02 -06001080 printf("SPIR-V Version %s\n", spirvVersion.c_str());
John Kessenich5e4b1242015-08-06 22:53:06 -06001081 printf("GLSL.std.450 Version %d, Revision %d\n", GLSLstd450Version, GLSLstd450Revision);
John Kessenich55e7d112015-11-15 21:33:39 -07001082 printf("Khronos Tool ID %d\n", glslang::GetKhronosToolId());
John Kessenicha372a3e2017-11-02 22:32:14 -06001083 printf("SPIR-V Generator Version %d\n", glslang::GetSpirvGeneratorVersion());
John Kessenichb84313d2016-07-20 16:03:29 -06001084 printf("GL_KHR_vulkan_glsl version %d\n", 100);
1085 printf("ARB_GL_gl_spirv version %d\n", 100);
Juan Lopeza558b262017-04-02 23:04:00 +02001086 if (workList.empty())
John Kessenich319de232013-12-04 04:43:40 +00001087 return ESuccess;
1088 }
1089
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +02001090 if (workList.empty() && ((Options & EOptionStdin) == 0)) {
John Kessenich05a70632013-09-17 19:26:08 +00001091 usage();
John Kessenich05a70632013-09-17 19:26:08 +00001092 }
1093
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +02001094 if (Options & EOptionStdin) {
John Kessenich94f28eb2017-11-13 01:32:06 -07001095 WorkItems.push_back(std::unique_ptr<glslang::TWorkItem>{new glslang::TWorkItem("stdin")});
1096 workList.add(WorkItems.back().get());
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +02001097 }
1098
John Kessenich05a70632013-09-17 19:26:08 +00001099 ProcessConfigFile();
1100
John Kessenich69f4b512013-09-04 21:19:27 +00001101 //
1102 // Two modes:
John Kessenich38f3b892013-09-06 19:52:57 +00001103 // 1) linking all arguments together, single-threaded, new C++ interface
1104 // 2) independent arguments, can be tackled by multiple asynchronous threads, for testing thread safety, using the old handle interface
John Kessenich69f4b512013-09-04 21:19:27 +00001105 //
John Kessenichc555ddd2015-06-17 02:38:44 +00001106 if (Options & EOptionLinkProgram ||
1107 Options & EOptionOutputPreprocessed) {
John Kessenichc36e1d82013-11-01 17:41:52 +00001108 glslang::InitializeProcess();
John Kesseniche2c15b42017-11-16 22:48:41 -07001109 glslang::InitializeProcess(); // also test reference counting of users
1110 glslang::InitializeProcess(); // also test reference counting of users
1111 glslang::FinalizeProcess(); // also test reference counting of users
1112 glslang::FinalizeProcess(); // also test reference counting of users
Juan Lopeza558b262017-04-02 23:04:00 +02001113 CompileAndLinkShaderFiles(workList);
John Kessenichc36e1d82013-11-01 17:41:52 +00001114 glslang::FinalizeProcess();
1115 } else {
1116 ShInitialize();
John Kesseniche2c15b42017-11-16 22:48:41 -07001117 ShInitialize(); // also test reference counting of users
1118 ShFinalize(); // also test reference counting of users
John Kessenichc36e1d82013-11-01 17:41:52 +00001119
Juan Lopeza558b262017-04-02 23:04:00 +02001120 bool printShaderNames = workList.size() > 1;
John Kessenich69f4b512013-09-04 21:19:27 +00001121
John Kesseniche2c15b42017-11-16 22:48:41 -07001122 if (Options & EOptionMultiThreaded) {
Juan Lopeza558b262017-04-02 23:04:00 +02001123 std::array<std::thread, 16> threads;
John Kesseniche2c15b42017-11-16 22:48:41 -07001124 for (unsigned int t = 0; t < threads.size(); ++t) {
Juan Lopeza558b262017-04-02 23:04:00 +02001125 threads[t] = std::thread(CompileShaders, std::ref(workList));
John Kesseniche2c15b42017-11-16 22:48:41 -07001126 if (threads[t].get_id() == std::thread::id()) {
John Kessenichaf527992017-11-02 22:48:15 -06001127 fprintf(stderr, "Failed to create thread\n");
John Kessenich38f3b892013-09-06 19:52:57 +00001128 return EFailThreadCreate;
1129 }
John Kessenicha0af4732012-12-12 21:15:54 +00001130 }
Juan Lopeza558b262017-04-02 23:04:00 +02001131
1132 std::for_each(threads.begin(), threads.end(), [](std::thread& t) { t.join(); });
John Kessenichc999ba22013-11-07 23:33:24 +00001133 } else
Juan Lopeza558b262017-04-02 23:04:00 +02001134 CompileShaders(workList);
John Kessenich38f3b892013-09-06 19:52:57 +00001135
1136 // Print out all the resulting infologs
John Kessenich94f28eb2017-11-13 01:32:06 -07001137 for (size_t w = 0; w < WorkItems.size(); ++w) {
1138 if (WorkItems[w]) {
1139 if (printShaderNames || WorkItems[w]->results.size() > 0)
1140 PutsIfNonEmpty(WorkItems[w]->name.c_str());
1141 PutsIfNonEmpty(WorkItems[w]->results.c_str());
John Kessenich38f3b892013-09-06 19:52:57 +00001142 }
1143 }
John Kessenichc36e1d82013-11-01 17:41:52 +00001144
1145 ShFinalize();
John Kessenicha0af4732012-12-12 21:15:54 +00001146 }
John Kessenich2b07c7e2013-07-31 18:44:13 +00001147
John Kessenichc999ba22013-11-07 23:33:24 +00001148 if (CompileFailed)
John Kessenicha0af4732012-12-12 21:15:54 +00001149 return EFailCompile;
John Kessenichc999ba22013-11-07 23:33:24 +00001150 if (LinkFailed)
John Kessenicha0af4732012-12-12 21:15:54 +00001151 return EFailLink;
1152
1153 return 0;
1154}
1155
John Kessenich94f28eb2017-11-13 01:32:06 -07001156int C_DECL main(int argc, char* argv[])
1157{
1158 ProcessArguments(WorkItems, argc, argv);
1159
1160 int ret = 0;
1161
1162 // Loop over the entire init/finalize cycle to watch memory changes
1163 const int iterations = 1;
1164 if (iterations > 1)
1165 glslang::OS_DumpMemoryCounters();
1166 for (int i = 0; i < iterations; ++i) {
1167 ret = singleMain();
1168 if (iterations > 1)
1169 glslang::OS_DumpMemoryCounters();
1170 }
1171
1172 return ret;
1173}
1174
John Kessenicha0af4732012-12-12 21:15:54 +00001175//
1176// Deduce the language from the filename. Files must end in one of the
1177// following extensions:
1178//
John Kessenich2b07c7e2013-07-31 18:44:13 +00001179// .vert = vertex
1180// .tesc = tessellation control
1181// .tese = tessellation evaluation
1182// .geom = geometry
1183// .frag = fragment
John Kessenich94a81fb2013-08-31 02:41:30 +00001184// .comp = compute
John Kessenicha0af4732012-12-12 21:15:54 +00001185//
steve-lunarg7f7c2ed2016-09-07 15:20:19 -06001186EShLanguage FindLanguage(const std::string& name, bool parseSuffix)
John Kessenicha0af4732012-12-12 21:15:54 +00001187{
steve-lunarg7f7c2ed2016-09-07 15:20:19 -06001188 size_t ext = 0;
John Kesseniche751bca2017-03-16 11:20:38 -06001189 std::string suffix;
steve-lunarg7f7c2ed2016-09-07 15:20:19 -06001190
Dan Bakerc6ede892016-08-11 14:06:06 -04001191 if (shaderStageName)
1192 suffix = shaderStageName;
John Kesseniche751bca2017-03-16 11:20:38 -06001193 else {
1194 // Search for a suffix on a filename: e.g, "myfile.frag". If given
1195 // the suffix directly, we skip looking for the '.'
1196 if (parseSuffix) {
1197 ext = name.rfind('.');
1198 if (ext == std::string::npos) {
1199 usage();
1200 return EShLangVertex;
1201 }
1202 ++ext;
1203 }
1204 suffix = name.substr(ext, std::string::npos);
1205 }
dankbaker45d49bc2016-08-08 21:43:07 -04001206
John Kessenich2b07c7e2013-07-31 18:44:13 +00001207 if (suffix == "vert")
1208 return EShLangVertex;
1209 else if (suffix == "tesc")
1210 return EShLangTessControl;
1211 else if (suffix == "tese")
1212 return EShLangTessEvaluation;
1213 else if (suffix == "geom")
1214 return EShLangGeometry;
1215 else if (suffix == "frag")
1216 return EShLangFragment;
John Kessenichc0275792013-08-09 17:14:49 +00001217 else if (suffix == "comp")
1218 return EShLangCompute;
John Kessenich2b07c7e2013-07-31 18:44:13 +00001219
1220 usage();
John Kesseniche95ecc52012-12-12 21:34:14 +00001221 return EShLangVertex;
John Kessenicha0af4732012-12-12 21:15:54 +00001222}
1223
John Kessenicha0af4732012-12-12 21:15:54 +00001224//
John Kessenichecba76f2017-01-06 00:34:48 -07001225// Read a file's data into a string, and compile it using the old interface ShCompile,
John Kessenich69f4b512013-09-04 21:19:27 +00001226// for non-linkable results.
John Kessenicha0af4732012-12-12 21:15:54 +00001227//
John Kessenich51cdd902014-02-18 23:37:57 +00001228void CompileFile(const char* fileName, ShHandle compiler)
John Kessenicha0af4732012-12-12 21:15:54 +00001229{
John Kessenichca3457f2015-05-18 01:59:45 +00001230 int ret = 0;
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +02001231 char* shaderString;
1232 if ((Options & EOptionStdin) != 0) {
1233 std::istreambuf_iterator<char> begin(std::cin), end;
1234 std::string tempString(begin, end);
1235 shaderString = strdup(tempString.c_str());
1236 } else {
1237 shaderString = ReadFileData(fileName);
1238 }
John Kessenich41cf6b52013-06-25 18:10:05 +00001239
1240 // move to length-based strings, rather than null-terminated strings
John Kessenich04acb1b2017-06-14 17:36:50 -06001241 int* lengths = new int[1];
1242 lengths[0] = (int)strlen(shaderString);
John Kessenicha0af4732012-12-12 21:15:54 +00001243
John Kessenich52ac67e2013-05-05 23:46:22 +00001244 EShMessages messages = EShMsgDefault;
John Kessenichb0a7eb52013-11-07 17:44:20 +00001245 SetMessageOptions(messages);
John Kessenichecba76f2017-01-06 00:34:48 -07001246
John Kessenicha9313662017-06-15 10:40:49 -06001247 if (UserPreamble.isSet())
1248 Error("-D and -U options require -l (linking)\n");
1249
John Kessenich94a81fb2013-08-31 02:41:30 +00001250 for (int i = 0; i < ((Options & EOptionMemoryLeakMode) ? 100 : 1); ++i) {
1251 for (int j = 0; j < ((Options & EOptionMemoryLeakMode) ? 100 : 1); ++j) {
John Kessenich927608b2017-01-06 12:34:14 -07001252 // ret = ShCompile(compiler, shaderStrings, NumShaderStrings, lengths, EShOptNone, &Resources, Options, (Options & EOptionDefaultDesktop) ? 110 : 100, false, messages);
John Kessenich04acb1b2017-06-14 17:36:50 -06001253 ret = ShCompile(compiler, &shaderString, 1, nullptr, EShOptNone, &Resources, Options, (Options & EOptionDefaultDesktop) ? 110 : 100, false, messages);
John Kessenich927608b2017-01-06 12:34:14 -07001254 // const char* multi[12] = { "# ve", "rsion", " 300 e", "s", "\n#err",
John Kessenichecba76f2017-01-06 00:34:48 -07001255 // "or should be l", "ine 1", "string 5\n", "float glo", "bal",
John Kessenichea869fb2013-10-28 18:12:06 +00001256 // ";\n#error should be line 2\n void main() {", "global = 2.3;}" };
John Kessenich927608b2017-01-06 12:34:14 -07001257 // const char* multi[7] = { "/", "/", "\\", "\n", "\n", "#", "version 300 es" };
1258 // ret = ShCompile(compiler, multi, 7, nullptr, EShOptNone, &Resources, Options, (Options & EOptionDefaultDesktop) ? 110 : 100, false, messages);
John Kessenich41cf6b52013-06-25 18:10:05 +00001259 }
John Kessenicha0af4732012-12-12 21:15:54 +00001260
John Kessenich94a81fb2013-08-31 02:41:30 +00001261 if (Options & EOptionMemoryLeakMode)
John Kessenich2b07c7e2013-07-31 18:44:13 +00001262 glslang::OS_DumpMemoryCounters();
John Kessenicha0af4732012-12-12 21:15:54 +00001263 }
John Kessenicha0af4732012-12-12 21:15:54 +00001264
John Kessenich41cf6b52013-06-25 18:10:05 +00001265 delete [] lengths;
John Kessenich04acb1b2017-06-14 17:36:50 -06001266 FreeFileData(shaderString);
John Kessenicha0af4732012-12-12 21:15:54 +00001267
John Kessenichc999ba22013-11-07 23:33:24 +00001268 if (ret == 0)
1269 CompileFailed = true;
John Kessenicha0af4732012-12-12 21:15:54 +00001270}
1271
John Kessenicha0af4732012-12-12 21:15:54 +00001272//
1273// print usage to stdout
1274//
1275void usage()
1276{
John Kessenich319de232013-12-04 04:43:40 +00001277 printf("Usage: glslangValidator [option]... [file]...\n"
1278 "\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001279 "'file' can end in .<stage> for auto-stage classification, where <stage> is:\n"
1280 " .conf to provide a config file that replaces the default configuration\n"
John Kessenich68d78fd2015-07-12 19:28:10 -06001281 " (see -c option below for generating a template)\n"
1282 " .vert for a vertex shader\n"
1283 " .tesc for a tessellation control shader\n"
1284 " .tese for a tessellation evaluation shader\n"
1285 " .geom for a geometry shader\n"
1286 " .frag for a fragment shader\n"
1287 " .comp for a compute shader\n"
John Kessenich319de232013-12-04 04:43:40 +00001288 "\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001289 "Options:\n"
1290 " -C cascading errors; risk crash from accumulation of error recoveries\n"
1291 " -D input is HLSL\n"
John Kessenicha9313662017-06-15 10:40:49 -06001292 " -D<macro=def>\n"
1293 " -D<macro> define a pre-processor macro\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001294 " -E print pre-processed GLSL; cannot be used with -l;\n"
1295 " errors will appear on stderr.\n"
John Kessenich6353d552017-06-23 11:11:09 -06001296 " -G[ver] create SPIR-V binary, under OpenGL semantics; turns on -l;\n"
John Kessenich68d78fd2015-07-12 19:28:10 -06001297 " default file name is <stage>.spv (-o overrides this)\n"
John Kessenich6353d552017-06-23 11:11:09 -06001298 " 'ver', when present, is the version of the input semantics,\n"
1299 " which will appear in #define GL_SPIRV ver\n"
1300 " '--client opengl100' is the same as -G100\n"
1301 " a '--target-env' for OpenGL will also imply '-G'\n"
John Kessenich68d78fd2015-07-12 19:28:10 -06001302 " -H print human readable form of SPIR-V; turns on -V\n"
John Kessenich971a0a82017-06-07 15:06:58 -06001303 " -I<dir> add dir to the include search path; includer's directory\n"
1304 " is searched first, followed by left-to-right order of -I\n"
GregFcd1f1692017-09-21 18:40:22 -06001305 " -Od disables optimization. May cause illegal SPIR-V for HLSL.\n"
1306 " -Os optimizes SPIR-V to minimize size.\n"
John Kesseniche751bca2017-03-16 11:20:38 -06001307 " -S <stage> uses specified stage rather than parsing the file extension\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001308 " choices for <stage> are vert, tesc, tese, geom, frag, or comp\n"
John Kessenich6353d552017-06-23 11:11:09 -06001309 " -U<macro> undefine a pre-processor macro\n"
1310 " -V[ver] create SPIR-V binary, under Vulkan semantics; turns on -l;\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001311 " default file name is <stage>.spv (-o overrides this)\n"
John Kessenich6353d552017-06-23 11:11:09 -06001312 " 'ver', when present, is the version of the input semantics,\n"
1313 " which will appear in #define VULKAN ver\n"
1314 " '--client vulkan100' is the same as -V100\n"
1315 " a '--target-env' for Vulkan will also imply '-V'\n"
John Kessenich68d78fd2015-07-12 19:28:10 -06001316 " -c configuration dump;\n"
1317 " creates the default configuration file (redirect to a .conf file)\n"
1318 " -d default to desktop (#version 110) when there is no shader #version\n"
1319 " (default is ES version 100)\n"
John Kessenicha25530c2017-09-11 20:13:49 -06001320 " -e <name> specify <name> as the entry-point name\n"
John Kessenich121853f2017-05-31 17:11:16 -06001321 " -g generate debug information\n"
John Kessenich68d78fd2015-07-12 19:28:10 -06001322 " -h print this usage message\n"
1323 " -i intermediate tree (glslang AST) is printed out\n"
1324 " -l link all input files together to form a single module\n"
1325 " -m memory leak mode\n"
John Kessenicha25530c2017-09-11 20:13:49 -06001326 " -o <file> save binary to <file>, requires a binary option (e.g., -V)\n"
John Kessenich68d78fd2015-07-12 19:28:10 -06001327 " -q dump reflection query database\n"
John Kessenich2a271162017-07-20 20:00:36 -06001328 " -r synonym for --relaxed-errors\n"
John Kessenichb63f4a32017-11-16 22:32:20 -07001329 " -s silence syntax and semantic error reporting\n"
John Kessenich68d78fd2015-07-12 19:28:10 -06001330 " -t multi-threaded mode\n"
1331 " -v print version strings\n"
John Kessenich2a271162017-07-20 20:00:36 -06001332 " -w synonym for --suppress-warnings\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001333 " -x save binary output as text-based 32-bit hexadecimal numbers\n"
1334 " --auto-map-bindings automatically bind uniform variables\n"
1335 " without explicit bindings.\n"
1336 " --amb synonym for --auto-map-bindings\n"
1337 " --auto-map-locations automatically locate input/output lacking\n"
John Kessenichc178f0a2017-06-23 10:58:31 -06001338 " 'location' (fragile, not cross stage)\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001339 " --aml synonym for --auto-map-locations\n"
John Kessenich6353d552017-06-23 11:11:09 -06001340 " --client {vulkan<ver>|opengl<ver>} see -V and -G\n"
John Kessenichc6c80a62018-03-05 22:23:17 -07001341 " -dumpfullversion print bare major.minor.patchlevel\n"
1342 " -dumpversion same as -dumpfullversion\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001343 " --flatten-uniform-arrays flatten uniform texture/sampler arrays to\n"
1344 " scalars\n"
1345 " --fua synonym for --flatten-uniform-arrays\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001346 " --hlsl-offsets Allow block offsets to follow HLSL rules\n"
1347 " Works independently of source language\n"
1348 " --hlsl-iomap Perform IO mapping in HLSL register space\n"
Rex Xucb61eec2018-03-07 13:10:01 +08001349 " --hlsl-enable-16bit-types Allow use of 16-bit types in SPIR-V for HLSL\n"
John Kessenichc6c80a62018-03-05 22:23:17 -07001350 " --invert-y | --iy invert position.Y output in vertex shader\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001351 " --keep-uncalled don't eliminate uncalled functions\n"
1352 " --ku synonym for --keep-uncalled\n"
1353 " --no-storage-format use Unknown image format\n"
1354 " --nsf synonym for --no-storage-format\n"
John Kessenich2a271162017-07-20 20:00:36 -06001355 " --relaxed-errors relaxed GLSL semantic error-checking mode\n"
LoopDawg52017192017-07-14 15:15:47 -06001356 " --resource-set-binding [stage] name set binding\n"
1357 " Set descriptor set and binding for individual resources\n"
1358 " --resource-set-binding [stage] set\n"
1359 " Set descriptor set for all resources\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001360 " --rsb [stage] type set binding synonym for --resource-set-binding\n"
1361 " --shift-image-binding [stage] num base binding number for images (uav)\n"
LoopDawge5709552017-10-21 10:46:39 -06001362 " --shift-image-binding [stage] [num set]... per-descriptor-set shift values\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001363 " --sib [stage] num synonym for --shift-image-binding\n"
1364 " --shift-sampler-binding [stage] num base binding number for samplers\n"
LoopDawge5709552017-10-21 10:46:39 -06001365 " --shift-sampler-binding [stage] [num set]... per-descriptor-set shift values\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001366 " --ssb [stage] num synonym for --shift-sampler-binding\n"
1367 " --shift-ssbo-binding [stage] num base binding number for SSBOs\n"
LoopDawge5709552017-10-21 10:46:39 -06001368 " --shift-ssbo-binding [stage] [num set]... per-descriptor-set shift values\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001369 " --sbb [stage] num synonym for --shift-ssbo-binding\n"
1370 " --shift-texture-binding [stage] num base binding number for textures\n"
LoopDawge5709552017-10-21 10:46:39 -06001371 " --shift-texture-binding [stage] [num set]... per-descriptor-set shift values\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001372 " --stb [stage] num synonym for --shift-texture-binding\n"
1373 " --shift-uav-binding [stage] num base binding number for UAVs\n"
LoopDawge5709552017-10-21 10:46:39 -06001374 " --shift-uav-binding [stage] [num set]... per-descriptor-set shift values\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001375 " --suavb [stage] num synonym for --shift-uav-binding\n"
1376 " --shift-UBO-binding [stage] num base binding number for UBOs\n"
LoopDawge5709552017-10-21 10:46:39 -06001377 " --shift-UBO-binding [stage] [num set]... per-descriptor-set shift values\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001378 " --shift-cbuffer-binding [stage] num synonym for --shift-UBO-binding\n"
LoopDawge5709552017-10-21 10:46:39 -06001379 " --shift-cbuffer-binding [stage] [num set]... per-descriptor-set shift values\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001380 " --sub [stage] num synonym for --shift-UBO-binding\n"
John Kessenicha25530c2017-09-11 20:13:49 -06001381 " --source-entrypoint <name> the given shader source function is\n"
1382 " renamed to be the <name> given in -e\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001383 " --sep synonym for --source-entrypoint\n"
Sven-Hendrik Haase0dd12852017-09-02 19:34:54 +02001384 " --stdin Read from stdin instead of from a file.\n"
1385 " You'll have to provide the shader stage\n"
1386 " using -S.\n"
John Kessenich2a271162017-07-20 20:00:36 -06001387 " --suppress-warnings suppress GLSL warnings\n"
1388 " (except as required by #extension : warn)\n"
John Kessenich66011cb2018-03-06 16:12:04 -07001389 " --target-env {vulkan1.0 | vulkan1.1 | opengl} \n"
1390 " set execution environment that emitted code\n"
1391 " will execute in (as opposed to the language\n"
John Kessenich2a271162017-07-20 20:00:36 -06001392 " semantics selected by --client) defaults:\n"
1393 " 'vulkan1.0' under '--client vulkan<ver>'\n"
1394 " 'opengl' under '--client opengl<ver>'\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001395 " --variable-name <name> Creates a C header file that contains a\n"
1396 " uint32_t array named <name>\n"
1397 " initialized with the shader binary code.\n"
John Kessenichc6c80a62018-03-05 22:23:17 -07001398 " --version synonym for -v\n"
John Kessenich6263fb12017-06-14 15:52:44 -06001399 " --vn <name> synonym for --variable-name <name>\n"
John Kessenichb0a7eb52013-11-07 17:44:20 +00001400 );
John Kessenich68d78fd2015-07-12 19:28:10 -06001401
1402 exit(EFailUsage);
John Kessenicha0af4732012-12-12 21:15:54 +00001403}
1404
John Kessenich3ce4e592014-10-06 19:57:34 +00001405#if !defined _MSC_VER && !defined MINGW_HAS_SECURE_API
John Kessenichcfd643e2013-03-08 23:14:42 +00001406
1407#include <errno.h>
1408
1409int fopen_s(
1410 FILE** pFile,
John Kessenich51cdd902014-02-18 23:37:57 +00001411 const char* filename,
1412 const char* mode
John Kessenichcfd643e2013-03-08 23:14:42 +00001413)
1414{
1415 if (!pFile || !filename || !mode) {
1416 return EINVAL;
1417 }
1418
1419 FILE* f = fopen(filename, mode);
1420 if (! f) {
1421 if (errno != 0) {
1422 return errno;
1423 } else {
1424 return ENOENT;
1425 }
1426 }
1427 *pFile = f;
1428
1429 return 0;
1430}
1431
1432#endif
1433
John Kessenicha0af4732012-12-12 21:15:54 +00001434//
1435// Malloc a string of sufficient size and read a string into it.
1436//
John Kessenich04acb1b2017-06-14 17:36:50 -06001437char* ReadFileData(const char* fileName)
John Kessenicha0af4732012-12-12 21:15:54 +00001438{
John Kessenichb3297152015-07-11 18:01:03 -06001439 FILE *in = nullptr;
John Kessenich3ce4e592014-10-06 19:57:34 +00001440 int errorCode = fopen_s(&in, fileName, "r");
John Kessenich68d78fd2015-07-12 19:28:10 -06001441 if (errorCode || in == nullptr)
1442 Error("unable to open input file");
John Kessenichecba76f2017-01-06 00:34:48 -07001443
John Kessenich04acb1b2017-06-14 17:36:50 -06001444 int count = 0;
John Kessenicha0af4732012-12-12 21:15:54 +00001445 while (fgetc(in) != EOF)
1446 count++;
1447
John Kessenichd6c72a42014-08-18 19:42:35 +00001448 fseek(in, 0, SEEK_SET);
John Kessenichca3457f2015-05-18 01:59:45 +00001449
John Kessenich04acb1b2017-06-14 17:36:50 -06001450 char* return_data = (char*)malloc(count + 1); // freed in FreeFileData()
1451 if ((int)fread(return_data, 1, count, in) != count) {
1452 free(return_data);
John Kessenich68d78fd2015-07-12 19:28:10 -06001453 Error("can't read input file");
John Kessenicha0af4732012-12-12 21:15:54 +00001454 }
John Kessenich68d78fd2015-07-12 19:28:10 -06001455
John Kessenich04acb1b2017-06-14 17:36:50 -06001456 return_data[count] = '\0';
John Kessenicha0af4732012-12-12 21:15:54 +00001457 fclose(in);
John Kessenichb3297152015-07-11 18:01:03 -06001458
John Kessenicha0af4732012-12-12 21:15:54 +00001459 return return_data;
1460}
1461
John Kessenich04acb1b2017-06-14 17:36:50 -06001462void FreeFileData(char* data)
John Kessenicha0af4732012-12-12 21:15:54 +00001463{
John Kessenichb3297152015-07-11 18:01:03 -06001464 free(data);
John Kessenicha0af4732012-12-12 21:15:54 +00001465}
1466
John Kessenich54d8cda2013-02-11 22:36:01 +00001467void InfoLogMsg(const char* msg, const char* name, const int num)
John Kessenicha0af4732012-12-12 21:15:54 +00001468{
John Kessenichfae38ee2015-06-10 23:23:12 +00001469 if (num >= 0 )
1470 printf("#### %s %s %d INFO LOG ####\n", msg, name, num);
1471 else
1472 printf("#### %s %s INFO LOG ####\n", msg, name);
John Kessenicha0af4732012-12-12 21:15:54 +00001473}