RKSimon added a comment. According to the AMD APM v3: > If the value of index is greater than or equal to the operand size, index is set to (op_size-1). In this case, the CF flag is set. https://reviews.llvm.org/D32616