; RUN: llc -verify-machineinstrs -O3 -mtriple=spirv-unknown-vulkan1.3-compute %s -o - | FileCheck %s
; RUN: %if spirv-tools %{ llc -O3 -mtriple=spirv-unknown-vulkan1.3-compute %s -o - -filetype=obj | spirv-val %}

; CHECK-DAG:                     %[[#uint:]] = OpTypeInt 32 0
; CHECK-DAG:                   %[[#uint_0:]] = OpConstant %[[#uint]] 0
; CHECK-DAG:                 %[[#ptr_uint:]] = OpTypePointer Private %[[#uint]]
; CHECK-DAG:                      %[[#var:]] = OpVariable %[[#ptr_uint]] Private %[[#uint_0]]

; CHECK-DAG:  OpName %[[#func_simple:]] "simple"
; CHECK-DAG:  OpName %[[#func_chain:]] "chain"

@global = internal addrspace(10) global i32 zeroinitializer

define void @simple() {
; CHECK: %[[#func_simple]] = OpFunction
entry:
  %ptr = getelementptr i32, ptr addrspace(10) @global, i32 0
  %casted = addrspacecast ptr addrspace(10) %ptr to ptr
  %val = load i32, ptr %casted
; CHECK: %{{.*}} = OpLoad %[[#uint]] %[[#var]] Aligned 4
  ret void
}

define void @chain() {
; CHECK: %[[#func_chain]] = OpFunction
entry:
  %a = getelementptr i32, ptr addrspace(10) @global, i32 0
  %b = addrspacecast ptr addrspace(10) %a to ptr
  %c = getelementptr i32, ptr %b, i32 0
  %d = addrspacecast ptr %c to ptr addrspace(10)
  %e = addrspacecast ptr addrspace(10) %d to ptr

  %val = load i32, ptr %e
; CHECK: %{{.*}} = OpLoad %[[#uint]] %[[#var]] Aligned 4
  ret void
}