Merge pull request #206 from EpitechPromo2027/158-support-global-vari…

…ables

158 support global variables

examples/globals_variable.ff

@@ -0,0 +1,18 @@
+import "std/io.ff"
+
+globalDouble: double = 0,2
+globalInt: int = 76
+globalChar: char = 'a'
+globalBool: bool = true
+structType :: struct {
+    hello -> int
+}
+globalStruct: structType = structType { hello = 123 }
+
+main: never -> never = {
+  printf("double: %f\n" globalDouble)
+  printf("int: %d\n" globalInt)
+  printf("char: %c\n" globalChar)
+  printf("bool: %d\n" globalBool)
+  printf("struct: %d\n" globalStruct.hello)
+}

lib/Codegen/Codegen.hs

@@ -96,6 +96,7 @@ data CodegenErrorType
   | ContinueOutsideLoop
   | BreakOutsideLoop
   | UnsupportedConversion T.Type T.Type
+  | UnsupportedGlobalDeclaration AT.Expr
   deriving (Show)
 
 instance Show CodegenError where
@@ -127,6 +128,7 @@ showErrorType err = case err of
   ContinueOutsideLoop -> "Continue statement outside loop"
   BreakOutsideLoop -> "Break statement outside loop"
   UnsupportedConversion from to -> "Unsupported conversion from " ++ show from ++ " to " ++ show to
+  UnsupportedGlobalDeclaration expr -> "Unsupported global declaration: " ++ show expr
 
 -- | Variable binding typeclass.
 class (Monad m) => VarBinding m where
@@ -181,8 +183,23 @@ generateGlobal :: (MonadCodegen m) => AT.Expr -> m ()
 generateGlobal expr = case expr of
   AT.Function {} -> CM.void $ generateFunction expr
   AT.ForeignFunction {} -> CM.void $ generateForeignFunction expr
+  AT.Declaration {} -> CM.void $ generateGlobalDeclaration expr
   _ -> E.throwError $ CodegenError (SU.getLoc expr) $ UnsupportedTopLevel expr
 
+generateGlobalDeclaration :: (MonadCodegen m) => AT.Expr -> m ()
+generateGlobalDeclaration (AT.Declaration _ name typ initExpr) = do
+  let varType = toLLVM typ
+  case initExpr of
+    Just (AT.Lit loc lit) -> do
+      initConstant <- generateConstant lit loc
+      var <- M.global (AST.Name $ U.stringToByteString name) varType initConstant
+      addGlobalVar name var
+    Nothing -> do
+      var <- M.global (AST.Name $ U.stringToByteString name) varType (C.Undef varType)
+      addGlobalVar name var
+    Just expr -> E.throwError $ CodegenError (SU.getLoc expr) $ UnsupportedGlobalDeclaration expr
+generateGlobalDeclaration expr = E.throwError $ CodegenError (SU.getLoc expr) $ UnsupportedGlobalDeclaration expr
+
 -- Generates a fresh unique name.
 fresh :: (MonadCodegen m) => m AST.Name
 fresh = do