Linux环境下的图形系统和AMD R600显卡编程(11)——R600指令集

1 低级着色语言tgsi

　　OpenGL程序使用GLSL语言对可编程图形处理器进行编程，GLSL语言（以下高级着色语言就是指GLSL）是语法类似C的高级语言，在GLSL规范中，GLSL语言被先翻译成教低级的类汇编语言，然后被翻译成硬件特定的指令集。OpenGL体系管理委员会于2002年6月和2002年9月分别通过了两个官方扩展：ARB_VERTEX_PROGRAM与ARB_FRAGMENT_PROGRAM来统一对低级着色语言的支持，GLSL语言被编译成针对这两个扩展的低级着色语言（因此这两个扩展可以看成是GLSL运行的虚拟机），显卡厂商的驱动将低级着色语言翻译成GPU指令。这两个扩展的1.0版本分别是arbvpl0和arbfpl0，这两个扩展的2.0版本分别是arbvp20和arbfp2。

图1

　　目前，在Mesa上，GLSL首先被编译器翻译成tgsi中间语言，然后显卡特定的驱动将这些tgsi语言的代码编译成GPU指令，这个过程如图1示（不考虑geometry shader和tesselation shader）。这里有tgsi的详细描述。这篇硕士论文“高级着色语言及其优化编译”对GLSL和低级着色语言有比较详细的论述。

2 R600指令

　　在CPU上运行的程序，所有的访存指令和运算指令按照代码的堆叠顺序执行（不考虑指令集并行），如果有跳转指令则跳转到相应位置。

　　GPU主要用于运算，早期的GPU没有包含复杂的控制程序，R600 Shader程序和CPU程序比较显得比较简陋，必须有专门的代码指示程序的执行顺序，并且指示程序运行顺序的指令（Control Flow 指令，后面称为CF 指令）、运算指令（后面称ALU指令）和访存指令（在R600 GPU 中称为Fetch 指令）必须按照类别存放，同一种类型的指令放在一起，不同类型的指令按照某种顺序存放，同一类型的指令（不包括CF指令）构成一个Clause。图2显示了R600 GPU Shader程序在显存中存放的形式。

图2

　　R600的指令包含Control Flow（后面简称CF）指令，ALU（运算）指令，Vertex Fecth （取顶点）指令和Texture Fetch（取纹理）指令。指令的格式称为Microde Format。

　　每一个Shader程序（Pixel Shader或者Vertex Shader）包含两部分，一部分是CF指令，另一部分是Clause。 这些Clause由CF 指令初始化（或者不恰当的理解成Clause 由CF指令调用）。R600的每一条指令的格式（为了保持和手册上术语的一致，后面将使用Microcode Format这个词）都包含了2 个或者4个DWORD（CF 和ALU为2个DWORD，Vertex Fetch 和Texture Fetch 为4个DWORD，后面在说地址的时候都是以DWORD为单位的），这些Microcode Format可以在“R600 Family Instruction Set Architecture”手册上查阅到。

　　下面将使用两个实例来说明R600的指令集。和下面这两个实例等价的GLSL程序大概是这个样子的：

// vertex shader

attribute vec4 a_position;

attribute vec3 a_texture;

varying vec2 v_texCoord;

void main()

{

　　gl_Position = a_position;

　　v_texCoord = a_texture;

}

 // pixel shader

uniform sample2D sampler;

varying vec2 v_texCoord;

void main ()

{

　　gl_FragColor = texture2D(sampler, v_texCoord);

}

3 Vertex Shader示例

　　下面使用一个具体的实例来说明，下面的程序来自我们的R600 EXA驱动的Copy过程的Vertex Shader（请参考后续章节），按照图2的要求，这段程序被分成了两部分，第一部分是CF指令，共四条指令，指令0~指令3（指令3为空指令，用于对齐），第二部分为取顶点指令，共两条指令，指令4~ 指令5，分别用于取顶点位置坐标和纹理坐标。

