1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-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@global = addrspace(1) constant i32 1 ; OpenCL global memory 5@constant = addrspace(2) constant i32 2 ; OpenCL constant memory 6@local = addrspace(3) constant i32 3 ; OpenCL local memory 7 8define i32 @getGlobal1() { 9 %g = load i32, i32 addrspace(1)* @global 10 ret i32 %g 11} 12 13define i32 @getGlobal2() { 14 %g = load i32, i32 addrspace(2)* @constant 15 ret i32 %g 16} 17 18define i32 @getGlobal3() { 19 %g = load i32, i32 addrspace(3)* @local 20 ret i32 %g 21} 22 23; CHECK: [[INT:%.+]] = OpTypeInt 32 24 25; CHECK-DAG: [[PTR_TO_INT_AS1:%.+]] = OpTypePointer CrossWorkgroup [[INT]] 26; CHECK-DAG: [[PTR_TO_INT_AS2:%.+]] = OpTypePointer UniformConstant [[INT]] 27; CHECK-DAG: [[PTR_TO_INT_AS3:%.+]] = OpTypePointer Workgroup [[INT]] 28 29; CHECK-DAG: [[CST_AS1:%.+]] = OpConstant [[INT]] 1 30; CHECK-DAG: [[CST_AS2:%.+]] = OpConstant [[INT]] 2 31; CHECK-DAG: [[CST_AS3:%.+]] = OpConstant [[INT]] 3 32 33; CHECK-DAG: [[GV1:%.+]] = OpVariable [[PTR_TO_INT_AS1]] CrossWorkgroup [[CST_AS1]] 34; CHECK-DAG: [[GV2:%.+]] = OpVariable [[PTR_TO_INT_AS2]] UniformConstant [[CST_AS2]] 35; CHECK-DAG: [[GV3:%.+]] = OpVariable [[PTR_TO_INT_AS3]] Workgroup [[CST_AS3]] 36 37; CHECK: OpLoad [[INT]] [[GV1]] 38; CHECK: OpLoad [[INT]] [[GV2]] 39; CHECK: OpLoad [[INT]] [[GV3]] 40