1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown --spirv-ext=+SPV_INTEL_function_pointers %s -o - | FileCheck %s 2; TODO: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} 3 4; CHECK-DAG: OpCapability Int8 5; CHECK-DAG: OpCapability FunctionPointersINTEL 6; CHECK-DAG: OpCapability Int64 7; CHECK: OpExtension "SPV_INTEL_function_pointers" 8 9; CHECK-DAG: OpName %[[fp:.*]] "fp" 10; CHECK-DAG: OpName %[[data:.*]] "data" 11; CHECK-DAG: OpName %[[bar:.*]] "bar" 12; CHECK-DAG: OpName %[[test:.*]] "test" 13; CHECK-DAG: %[[TyVoid:.*]] = OpTypeVoid 14; CHECK-DAG: %[[TyFloat32:.*]] = OpTypeFloat 32 15; CHECK-DAG: %[[TyInt64:.*]] = OpTypeInt 64 0 16; CHECK-DAG: %[[TyInt8:.*]] = OpTypeInt 8 0 17; CHECK-DAG: %[[TyPtrInt8:.*]] = OpTypePointer Function %[[TyInt8]] 18; CHECK-DAG: %[[TyUncompleteFp:.*]] = OpTypeFunction %[[TyFloat32]] %[[TyPtrInt8]] 19; CHECK-DAG: %[[TyPtrUncompleteFp:.*]] = OpTypePointer Function %[[TyUncompleteFp]] 20; CHECK-DAG: %[[TyBar:.*]] = OpTypeFunction %[[TyInt64]] %[[TyPtrUncompleteFp]] %[[TyPtrInt8]] 21; CHECK-DAG: %[[TyPtrBar:.*]] = OpTypePointer Function %[[TyBar]] 22; CHECK-DAG: %[[TyFp:.*]] = OpTypeFunction %[[TyFloat32]] %[[TyPtrBar]] 23; CHECK-DAG: %[[TyPtrFp:.*]] = OpTypePointer Function %[[TyFp]] 24; CHECK-DAG: %[[TyTest:.*]] = OpTypeFunction %[[TyVoid]] %[[TyPtrFp]] %[[TyPtrInt8]] %[[TyPtrBar]] 25; CHECK: %[[test]] = OpFunction %[[TyVoid]] None %[[TyTest]] 26; CHECK: %[[fp]] = OpFunctionParameter %[[TyPtrFp]] 27; CHECK: %[[data]] = OpFunctionParameter %[[TyPtrInt8]] 28; CHECK: %[[bar]] = OpFunctionParameter %[[TyPtrBar]] 29; CHECK: OpFunctionPointerCallINTEL %[[TyFloat32]] %[[fp]] %[[bar]] 30; CHECK: OpFunctionPointerCallINTEL %[[TyInt64]] %[[bar]] %[[fp]] %[[data]] 31; CHECK: OpReturn 32; CHECK: OpFunctionEnd 33 34define spir_kernel void @test(ptr %fp, ptr %data, ptr %bar) { 35entry: 36 %0 = call spir_func float %fp(ptr %bar) 37 %1 = call spir_func i64 %bar(ptr %fp, ptr %data) 38 ret void 39} 40