2012-04-27 14 views
1

this文書(A.4を参照)からコピーした以下のアセンブリプログラムがあります。私は実際にLinuxのどのアセンブラがこれをコンパイルできるのか分かりません。私はインテルの構文でそれを知っていて、それをコンパイルするのにgccで-masm=intelフラグを使用しようとしましたが、コンパイルしていません。それは行1から始まる各行にエラーを与える!どのように私はこのコードをコンパイルできますか?その文書の付録1からこのプログラムをどのようにアセンブルできますか

%define CONCAT(a,b,c) a %+ b %+ c 
;;; unsigned int crc_pcl(unsigned char * buffer, int len, unsigned int crc_init); 
;;; 
;;;  *buf = rcx 
;;;   len = rdx 
;;; crc_init = r8 
global crc_pcl 
crc_pcl: 
     push rbx 
push rdi 
push rsi 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; 1) ALIGN: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  
     mov  rdi, rcx  ;; rdi = *buf 
neg  rcx 
and  rcx, 7   ;; calculate the unalignment amount of 
           ;; the address 
     je  proc_block  ;; Skip if aligned 
;;;; Calculate CRC of unaligned bytes of the buffer (if any) ;;; 
mov  rbx, [rdi]  ;; load a Qword from the buffer 
     add  rdi, rcx  ;; align buffer pointer for Qword 
           ;; processing 
     sub  rdx, rcx  ;; update buffer length  
align_loop: 
     crc32 r8d, bl   ;; compute crc32 of 1-byte 
     shr  rbx, 8   ;; get next byte 
dec  rcx 
jne  align_loop    Fast CRC Computation for iSCSI Polynomial 

proc_block: 
     ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; 2) PROCESS BLOCKS: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; compute num of bytes to be processed 
mov  rbx, rdx  ;; save num bytes in rbx 
     cmp  rdx, 128*24 
jae  full_block 
continue_block: 
     ;; rdx < 128*24 
mov  rax, 2731  ;; 2731 = ceil(2^16/24) 
mul  edx 
shr  rax, 16 
;; eax contains floor(bytes/24) = num 24-byte chunks to do   
;; process rax 24-byte chunks (128 >= rax >= 0) 
;; compute end address of each block 
;; rdi -> block 0 (base addr + RAX * 8) 
;; rsi -> block 1 (base addr + RAX * 16) 
;; r11 -> block 2 (base addr + RAX * 24) 
lea  rdi, [rdi + rax * 8] 
lea  rsi, [rdi + rax * 8] 
lea  r11, [rsi + rax * 8] 
xor  r9,r9 
xor  r10,r10 
;; branch into array 
lea  rcx, [jump_table wrt rip] 
     movzx rdx, word [rcx + rax * 2] ;; rdx is offset from crc_array 
     lea  rcx, [rcx + rdx + crc_array - jump_table] 
     jmp  rcx 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; 2a) PROCESS FULL BLOCKS: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
full_block: 
     mov  rax, 128 
lea  rsi, [rdi + 128*8*2] 
lea  r11, [rdi + 128*8*3] 
add  rdi, 128*8*1 
xor  r9,r9 
xor  r10,r10 
;; branch into array 
jmp  CONCAT(crc_,128,) 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; 3) CRC Array: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
crc_array: 
%assign i 128 
%rep 128-3 
CONCAT(crc_,i,:) 
     crc32 r8, [rdi - i*8] 
     crc32 r9, [rsi - i*8] 
     crc32 r10, [r11 - i*8] 
%assign i (i-1) 
%endrep 
%rep 2 
     crc32 r8, [rdi - i*8] 
     crc32 r9, [rsi - i*8] 
     crc32 r10, [r11 - i*8] 
%assign i (i-1) 
%endrep 
     crc32 r8, [rdi - i*8] 
     crc32 r9, [rsi - i*8] 
; SKIP ;crc32 r10, [r11 - i*8] ; Don't do this one yet 
     mov  rdi, r11 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; 4) Combine three results: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
