68 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv-unknown-vulkan-compute %s -o - | FileCheck %s --match-full-lines2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan %s -o - -filetype=obj | spirv-val %}3 4; CHECK-DAG: %[[#uint:]] = OpTypeInt 32 05; CHECK-DAG: %[[#uint64:]] = OpTypeInt 64 06; CHECK-DAG: %[[#uint_pp:]] = OpTypePointer Private %[[#uint]]7; CHECK-DAG: %[[#uint_0:]] = OpConstant %[[#uint]] 08; CHECK-DAG: %[[#uint_1:]] = OpConstant %[[#uint]] 19; CHECK-DAG: %[[#uint_10:]] = OpConstant %[[#uint]] 1010; CHECK-DAG: %[[#t_array:]] = OpTypeArray %[[#uint]] %[[#uint_10]]11; CHECK-DAG: %[[#t_s1:]] = OpTypeStruct %[[#t_array]]12; CHECK-DAG: %[[#t_s2_s_a_s:]] = OpTypeStruct %[[#uint]] %[[#uint]]13; CHECK-DAG: %[[#t_s2_s_a:]] = OpTypeArray %[[#t_s2_s_a_s]] %[[#uint_10]]14; CHECK-DAG: %[[#t_s2_s:]] = OpTypeStruct %[[#t_s2_s_a]]15; CHECK-DAG: %[[#t_s2:]] = OpTypeStruct %[[#t_s2_s]] %[[#uint]]16; CHECK-DAG: %[[#null_s1:]] = OpConstantNull %[[#t_s1]]17; CHECK-DAG: %[[#null_s2:]] = OpConstantNull %[[#t_s2]]18; CHECK-DAG: %[[#ptr_s1:]] = OpTypePointer Private %[[#t_s1]]19; CHECK-DAG: %[[#ptr_s2:]] = OpTypePointer Private %[[#t_s2]]20 21%S1 = type { [10 x i32] }22%S2 = type { { [10 x { i32, i32 } ] }, i32 }23 24; CHECK-DAG: %[[#global1:]] = OpVariable %[[#ptr_s1]] Private %[[#null_s1]]25@global1 = internal addrspace(10) global %S1 zeroinitializer26; CHECK-DAG: %[[#global2:]] = OpVariable %[[#ptr_s2]] Private %[[#null_s2]]27@global2 = internal addrspace(10) global %S2 zeroinitializer28 29define spir_func noundef i32 @foo(i64 noundef %index) local_unnamed_addr {30; CHECK: %[[#index:]] = OpFunctionParameter %[[#uint64]]31entry:32; CHECK: %[[#ptr:]] = OpInBoundsAccessChain %[[#uint_pp]] %[[#global1]] %[[#uint_0]] %[[#index]]33 %ptr = getelementptr inbounds %S1, ptr addrspace(10) @global1, i64 0, i32 0, i64 %index34; CHECK: %[[#val:]] = OpLoad %[[#uint]] %[[#ptr]] Aligned 435 %val = load i32, ptr addrspace(10) %ptr36 ret i32 %val37}38 39define spir_func noundef i32 @bar(i64 noundef %index) local_unnamed_addr {40; CHECK: %[[#index:]] = OpFunctionParameter %[[#uint64]]41entry:42; CHECK: %[[#ptr:]] = OpInBoundsAccessChain %[[#uint_pp]] %[[#global2]] %[[#uint_0]] %[[#uint_0]] %[[#index]] %[[#uint_1]]43 %ptr = getelementptr inbounds %S2, ptr addrspace(10) @global2, i64 0, i32 0, i32 0, i64 %index, i32 144; CHECK: %[[#val:]] = OpLoad %[[#uint]] %[[#ptr]] Aligned 445 %val = load i32, ptr addrspace(10) %ptr46 ret i32 %val47}48 49define spir_func void @foos(i64 noundef %index) local_unnamed_addr {50; CHECK: %[[#index:]] = OpFunctionParameter %[[#uint64]]51entry:52; CHECK: %[[#ptr:]] = OpInBoundsAccessChain %[[#uint_pp]] %[[#global1]] %[[#uint_0]] %[[#index]]53 %ptr = getelementptr inbounds %S1, ptr addrspace(10) @global1, i64 0, i32 0, i64 %index54; CHECK: OpStore %[[#ptr]] %[[#uint_0]] Aligned 455 store i32 0, ptr addrspace(10) %ptr56 ret void57}58 59define spir_func void @bars(i64 noundef %index) local_unnamed_addr {60; CHECK: %[[#index:]] = OpFunctionParameter %[[#uint64]]61entry:62; CHECK: %[[#ptr:]] = OpInBoundsAccessChain %[[#uint_pp]] %[[#global2]] %[[#uint_0]] %[[#uint_0]] %[[#index]] %[[#uint_1]]63 %ptr = getelementptr inbounds %S2, ptr addrspace(10) @global2, i64 0, i32 0, i32 0, i64 %index, i32 164; CHECK: OpStore %[[#ptr]] %[[#uint_0]] Aligned 465 store i32 0, ptr addrspace(10) %ptr66 ret void67}68