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