RWByteAddressBuffer prevent_dce : register(u0, space2); void max_445169() { vector arg_0 = (float16_t(1.0h)).xxx; vector arg_1 = (float16_t(1.0h)).xxx; vector res = max(arg_0, arg_1); prevent_dce.Store >(0u, res); } struct tint_symbol { float4 value : SV_Position; }; float4 vertex_main_inner() { max_445169(); return (0.0f).xxxx; } tint_symbol vertex_main() { const float4 inner_result = vertex_main_inner(); tint_symbol wrapper_result = (tint_symbol)0; wrapper_result.value = inner_result; return wrapper_result; } void fragment_main() { max_445169(); return; } [numthreads(1, 1, 1)] void compute_main() { max_445169(); return; }