| Index: src/IceRegistersX8664.h
|
| diff --git a/src/IceRegistersX8664.h b/src/IceRegistersX8664.h
|
| index 3e4c868ddfbb5898125bc5a88a9d832883cebc0c..4069e229362207d989e21483af39f745c2d27fde 100644
|
| --- a/src/IceRegistersX8664.h
|
| +++ b/src/IceRegistersX8664.h
|
| @@ -79,6 +79,7 @@ public:
|
| }
|
|
|
| static inline ByteRegister getEncodedByteReg(int32_t RegNum) {
|
| + assert(RegNum != Encoded_Reg_spl && "spl cannot be used. no exceptions.");
|
| // 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)
|
|
|