米6体育平台手机版

ZHCADC4A September 2011 – March 2014

1
1 简介
1. 1.1 ABI - C6000
2. 1.2 范围
3. 1.3 ABI 变体
4. 1.4 工具链和互操作性
5. 1.5 库
6. 1.6 目标文件的类型
7. 1.7 段
8. 1.8 C6000 架构概述
9. 1.9 参考文档
10. 1.10 代码片段表示法
2 数据表示
1. 2.1 基本类型
2. 2.2 寄存器中的数据
3. 2.3 存储器中的数据
4. 2.4 复数类型
5. 2.5 结构体和联合体
6. 2.6 数组
7. 2.7 位字段
  1. 2.7.1 易失性位字段
8. 2.8 枚举类型
3 调用约定
1. 3.1 调用和返回
2. 3.2 寄存器惯例
3. 3.3 实参传递
4. 3.4 返回值
5. 3.5 通过引用传递并返回的结构体和联合体
6. 3.6 编译器辅助函数的约定
7. 3.7 段间调用的暂存寄存器
8. 3.8 设置 DP
4 数据分配和寻址
1. 4.1 数据段和数据区段
2. 4.2 静态数据的分配和寻址
3. 4.3 自动变量
4. 4.4 帧布局
5. 4.5 堆分配对象
5 代码分配和寻址
1. 5.1 计算代码标签的地址
2. 5.2 分支
3. 5.3 调用
4. 5.4 寻址紧凑指令
6 动态链接的寻址模型
1. 6.1 术语和概念
2. 6.2 动态链接机制概述
3. 6.3 DSO 和 DLL
4. 6.4 抢占
5. 6.5 PLT 条目
6. 6.6 全局偏移表
  1. 6.6.1 使用 Near DP 相对寻址的基于 GOT 的引用
  2. 6.6.2 使用 Far DP 相对寻址的基于 GOT 的引用
7. 6.7 DSBT 模型
8. 6.8 动态链接的性能影响
7 线程局部存储分配和寻址
1. 7.1 关于多线程和线程局部存储
2. 7.2 术语和概念
3. 7.3 用户界面
4. 7.4 ELF 目标文件表示
5. 7.5 TLS 访问模型
6. 7.6 线程局部符号解析和弱引用
8 辅助函数 API
1. 8.1 浮点行为
2. 8.2 C 辅助函数 API
3. 8.3 辅助函数的特殊寄存器约定
4. 8.4 复数类型的辅助函数
5. 8.5 C99 的浮点辅助函数
9 标准 C 库 API
1. 9.1 保留符号
2. 9.2 <assert.h> 实现
3. 9.3 <complex.h> 实现
4. 9.4 <ctype.h> 实现
5. 9.5 <errno.h> 实现
6. 9.6 <float.h> 实现
7. 9.7 <inttypes.h> 实现
8. 9.8 <iso646.h> 实现
9. 9.9 <limits.h> 实现
10. 9.10 <locale.h> 实现
11. 9.11 <math.h> 实现
12. 9.12 <setjmp.h> 实现
13. 9.13 <signal.h> 实现
14. 9.14 <stdarg.h> 实现
15. 9.15 <stdbool.h> 实现
16. 9.16 <stddef.h> 实现
17. 9.17 <stdint.h> 实现
18. 9.18 <stdio.h> 实现
19. 9.19 <stdlib.h> 实现
20. 9.20 <string.h> 实现
21. 9.21 <tgmath.h> 实现
22. 9.22 <time.h> 实现
23. 9.23 <wchar.h> 实现
24. 9.24 <wctype.h> 实现
10C++ ABI
1. 10.1 限制 (GC++ABI 1.2)
2. 10.2 导出模板 (GC++ABI 1.4.2)
3. 10.3 数据布局（GC++ABI 第 2 章）
4. 10.4 初始化保护变量 (GC++ABI 2.8)
5. 10.5 构造函数返回值 (GC++ABI 3.1.5)
6. 10.6 一次性构建 API (GC++ABI 3.3.2)
7. 10.7 控制对象构造顺序 (GC++ ABI 3.3.4)
8. 10.8 还原器 API (GC++ABI 3.4)
9. 10.9 静态数据 (GC++ ABI 5.2.2)
10. 10.10 虚拟表和键函数 (GC++ABI 5.2.3)
11. 10.11 回溯表位置 (GC++ABI 5.3)
11异常处理
1. 11.1 概述
2. 11.2 PREL31 编码
3. 11.3 异常索引表 (EXIDX)
4. 11.4 异常处理指令表 (EXTAB)
5. 11.5 回溯指令
6. 11.6 描述符
7. 11.7 特殊段
8. 11.8 与非 C++ 代码交互
  1. 11.8.1 EXIDX 条目自动生成
  2. 11.8.2 手工编码的汇编函数
