andnot: Wasm SIMD bitweiser Befehl

Die andnot SIMD bitweiser Befehl nimmt zwei v128 Eingabewerte. Er führt ein bitweises AND auf den ersten Wert und einen zweiten Wert aus, der dem Ergebnis eines bitweisen NOT auf jedem Byte des zweiten ursprünglichen Wertes entspricht. Er gibt einen neuen v128-Wert zurück, der das Ergebnis enthält.

Probieren Sie es aus

(module
  (import "console" "log" (func $log (param i32)))
  (func $main
    v128.const i16x8 10 23 56 15 25 29 92 45
    v128.const i16x8 12 42 58 25 55 91 192 4
    v128.andnot

    i8x16.extract_lane_u 6
    call $log ;; log the result
  )
  (start $main)
)

WebAssembly.instantiateStreaming(fetch("{%wasm-url%}"), { console });

In dem obigen Beispiel werden die Eingabewerte i16x8 10 23 56 15 25 29 92 45 und i16x8 12 42 58 25 55 91 192 4 als eine Serie von 16 Hex-Werten in den v128s gespeichert:

Byte index     0  1  2  3  4  5  6  7  8  9  10 11 12 13 14 15
Hex value      0A 00 17 00 38 00 0F 00 19 00 1D 00 5C 00 2D 00

Byte index     0  1  2  3  4  5  6  7  8  9  10 11 12 13 14 15
Hex value      0C 00 2A 00 3A 00 19 00 37 00 5B 00 C0 00 04 00

Beim Ausführen von v128.andnot auf dem Wert wird zunächst auf den zweiten Eingabewert ein bitweises NOT ausgeführt, was bedeutet, dass jedes Byte b zu 0xFF - b wird:

Byte index     0  1  2  3  4  5  6  7  8  9  10 11 12 13 14 15
Hex value      0C 00 2A 00 3A 00 19 00 37 00 5B 00 C0 00 04 00
Hex after NOT  F3 FF D5 FF C5 FF E6 FF C8 FF A4 FF 3F FF FB FF

Ein bitweises AND wird dann auf Eingabe 1 und NOT Eingabe 2 ausgeführt:

Byte index               0  1  2  3  4  5  6  7  8  9  10 11 12 13 14 15
Input 1                  0A 00 17 00 38 00 0F 00 19 00 1D 00 5C 00 2D 00
NOT input 2              F3 FF D5 FF C5 FF E6 FF C8 FF A4 FF 3F FF FB FF
Input 1 AND NOT input 2  02 00 15 00 00 00 06 00 08 00 04 00 1C 00 29 00

Der resultierende Ausgabe-v128-Wert ist ein i8x16, daher gibt i8x16.extract_lane_u 6 den Wert auf Spur 6 aus. Dies entspricht 6 (0x06), welches das Ergebnis ist, wenn 15 (0x0F) mit 230 (0xE6) verknüpft ist. 230 ist das bitweise NOT von 25 (0x19).

Anders ausgedrückt:

15 (0x0F) in Binär ist 0 0 0 0 1 1 1 1.
25 (0x19) in Binär ist 0 0 0 1 1 0 0 1.
Ein bitweises NOT auf den zweiten Wert sieht folgendermaßen aus:
```
     0 0 0 1 1 0 0 1
NOT  1 1 1 0 0 1 1 0
```
Ein bitweises AND auf den ersten Wert und das NOT des zweiten Wertes sieht folgendermaßen aus:
```
     0 0 0 0 1 1 1 1
     1 1 1 0 0 1 1 0
AND  0 0 0 0 0 1 1 0
```
0 0 0 0 0 1 1 0 entspricht 6.