インテルPINバイナリ計測ツールで表される16個の汎用レジスタはどのようにして

Question

最初の8個の汎用レジスタがREG_GAX、REG_GBXなどのようにPINで表される仕組みを知っています。しかし、私はどのようにレジスタr8からr15が表現されているのかをユーザーマニュアルで見つけることはできないようです。

Answer 1

REG_GAXとREG_GBX例えばREG_GAXは、64ビットまたは32ビットでREG_EAXでREG_RAXあり、速記レジスタです。

source/include/pin/gen/reg_ia32.PHからの抜粋を、またfile on github参照：

REG_GAX = REG_RAX、32ビットマシン上で/// < EAX、R8として64

にRAX R15ドンまで」 32ビットアーキテクチャー上に存在する場合、それらは自分の名前を除いて省略名がありません（REG_R8、REG_R9、...）