1 files changed, 51 insertions, 0 deletions
diff --git a/tests/language-feature/pointer/pointer-casting/pointer-casting-rules.slang b/tests/language-feature/pointer/pointer-casting/pointer-casting-rules.slang
new file mode 100644
index 000000000..d0a016fe5
--- /dev/null
+++ b/tests/language-feature/pointer/pointer-casting/pointer-casting-rules.slang
@@ -0,0 +1,51 @@
+//TEST:SIMPLE(filecheck=CHECK):-stage compute -entry computeMain -target spirv
+
+// Tests pointer casting rules: Only explicit casting is allowed between pointer types.
+// All implicit conversions between pointer types should fail.
+int* processMemory;
+RWStructuredBuffer<int> output;
+
+[numthreads(1, 1, 1)]
+void computeMain(int id : SV_DispatchThreadID)
+{
+    // regular address-of
+    // CHECK-NOT: ([[# @LINE+1]]): error
+    Ptr<int, Access::ReadWrite, AddressSpace::Device> rwPtr = processMemory + id.x;
+    // copying a pointer of T* syntax
+    // CHECK-NOT: ([[# @LINE+1]]): error
+    Ptr<int, Access::ReadWrite, AddressSpace::Device> copiedPtrOfLegacySyntax = processMemory;
+    // casting to Read ptr
+    // CHECK-NOT: ([[# @LINE+1]]): error
+    Ptr<int, Access::Read> rPtr = Ptr<int, Access::Read>(processMemory + id.x);
+
+    // casting to RW ptr from a R ptr
+    // CHECK-NOT: ([[# @LINE+1]]): error
+    Ptr<int, Access::ReadWrite, AddressSpace::Device> p1 = Ptr<int, Access::ReadWrite, AddressSpace::Device>(rPtr);
+    // casting to R ptr from a RW ptr
+    // CHECK-NOT: ([[# @LINE+1]]): error
+    Ptr<int, Access::Read, AddressSpace::Device> p2 = Ptr<int, Access::Read, AddressSpace::Device>(rwPtr);
+    // casting to ptr of different type
+    // CHECK-NOT: ([[# @LINE+1]]): error
+    Ptr<float, Access::ReadWrite, AddressSpace::Device> p3 = Ptr<float, Access::ReadWrite, AddressSpace::Device>(rPtr);
+
+    // Cannot implicit cast ptr's
+    // CHECK: ([[# @LINE+1]]): error 30019
+    Ptr<float, Access::ReadWrite, AddressSpace::Device> p4 = rPtr;
+    // cannot implcitly cast between different access qualifiers
+    // CHECK: ([[# @LINE+1]]): error 30019
+    Ptr<int, Access::Read> p5 = Ptr<int, Access::ReadWrite>(processMemory + id.x);
+    // cannot implcitly cast between different access qualifiers
+    // CHECK: ([[# @LINE+1]]): error 30019
+    Ptr<int, Access::ReadWrite> p6 = Ptr<int, Access::Read>(processMemory + id.x);
+
+    // TODO: Enable this when we allow user-defined group-shared address space, Issue #8173.
+    // Cannot cast between different address spaces.
+    // CHECK: ([[# @LINE+1]]): error
+    Ptr<float, Access::ReadWrite, AddressSpace::GroupShared> p7 = Ptr<float, Access::ReadWrite, AddressSpace::GroupShared>(rwPtr);
+    // CHECK: ([[# @LINE+1]]): error
+    Ptr<float, Access::ReadWrite, AddressSpace::GroupShared> p8 = Ptr<float, Access::ReadWrite, AddressSpace::GroupShared>(p1);
+    // CHECK: ([[# @LINE+1]]): error
+    Ptr<float, Access::ReadWrite, AddressSpace::GroupShared> p9 = rwPtr;
+
+    output[id] = *rwPtr;
+}