1// RUN: mlir-translate -test-spirv-roundtrip -split-input-file %s | FileCheck %s 2 3// CHECK: spv.func {{@.*}}([[ARG1:%.*]]: !spv.ptr<f32, Input>, [[ARG2:%.*]]: !spv.ptr<f32, Output>) "None" { 4// CHECK-NEXT: [[VALUE:%.*]] = spv.Load "Input" [[ARG1]] : f32 5// CHECK-NEXT: spv.Store "Output" [[ARG2]], [[VALUE]] : f32 6 7spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> { 8 spv.func @load_store(%arg0 : !spv.ptr<f32, Input>, %arg1 : !spv.ptr<f32, Output>) "None" { 9 %1 = spv.Load "Input" %arg0 : f32 10 spv.Store "Output" %arg1, %1 : f32 11 spv.Return 12 } 13} 14 15// ----- 16 17spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> { 18 spv.func @access_chain(%arg0 : !spv.ptr<!spv.array<4x!spv.array<4xf32>>, Function>, %arg1 : i32, %arg2 : i32) "None" { 19 // CHECK: {{%.*}} = spv.AccessChain {{%.*}}[{{%.*}}] : !spv.ptr<!spv.array<4 x !spv.array<4 x f32>>, Function> 20 // CHECK-NEXT: {{%.*}} = spv.AccessChain {{%.*}}[{{%.*}}, {{%.*}}] : !spv.ptr<!spv.array<4 x !spv.array<4 x f32>>, Function> 21 %1 = spv.AccessChain %arg0[%arg1] : !spv.ptr<!spv.array<4x!spv.array<4xf32>>, Function>, i32 22 %2 = spv.AccessChain %arg0[%arg1, %arg2] : !spv.ptr<!spv.array<4x!spv.array<4xf32>>, Function>, i32, i32 23 spv.Return 24 } 25} 26 27// ----- 28 29spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> { 30 spv.func @load_store_zero_rank_float(%arg0: !spv.ptr<!spv.struct<(!spv.array<1 x f32, stride=4> [0])>, StorageBuffer>, %arg1: !spv.ptr<!spv.struct<(!spv.array<1 x f32, stride=4> [0])>, StorageBuffer>) "None" { 31 // CHECK: [[LOAD_PTR:%.*]] = spv.AccessChain {{%.*}}[{{%.*}}, {{%.*}}] : !spv.ptr<!spv.struct<(!spv.array<1 x f32, stride=4> [0])> 32 // CHECK-NEXT: [[VAL:%.*]] = spv.Load "StorageBuffer" [[LOAD_PTR]] : f32 33 %0 = spv.constant 0 : i32 34 %1 = spv.AccessChain %arg0[%0, %0] : !spv.ptr<!spv.struct<(!spv.array<1 x f32, stride=4> [0])>, StorageBuffer>, i32, i32 35 %2 = spv.Load "StorageBuffer" %1 : f32 36 37 // CHECK: [[STORE_PTR:%.*]] = spv.AccessChain {{%.*}}[{{%.*}}, {{%.*}}] : !spv.ptr<!spv.struct<(!spv.array<1 x f32, stride=4> [0])> 38 // CHECK-NEXT: spv.Store "StorageBuffer" [[STORE_PTR]], [[VAL]] : f32 39 %3 = spv.constant 0 : i32 40 %4 = spv.AccessChain %arg1[%3, %3] : !spv.ptr<!spv.struct<(!spv.array<1 x f32, stride=4> [0])>, StorageBuffer>, i32, i32 41 spv.Store "StorageBuffer" %4, %2 : f32 42 spv.Return 43 } 44 45 spv.func @load_store_zero_rank_int(%arg0: !spv.ptr<!spv.struct<(!spv.array<1 x i32, stride=4> [0])>, StorageBuffer>, %arg1: !spv.ptr<!spv.struct<(!spv.array<1 x i32, stride=4> [0])>, StorageBuffer>) "None" { 46 // CHECK: [[LOAD_PTR:%.*]] = spv.AccessChain {{%.*}}[{{%.*}}, {{%.*}}] : !spv.ptr<!spv.struct<(!spv.array<1 x i32, stride=4> [0])> 47 // CHECK-NEXT: [[VAL:%.*]] = spv.Load "StorageBuffer" [[LOAD_PTR]] : i32 48 %0 = spv.constant 0 : i32 49 %1 = spv.AccessChain %arg0[%0, %0] : !spv.ptr<!spv.struct<(!spv.array<1 x i32, stride=4> [0])>, StorageBuffer>, i32, i32 50 %2 = spv.Load "StorageBuffer" %1 : i32 51 52 // CHECK: [[STORE_PTR:%.*]] = spv.AccessChain {{%.*}}[{{%.*}}, {{%.*}}] : !spv.ptr<!spv.struct<(!spv.array<1 x i32, stride=4> [0])> 53 // CHECK-NEXT: spv.Store "StorageBuffer" [[STORE_PTR]], [[VAL]] : i32 54 %3 = spv.constant 0 : i32 55 %4 = spv.AccessChain %arg1[%3, %3] : !spv.ptr<!spv.struct<(!spv.array<1 x i32, stride=4> [0])>, StorageBuffer>, i32, i32 56 spv.Store "StorageBuffer" %4, %2 : i32 57 spv.Return 58 } 59} 60 61// ----- 62 63spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> { 64 spv.func @copy_memory_simple() "None" { 65 %0 = spv.Variable : !spv.ptr<f32, Function> 66 %1 = spv.Variable : !spv.ptr<f32, Function> 67 // CHECK: spv.CopyMemory "Function" %{{.*}}, "Function" %{{.*}} : f32 68 spv.CopyMemory "Function" %0, "Function" %1 : f32 69 spv.Return 70 } 71} 72 73// ----- 74 75spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> { 76 spv.func @copy_memory_different_storage_classes(%in : !spv.ptr<!spv.array<4xf32>, Input>, %out : !spv.ptr<!spv.array<4xf32>, Output>) "None" { 77 // CHECK: spv.CopyMemory "Output" %{{.*}}, "Input" %{{.*}} : !spv.array<4 x f32> 78 spv.CopyMemory "Output" %out, "Input" %in : !spv.array<4xf32> 79 spv.Return 80 } 81} 82 83 84// ----- 85 86spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> { 87 spv.func @copy_memory_with_access_operands() "None" { 88 %0 = spv.Variable : !spv.ptr<f32, Function> 89 %1 = spv.Variable : !spv.ptr<f32, Function> 90 // CHECK: spv.CopyMemory "Function" %{{.*}}, "Function" %{{.*}} ["Aligned", 4] : f32 91 spv.CopyMemory "Function" %0, "Function" %1 ["Aligned", 4] : f32 92 93 // CHECK: spv.CopyMemory "Function" %{{.*}}, "Function" %{{.*}} ["Volatile"] : f32 94 spv.CopyMemory "Function" %0, "Function" %1 ["Volatile"] : f32 95 96 // CHECK: spv.CopyMemory "Function" %{{.*}}, "Function" %{{.*}} ["Volatile"], ["Volatile"] : f32 97 spv.CopyMemory "Function" %0, "Function" %1 ["Volatile"], ["Volatile"] : f32 98 99 // CHECK: spv.CopyMemory "Function" %{{.*}}, "Function" %{{.*}} ["Aligned", 4], ["Volatile"] : f32 100 spv.CopyMemory "Function" %0, "Function" %1 ["Aligned", 4], ["Volatile"] : f32 101 102 // CHECK: spv.CopyMemory "Function" %{{.*}}, "Function" %{{.*}} ["Volatile"], ["Aligned", 4] : f32 103 spv.CopyMemory "Function" %0, "Function" %1 ["Volatile"], ["Aligned", 4] : f32 104 105 // CHECK: spv.CopyMemory "Function" %{{.*}}, "Function" %{{.*}} ["Aligned", 8], ["Aligned", 4] : f32 106 spv.CopyMemory "Function" %0, "Function" %1 ["Aligned", 8], ["Aligned", 4] : f32 107 108 spv.Return 109 } 110} 111 112