void dpdy_a8b56e() { float2 arg_0 = (0.0f).xx; float2 res = ddy(arg_0); } void fragment_main() { dpdy_a8b56e(); return; }