40 lines · plain
1; RUN: llc -verify-machineinstrs -O3 -mtriple=spirv-unknown-vulkan1.3-compute %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O3 -mtriple=spirv-unknown-vulkan1.3-compute %s -o - -filetype=obj | spirv-val %}3 4; CHECK-DAG: %[[#uint:]] = OpTypeInt 32 05; CHECK-DAG: %[[#uint_0:]] = OpConstant %[[#uint]] 06; CHECK-DAG: %[[#ptr_uint:]] = OpTypePointer Private %[[#uint]]7; CHECK-DAG: %[[#var:]] = OpVariable %[[#ptr_uint]] Private %[[#uint_0]]8 9; CHECK-DAG: OpName %[[#func_simple:]] "simple"10; CHECK-DAG: OpName %[[#func_chain:]] "chain"11 12@global = internal addrspace(10) global i32 zeroinitializer13@G = global i32 014 15define void @simple() {16; CHECK: %[[#func_simple]] = OpFunction17entry:18 %ptr = getelementptr i32, ptr addrspace(10) @global, i32 019 %casted = addrspacecast ptr addrspace(10) %ptr to ptr20 %val = load i32, ptr %casted21 store i32 %val, ptr @G22; CHECK: %{{.*}} = OpLoad %[[#uint]] %[[#var]] Aligned 423 ret void24}25 26define void @chain() {27; CHECK: %[[#func_chain]] = OpFunction28entry:29 %a = getelementptr i32, ptr addrspace(10) @global, i32 030 %b = addrspacecast ptr addrspace(10) %a to ptr31 %c = getelementptr i32, ptr %b, i32 032 %d = addrspacecast ptr %c to ptr addrspace(10)33 %e = addrspacecast ptr addrspace(10) %d to ptr34 35 %val = load i32, ptr %e36 store i32 %val, ptr @G37; CHECK: %{{.*}} = OpLoad %[[#uint]] %[[#var]] Aligned 438 ret void39}40