| Index: src/IceRegistersX8664.h
|
| diff --git a/src/IceRegistersX8664.h b/src/IceRegistersX8664.h
|
| index 3e4c868ddfbb5898125bc5a88a9d832883cebc0c..f95fe9eac20f6e2e8a1844dadb9f48d4c579ed2d 100644
|
| --- a/src/IceRegistersX8664.h
|
| +++ b/src/IceRegistersX8664.h
|
| @@ -79,10 +79,6 @@ public:
|
| }
|
|
|
| static inline ByteRegister getEncodedByteReg(int32_t RegNum) {
|
| - // In x86-64, AH is not encodable when the REX prefix is used; the same
|
| - // encoding is used for spl. Therefore, ah needs special handling.
|
| - if (RegNum == Reg_ah)
|
| - return Encoded_Reg_spl;
|
| return ByteRegister(RegNum - Reg_GPR_First);
|
| }
|
|
|
|
|