summaryrefslogtreecommitdiffstats
path: root/tests/autodiff/self-differential-type-equality-constraint.slang
blob: 0baaa07d67eb826a6da019dba39947a467a678df (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-slang -compute -shaderobj -output-using-type
//TEST(compute, vulkan):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-vk -compute -shaderobj -output-using-type
//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-cuda -compute -shaderobj -output-using-type

interface IV : IDifferentiablePtrType{
	int get();
}

struct V : IV
{
	typealias Differential = This;

	int get()
	{
		return 12;
	}
}

int g<T:IV>(DifferentialPtrPair<T> obj)
	where T.Differential == T
{
	return obj.d.get();
}

//TEST_INPUT:ubuffer(data=[0], stride=4):out,name=outputBuffer
RWStructuredBuffer<int> outputBuffer;
[shader("compute")]
void computeMain()
{
	V v = {};
	DifferentialPtrPair<V> p = {v, v};

	// BUFFER: 12
	outputBuffer[0] = g(p);
}