SKIP: FAILED Texture2DMS<int4> arg_0 : register(t0, space1); RWByteAddressBuffer prevent_dce : register(u0, space2); void textureLoad_e3d2cc() { int4 res = arg_0.Load((1).xx, 1); prevent_dce.Store4(0u, asuint(res)); } struct tint_symbol { float4 value : SV_Position; }; float4 vertex_main_inner() { textureLoad_e3d2cc(); 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() { textureLoad_e3d2cc(); return; } [numthreads(1, 1, 1)] void compute_main() { textureLoad_e3d2cc(); 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 %3 = call %dx.types.ResRet.i32 @dx.op.textureLoad.i32(i32 66, %dx.types.Handle %2, i32 1, i64 1, i64 1, i32 undef, i32 undef, i32 undef, i32 undef) 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 %3 = call %dx.types.ResRet.i32 @dx.op.textureLoad.i32(i32 66, %dx.types.Handle %2, i32 1, i64 1, i64 1, i32 undef, i32 undef, i32 undef, i32 undef) 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 %3 = call %dx.types.ResRet.i32 @dx.op.textureLoad.i32(i32 66, %dx.types.Handle %2, i32 1, i64 1, i64 1, i32 undef, i32 undef, i32 undef, i32 undef) Validation failed.