51 lines · plain
1// RUN: mlir-translate -mlir-to-cpp %s | FileCheck %s2 3func.func @add_int(%arg0: i32, %arg1: i32) {4 %1 = "emitc.add" (%arg0, %arg1) : (i32, i32) -> i325 return6}7// CHECK-LABEL: void add_int8// 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 return13}14// CHECK-LABEL: void add_pointer15// CHECK-NEXT: float* [[V2:[^ ]*]] = [[V0:[^ ]*]] + [[V1:[^ ]*]]16 17func.func @div_int(%arg0: i32, %arg1: i32) {18 %1 = "emitc.div" (%arg0, %arg1) : (i32, i32) -> i3219 return20}21// CHECK-LABEL: void div_int22// CHECK-NEXT: int32_t [[V2:[^ ]*]] = [[V0:[^ ]*]] / [[V1:[^ ]*]]23 24func.func @mul_int(%arg0: i32, %arg1: i32) {25 %1 = "emitc.mul" (%arg0, %arg1) : (i32, i32) -> i3226 return27}28// CHECK-LABEL: void mul_int29// CHECK-NEXT: int32_t [[V2:[^ ]*]] = [[V0:[^ ]*]] * [[V1:[^ ]*]]30 31func.func @rem(%arg0: i32, %arg1: i32) {32 %1 = "emitc.rem" (%arg0, %arg1) : (i32, i32) -> i3233 return34}35// CHECK-LABEL: void rem36// CHECK-NEXT: int32_t [[V2:[^ ]*]] = [[V0:[^ ]*]] % [[V1:[^ ]*]]37 38func.func @sub_int(%arg0: i32, %arg1: i32) {39 %1 = "emitc.sub" (%arg0, %arg1) : (i32, i32) -> i3240 return41}42// CHECK-LABEL: void sub_int43// 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 return48}49// CHECK-LABEL: void sub_pointer50// CHECK-NEXT: ptrdiff_t [[V2:[^ ]*]] = [[V0:[^ ]*]] - [[V1:[^ ]*]]51