SKIP: FAILED Texture3D arg_0 : register(t0, space1); SamplerState arg_1 : register(s1, space1); RWByteAddressBuffer prevent_dce : register(u0, space2); void textureSampleLevel_dcbecb() { float4 res = arg_0.SampleLevel(arg_1, (1.0f).xxx, 1.0f, (1).xxx); prevent_dce.Store4(0u, asuint(res)); } struct tint_symbol { float4 value : SV_Position; }; float4 vertex_main_inner() { textureSampleLevel_dcbecb(); 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() { textureSampleLevel_dcbecb(); return; } [numthreads(1, 1, 1)] void compute_main() { textureSampleLevel_dcbecb(); return; } DXC validation failure: warning: DXIL.dll not found. Resulting DXIL will not be signed for use in release environments. error: validation errors error: Module bitcode is invalid. error: Call parameter type does not match function signature! i64 1 i32 %4 = call %dx.types.ResRet.f32 @dx.op.sampleLevel.f32(i32 62, %dx.types.Handle %2, %dx.types.Handle %3, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float undef, i64 1, i64 1, i64 1, float 1.000000e+00) Validation failed. warning: DXIL.dll not found. Resulting DXIL will not be signed for use in release environments. error: validation errors error: Module bitcode is invalid. error: Call parameter type does not match function signature! i64 1 i32 %4 = call %dx.types.ResRet.f32 @dx.op.sampleLevel.f32(i32 62, %dx.types.Handle %2, %dx.types.Handle %3, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float undef, i64 1, i64 1, i64 1, float 1.000000e+00) Validation failed. warning: DXIL.dll not found. Resulting DXIL will not be signed for use in release environments. error: validation errors error: Module bitcode is invalid. error: Call parameter type does not match function signature! i64 1 i32 %4 = call %dx.types.ResRet.f32 @dx.op.sampleLevel.f32(i32 62, %dx.types.Handle %2, %dx.types.Handle %3, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float undef, i64 1, i64 1, i64 1, float 1.000000e+00) Validation failed.