Implemented handling of <label> DefDefs in backend.

1 files changed, 15 insertions, 5 deletions

diff --git a/src/dotty/tools/backend/jvm/DottyBackendInterface.scala b/src/dotty/tools/backend/jvm/DottyBackendInterface.scala
index c469fb4bc..f37c48f3a 100644
--- a/src/dotty/tools/backend/jvm/DottyBackendInterface.scala
+++ b/src/dotty/tools/backend/jvm/DottyBackendInterface.scala
@@ -67,8 +67,7 @@ class DottyBackendInterface()(implicit ctx: Context) extends BackendInterface{
   type ArrayValue      = NonExistentTree
   type ApplyDynamic    = NonExistentTree
   type ModuleDef       = NonExistentTree
-  type LabelDef        = NonExistentTree
-
+  type LabelDef        = tpd.DefDef
 
   val NoSymbol = Symbols.NoSymbol
   val NoPosition: Position = Positions.NoPosition
@@ -216,6 +215,8 @@ class DottyBackendInterface()(implicit ctx: Context) extends BackendInterface{
 
   def emitAsmp: Option[String] = None
 
+  def shouldEmitJumpAfterLabels = true
+
   def dumpClasses: Option[String] =
     if(ctx.settings.Ydumpclasses.isDefault) None
     else Some(ctx.settings.Ydumpclasses.value)
@@ -549,6 +550,9 @@ class DottyBackendInterface()(implicit ctx: Context) extends BackendInterface{
           }
         case Types.ClassInfo(_, sym, _, _, _)           => primitiveOrClassToBType(sym) // We get here, for example, for genLoadModule, which invokes toTypeKind(moduleClassSymbol.info)
 
+        case t: MethodType => // triggers for LabelDefs
+          t.resultType.toTypeKind(ct)(storage)
+
         /* AnnotatedType should (probably) be eliminated by erasure. However we know it happens for
          * meta-annotated annotations (@(ann @getter) val x = 0), so we don't emit a warning.
          * The type in the AnnotationInfo is an AnnotatedTpe. Tested in jvm/annotations.scala.
@@ -671,9 +675,15 @@ class DottyBackendInterface()(implicit ctx: Context) extends BackendInterface{
   }
 
   object LabelDef extends LabelDeconstructor {
-    def _1: Name = ???
-    def _2: List[Ident] = ???
-    def _3: Tree = ???
+    def _1: Name = field.name
+    def _2: List[Symbol] = field.vparamss.flatMap(_.map(_.symbol))
+    def _3: Tree = field.rhs
+
+    override def unapply(s: LabelDef): DottyBackendInterface.this.LabelDef.type = {
+      if(s.symbol is Flags.Label) this.field = s
+      else this.field = null
+      this
+    }
   }
 
   object Typed extends TypedDeconstrutor {