flang/test/Fir/recursive-type-tco.fir

   1 // Test lowering FIR to LLVM IR for a recursive type
   2
   3 // RUN: tco %s | FileCheck %s
   4
   5 // CHECK-LABEL: %t = type { ptr }
   6 !t = !fir.type<t {p : !fir.ptr<!fir.type<t>>}>
   7
   8 // CHECK-LABEL: @a({ %t } %{{.*}})
   9 func.func @a(%a : tuple<!t>) {
  10   return
  11 }