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