1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
// RUN: mlir-opt -test-convert-call-op %s | FileCheck %s
// CHECK-LABEL: @ptr
// CHECK: !llvm.ptr<i42>
func.func private @ptr() -> !llvm.ptr<!test.smpla>
// CHECK-LABEL: @opaque_ptr
// CHECK: !llvm.ptr
// CHECK-NOT: <
func.func private @opaque_ptr() -> !llvm.ptr
// CHECK-LABEL: @ptr_ptr()
// CHECK: !llvm.ptr<ptr<i42>>
func.func private @ptr_ptr() -> !llvm.ptr<!llvm.ptr<!test.smpla>>
// CHECK-LABEL: @struct_ptr()
// CHECK: !llvm.struct<(ptr<i42>)>
func.func private @struct_ptr() -> !llvm.struct<(ptr<!test.smpla>)>
// CHECK-LABEL: @named_struct_ptr()
// CHECK: !llvm.struct<"_Converted_named", (ptr<i42>)>
func.func private @named_struct_ptr() -> !llvm.struct<"named", (ptr<!test.smpla>)>
// CHECK-LABEL: @named_no_convert
// CHECK: !llvm.struct<"no_convert", (ptr<struct<"no_convert">>)>
func.func private @named_no_convert() -> !llvm.struct<"no_convert", (ptr<struct<"no_convert">>)>
// CHECK-LABEL: @array_ptr()
// CHECK: !llvm.array<10 x ptr<i42>>
func.func private @array_ptr() -> !llvm.array<10 x ptr<!test.smpla>>
// CHECK-LABEL: @func()
// CHECK: !llvm.ptr<func<i42 (i42)>>
func.func private @func() -> !llvm.ptr<!llvm.func<!test.smpla (!test.smpla)>>
// TODO: support conversion of recursive types in the conversion infra.
// CHECK-LABEL: @named_recursive()
// CHECK: !llvm.struct<"_Converted_recursive", (ptr<i42>, ptr<struct<"_Converted_recursive">>)>
func.func private @named_recursive() -> !llvm.struct<"recursive", (ptr<!test.smpla>, ptr<struct<"recursive">>)>
|