lea  rcx, [K_table - 16 wrt rip] ; first entry is for idx 1 
     shl  rax, 3       ; rax *= 8 
sub  rbx, rax      ; rbx -= rax*8 
     shl  rax, 1 
sub  rbx, rax  ; rbx -= rax*16 (total rbx -= rax*24) 
     add  rcx, rax 
     movdqa xmm0, [rcx]     ; 2 consts: K1:K2 
movq xmm1, r8      ; CRC for block 1 
pclmulqdq  xmm1, xmm0, 0x00  ; Multiply by K2 
movq xmm2, r9      ; CRC for block 2 
     pclmulqdq  xmm2, xmm0, 0x10  ; Multiply by K1 
pxor xmm1, xmm2 
movq rax, xmm1 
xor  rax, [r11 - i*8] 
     mov  r8, r10 
crc32 r8, rax 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; 5) Check for end: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
CONCAT(crc_,0,:) 
     mov  rdx, rbx 
cmp  rbx, 128*24 
jae  full_block 
cmp  rbx, 24 
jae  continue_block 
fewer_than_24: 
     ;; now fewer than 24 bytes remain 
cmp  rbx, 16 
jae  do_16 
     cmp  rbx, 8 
     jae  do_8 
;; 0 <= rbx <= 7 
shl  ebx, 29  ; size now in bits 31:29 
jz  do_return 
check_4: 
     mov  rcx, [rdi]Fast CRC Computation for iSCSI Polynomial 
     shl  ebx, 1   ; shift out into carry MSB (orig size & 4) 
     jnc  check_2 
crc32 r8d, ecx 
jz  do_return 
shr  rcx, 32  ; shift data down by 4 bytes 
check_2: 
     shl  ebx, 1   ; shift out into carry MSB (orig size & 2) 
jnc  check_1 
crc32 r8d, cx 
jz  do_return 
shr  rcx, 16  ; shift data down by 2 bytes 
check_1: 
     crc32 r8d, cl 
do_return: 
     mov  rax, r8 
pop  rsi 
pop  rdi 
pop  rbx 
ret 
do_8: 
     crc32 r8, [rdi] 
add  rdi, 8 
shl  ebx, 29  ; size (0...7) in bits 31:29 
jnz  check_4 
mov  rax, r8 
pop  rsi 
pop  rdi 
pop  rbx 
ret 
do_16: 
     crc32 r8, [rdi] 
     crc32 r8, [rdi+8] 
     add  rdi, 16 
shl  ebx, 29  ; size (0...7) in bits 31:29 
jnz  check_4 
mov  rax, r8 
pop  rsi 
pop  rdi 
pop  rbx 
ret 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; 6) For small blocks, do it by 1: ;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; This handles cases: 1, 2, or 3 
%assign i 3 
%rep 3 
CONCAT(crc_,i,:) 
     crc32 r8, [r11 - i*24] 
     crc32 r8, [r11 - i*24 + 8] 
     crc32 r8, [r11 - i*24 + 16] 
%assign i (i-1) 
%endrep 
     mov  rdi, r11 
     shl  rax, 3   ;; rax *= 8 
     sub  rbx, rax  ;; rbx -= rax*8 
     shl  rax, 1 
     sub  rbx, rax  ;; rbx -= rax*16 (total rbx -= rax*24) 
     jmp  fewer_than_24Fast 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; jump table  ;; Table is 129 entries x 2 bytes each 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
