米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修订历史记录

7.5.3.1 用于裸机动态链接的默认 TLS 寻址

TLS 的默认代码生成应适用于静态可执行文件和裸机动态链接。对于静态可执行文件，请使用 TPR 寻址生成以下寻址：

        CALLP  __c6xabi_get_tp()   ; Returns TP in A4. Can be CSEed.
        MVK    $TPR_byte(x), B4    ; reloc R_C6000_TPR_U15_B
        LDB    *A4[B4], A4         ; A4 contains the value of thread-local char x

默认情况下为裸机动态链接生成的代码可假设所有模块都是初始加载的。这意味着线程局部变量的偏移量是动态链接时常量，如图 7-3 所示。因此，可使用 TPR 寻址。唯一的区别是，在裸机动态链接的情况下，需要 64 位 TCB 以使代码兼容今后的任何 dlopen() 支持。对于静态可执行文件，不存在 TCB。TPR 寻址仍可用于这两种模型。对于静态可执行文件，静态链接器将使用大小为零的 TCB，对于裸机动态链接，将使用大小为 64 位的 TCB。

图 7-3 裸机默认 TLS 运行时表示

如上所述，最初加载的模块是连续放置的，可执行文件的 TLS 块位于 TCB 之后。在这种情况下，可使用来自 TP 的静态链接时间常量偏移量来访问可执行文件中的变量。可使用来自 TP 的动态链接时间常量偏移量来访问动态库中定义的变量。

生成该寻址后，模块标记为 DF_STATIC_TLS。

构建动态可执行文件时，静态链接器将可执行文件（自带数据）中定义符号的 TPR 重定位解析为 TP 偏移量。如果导入符号，则会复制重定位到动态重定位表，以便动态加载器进行解析。构建动态库时，会将 TPR 重定位复制到动态重定位表中。

裸机中的线程局部访问会导致代码区段中的动态重定位。这意味着得到的模块不是真正的 PIC（与位置无关的代码）。TI 编译器支持具有 --gen_pic 选项的裸机 PIC。使用该选项时，应从 GOT 条目访问 TPR 偏移量，以便生成与位置无关的代码。