From 447b7e0e2be031409b1421b49c81f020353bf7c5 Mon Sep 17 00:00:00 2001 From: jsmall-nvidia Date: Tue, 21 Dec 2021 16:35:34 -0500 Subject: Language experiments (#2068) * #include an absolute path didn't work - because paths were taken to always be relative. * Moved to experiments. Added some more tests. * More tests around associated types. * Return interface tests. * More tests. --- tests/experiments/algorithm/find-max-2.slang | 45 ++++++++++++++++++++++ tests/experiments/algorithm/find-max.slang | 41 ++++++++++++++++++++ .../algorithm/generic-int-controlled-2.slang | 33 ++++++++++++++++ .../algorithm/generic-int-controlled.slang | 35 +++++++++++++++++ 4 files changed, 154 insertions(+) create mode 100644 tests/experiments/algorithm/find-max-2.slang create mode 100644 tests/experiments/algorithm/find-max.slang create mode 100644 tests/experiments/algorithm/generic-int-controlled-2.slang create mode 100644 tests/experiments/algorithm/generic-int-controlled.slang (limited to 'tests/experiments/algorithm') diff --git a/tests/experiments/algorithm/find-max-2.slang b/tests/experiments/algorithm/find-max-2.slang new file mode 100644 index 000000000..3aebbc997 --- /dev/null +++ b/tests/experiments/algorithm/find-max-2.slang @@ -0,0 +1,45 @@ +//DISABLE_TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj + +/* Find max algorithm. + +Works. + */ + +//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name outputBuffer +RWStructuredBuffer outputBuffer; + +interface IComparable +{ + bool isLess(This other); +}; + +extension int : IComparable +{ + bool isLess(int other) { return this < other; } +}; + +T findMax(T arr[SIZE]) +{ + T m = arr[0]; + for (int i = 1; i < 8; ++i) + { + if (m.isLess(arr[i])) + { + m = arr[i]; + } + } + return m; +} + + +[numthreads(4, 1, 1)] +void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID) +{ + int index = dispatchThreadID.x; + + int values[] = { 1, 3, - 1}; + + outputBuffer[index] = findMax(values); +} + + diff --git a/tests/experiments/algorithm/find-max.slang b/tests/experiments/algorithm/find-max.slang new file mode 100644 index 000000000..ba8499013 --- /dev/null +++ b/tests/experiments/algorithm/find-max.slang @@ -0,0 +1,41 @@ +//DISABLE_TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj + +/* Find max algorithm. + +Doesn't work because, can't compare T as it is any type. + +.slang(15): error 39999: no overload for '>' applicable to arguments of type (T, T) + if (arr[i] > m) + ^ +core.meta.slang(2572): note 39999: candidate: func >(uint64_t, uint64_t) -> bool + + */ + +//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name outputBuffer +RWStructuredBuffer outputBuffer; + +T findMax(T arr[SIZE]) +{ + T m = arr[0]; + for (int i = 1; i < 8; ++i) + { + if (arr[i] > m) + { + m = arr[i]; + } + } + return i; +} + + +[numthreads(4, 1, 1)] +void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID) +{ + int index = dispatchThreadID.x; + + int values[] = { 1, 3, - 1}; + + outputBuffer[index] = findMax(values); +} + + diff --git a/tests/experiments/algorithm/generic-int-controlled-2.slang b/tests/experiments/algorithm/generic-int-controlled-2.slang new file mode 100644 index 000000000..52ef02336 --- /dev/null +++ b/tests/experiments/algorithm/generic-int-controlled-2.slang @@ -0,0 +1,33 @@ +//DISABLE_TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj + +/* Test to control altering of an algorithm via generic compile time values. + +Works. + */ + +//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name outputBuffer +RWStructuredBuffer outputBuffer; + +int reduce( int a) +{ + if (Clustering) + { + a = a + a; + } + if (DupTest) + { + a *= a; + } + return a; +} + +[numthreads(4, 1, 1)] +void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID) +{ + int index = dispatchThreadID.x; + + int r = reduce<1, 2>(index); + + outputBuffer[index] = r; +} + diff --git a/tests/experiments/algorithm/generic-int-controlled.slang b/tests/experiments/algorithm/generic-int-controlled.slang new file mode 100644 index 000000000..5f698633c --- /dev/null +++ b/tests/experiments/algorithm/generic-int-controlled.slang @@ -0,0 +1,35 @@ +//DISABLE_TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj + +/* Test to control altering of an algorithm via generic compile time values. + +slang(28): note 99999: an internal error threw an exception while working on code near this location +(0): error 99999: Slang compilation aborted due to an exception of class Slang::InternalError: unexpected: could not resolve target declaration for call + +Seems like it's the default value (=1) that leads to this crash. If we explicitly specify it's ok. + */ + +//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name outputBuffer +RWStructuredBuffer outputBuffer; + +int reduce( int a) +{ + if (Clustering) + { + a = a + a; + } + if (DupTest) + { + a *= a; + } + return a; +} + +[numthreads(4, 1, 1)] +void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID) +{ + int index = dispatchThreadID.x; + + int r = reduce<1>(index); + + outputBuffer[index] = r; +} \ No newline at end of file -- cgit v1.2.3