38 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv-unknown-vulkan-compute %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan %s -o - -filetype=obj | spirv-val %}3 4; CHECK-DAG: %[[#uint_ty:]] = OpTypeInt 32 05; CHECK-DAG: %[[#uint_0:]] = OpConstant %[[#uint_ty]] 0{{$}}6; CHECK-DAG: %[[#int_10:]] = OpConstant %[[#uint_ty]] 10{{$}}7; CHECK-DAG: %[[#array_ty:]] = OpTypeArray %[[#uint_ty]] %[[#int_10]]8; CHECK-DAG: %[[#array_fp:]] = OpTypePointer Function %[[#array_ty]]9; CHECK-DAG: %[[#array_pp:]] = OpTypePointer Private %[[#array_ty]]10; CHECK-DAG: %[[#int_fp:]] = OpTypePointer Function %[[#uint_ty]]11; CHECK-DAG: %[[#int_pp:]] = OpTypePointer Private %[[#uint_ty]]12 13@gv = external addrspace(10) global [10 x i32]14; CHECK: %[[#gv:]] = OpVariable %[[#array_pp]] Private15 16define internal spir_func i32 @foo() {17 %array = alloca [10 x i32], align 418; CHECK: %[[#array:]] = OpVariable %[[#array_fp:]] Function19 20 ; Direct load from the pointer index. This requires an OpAccessChain21 %1 = load i32, ptr %array, align 422; CHECK: %[[#ptr:]] = OpAccessChain %[[#int_fp]] %[[#array]] %[[#uint_0]]23; CHECK: %[[#val:]] = OpLoad %[[#uint_ty]] %[[#ptr]] Aligned 424 25 ret i32 %126; CHECK: OpReturnValue %[[#val]]27}28 29define internal spir_func i32 @bar() {30 ; Direct load from the pointer index. This requires an OpAccessChain31 %1 = load i32, ptr addrspace(10) @gv32; CHECK: %[[#ptr:]] = OpAccessChain %[[#int_pp]] %[[#gv]] %[[#uint_0]]33; CHECK: %[[#val:]] = OpLoad %[[#uint_ty]] %[[#ptr]] Aligned 434 35 ret i32 %136; CHECK: OpReturnValue %[[#val]]37}38