42 lines · plain
1; RUN: llc -O0 -verify-machineinstrs -mtriple=spirv1.6-vulkan1.3-library %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv1.6-vulkan1.3-library %s -o - -filetype=obj | spirv-val %}3 4target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-n8:16:32:64-G1"5 6 7@.str.unpacked = private unnamed_addr constant [12 x i8] c"UnpackedRes\00", align 18@.str.packed = private unnamed_addr constant [10 x i8] c"PackedRes\00", align 19 10; CHECK-DAG: OpName [[unpacked:%[0-9]+]] "unpacked"11; CHECK-DAG: OpName [[packed:%[0-9]+]] "packed"12 13; CHECK-NOT: OpDecorate {{.*}} CPacked14; CHECK-DAG: OpMemberDecorate [[unpacked]] 0 Offset 015; CHECK-DAG: OpMemberDecorate [[unpacked]] 1 Offset 1616 17; CHECK-NOT: OpDecorate {{.*}} CPacked18; CHECK-DAG: OpMemberDecorate [[packed]] 0 Offset 019; CHECK-DAG: OpMemberDecorate [[packed]] 1 Offset 420; CHECK-NOT: OpDecorate {{.*}} CPacked21 22 23%unpacked = type {i32, <3 x i32>}24%packed = type <{i32, <3 x i32>}>25 26 27define external i32 @unpacked_vulkan_buffer_load() {28entry:29 %handle = tail call target("spirv.VulkanBuffer", [0 x %unpacked], 12, 0) @llvm.spv.resource.handlefrombinding(i32 0, i32 0, i32 1, i32 0, ptr nonnull @.str.unpacked)30 %0 = tail call noundef nonnull align 4 dereferenceable(4) ptr addrspace(11) @llvm.spv.resource.getpointer(target("spirv.VulkanBuffer", [0 x %unpacked], 12, 0) %handle, i32 1)31 %1 = load i32, ptr addrspace(11) %0, align 432 ret i32 %133}34 35define external i32 @packed_vulkan_buffer_load() {36entry:37 %handle = tail call target("spirv.VulkanBuffer", [0 x %packed], 12, 0) @llvm.spv.resource.handlefrombinding(i32 0, i32 1, i32 1, i32 0, ptr nonnull @.str.packed)38 %0 = tail call noundef nonnull align 4 dereferenceable(4) ptr addrspace(11) @llvm.spv.resource.getpointer(target("spirv.VulkanBuffer", [0 x %packed], 12, 0) %handle, i32 1)39 %1 = load i32, ptr addrspace(11) %0, align 440 ret i32 %141}42