| ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s |
| |
| ;; Types: |
| ; CHECK-DAG: %[[#I32:]] = OpTypeInt 32 |
| ; CHECK-DAG: %[[#F32:]] = OpTypeFloat 32 |
| ; CHECK-DAG: %[[#FNI32:]] = OpTypeFunction %[[#I32]] %[[#I32]] |
| ; CHECK-DAG: %[[#FNF32:]] = OpTypeFunction %[[#F32]] %[[#F32]] |
| |
| ;; Function declarations: |
| ; CHECK: %[[#ANON0:]] = OpFunction %[[#I32]] None %[[#FNI32]] |
| ; CHECK-NEXT: OpFunctionParameter %[[#I32]] |
| ; CHECK-NEXT: OpLabel |
| ; CHECK-NEXT: OpReturnValue |
| ; CHECK-NEXT: OpFunctionEnd |
| define internal spir_func i32 @0(i32 %a) { |
| ret i32 %a |
| } |
| |
| ; CHECK: %[[#ANON1:]] = OpFunction %[[#F32]] None %[[#FNF32]] |
| ; CHECK-NEXT: OpFunctionParameter %[[#F32]] |
| ; CHECK-NEXT: OpLabel |
| ; CHECK-NEXT: OpReturnValue |
| ; CHECK-NEXT: OpFunctionEnd |
| define internal spir_func float @1(float %a) { |
| ret float %a |
| } |
| |
| ;; Calls: |
| ; CHECK: OpFunctionCall %[[#I32]] %[[#ANON0]] |
| ; CHECK: OpFunctionCall %[[#F32]] %[[#ANON1]] |
| define spir_kernel void @foo(i32 %a) { |
| %call1 = call spir_func i32 @0(i32 %a) |
| %b = sitofp i32 %a to float |
| %call2 = call spir_func float @1(float %b) |
| ret void |
| } |