10.21 结构共享假设

编译器假设某些类型的RTL表达式是唯一的；不会存在两个不同的对象表示相同的值。对于其它情况，有相反的假设：在被包含的结构体中，不会在多个地方出现某一类型的RTL表达式对象。

这些假设针对于一个单独的函数；除了描述全局变量和外部函数的RTL对象，一些标准对象，例如小整形常数以外，没有其它RTL对象可以在两个函数中共用。

• 每一个伪寄存器只有一个单独的reg对象来表示，因此也只有一种机器模式。

• 对于任何标号，只有一个symbol_ref对象关联。

• 所有具有相同值的const_int表达式被共享。

• T只有一个pc表达式。

• 只有一个cc0表达式。

• 对于每一种浮点模式，只有一个const_double表达式其值为0。同样对于值1，2。

• 对于每一种向量模式，只有一个const_vector表达式其值为0。其为整数或者双精度常量向量。

• 在RTL结构体中不会在多个地方出现label_ref或scratch；换句话说，对函数中所有insn进行树遍历时，可以认为每次遇到的label_ref或者scratch都与在其它地方遇到的不同。

• 对于每个静态变量或者栈槽，通常只创建一个mem对象，所以这些对象在它们出现的所有地方被共享。然而，有时会为这些变量创建单独的，但是相等的对象。

• 当一个单独的asm语句具有多个输出操作数时，会为每一个输出数创建一个不同的asm_operands表达式。然后，这些表达式都共享包含着输入操作数序列的向量。这是为了之后用于测试两个asm_operands表达式是否来自同一语句，所以，所有的优化当进行复制整个向量时，必须仔细保持共享。
• 除了上面描述的以外，在RTL结构体中没有其它RTL对象会出现多次。编译器的许多遍扫描，都是依赖于这样的假设，即它们能在一个地方修改RTL对象，并且不会对其它insn产生不需要的副作用。

• 在最初的RTL生成过程中，可以随意使用共享结构。当一个函数的所有RTL都被生成之后，所有的共享结构体都被emit-rtl.c中的unshare_all_rtl进行复制，之后，将保证上面的规则会被遵循。

• 在合并阶段，共享结构体可以在insn中临时存在。但是，在insn的合并完成之前，共享结构会被复制，通过调用unshare_all_rtl的子程序copy_rtx_if_shared。