正确,'Z' 和 'a' 之间有几个非字母字符的间隔。
最有效的方法是set the lower-case bit with an OR,然后使用range-check trick of sub + unsigned compare。这当然只适用于 ASCII,不适用于存在其他字母字符范围的扩展字符集。请注意,如果原始字符不是大写字符,or al, 0x20 永远不能创建小写字符,因为范围相对于 ASCII 码的 mod 32 边界“对齐”相同。
用底部的条件分支排列你的循环结构。要么使用jmp 进入循环以进行该负载和测试,要么剥离第一次迭代的那部分。 (Why are loops always compiled into "do...while" style (tail jump)?)
使用movzx 加载以避免在写入 AL 时将低字节合并到 EAX 中的错误依赖。
; ESI = pointer to the string
xor ecx, ecx ; index = 0
movzx eax, byte ptr[esi] ; test first character
test eax, eax
jz .done ; skip the loop on empty string
; alternative: jmp .next_char to enter the loop
.loop: ; do{
inc ecx
mov edx, eax ; save a copy of the original if needed
;;;; THESE 4 INSTRUCTIONS ARE THE ALPHA / NON-ALPHA TEST
or al, 0x20 ; force lowercase
sub al, 'a' ; AL = 0..25 if alphabetic
cmp al, 'z'-'a'
ja .non_alphabetic ; unsigned compare rejects too high or too low (wrapping)
;; do something if it's a letter
jmp .next_char
.non_alphabetic:
;; do something different, then fall through
.next_char:
movzx eax, byte ptr[esi + ecx]
test eax, eax
jnz .loop ; }while((AL = str[i]) != 0);
.done:
如果输入在 'a' 之前,sub al, 'a' 将被签名为负数,或者因为 unsigned 将包装成一个高值,所以 cmp al, 'z'-'a' / ja 将拒绝它。
如果输入在'z' 之后,sub al, 'a' 将留下一个大于 25 ('z'-'a') 的值,因此无符号比较也会拒绝它。
编译器在编译像 c <= 'z' && c >= 'a' 这样的 C 表达式时使用这种无符号比较技巧,因此您可以确保它对于每个可能的输入都与该表达式相同。
其他样式说明:通常您只需增加 ESI,而不是同时拥有指针和索引。此外,如果您可以使用 AL 值(字母表中的索引),您可能不需要mov edx, eax。制作副本并使用这种“破坏性”测试通常比 2 个单独的分支更好。
NASM syntax allows character constants like C,所以你可以写as 'A', or 0x7Aas'z'. e.g. cmp al, 'a'`。那么你甚至不需要注释该行。
这样写(在循环顶部带有next_char 标签)在底部保存jmp。循环中的指令更少=更好。这些天写 asm 的唯一目的是性能,所以从一开始就学习这样的好技术是有意义的,如果它不是太令人困惑的话。如果没有指向 http://agner.org/optimize/ 的链接,任何汇编答案都是不完整的。
ascii(1) 或 http://www.asciitable.com/ 的输出
Dec Hex Dec Hex Dec Hex Dec Hex Dec Hex Dec Hex Dec Hex Dec Hex
0 00 NUL 16 10 DLE 32 20 48 30 0 64 40 @ 80 50 P 96 60 ` 112 70 p
1 01 SOH 17 11 DC1 33 21 ! 49 31 1 65 41 A 81 51 Q 97 61 a 113 71 q
2 02 STX 18 12 DC2 34 22 " 50 32 2 66 42 B 82 52 R 98 62 b 114 72 r
3 03 ETX 19 13 DC3 35 23 # 51 33 3 67 43 C 83 53 S 99 63 c 115 73 s
4 04 EOT 20 14 DC4 36 24 $ 52 34 4 68 44 D 84 54 T 100 64 d 116 74 t
5 05 ENQ 21 15 NAK 37 25 % 53 35 5 69 45 E 85 55 U 101 65 e 117 75 u
6 06 ACK 22 16 SYN 38 26 & 54 36 6 70 46 F 86 56 V 102 66 f 118 76 v
7 07 BEL 23 17 ETB 39 27 ' 55 37 7 71 47 G 87 57 W 103 67 g 119 77 w
8 08 BS 24 18 CAN 40 28 ( 56 38 8 72 48 H 88 58 X 104 68 h 120 78 x
9 09 HT 25 19 EM 41 29 ) 57 39 9 73 49 I 89 59 Y 105 69 i 121 79 y
10 0A LF 26 1A SUB 42 2A * 58 3A : 74 4A J 90 5A Z 106 6A j 122 7A z
11 0B VT 27 1B ESC 43 2B + 59 3B ; 75 4B K 91 5B [ 107 6B k 123 7B {
12 0C FF 28 1C FS 44 2C , 60 3C < 76 4C L 92 5C \ 108 6C l 124 7C |
13 0D CR 29 1D GS 45 2D - 61 3D = 77 4D M 93 5D ] 109 6D m 125 7D }
14 0E SO 30 1E RS 46 2E . 62 3E > 78 4E N 94 5E ^ 110 6E n 126 7E ~
15 0F SI 31 1F US 47 2F / 63 3F ? 79 4F O 95 5F _ 111 6F o 127 7F DEL