Swift编译器中的符号合并问题分析与修复

在Swift编译器开发过程中，一个关于-mergeable-symbols选项导致的崩溃问题引起了开发团队的注意。这个问题主要出现在使用WebAssembly(WASM)目标平台进行编译时，当尝试合并符号时会导致编译器内部验证失败。

问题背景

Swift编译器提供了一个实验性的-mergeable-symbols编译选项，这个选项的目的是允许编译器在生成代码时合并某些符号，以减少最终二进制文件的大小。然而，当开发者在WebAssembly平台上使用这个选项时，编译器会触发内部验证错误并崩溃。

错误表现

编译器在验证阶段会报告"Global is external, but doesn't have external or weak linkage!"的错误信息，这表明编译器遇到了一个全局符号，该符号被标记为外部可见(external)，但却没有正确设置外部或弱链接属性。这种不一致性触发了LLVM的内部验证机制，导致编译过程中断。

错误信息中提到的符号包括一些Swift标准库函数和用户定义的类型方法，如_AttributeStorage类型的append方法、字符串处理相关函数等。这些符号在正常情况下应该具有一致的链接属性。

技术分析

这个问题本质上是一个链接属性不一致的问题。在LLVM中间表示(IR)中，每个全局符号都需要明确定义其链接属性：

1. 外部链接(External Linkage): 符号对其他编译单元可见
2. 弱链接(Weak Linkage): 符号可以被其他同名符号覆盖
3. 内部链接(Internal Linkage): 符号仅在当前编译单元内可见

当-mergeable-symbols选项启用时，编译器需要特别处理符号的链接属性，以确保符号合并操作的正确性。在WebAssembly目标平台上，这种处理似乎没有正确完成，导致符号被错误地标记。

修复方案

开发团队通过PR #80416修复了这个问题。修复的核心在于确保在使用-mergeable-symbols选项时，所有需要合并的符号都具有正确的链接属性。具体来说：

1. 修正了符号合并过程中对链接属性的处理逻辑
2. 确保WebAssembly目标平台上的符号合并操作与其他平台一致
3. 添加了必要的验证检查，防止类似问题再次发生

对开发者的影响

这个修复使得开发者可以在WebAssembly平台上安全地使用-mergeable-symbols选项，从而获得更小的二进制文件。对于使用Swift开发Web应用的开发者来说，这是一个重要的改进，因为WASM平台上的代码大小优化尤为重要。

需要注意的是，-mergeable-symbols仍然是一个实验性功能，开发者在使用时应该进行充分的测试，特别是在生产环境中部署前。