xref: /llvm-project/mlir/test/Target/Cpp/arithmetic_operators.mlir (revision a2426eb603afaf6c04ddd14921b474d2caffa12b)
1// RUN: mlir-translate -mlir-to-cpp %s | FileCheck %s
2
3func.func @add_int(%arg0: i32, %arg1: i32) {
4  %1 = "emitc.add" (%arg0, %arg1) : (i32, i32) -> i32
5  return
6}
7// CHECK-LABEL: void add_int
8// CHECK-NEXT:  int32_t [[V2:[^ ]*]] = [[V0:[^ ]*]] + [[V1:[^ ]*]]
9
10func.func @add_pointer(%arg0: !emitc.ptr<f32>, %arg1: i32) {
11  %1 = "emitc.add" (%arg0, %arg1) : (!emitc.ptr<f32>, i32) -> !emitc.ptr<f32>
12  return
13}
14// CHECK-LABEL: void add_pointer
15// CHECK-NEXT:  float* [[V2:[^ ]*]] = [[V0:[^ ]*]] + [[V1:[^ ]*]]
16
17func.func @div_int(%arg0: i32, %arg1: i32) {
18  %1 = "emitc.div" (%arg0, %arg1) : (i32, i32) -> i32
19  return
20}
21// CHECK-LABEL: void div_int
22// CHECK-NEXT:  int32_t [[V2:[^ ]*]] = [[V0:[^ ]*]] / [[V1:[^ ]*]]
23
24func.func @mul_int(%arg0: i32, %arg1: i32) {
25  %1 = "emitc.mul" (%arg0, %arg1) : (i32, i32) -> i32
26  return
27}
28// CHECK-LABEL: void mul_int
29// CHECK-NEXT:  int32_t [[V2:[^ ]*]] = [[V0:[^ ]*]] * [[V1:[^ ]*]]
30
31func.func @rem(%arg0: i32, %arg1: i32) {
32  %1 = "emitc.rem" (%arg0, %arg1) : (i32, i32) -> i32
33  return
34}
35// CHECK-LABEL: void rem
36// CHECK-NEXT:  int32_t [[V2:[^ ]*]] = [[V0:[^ ]*]] % [[V1:[^ ]*]]
37
38func.func @sub_int(%arg0: i32, %arg1: i32) {
39  %1 = "emitc.sub" (%arg0, %arg1) : (i32, i32) -> i32
40  return
41}
42// CHECK-LABEL: void sub_int
43// CHECK-NEXT:  int32_t [[V2:[^ ]*]] = [[V0:[^ ]*]] - [[V1:[^ ]*]]
44
45func.func @sub_pointer(%arg0: !emitc.ptr<f32>, %arg1: !emitc.ptr<f32>) {
46  %1 = "emitc.sub" (%arg0, %arg1) : (!emitc.ptr<f32>, !emitc.ptr<f32>) -> !emitc.opaque<"ptrdiff_t">
47  return
48}
49// CHECK-LABEL: void sub_pointer
50// CHECK-NEXT:  ptrdiff_t [[V2:[^ ]*]] = [[V0:[^ ]*]] - [[V1:[^ ]*]]
51