name mangling

README.md

@@ -27,6 +27,7 @@ Make sure you have installed the dependencies:
 - git
 - Rust
 - LLVM 17 with MLIR enabled
+- libgit2
 
 If building LLVM from source, you'll need additional tools:
 - g++, clang++, or MSVC with versions listed on [LLVM's documentation](https://llvm.org/docs/GettingStarted.html#host-c-toolchain-both-compiler-and-standard-library)

crates/concrete_codegen_mlir/src/codegen.rs

@@ -343,8 +343,10 @@ fn compile_function(ctx: FunctionCodegenCtx) -> Result<(), CodegenError> {
                         .iter()
                         .map(|x| compile_rvalue(&ctx, mlir_block, x, &locals).map(|x| x.0))
                         .collect::<Result<_, _>>()?;
-                    let fn_symbol =
-                        FlatSymbolRefAttribute::new(ctx.context(), &target_fn_body.name); // todo: good name resolution
+                    let fn_symbol = FlatSymbolRefAttribute::new(
+                        ctx.context(),
+                        &target_fn_body.get_mangled_name(),
+                    );
                     let ret_type = match &target_fn_body_sig.1.kind {
                         TyKind::Unit => None,
                         _ => Some(compile_type(ctx.module_ctx, &target_fn_body_sig.1)),
@@ -443,7 +445,7 @@ fn compile_function(ctx: FunctionCodegenCtx) -> Result<(), CodegenError> {
 
     let func_op = func::func(
         ctx.context(),
-        StringAttribute::new(ctx.context(), &body.name),
+        StringAttribute::new(ctx.context(), &body.get_mangled_name()),
         TypeAttribute::new(func_type.into()),
         region,
         &fn_attributes,

crates/concrete_driver/src/lib.rs

@@ -25,7 +25,7 @@ pub mod db;
 pub mod linker;
 
 #[derive(Parser, Debug)]
-#[command(author, version, about = "concrete", long_about = None, bin_name = "concrete")]
+#[command(author, version, about = "The Concrete Programming Language", long_about = None, bin_name = "concrete")]
 pub struct Cli {
     #[command(subcommand)]
     command: Commands,

crates/concrete_ir/src/lib.rs

@@ -79,6 +79,18 @@ impl FnBody {
             .filter(|x| matches!(x.kind, LocalKind::Arg))
             .collect()
     }
+
+    pub fn get_mangled_name(&self) -> String {
+        if self.is_extern {
+            return self.name.clone();
+        }
+
+        if self.name == "main" {
+            "main".to_string()
+        } else {
+            format!("{}@{}@{}", self.name, self.id.program_id, self.id.id)
+        }
+    }
 }
 
 #[derive(Debug, Clone)]