align 4 
jump_table: 
%assign i 0 
%rep 129 
dw  CONCAT(crc_,i,) - crc_array 
%assign i (i+1) 
%endrep 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
;; PCLMULQDQ tables 
;; Table is 128 entries x 2 quad words each 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
section .data 
align 64 
K_table: 
dq 0x14cd00bd6, 0x105ec76f0 
dq 0x0ba4fc28e, 0x14cd00bd6 
dq 0x1d82c63da, 0x0f20c0dfe 
dq 0x09e4addf8, 0x0ba4fc28e 
dq 0x039d3b296, 0x1384aa63a 
dq 0x102f9b8a2, 0x1d82c63da 
dq 0x14237f5e6, 0x01c291d04 
dq 0x00d3b6092, 0x09e4addf8 
dq 0x0c96cfdc0, 0x0740eef02 
dq 0x18266e456, 0x039d3b296 
dq 0x0daece73e, 0x0083a6eec 
dq 0x0ab7aff2a, 0x102f9b8a2 
dq 0x1248ea574, 0x1c1733996 
dq 0x083348832, 0x14237f5e6 
dq 0x12c743124, 0x02ad91c30 
dq 0x0b9e02b86, 0x00d3b6092 
dq 0x018b33a4e, 0x06992cea2 
dq 0x1b331e26a, 0x0c96cfdc0 
dq 0x17d35ba46, 0x07e908048 
dq 0x1bf2e8b8a, 0x18266e456 
dq 0x1a3e0968a, 0x11ed1f9d8 
dq 0x0ce7f39f4, 0x0daece73e 
dq 0x061d82e56, 0x0f1d0f55e 
dq 0x0d270f1a2, 0x0ab7aff2a 
dq 0x1c3f5f66c, 0x0a87ab8a8 
dq 0x12ed0daac, 0x1248ea574 
dq 0x065863b64, 0x08462d800 
dq 0x11eef4f8e, 0x083348832 
dq 0x1ee54f54c, 0x071d111a8 
dq 0x0b3e32c28, 0x12c743124 
dq 0x0064f7f26, 0x0ffd852c6 
dq 0x0dd7e3b0c, 0x0b9e02b86 
dq 0x0f285651c, 0x0dcb17aa4 
dq 0x010746f3c, 0x018b33a4e 
dq 0x1c24afea4, 0x0f37c5aee 
dq 0x0271d9844, 0x1b331e26a 
dq 0x08e766a0c, 0x06051d5a2 
dq 0x093a5f730, 0x17d35ba46 
dq 0x06cb08e5c, 0x11d5ca20e 
dq 0x06b749fb2, 0x1bf2e8b8a 
dq 0x1167f94f2, 0x021f3d99c 
dq 0x0cec3662e, 0x1a3e0968a 
dq 0x19329634a, 0x08f158014 
dq 0x0e6fc4e6a, 0x0ce7f39f4 
dq 0x08227bb8a, 0x1a5e82106 
dq 0x0b0cd4768, 0x061d82e56 
dq 0x13c2b89c4, 0x188815ab2 
dq 0x0d7a4825c, 0x0d270f1a2 
dq 0x10f5ff2ba, 0x105405f3e 
dq 0x00167d312, 0x1c3f5f66c 
dq 0x0f6076544, 0x0e9adf796 
dq 0x026f6a60a, 0x12ed0daac 
dq 0x1a2adb74e, 0x096638b34 
dq 0x19d34af3a, 0x065863b64 
dq 0x049c3cc9c, 0x1e50585a0 
dq 0x068bce87a, 0x11eef4f8e 
dq 0x1524fa6c6, 0x19f1c69dc 
dq 0x16cba8aca, 0x1ee54f54c 
dq 0x042d98888, 0x12913343e 
dq 0x1329d9f7e, 0x0b3e32c28 
dq 0x1b1c69528, 0x088f25a3a 
dq 0x02178513a, 0x0064f7f26 
dq 0x0e0ac139e, 0x04e36f0b0 
dq 0x0170076fa, 0x0dd7e3b0c 
dq 0x141a1a2e2, 0x0bd6f81f8 
dq 0x16ad828b4, 0x0f285651c 
dq 0x041d17b64, 0x19425cbba 
dq 0x1fae1cc66, 0x010746f3c 
dq 0x1a75b4b00, 0x18db37e8a 
dq 0x0f872e54c, 0x1c24afea4 
dq 0x01e41e9fc, 0x04c144932 
dq 0x086d8e4d2, 0x0271d9844 
dq 0x160f7af7a, 0x052148f02 
dq 0x05bb8f1bc, 0x08e766a0c 
dq 0x0a90fd27a, 0x0a3c6f37a 
dq 0x0b3af077a, 0x093a5f730 
dq 0x04984d782, 0x1d22c238e 
dq 0x0ca6ef3ac, 0x06cb08e5c 
dq 0x0234e0b26, 0x063ded06a 
dq 0x1d88abd4a, 0x06b749fb2 
dq 0x04597456a, 0x04d56973c 
dq 0x0e9e28eb4, 0x1167f94f2 
dq 0x07b3ff57a, 0x19385bf2e 
dq 0x0c9c8b782, 0x0cec3662e 
dq 0x13a9cba9e, 0x0e417f38a 
dq 0x093e106a4, 0x19329634a 
dq 0x167001a9c, 0x14e727980 
dq 0x1ddffc5d4, 0x0e6fc4e6a 
dq 0x00df04680, 0x0d104b8fc 
dq 0x02342001e, 0x08227bb8a 
dq 0x00a2a8d7e, 0x05b397730 
dq 0x168763fa6, 0x0b0cd4768 
dq 0x1ed5a407a, 0x0e78eb416 
dq 0x0d2c3ed1a, 0x13c2b89c4 
dq 0x0995a5724, 0x1641378f0 
dq 0x19b1afbc4, 0x0d7a4825c 
dq 0x109ffedc0, 0x08d96551c 
dq 0x0f2271e60, 0x10f5ff2ba 
dq 0x00b0bf8ca, 0x00bf80dd2 
dq 0x123888b7a, 0x00167d312 
dq 0x1e888f7dc, 0x18dcddd1c 
dq 0x002ee03b2, 0x0f6076544 
dq 0x183e8d8fe, 0x06a45d2b2 
dq 0x133d7a042, 0x026f6a60a 
dq 0x116b0f50c, 0x1dd3e10e8 
dq 0x05fabe670, 0x1a2adb74e 
dq 0x130004488, 0x0de87806c 
dq 0x000bcf5f6, 0x19d34af3a 
dq 0x18f0c7078, 0x014338754 
dq 0x017f27698, 0x049c3cc9c 
dq 0x058ca5f00, 0x15e3e77ee 
dq 0x1af900c24, 0x068bce87a 
dq 0x0b5cfca28, 0x0dd07448e 
dq 0x0ded288f8, 0x1524fa6c6 
dq 0x059f229bc, 0x1d8048348 
dq 0x06d390dec, 0x16cba8aca 
dq 0x037170390, 0x0a3e3e02c 
dq 0x06353c1cc, 0x042d98888 
dq 0x0c4584f5c, 0x0d73c7bea 
dq 0x1f16a3418, 0x1329d9f7e 
dq 0x0531377e2, 0x185137662 
dq 0x1d8d9ca7c, 0x1b1c69528 
dq 0x0b25b29f2, 0x18a08b5bc 
dq 0x19fb2a8b0, 0x02178513a 
dq 0x1a08fe6ac, 0x1da758ae0 
dq 0x045cddf4e, 0x0e0ac139e 
dq 0x1a91647f2, 0x169cf9eb0 
dq 0x1a0f717c4, 0x0170076fa 
+1

... 'Linux上で – pmg

+0

トライFASMを男as'を試してみてください? – Samveen

答えて

4

我々が説明された様々な最適化機能のためのYASMアセンブラおよびマイクロソフトのために書かれた64ビットコード、* のWindows * 64ビットABIを提供紙の にあります。

ここで重要なのは、MSの64ビットABIで、これはx86_64 unix ABIとは異なります。したがって、このコードはLinuxプラットフォームでは正しく動作しませんが、アセンブルされます。

あなたは、関数の引数に彼らのコメントからABIを識別することができます唯一のABIの違いはありません

;;;  *buf = rcx  // unix would be rdi 
;;;   len = rdx  //    rsi 
;;; crc_init = r8  //    rdx 

を。気づくのが最も簡単なものだけです。