Fonction de code machine x86-64, 53 48 octets
journal des modifications:
- -2
jz
sur le décalage au lieu d'utiliser un décalage 64 bits pour gérer le >>(32-0)
cas spécial.
- -3 retourne en ZF au lieu de AL, économisant 3 octets pour a
setnz al
.
(Voir également la réponse du code machine de 32 bits de Daniel Schepler basée sur cela, qui a ensuite évolué pour utiliser d'autres idées que nous avions. J'inclus ma dernière version de cela au bas de cette réponse.)
Renvoie ZF = 0 pour l'hôte qui n'est pas dans le sous-réseau, ZF = 1 pour dans le sous-réseau, afin que vous puissiez vous connecter au résultat avecje host_matches_subnet
Appelable avec la convention d'appel System V x86-64 comme
bool not_in_subnet(int dummy_rdi, const char *input_rsi);
si vous ajoutiez setnz al
.
La chaîne d'entrée contient à la fois l'hôte et le réseau, séparés par exactement 1 caractère non numérique. La mémoire suivant la fin de la largeur CIDR doit contenir au moins 3 octets non numériques avant la fin d'une page. (Cela ne devrait pas être un problème dans la plupart des cas, comme pour un argument cmdline.) La version 32 bits de Daniel n'a pas cette limitation.
Nous exécutons la même boucle d'analyse quadruple en pointillé 3 fois, obtenant les deux adresses IPv4 et obtenant le /mask
sous forme d'entier dans l'octet haut d'un dword. (C'est pourquoi il doit y avoir une mémoire lisible après le /mask
, mais peu importe s'il y a des chiffres ASCII.)
Nous faisons (host ^ subnet) >> (32-mask)
pour décaler les bits d'hôte (ceux autorisés à ne pas correspondre), ne laissant que la différence entre le sous-réseau et l'hôte. Pour résoudre le /0
cas spécial où nous devons décaler de 32, nous sautons par-dessus le décalage sur count = 0. ( neg cl
définit ZF, que nous pouvons ramifier et laisser comme valeur de retour si nous ne décalons pas.) Notez que 32-mask mod 32 = -mask
, et les décalages scalaires x86 masquent leur nombre par & 31
ou & 63
.
line addr machine NASM source. (from nasm -felf64 -l/dev/stdout)
num code bytes
1 %use smartalign
2
3 ;10.4.1.33 10.4.0.0/23 true
4 ;10.4.1.33 10.4.0.0/24 false
5
6 ;; /codegolf/185005/im-in-your-subnets-golfing-your-code
7 %ifidn __OUTPUT_FORMAT__, elf64
8 in_subnet:
9
10 00000000 6A03 push 3
11 00000002 5F pop rdi ; edi = 3 dotted-quads to parse, sort of.
12 .parseloop:
13
14 ;xor ebx,ebx ; doesn't need to be zeroed first; we end up shifting out the original contents
15 ;lea ecx, [rbx+4]
16 00000003 6A04 push 4
17 00000005 59 pop rcx ; rcx = 4 integers in a dotted-quad
18 .quadloop:
19
20 00000006 31D2 xor edx,edx ; standard edx=atoi(rdi) loop terminated by a non-digit char
21 00000008 EB05 jmp .digit_entry
22 .digitloop:
23 0000000A 6BD20A imul edx, 10
24 0000000D 00C2 add dl, al
25 .digit_entry:
26 0000000F AC lodsb
27 00000010 2C30 sub al, '0'
28 00000012 3C09 cmp al, 9
29 00000014 76F4 jbe .digitloop
30 ; al=non-digit character - '0'
31 ; RDI pointing to the next character.
32 ; EDX = integer
33
34 00000016 C1E308 shl ebx, 8
35 00000019 88D3 mov bl, dl ; build a quad 1 byte at a time, ending with the lowest byte
36 0000001B E2E9 loop .quadloop
37
38 0000001D 53 push rbx ; push result to be collected after parsing 3 times
39 0000001E FFCF dec edi
40 00000020 75E1 jnz .parseloop
41
42 00000022 59 pop rcx ; /mask (at the top of a dword)
43 00000023 5A pop rdx ; subnet
44 00000024 58 pop rax ; host
45 00000025 0FC9 bswap ecx ; cl=network bits (reusing the quad parse loop left it in the high byte)
49 00000027 F6D9 neg cl
50 00000029 7404 jz .all_net ; skip the count=32 special case
51
52 0000002B 31D0 xor eax, edx ; host ^ subnet
53 0000002D D3E8 shr eax, cl ; shift out the host bits, keeping only the diff of subnet bits
54
55 .all_net:
56 ; setnz al ; return ZF=1 match, ZF=0 not in subnet
57 0000002F C3 ret
58 00000030 30 .size: db $ - in_subnet
0x30 = 48 bytes
(non mis à jour avec la dernière version)
Essayez-le en ligne!
y compris un _start
qui l'appelle argv[1]
et renvoie un état de sortie.
## on my desktop
$ ./ipv4-subnet "10.4.1.33 10.4.0.0/24" && echo "$? : in subnet" || echo "$? : not in subnet"
not in subnet
$ ./ipv4-subnet "10.4.1.33 10.4.0.0/23" && echo "$? : in subnet" || echo "$? : not in subnet"
in subnet
Cela fonctionne très bien si vous passez un argument de ligne de commande contenant une nouvelle ligne au lieu d'un espace. Mais ce doit être à la place , pas aussi bien.
Fonction de code machine x86 32 bits, 38 octets
Faites 9 entiers -> uint8_t analyse et "poussez-les" sur la pile, où nous les supprimons comme dwords ou utilisons le dernier encore dans CL. Évite la lecture après la fin de la chaîne.
En outre, dec
n'est que de 1 octet en mode 32 bits.
72 in_subnet:
73 00000000 89E7 mov edi, esp
74 00000002 51 push ecx
75 00000003 51 push ecx ; sub esp,8
76 .byteloop:
77
78 00000004 31C9 xor ecx,ecx ; standard ecx=atoi(rdi) loop terminated by a non-digit char
79 ; runs 9 times: 8 in two dotted-quads, 1 mask length
80 00000006 EB05 jmp .digit_entry
81 .digitloop:
82 00000008 6BC90A imul ecx, 10
83 0000000B 00C1 add cl, al
84 .digit_entry:
85 0000000D AC lodsb
86 0000000E 2C30 sub al, '0'
87 00000010 3C09 cmp al, 9
88 00000012 76F4 jbe .digitloop
89 ; RDI pointing to the next character.
90 ; EDX = integer
91
92 00000014 4F dec edi
93 00000015 880F mov [edi], cl ; /mask store goes below ESP but we don't reload it
94 00000017 39E7 cmp edi, esp
95 00000019 73E9 jae .byteloop
96
97 ;; CL = /mask still there from the last conversion
98 ;; ESP pointing at subnet and host on the stack, EDI = ESP-1
99
100 0000001B 5A pop edx ; subnet
101 0000001C 58 pop eax ; host
102
103 0000001D 31D0 xor eax, edx ; host ^ subnet
104 0000001F F6D9 neg cl ; -mask = (32-mask) mod 32; x86 shifts mask their count
105 00000021 7402 jz .end ; 32-n = 32 special case
106 00000023 D3E8 shr eax, cl
107 .end:
108 ; setz al ; just return in ZF
109 00000025 C3 ret
110 00000026 26 .size: db $ - in_subnet
0x26 = 38 bytes
Appelant de test
113 global _start
114 _start:
115 00000027 8B742408 mov esi, [esp+8] ; argv[1]
116 0000002B E8D0FFFFFF call in_subnet
117 00000030 0F95C3 setnz bl
118 00000033 B801000000 mov eax, 1 ; _exit syscall
119 00000038 CD80 int 0x80