讲师中心 微信公众号
AI工具推荐 视频效率加速

LLVM后端怎么实现返回值传递

梦静小哥_3322

梦静小哥_3322

发布时间:2026-09-29 15:36:36

|

682人浏览过

|

来源于php中文网

原创

LLVM后端通过TargetLowering::LowerReturn将IR的ret指令映射为寄存器写入或栈操作,严格遵循ABI规定的返回位置;结构体是否走寄存器取决于ABI限制(如X86-64要求≤128位且对齐),否则通过隐式指针传栈;Cpu0等无原生div架构需在performDivRemCombine中按实际使用情况选择性生成CopyFromReg读取LO/HI。

llvm后端怎么实现返回值传递

LLVM 后端不直接“实现”返回值传递,而是通过 TargetLowering 和 SelectionDAG 阶段将 IR 中的 ret 指令映射为具体目标平台的寄存器写入或栈操作。关键在于:返回值的物理位置(寄存器 or 栈)由调用约定(calling convention)决定,后端必须严格遵守它。

LLVM IR 的 ret 指令怎么被拆解

IR 层的 ret 只是逻辑标记,不指定存放位置。后端在 LowerReturn()(定义在 TargetLowering::LowerReturn)中处理它:

  • 提取 ret 的返回值(SDValue)和类型(EVT)
  • 根据目标 ABI 查询该类型应使用的返回寄存器(如 X86-64 的 %rax/%xmm0,ARM64 的 x0/s0)
  • 若类型过大(如大结构体),则按 ABI 规则生成栈存储指令(如 store 到 %rdi 指向的地址)
  • 最终生成 CopyToReg 节点(寄存器返回)或 store + Chain(栈返回)

为什么有些结构体走栈、有些走寄存器

这完全取决于目标平台的 ABI 规定,不是 LLVM 自主决定的。例如:

  • X86-64 System V ABI:≤128 位且满足对齐要求的结构体可拆成最多两个整数/浮点寄存器返回;否则必须通过隐式指针参数(%rdi)传入调用者分配的栈空间
  • ARM64 AAPCS64:类似规则,但寄存器上限为 4 个(x0–x3 或 s0–s3 等)
  • LLVM 不会自动“优化”返回方式——哪怕结构体只有两个 int,如果 ABI 要求栈传,后端就必须生成 store 到 %rdi 指向的地址

Cpu0 后端里除法返回值的特殊处理

像 Cpu0 这类无原生 div 指令的架构,SDIVREM 节点会同时产出商和余数,但硬件只提供一对寄存器(LO/HI)。这时后端必须显式控制哪些值被真正传出:

  • performDivRemCombine 中检查 N->hasAnyUseOfValue(0)(商是否被使用)
  • 仅当商被使用时,才插入 CopyFromReg 从 LO 读取,并替换原 DAG 中的 SDValue(N,0)
  • 同理处理 HI 寄存器对应余数
  • 没被使用的值不会生成任何 CopyFromReg,也就不会出现在最终机器码中

最易被忽略的一点:返回值传递不是孤立行为。它必须与调用方的接收逻辑(LowerFormalArguments 对隐式返回缓冲区的处理、寄存器清空策略)和指令选择阶段的合法化(getOperationAction(ISD::RET, ...))完全对齐,否则会产生 ABI 不兼容的二进制。

热门AI工具

更多
WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

切问学术

切问学术是一款AI论文写作工具,复旦大学NLP团队推出的AI学术智能体。

VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

相关专题

更多
python是前端还是后端
python是前端还是后端

Python属于前端也属于后端,其灵活性和丰富的生态系统使得开发人员能够在不同的领域中灵活运用。本专题为大家提供python相关的文章、下载、课程内容,供大家免费下载体验。

2183

2023.08.11

前端和后端的区别
前端和后端的区别

前端关注的是用户界面的设计和交互,而后端则注重数据处理和逻辑控制。想了解更多前端后端的相关内容,可以阅读本专题下面的文章。

5790

2024.03.19

后端的主要工作内容介绍
后端的主要工作内容介绍

后端是应用程序的服务端部分,负责核心任务,如数据库交互、业务逻辑处理和响应客户端请求。想了解更多后端的相关内容,可以阅读本专题下面的文章。

5106

2024.03.19

java值传递和引用传递有什么区别
java值传递和引用传递有什么区别

java值传递和引用传递的区别:1、基本数据类型的传递;2、对象的传递;3、修改引用指向的情况。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

166

2024.02.23

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

180

2026.09.23

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

80

2026.09.23

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

80

2026.09.23

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

60

2026.09.22

Conan二进制包配置指南
Conan二进制包配置指南

本专题介绍Conan根据操作系统、编译器、架构和构建类型生成二进制包的方法,讲解Profile、Settings、Options及Package ID的作用,帮助管理不同平台和编译环境下的包版本。

60

2026.09.22

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn