First step in transferring to ClairV2 (#224)

Author: baymaks

clair/src/main/scala-3/FrontEndMirror.scala

@@ -100,8 +100,8 @@ inline def getConstraint[T <: Attribute | AttributeFE]: IRDLConstraint = {
 }
 
 inline def inputVariadicity[Elem] = inline erasedValue[Elem] match
-  case _: Variadic[t] => Variadic
-  case _              => Single
+  case _: Variadic[t] => Variadicity.Variadic
+  case _              => Variadicity.Single
 
 type unwrappedInput[Elem] = Elem match
   case Variadic[t] => t

clairV2/src/main/scala-3/CV2Mirror.scala

@@ -33,6 +33,10 @@ inline def inputVariadicity[Elem] = inline erasedValue[Elem] match
   case _: Variadic[t] => Variadicity.Variadic
   case _              => Variadicity.Single
 
+// for some reason match types do not work here, as an inline erasedValue[unwrappedInput[Elem]]
+// tries to match on that type exactly (ie. unwrappedType[Value[IntegerType]] for example) rather than the matched type...
+// very weird things going on
+
 /** Produces an OpInput to OperationDef given a definition of a Type.
   *
   * @return
@@ -43,29 +47,43 @@ inline def getDefInput[Label, Elem]: OpInput = {
 
   val name = inline erasedValue[Label] match
     case _: String => constValue[Label].asInstanceOf[String]
-    case _         => throw new Exception("Internal error!")
+    case _ =>
+      throw new Exception("Internal error!")
+
   inline erasedValue[Elem] match
+    case _: Variadic[Operand[t]] =>
+      OperandDef(
+        id = name,
+        typeString = typeToString[t],
+        Variadicity.Variadic
+      )
+    case _: Variadic[Result[t]] =>
+      OperandDef(
+        id = name,
+        typeString = typeToString[t],
+        Variadicity.Variadic
+      )
     case _: Result[t] =>
       ResultDef(
         id = name,
         typeString = typeToString[t],
-        inputVariadicity[Elem]
+        Variadicity.Single
       )
     case _: Operand[t] =>
       OperandDef(
         id = name,
         typeString = typeToString[t],
-        inputVariadicity[Elem]
+        Variadicity.Single
       )
     case _: Region =>
       RegionDef(
         id = name,
-        inputVariadicity[Elem]
+        Variadicity.Single
       )
     case _: Successor =>
       SuccessorDef(
         id = name,
-        inputVariadicity[Elem]
+        Variadicity.Single
       )
     case _: Property[t] =>
       OpPropertyDef(
@@ -77,8 +95,10 @@ inline def getDefInput[Label, Elem]: OpInput = {
         id = name,
         typeString = typeToString[t]
       )
-    case shennanigan =>
-      throw new Exception(f"Unsupported shennaigans with field $name")
+    case _ =>
+      throw new Exception(
+        s"Unsupported shennaigans here with field $name of type ${typeToString[Elem]}"
+      )
 }
 
 /** Loops through a Tuple of Input definitions and produces a List of inputs to