[NFC][HLSL] Add tests for vector alias. Remove dead code.

Based on feedback from @Aaron.Ballman.

Remove the unused static ID char (can re-add it later if needed).

Add test to cover some invalid HLSL vector instantations ensuring
that the appropriate error messages are generated.
This commit is contained in:
Chris Bieneman 2022-07-05 15:38:06 -05:00
parent 5cca2ef3c3
commit a6e63e35ed
3 changed files with 30 additions and 4 deletions

View File

@ -19,8 +19,6 @@ class NamespaceDecl;
class Sema;
class HLSLExternalSemaSource : public ExternalSemaSource {
static char ID;
Sema *SemaPtr = nullptr;
NamespaceDecl *HLSLNamespace;

View File

@ -17,8 +17,6 @@
using namespace clang;
char HLSLExternalSemaSource::ID;
HLSLExternalSemaSource::~HLSLExternalSemaSource() {}
void HLSLExternalSemaSource::InitializeSema(Sema &S) {

View File

@ -0,0 +1,30 @@
// RUN: %clang_cc1 -triple dxil-pc-shadermodel6.3-library -x hlsl -fsyntax-only -verify %s
// Some bad declarations
hlsl::vector ShouldWorkSomeday; // expected-error{{use of alias template 'hlsl::vector' requires template arguments}}
hlsl::vector<1> BadVec; // expected-error{{template argument for template type parameter must be a type}}
// expected-note@*:* {{template is declared here}}
// expected-note@*:* {{template parameter is declared here}}
hlsl::vector<int, float> AnotherBadVec; // expected-error{{template argument for non-type template parameter must be an expression}}
// expected-note@*:* {{template parameter is declared here}}
hlsl::vector<int, 2, 3> YABV; // expected-error{{too many template arguments for alias template 'vector'}}
// expected-note@*:* {{template is declared here}}
// This code is rejected by clang because clang puts the HLSL built-in types
// into the HLSL namespace.
namespace hlsl {
struct vector {}; // expected-error {{redefinition of 'vector'}}
}
// This code is rejected by dxc because dxc puts the HLSL built-in types
// into the global space, but clang will allow it even though it will shadow the
// vector template.
struct vector {}; // expected-note {{candidate found by name lookup is 'vector'}}
vector<int,2> VecInt2; // expected-error {{reference to 'vector' is ambiguous}}
// expected-note@*:* {{candidate found by name lookup is 'hlsl::vector'}}