summaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorJay Kwak <82421531+jkwak-work@users.noreply.github.com>2025-05-15 01:55:17 +0000
committerGitHub <noreply@github.com>2025-05-15 01:55:17 +0000
commit2275e18fc052239fe67f3fda68252ad92bb83ca9 (patch)
tree19cdf1917811e1c40362ef468c5d3d6a20344517 /tests
parent8c98714df2198db1aff4ce6c6f7922850e400f80 (diff)
Do not print errors in _coerce when "JustTrying". (#7064)
* Do not print errors in _coerce when "JustTrying". While figuring out which generic-overload works best, `_coerce()` is printing errors and Slang compilation terminates prematurely. When `TryCheckGenericOverloadCandidateTypes()` is calling `_coerce()` in "JustTrying" mode, the error messages should be snoozed. The following logic shows the intention of how to silence the error messages, but the chain of `sink` was broken in the middle and `_coerce()` was using `getSink()` from the SemanticVisitor. val = ExtractGenericArgInteger( arg, getType(m_astBuilder, valParamRef), context.mode == OverloadResolveContext::Mode::JustTrying ? nullptr : getSink()); * Use tempSink when available.
Diffstat (limited to 'tests')
-rw-r--r--tests/language-feature/generics/generic-overload.slang37
1 files changed, 37 insertions, 0 deletions
diff --git a/tests/language-feature/generics/generic-overload.slang b/tests/language-feature/generics/generic-overload.slang
new file mode 100644
index 000000000..a5ce3ae8f
--- /dev/null
+++ b/tests/language-feature/generics/generic-overload.slang
@@ -0,0 +1,37 @@
+//TEST(compute):SIMPLE(filecheck=CHECK_EXPLICIT): -target spirv-asm -entry computeMain -stage compute -DEXPLICIT
+//TEST(compute):SIMPLE(filecheck=CHECK_OVERLOAD): -target spirv-asm -entry computeMain -stage compute -DOVERLOAD
+
+enum CoopMatMatrixLayout
+{
+ RowMajor = 0,
+ ColumnMajor = 1,
+};
+
+int Load<let me : CoopMatMatrixLayout>(int inVal)
+{
+ return int(inVal % 10);
+}
+
+#if !defined(EXPLICIT)
+int Load<let Dim : uint, let ClampMode : uint>(int inVal, int inVal2)
+{
+ return Load<CoopMatMatrixLayout.RowMajor>(inVal);
+}
+#endif
+
+[Shader("compute")]
+[NumThreads(4, 1, 1)]
+void computeMain(int3 dispatchThreadID : SV_DispatchThreadID)
+{
+ int tid = dispatchThreadID.x;
+
+#if defined(EXPLICIT)
+ //CHECK_EXPLICIT: error 30019: expected an expression of type 'CoopMatMatrixLayout', got 'int'
+ //CHECK_EXPLICIT: note: explicit conversion from 'int' to 'CoopMatMatrixLayout' is possible
+ int outVal = Load<0>(tid);
+
+#elif defined(OVERLOAD)
+ //CHECK_OVERLOAD-NOT: error {{[1-9][0-9]*}}
+ int outVal = Load<CoopMatMatrixLayout.RowMajor>(tid);
+#endif
+}