; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv-unknown-vulkan-compute %s -o - | FileCheck %s ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan %s -o - -filetype=obj | spirv-val %} ; CHECK-DAG: %[[#uint_ty:]] = OpTypeInt 32 0 ; CHECK-DAG: %[[#uint_0:]] = OpConstant %[[#uint_ty]] 0{{$}} ; CHECK-DAG: %[[#int_10:]] = OpConstant %[[#uint_ty]] 10{{$}} ; CHECK-DAG: %[[#array_ty:]] = OpTypeArray %[[#uint_ty]] %[[#int_10]] ; CHECK-DAG: %[[#array_fp:]] = OpTypePointer Function %[[#array_ty]] ; CHECK-DAG: %[[#array_pp:]] = OpTypePointer Private %[[#array_ty]] ; CHECK-DAG: %[[#int_fp:]] = OpTypePointer Function %[[#uint_ty]] ; CHECK-DAG: %[[#int_pp:]] = OpTypePointer Private %[[#uint_ty]] @gv = external addrspace(10) global [10 x i32] ; CHECK: %[[#gv:]] = OpVariable %[[#array_pp]] Private define internal spir_func i32 @foo() { %array = alloca [10 x i32], align 4 ; CHECK: %[[#array:]] = OpVariable %[[#array_fp:]] Function ; Direct load from the pointer index. This requires an OpAccessChain %1 = load i32, ptr %array, align 4 ; CHECK: %[[#ptr:]] = OpAccessChain %[[#int_fp]] %[[#array]] %[[#uint_0]] ; CHECK: %[[#val:]] = OpLoad %[[#uint_ty]] %[[#ptr]] Aligned 4 ret i32 %1 ; CHECK: OpReturnValue %[[#val]] } define internal spir_func i32 @bar() { ; Direct load from the pointer index. This requires an OpAccessChain %1 = load i32, ptr addrspace(10) @gv ; CHECK: %[[#ptr:]] = OpAccessChain %[[#int_pp]] %[[#gv]] %[[#uint_0]] ; CHECK: %[[#val:]] = OpLoad %[[#uint_ty]] %[[#ptr]] Aligned 4 ret i32 %1 ; CHECK: OpReturnValue %[[#val]] }