，它们没有速记。
我知道如何以reg_gax，reg_gbx等为中心的第1 8个通用寄存器。但是，我似乎在用户手册中找不到如何表示R8至R15的寄存器。
REG_GAX和 REG_GBX是速记寄存器，例如 REG_GAX是64位中的 REG_RAX或32位的 REG_EAX。
摘自source/include/pin/gen/reg_ia32.PH，另请参见GitHub上的文件：
reg_gax = reg_rax，///＆lt;eax在32位机器上，rax，64
作为R8至R15，在32位体系结构上不存在，除了自己的名称（REG_R8，REG_R9，...）