2 files changed, 37 insertions, 0 deletions
diff --git a/tests/language-feature/enums/explicit-tag-type.slang b/tests/language-feature/enums/explicit-tag-type.slang
new file mode 100644
index 000000000..b55266fcb
--- /dev/null
+++ b/tests/language-feature/enums/explicit-tag-type.slang
@@ -0,0 +1,33 @@
+// explicit-tag-type.slang
+
+// Test that the underlying "tag type" of an `enum` can be set.
+
+//TEST(compute):COMPARE_COMPUTE:
+
+enum Channel : uint
+{
+    Red,
+    Green,
+    Blue,
+    Alpha,
+}
+
+uint test(uint val)
+{
+    Channel channel = Channel(val);
+    uint u = uint(channel) + 1;
+    channel = Channel(u & 0x3);
+    return uint(channel);
+}
+
+//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name=outputBuffer
+RWStructuredBuffer<uint> outputBuffer;
+
+[numthreads(4, 1, 1)]
+void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
+{
+    uint tid = dispatchThreadID.x;
+    uint inVal = tid;
+    uint outVal = test(inVal);
+    outputBuffer[tid] = outVal;
+}
diff --git a/tests/language-feature/enums/explicit-tag-type.slang.expected.txt b/tests/language-feature/enums/explicit-tag-type.slang.expected.txt
new file mode 100644
index 000000000..82b6055c7
--- /dev/null
+++ b/tests/language-feature/enums/explicit-tag-type.slang.expected.txt
@@ -0,0 +1,4 @@
+1
+2
+3
+0