arm64: codea/abgabe_aa.0

[uebersetzerbau-ss10.git] / asma / asma.s

diff --git a/asma/asma.s b/asma/asma.s
index 1edcffc761df40e49c53c8d07399410de9021b25..d17f4e1ae72efd795c7fe7a832dd7d7328ece8ff 100644 (file)
--- a/asma/asma.s
+++ b/asma/asma.s
@@ -1,85 +1,52 @@
-       .file   "asma.c"
+       .data
+       .align 16
+const65:
+       .rept 16
+       .byte 0x65
+       .endr
+const20:
+       .rept 16
+       .byte 0x20
+       .endr
+constc0:
+       .rept 16
+       .byte 0xc0
+       .endr
+
        .text
 .globl asma
-       .type   asma, @function
 asma:
-.LFB2:
-
-/* unsigned char *asma(unsigned char *s)  
-{  
-  int i;  
-  for (i=0; i<16; i++) {  
-    unsigned char c=s[i];  
-    c += (c>=’A’ && c<=’Z’) ? ’a’-’A’ : 0;  
-    s[i] = c;  
-  }  
-  return s;  
-}
-
-Schreiben Sie diese Funktion in Assembler unter Verwendung von pcmpgtb. Dabei ist folgende Äquivalenz hilfreich:
-(c>=’A’ && c<=’Z’) ? ’a’-’A’ : 0;
-
-ist (bei Verwendung von Überlauf-Arithmetik) äquivalent zu
-min(’Z’+1+min_t-’A’ > c+min_t-’A’ ? 0xff : 0, ’a’-’A’)
-
-wobei min_t der minimale Wert des Datentyps ist, den der Vergleich behandelt (bei pcmpgtb also -128). Zusätzlich zu dem oben genannten dürften die Befehle pminub, paddb, und psubb nützlich sein. */
-       pxor %xmm1, %xmm1
-       pxor %xmm2, %xmm2
-
-       #init %xmm2 mit "'Z' + 1" fuer jedes byte
-       mov $0x5a5a5a5a5a5a5a5a, %rbx
-       movq %rbx, %xmm2
-       pslldq $8, %xmm2
-       movq %rbx, %xmm2
-
-       #init %xmm4 mit "'a'-'A'= 97-65 = 32 = 0x20
-       mov $0x2020202020202020, %rbx
-       movq %rbx, %xmm4
-       pslldq $8, %xmm4
-       movq %rbx, %xmm4
-
-       #speicheradresse des pointers zeigt auf 16*8 feld = 128bit
-       movdqu (%rdi), %xmm1
-       movdqu (%rdi), %xmm3
-
-       #"Packed COMpare Greater Than (Byte)"
-       pcmpgtb %xmm2, %xmm1
-
-       pminub %xmm4, %xmm1
-
-       paddb %xmm1, %xmm3
+       // folgendes kann umgeformt werden (max_t = 127)
+       // X = 'Z' + 1 + min_t - 'A' > c + min_t - 'A' ? 0xff : 0
+       // X =      -c + max_t + 'A' > - 'Z' -1 + max_t + 'A' ? 0xff : 0
+       // X =         -c + 127 + 65 > - 90 - 1 + 127 + 65 ? 0xff : 0
+       // X =               -c - 64 > 101 ? 0xff : 0
+       // X =               -64 - c > 101 ? 0xff : 0
+       // ...
+       // 101 = 0x65
+       // -64 = 0xc0
+
+       // speicheradresse des pointers zeigt auf 16*8 feld = 128bit
+       movdqu (%rdi), %xmm11
+
+       // -64 - c
+       movdqa constc0, %xmm9
+       psubb %xmm11, %xmm9
+
+       // "Packed COMpare Greater Than (Byte)"
+       // achtung beim intuitiven lesen des befehles. 'kleiner'
+       // ist mit 'groesser' vertauscht und vice versa
+       pcmpgtb const65, %xmm9
+
+       // Y = min(X, 'a' - 'A')
+       // mit 'a'-'A'= 97-65 = 32 = 0x20
+       pand const20, %xmm9
+
+       // c += Y
+       paddb %xmm9, %xmm11
+
+       // retuniere an die richtige speicheradresse
+       mov %rdi, %rax
+       movdqu %xmm11, (%rax)
 
-       movq %xmm3, (%rax)
        ret
-.LFE2:
-       .size   asma, .-asma
-       .section        .eh_frame,"a",@progbits
-.Lframe1:
-       .long   .LECIE1-.LSCIE1
-.LSCIE1:
-       .long   0x0
-       .byte   0x1
-       .string "zR"
-       .uleb128 0x1
-       .sleb128 -8
-       .byte   0x10
-       .uleb128 0x1
-       .byte   0x3
-       .byte   0xc
-       .uleb128 0x7
-       .uleb128 0x8
-       .byte   0x90
-       .uleb128 0x1
-       .align 8
-.LECIE1:
-.LSFDE1:
-       .long   .LEFDE1-.LASFDE1
-.LASFDE1:
-       .long   .LASFDE1-.Lframe1
-       .long   .LFB2
-       .long   .LFE2-.LFB2
-       .uleb128 0x0
-       .align 8
-.LEFDE1:
-       .ident  "GCC: (Debian 4.3.2-1.1) 4.3.2"
-       .section        .note.GNU-stack,"",@progbits