| RWByteAddressBuffer prevent_dce : register(u0, space2); |
| |
| void quantizeToF16_12e50e() { |
| float arg_0 = 1.0f; |
| float res = float(min16float(arg_0)); |
| prevent_dce.Store(0u, asuint(res)); |
| } |
| |
| struct tint_symbol { |
| float4 value : SV_Position; |
| }; |
| |
| float4 vertex_main_inner() { |
| quantizeToF16_12e50e(); |
| 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() { |
| quantizeToF16_12e50e(); |
| return; |
| } |
| |
| [numthreads(1, 1, 1)] |
| void compute_main() { |
| quantizeToF16_12e50e(); |
| return; |
| } |