aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/CodeGen/SPIRV/pointers/array-skips-gep.ll
blob: 3bc07bc137ac60e0d7c92b6576dfba537b87f418 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
; 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]]
}