From 6e32976de513d4e039c5a2b492cb8ea78f43c321 Mon Sep 17 00:00:00 2001 From: Yong He Date: Wed, 28 Aug 2024 22:32:04 -0700 Subject: Fix partial inference of variadic generic functions. (#4956) --- .../generics/variadic-partial-inference.slang | 25 ++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 tests/language-feature/generics/variadic-partial-inference.slang (limited to 'tests') diff --git a/tests/language-feature/generics/variadic-partial-inference.slang b/tests/language-feature/generics/variadic-partial-inference.slang new file mode 100644 index 000000000..003d22424 --- /dev/null +++ b/tests/language-feature/generics/variadic-partial-inference.slang @@ -0,0 +1,25 @@ +//TEST(compute):COMPARE_COMPUTE(filecheck-buffer=CHECK): -shaderobj -output-using-type +//TEST(compute):COMPARE_COMPUTE(filecheck-buffer=CHECK): -cpu -shaderobj -output-using-type +//TEST(compute):COMPARE_COMPUTE(filecheck-buffer=CHECK): -vk -shaderobj -output-using-type + +//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name=outputBuffer +RWStructuredBuffer outputBuffer; + +void aggregate(inout int v, int u) +{ + v = v * u; +} + +T test(T t, expand each U u) +{ + int v = 1; + expand aggregate(v, (each u).toInt()); + return t + T(v); +} + +[numthreads(1, 1, 1)] +void computeMain() +{ + // CHECK: 11 + outputBuffer[0] = test(5, 1, 2, 3); +} \ No newline at end of file -- cgit v1.2.3