From 9476d4543f4336a66308e55f722b0b0b2bd69dd2 Mon Sep 17 00:00:00 2001 From: Yong He Date: Thu, 16 Mar 2023 23:46:14 -0700 Subject: Fix Phi simplification bug. (#2710) * Fix Phi simplification bug. * Fix up. * Fix. * Fix. * Fix. * Fix. * Fix. * Fix test. * Fix test. --------- Co-authored-by: Yong He --- tests/autodiff/reverse-while-loop-2.slang | 54 +++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) create mode 100644 tests/autodiff/reverse-while-loop-2.slang (limited to 'tests/autodiff/reverse-while-loop-2.slang') diff --git a/tests/autodiff/reverse-while-loop-2.slang b/tests/autodiff/reverse-while-loop-2.slang new file mode 100644 index 000000000..9ad9ac466 --- /dev/null +++ b/tests/autodiff/reverse-while-loop-2.slang @@ -0,0 +1,54 @@ +//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 outputBuffer; + +typedef DifferentialPair dpfloat; +typedef float.Differential dfloat; + +struct P +{ + bool terminated; + bool isTerminated() { return terminated; } + bool isHit() { return !terminated; } +} + +[BackwardDifferentiable] +float test_simple_while(float y) +{ + float t = y; + P p; + p.terminated = false; + int i = 2; + + [MaxIters(3)] + while (!p.isTerminated()) + { + i++; + if (p.isHit()) + { + if (p.isTerminated()) break; + t = t * t; + p.terminated = (i < 5); + } + else + { + t = t + 1.0; + } + } + + return t; +} + +[numthreads(1, 1, 1)] +void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID) +{ + { + dpfloat dpa = dpfloat(1.0, 0.0); + + __bwd_diff(test_simple_while)(dpa, 1.0f); + outputBuffer[0] = dpa.d; // Expect: 8.0 + } +} -- cgit v1.2.3