ebfafa2511
The goal of the PR is to ensure that if module contains functions with mutated signature (due to preprocessing of aggregate types), functions still are going through re-creating of function type to preserve pointee type information for arguments. This fixes a bug when a module with (1) a function having aggregate arguments and/or return, and (2) at least two functions with signatures different only wrt. pointee types is translated so that one of two similar functions gets an incorrect OpFunctionParameter type that is different from the corresponding OpTypeFunction definition. A reproducer is attached as a new test case.
42 lines
1.7 KiB
LLVM
42 lines
1.7 KiB
LLVM
; The goal of the test case is to ensure that if module contains functions with mutated signature
|
|
; (due to preprocessing of aggregate types), functions still are going through re-creating of
|
|
; function type to preserve pointee type information for arguments.
|
|
|
|
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
|
|
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
|
|
|
|
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
|
|
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
|
|
|
|
; CHECK-DAG: %[[#Int8:]] = OpTypeInt 8 0
|
|
; CHECK-DAG: %[[#Half:]] = OpTypeFloat 16
|
|
; CHECK-DAG: %[[#Struct:]] = OpTypeStruct %[[#Half]]
|
|
; CHECK-DAG: %[[#Void:]] = OpTypeVoid
|
|
; CHECK-DAG: %[[#PtrInt8:]] = OpTypePointer CrossWorkgroup %[[#Int8:]]
|
|
; CHECK-DAG: %[[#FooType:]] = OpTypeFunction %[[#Void]] %[[#PtrInt8]] %[[#Struct]]
|
|
; CHECK-DAG: %[[#Int64:]] = OpTypeInt 64 0
|
|
; CHECK-DAG: %[[#PtrInt64:]] = OpTypePointer CrossWorkgroup %[[#Int64]]
|
|
; CHECK-DAG: %[[#BarType:]] = OpTypeFunction %[[#Void]] %[[#PtrInt64]] %[[#Struct]]
|
|
; CHECK: OpFunction %[[#Void]] None %[[#FooType]]
|
|
; CHECK: OpFunctionParameter %[[#PtrInt8]]
|
|
; CHECK: OpFunctionParameter %[[#Struct]]
|
|
; CHECK: OpFunction %[[#Void]] None %[[#BarType]]
|
|
; CHECK: OpFunctionParameter %[[#PtrInt64]]
|
|
; CHECK: OpFunctionParameter %[[#Struct]]
|
|
|
|
%t_half = type { half }
|
|
|
|
define spir_kernel void @foo(ptr addrspace(1) %a, %t_half %b) {
|
|
entry:
|
|
ret void
|
|
}
|
|
|
|
|
|
define spir_kernel void @bar(ptr addrspace(1) %a, %t_half %b) {
|
|
entry:
|
|
%r = getelementptr inbounds i64, ptr addrspace(1) %a, i64 0
|
|
ret void
|
|
}
|
|
|
|
declare spir_func %t_half @_Z29__spirv_SpecConstantComposite(half)
|