1// RUN: mlir-translate -test-spirv-roundtrip %s | FileCheck %s
2
3spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> {
4  spv.func @fmul(%arg0 : f32, %arg1 : f32) "None" {
5    // CHECK: {{%.*}}= spv.FMul {{%.*}}, {{%.*}} : f32
6    %0 = spv.FMul %arg0, %arg1 : f32
7    spv.Return
8  }
9  spv.func @fadd(%arg0 : vector<4xf32>, %arg1 : vector<4xf32>) "None" {
10    // CHECK: {{%.*}} = spv.FAdd {{%.*}}, {{%.*}} : vector<4xf32>
11    %0 = spv.FAdd %arg0, %arg1 : vector<4xf32>
12    spv.Return
13  }
14  spv.func @fdiv(%arg0 : vector<4xf32>, %arg1 : vector<4xf32>) "None" {
15    // CHECK: {{%.*}} = spv.FDiv {{%.*}}, {{%.*}} : vector<4xf32>
16    %0 = spv.FDiv %arg0, %arg1 : vector<4xf32>
17    spv.Return
18  }
19  spv.func @fmod(%arg0 : vector<4xf32>, %arg1 : vector<4xf32>) "None" {
20    // CHECK: {{%.*}} = spv.FMod {{%.*}}, {{%.*}} : vector<4xf32>
21    %0 = spv.FMod %arg0, %arg1 : vector<4xf32>
22    spv.Return
23  }
24  spv.func @fnegate(%arg0 : vector<4xf32>) "None" {
25    // CHECK: {{%.*}} = spv.FNegate {{%.*}} : vector<4xf32>
26    %0 = spv.FNegate %arg0 : vector<4xf32>
27    spv.Return
28  }
29  spv.func @fsub(%arg0 : vector<4xf32>, %arg1 : vector<4xf32>) "None" {
30    // CHECK: {{%.*}} = spv.FSub {{%.*}}, {{%.*}} : vector<4xf32>
31    %0 = spv.FSub %arg0, %arg1 : vector<4xf32>
32    spv.Return
33  }
34  spv.func @frem(%arg0 : vector<4xf32>, %arg1 : vector<4xf32>) "None" {
35    // CHECK: {{%.*}} = spv.FRem {{%.*}}, {{%.*}} : vector<4xf32>
36    %0 = spv.FRem %arg0, %arg1 : vector<4xf32>
37    spv.Return
38  }
39  spv.func @iadd(%arg0 : vector<4xi32>, %arg1 : vector<4xi32>) "None" {
40    // CHECK: {{%.*}} = spv.IAdd {{%.*}}, {{%.*}} : vector<4xi32>
41    %0 = spv.IAdd %arg0, %arg1 : vector<4xi32>
42    spv.Return
43  }
44  spv.func @isub(%arg0 : vector<4xi32>, %arg1 : vector<4xi32>) "None" {
45    // CHECK: {{%.*}} = spv.ISub {{%.*}}, {{%.*}} : vector<4xi32>
46    %0 = spv.ISub %arg0, %arg1 : vector<4xi32>
47    spv.Return
48  }
49  spv.func @imul(%arg0 : vector<4xi32>, %arg1 : vector<4xi32>) "None" {
50    // CHECK: {{%.*}} = spv.IMul {{%.*}}, {{%.*}} : vector<4xi32>
51    %0 = spv.IMul %arg0, %arg1 : vector<4xi32>
52    spv.Return
53  }
54  spv.func @udiv(%arg0 : vector<4xi32>, %arg1 : vector<4xi32>) "None" {
55    // CHECK: {{%.*}} = spv.UDiv {{%.*}}, {{%.*}} : vector<4xi32>
56    %0 = spv.UDiv %arg0, %arg1 : vector<4xi32>
57    spv.Return
58  }
59  spv.func @umod(%arg0 : vector<4xi32>, %arg1 : vector<4xi32>) "None" {
60    // CHECK: {{%.*}} = spv.UMod {{%.*}}, {{%.*}} : vector<4xi32>
61    %0 = spv.UMod %arg0, %arg1 : vector<4xi32>
62    spv.Return
63  }
64  spv.func @sdiv(%arg0 : vector<4xi32>, %arg1 : vector<4xi32>) "None" {
65    // CHECK: {{%.*}} = spv.SDiv {{%.*}}, {{%.*}} : vector<4xi32>
66    %0 = spv.SDiv %arg0, %arg1 : vector<4xi32>
67    spv.Return
68  }
69  spv.func @smod(%arg0 : vector<4xi32>, %arg1 : vector<4xi32>) "None" {
70    // CHECK: {{%.*}} = spv.SMod {{%.*}}, {{%.*}} : vector<4xi32>
71    %0 = spv.SMod %arg0, %arg1 : vector<4xi32>
72    spv.Return
73  }
74  spv.func @snegate(%arg0 : vector<4xi32>) "None" {
75    // CHECK: {{%.*}} = spv.SNegate {{%.*}} : vector<4xi32>
76    %0 = spv.SNegate %arg0 : vector<4xi32>
77    spv.Return
78  }
79  spv.func @srem(%arg0 : vector<4xi32>, %arg1 : vector<4xi32>) "None" {
80    // CHECK: {{%.*}} = spv.SRem {{%.*}}, {{%.*}} : vector<4xi32>
81    %0 = spv.SRem %arg0, %arg1 : vector<4xi32>
82    spv.Return
83  }
84}
85