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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
//TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj -output-using-type
//TEST(compute, vulkan):COMPARE_COMPUTE_EX:-vk -compute -shaderobj -output-using-type
//TEST(compute):COMPARE_COMPUTE_EX:-cpu -compute -output-using-type -shaderobj
//TEST_INPUT:ubuffer(data=[0 0 0 0 0], stride=4):out,name=outputBuffer
RWStructuredBuffer<float> outputBuffer;
struct D : IDifferentiable
{
float n;
float m;
}
struct C : IDifferentiable
{
float3 t;
float v;
}
struct B : IDifferentiable
{
float2 f;
C arr[2];
}
struct A : IDifferentiable
{
float x;
float y;
B fb;
C aarr[3];
D dv;
};
[BackwardDifferentiable]
A f(A a, int i)
{
A aout;
aout.y = 2 * a.x;
aout.y = aout.y + 2 * a.x;
aout.x = aout.y + 5 * a.x;
aout.aarr[1].t = float3(a.y, 0.0, a.x);
aout.aarr[1].t = float3(a.y, 1.0, a.x + 1.0);
D nd = { a.x * 4.0f, 1.0f };
aout.dv = nd;
aout.dv.m = aout.dv.n * 0.5f;
// Test that writes to a potentially dynamic address multiple times
// is allowed and will propagate the correct derivative.
aout.fb.arr[i].v = a.x * 2.0; // since this value is overwritten, the diff will not accumulate to a.x
aout.fb.arr[i].v = a.x * 3.0;
return aout;
}
[numthreads(1, 1, 1)]
void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
{
A a = {1.0, 2.0};
var dpa = diffPair(a);
A.Differential dout = { 1.0, 1.0, { float2(0), { { float3(1.0), 1.0 }, { float3(1.0), 1.0 } } }, { { float3(1.0), 1.0 }, { float3(1.0), 1.0 }, { float3(1.0), 1.0 } }, {1.0, 1.0} };
__bwd_diff(f)(dpa, 1, dout);
outputBuffer[0] = dpa.d.x; // Expect: 23
outputBuffer[1] = dpa.d.y; // Expect: 0
}
|
