前沿编译器中传值与传引用的ASM优化及编译优化可行性问询

我正在开发一款自定义语言转C++的转写工具，核心聚焦编译器对汇编（ASM）的优化逻辑，而非代码层面指针的使用细节。

• 我希望能在编译阶段判断变量采用pass-by-value（传值）还是pass-by-reference（传引用）传递更高效，推测Clang或GCC已具备这类优化能力，想了解它们的优化程度。
• 我观察到在高优化等级下，编译器生成的ASM与原代码差异极大，很多代码层面的手动优化实践已经失去必要性，因此好奇这种“编译器接管优化”的情况是否适用于传值/传引用的选择场景。
• 核心问题：如果自定义语言全部采用传值传递变量，完全依赖编译器自动优化是否可行？若可行，开发者只需关注变量是否被修改或复制，引用与指针的处理逻辑可完全交由编译器完成。
• 我通过Compiler Explorer使用Clang（widberg）做过测试，发现优化等级达到-O2时生成的ASM开始出现明显差异，测试覆盖了小结构体和大结构体的场景，但由于对汇编的理解有限，无法确认编译器是否自动对小结构体采用传值、大结构体采用传引用的优化策略。

内容的提问来源于stack exchange，提问作者Alasdair