int R600_copy_vs(RADEONChipFamily ChipSet, uint32_t* shader)
{
　　int i = 0;

　　/* 0   指令0 */
　　shader[i++] = CF_DWORD0(ADDR(4));
　　shader[i++] = CF_DWORD1(POP_COUNT(0), CF_CONST(0),
　　　　　　　　　　　　　　　　COND(SQ_CF_COND_ACTIVE), I_COUNT(2), CALL_COUNT(0),
　　　　　　　　　　　　　　　　END_OF_PROGRAM(0), VALID_PIXEL_MODE(0), CF_INST(SQ_CF_INST_VTX),
　　　　　　　　　　　　　　　　WHOLE_QUAD_MODE(0), BARRIER(1));
　　/* 1  指令1 */
　　shader[i++] = CF_ALLOC_IMP_EXP_DWORD0(ARRAY_BASE(CF_POS0), TYPE(SQ_EXPORT_POS), RW_GPR(1),
　　　　　　　　　　　　　　　　RW_REL(ABSOLUTE), INDEX_GPR(0), ELEM_SIZE(0));
　　shader[i++] = CF_ALLOC_IMP_EXP_DWORD1_SWIZ(SRC_SEL_X(SQ_SEL_X), SRC_SEL_Y(SQ_SEL_Y), SRC_SEL_Z(SQ_SEL_Z), 

　　　　　　　　　　　　　　　　SRC_SEL_W(SQ_SEL_W), R6xx_ELEM_LOOP(0), BURST_COUNT(0), END_OF_PROGRAM(0),

　　　　　　　　　　　　　　　　VALID_PIXEL_MODE(0), CF_INST(SQ_CF_INST_EXPORT_DONE), WHOLE_QUAD_MODE(0),
　　　　　　　　　　　　　　　　BARRIER(1));
　　/* 2  指令2 */
　　shader[i++] = CF_ALLOC_IMP_EXP_DWORD0(ARRAY_BASE(0), TYPE(SQ_EXPORT_PARAM), RW_GPR(0),
　　　　　　　　　　　　　　　　RW_REL(ABSOLUTE), INDEX_GPR(0), ELEM_SIZE(0));
　　shader[i++] = CF_ALLOC_IMP_EXP_DWORD1_SWIZ(SRC_SEL_X(SQ_SEL_X), SRC_SEL_Y(SQ_SEL_Y),
　　　　　　　　　　　　　　　　SRC_SEL_Z(SQ_SEL_Z), SRC_SEL_W(SQ_SEL_W), R6xx_ELEM_LOOP(0),
　　　　　　　　　　　　　　　　BURST_COUNT(0), END_OF_PROGRAM(1), VALID_PIXEL_MODE(0),
　　　　　　　　　　　　　　　　CF_INST(SQ_CF_INST_EXPORT_DONE), WHOLE_QUAD_MODE(0), BARRIER(0));
　　/* 3  指令3*/
　　shader[i++] = 0x00000000;
　　shader[i++] = 0x00000000;
　　/* 4/5 指令4 */
　　shader[i++] = VTX_DWORD0(VTX_INST(SQ_VTX_INST_FETCH), FETCH_TYPE(SQ_VTX_FETCH_VERTEX_DATA),
　　　　　　　　　　　　　　　　FETCH_WHOLE_QUAD(0), BUFFER_ID(0), SRC_GPR(0), SRC_REL(ABSOLUTE),
　　　　　　　　　　　　　　　　SRC_SEL_X(SQ_SEL_X), MEGA_FETCH_COUNT(16));
　　shader[i++] = VTX_DWORD1_GPR(DST_GPR(1), DST_REL(0), DST_SEL_X(SQ_SEL_X), DST_SEL_Y(SQ_SEL_Y),
　　　　　　　　　　　　　　　　DST_SEL_Z(SQ_SEL_0), DST_SEL_W(SQ_SEL_1), USE_CONST_FIELDS(0),
　　　　　　　　　　　　　　　　DATA_FORMAT(FMT_32_32_FLOAT), NUM_FORMAT_ALL(SQ_NUM_FORMAT_SCALED),
　　　　　　　　　　　　　　　　FORMAT_COMP_ALL(SQ_FORMAT_COMP_SIGNED), SRF_MODE_ALL(SRF_MODE_ZERO_CLAMP_MINUS_ONE));

　　shader[i++] = VTX_DWORD2(OFFSET(0),
　　#if X_BYTE_ORDER == X_BIG_ENDIAN
　　　　　　　　　　　　　　　　ENDIAN_SWAP(SQ_ENDIAN_8IN32),
　　#else
　　　　　　　　　　　　　　　　ENDIAN_SWAP(SQ_ENDIAN_NONE),
　　#endif
　　　　　　　　　　　　　　　　CONST_BUF_NO_STRIDE(0), MEGA_FETCH(1));
　　shader[i++] = VTX_DWORD_PAD;
　　/* 6/7 指令5 */
　　shader[i++] = VTX_DWORD0(VTX_INST(SQ_VTX_INST_FETCH), FETCH_TYPE(SQ_VTX_FETCH_VERTEX_DATA),

　　　　　　　　　　　　　　　　FETCH_WHOLE_QUAD(0), BUFFER_ID(0), SRC_GPR(0), SRC_REL(ABSOLUTE),
　　　　　　　　　　　　　　　　SRC_SEL_X(SQ_SEL_X), MEGA_FETCH_COUNT(8));
　　shader[i++] = VTX_DWORD1_GPR(DST_GPR(0), DST_REL(0), DST_SEL_X(SQ_SEL_X), DST_SEL_Y(SQ_SEL_Y),
　　　　　　　　　　　　　　　　DST_SEL_Z(SQ_SEL_0), DST_SEL_W(SQ_SEL_1), USE_CONST_FIELDS(0), 

　　　　　　　　　　　　　　　　DATA_FORMAT(FMT_32_32_FLOAT), NUM_FORMAT_ALL(SQ_NUM_FORMAT_SCALED),
　　　　　　　　　　　　　　　　FORMAT_COMP_ALL(SQ_FORMAT_COMP_SIGNED),
　　　　　　　　　　　　　　　　SRF_MODE_ALL(SRF_MODE_ZERO_CLAMP_MINUS_ONE));
　　shader[i++] = VTX_DWORD2(OFFSET(8),
　　#if X_BYTE_ORDER == X_BIG_ENDIAN
　　　　　　　　　　　　　　　　ENDIAN_SWAP(SQ_ENDIAN_8IN32),
　　#else
　　　　　　　　　　　　　　　　ENDIAN_SWAP(SQ_ENDIAN_NONE),
　　#endif
　　　　　　　　　　　　　　　　CONST_BUF_NO_STRIDE(0), MEGA_FETCH(0));
　　shader[i++] = VTX_DWORD_PAD;

　　return i;
}

