| Alexander Belyaev | fed9ff5 | 2020-08-13 16:53:07 | [diff] [blame] | 1 | // RUN: mlir-opt %s -test-convert-call-op | FileCheck %s |
| 2 | |
| Alex Zinenko | 2230bf9 | 2021-01-06 15:19:04 | [diff] [blame] | 3 | // CHECK-LABEL: llvm.func @callee(!llvm.ptr<i8>) -> i32 |
| River Riddle | cda6aa7 | 2022-04-20 23:22:21 | [diff] [blame] | 4 | func.func private @callee(!test.test_type) -> i32 |
| Alexander Belyaev | fed9ff5 | 2020-08-13 16:53:07 | [diff] [blame] | 5 | |
| Alex Zinenko | 2230bf9 | 2021-01-06 15:19:04 | [diff] [blame] | 6 | // CHECK-NEXT: llvm.func @caller() -> i32 |
| River Riddle | cda6aa7 | 2022-04-20 23:22:21 | [diff] [blame] | 7 | func.func @caller() -> i32 { |
| Alexander Belyaev | fed9ff5 | 2020-08-13 16:53:07 | [diff] [blame] | 8 | %arg = "test.type_producer"() : () -> !test.test_type |
| 9 | %out = call @callee(%arg) : (!test.test_type) -> i32 |
| 10 | return %out : i32 |
| 11 | } |
| 12 | // CHECK-NEXT: [[ARG:%.*]] = llvm.mlir.null : !llvm.ptr<i8> |
| 13 | // CHECK-NEXT: [[OUT:%.*]] = llvm.call @callee([[ARG]]) |
| Alex Zinenko | 2230bf9 | 2021-01-06 15:19:04 | [diff] [blame] | 14 | // CHECK-SAME: : (!llvm.ptr<i8>) -> i32 |
