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

2.7 位字段

C6000 EABI 采用来自 IA64 C++ ABI 的位字段布局。除非明确指出，否则以下说明与该标准一致。

位字段的声明类型是出现在源代码中的类型。为了保存位字段的值，C 和 C++标准允许实现分配任何大得足以容纳位字段的可寻址存储单元，这不需要与声明类型相关。可寻址存储单元通常称为容器类型，我们在本文档中也这样称呼它。容器类型是位字段压缩和对齐方式的主要决定因素。

C89、C99 和 C++语言标准对于声明类型有不同的要求：

C89	int、unsigned int、signed int
C99	int、unsigned int、signed int、_Bool 或“其他一些实现定义类型”
C++	任何整型或枚举类型，包括 bool

严格 C++ 中没有 long long 类型，但由于 C99 包含该类型，C++ 编译器通常支持该类型作为扩展。C99 标准不要求实现支持位字段的 long 或 long long 声明类型，但由于 C++ 允许这种实现，因此 C 编译器也支持这种类型的情况并不少见。

位字段的值完全包含在其容器中，不包含任何填充位。容器根据其类型正确对齐。包含字段的结构对齐方式受到容器对齐方式的影响，影响方式与该类型的成员对象相同。这也适用于未命名字段，这与 IA64 C++ ABI 不同。容器可以包含其他字段或对象，并且可以与其他容器重叠，但为任何一个字段保留的位，包括用于超大字段的填充位，绝不会与另一个字段的位重叠。

在 C6000 EABI 中，位字段的容器类型是其声明类型，但有一个例外。C++ 允许所谓的超大位字段，这些字段的声明大小大于声明类型。在这种情况下，容器是不大于字段的声明大小的最大的整型。

布局算法保持下一个可用位，这是分配位字段的起点。布局算法中的步骤如下：

如前面所述，确定容器类型 T。
假设 C 是包含下一个可用位的 T 类型正确对齐的容器。C 可能与以前分配的容器重叠。
如果可以在 C 中分配该字段，则从下一个可用位开始执行分配。
否则，在下一个正确对齐的地址分配新的容器，并将该字段分配到该容器。
增加位字段的大小，包括超大字段的填充位在内，以确定下一个可用位。

在小端字节序模式下，容器从 LSB 向 MSB 填充。在大端字节序模式下，容器从 MSB 向 LSB 填充。

零长度位字段强制结构的以下成员对齐到与声明类型对应的下一个对齐边界，并影响结构对齐。

C6000 EABI 将 plain int 的声明类型视为 signed int。