Función de código de máquina x86-64, 53 48 bytes
registro de cambios:
- -2
jz
sobre el turno en lugar de usar un turno de 64 bits para manejar el >>(32-0)
caso especial.
- -3 devuelve en ZF en lugar de AL, ahorrando 3 bytes para un
setnz al
.
(Véase también la respuesta del código de máquina de 32 bits de Daniel Schepler basada en esto, que luego evolucionó para usar algunas otras ideas que teníamos. Incluyo mi última versión de eso al final de esta respuesta).
Devuelve ZF = 0 para el host no en la subred, ZF = 1 para la subred, por lo que puede ramificar el resultado conje host_matches_subnet
Se puede llamar con la convención de llamadas del sistema V x86-64 como
bool not_in_subnet(int dummy_rdi, const char *input_rsi);
si agregara setnz al
.
La cadena de entrada contiene el host y la red, separados por exactamente 1 carácter sin dígitos. La memoria que sigue al final del ancho del CIDR debe contener al menos 3 bytes sin dígitos antes del final de una página. (No debería ser un problema en la mayoría de los casos, como para un cmdline arg.) La versión de 32 bits de Daniel no tiene esta limitación.
Ejecutamos el mismo bucle de análisis de cuatro puntos con puntos 3 veces, obteniendo las dos direcciones IPv4 y obteniendo el /mask
como un entero en el byte alto de una palabra d. (Esta es la razón por la que debe haber memoria legible después del /mask
, pero no importa si hay dígitos ASCII).
Lo hacemos (host ^ subnet) >> (32-mask)
para cambiar los bits del host (los que no pueden coincidir), dejando solo la diferencia entre la subred y el host. Para resolver el /0
caso especial en el que necesitamos cambiar por 32, saltamos sobre el cambio en cuenta = 0. ( neg cl
establece ZF, que podemos ramificar y dejar como valor de retorno si no cambiamos). Tenga en cuenta que 32-mask mod 32 = -mask
, y los cambios escalares x86 enmascaran su recuento en & 31
o & 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
(no actualizado con la última versión)
Pruébelo en línea!
incluido un _start
que lo activa argv[1]
y devuelve un estado de salida.
## 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
Funciona bien si pasa una línea de comando arg que contiene una nueva línea en lugar de un espacio. Pero tiene que ser en su lugar , no tan bien.
Función de código de máquina x86 de 32 bits, 38 bytes
Hacer 9 enteros -> uint8_t analiza y "empujarlos" en la pila, donde los sacamos como dwords o usamos el último todavía en CL. Evita leer más allá del final de la cadena en absoluto.
Además, dec
solo tiene 1 byte en modo de 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
Llamada de prueba
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