[NFC][SPIRV] New test for untested case in SPIRVEmitIntrinsics (#188950)

[This
case](bc35715696/llvm/lib/Target/SPIRV/SPIRVEmitIntrinsics.cpp (L2815-L2818))
is not covered by any existing test (checked via code coverage and
inserting an `abort`). New test proposed that covers this line, as
demonstrated by test failure when an `abort` is present in that line.
This commit is contained in:
ambergorzynski 2026-03-27 17:05:42 +00:00 committed by GitHub
parent d340a68ee0
commit 9238b0f765
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -0,0 +1,28 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -S -passes=spirv-emit-intrinsics %s -mtriple=spirv64-unknown-unknown -o - | FileCheck %s
; RUN: opt -S -passes=spirv-emit-intrinsics %s -mtriple=spirv64-unknown-vulkan -o - | FileCheck %s
define spir_func i32 @foo(ptr %fn) {
; CHECK-LABEL: define spir_func i32 @foo(
; CHECK-SAME: ptr [[FN:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: call void @llvm.spv.assign.ptr.type.p0(ptr [[FN]], metadata void () poison, i32 0)
; CHECK-NEXT: ret i32 0
;
entry:
ret i32 0
}
declare spir_func void @bar()
define spir_kernel void @infer_ptr_type() {
; CHECK-LABEL: define spir_kernel void @infer_ptr_type() {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[C:%.*]] = call spir_func i32 @foo(ptr @bar)
; CHECK-NEXT: call void @llvm.spv.assign.type.i32(i32 [[C]], metadata i32 poison)
; CHECK-NEXT: ret void
;
entry:
%C = call spir_func i32 @foo(ptr @bar)
ret void
}