DxilContainerTest.cpp 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773
  1. ///////////////////////////////////////////////////////////////////////////////
  2. // //
  3. // DxilContainerTest.cpp //
  4. // Copyright (C) Microsoft Corporation. All rights reserved. //
  5. // Licensed under the MIT license. See COPYRIGHT in the project root for //
  6. // full license information. //
  7. // //
  8. // Provides tests for container formatting and validation. //
  9. // //
  10. ///////////////////////////////////////////////////////////////////////////////
  11. #ifndef UNICODE
  12. #define UNICODE
  13. #endif
  14. #include <memory>
  15. #include <vector>
  16. #include <string>
  17. #include <tuple>
  18. #include <cassert>
  19. #include <sstream>
  20. #include <algorithm>
  21. #include "dxc/Support/WinIncludes.h"
  22. #include "dxc/dxcapi.h"
  23. #include <atlfile.h>
  24. #include "HLSLTestData.h"
  25. #include "WexTestClass.h"
  26. #include "HlslTestUtils.h"
  27. #include "DxcTestUtils.h"
  28. #include "dxc/Support/Global.h"
  29. #include "dxc/Support/dxcapi.use.h"
  30. #include "dxc/Support/HLSLOptions.h"
  31. #include "dxc/HLSL/DxilContainer.h"
  32. #include <fstream>
  33. #include <filesystem>
  34. #include <d3dcompiler.h>
  35. #pragma comment(lib, "d3dcompiler.lib")
  36. #include <codecvt>
  37. using namespace std;
  38. using namespace hlsl_test;
  39. using namespace std::experimental::filesystem;
  40. static uint8_t MaskCount(uint8_t V) {
  41. DXASSERT_NOMSG(0 <= V && V <= 0xF);
  42. static const uint8_t Count[16] = {
  43. 0, 1, 1, 2,
  44. 1, 2, 2, 3,
  45. 1, 2, 2, 3,
  46. 2, 3, 3, 4
  47. };
  48. return Count[V];
  49. }
  50. class DxilContainerTest {
  51. public:
  52. BEGIN_TEST_CLASS(DxilContainerTest)
  53. TEST_METHOD_PROPERTY(L"Priority", L"0")
  54. END_TEST_CLASS()
  55. TEST_METHOD(CompileWhenOKThenIncludesFeatureInfo)
  56. TEST_METHOD(CompileWhenOKThenIncludesSignatures)
  57. TEST_METHOD(CompileWhenSigSquareThenIncludeSplit)
  58. TEST_METHOD(DisassemblyWhenMissingThenFails)
  59. TEST_METHOD(DisassemblyWhenBCInvalidThenFails)
  60. TEST_METHOD(DisassemblyWhenInvalidThenFails)
  61. TEST_METHOD(DisassemblyWhenValidThenOK)
  62. TEST_METHOD(ValidateFromLL_Abs2)
  63. TEST_METHOD(ReflectionMatchesDXBC_CheckIn)
  64. BEGIN_TEST_METHOD(ReflectionMatchesDXBC_Full)
  65. TEST_METHOD_PROPERTY(L"Priority", L"1")
  66. END_TEST_METHOD()
  67. dxc::DxcDllSupport m_dllSupport;
  68. void CreateBlobPinned(_In_bytecount_(size) LPCVOID data, SIZE_T size,
  69. UINT32 codePage, _Outptr_ IDxcBlobEncoding **ppBlob) {
  70. CComPtr<IDxcLibrary> library;
  71. IFT(m_dllSupport.CreateInstance(CLSID_DxcLibrary, &library));
  72. IFT(library->CreateBlobWithEncodingFromPinned((LPBYTE)data, size, codePage,
  73. ppBlob));
  74. }
  75. void CreateBlobFromText(_In_z_ const char *pText,
  76. _Outptr_ IDxcBlobEncoding **ppBlob) {
  77. CreateBlobPinned(pText, strlen(pText), CP_UTF8, ppBlob);
  78. }
  79. HRESULT CreateCompiler(IDxcCompiler **ppResult) {
  80. if (!m_dllSupport.IsEnabled()) {
  81. VERIFY_SUCCEEDED(m_dllSupport.Initialize());
  82. }
  83. return m_dllSupport.CreateInstance(CLSID_DxcCompiler, ppResult);
  84. }
  85. void CompareShaderInputBindDesc(D3D12_SHADER_INPUT_BIND_DESC *pTestDesc,
  86. D3D12_SHADER_INPUT_BIND_DESC *pBaseDesc) {
  87. VERIFY_ARE_EQUAL(pTestDesc->BindCount, pBaseDesc->BindCount);
  88. VERIFY_ARE_EQUAL(pTestDesc->BindPoint, pBaseDesc->BindPoint);
  89. VERIFY_ARE_EQUAL(pTestDesc->Dimension, pBaseDesc->Dimension);
  90. VERIFY_ARE_EQUAL_STR(pTestDesc->Name, pBaseDesc->Name);
  91. VERIFY_ARE_EQUAL(pTestDesc->NumSamples, pBaseDesc->NumSamples);
  92. VERIFY_ARE_EQUAL(pTestDesc->ReturnType, pBaseDesc->ReturnType);
  93. VERIFY_ARE_EQUAL(pTestDesc->Space, pBaseDesc->Space);
  94. if (pBaseDesc->Type == D3D_SIT_UAV_APPEND_STRUCTURED ||
  95. pBaseDesc->Type == D3D_SIT_UAV_CONSUME_STRUCTURED) {
  96. // dxil only have rw with counter.
  97. VERIFY_ARE_EQUAL(pTestDesc->Type, D3D_SIT_UAV_RWSTRUCTURED_WITH_COUNTER);
  98. } else if (pTestDesc->Type == D3D_SIT_STRUCTURED &&
  99. pBaseDesc->Type != D3D_SIT_STRUCTURED) {
  100. VERIFY_ARE_EQUAL(pBaseDesc->Type, D3D_SIT_TEXTURE);
  101. } else
  102. VERIFY_ARE_EQUAL(pTestDesc->Type, pBaseDesc->Type);
  103. // D3D_SIF_USERPACKED is never set in dxil.
  104. UINT unusedFlag = D3D_SIF_USERPACKED;
  105. VERIFY_ARE_EQUAL(pTestDesc->uFlags, pBaseDesc->uFlags & ~unusedFlag);
  106. // VERIFY_ARE_EQUAL(pTestDesc->uID, pBaseDesc->uID); // Like register, this can vary.
  107. }
  108. void CompareParameterDesc(D3D12_SIGNATURE_PARAMETER_DESC *pTestDesc,
  109. D3D12_SIGNATURE_PARAMETER_DESC *pBaseDesc, bool isInput) {
  110. VERIFY_ARE_EQUAL(0, _stricmp(pTestDesc->SemanticName, pBaseDesc->SemanticName));
  111. if (pTestDesc->SystemValueType == D3D_NAME_CLIP_DISTANCE) return; // currently generating multiple clip distance params, one per component
  112. VERIFY_ARE_EQUAL(pTestDesc->ComponentType, pBaseDesc->ComponentType);
  113. VERIFY_ARE_EQUAL(MaskCount(pTestDesc->Mask), MaskCount(pBaseDesc->Mask));
  114. VERIFY_ARE_EQUAL(pTestDesc->MinPrecision, pBaseDesc->MinPrecision);
  115. if (!isInput)
  116. VERIFY_ARE_EQUAL(pTestDesc->ReadWriteMask != 0, pBaseDesc->ReadWriteMask != 0); // VERIFY_ARE_EQUAL(pTestDesc->ReadWriteMask, pBaseDesc->ReadWriteMask);
  117. // VERIFY_ARE_EQUAL(pTestDesc->Register, pBaseDesc->Register);
  118. //VERIFY_ARE_EQUAL(pTestDesc->SemanticIndex, pBaseDesc->SemanticIndex);
  119. VERIFY_ARE_EQUAL(pTestDesc->Stream, pBaseDesc->Stream);
  120. VERIFY_ARE_EQUAL(pTestDesc->SystemValueType, pBaseDesc->SystemValueType);
  121. }
  122. typedef HRESULT (__stdcall ID3D12ShaderReflection::*GetParameterDescFn)(UINT, D3D12_SIGNATURE_PARAMETER_DESC*);
  123. void SortNameIdxVector(std::vector<std::tuple<LPCSTR, UINT, UINT>> &value) {
  124. struct FirstPredT {
  125. bool operator()(std::tuple<LPCSTR, UINT, UINT> &l,
  126. std::tuple<LPCSTR, UINT, UINT> &r) {
  127. int strResult = strcmp(std::get<0>(l), std::get<0>(r));
  128. return (strResult < 0 ) || (strResult == 0 && std::get<1>(l) < std::get<1>(r));
  129. }
  130. } FirstPred;
  131. std::sort(value.begin(), value.end(), FirstPred);
  132. }
  133. void CompareParameterDescs(UINT count, ID3D12ShaderReflection *pTest,
  134. ID3D12ShaderReflection *pBase,
  135. GetParameterDescFn Fn, bool isInput) {
  136. std::vector<std::tuple<LPCSTR, UINT, UINT>> testParams, baseParams;
  137. testParams.reserve(count);
  138. baseParams.reserve(count);
  139. for (UINT i = 0; i < count; ++i) {
  140. D3D12_SIGNATURE_PARAMETER_DESC D;
  141. VERIFY_SUCCEEDED((pTest->*Fn)(i, &D));
  142. testParams.push_back(std::make_tuple(D.SemanticName, D.SemanticIndex, i));
  143. VERIFY_SUCCEEDED((pBase->*Fn)(i, &D));
  144. baseParams.push_back(std::make_tuple(D.SemanticName, D.SemanticIndex, i));
  145. }
  146. SortNameIdxVector(testParams);
  147. SortNameIdxVector(baseParams);
  148. for (UINT i = 0; i < count; ++i) {
  149. D3D12_SIGNATURE_PARAMETER_DESC testParamDesc, baseParamDesc;
  150. VERIFY_SUCCEEDED(
  151. (pTest->*Fn)(std::get<2>(testParams[i]), &testParamDesc));
  152. VERIFY_SUCCEEDED(
  153. (pBase->*Fn)(std::get<2>(baseParams[i]), &baseParamDesc));
  154. CompareParameterDesc(&testParamDesc, &baseParamDesc, isInput);
  155. }
  156. }
  157. void CompareReflection(ID3D12ShaderReflection *pTest, ID3D12ShaderReflection *pBase) {
  158. D3D12_SHADER_DESC testDesc, baseDesc;
  159. VERIFY_SUCCEEDED(pTest->GetDesc(&testDesc));
  160. VERIFY_SUCCEEDED(pBase->GetDesc(&baseDesc));
  161. VERIFY_ARE_EQUAL(D3D12_SHVER_GET_TYPE(testDesc.Version), D3D12_SHVER_GET_TYPE(baseDesc.Version));
  162. VERIFY_ARE_EQUAL(testDesc.ConstantBuffers, baseDesc.ConstantBuffers);
  163. VERIFY_ARE_EQUAL(testDesc.BoundResources, baseDesc.BoundResources);
  164. VERIFY_ARE_EQUAL(testDesc.InputParameters, baseDesc.InputParameters);
  165. VERIFY_ARE_EQUAL(testDesc.OutputParameters, baseDesc.OutputParameters);
  166. VERIFY_ARE_EQUAL(testDesc.PatchConstantParameters, baseDesc.PatchConstantParameters);
  167. {
  168. for (UINT i = 0; i < testDesc.ConstantBuffers; ++i) {
  169. ID3D12ShaderReflectionConstantBuffer *pTestCB, *pBaseCB;
  170. D3D12_SHADER_BUFFER_DESC testCB, baseCB;
  171. pTestCB = pTest->GetConstantBufferByIndex(i);
  172. VERIFY_SUCCEEDED(pTestCB->GetDesc(&testCB));
  173. pBaseCB = pBase->GetConstantBufferByName(testCB.Name);
  174. VERIFY_SUCCEEDED(pBaseCB->GetDesc(&baseCB));
  175. VERIFY_ARE_EQUAL_STR(testCB.Name, baseCB.Name);
  176. VERIFY_ARE_EQUAL(testCB.Type, baseCB.Type);
  177. VERIFY_ARE_EQUAL(testCB.Variables, baseCB.Variables);
  178. VERIFY_ARE_EQUAL(testCB.Size, baseCB.Size);
  179. VERIFY_ARE_EQUAL(testCB.uFlags, baseCB.uFlags);
  180. llvm::StringMap<D3D12_SHADER_VARIABLE_DESC> variableMap;
  181. for (UINT vi = 0; vi < testCB.Variables; ++vi) {
  182. ID3D12ShaderReflectionVariable *pBaseConst;
  183. D3D12_SHADER_VARIABLE_DESC baseConst;
  184. pBaseConst = pBaseCB->GetVariableByIndex(vi);
  185. VERIFY_SUCCEEDED(pBaseConst->GetDesc(&baseConst));
  186. variableMap[baseConst.Name] = baseConst;
  187. }
  188. for (UINT vi = 0; vi < testCB.Variables; ++vi) {
  189. ID3D12ShaderReflectionVariable *pTestConst;
  190. D3D12_SHADER_VARIABLE_DESC testConst;
  191. pTestConst = pTestCB->GetVariableByIndex(vi);
  192. VERIFY_SUCCEEDED(pTestConst->GetDesc(&testConst));
  193. VERIFY_ARE_EQUAL(variableMap.count(testConst.Name), 1);
  194. D3D12_SHADER_VARIABLE_DESC baseConst = variableMap[testConst.Name];
  195. VERIFY_ARE_EQUAL(testConst.uFlags, baseConst.uFlags);
  196. VERIFY_ARE_EQUAL(testConst.StartOffset, baseConst.StartOffset);
  197. // TODO: enalbe size cmp.
  198. //VERIFY_ARE_EQUAL(testConst.Size, baseConst.Size);
  199. }
  200. }
  201. }
  202. for (UINT i = 0; i < testDesc.BoundResources; ++i) {
  203. D3D12_SHADER_INPUT_BIND_DESC testParamDesc, baseParamDesc;
  204. VERIFY_SUCCEEDED(pTest->GetResourceBindingDesc(i, &testParamDesc), WStrFmt(L"i=%u", i));
  205. VERIFY_SUCCEEDED(pBase->GetResourceBindingDescByName(testParamDesc.Name, &baseParamDesc));
  206. CompareShaderInputBindDesc(&testParamDesc, &baseParamDesc);
  207. }
  208. CompareParameterDescs(testDesc.InputParameters, pTest, pBase, &ID3D12ShaderReflection::GetInputParameterDesc, true);
  209. CompareParameterDescs(testDesc.OutputParameters, pTest, pBase,
  210. &ID3D12ShaderReflection::GetOutputParameterDesc,
  211. false);
  212. bool isHs = testDesc.HSPartitioning != D3D_TESSELLATOR_PARTITIONING::D3D11_TESSELLATOR_PARTITIONING_UNDEFINED;
  213. CompareParameterDescs(
  214. testDesc.PatchConstantParameters, pTest, pBase,
  215. &ID3D12ShaderReflection::GetPatchConstantParameterDesc, !isHs);
  216. {
  217. UINT32 testTotal, testX, testY, testZ;
  218. UINT32 baseTotal, baseX, baseY, baseZ;
  219. testTotal = pTest->GetThreadGroupSize(&testX, &testY, &testZ);
  220. baseTotal = pBase->GetThreadGroupSize(&baseX, &baseY, &baseZ);
  221. VERIFY_ARE_EQUAL(testTotal, baseTotal);
  222. VERIFY_ARE_EQUAL(testX, baseX);
  223. VERIFY_ARE_EQUAL(testY, baseY);
  224. VERIFY_ARE_EQUAL(testZ, baseZ);
  225. }
  226. }
  227. void split(const wstring &s, wchar_t delim, vector<wstring> &elems) {
  228. wstringstream ss(s);
  229. wstring item;
  230. while (getline(ss, item, delim)) {
  231. elems.push_back(item);
  232. }
  233. }
  234. vector<wstring> split(const wstring &s, char delim) {
  235. vector<wstring> elems;
  236. split(s, delim, elems);
  237. return elems;
  238. }
  239. wstring SplitFilename(const wstring &str) {
  240. size_t found;
  241. found = str.find_last_of(L"/\\");
  242. return str.substr(0, found);
  243. }
  244. void NameParseCommandPartsFromFile(LPCWSTR path, std::vector<FileRunCommandPart> &parts) {
  245. vector<wstring> Parts = split(wstring(path), '+');
  246. std::wstring Name = Parts[0];
  247. std::wstring EntryPoint = Parts[1];
  248. std::wstring ShaderModel = Parts[2];
  249. std::wstring Arguments = L"-T ";
  250. Arguments += ShaderModel;
  251. Arguments += L" -E ";
  252. Arguments += EntryPoint;
  253. Arguments += L" %s";
  254. std::wstring_convert<std::codecvt_utf8_utf16<wchar_t> > w;
  255. string ArgumentsNarrow = w.to_bytes(Arguments);
  256. FileRunCommandPart P(string("%dxc"), ArgumentsNarrow, path);
  257. parts.push_back(P);
  258. }
  259. HRESULT CompileFromFile(LPCWSTR path, bool useDXBC, IDxcBlob **ppBlob) {
  260. std::vector<FileRunCommandPart> parts;
  261. //NameParseCommandPartsFromFile(path, parts);
  262. ParseCommandPartsFromFile(path, parts);
  263. VERIFY_IS_TRUE(parts.size() > 0);
  264. VERIFY_ARE_EQUAL_STR(parts[0].Command.c_str(), "%dxc");
  265. FileRunCommandPart &dxc = parts[0];
  266. m_dllSupport.Initialize();
  267. dxc.DllSupport = &m_dllSupport;
  268. hlsl::options::MainArgs args;
  269. hlsl::options::DxcOpts opts;
  270. dxc.ReadOptsForDxc(args, opts);
  271. if (opts.CodeGenHighLevel) return E_FAIL; // skip for now
  272. if (useDXBC) {
  273. // Consider supporting defines and flags if/when needed.
  274. CComPtr<ID3DBlob> pDxbcBlob;
  275. CComPtr<ID3DBlob> pDxbcErrors;
  276. UINT unboundDescTab = (1 << 20);
  277. IFR(D3DCompileFromFile(path, nullptr, D3D_COMPILE_STANDARD_FILE_INCLUDE,
  278. opts.EntryPoint.str().c_str(),
  279. opts.TargetProfile.str().c_str(),
  280. unboundDescTab, 0, &pDxbcBlob, &pDxbcErrors));
  281. IFR(pDxbcBlob.QueryInterface(ppBlob));
  282. }
  283. else {
  284. dxc.Run(nullptr);
  285. IFRBOOL(dxc.RunResult == 0, E_FAIL);
  286. IFR(dxc.OpResult->GetResult(ppBlob));
  287. }
  288. return S_OK;
  289. }
  290. void CreateReflectionFromBlob(IDxcBlob *pBlob, ID3D12ShaderReflection **ppReflection) {
  291. CComPtr<IDxcContainerReflection> pReflection;
  292. UINT32 shaderIdx;
  293. m_dllSupport.CreateInstance(CLSID_DxcContainerReflection, &pReflection);
  294. VERIFY_SUCCEEDED(pReflection->Load(pBlob));
  295. VERIFY_SUCCEEDED(pReflection->FindFirstPartKind(hlsl::DFCC_DXIL, &shaderIdx));
  296. VERIFY_SUCCEEDED(pReflection->GetPartReflection(shaderIdx, __uuidof(ID3D12ShaderReflection), (void**)ppReflection));
  297. }
  298. void CreateReflectionFromDXBC(IDxcBlob *pBlob, ID3D12ShaderReflection **ppReflection) {
  299. VERIFY_SUCCEEDED(
  300. D3DReflect(pBlob->GetBufferPointer(), pBlob->GetBufferSize(),
  301. __uuidof(ID3D12ShaderReflection), (void **)ppReflection));
  302. }
  303. std::string DisassembleProgram(LPCSTR program, LPCWSTR entryPoint,
  304. LPCWSTR target) {
  305. CComPtr<IDxcCompiler> pCompiler;
  306. CComPtr<IDxcBlobEncoding> pSource;
  307. CComPtr<IDxcBlob> pProgram;
  308. CComPtr<IDxcBlobEncoding> pDisassembly;
  309. CComPtr<IDxcOperationResult> pResult;
  310. VERIFY_SUCCEEDED(CreateCompiler(&pCompiler));
  311. CreateBlobFromText(program, &pSource);
  312. VERIFY_SUCCEEDED(pCompiler->Compile(pSource, L"hlsl.hlsl", entryPoint,
  313. target, nullptr, 0, nullptr, 0, nullptr,
  314. &pResult));
  315. VERIFY_SUCCEEDED(pResult->GetResult(&pProgram));
  316. VERIFY_SUCCEEDED(pCompiler->Disassemble(pProgram, &pDisassembly));
  317. return BlobToUtf8(pDisassembly);
  318. }
  319. void SetupBasicHeader(hlsl::DxilContainerHeader *pHeader,
  320. uint32_t partCount = 0) {
  321. ZeroMemory(pHeader, sizeof(*pHeader));
  322. pHeader->HeaderFourCC = hlsl::DFCC_Container;
  323. pHeader->Version.Major = 1;
  324. pHeader->Version.Minor = 0;
  325. pHeader->PartCount = partCount;
  326. pHeader->ContainerSizeInBytes =
  327. sizeof(hlsl::DxilContainerHeader) +
  328. sizeof(uint32_t) * partCount +
  329. sizeof(hlsl::DxilPartHeader) * partCount;
  330. }
  331. void CodeGenTestCheck(LPCWSTR name) {
  332. std::wstring fullPath = hlsl_test::GetPathToHlslDataFile(name);
  333. FileRunTestResult t = FileRunTestResult::RunFromFileCommands(fullPath.c_str());
  334. if (t.RunResult != 0) {
  335. CA2W commentWide(t.ErrorMessage.c_str(), CP_UTF8);
  336. WEX::Logging::Log::Comment(commentWide);
  337. WEX::Logging::Log::Error(L"Run result is not zero");
  338. }
  339. }
  340. WEX::Common::String WStrFmt(const wchar_t* msg, ...) {
  341. va_list args;
  342. va_start(args, msg);
  343. WEX::Common::String result = WEX::Common::String().FormatV(msg, args);
  344. va_end(args);
  345. return result;
  346. }
  347. void ReflectionTest(LPCWSTR name, bool ignoreIfDXBCFails) {
  348. WEX::Logging::Log::Comment(WEX::Common::String().Format(L"Reflection comparison for %s", name));
  349. CComPtr<IDxcBlob> pProgram;
  350. CComPtr<IDxcBlob> pProgramDXBC;
  351. HRESULT hrDXBC = CompileFromFile(name, true, &pProgramDXBC);
  352. if (FAILED(hrDXBC)) {
  353. WEX::Logging::Log::Comment(L"Failed to compile DXBC blob.");
  354. if (ignoreIfDXBCFails) return;
  355. VERIFY_FAIL();
  356. }
  357. if (FAILED(CompileFromFile(name, false, &pProgram))) {
  358. WEX::Logging::Log::Comment(L"Failed to compile DXIL blob.");
  359. if (ignoreIfDXBCFails) return;
  360. VERIFY_FAIL();
  361. }
  362. CComPtr<ID3D12ShaderReflection> pProgramReflection;
  363. CComPtr<ID3D12ShaderReflection> pProgramReflectionDXBC;
  364. CreateReflectionFromBlob(pProgram, &pProgramReflection);
  365. CreateReflectionFromDXBC(pProgramDXBC, &pProgramReflectionDXBC);
  366. CompareReflection(pProgramReflection, pProgramReflectionDXBC);
  367. }
  368. };
  369. TEST_F(DxilContainerTest, CompileWhenOKThenIncludesSignatures) {
  370. char program[] =
  371. "struct PSInput {\r\n"
  372. " float4 position : SV_POSITION;\r\n"
  373. " float4 color : COLOR;\r\n"
  374. "};\r\n"
  375. "PSInput VSMain(float4 position : POSITION, float4 color : COLOR) {\r\n"
  376. " PSInput result;\r\n"
  377. " result.position = position;\r\n"
  378. " result.color = color;\r\n"
  379. " return result;\r\n"
  380. "}\r\n"
  381. "float4 PSMain(PSInput input) : SV_TARGET {\r\n"
  382. " return input.color;\r\n"
  383. "}";
  384. {
  385. std::string s = DisassembleProgram(program, L"VSMain", L"vs_5_0");
  386. // NOTE: this will change when proper packing is done, and when 'always-writes' is accurately implemented.
  387. const char expected[] =
  388. ";\n"
  389. "; Input signature:\n"
  390. ";\n"
  391. "; Name Index Mask Register SysValue Format Used\n"
  392. "; -------------------- ----- ------ -------- -------- ------- ------\n"
  393. "; POSITION 0 xyzw 0 NONE float \n" // should read 'xyzw' in Used
  394. "; COLOR 0 xyzw 1 NONE float \n" // should read '1' in register
  395. ";\n"
  396. ";\n"
  397. "; Output signature:\n"
  398. ";\n"
  399. "; Name Index Mask Register SysValue Format Used\n"
  400. "; -------------------- ----- ------ -------- -------- ------- ------\n"
  401. "; COLOR 0 xyzw 0 NONE float xyzw\n" // should read '1' in register
  402. "; SV_Position 0 xyzw 1 POS float xyzw\n"; // could read SV_POSITION
  403. std::string start(s.c_str(), strlen(expected));
  404. VERIFY_ARE_EQUAL_STR(expected, start.c_str());
  405. }
  406. {
  407. std::string s = DisassembleProgram(program, L"PSMain", L"ps_5_0");
  408. // NOTE: this will change when proper packing is done, and when 'always-writes' is accurately implemented.
  409. const char expected[] =
  410. ";\n"
  411. "; Input signature:\n"
  412. ";\n"
  413. "; Name Index Mask Register SysValue Format Used\n"
  414. "; -------------------- ----- ------ -------- -------- ------- ------\n"
  415. "; COLOR 0 xyzw 0 NONE float \n" // should read '1' in register, xyzw in Used
  416. "; SV_Position 0 xyzw 1 POS float \n" // could read SV_POSITION
  417. ";\n"
  418. ";\n"
  419. "; Output signature:\n"
  420. ";\n"
  421. "; Name Index Mask Register SysValue Format Used\n"
  422. "; -------------------- ----- ------ -------- -------- ------- ------\n"
  423. "; SV_Target 0 xyzw 0 TARGET float xyzw\n";// could read SV_TARGET
  424. std::string start(s.c_str(), strlen(expected));
  425. VERIFY_ARE_EQUAL_STR(expected, start.c_str());
  426. }
  427. }
  428. TEST_F(DxilContainerTest, CompileWhenSigSquareThenIncludeSplit) {
  429. #if 0 // TODO: reenable test when multiple rows are supported.
  430. const char program[] =
  431. "float main(float4x4 a : A, int4 b : B) : SV_Target {\n"
  432. " return a[b.x][b.y];\n"
  433. "}";
  434. std::string s = DisassembleProgram(program, L"main", L"ps_5_0");
  435. const char expected[] =
  436. "// Input signature:\n"
  437. "//\n"
  438. "// Name Index Mask Register SysValue Format Used\n"
  439. "// -------------------- ----- ------ -------- -------- ------- ------\n"
  440. "// A 0 xyzw 0 NONE float xyzw\n"
  441. "// A 1 xyzw 1 NONE float xyzw\n"
  442. "// A 2 xyzw 2 NONE float xyzw\n"
  443. "// A 3 xyzw 3 NONE float xyzw\n"
  444. "// B 0 xyzw 4 NONE int xy\n"
  445. "//\n"
  446. "//\n"
  447. "// Output signature:\n"
  448. "//\n"
  449. "// Name Index Mask Register SysValue Format Used\n"
  450. "// -------------------- ----- ------ -------- -------- ------- ------\n"
  451. "// SV_Target 0 x 0 TARGET float x\n";
  452. std::string start(s.c_str(), strlen(expected));
  453. VERIFY_ARE_EQUAL_STR(expected, start.c_str());
  454. #endif
  455. }
  456. TEST_F(DxilContainerTest, CompileWhenOKThenIncludesFeatureInfo) {
  457. CComPtr<IDxcCompiler> pCompiler;
  458. CComPtr<IDxcBlobEncoding> pSource;
  459. CComPtr<IDxcBlob> pProgram;
  460. CComPtr<IDxcBlobEncoding> pDisassembly;
  461. CComPtr<IDxcOperationResult> pResult;
  462. hlsl::DxilContainerHeader *pHeader;
  463. hlsl::DxilPartIterator pPartIter(nullptr, 0);
  464. VERIFY_SUCCEEDED(CreateCompiler(&pCompiler));
  465. CreateBlobFromText("float4 main() : SV_Target { return 0; }", &pSource);
  466. VERIFY_SUCCEEDED(pCompiler->Compile(pSource, L"hlsl.hlsl", L"main", L"ps_5_0",
  467. nullptr, 0, nullptr, 0, nullptr,
  468. &pResult));
  469. VERIFY_SUCCEEDED(pResult->GetResult(&pProgram));
  470. // Now mess with the program bitcode.
  471. pHeader = (hlsl::DxilContainerHeader *)pProgram->GetBufferPointer();
  472. pPartIter = std::find_if(hlsl::begin(pHeader), hlsl::end(pHeader),
  473. hlsl::DxilPartIsType(hlsl::DFCC_FeatureInfo));
  474. VERIFY_ARE_NOT_EQUAL(hlsl::end(pHeader), pPartIter);
  475. VERIFY_ARE_EQUAL(sizeof(uint64_t), (*pPartIter)->PartSize);
  476. VERIFY_ARE_EQUAL(0, *(uint64_t *)hlsl::GetDxilPartData(*pPartIter));
  477. }
  478. TEST_F(DxilContainerTest, DisassemblyWhenBCInvalidThenFails) {
  479. CComPtr<IDxcCompiler> pCompiler;
  480. CComPtr<IDxcBlobEncoding> pSource;
  481. CComPtr<IDxcBlob> pProgram;
  482. CComPtr<IDxcBlobEncoding> pDisassembly;
  483. CComPtr<IDxcOperationResult> pResult;
  484. hlsl::DxilContainerHeader *pHeader;
  485. hlsl::DxilPartHeader *pPart;
  486. VERIFY_SUCCEEDED(CreateCompiler(&pCompiler));
  487. CreateBlobFromText("float4 main() : SV_Target { return 0; }", &pSource);
  488. VERIFY_SUCCEEDED(pCompiler->Compile(pSource, L"hlsl.hlsl", L"main", L"ps_5_0",
  489. nullptr, 0, nullptr, 0, nullptr,
  490. &pResult));
  491. VERIFY_SUCCEEDED(pResult->GetResult(&pProgram));
  492. // Now mess with the program bitcode.
  493. pHeader = (hlsl::DxilContainerHeader *)pProgram->GetBufferPointer();
  494. pPart = const_cast<hlsl::DxilPartHeader *>(
  495. *std::find_if(hlsl::begin(pHeader), hlsl::end(pHeader),
  496. hlsl::DxilPartIsType(hlsl::DFCC_DXIL)));
  497. strcpy_s(hlsl::GetDxilPartData(pPart), pPart->PartSize, "corruption");
  498. VERIFY_FAILED(pCompiler->Disassemble(pProgram, &pDisassembly));
  499. }
  500. TEST_F(DxilContainerTest, DisassemblyWhenMissingThenFails) {
  501. CComPtr<IDxcCompiler> pCompiler;
  502. CComPtr<IDxcBlobEncoding> pSource;
  503. CComPtr<IDxcBlobEncoding> pDisassembly;
  504. hlsl::DxilContainerHeader header;
  505. SetupBasicHeader(&header);
  506. VERIFY_SUCCEEDED(CreateCompiler(&pCompiler));
  507. CreateBlobPinned(&header, header.ContainerSizeInBytes, CP_UTF8, &pSource);
  508. VERIFY_FAILED(pCompiler->Disassemble(pSource, &pDisassembly));
  509. }
  510. TEST_F(DxilContainerTest, DisassemblyWhenInvalidThenFails) {
  511. CComPtr<IDxcCompiler> pCompiler;
  512. CComPtr<IDxcBlobEncoding> pDisassembly;
  513. uint8_t scratch[1024];
  514. hlsl::DxilContainerHeader *pHeader = (hlsl::DxilContainerHeader *)scratch;
  515. VERIFY_SUCCEEDED(CreateCompiler(&pCompiler));
  516. // Too small to contain header.
  517. {
  518. CComPtr<IDxcBlobEncoding> pSource;
  519. SetupBasicHeader(pHeader);
  520. CreateBlobPinned(pHeader, sizeof(hlsl::DxilContainerHeader) - 4, CP_UTF8,
  521. &pSource);
  522. VERIFY_FAILED(pCompiler->Disassemble(pSource, &pDisassembly));
  523. }
  524. // Wrong major version.
  525. {
  526. CComPtr<IDxcBlobEncoding> pSource;
  527. SetupBasicHeader(pHeader);
  528. pHeader->Version.Major = 100;
  529. CreateBlobPinned(pHeader, pHeader->ContainerSizeInBytes, CP_UTF8, &pSource);
  530. VERIFY_FAILED(pCompiler->Disassemble(pSource, &pDisassembly));
  531. }
  532. // Size out of bounds.
  533. {
  534. CComPtr<IDxcBlobEncoding> pSource;
  535. SetupBasicHeader(pHeader);
  536. pHeader->ContainerSizeInBytes = 1024;
  537. CreateBlobPinned(pHeader, sizeof(hlsl::DxilContainerHeader), CP_UTF8,
  538. &pSource);
  539. VERIFY_FAILED(pCompiler->Disassemble(pSource, &pDisassembly));
  540. }
  541. // Size too large as per spec limit.
  542. {
  543. CComPtr<IDxcBlobEncoding> pSource;
  544. SetupBasicHeader(pHeader);
  545. pHeader->ContainerSizeInBytes = hlsl::DxilContainerMaxSize + 1;
  546. CreateBlobPinned(pHeader, pHeader->ContainerSizeInBytes, CP_UTF8, &pSource);
  547. VERIFY_FAILED(pCompiler->Disassemble(pSource, &pDisassembly));
  548. }
  549. // Not large enough to hold offset table.
  550. {
  551. CComPtr<IDxcBlobEncoding> pSource;
  552. SetupBasicHeader(pHeader);
  553. pHeader->PartCount = 1;
  554. CreateBlobPinned(pHeader, pHeader->ContainerSizeInBytes, CP_UTF8, &pSource);
  555. VERIFY_FAILED(pCompiler->Disassemble(pSource, &pDisassembly));
  556. }
  557. // Part offset out of bounds.
  558. {
  559. CComPtr<IDxcBlobEncoding> pSource;
  560. SetupBasicHeader(pHeader);
  561. pHeader->PartCount = 1;
  562. *((uint32_t *)(pHeader + 1)) = 1024;
  563. pHeader->ContainerSizeInBytes += sizeof(uint32_t);
  564. CreateBlobPinned(pHeader, pHeader->ContainerSizeInBytes, CP_UTF8, &pSource);
  565. VERIFY_FAILED(pCompiler->Disassemble(pSource, &pDisassembly));
  566. }
  567. // Part size out of bounds.
  568. {
  569. CComPtr<IDxcBlobEncoding> pSource;
  570. SetupBasicHeader(pHeader);
  571. pHeader->PartCount = 1;
  572. *((uint32_t *)(pHeader + 1)) = sizeof(*pHeader) + sizeof(uint32_t);
  573. pHeader->ContainerSizeInBytes += sizeof(uint32_t);
  574. hlsl::GetDxilContainerPart(pHeader, 0)->PartSize = 1024;
  575. pHeader->ContainerSizeInBytes += sizeof(hlsl::DxilPartHeader);
  576. CreateBlobPinned(pHeader, pHeader->ContainerSizeInBytes, CP_UTF8, &pSource);
  577. VERIFY_FAILED(pCompiler->Disassemble(pSource, &pDisassembly));
  578. }
  579. }
  580. TEST_F(DxilContainerTest, DisassemblyWhenValidThenOK) {
  581. CComPtr<IDxcCompiler> pCompiler;
  582. CComPtr<IDxcBlobEncoding> pSource;
  583. CComPtr<IDxcBlob> pProgram;
  584. CComPtr<IDxcBlobEncoding> pDisassembly;
  585. CComPtr<IDxcOperationResult> pResult;
  586. hlsl::DxilContainerHeader header;
  587. SetupBasicHeader(&header);
  588. VERIFY_SUCCEEDED(CreateCompiler(&pCompiler));
  589. CreateBlobFromText("float4 main() : SV_Target { return 0; }", &pSource);
  590. VERIFY_SUCCEEDED(pCompiler->Compile(pSource, L"hlsl.hlsl", L"main", L"ps_5_0",
  591. nullptr, 0, nullptr, 0, nullptr,
  592. &pResult));
  593. VERIFY_SUCCEEDED(pResult->GetResult(&pProgram));
  594. VERIFY_SUCCEEDED(pCompiler->Disassemble(pProgram, &pDisassembly));
  595. std::string disassembleString(BlobToUtf8(pDisassembly));
  596. VERIFY_ARE_NOT_EQUAL(0, disassembleString.size());
  597. }
  598. class HlslFileVariables {
  599. private:
  600. std::wstring m_Entry;
  601. std::wstring m_Mode;
  602. std::wstring m_Target;
  603. std::vector<std::wstring> m_Arguments;
  604. std::vector<LPCWSTR> m_ArgumentPtrs;
  605. public:
  606. HlslFileVariables(HlslFileVariables &other) = delete;
  607. const LPCWSTR *GetArguments() const { return m_ArgumentPtrs.data(); }
  608. UINT32 GetArgumentCount() const { return m_ArgumentPtrs.size(); }
  609. LPCWSTR GetEntry() const { return m_Entry.c_str(); }
  610. LPCWSTR GetMode() const { return m_Mode.c_str(); }
  611. LPCWSTR GetTarget() const { return m_Target.c_str(); }
  612. void Reset();
  613. HRESULT SetFromText(_In_count_(len) const char *pText, size_t len);
  614. };
  615. void HlslFileVariables::Reset() {
  616. m_Entry.resize(0);
  617. m_Mode.resize(0);
  618. m_Target.resize(0);
  619. m_Arguments.resize(0);
  620. m_ArgumentPtrs.resize(0);
  621. }
  622. #include <codecvt>
  623. static bool wcsneq(const wchar_t *pValue, const wchar_t *pCheck) {
  624. return 0 == wcsncmp(pValue, pCheck, wcslen(pCheck));
  625. }
  626. HRESULT HlslFileVariables::SetFromText(_In_count_(len) const char *pText, size_t len) {
  627. // Look for the line of interest.
  628. const char *pEnd = pText + len;
  629. const char *pLineEnd = pText;
  630. while (pLineEnd < pEnd && *pLineEnd != '\n') pLineEnd++;
  631. // Create a UTF-16-backing store.
  632. std::wstring_convert<std::codecvt_utf8_utf16<wchar_t> > w;
  633. std::wstring line = w.from_bytes(pText, pLineEnd);
  634. // Find starting and ending '-*-' delimiters.
  635. const wchar_t *pWText = line.c_str();
  636. const wchar_t *pVarStart = wcsstr(pWText, L"-*-");
  637. if (!pVarStart) return E_INVALIDARG;
  638. pVarStart += 3;
  639. const wchar_t *pVarEnd = wcsstr(pVarStart, L"-*-");
  640. if (!pVarEnd) return E_INVALIDARG;
  641. for (;;) {
  642. // Find 'name' ':' 'value' ';'
  643. const wchar_t *pVarNameStart = pVarStart;
  644. while (pVarNameStart < pVarEnd && L' ' == *pVarNameStart) ++pVarNameStart;
  645. if (pVarNameStart == pVarEnd) break;
  646. const wchar_t *pVarValDelim = pVarNameStart;
  647. while (pVarValDelim < pVarEnd && L':' != *pVarValDelim) ++pVarValDelim;
  648. if (pVarValDelim == pVarEnd) break;
  649. const wchar_t *pVarValStart = pVarValDelim + 1;
  650. while (pVarValStart < pVarEnd && L' ' == *pVarValStart) ++pVarValStart;
  651. if (pVarValStart == pVarEnd) break;
  652. const wchar_t *pVarValEnd = pVarValStart;
  653. while (pVarValEnd < pVarEnd && L';' != *pVarValEnd) ++pVarValEnd;
  654. if (wcsneq(pVarNameStart, L"mode")) {
  655. m_Mode.assign(pVarValStart, pVarValEnd - pVarValStart - 1);
  656. }
  657. else if (wcsneq(pVarNameStart, L"hlsl-entry")) {
  658. m_Entry.assign(pVarValStart, pVarValEnd - pVarValStart - 1);
  659. }
  660. else if (wcsneq(pVarNameStart, L"hlsl-target")) {
  661. m_Target.assign(pVarValStart, pVarValEnd - pVarValStart - 1);
  662. }
  663. else if (wcsneq(pVarNameStart, L"hlsl-args")) {
  664. // skip for now
  665. }
  666. }
  667. return S_OK;
  668. }
  669. TEST_F(DxilContainerTest, ReflectionMatchesDXBC_CheckIn) {
  670. WEX::TestExecution::SetVerifyOutput verifySettings(WEX::TestExecution::VerifyOutputSettings::LogOnlyFailures);
  671. ReflectionTest(hlsl_test::GetPathToHlslDataFile(L"..\\CodeGenHLSL\\Samples\\DX11\\SimpleBezier11DS.hlsl").c_str(), false);
  672. ReflectionTest(hlsl_test::GetPathToHlslDataFile(L"..\\CodeGenHLSL\\Samples\\DX11\\SubD11_SmoothPS.hlsl").c_str(), false);
  673. }
  674. TEST_F(DxilContainerTest, ReflectionMatchesDXBC_Full) {
  675. WEX::TestExecution::SetVerifyOutput verifySettings(WEX::TestExecution::VerifyOutputSettings::LogOnlyFailures);
  676. std::wstring codeGenPath = hlsl_test::GetPathToHlslDataFile(L"..\\CodeGenHLSL\\Samples");
  677. for (auto &p: recursive_directory_iterator(path(codeGenPath))) {
  678. if (is_regular_file(p)) {
  679. LPCWSTR fullPath = p.path().c_str();
  680. if (wcsstr(fullPath, L".hlsli") != nullptr) continue;
  681. if (wcsstr(fullPath, L"TessellatorCS40_defines.h") != nullptr) continue;
  682. // Skip failed tests.
  683. if (wcsstr(fullPath, L"SubD11_SubDToBezierHS") != nullptr) continue;
  684. ReflectionTest(fullPath, true);
  685. }
  686. }
  687. }
  688. TEST_F(DxilContainerTest, ValidateFromLL_Abs2) {
  689. CodeGenTestCheck(L"abs2_m.ll");
  690. }