Add mnemonic parsing for `intrinsic_type` modifier. (#3306)

Co-authored-by: Yong He <yhe@nvidia.com>

1 files changed, 44 insertions, 0 deletions

diff --git a/tests/language-feature/enums/strongly-typed-id.slang b/tests/language-feature/enums/strongly-typed-id.slang
new file mode 100644
index 000000000..70f655538
--- /dev/null
+++ b/tests/language-feature/enums/strongly-typed-id.slang
@@ -0,0 +1,44 @@
+//TEST(compute):COMPARE_COMPUTE(filecheck-buffer=CHECK): -shaderobj
+
+enum MyId : uint {}
+extension MyId { uint get() { return (uint)this; } }
+
+int test(MyId id)
+{
+    if (id.get() == 4)
+    {
+        return (int)id;
+    }
+    return 0;
+}
+
+__intrinsic_type(UInt)
+struct MyId2
+{
+    __init(uint val) { this = __slang_noop_cast<MyId2>(val); }
+
+    __intrinsic_op(0) int get();
+}
+
+int test2(MyId2 id)
+{
+    if (id.get() == 4)
+    {
+        return id.get();
+    }
+    return 0;
+}
+
+//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(MyId(4)) + test2(MyId2(4));
+    // CHECK: 8
+    outputBuffer[tid] = outVal;
+}
+