mlir/test/Conversion/StandardToLLVM/convert-types.mlir

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