| ; RUN: llc -mtriple=spirv32-unknown-unknown -O0 %s -o - --spirv-ext=+SPV_INTEL_function_pointers | FileCheck %s |
| |
| ; This still fails validation, because %foo is considered undefined. |
| ; TODO: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - --spirv-ext=+SPV_INTEL_function_pointers -filetype=obj | spirv-val %} |
| |
| ; CHECK-DAG: OpCapability FunctionPointersINTEL |
| ; CHECK-DAG: OpExtension "SPV_INTEL_function_pointers" |
| ; CHECK-DAG: %[[#Void:]] = OpTypeVoid |
| ; CHECK-DAG: %[[#FnTy:]] = OpTypeFunction %[[#Void]] |
| ; CHECK-DAG: %[[#GenPtrTy:]] = OpTypePointer Generic %[[#FnTy]] |
| ; CHECK-DAG: %[[#GenPtrPtrTy:]] = OpTypePointer Function %[[#GenPtrTy]] |
| ; CHECK-DAG: %[[#Int8:]] = OpTypeInt 8 0 |
| ; CHECK-DAG: %[[#Int8PtrTy:]] = OpTypePointer Function %[[#Int8]] |
| ; CHECK-DAG: %[[#CodePtrTy:]] = OpTypePointer CodeSectionINTEL %[[#FnTy]] |
| ; CHECK-DAG: %[[#Null:]] = OpConstantNull %[[#Int8PtrTy]] |
| ; CHECK-DAG: %[[#FnPtr:]] = OpConstantFunctionPointerINTEL %[[#CodePtrTy]] %[[#FnDef:]] |
| ; CHECK: %[[#FnDef]] = OpFunction %[[#Void]] None %[[#FnTy]] |
| ; CHECK: %[[#Cast:]] = OpPtrCastToGeneric %[[#GenPtrTy]] %[[#FnPtr]] |
| ; CHECK: %[[#BC:]] = OpBitcast %[[#GenPtrPtrTy]] %[[#Null]] |
| ; CHECK: OpStore %[[#BC]] %[[#Cast]] Aligned 8 |
| ; CHECK: OpReturn |
| ; CHECK: OpFunctionEnd |
| |
| define void @foo() { |
| entry: |
| store ptr addrspace(4) addrspacecast (ptr @foo to ptr addrspace(4)), ptr null, align 8 |
| ret void |
| } |
