1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
// RUN: mlir-translate -no-implicit-module -split-input-file -test-spirv-roundtrip %s | FileCheck %s
spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader], []> {
spirv.func @foo() -> () "None" {
// CHECK: {{%.*}} = spirv.Undef : f32
// CHECK-NEXT: {{%.*}} = spirv.Undef : f32
%0 = spirv.Undef : f32
%1 = spirv.Undef : f32
%2 = spirv.FAdd %0, %1 : f32
// CHECK: {{%.*}} = spirv.Undef : vector<4xi32>
%3 = spirv.Undef : vector<4xi32>
%4 = spirv.CompositeExtract %3[1 : i32] : vector<4xi32>
// CHECK: {{%.*}} = spirv.Undef : !spirv.array<4 x !spirv.array<4 x i32>>
%5 = spirv.Undef : !spirv.array<4x!spirv.array<4xi32>>
%6 = spirv.CompositeExtract %5[1 : i32, 2 : i32] : !spirv.array<4x!spirv.array<4xi32>>
// CHECK: {{%.*}} = spirv.Undef : !spirv.ptr<!spirv.struct<(f32)>, StorageBuffer>
%7 = spirv.Undef : !spirv.ptr<!spirv.struct<(f32)>, StorageBuffer>
%8 = spirv.Constant 0 : i32
%9 = spirv.AccessChain %7[%8] : !spirv.ptr<!spirv.struct<(f32)>, StorageBuffer>, i32
spirv.Return
}
}
// -----
spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader], []> {
// CHECK: spirv.func {{@.*}}
spirv.func @ignore_unused_undef() -> () "None" {
// CHECK-NEXT: spirv.Return
%0 = spirv.Undef : f32
spirv.Return
}
}
|
