46 lines · plain
1; We use llc for this test so that we don't abort after the first error.2; RUN: not llc %s -o /dev/null 2>&1 | FileCheck %s3 4target triple = "dxil-pc-shadermodel6.6-compute"5 6declare void @f32_user(float)7declare void @f64_user(double)8declare void @f16_user(half)9 10; CHECK: error:11; CHECK-SAME: in function four6412; CHECK-SAME: Type mismatch between intrinsic and DXIL op13define void @four64() "hlsl.export" {14 %buffer = call target("dx.CBuffer", <{ double }>)15 @llvm.dx.resource.handlefrombinding(i32 0, i32 0, i32 1, i32 0, ptr null)16 17 %load = call {double, double, double, double} @llvm.dx.resource.load.cbufferrow.4(18 target("dx.CBuffer", <{ double }>) %buffer,19 i32 0)20 %data = extractvalue {double, double, double, double} %load, 021 22 call void @f64_user(double %data)23 24 ret void25}26 27; CHECK: error:28; CHECK-SAME: in function two3229; CHECK-SAME: Type mismatch between intrinsic and DXIL op30define void @two32() "hlsl.export" {31 %buffer = call target("dx.CBuffer", <{ float }>)32 @llvm.dx.resource.handlefrombinding(i32 0, i32 0, i32 1, i32 0, ptr null)33 34 %load = call {float, float} @llvm.dx.resource.load.cbufferrow.2(35 target("dx.CBuffer", <{ float }>) %buffer,36 i32 0)37 %data = extractvalue {float, float} %load, 038 39 call void @f32_user(float %data)40 41 ret void42}43 44declare { double, double, double, double } @llvm.dx.resource.load.cbufferrow.4.f64.f64.f64.f64.tdx.CBuffer_sl_f64st(target("dx.CBuffer", <{ double }>), i32)45declare { float, float } @llvm.dx.resource.load.cbufferrow.2.f32.f32.tdx.CBuffer_sl_f32st(target("dx.CBuffer", <{ float }>), i32)46