　　上面程序的运行过程如

　　结合下面这几张图详细描述程序运行的过程。

图3

图4

图5

　　图3示，初始状态，图中有两个线程，此刻两个线程正在要两个顶点数据进行处理。

• CF指令0， 指令0的ADDR位指示程序从地址4处的指令（指令4）开始运行，I_COUNT位指示共执行2条指令（指令4和指令5），执行完后回到指令0，指令0的END_OF_PROGRAM位表明程序还没有结束，继续执行CF指令1。
• Vertex Fetch Clause，CF的指令0指明程序会从第指令4处开始执行，指令4和指令5构成一个Vertex Fetch Clause，两条指令一起完成取顶点数据，这里是要进行Copy操作，顶点数据包括顶点的位置坐标和纹理坐标。由于是2D操作，因此这里的坐标的有效分量只有两个。 指令4的VTX_INST位表明改指令是一条取数据的指令，从BUFFER_ID为0 的内存处取顶点（FETCH_TYPE）数据，SRC_GPR为索引号所在的源寄存器位置，一次取的数据量为16字节（一个四元向量的大小），取出来的数据被放置在编号为1的寄存器中（DST_GPR），DST_SEL_X(SQ_SEL_X)表明取出来的向量的X分量放置到目的寄存器第一个DWORD位置处，Y分量放置到第二个DWORD（DST_SEL_Y(SQ_SEL_Y)），目的寄存器的第三个DWORD 处被置为0，第四个DWORD 处被置为1（可以使用0，1或者0.5）。指令5和指令4类似，由于所有顶点属性数据已经取完，因此原来存在于GPR0 的地址不再需要，可以覆盖掉。图4。
• CF指令1和指令2，这是两条输出指令，指令所做的工作如图5示，指令1用于输出顶点的位置坐标（TYPE(SQ_EXPORT_POS)），这条指令从GPR1（RW_GPR(1)）中读取数据，将数据输出到Position Buffer 0 中（ARRAY_BASE(CF_POS0)）。输出的时候还有一个Swizzle操作，这条指令的Swizzle操作没有变换向量各个分量。指令1的END_OF_PROGRAM标志表明程序还没有结束，因此继续执行指令2，指令2的END_OF_PROGRAM位表明程序至此结束（后面如果还写有指令将不会被执行）。

4 Pixel Shader示例