9. 11.9 与系统功能交互
10. 11.10 TI 工具链中的汇编语言运算符
12DWARF
1. 12.1 DWARF 寄存器名称
2. 12.2 调用帧信息
3. 12.3 供应商名称
4. 12.4 供应商扩展
13ELF 目标文件（处理器补充）
1. 13.1 注册供应商名称
2. 13.2 ELF 标头
3. 13.3 段
4. 13.4 符号表
5. 13.5 重定位
14ELF 程序加载和动态链接（处理器补充）
1. 14.1 程序标头
2. 14.2 程序加载
3. 14.3 动态链接
4. 14.4 裸机动态链接模型
15Linux ABI
1. 15.1 文件类型
2. 15.2 ELF 标识
3. 15.3 程序标头和段
4. 15.4 数据寻址
  1. 15.4.1 数据区段基表 (DSBT)
  2. 15.4.2 全局偏移量表 (GOT)
5. 15.5 代码寻址
6. 15.6 延迟绑定
7. 15.7 可见性
8. 15.8 抢占式
9. 15.9 “作为自有导入”占先
10. 15.10 程序加载
11. 15.11 动态信息
12. 15.12 初始化和终止函数
13. 15.13 Linux 模型摘要
16符号版本控制
1. 16.1 ELF 符号版本控制概述
2. 16.2 版本段标识
17构建属性
1. 17.1 C6000 ABI 构建属性子段
2. 17.2 C6000 构建属性标签
18复制表和变量初始化
1. 18.1 复制表格式
2. 18.2 压缩的数据格式
  1. 18.2.1 RLE
  2. 18.2.2 LZSS 格式
3. 18.3 变量初始化
19扩展程序标头属性
1. 19.1 编码
2. 19.2 属性标签定义
3. 19.3 扩展程序标头属性段格式
20修订历史记录

1.3 ABI 变体

如前所述，ABI 并未定义所有情况下的具体行为，而是一套允许平台或系统特定变化的原则规范。例如，ABI 并未指定在所有情况下都使用 PIC（与位置无关的代码）寻址，而是针对使用 PIC 的情况标准化其实现。有些变体彼此不兼容。例如，如果任何对象使用 DBST PIC 模型，则所有对象都必须使用。在这种情况下，工具链应使用构建属性来防止组合不兼容的对象。

本节介绍了一些更常见的用例以及它们与 ABI 的关系。这些情况并不相互排斥，也没有完全涵盖所有可能性。

裸机 — 独立：此模型是指一个静态连接的自包含可执行文件。就互操作性而言，它是最简单的形式。ABI 的相关部分是图 1-1 下部的对象级别组件。由于可执行文件是静态链接和绑定（重定位）的，因此通常不需要位置独立性。由于它是自包含的，因此不需要包含动态链接信息、过程链接表 (PLT) 存根或全局偏移量表 (GOT)。
裸机 — 动态链接：此模型是指这样一个系统，在该系统中，可执行文件可以动态链接到单独链接的模块，但不在操作系统的受控环境中。寻址可能与位置无关，也可能与位置相关，具体取决于环境。环境可能会对寻址或放置方面施加额外的约定。该模型将使用图 1-1 的动态链接组件。有关裸机动态链接模型具体情况的详细信息，请参阅节 14.4。
共享对象：这是指动态链接模型，其中静态链接模块（库）可以在多个单独链接的客户端（可执行文件或其他库）之间共享。根本的问题是每个客户端都必须有自己的库数据副本。ABI 通过使用两个相关结构解决了此问题：位置无关寻址和数据段基表 (DSBT) 机制。
位置独立性：这是指不使用地址常量的寻址方式，使得能够在任何地址加载并运行代码和/或数据而无需重定位。PIC 一词通常是指与位置无关的代码，但位置独立性可以指代码、数据或两者。共享库需要与位置无关的数据，以便多个客户端可以拥有私有副本；在共享库的语境中，PIC 一词有时表示这一较狭义的定义。如果在创建 ROM 时未绑定其他对象的地址，则 ROM 中的库可能需要与位置无关的寻址来引用其他对象。与位置无关的数据依赖数据页寄存器 (B14)。当涉及多个模块时（例如，使用动态链接），DSBT（数据段基表）模型是一种机制，可用于在从一个模块调用到另一个模块时复位 DP。
Linux：为 Linux 环境构建的可执行文件和共享库必须遵循某些约定。它们具有动态链接信息。它们需要使用 DSBT 模型来实现位置独立性。为 Linux 构建的对象在 ELF 标头的 EI_OSABI 字段中具有 ELFOSABI_C6000_LINUX 标志。有关针对 Linux 平台的 ABI 增强的详细信息，请参阅Chapter15。
ROM 操作：可能需要构建一个驻留在 ROM 中的单独链接的模块。链接后，其地址会被永久绑定。它随后可能会静态或动态链接到其他模块。为此，ABI 定义了一类特殊的 ELF 文件，该类文件提供静态和动态链接视图以及几个段标志，以指示其地址永久绑定的段。ROM 模块通常使用 PIC 寻址，使它们独立于其所引用的其他模块的位置。