54 lines · plain
1// RUN: mlir-translate --no-implicit-module --test-spirv-roundtrip %s | FileCheck %s2 3// RUN: %if spirv-tools %{ rm -rf %t %}4// RUN: %if spirv-tools %{ mkdir %t %}5// RUN: %if spirv-tools %{ mlir-translate --no-implicit-module --serialize-spirv --split-input-file --spirv-save-validation-files-with-prefix=%t/module %s %}6// RUN: %if spirv-tools %{ spirv-val %t %}7 8// Test file showing how the Physical Storage Buffer extension works end-2-end.9 10!f32_binding = !spirv.struct<binding_f32_t, (!spirv.rtarray<f32, stride=4> [0])>11!f32_binding_ptr = !spirv.ptr<!f32_binding, PhysicalStorageBuffer>12 13!set_0 = !spirv.struct<set_0_t, (!f32_binding_ptr [0],14 !f32_binding_ptr [8],15 !f32_binding_ptr [16])>16!set_0_ptr = !spirv.ptr<!set_0, StorageBuffer>17 18!set_1 = !spirv.struct<set_1_t, (!f32_binding_ptr [0],19 !f32_binding_ptr [8])>20!set_1_ptr = !spirv.ptr<!set_1, StorageBuffer>21 22spirv.module PhysicalStorageBuffer64 GLSL450 requires #spirv.vce<v1.5,23 [Shader, Int64, PhysicalStorageBufferAddresses], [SPV_KHR_physical_storage_buffer]> {24 25 spirv.GlobalVariable @set_0 bind(3, 0) : !set_0_ptr26 spirv.GlobalVariable @set_1 bind(3, 1) : !set_1_ptr27 28 // CHECK-LABEL: spirv.func @main() "None"29 spirv.func @main() "None" {30 %idx0 = spirv.Constant 0 : i6431 %idx1 = spirv.Constant 1 : i6432 %idx2 = spirv.Constant 2 : i6433 %set_0_addr = spirv.mlir.addressof @set_0 : !set_0_ptr34 %s0_b2_ptr = spirv.AccessChain %set_0_addr[%idx2] : !set_0_ptr, i64 -> !spirv.ptr<!f32_binding_ptr, StorageBuffer>35 %b2_ptr = spirv.Load "StorageBuffer" %s0_b2_ptr : !f32_binding_ptr36 %b2_data_ptr = spirv.AccessChain %b2_ptr[%idx0, %idx0] : !f32_binding_ptr, i64, i64 -> !spirv.ptr<f32, PhysicalStorageBuffer>37 38 // CHECK: spirv.Load "PhysicalStorageBuffer"39 %b2_data = spirv.Load "PhysicalStorageBuffer" %b2_data_ptr ["Aligned", 4] : f3240 41 %set_1_addr = spirv.mlir.addressof @set_1 : !set_1_ptr42 %s1_b1_ptr = spirv.AccessChain %set_1_addr[%idx1] : !set_1_ptr, i64 -> !spirv.ptr<!f32_binding_ptr, StorageBuffer>43 %b1_ptr = spirv.Load "StorageBuffer" %s1_b1_ptr : !f32_binding_ptr44 %b1_data_ptr = spirv.AccessChain %b1_ptr[%idx0, %idx0] : !f32_binding_ptr, i64, i64 -> !spirv.ptr<f32, PhysicalStorageBuffer>45 46 // CHECK: spirv.Store "PhysicalStorageBuffer"47 spirv.Store "PhysicalStorageBuffer" %b1_data_ptr, %b2_data ["Aligned", 4] : f3248 49 spirv.Return50 }51 52 spirv.EntryPoint "GLCompute" @main, @set_0, @set_153}54