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