asma: formel "umgeformt" und im endeffekt einen befehl "gewonnen" (haha)

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

diff --git a/asma/asma.s b/asma/asma.s
index 84151dbc1036afc4dc32a8cf596cccca3de318f8..9ea72d32ba5a7e8e62c46648c08337ada17bd5be 100644 (file)
--- a/asma/asma.s
+++ b/asma/asma.s
@@ -1,51 +1,61 @@
        .file   "asma.c"
+
+.section .rodata
+.align 128
+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:
-       /*init %xmm8 mit "'Z' + 1 + min_t - 'A'" fuer jedes byte
-       * 'Z' + 1 + min_t - 'A' = 90 + 1 - 128 - 65 = -102
-       * 102 = 01100110
-       * ~102 = 10011001
-       * (~102)+1 = 10011010 = 0x9A */
-       mov $0x9a9a9a9a9a9a9a9a, %rax
-       movq %rax, %xmm15
-       movddup %xmm15, %xmm8
-
-       //init %xmm9 mit "'a'-'A'= 97-65 = 32 = 0x20
-       mov $0x2020202020202020, %rax
-       movq %rax, %xmm15
-       movddup %xmm15, %xmm9
+       // folgendes kann umgeformt werden:
+       // (mathematisch ned ganz korrekt)
+       // X = 'Z' + 1 + min_t - 'A' > c + min_t - 'A' ? 0xff : 0
+       // X = -102         >  c + 63 ? 0xff : 0
+       // X = c + 63       < -102 ? 0xff : 0
+       // X = -(c + 63)    >  102 ? 0xff : 0
+       // X = -63 - c      >  102 ? 0xff : 0
+       // X = -63 - c - 1  >  102 - 1 ? 0xff : 0
+       // X = -64 - c      >  101 ? 0xff : 0
+       // ...
+       // 101 = 0x65
+       // -64 = 0xc0
 
-       //speicheradresse des pointers zeigt auf 16*8 feld = 128bit
+       // speicheradresse des pointers zeigt auf 16*8 feld = 128bit
        movdqu (%rdi), %xmm11
-       movdqu (%rdi), %xmm12
 
-       /*addiere in %xmm11 "min_t-'A'"
-       * = -128 - 65 = 63 = 0x3f */
-       mov $0x3f3f3f3f3f3f3f3f, %rax
-       movq %rax, %xmm15
-       movddup %xmm15, %xmm10
+       // -64 - c
+       movdqa constc0, %xmm9
+       psubb %xmm11, %xmm9
 
-       //c+min_t-'A'
-       paddb %xmm10, %xmm11
+       // "Packed COMpare Greater Than (Byte)"
+       // achtung beim intuitiven lesen des befehles. 'kleiner'
+       // ist mit 'groesser' vertauscht und vice versa
+       pcmpgtb const65, %xmm9
 
-       /*"Packed COMpare Greater Than (Byte)"
-       * X = 'Z' + 1 + min_t - 'A' > c + min_t - 'A' ? 0xff : 0
-       * achtung beim intuitiven lesen des befehles. 'kleiner' 
-       * ist mit 'groesser' vertauscht und vice versa */
-       pcmpgtb %xmm11, %xmm8
+       // Y = min(X, 'a' - 'A')
+       // mit 'a'-'A'= 97-65 = 32 = 0x20
+       pminub const20, %xmm9
 
-       //Y = min(X, 'a' - 'A')
-       pminub %xmm9, %xmm8
+       // c += Y
+       paddb %xmm9, %xmm11
 
-       //c += Y
-       paddb %xmm8, %xmm12
-
-       //retuniere an die richtige speicheradresse
+       // retuniere an die richtige speicheradresse
        mov %rdi, %rax
-       movapd %xmm12, (%rax)
+       movdqu %xmm11, (%rax)
+
        ret
 .LFE2:
        .size   asma, .-asma