1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s 2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %} 3 4; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s 5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %} 6 7; CHECK: OpCapability Addresses 8; CHECK: "foo" 9define spir_kernel void @foo(i32 addrspace(1)* %a) { 10entry: 11 %a.addr = alloca i32 addrspace(1)*, align 4 12 store i32 addrspace(1)* %a, i32 addrspace(1)** %a.addr, align 4 13 ret void 14} 15