/* copy ps --------------------------------------- */
int R600_copy_ps(RADEONChipFamily ChipSet, uint32_t* shader)
{
　　int i=0;

　　/* CF INST 指令 0 */
　　shader[i++] = CF_DWORD0(ADDR(2));
　　shader[i++] = CF_DWORD1(POP_COUNT(0), CF_CONST(0), COND(SQ_CF_COND_ACTIVE), I_COUNT(1),
　　　　　　　　　　　　　　CALL_COUNT(0), END_OF_PROGRAM(0), VALID_PIXEL_MODE(0), CF_INST(SQ_CF_INST_TEX),
　　　　　　　　　　　　　　WHOLE_QUAD_MODE(0), BARRIER(1));
　　/* CF INST 指令 1 */
　　shader[i++] = CF_ALLOC_IMP_EXP_DWORD0(ARRAY_BASE(CF_PIXEL_MRT0), TYPE(SQ_EXPORT_PIXEL), RW_GPR(0),
　　　　　　　　　　　　　　RW_REL(ABSOLUTE), INDEX_GPR(0), ELEM_SIZE(1));
　　shader[i++] = CF_ALLOC_IMP_EXP_DWORD1_SWIZ(SRC_SEL_X(SQ_SEL_X), SRC_SEL_Y(SQ_SEL_Y), 

　　　　　　　　　　　　　　SRC_SEL_Z(SQ_SEL_Z), SRC_SEL_W(SQ_SEL_W), R6xx_ELEM_LOOP(0), BURST_COUNT(1),
　　　　　　　　　　　　　　END_OF_PROGRAM(1), VALID_PIXEL_MODE(0), CF_INST(SQ_CF_INST_EXPORT_DONE),
　　　　　　　　　　　　　　WHOLE_QUAD_MODE(0), BARRIER(1));
　　/* TEX INST 指令 2 */
　　shader[i++] = TEX_DWORD0(TEX_INST(SQ_TEX_INST_SAMPLE), BC_FRAC_MODE(0), FETCH_WHOLE_QUAD(0),
　　　　　　　　　　　　　　RESOURCE_ID(0), SRC_GPR(0), SRC_REL(ABSOLUTE), R7xx_ALT_CONST(0));
　　shader[i++] = TEX_DWORD1(DST_GPR(0), DST_REL(ABSOLUTE), DST_SEL_X(SQ_SEL_X), /* R */ 

　　　　　　　　　　　　　　DST_SEL_Y(SQ_SEL_Y), /* G */
　　　　　　　　　　　　　　DST_SEL_Z(SQ_SEL_Z), /* B */
　　　　　　　　　　　　　　DST_SEL_W(SQ_SEL_W), /* A */
　　　　　　　　　　　　　　LOD_BIAS(0),
　　　　　　　　　　　　　　COORD_TYPE_X(TEX_UNNORMALIZED), COORD_TYPE_Y(TEX_UNNORMALIZED),
　　　　　　　　　　　　　　COORD_TYPE_Z(TEX_UNNORMALIZED), COORD_TYPE_W(TEX_UNNORMALIZED));
　　shader[i++] = TEX_DWORD2(OFFSET_X(0), OFFSET_Y(0), OFFSET_Z(0), SAMPLER_ID(0), SRC_SEL_X(SQ_SEL_X),
　　　　　　　　　　　　　　SRC_SEL_Y(SQ_SEL_Y), SRC_SEL_Z(SQ_SEL_0), SRC_SEL_W(SQ_SEL_1));
　　shader[i++] = TEX_DWORD_PAD;

　　return i;
}

　　这里总共三条指令，其中CF指令0和CF指令1是两条CF指令，TEX指令2是一条取纹理的指令。

　　指令0表明程序将从addr为2的指令2处开始执行，指令2是一条texture fetch 指令，这条指令根据GPR0中给出的纹理坐标（SRC_GPR(0)，根据前面semantic的配置，被插值的纹理坐标存放在GPR0中）从id号为0的纹理资源中取出纹理值，放入到GPR0中（DST_GPR(0x0)）。

　　取纹理操作完成后，执行指令1，指令1是一条输出指令，将取到的纹理直接放到Render target 0（ARRAY_BASE(CF_PIXEL_MRT0)）上去。

　　R600显卡的指令远不止以上这些，读者在理解上面的内容之后，阅读R600指令集手册将不会有太大困难，感兴趣的可以深入进去了解更多的指令。