(#72) CodeGen: preliminary changes to support function type generation

ForNeVeR · Mar 28, 2022 · a01b895 · a01b895
1 parent 357dfb3
commit a01b895
Show file tree

Hide file tree

Showing 4 changed files with 46 additions and 1 deletion.
diff --git a/Cesium.CodeGen.Tests/CodeGenMethodTests.cs b/Cesium.CodeGen.Tests/CodeGenMethodTests.cs
@@ -152,4 +152,10 @@ int main()
     int exitCode = abs(-42);
     exit(exitCode);
 }");
+
+    [Fact]
+    public Task FunctionPtrTest() => DoTest(@"typedef int (*foo)(void);
+int main() {
+    foo unused;
+}");
 }
diff --git a/Cesium.CodeGen/Contexts/TranslationUnitContext.cs b/Cesium.CodeGen/Contexts/TranslationUnitContext.cs
@@ -22,6 +22,9 @@ internal void GenerateType(IGeneratedType type, string name)
         _types.Add(name, typeReference);
     }
 
+    // TODO[#72]: Unnecessary.
+    internal void AddType(TypeReference type, string name) => _types.Add(name, type);
+
     internal TypeReference? GetTypeReference(IGeneratedType type) => _generatedTypes.GetValueOrDefault(type);
     internal TypeReference? GetTypeReference(string typeName) => _types.GetValueOrDefault(typeName);
 }
diff --git a/Cesium.CodeGen/Ir/Declarations/LocalDeclarationInfo.cs b/Cesium.CodeGen/Ir/Declarations/LocalDeclarationInfo.cs
@@ -75,6 +75,27 @@ public static LocalDeclarationInfo Of(IReadOnlyList<IDeclarationSpecifier> speci
                     type = new PointerType(type);
                     break;
 
+                case DeclaratorDirectDeclarator ddd:
+                    ddd.Deconstruct(out var nestedDeclarator);
+                    var (nestedPointer, nestedDirectDeclarator) = nestedDeclarator;
+                    if (nestedPointer != null)
+                    {
+                        var (nestedTypeQualifiers, nestedChildPointer) = nestedPointer;
+                        if (nestedTypeQualifiers != null || nestedChildPointer != null)
+                            throw new NotImplementedException(
+                                $"Nested pointer of kind {nestedPointer} is not supported, yet.");
+
+                        type = new PointerType(type);
+                    }
+
+                    // TODO[#72]: Rewrite this to append a pointer to the current type.
+                    // TODO[#72]: "The current type", though, should be a function type already at this moment.
+                    // TODO[#72]: This means that LocalDeclarationInfo should get rid of "Parameters" and they will
+                    //            become a part of the underlying type.
+                    throw new NotImplementedException("TODO: This code is wrong.");
+                    currentDirectDeclarator = nestedDirectDeclarator;
+                    continue;
+
                 default: throw new NotImplementedException($"Direct declarator not supported, yet: {currentDirectDeclarator}.");
             }
 

diff --git a/Cesium.CodeGen/Ir/TopLevel/TopLevelDeclaration.cs b/Cesium.CodeGen/Ir/TopLevel/TopLevelDeclaration.cs
@@ -3,6 +3,7 @@
 using Cesium.CodeGen.Extensions;
 using Cesium.CodeGen.Ir.Declarations;
 using Cesium.CodeGen.Ir.Types;
+using Mono.Cecil;
 
 namespace Cesium.CodeGen.Ir.TopLevel;
 
@@ -122,7 +123,7 @@ private static void EmitTypeDef(TranslationUnitContext context, TypeDefDeclarati
                 throw new NotSupportedException($"Anonymous typedef not supported: {type}.");
 
             if (parametersInfo != null)
-                throw new NotImplementedException($"Function typedef not supported, yet: {identifier}.");
+                GenerateFunctionType(context, identifier, parametersInfo, type);
 
             if (cliImportMemberName != null)
                 throw new NotSupportedException($"typedef for CLI import not supported: {cliImportMemberName}.");
@@ -133,4 +134,18 @@ private static void EmitTypeDef(TranslationUnitContext context, TypeDefDeclarati
                 throw new NotSupportedException($"Not supported type generation for type {type}.");
         }
     }
+
+    private static void GenerateFunctionType(
+        TranslationUnitContext context,
+        string identifier,
+        ParametersInfo parametersInfo,
+        IType returnType)
+    {
+        var type = new FunctionPointerType();
+
+        throw new NotImplementedException(
+            $"Function type not supported, yet: {identifier}: {parametersInfo} → {returnType}");
+
+        context.AddType(type, identifier);
+    }
 }