Merge pull request #963 from hylo-lang/dup-monomorphized-symbols

Ensure monomorphized symbols have private linkage
hylo-lang · Sep 6, 2023 · 4d79840 · 4d79840
2 parents 7e61568 + e75782f
commit 4d79840
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/Sources/CodeGen/LLVM/Transpilation.swift b/Sources/CodeGen/LLVM/Transpilation.swift
@@ -443,6 +443,11 @@ extension LLVM.Module {
     //   setLinkage(.private, for: llvmFunction)
     // }
 
+    // Monomorphized functions always have private linkage.
+    if f.isMonomorphized {
+      setLinkage(.private, for: llvmFunction)
+    }
+
     // Functions that return `Never` have the `noreturn` attribute.
     if !m[f].isSubscript && (m[f].output == .never) {
       addAttribute(.init(.noreturn, in: &self), to: llvmFunction)

diff --git a/Sources/IR/FunctionID.swift b/Sources/IR/FunctionID.swift
@@ -61,6 +61,16 @@ extension Function {
       self.value = .monomorphized(base: base, arguments: arguments)
     }
 
+    /// `true` if `self` is the identity of a monomorphized function.
+    public var isMonomorphized: Bool {
+      switch value {
+      case .monomorphized:
+        return true
+      default:
+        return false
+      }
+    }
+
   }
 
 }