[llvm] [SPIRV] Added opencl Pipe builtins (PR #135335)
via llvm-commits
llvm-commits at lists.llvm.org
Sun Aug 3 22:08:59 PDT 2025
https://github.com/EbinJose2002 updated https://github.com/llvm/llvm-project/pull/135335
>From 40897c7cbbff1651133dcc0947fdfc30360edd85 Mon Sep 17 00:00:00 2001
From: EbinJose2002 <ebin.jose at multicorewareinc.com>
Date: Wed, 9 Apr 2025 12:44:52 +0530
Subject: [PATCH 1/3] - Added opencl Pipe builtins - Pipe instructions were
added in tablegen and lowered in SPIRVBuiltins.cpp
---
llvm/lib/Target/SPIRV/SPIRVBuiltins.cpp | 51 ++
llvm/lib/Target/SPIRV/SPIRVBuiltins.td | 24 +
llvm/lib/Target/SPIRV/SPIRVInstrInfo.td | 33 +-
.../CodeGen/SPIRV/transcoding/builtin_pipe.ll | 446 ++++++++++++++++++
4 files changed, 553 insertions(+), 1 deletion(-)
create mode 100644 llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
diff --git a/llvm/lib/Target/SPIRV/SPIRVBuiltins.cpp b/llvm/lib/Target/SPIRV/SPIRVBuiltins.cpp
index 6ec7544767c52..e41ddaeccbf7f 100644
--- a/llvm/lib/Target/SPIRV/SPIRVBuiltins.cpp
+++ b/llvm/lib/Target/SPIRV/SPIRVBuiltins.cpp
@@ -1094,6 +1094,41 @@ static bool build2DBlockIOINTELInst(const SPIRV::IncomingCall *Call,
return true;
}
+static bool buildPipeInst(const SPIRV::IncomingCall *Call, unsigned Opcode,
+ unsigned Scope, MachineIRBuilder &MIRBuilder,
+ SPIRVGlobalRegistry *GR) {
+ switch (Opcode) {
+ case SPIRV::OpCommitReadPipe:
+ case SPIRV::OpCommitWritePipe:
+ return buildOpFromWrapper(MIRBuilder, Opcode, Call, Register(0));
+ case SPIRV::OpGroupCommitReadPipe:
+ case SPIRV::OpGroupCommitWritePipe:
+ case SPIRV::OpGroupReserveReadPipePackets:
+ case SPIRV::OpGroupReserveWritePipePackets: {
+ Register ScopeConstReg =
+ MIRBuilder.buildConstant(LLT::scalar(32), Scope).getReg(0);
+ MachineRegisterInfo *MRI = MIRBuilder.getMRI();
+ MRI->setRegClass(ScopeConstReg, &SPIRV::iIDRegClass);
+ MachineInstrBuilder MIB;
+ MIB = MIRBuilder.buildInstr(Opcode);
+ // Add Return register and type.
+ if (Opcode == SPIRV::OpGroupReserveReadPipePackets ||
+ Opcode == SPIRV::OpGroupReserveWritePipePackets)
+ MIB.addDef(Call->ReturnRegister)
+ .addUse(GR->getSPIRVTypeID(Call->ReturnType));
+
+ MIB.addUse(ScopeConstReg);
+ for (unsigned int i = 0; i < Call->Arguments.size(); ++i)
+ MIB.addUse(Call->Arguments[i]);
+
+ return true;
+ }
+ default:
+ return buildOpFromWrapper(MIRBuilder, Opcode, Call,
+ GR->getSPIRVTypeID(Call->ReturnType));
+ }
+}
+
static unsigned getNumComponentsForDim(SPIRV::Dim::Dim dim) {
switch (dim) {
case SPIRV::Dim::DIM_1D:
@@ -2348,6 +2383,20 @@ static bool generate2DBlockIOINTELInst(const SPIRV::IncomingCall *Call,
return build2DBlockIOINTELInst(Call, Opcode, MIRBuilder, GR);
}
+static bool generatePipeInst(const SPIRV::IncomingCall *Call,
+ MachineIRBuilder &MIRBuilder,
+ SPIRVGlobalRegistry *GR) {
+ const SPIRV::DemangledBuiltin *Builtin = Call->Builtin;
+ unsigned Opcode =
+ SPIRV::lookupNativeBuiltin(Builtin->Name, Builtin->Set)->Opcode;
+
+ unsigned Scope = SPIRV::Scope::Workgroup;
+ if (Builtin->Name.contains("sub_group"))
+ Scope = SPIRV::Scope::Subgroup;
+
+ return buildPipeInst(Call, Opcode, Scope, MIRBuilder, GR);
+}
+
static bool buildNDRange(const SPIRV::IncomingCall *Call,
MachineIRBuilder &MIRBuilder,
SPIRVGlobalRegistry *GR) {
@@ -2933,6 +2982,8 @@ std::optional<bool> lowerBuiltin(const StringRef DemangledCall,
return generateTernaryBitwiseFunctionINTELInst(Call.get(), MIRBuilder, GR);
case SPIRV::Block2DLoadStore:
return generate2DBlockIOINTELInst(Call.get(), MIRBuilder, GR);
+ case SPIRV::Pipe:
+ return generatePipeInst(Call.get(), MIRBuilder, GR);
}
return false;
}
diff --git a/llvm/lib/Target/SPIRV/SPIRVBuiltins.td b/llvm/lib/Target/SPIRV/SPIRVBuiltins.td
index ea78dcd135267..da05c1d76ca60 100644
--- a/llvm/lib/Target/SPIRV/SPIRVBuiltins.td
+++ b/llvm/lib/Target/SPIRV/SPIRVBuiltins.td
@@ -69,6 +69,7 @@ def ExtendedBitOps : BuiltinGroup;
def BindlessINTEL : BuiltinGroup;
def TernaryBitwiseINTEL : BuiltinGroup;
def Block2DLoadStore : BuiltinGroup;
+def Pipe : BuiltinGroup;
//===----------------------------------------------------------------------===//
// Class defining a demangled builtin record. The information in the record
@@ -633,6 +634,29 @@ defm : DemangledNativeBuiltin<"__spirv_AtomicSMax", OpenCL_std, Atomic, 4, 4, Op
defm : DemangledNativeBuiltin<"__spirv_AtomicUMin", OpenCL_std, Atomic, 4, 4, OpAtomicUMin>;
defm : DemangledNativeBuiltin<"__spirv_AtomicUMax", OpenCL_std, Atomic, 4, 4, OpAtomicUMax>;
+// Pipe Instruction
+defm : DemangledNativeBuiltin<"__read_pipe_2", OpenCL_std, Pipe,2, 2, OpReadPipe>;
+defm : DemangledNativeBuiltin<"__write_pipe_2", OpenCL_std, Pipe, 2, 2, OpWritePipe>;
+defm : DemangledNativeBuiltin<"__read_pipe_4", OpenCL_std, Pipe,4, 4, OpReservedReadPipe>;
+defm : DemangledNativeBuiltin<"__write_pipe_4", OpenCL_std, Pipe, 4, 4, OpReservedWritePipe>;
+defm : DemangledNativeBuiltin<"__reserve_read_pipe", OpenCL_std, Pipe, 2, 2, OpReserveReadPipePackets>;
+defm : DemangledNativeBuiltin<"__reserve_write_pipe", OpenCL_std, Pipe, 2, 2, OpReserveWritePipePackets>;
+defm : DemangledNativeBuiltin<"__commit_read_pipe", OpenCL_std, Pipe, 2, 2, OpCommitReadPipe>;
+defm : DemangledNativeBuiltin<"__commit_write_pipe", OpenCL_std, Pipe, 2, 2, OpCommitWritePipe>;
+defm : DemangledNativeBuiltin<"is_valid_reserve_id", OpenCL_std, Pipe, 1, 1, OpIsValidReserveId>;
+defm : DemangledNativeBuiltin<"__get_pipe_num_packets_ro", OpenCL_std, Pipe, 1, 1, OpGetNumPipePackets>;
+defm : DemangledNativeBuiltin<"__get_pipe_max_packets_ro", OpenCL_std, Pipe, 1, 1, OpGetMaxPipePackets>;
+defm : DemangledNativeBuiltin<"__get_pipe_num_packets_wo", OpenCL_std, Pipe, 1, 1, OpGetNumPipePackets>;
+defm : DemangledNativeBuiltin<"__get_pipe_max_packets_wo", OpenCL_std, Pipe, 1, 1, OpGetMaxPipePackets>;
+defm : DemangledNativeBuiltin<"__work_group_reserve_read_pipe", OpenCL_std, Pipe, 2, 2, OpGroupReserveReadPipePackets>;
+defm : DemangledNativeBuiltin<"__work_group_reserve_write_pipe", OpenCL_std, Pipe, 2, 2, OpGroupReserveWritePipePackets>;
+defm : DemangledNativeBuiltin<"__work_group_commit_read_pipe", OpenCL_std, Pipe, 2, 2, OpGroupCommitReadPipe>;
+defm : DemangledNativeBuiltin<"__work_group_commit_write_pipe", OpenCL_std, Pipe, 2, 2, OpGroupCommitWritePipe>;
+defm : DemangledNativeBuiltin<"__sub_group_reserve_read_pipe", OpenCL_std, Pipe, 2, 2, OpGroupReserveReadPipePackets>;
+defm : DemangledNativeBuiltin<"__sub_group_reserve_write_pipe", OpenCL_std, Pipe, 2, 2, OpGroupReserveWritePipePackets>;
+defm : DemangledNativeBuiltin<"__sub_group_commit_read_pipe", OpenCL_std, Pipe, 2, 2, OpGroupCommitReadPipe>;
+defm : DemangledNativeBuiltin<"__sub_group_commit_write_pipe", OpenCL_std, Pipe, 2, 2, OpGroupCommitWritePipe>;
+
// Barrier builtin records:
defm : DemangledNativeBuiltin<"barrier", OpenCL_std, Barrier, 1, 3, OpControlBarrier>;
defm : DemangledNativeBuiltin<"work_group_barrier", OpenCL_std, Barrier, 1, 3, OpControlBarrier>;
diff --git a/llvm/lib/Target/SPIRV/SPIRVInstrInfo.td b/llvm/lib/Target/SPIRV/SPIRVInstrInfo.td
index 049ba0275f223..d3ebaf6c24a48 100644
--- a/llvm/lib/Target/SPIRV/SPIRVInstrInfo.td
+++ b/llvm/lib/Target/SPIRV/SPIRVInstrInfo.td
@@ -760,7 +760,38 @@ def OpGetDefaultQueue: Op<303, (outs ID:$res), (ins TYPE:$type),
def OpBuildNDRange: Op<304, (outs ID:$res), (ins TYPE:$type, ID:$GWS, ID:$LWS, ID:$GWO),
"$res = OpBuildNDRange $type $GWS $LWS $GWO">;
-// TODO: 3.42.23. Pipe Instructions
+// 3.42.23. Pipe Instructions
+
+def OpReadPipe: Op<274, (outs ID:$res), (ins TYPE:$type, ID:$Pipe, ID:$Pointer, ID:$PcktSize, ID:$PcktAlign),
+ "$res = OpReadPipe $type $Pipe $Pointer $PcktSize $PcktAlign">;
+def OpWritePipe: Op<275, (outs ID:$res), (ins TYPE:$type, ID:$Pipe, ID:$Pointer, ID:$PcktSize, ID:$PcktAlign),
+ "$res = OpWritePipe $type $Pipe $Pointer $PcktSize $PcktAlign">;
+def OpReservedReadPipe : Op<276, (outs ID:$res), (ins TYPE:$type, ID:$Pipe, ID:$ReserveId, ID:$Index, ID:$Pointer, ID:$PcktSize, ID:$PcktAlign),
+ "$res = OpReservedReadPipe $type $Pipe $ReserveId $Index $Pointer $PcktSize $PcktAlign">;
+def OpReservedWritePipe : Op<277, (outs ID:$res), (ins TYPE:$type, ID:$Pipe, ID:$ReserveId, ID:$Index, ID:$Pointer, ID:$PcktSize, ID:$PcktAlign),
+ "$res = OpReservedWritePipe $type $Pipe $ReserveId $Index $Pointer $PcktSize $PcktAlign">;
+def OpReserveReadPipePackets : Op<278, (outs ID:$res), (ins TYPE:$type, ID:$Pipe, ID:$NumPckts, ID:$PcktSize, ID:$PcktAlign),
+ "$res = OpReserveReadPipePackets $type $Pipe $NumPckts $PcktSize $PcktAlign">;
+def OpReserveWritePipePackets : Op<279, (outs ID:$res), (ins TYPE:$type, ID:$Pipe, ID:$NumPckts, ID:$PcktSize, ID:$PcktAlign),
+ "$res = OpReserveWritePipePackets $type $Pipe $NumPckts $PcktSize $PcktAlign">;
+def OpCommitReadPipe : Op<280, (outs), (ins ID:$Pipe, ID:$ReserveId, ID:$PcktSize, ID:$PcktAlign),
+ "OpCommitReadPipe $Pipe $ReserveId $PcktSize $PcktAlign">;
+def OpCommitWritePipe : Op<281, (outs), (ins ID:$Pipe, ID:$ReserveId, ID:$PcktSize, ID:$PcktAlign),
+ "OpCommitWritePipe $Pipe $ReserveId $PcktSize $PcktAlign">;
+def OpIsValidReserveId : Op<282, (outs ID:$res), (ins TYPE:$type, ID:$ReserveId),
+ "$res = OpIsValidReserveId $type $ReserveId">;
+def OpGetNumPipePackets : Op<283, (outs ID:$res), (ins TYPE:$type, ID:$Pipe, ID:$PacketSize, ID:$PacketAlign),
+ "$res = OpGetNumPipePackets $type $Pipe $PacketSize $PacketAlign">;
+def OpGetMaxPipePackets : Op<284, (outs ID:$res), (ins TYPE:$type, ID:$Pipe, ID:$PacketSize, ID:$PacketAlign),
+ "$res = OpGetMaxPipePackets $type $Pipe $PacketSize $PacketAlign">;
+def OpGroupReserveReadPipePackets : Op<285, (outs ID:$res), (ins TYPE:$type, ID:$Scope, ID:$Pipe, ID:$NumPckts, ID:$PacketSize, ID:$PacketAlign),
+ "$res = OpGroupReserveReadPipePackets $type $Scope $Pipe $NumPckts $PacketSize $PacketAlign">;
+def OpGroupReserveWritePipePackets : Op<286, (outs ID:$res), (ins TYPE:$type, ID:$Scope, ID:$Pipe, ID:$NumPckts, ID:$PacketSize, ID:$PacketAlign),
+ "$res = OpGroupReserveWritePipePackets $type $Scope $Pipe $NumPckts $PacketSize $PacketAlign">;
+def OpGroupCommitReadPipe : Op<287, (outs), (ins ID:$Scope, ID:$Pipe, ID:$ReserveId, ID:$PacketSize, ID:$PacketAlign),
+ "OpGroupCommitReadPipe $Scope $Pipe $ReserveId $PacketSize $PacketAlign">;
+def OpGroupCommitWritePipe : Op<288, (outs), (ins ID:$Scope, ID:$Pipe, ID:$ReserveId, ID:$PacketSize, ID:$PacketAlign),
+ "OpGroupCommitWritePipe $Scope $Pipe $ReserveId $PacketSize $PacketAlign">;
// 3.42.24. Non-Uniform Instructions
diff --git a/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll b/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
new file mode 100644
index 0000000000000..c0ea6f2c53c3a
--- /dev/null
+++ b/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
@@ -0,0 +1,446 @@
+; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
+
+; Test generated from the opencl test in the SPIRV-LLVM Translator (pipe_builtins.cl)
+
+; CHECK: OpCapability Kernel
+; CHECK: OpCapability Addresses
+; CHECK: OpCapability Pipes
+; CHECK: OpCapability Int64
+
+; --- Check common types ---
+; CHECK-DAG: %[[#PipeWriteTy:]] = OpTypePipe WriteOnly
+; CHECK-DAG: %[[#PipeReadTy:]] = OpTypePipe ReadOnly
+; CHECK-DAG: %[[#ReserveIdTy:]] = OpTypeReserveId
+; CHECK-DAG: %[[#BoolTy:]] = OpTypeBool
+; CHECK-DAG: %[[#Int32Ty:]] = OpTypeInt 32 0
+; CHECK-DAG: %[[#CONST:]] = OpConstant %[[#Int32Ty]] 4
+; CHECK-DAG: %[[#CONST2:]] = OpConstant %[[#Int32Ty]] 2
+; CHECK-DAG: %[[#CONST3:]] = OpConstant %[[#Int32Ty]] 3
+; CHECK-DAG: %[[#CONST4:]] = OpConstant %[[#Int32Ty]] 1
+
+; --- Function: test_pipe_convenience_write_uint ---
+; CHECK: %[[#ReadWriteInst1:]] = OpWritePipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+
+; --- Function: test_pipe_convenience_read_uint ---
+; CHECK: %[[#ReadPipeInst2:]] = OpReadPipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+
+; --- Function: test_pipe_write ---
+; CHECK: %[[#ReserveWrite1:]] = OpReserveWritePipePackets %[[#ReserveIdTy]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: %[[#IsValidWrite1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
+; CHECK: %[[#ReservedWrite1:]] = OpReservedWritePipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: OpCommitWritePipe %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+
+; --- Function: test_pipe_query_functions ---
+; CHECK: %[[#]] = OpGetMaxPipePackets %[[#Int32Ty]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: %[[#]] = OpGetNumPipePackets %[[#Int32Ty]] %[[#]] %[[#CONST]] %[[#CONST]]
+
+; --- Function: test_pipe_read ---
+; CHECK: %[[#ReserveRead1:]] = OpReserveReadPipePackets %[[#ReserveIdTy]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: %[[#IsValidRead1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
+; CHECK: %[[#ReservedRead1:]] = OpReservedReadPipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: OpCommitReadPipe %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+
+; --- Function: test_pipe_workgroup_write_char ---
+; CHECK: %[[#GRW1:]] = OpGroupReserveWritePipePackets %[[#ReserveIdTy]] %[[#CONST2]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
+; CHECK: %[[#IsValidGRW1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
+; CHECK: %[[#ReservedGWWrite:]] = OpReservedWritePipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
+; CHECK: OpGroupCommitWritePipe %[[#CONST2]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
+
+; --- Function: test_pipe_workgroup_read_char ---
+; CHECK: %[[#GRR1:]] = OpGroupReserveReadPipePackets %[[#ReserveIdTy]] %[[#CONST2]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
+; CHECK: %[[#IsValidGRR1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
+; CHECK: %[[#ReservedGWRead:]] = OpReservedReadPipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
+; CHECK: OpGroupCommitReadPipe %[[#CONST2]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
+
+; --- Function: test_pipe_subgroup_write_uint ---
+; CHECK: %[[#SRW1:]] = OpGroupReserveWritePipePackets %[[#ReserveIdTy]] %[[#CONST3]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: %[[#IsValidSRW1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
+; CHECK: %[[#ReservedSWWrite:]] = OpReservedWritePipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: OpGroupCommitWritePipe %[[#CONST3]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+
+; --- Function: test_pipe_subgroup_read_uint ---
+; CHECK: %[[#SRR1:]] = OpGroupReserveReadPipePackets %[[#ReserveIdTy]] %[[#CONST3]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: %[[#IsValidSRR1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
+; CHECK: %[[#ReservedSWRead:]] = OpReservedReadPipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK: OpGroupCommitReadPipe %[[#CONST3]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+
+ at test_pipe_workgroup_write_char.res_id = internal addrspace(3) global target("spirv.ReserveId") undef, align 8
+ at test_pipe_workgroup_read_char.res_id = internal addrspace(3) global target("spirv.ReserveId") undef, align 8
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_convenience_write_uint(ptr addrspace(1) noundef align 4 %src, target("spirv.Pipe", 1) %out_pipe) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !4 !kernel_arg_type !5 !kernel_arg_base_type !5 !kernel_arg_type_qual !6 {
+entry:
+ %src.addr = alloca ptr addrspace(1), align 8
+ %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
+ %gid = alloca i32, align 4
+ store ptr addrspace(1) %src, ptr %src.addr, align 8
+ store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
+ %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
+ %conv = trunc i64 %call to i32
+ store i32 %conv, ptr %gid, align 4
+ %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %1 = load ptr addrspace(1), ptr %src.addr, align 8
+ %2 = load i32, ptr %gid, align 4
+ %idxprom = sext i32 %2 to i64
+ %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %1, i64 %idxprom
+ %3 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
+ %4 = call spir_func i32 @__write_pipe_2(target("spirv.Pipe", 1) %0, ptr addrspace(4) %3, i32 4, i32 4)
+ ret void
+}
+
+; Function Attrs: convergent nounwind willreturn memory(none)
+declare spir_func i64 @_Z13get_global_idj(i32 noundef) #1
+
+declare spir_func i32 @__write_pipe_2(target("spirv.Pipe", 1), ptr addrspace(4), i32, i32)
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_convenience_read_uint(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(1) noundef align 4 %dst) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !7 !kernel_arg_type !8 !kernel_arg_base_type !8 !kernel_arg_type_qual !9 {
+entry:
+ %in_pipe.addr = alloca target("spirv.Pipe", 0), align 8
+ %dst.addr = alloca ptr addrspace(1), align 8
+ %gid = alloca i32, align 4
+ store target("spirv.Pipe", 0) %in_pipe, ptr %in_pipe.addr, align 8
+ store ptr addrspace(1) %dst, ptr %dst.addr, align 8
+ %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
+ %conv = trunc i64 %call to i32
+ store i32 %conv, ptr %gid, align 4
+ %0 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %1 = load ptr addrspace(1), ptr %dst.addr, align 8
+ %2 = load i32, ptr %gid, align 4
+ %idxprom = sext i32 %2 to i64
+ %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %1, i64 %idxprom
+ %3 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
+ %4 = call spir_func i32 @__read_pipe_2(target("spirv.Pipe", 0) %0, ptr addrspace(4) %3, i32 4, i32 4)
+ ret void
+}
+
+declare spir_func i32 @__read_pipe_2(target("spirv.Pipe", 0), ptr addrspace(4), i32, i32)
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_write(ptr addrspace(1) noundef align 4 %src, target("spirv.Pipe", 1) %out_pipe) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !4 !kernel_arg_type !10 !kernel_arg_base_type !10 !kernel_arg_type_qual !6 {
+entry:
+ %src.addr = alloca ptr addrspace(1), align 8
+ %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
+ %gid = alloca i32, align 4
+ %res_id = alloca target("spirv.ReserveId"), align 8
+ store ptr addrspace(1) %src, ptr %src.addr, align 8
+ store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
+ %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
+ %conv = trunc i64 %call to i32
+ store i32 %conv, ptr %gid, align 4
+ %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %1 = call spir_func target("spirv.ReserveId") @__reserve_write_pipe(target("spirv.Pipe", 1) %0, i32 1, i32 4, i32 4)
+ store target("spirv.ReserveId") %1, ptr %res_id, align 8
+ %2 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ %call1 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %2) #4
+ br i1 %call1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %3 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %4 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ %5 = load ptr addrspace(1), ptr %src.addr, align 8
+ %6 = load i32, ptr %gid, align 4
+ %idxprom = sext i32 %6 to i64
+ %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %5, i64 %idxprom
+ %7 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
+ %8 = call spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1) %3, target("spirv.ReserveId") %4, i32 0, ptr addrspace(4) %7, i32 4, i32 4)
+ %9 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %10 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ call spir_func void @__commit_write_pipe(target("spirv.Pipe", 1) %9, target("spirv.ReserveId") %10, i32 4, i32 4)
+ br label %if.end
+
+if.end: ; preds = %if.then, %entry
+ ret void
+}
+
+declare spir_func target("spirv.ReserveId") @__reserve_write_pipe(target("spirv.Pipe", 1), i32, i32, i32)
+
+; Function Attrs: convergent nounwind
+declare spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId")) #2
+
+declare spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1), target("spirv.ReserveId"), i32, ptr addrspace(4), i32, i32)
+
+declare spir_func void @__commit_write_pipe(target("spirv.Pipe", 1), target("spirv.ReserveId"), i32, i32)
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_query_functions(target("spirv.Pipe", 1) %out_pipe, ptr addrspace(1) noundef align 4 %num_packets, ptr addrspace(1) noundef align 4 %max_packets) #0 !kernel_arg_addr_space !11 !kernel_arg_access_qual !12 !kernel_arg_type !13 !kernel_arg_base_type !13 !kernel_arg_type_qual !14 {
+entry:
+ %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
+ %num_packets.addr = alloca ptr addrspace(1), align 8
+ %max_packets.addr = alloca ptr addrspace(1), align 8
+ store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
+ store ptr addrspace(1) %num_packets, ptr %num_packets.addr, align 8
+ store ptr addrspace(1) %max_packets, ptr %max_packets.addr, align 8
+ %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %1 = call spir_func i32 @__get_pipe_max_packets_wo(target("spirv.Pipe", 1) %0, i32 4, i32 4)
+ %2 = load ptr addrspace(1), ptr %max_packets.addr, align 8
+ store i32 %1, ptr addrspace(1) %2, align 4
+ %3 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %4 = call spir_func i32 @__get_pipe_num_packets_wo(target("spirv.Pipe", 1) %3, i32 4, i32 4)
+ %5 = load ptr addrspace(1), ptr %num_packets.addr, align 8
+ store i32 %4, ptr addrspace(1) %5, align 4
+ ret void
+}
+
+declare spir_func i32 @__get_pipe_max_packets_wo(target("spirv.Pipe", 1), i32, i32)
+
+declare spir_func i32 @__get_pipe_num_packets_wo(target("spirv.Pipe", 1), i32, i32)
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_read(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(1) noundef align 4 %dst) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !7 !kernel_arg_type !15 !kernel_arg_base_type !15 !kernel_arg_type_qual !9 {
+entry:
+ %in_pipe.addr = alloca target("spirv.Pipe", 0), align 8
+ %dst.addr = alloca ptr addrspace(1), align 8
+ %gid = alloca i32, align 4
+ %res_id = alloca target("spirv.ReserveId"), align 8
+ store target("spirv.Pipe", 0) %in_pipe, ptr %in_pipe.addr, align 8
+ store ptr addrspace(1) %dst, ptr %dst.addr, align 8
+ %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
+ %conv = trunc i64 %call to i32
+ store i32 %conv, ptr %gid, align 4
+ %0 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %1 = call spir_func target("spirv.ReserveId") @__reserve_read_pipe(target("spirv.Pipe", 0) %0, i32 1, i32 4, i32 4)
+ store target("spirv.ReserveId") %1, ptr %res_id, align 8
+ %2 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ %call1 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %2) #4
+ br i1 %call1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %3 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %4 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ %5 = load ptr addrspace(1), ptr %dst.addr, align 8
+ %6 = load i32, ptr %gid, align 4
+ %idxprom = sext i32 %6 to i64
+ %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %5, i64 %idxprom
+ %7 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
+ %8 = call spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0) %3, target("spirv.ReserveId") %4, i32 0, ptr addrspace(4) %7, i32 4, i32 4)
+ %9 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %10 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ call spir_func void @__commit_read_pipe(target("spirv.Pipe", 0) %9, target("spirv.ReserveId") %10, i32 4, i32 4)
+ br label %if.end
+
+if.end: ; preds = %if.then, %entry
+ ret void
+}
+
+declare spir_func target("spirv.ReserveId") @__reserve_read_pipe(target("spirv.Pipe", 0), i32, i32, i32)
+
+declare spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, ptr addrspace(4), i32, i32)
+
+declare spir_func void @__commit_read_pipe(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, i32)
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_workgroup_write_char(ptr addrspace(1) noundef align 1 %src, target("spirv.Pipe", 1) %out_pipe) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !4 !kernel_arg_type !16 !kernel_arg_base_type !16 !kernel_arg_type_qual !6 {
+entry:
+ %src.addr = alloca ptr addrspace(1), align 8
+ %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
+ %gid = alloca i32, align 4
+ store ptr addrspace(1) %src, ptr %src.addr, align 8
+ store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
+ %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
+ %conv = trunc i64 %call to i32
+ store i32 %conv, ptr %gid, align 4
+ %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %call1 = call spir_func i64 @_Z14get_local_sizej(i32 noundef 0) #3
+ %1 = trunc i64 %call1 to i32
+ %2 = call spir_func target("spirv.ReserveId") @__work_group_reserve_write_pipe(target("spirv.Pipe", 1) %0, i32 %1, i32 1, i32 1)
+ store target("spirv.ReserveId") %2, ptr addrspace(3) @test_pipe_workgroup_write_char.res_id, align 8
+ %3 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_write_char.res_id, align 8
+ %call2 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %3) #4
+ br i1 %call2, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %4 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %5 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_write_char.res_id, align 8
+ %call3 = call spir_func i64 @_Z12get_local_idj(i32 noundef 0) #3
+ %6 = load ptr addrspace(1), ptr %src.addr, align 8
+ %7 = load i32, ptr %gid, align 4
+ %idxprom = sext i32 %7 to i64
+ %arrayidx = getelementptr inbounds i8, ptr addrspace(1) %6, i64 %idxprom
+ %8 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
+ %9 = trunc i64 %call3 to i32
+ %10 = call spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1) %4, target("spirv.ReserveId") %5, i32 %9, ptr addrspace(4) %8, i32 1, i32 1)
+ %11 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %12 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_write_char.res_id, align 8
+ call spir_func void @__work_group_commit_write_pipe(target("spirv.Pipe", 1) %11, target("spirv.ReserveId") %12, i32 1, i32 1)
+ br label %if.end
+
+if.end: ; preds = %if.then, %entry
+ ret void
+}
+
+; Function Attrs: convergent nounwind willreturn memory(none)
+declare spir_func i64 @_Z14get_local_sizej(i32 noundef) #1
+
+declare spir_func target("spirv.ReserveId") @__work_group_reserve_write_pipe(target("spirv.Pipe", 1), i32, i32, i32)
+
+; Function Attrs: convergent nounwind willreturn memory(none)
+declare spir_func i64 @_Z12get_local_idj(i32 noundef) #1
+
+declare spir_func void @__work_group_commit_write_pipe(target("spirv.Pipe", 1), target("spirv.ReserveId"), i32, i32)
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_workgroup_read_char(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(1) noundef align 1 %dst) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !7 !kernel_arg_type !17 !kernel_arg_base_type !17 !kernel_arg_type_qual !9 {
+entry:
+ %in_pipe.addr = alloca target("spirv.Pipe", 0), align 8
+ %dst.addr = alloca ptr addrspace(1), align 8
+ %gid = alloca i32, align 4
+ store target("spirv.Pipe", 0) %in_pipe, ptr %in_pipe.addr, align 8
+ store ptr addrspace(1) %dst, ptr %dst.addr, align 8
+ %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
+ %conv = trunc i64 %call to i32
+ store i32 %conv, ptr %gid, align 4
+ %0 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %call1 = call spir_func i64 @_Z14get_local_sizej(i32 noundef 0) #3
+ %1 = trunc i64 %call1 to i32
+ %2 = call spir_func target("spirv.ReserveId") @__work_group_reserve_read_pipe(target("spirv.Pipe", 0) %0, i32 %1, i32 1, i32 1)
+ store target("spirv.ReserveId") %2, ptr addrspace(3) @test_pipe_workgroup_read_char.res_id, align 8
+ %3 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_read_char.res_id, align 8
+ %call2 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %3) #4
+ br i1 %call2, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %4 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %5 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_read_char.res_id, align 8
+ %call3 = call spir_func i64 @_Z12get_local_idj(i32 noundef 0) #3
+ %6 = load ptr addrspace(1), ptr %dst.addr, align 8
+ %7 = load i32, ptr %gid, align 4
+ %idxprom = sext i32 %7 to i64
+ %arrayidx = getelementptr inbounds i8, ptr addrspace(1) %6, i64 %idxprom
+ %8 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
+ %9 = trunc i64 %call3 to i32
+ %10 = call spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0) %4, target("spirv.ReserveId") %5, i32 %9, ptr addrspace(4) %8, i32 1, i32 1)
+ %11 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %12 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_read_char.res_id, align 8
+ call spir_func void @__work_group_commit_read_pipe(target("spirv.Pipe", 0) %11, target("spirv.ReserveId") %12, i32 1, i32 1)
+ br label %if.end
+
+if.end: ; preds = %if.then, %entry
+ ret void
+}
+
+declare spir_func target("spirv.ReserveId") @__work_group_reserve_read_pipe(target("spirv.Pipe", 0), i32, i32, i32)
+
+declare spir_func void @__work_group_commit_read_pipe(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, i32)
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_subgroup_write_uint(ptr addrspace(1) noundef align 4 %src, target("spirv.Pipe", 1) %out_pipe) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !4 !kernel_arg_type !5 !kernel_arg_base_type !5 !kernel_arg_type_qual !6 {
+entry:
+ %src.addr = alloca ptr addrspace(1), align 8
+ %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
+ %gid = alloca i32, align 4
+ %res_id = alloca target("spirv.ReserveId"), align 8
+ store ptr addrspace(1) %src, ptr %src.addr, align 8
+ store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
+ %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
+ %conv = trunc i64 %call to i32
+ store i32 %conv, ptr %gid, align 4
+ %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %call1 = call spir_func i32 @_Z18get_sub_group_sizev() #4
+ %1 = call spir_func target("spirv.ReserveId") @__sub_group_reserve_write_pipe(target("spirv.Pipe", 1) %0, i32 %call1, i32 4, i32 4)
+ store target("spirv.ReserveId") %1, ptr %res_id, align 8
+ %2 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ %call2 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %2) #4
+ br i1 %call2, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %3 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %4 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ %call3 = call spir_func i32 @_Z22get_sub_group_local_idv() #4
+ %5 = load ptr addrspace(1), ptr %src.addr, align 8
+ %6 = load i32, ptr %gid, align 4
+ %idxprom = sext i32 %6 to i64
+ %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %5, i64 %idxprom
+ %7 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
+ %8 = call spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1) %3, target("spirv.ReserveId") %4, i32 %call3, ptr addrspace(4) %7, i32 4, i32 4)
+ %9 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
+ %10 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ call spir_func void @__sub_group_commit_write_pipe(target("spirv.Pipe", 1) %9, target("spirv.ReserveId") %10, i32 4, i32 4)
+ br label %if.end
+
+if.end: ; preds = %if.then, %entry
+ ret void
+}
+
+; Function Attrs: convergent nounwind
+declare spir_func i32 @_Z18get_sub_group_sizev() #2
+
+declare spir_func target("spirv.ReserveId") @__sub_group_reserve_write_pipe(target("spirv.Pipe", 1), i32, i32, i32)
+
+; Function Attrs: convergent nounwind
+declare spir_func i32 @_Z22get_sub_group_local_idv() #2
+
+declare spir_func void @__sub_group_commit_write_pipe(target("spirv.Pipe", 1), target("spirv.ReserveId"), i32, i32)
+
+; Function Attrs: convergent noinline norecurse nounwind optnone
+define dso_local spir_kernel void @test_pipe_subgroup_read_uint(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(1) noundef align 4 %dst) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !7 !kernel_arg_type !8 !kernel_arg_base_type !8 !kernel_arg_type_qual !9 {
+entry:
+ %in_pipe.addr = alloca target("spirv.Pipe", 0), align 8
+ %dst.addr = alloca ptr addrspace(1), align 8
+ %gid = alloca i32, align 4
+ %res_id = alloca target("spirv.ReserveId"), align 8
+ store target("spirv.Pipe", 0) %in_pipe, ptr %in_pipe.addr, align 8
+ store ptr addrspace(1) %dst, ptr %dst.addr, align 8
+ %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
+ %conv = trunc i64 %call to i32
+ store i32 %conv, ptr %gid, align 4
+ %0 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %call1 = call spir_func i32 @_Z18get_sub_group_sizev() #4
+ %1 = call spir_func target("spirv.ReserveId") @__sub_group_reserve_read_pipe(target("spirv.Pipe", 0) %0, i32 %call1, i32 4, i32 4)
+ store target("spirv.ReserveId") %1, ptr %res_id, align 8
+ %2 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ %call2 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %2) #4
+ br i1 %call2, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %3 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %4 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ %call3 = call spir_func i32 @_Z22get_sub_group_local_idv() #4
+ %5 = load ptr addrspace(1), ptr %dst.addr, align 8
+ %6 = load i32, ptr %gid, align 4
+ %idxprom = sext i32 %6 to i64
+ %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %5, i64 %idxprom
+ %7 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
+ %8 = call spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0) %3, target("spirv.ReserveId") %4, i32 %call3, ptr addrspace(4) %7, i32 4, i32 4)
+ %9 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
+ %10 = load target("spirv.ReserveId"), ptr %res_id, align 8
+ call spir_func void @__sub_group_commit_read_pipe(target("spirv.Pipe", 0) %9, target("spirv.ReserveId") %10, i32 4, i32 4)
+ br label %if.end
+
+if.end: ; preds = %if.then, %entry
+ ret void
+}
+
+declare spir_func target("spirv.ReserveId") @__sub_group_reserve_read_pipe(target("spirv.Pipe", 0), i32, i32, i32)
+
+declare spir_func void @__sub_group_commit_read_pipe(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, i32)
+
+attributes #0 = { convergent noinline norecurse nounwind optnone "no-trapping-math"="true" "stack-protector-buffer-size"="8" "uniform-work-group-size"="false" }
+attributes #1 = { convergent nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
+attributes #2 = { convergent nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
+attributes #3 = { convergent nounwind willreturn memory(none) }
+attributes #4 = { convergent nounwind }
+
+!llvm.module.flags = !{!0}
+!opencl.ocl.version = !{!1}
+!opencl.spir.version = !{!1}
+!llvm.ident = !{!2}
+
+!0 = !{i32 1, !"wchar_size", i32 4}
+!1 = !{i32 2, i32 0}
+!2 = !{!"Ubuntu clang version 19.1.7 (++20250114103320+cd708029e0b2-1~exp1~20250114103432.75)"}
+!3 = !{i32 1, i32 1}
+!4 = !{!"none", !"write_only"}
+!5 = !{!"uint*", !"uint"}
+!6 = !{!"", !"pipe"}
+!7 = !{!"read_only", !"none"}
+!8 = !{!"uint", !"uint*"}
+!9 = !{!"pipe", !""}
+!10 = !{!"int*", !"int"}
+!11 = !{i32 1, i32 1, i32 1}
+!12 = !{!"write_only", !"none", !"none"}
+!13 = !{!"int", !"int*", !"int*"}
+!14 = !{!"pipe", !"", !""}
+!15 = !{!"int", !"int*"}
+!16 = !{!"char*", !"char"}
+!17 = !{!"char", !"char*"}
>From bc589e5c1fec434cf918c46652e13ef986dee0a3 Mon Sep 17 00:00:00 2001
From: EbinJose2002 <ebin.jose at multicorewareinc.com>
Date: Fri, 16 May 2025 15:08:07 +0530
Subject: [PATCH 2/3] Changed test file
---
.../CodeGen/SPIRV/transcoding/builtin_pipe.ll | 517 ++++--------------
1 file changed, 105 insertions(+), 412 deletions(-)
diff --git a/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll b/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
index c0ea6f2c53c3a..b7188c48d8f69 100644
--- a/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
+++ b/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
@@ -1,446 +1,139 @@
-; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
-
-; Test generated from the opencl test in the SPIRV-LLVM Translator (pipe_builtins.cl)
+; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
; CHECK: OpCapability Kernel
; CHECK: OpCapability Addresses
; CHECK: OpCapability Pipes
-; CHECK: OpCapability Int64
+; CHECK: OpCapability Int8
+; CHECK: OpCapability GenericPointer
-; --- Check common types ---
; CHECK-DAG: %[[#PipeWriteTy:]] = OpTypePipe WriteOnly
; CHECK-DAG: %[[#PipeReadTy:]] = OpTypePipe ReadOnly
; CHECK-DAG: %[[#ReserveIdTy:]] = OpTypeReserveId
; CHECK-DAG: %[[#BoolTy:]] = OpTypeBool
; CHECK-DAG: %[[#Int32Ty:]] = OpTypeInt 32 0
-; CHECK-DAG: %[[#CONST:]] = OpConstant %[[#Int32Ty]] 4
-; CHECK-DAG: %[[#CONST2:]] = OpConstant %[[#Int32Ty]] 2
-; CHECK-DAG: %[[#CONST3:]] = OpConstant %[[#Int32Ty]] 3
-; CHECK-DAG: %[[#CONST4:]] = OpConstant %[[#Int32Ty]] 1
-
-; --- Function: test_pipe_convenience_write_uint ---
-; CHECK: %[[#ReadWriteInst1:]] = OpWritePipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-
-; --- Function: test_pipe_convenience_read_uint ---
-; CHECK: %[[#ReadPipeInst2:]] = OpReadPipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+; CHECK-DAG: %[[#Uint1:]] = OpConstant %[[#Int32Ty]] 1
+; CHECK-DAG: %[[#Uint2:]] = OpConstant %[[#Int32Ty]] 2
+; CHECK-DAG: %[[#Uint3:]] = OpConstant %[[#Int32Ty]] 3
+; CHECK-DAG: %[[#Uint4:]] = OpConstant %[[#Int32Ty]] 4
+; CHECK-DAG: %[[#NullUint:]] = OpConstantNull %[[#Int32Ty]]
+
+; CHECK: OpFunction
+; CHECK: %[[#FuncParam1:]] = OpFunctionParameter %[[#PipeWriteTy]]
+; CHECK: %[[#FuncParam2:]] = OpFunctionParameter %[[#PipeReadTy]]
+
+; CHECK: %[[#BasicWriteReserve:]] = OpReserveWritePipePackets %[[#ReserveIdTy]] %[[#FuncParam1]] %[[#Uint1]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpWritePipe %[[#Int32Ty]] %[[#FuncParam1]] %[[#]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpCommitWritePipe %[[#FuncParam1]] %[[#BasicWriteReserve]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: %[[#BasicReadReserve:]] = OpReserveReadPipePackets %[[#ReserveIdTy]] %[[#FuncParam2]] %[[#Uint1]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpReadPipe %[[#Int32Ty]] %[[#FuncParam2]] %[[#]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpCommitReadPipe %[[#FuncParam2]] %[[#BasicReadReserve]] %[[#Uint4]] %[[#Uint4]]
+
+; --- Reserved pipe operations ---
+; CHECK: %[[#ReservedWriteReserve:]] = OpReserveWritePipePackets %[[#ReserveIdTy]] %[[#FuncParam1]] %[[#Uint1]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: %[[#ReservedWrite:]] = OpReservedWritePipe %[[#Int32Ty]] %[[#FuncParam1]] %[[#ReservedWriteReserve]] %[[#NullUint]] %[[#]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: %[[#IsValidWrite:]] = OpIsValidReserveId %[[#BoolTy]] %[[#ReservedWriteReserve]]
+; CHECK: OpCommitWritePipe %[[#FuncParam1]] %[[#ReservedWriteReserve]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: %[[#ReservedReadReserve:]] = OpReserveReadPipePackets %[[#ReserveIdTy]] %[[#FuncParam2]] %[[#Uint1]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: %[[#ReservedRead:]] = OpReservedReadPipe %[[#Int32Ty]] %[[#FuncParam2]] %[[#ReservedReadReserve]] %[[#NullUint]] %[[#]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: %[[#IsValidRead:]] = OpIsValidReserveId %[[#BoolTy]] %[[#ReservedReadReserve]]
+; CHECK: OpCommitReadPipe %[[#FuncParam2]] %[[#ReservedReadReserve]] %[[#Uint4]] %[[#Uint4]]
+
+; --- Pipe packet queries ---
+; CHECK: %[[#MaxPacketsWO:]] = OpGetMaxPipePackets %[[#Int32Ty]] %[[#FuncParam1]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpStore %[[#]] %[[#MaxPacketsWO]] Aligned 4
+; CHECK: %[[#NumPacketsWO:]] = OpGetNumPipePackets %[[#Int32Ty]] %[[#FuncParam1]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpStore %[[#]] %[[#NumPacketsWO]] Aligned 4
+; CHECK: %[[#MaxPacketsRO:]] = OpGetMaxPipePackets %[[#Int32Ty]] %[[#FuncParam2]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpStore %[[#]] %[[#MaxPacketsRO]] Aligned 4
+; CHECK: %[[#NumPacketsRO:]] = OpGetNumPipePackets %[[#Int32Ty]] %[[#FuncParam2]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpStore %[[#]] %[[#NumPacketsRO]] Aligned 4
+
+; --- Workgroup operations ---
+; CHECK: %[[#WorkgroupWriteReserve:]] = OpGroupReserveWritePipePackets %[[#ReserveIdTy]] %[[#Uint2]] %[[#FuncParam1]] %[[#Uint1]] %[[#Uint1]] %[[#Uint1]]
+; CHECK: OpGroupCommitWritePipe %[[#Uint2]] %[[#FuncParam1]] %[[#WorkgroupWriteReserve]] %[[#Uint1]] %[[#Uint1]]
+; CHECK: %[[#WorkgroupReadReserve:]] = OpGroupReserveReadPipePackets %[[#ReserveIdTy]] %[[#Uint2]] %[[#FuncParam2]] %[[#Uint1]] %[[#Uint1]] %[[#Uint1]]
+; CHECK: OpGroupCommitReadPipe %[[#Uint2]] %[[#FuncParam2]] %[[#WorkgroupReadReserve]] %[[#Uint1]] %[[#Uint1]]
+
+; --- Subgroup operations ---
+; CHECK: %[[#SubgroupWriteReserve:]] = OpGroupReserveWritePipePackets %[[#ReserveIdTy]] %[[#Uint3]] %[[#FuncParam1]] %[[#Uint1]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpGroupCommitWritePipe %[[#Uint3]] %[[#FuncParam1]] %[[#SubgroupWriteReserve]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: %[[#SubgroupReadReserve:]] = OpGroupReserveReadPipePackets %[[#ReserveIdTy]] %[[#Uint3]] %[[#FuncParam2]] %[[#Uint1]] %[[#Uint4]] %[[#Uint4]]
+; CHECK: OpGroupCommitReadPipe %[[#Uint3]] %[[#FuncParam2]] %[[#SubgroupReadReserve]] %[[#Uint4]] %[[#Uint4]]
+
+define spir_kernel void @test_pipe_builtins(
+ target("spirv.Pipe", 1) %out_pipe,
+ target("spirv.Pipe", 0) %in_pipe,
+ ptr addrspace(4) %src,
+ ptr addrspace(4) %dst,
+ ptr addrspace(1) %max_packets_wo,
+ ptr addrspace(1) %num_packets_wo,
+ ptr addrspace(1) %max_packets_ro,
+ ptr addrspace(1) %num_packets_ro
+) {
+entry:
+ ; Basic pipe operations
+ %0 = call spir_func target("spirv.ReserveId") @__reserve_write_pipe(target("spirv.Pipe", 1) %out_pipe, i32 1, i32 4, i32 4)
+ %1 = call spir_func i32 @__write_pipe_2(target("spirv.Pipe", 1) %out_pipe, ptr addrspace(4) %src, i32 4, i32 4)
+ call spir_func void @__commit_write_pipe(target("spirv.Pipe", 1) %out_pipe, target("spirv.ReserveId") %0, i32 4, i32 4)
-; --- Function: test_pipe_write ---
-; CHECK: %[[#ReserveWrite1:]] = OpReserveWritePipePackets %[[#ReserveIdTy]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: %[[#IsValidWrite1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
-; CHECK: %[[#ReservedWrite1:]] = OpReservedWritePipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: OpCommitWritePipe %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+ %2 = call spir_func target("spirv.ReserveId") @__reserve_read_pipe(target("spirv.Pipe", 0) %in_pipe, i32 1, i32 4, i32 4)
+ %3 = call spir_func i32 @__read_pipe_2(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(4) %dst, i32 4, i32 4)
+ call spir_func void @__commit_read_pipe(target("spirv.Pipe", 0) %in_pipe, target("spirv.ReserveId") %2, i32 4, i32 4)
-; --- Function: test_pipe_query_functions ---
-; CHECK: %[[#]] = OpGetMaxPipePackets %[[#Int32Ty]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: %[[#]] = OpGetNumPipePackets %[[#Int32Ty]] %[[#]] %[[#CONST]] %[[#CONST]]
+ ; Reserved pipe operations
+ %4 = call spir_func target("spirv.ReserveId") @__reserve_write_pipe(target("spirv.Pipe", 1) %out_pipe, i32 1, i32 4, i32 4)
+ %5 = call spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1) %out_pipe, target("spirv.ReserveId") %4, i32 0, ptr addrspace(4) %src, i32 4, i32 4)
+ %6 = call spir_func i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %4)
+ call spir_func void @__commit_write_pipe(target("spirv.Pipe", 1) %out_pipe, target("spirv.ReserveId") %4, i32 4, i32 4)
-; --- Function: test_pipe_read ---
-; CHECK: %[[#ReserveRead1:]] = OpReserveReadPipePackets %[[#ReserveIdTy]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: %[[#IsValidRead1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
-; CHECK: %[[#ReservedRead1:]] = OpReservedReadPipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: OpCommitReadPipe %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+ %7 = call spir_func target("spirv.ReserveId") @__reserve_read_pipe(target("spirv.Pipe", 0) %in_pipe, i32 1, i32 4, i32 4)
+ %8 = call spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0) %in_pipe, target("spirv.ReserveId") %7, i32 0, ptr addrspace(4) %dst, i32 4, i32 4)
+ %9 = call spir_func i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %7)
+ call spir_func void @__commit_read_pipe(target("spirv.Pipe", 0) %in_pipe, target("spirv.ReserveId") %7, i32 4, i32 4)
-; --- Function: test_pipe_workgroup_write_char ---
-; CHECK: %[[#GRW1:]] = OpGroupReserveWritePipePackets %[[#ReserveIdTy]] %[[#CONST2]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
-; CHECK: %[[#IsValidGRW1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
-; CHECK: %[[#ReservedGWWrite:]] = OpReservedWritePipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
-; CHECK: OpGroupCommitWritePipe %[[#CONST2]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
+ ; Pipe packet queries
+ %10 = call spir_func i32 @__get_pipe_max_packets_wo(target("spirv.Pipe", 1) %out_pipe, i32 4, i32 4)
+ store i32 %10, ptr addrspace(1) %max_packets_wo, align 4
+ %11 = call spir_func i32 @__get_pipe_num_packets_wo(target("spirv.Pipe", 1) %out_pipe, i32 4, i32 4)
+ store i32 %11, ptr addrspace(1) %num_packets_wo, align 4
+ %12 = call spir_func i32 @__get_pipe_max_packets_ro(target("spirv.Pipe", 0) %in_pipe, i32 4, i32 4)
+ store i32 %12, ptr addrspace(1) %max_packets_ro, align 4
+ %13 = call spir_func i32 @__get_pipe_num_packets_ro(target("spirv.Pipe", 0) %in_pipe, i32 4, i32 4)
+ store i32 %13, ptr addrspace(1) %num_packets_ro, align 4
-; --- Function: test_pipe_workgroup_read_char ---
-; CHECK: %[[#GRR1:]] = OpGroupReserveReadPipePackets %[[#ReserveIdTy]] %[[#CONST2]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
-; CHECK: %[[#IsValidGRR1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
-; CHECK: %[[#ReservedGWRead:]] = OpReservedReadPipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
-; CHECK: OpGroupCommitReadPipe %[[#CONST2]] %[[#]] %[[#]] %[[#CONST4]] %[[#CONST4]]
+ ; Workgroup operations
+ %14 = call spir_func target("spirv.ReserveId") @__work_group_reserve_write_pipe(target("spirv.Pipe", 1) %out_pipe, i32 1, i32 1, i32 1)
+ call spir_func void @__work_group_commit_write_pipe(target("spirv.Pipe", 1) %out_pipe, target("spirv.ReserveId") %14, i32 1, i32 1)
+ %15 = call spir_func target("spirv.ReserveId") @__work_group_reserve_read_pipe(target("spirv.Pipe", 0) %in_pipe, i32 1, i32 1, i32 1)
+ call spir_func void @__work_group_commit_read_pipe(target("spirv.Pipe", 0) %in_pipe, target("spirv.ReserveId") %15, i32 1, i32 1)
-; --- Function: test_pipe_subgroup_write_uint ---
-; CHECK: %[[#SRW1:]] = OpGroupReserveWritePipePackets %[[#ReserveIdTy]] %[[#CONST3]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: %[[#IsValidSRW1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
-; CHECK: %[[#ReservedSWWrite:]] = OpReservedWritePipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: OpGroupCommitWritePipe %[[#CONST3]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
+ ; Subgroup operations
+ %16 = call spir_func target("spirv.ReserveId") @__sub_group_reserve_write_pipe(target("spirv.Pipe", 1) %out_pipe, i32 1, i32 4, i32 4)
+ call spir_func void @__sub_group_commit_write_pipe(target("spirv.Pipe", 1) %out_pipe, target("spirv.ReserveId") %16, i32 4, i32 4)
+ %17 = call spir_func target("spirv.ReserveId") @__sub_group_reserve_read_pipe(target("spirv.Pipe", 0) %in_pipe, i32 1, i32 4, i32 4)
+ call spir_func void @__sub_group_commit_read_pipe(target("spirv.Pipe", 0) %in_pipe, target("spirv.ReserveId") %17, i32 4, i32 4)
-; --- Function: test_pipe_subgroup_read_uint ---
-; CHECK: %[[#SRR1:]] = OpGroupReserveReadPipePackets %[[#ReserveIdTy]] %[[#CONST3]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: %[[#IsValidSRR1:]] = OpIsValidReserveId %[[#BoolTy]] %[[#]]
-; CHECK: %[[#ReservedSWRead:]] = OpReservedReadPipe %[[#Int32Ty]] %[[#]] %[[#]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-; CHECK: OpGroupCommitReadPipe %[[#CONST3]] %[[#]] %[[#]] %[[#CONST]] %[[#CONST]]
-
- at test_pipe_workgroup_write_char.res_id = internal addrspace(3) global target("spirv.ReserveId") undef, align 8
- at test_pipe_workgroup_read_char.res_id = internal addrspace(3) global target("spirv.ReserveId") undef, align 8
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_convenience_write_uint(ptr addrspace(1) noundef align 4 %src, target("spirv.Pipe", 1) %out_pipe) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !4 !kernel_arg_type !5 !kernel_arg_base_type !5 !kernel_arg_type_qual !6 {
-entry:
- %src.addr = alloca ptr addrspace(1), align 8
- %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
- %gid = alloca i32, align 4
- store ptr addrspace(1) %src, ptr %src.addr, align 8
- store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
- %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
- %conv = trunc i64 %call to i32
- store i32 %conv, ptr %gid, align 4
- %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %1 = load ptr addrspace(1), ptr %src.addr, align 8
- %2 = load i32, ptr %gid, align 4
- %idxprom = sext i32 %2 to i64
- %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %1, i64 %idxprom
- %3 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
- %4 = call spir_func i32 @__write_pipe_2(target("spirv.Pipe", 1) %0, ptr addrspace(4) %3, i32 4, i32 4)
ret void
}
-; Function Attrs: convergent nounwind willreturn memory(none)
-declare spir_func i64 @_Z13get_global_idj(i32 noundef) #1
-
+declare spir_func target("spirv.ReserveId") @__reserve_write_pipe(target("spirv.Pipe", 1), i32, i32, i32)
+declare spir_func target("spirv.ReserveId") @__reserve_read_pipe(target("spirv.Pipe", 0), i32, i32, i32)
declare spir_func i32 @__write_pipe_2(target("spirv.Pipe", 1), ptr addrspace(4), i32, i32)
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_convenience_read_uint(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(1) noundef align 4 %dst) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !7 !kernel_arg_type !8 !kernel_arg_base_type !8 !kernel_arg_type_qual !9 {
-entry:
- %in_pipe.addr = alloca target("spirv.Pipe", 0), align 8
- %dst.addr = alloca ptr addrspace(1), align 8
- %gid = alloca i32, align 4
- store target("spirv.Pipe", 0) %in_pipe, ptr %in_pipe.addr, align 8
- store ptr addrspace(1) %dst, ptr %dst.addr, align 8
- %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
- %conv = trunc i64 %call to i32
- store i32 %conv, ptr %gid, align 4
- %0 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %1 = load ptr addrspace(1), ptr %dst.addr, align 8
- %2 = load i32, ptr %gid, align 4
- %idxprom = sext i32 %2 to i64
- %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %1, i64 %idxprom
- %3 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
- %4 = call spir_func i32 @__read_pipe_2(target("spirv.Pipe", 0) %0, ptr addrspace(4) %3, i32 4, i32 4)
- ret void
-}
-
declare spir_func i32 @__read_pipe_2(target("spirv.Pipe", 0), ptr addrspace(4), i32, i32)
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_write(ptr addrspace(1) noundef align 4 %src, target("spirv.Pipe", 1) %out_pipe) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !4 !kernel_arg_type !10 !kernel_arg_base_type !10 !kernel_arg_type_qual !6 {
-entry:
- %src.addr = alloca ptr addrspace(1), align 8
- %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
- %gid = alloca i32, align 4
- %res_id = alloca target("spirv.ReserveId"), align 8
- store ptr addrspace(1) %src, ptr %src.addr, align 8
- store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
- %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
- %conv = trunc i64 %call to i32
- store i32 %conv, ptr %gid, align 4
- %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %1 = call spir_func target("spirv.ReserveId") @__reserve_write_pipe(target("spirv.Pipe", 1) %0, i32 1, i32 4, i32 4)
- store target("spirv.ReserveId") %1, ptr %res_id, align 8
- %2 = load target("spirv.ReserveId"), ptr %res_id, align 8
- %call1 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %2) #4
- br i1 %call1, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- %3 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %4 = load target("spirv.ReserveId"), ptr %res_id, align 8
- %5 = load ptr addrspace(1), ptr %src.addr, align 8
- %6 = load i32, ptr %gid, align 4
- %idxprom = sext i32 %6 to i64
- %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %5, i64 %idxprom
- %7 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
- %8 = call spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1) %3, target("spirv.ReserveId") %4, i32 0, ptr addrspace(4) %7, i32 4, i32 4)
- %9 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %10 = load target("spirv.ReserveId"), ptr %res_id, align 8
- call spir_func void @__commit_write_pipe(target("spirv.Pipe", 1) %9, target("spirv.ReserveId") %10, i32 4, i32 4)
- br label %if.end
-
-if.end: ; preds = %if.then, %entry
- ret void
-}
-
-declare spir_func target("spirv.ReserveId") @__reserve_write_pipe(target("spirv.Pipe", 1), i32, i32, i32)
-
-; Function Attrs: convergent nounwind
-declare spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId")) #2
-
declare spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1), target("spirv.ReserveId"), i32, ptr addrspace(4), i32, i32)
-
+declare spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, ptr addrspace(4), i32, i32)
declare spir_func void @__commit_write_pipe(target("spirv.Pipe", 1), target("spirv.ReserveId"), i32, i32)
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_query_functions(target("spirv.Pipe", 1) %out_pipe, ptr addrspace(1) noundef align 4 %num_packets, ptr addrspace(1) noundef align 4 %max_packets) #0 !kernel_arg_addr_space !11 !kernel_arg_access_qual !12 !kernel_arg_type !13 !kernel_arg_base_type !13 !kernel_arg_type_qual !14 {
-entry:
- %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
- %num_packets.addr = alloca ptr addrspace(1), align 8
- %max_packets.addr = alloca ptr addrspace(1), align 8
- store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
- store ptr addrspace(1) %num_packets, ptr %num_packets.addr, align 8
- store ptr addrspace(1) %max_packets, ptr %max_packets.addr, align 8
- %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %1 = call spir_func i32 @__get_pipe_max_packets_wo(target("spirv.Pipe", 1) %0, i32 4, i32 4)
- %2 = load ptr addrspace(1), ptr %max_packets.addr, align 8
- store i32 %1, ptr addrspace(1) %2, align 4
- %3 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %4 = call spir_func i32 @__get_pipe_num_packets_wo(target("spirv.Pipe", 1) %3, i32 4, i32 4)
- %5 = load ptr addrspace(1), ptr %num_packets.addr, align 8
- store i32 %4, ptr addrspace(1) %5, align 4
- ret void
-}
-
+declare spir_func void @__commit_read_pipe(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, i32)
+declare spir_func i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId"))
declare spir_func i32 @__get_pipe_max_packets_wo(target("spirv.Pipe", 1), i32, i32)
-
declare spir_func i32 @__get_pipe_num_packets_wo(target("spirv.Pipe", 1), i32, i32)
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_read(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(1) noundef align 4 %dst) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !7 !kernel_arg_type !15 !kernel_arg_base_type !15 !kernel_arg_type_qual !9 {
-entry:
- %in_pipe.addr = alloca target("spirv.Pipe", 0), align 8
- %dst.addr = alloca ptr addrspace(1), align 8
- %gid = alloca i32, align 4
- %res_id = alloca target("spirv.ReserveId"), align 8
- store target("spirv.Pipe", 0) %in_pipe, ptr %in_pipe.addr, align 8
- store ptr addrspace(1) %dst, ptr %dst.addr, align 8
- %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
- %conv = trunc i64 %call to i32
- store i32 %conv, ptr %gid, align 4
- %0 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %1 = call spir_func target("spirv.ReserveId") @__reserve_read_pipe(target("spirv.Pipe", 0) %0, i32 1, i32 4, i32 4)
- store target("spirv.ReserveId") %1, ptr %res_id, align 8
- %2 = load target("spirv.ReserveId"), ptr %res_id, align 8
- %call1 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %2) #4
- br i1 %call1, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- %3 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %4 = load target("spirv.ReserveId"), ptr %res_id, align 8
- %5 = load ptr addrspace(1), ptr %dst.addr, align 8
- %6 = load i32, ptr %gid, align 4
- %idxprom = sext i32 %6 to i64
- %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %5, i64 %idxprom
- %7 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
- %8 = call spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0) %3, target("spirv.ReserveId") %4, i32 0, ptr addrspace(4) %7, i32 4, i32 4)
- %9 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %10 = load target("spirv.ReserveId"), ptr %res_id, align 8
- call spir_func void @__commit_read_pipe(target("spirv.Pipe", 0) %9, target("spirv.ReserveId") %10, i32 4, i32 4)
- br label %if.end
-
-if.end: ; preds = %if.then, %entry
- ret void
-}
-
-declare spir_func target("spirv.ReserveId") @__reserve_read_pipe(target("spirv.Pipe", 0), i32, i32, i32)
-
-declare spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, ptr addrspace(4), i32, i32)
-
-declare spir_func void @__commit_read_pipe(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, i32)
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_workgroup_write_char(ptr addrspace(1) noundef align 1 %src, target("spirv.Pipe", 1) %out_pipe) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !4 !kernel_arg_type !16 !kernel_arg_base_type !16 !kernel_arg_type_qual !6 {
-entry:
- %src.addr = alloca ptr addrspace(1), align 8
- %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
- %gid = alloca i32, align 4
- store ptr addrspace(1) %src, ptr %src.addr, align 8
- store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
- %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
- %conv = trunc i64 %call to i32
- store i32 %conv, ptr %gid, align 4
- %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %call1 = call spir_func i64 @_Z14get_local_sizej(i32 noundef 0) #3
- %1 = trunc i64 %call1 to i32
- %2 = call spir_func target("spirv.ReserveId") @__work_group_reserve_write_pipe(target("spirv.Pipe", 1) %0, i32 %1, i32 1, i32 1)
- store target("spirv.ReserveId") %2, ptr addrspace(3) @test_pipe_workgroup_write_char.res_id, align 8
- %3 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_write_char.res_id, align 8
- %call2 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %3) #4
- br i1 %call2, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- %4 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %5 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_write_char.res_id, align 8
- %call3 = call spir_func i64 @_Z12get_local_idj(i32 noundef 0) #3
- %6 = load ptr addrspace(1), ptr %src.addr, align 8
- %7 = load i32, ptr %gid, align 4
- %idxprom = sext i32 %7 to i64
- %arrayidx = getelementptr inbounds i8, ptr addrspace(1) %6, i64 %idxprom
- %8 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
- %9 = trunc i64 %call3 to i32
- %10 = call spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1) %4, target("spirv.ReserveId") %5, i32 %9, ptr addrspace(4) %8, i32 1, i32 1)
- %11 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %12 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_write_char.res_id, align 8
- call spir_func void @__work_group_commit_write_pipe(target("spirv.Pipe", 1) %11, target("spirv.ReserveId") %12, i32 1, i32 1)
- br label %if.end
-
-if.end: ; preds = %if.then, %entry
- ret void
-}
-
-; Function Attrs: convergent nounwind willreturn memory(none)
-declare spir_func i64 @_Z14get_local_sizej(i32 noundef) #1
-
+declare spir_func i32 @__get_pipe_max_packets_ro(target("spirv.Pipe", 0), i32, i32)
+declare spir_func i32 @__get_pipe_num_packets_ro(target("spirv.Pipe", 0), i32, i32)
declare spir_func target("spirv.ReserveId") @__work_group_reserve_write_pipe(target("spirv.Pipe", 1), i32, i32, i32)
-
-; Function Attrs: convergent nounwind willreturn memory(none)
-declare spir_func i64 @_Z12get_local_idj(i32 noundef) #1
-
declare spir_func void @__work_group_commit_write_pipe(target("spirv.Pipe", 1), target("spirv.ReserveId"), i32, i32)
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_workgroup_read_char(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(1) noundef align 1 %dst) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !7 !kernel_arg_type !17 !kernel_arg_base_type !17 !kernel_arg_type_qual !9 {
-entry:
- %in_pipe.addr = alloca target("spirv.Pipe", 0), align 8
- %dst.addr = alloca ptr addrspace(1), align 8
- %gid = alloca i32, align 4
- store target("spirv.Pipe", 0) %in_pipe, ptr %in_pipe.addr, align 8
- store ptr addrspace(1) %dst, ptr %dst.addr, align 8
- %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
- %conv = trunc i64 %call to i32
- store i32 %conv, ptr %gid, align 4
- %0 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %call1 = call spir_func i64 @_Z14get_local_sizej(i32 noundef 0) #3
- %1 = trunc i64 %call1 to i32
- %2 = call spir_func target("spirv.ReserveId") @__work_group_reserve_read_pipe(target("spirv.Pipe", 0) %0, i32 %1, i32 1, i32 1)
- store target("spirv.ReserveId") %2, ptr addrspace(3) @test_pipe_workgroup_read_char.res_id, align 8
- %3 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_read_char.res_id, align 8
- %call2 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %3) #4
- br i1 %call2, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- %4 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %5 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_read_char.res_id, align 8
- %call3 = call spir_func i64 @_Z12get_local_idj(i32 noundef 0) #3
- %6 = load ptr addrspace(1), ptr %dst.addr, align 8
- %7 = load i32, ptr %gid, align 4
- %idxprom = sext i32 %7 to i64
- %arrayidx = getelementptr inbounds i8, ptr addrspace(1) %6, i64 %idxprom
- %8 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
- %9 = trunc i64 %call3 to i32
- %10 = call spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0) %4, target("spirv.ReserveId") %5, i32 %9, ptr addrspace(4) %8, i32 1, i32 1)
- %11 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %12 = load target("spirv.ReserveId"), ptr addrspace(3) @test_pipe_workgroup_read_char.res_id, align 8
- call spir_func void @__work_group_commit_read_pipe(target("spirv.Pipe", 0) %11, target("spirv.ReserveId") %12, i32 1, i32 1)
- br label %if.end
-
-if.end: ; preds = %if.then, %entry
- ret void
-}
-
declare spir_func target("spirv.ReserveId") @__work_group_reserve_read_pipe(target("spirv.Pipe", 0), i32, i32, i32)
-
declare spir_func void @__work_group_commit_read_pipe(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, i32)
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_subgroup_write_uint(ptr addrspace(1) noundef align 4 %src, target("spirv.Pipe", 1) %out_pipe) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !4 !kernel_arg_type !5 !kernel_arg_base_type !5 !kernel_arg_type_qual !6 {
-entry:
- %src.addr = alloca ptr addrspace(1), align 8
- %out_pipe.addr = alloca target("spirv.Pipe", 1), align 8
- %gid = alloca i32, align 4
- %res_id = alloca target("spirv.ReserveId"), align 8
- store ptr addrspace(1) %src, ptr %src.addr, align 8
- store target("spirv.Pipe", 1) %out_pipe, ptr %out_pipe.addr, align 8
- %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
- %conv = trunc i64 %call to i32
- store i32 %conv, ptr %gid, align 4
- %0 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %call1 = call spir_func i32 @_Z18get_sub_group_sizev() #4
- %1 = call spir_func target("spirv.ReserveId") @__sub_group_reserve_write_pipe(target("spirv.Pipe", 1) %0, i32 %call1, i32 4, i32 4)
- store target("spirv.ReserveId") %1, ptr %res_id, align 8
- %2 = load target("spirv.ReserveId"), ptr %res_id, align 8
- %call2 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %2) #4
- br i1 %call2, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- %3 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %4 = load target("spirv.ReserveId"), ptr %res_id, align 8
- %call3 = call spir_func i32 @_Z22get_sub_group_local_idv() #4
- %5 = load ptr addrspace(1), ptr %src.addr, align 8
- %6 = load i32, ptr %gid, align 4
- %idxprom = sext i32 %6 to i64
- %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %5, i64 %idxprom
- %7 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
- %8 = call spir_func i32 @__write_pipe_4(target("spirv.Pipe", 1) %3, target("spirv.ReserveId") %4, i32 %call3, ptr addrspace(4) %7, i32 4, i32 4)
- %9 = load target("spirv.Pipe", 1), ptr %out_pipe.addr, align 8
- %10 = load target("spirv.ReserveId"), ptr %res_id, align 8
- call spir_func void @__sub_group_commit_write_pipe(target("spirv.Pipe", 1) %9, target("spirv.ReserveId") %10, i32 4, i32 4)
- br label %if.end
-
-if.end: ; preds = %if.then, %entry
- ret void
-}
-
-; Function Attrs: convergent nounwind
-declare spir_func i32 @_Z18get_sub_group_sizev() #2
-
declare spir_func target("spirv.ReserveId") @__sub_group_reserve_write_pipe(target("spirv.Pipe", 1), i32, i32, i32)
-
-; Function Attrs: convergent nounwind
-declare spir_func i32 @_Z22get_sub_group_local_idv() #2
-
declare spir_func void @__sub_group_commit_write_pipe(target("spirv.Pipe", 1), target("spirv.ReserveId"), i32, i32)
-
-; Function Attrs: convergent noinline norecurse nounwind optnone
-define dso_local spir_kernel void @test_pipe_subgroup_read_uint(target("spirv.Pipe", 0) %in_pipe, ptr addrspace(1) noundef align 4 %dst) #0 !kernel_arg_addr_space !3 !kernel_arg_access_qual !7 !kernel_arg_type !8 !kernel_arg_base_type !8 !kernel_arg_type_qual !9 {
-entry:
- %in_pipe.addr = alloca target("spirv.Pipe", 0), align 8
- %dst.addr = alloca ptr addrspace(1), align 8
- %gid = alloca i32, align 4
- %res_id = alloca target("spirv.ReserveId"), align 8
- store target("spirv.Pipe", 0) %in_pipe, ptr %in_pipe.addr, align 8
- store ptr addrspace(1) %dst, ptr %dst.addr, align 8
- %call = call spir_func i64 @_Z13get_global_idj(i32 noundef 0) #3
- %conv = trunc i64 %call to i32
- store i32 %conv, ptr %gid, align 4
- %0 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %call1 = call spir_func i32 @_Z18get_sub_group_sizev() #4
- %1 = call spir_func target("spirv.ReserveId") @__sub_group_reserve_read_pipe(target("spirv.Pipe", 0) %0, i32 %call1, i32 4, i32 4)
- store target("spirv.ReserveId") %1, ptr %res_id, align 8
- %2 = load target("spirv.ReserveId"), ptr %res_id, align 8
- %call2 = call spir_func zeroext i1 @_Z19is_valid_reserve_id13ocl_reserveid(target("spirv.ReserveId") %2) #4
- br i1 %call2, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- %3 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %4 = load target("spirv.ReserveId"), ptr %res_id, align 8
- %call3 = call spir_func i32 @_Z22get_sub_group_local_idv() #4
- %5 = load ptr addrspace(1), ptr %dst.addr, align 8
- %6 = load i32, ptr %gid, align 4
- %idxprom = sext i32 %6 to i64
- %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %5, i64 %idxprom
- %7 = addrspacecast ptr addrspace(1) %arrayidx to ptr addrspace(4)
- %8 = call spir_func i32 @__read_pipe_4(target("spirv.Pipe", 0) %3, target("spirv.ReserveId") %4, i32 %call3, ptr addrspace(4) %7, i32 4, i32 4)
- %9 = load target("spirv.Pipe", 0), ptr %in_pipe.addr, align 8
- %10 = load target("spirv.ReserveId"), ptr %res_id, align 8
- call spir_func void @__sub_group_commit_read_pipe(target("spirv.Pipe", 0) %9, target("spirv.ReserveId") %10, i32 4, i32 4)
- br label %if.end
-
-if.end: ; preds = %if.then, %entry
- ret void
-}
-
declare spir_func target("spirv.ReserveId") @__sub_group_reserve_read_pipe(target("spirv.Pipe", 0), i32, i32, i32)
-
declare spir_func void @__sub_group_commit_read_pipe(target("spirv.Pipe", 0), target("spirv.ReserveId"), i32, i32)
-
-attributes #0 = { convergent noinline norecurse nounwind optnone "no-trapping-math"="true" "stack-protector-buffer-size"="8" "uniform-work-group-size"="false" }
-attributes #1 = { convergent nounwind willreturn memory(none) "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
-attributes #2 = { convergent nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
-attributes #3 = { convergent nounwind willreturn memory(none) }
-attributes #4 = { convergent nounwind }
-
-!llvm.module.flags = !{!0}
-!opencl.ocl.version = !{!1}
-!opencl.spir.version = !{!1}
-!llvm.ident = !{!2}
-
-!0 = !{i32 1, !"wchar_size", i32 4}
-!1 = !{i32 2, i32 0}
-!2 = !{!"Ubuntu clang version 19.1.7 (++20250114103320+cd708029e0b2-1~exp1~20250114103432.75)"}
-!3 = !{i32 1, i32 1}
-!4 = !{!"none", !"write_only"}
-!5 = !{!"uint*", !"uint"}
-!6 = !{!"", !"pipe"}
-!7 = !{!"read_only", !"none"}
-!8 = !{!"uint", !"uint*"}
-!9 = !{!"pipe", !""}
-!10 = !{!"int*", !"int"}
-!11 = !{i32 1, i32 1, i32 1}
-!12 = !{!"write_only", !"none", !"none"}
-!13 = !{!"int", !"int*", !"int*"}
-!14 = !{!"pipe", !"", !""}
-!15 = !{!"int", !"int*"}
-!16 = !{!"char*", !"char"}
-!17 = !{!"char", !"char*"}
>From 143d7e8af531850d98fe8336cc8def25fe506aed Mon Sep 17 00:00:00 2001
From: Ebin-McW <ebin.jose at multicorewareinc.com>
Date: Mon, 4 Aug 2025 10:38:50 +0530
Subject: [PATCH 3/3] Update
llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
Co-authored-by: Michal Paszkowski <michal at michalpaszkowski.com>
---
llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll | 1 +
1 file changed, 1 insertion(+)
diff --git a/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll b/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
index b7188c48d8f69..607997d034f09 100644
--- a/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
+++ b/llvm/test/CodeGen/SPIRV/transcoding/builtin_pipe.ll
@@ -1,4 +1,5 @@
; 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 %}
; CHECK: OpCapability Kernel
; CHECK: OpCapability Addresses
More information about the llvm-commits
mailing list