| ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv-unknown-vulkan-compute %s -o - | FileCheck %s | |
| ; FIXME: spirv-val rejects the generated OpStore for float global sinks (separate | |
| ; from ptrcast legalization); legalizer coverage is in SPIRVLegalizePointerCast.ll. | |
| ; CHECK-DAG: [[AC:%[0-9]+]] = OpAccessChain {{.*}} | |
| ; CHECK-DAG: OpLoad {{.*}} [[AC]] | |
| ; CHECK-DAG: OpBitcast | |
| ; CHECK-NOT: OpTypeVector | |
| ; CHECK: OpStore {{.*}} | |
| @.str = private unnamed_addr constant [4 x i8] c"Buf\00", align 1 | |
| @out = addrspace(10) global float zeroinitializer, align 4 | |
| define void @main() local_unnamed_addr #0 { | |
| entry: | |
| %handle = tail call target("spirv.VulkanBuffer", [0 x i8], 12, 0) @llvm.spv.resource.handlefrombinding(i32 0, i32 0, i32 1, i32 0, ptr nonnull @.str) | |
| %ptr = tail call noundef align 4 dereferenceable(4) ptr addrspace(11) @llvm.spv.resource.getpointer(target("spirv.VulkanBuffer", [0 x i8], 12, 0) %handle, i32 0) | |
| %val = load float, ptr addrspace(11) %ptr, align 4 | |
| store float %val, ptr addrspace(10) @out, align 4 | |
| ret void | |
| } | |
| attributes #0 = { "hlsl.numthreads"="1,1,1" "hlsl.shader"="compute" } |