1 files changed, 53 insertions, 0 deletions
diff --git a/tests/ir/dump-module.slang b/tests/ir/dump-module.slang
new file mode 100644
index 000000000..e22c3fca5
--- /dev/null
+++ b/tests/ir/dump-module.slang
@@ -0,0 +1,53 @@
+// This tests slangc's -dump-module command.
+// Dumping ".slang" should mean just that, and it should not automatically load up
+// a ".slang-module" when available, because the intent of the -dump-module command
+// is to see the file you requested. If there's a bug in slang-module output, it's
+// important that -dump-module looks at the specific file you requested.
+
+//TEST:COMPILE: tests/ir/dump-module.slang -o tests/ir/dump-module.slang-module -target spirv -embed-downstream-ir
+
+//TEST:SIMPLE(filecheck=CHECK1): -dump-module tests/ir/dump-module.slang-module
+//TEST:SIMPLE(filecheck=CHECK2): -dump-module tests/ir/dump-module.slang
+
+module "export-library-generics";
+
+public cbuffer Constants {
+    public float x;
+    public float y;
+}
+
+interface MyInterface
+{
+    int myMethod(int a);
+}
+
+struct MyType : MyInterface
+{
+    int myMethod(int a)
+    {
+        return a * 3;
+    }
+}
+
+int genericFunc<T: MyInterface>(T arg)
+{
+    return arg.myMethod(3);
+}
+
+public int normalFuncUsesGeneric(int a)
+{
+    MyType obj;
+    return genericFunc(obj);
+}
+
+public int normalFunc(int a, float b)
+{
+    return a - floor(b);
+}
+
+// CHECK1:EmbeddedDownstreamIR(6 : Int,
+// CHECK1:               OpCapability Linkage
+
+// CHECK2-NOT:EmbeddedDownstreamIR(6 : Int,
+// CHECK2-NOT:               OpCapability Linkage
+