| // RUN: mlir-opt -convert-to-emitc %s | FileCheck %s | |
| // CHECK-LABEL emitc.func @int(%[[ARG:.*]]: i32) -> i32 | |
| func.func @int(%arg0: i32) -> i32 { | |
| // CHECK: return | |
| return %arg0 : i32 | |
| } | |
| // CHECK-LABEL emitc.func @index(%[[ARG:.*]]: !emitc.size_t) -> !emitc.size_t | |
| func.func @index(%arg0: index) -> index { | |
| // CHECK: return | |
| return %arg0 : index | |
| } | |
| // CHECK-LABEL: emitc.func @call_with_one_result | |
| func.func @call_with_one_result(%arg0: index) -> index { | |
| // CHECK: call @index | |
| // CHECK-SAME: (!emitc.size_t) -> !emitc.size_t | |
| %0 = func.call @index(%arg0) : (index) -> index | |
| return %0 : index | |
| } |