From d7ed829c3f85514fc08a12a5701d64390b31040c Mon Sep 17 00:00:00 2001 From: jsmall-nvidia Date: Tue, 21 Dec 2021 12:11:08 -0500 Subject: Assorted disabled tests around generics (#2062) * #include an absolute path didn't work - because paths were taken to always be relative. * Some generic experiments. * Add some more generic tests. * More generic experiments/issues. * Some more generic tests. * Remove erroneous test. * Small improvements. * Disable test that was accidentally enabled. * Add equality-2.slang. * Some more generic tests. * Issues around type inference. * Some more generic tests. * Tuple experiment. * Generic interfaces don't seem to be supported. * Add inheritance test. * Alternative array type issue. --- tests/current-bugs/generic/type-inference.slang | 33 +++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 tests/current-bugs/generic/type-inference.slang (limited to 'tests/current-bugs/generic/type-inference.slang') diff --git a/tests/current-bugs/generic/type-inference.slang b/tests/current-bugs/generic/type-inference.slang new file mode 100644 index 000000000..5c8d7efe7 --- /dev/null +++ b/tests/current-bugs/generic/type-inference.slang @@ -0,0 +1,33 @@ +//DISABLE_TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj + +/* A test of a generic functions with type inference. + +.slang(17): error 39999: could not specialize generic for arguments of type (float[4]) + let val = get0(values); + ^ +.slang(5): note 39999: see declaration of func get0(T[4]) -> T + + */ + +//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name outputBuffer +RWStructuredBuffer outputBuffer; + +T get0(T values[4]) +{ + return values[0]; +} + +[numthreads(4, 1, 1)] +void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID) +{ + int index = dispatchThreadID.x; + + float values[] = { 1, 2, 3, 4}; + + // NOTE if we specify T then this works. Ie + // let val = get0(values); + + let val = get0(values); + + outputBuffer[index] = val; +} \ No newline at end of file -- cgit v1.2.3