1; This test is to check that two functions have different SPIR-V type 2; definitions, even though their LLVM function types are identical. 3 4; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s 5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} 6 7; CHECK-DAG: OpName %[[Fun32:.*]] "tp_arg_i32" 8; CHECK-DAG: OpName %[[Fun64:.*]] "tp_arg_i64" 9; CHECK-DAG: %[[TyI32:.*]] = OpTypeInt 32 0 10; CHECK-DAG: %[[TyVoid:.*]] = OpTypeVoid 11; CHECK-DAG: %[[TyPtr32:.*]] = OpTypePointer Function %[[TyI32]] 12; CHECK-DAG: %[[TyFun32:.*]] = OpTypeFunction %[[TyVoid]] %[[TyPtr32]] 13; CHECK-DAG: %[[TyI64:.*]] = OpTypeInt 64 0 14; CHECK-DAG: %[[TyPtr64:.*]] = OpTypePointer Function %[[TyI64]] 15; CHECK-DAG: %[[TyFun64:.*]] = OpTypeFunction %[[TyVoid]] %[[TyPtr64]] 16; CHECK-DAG: %[[Fun32]] = OpFunction %[[TyVoid]] None %[[TyFun32]] 17; CHECK-DAG: %[[Fun64]] = OpFunction %[[TyVoid]] None %[[TyFun64]] 18 19define spir_kernel void @tp_arg_i32(ptr %ptr) { 20entry: 21 store i32 1, ptr %ptr 22 ret void 23} 24 25define spir_kernel void @tp_arg_i64(ptr %ptr) { 26entry: 27 store i64 1, ptr %ptr 28 ret void 29} 30