andnot: Wasm SIMD bitweise Anweisung

Die andnot SIMD bitweise Anweisung nimmt zwei v128 Eingabewerte. Es führt ein bitweises UND auf dem ersten Wert und einem zweiten Wert aus, der dem Ergebnis eines bitweisen NOTs auf jedes Byte des zweiten Originalwertes entspricht. Es 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 });

Im 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

Wenn v128.andnot auf den Wert angewendet wird, passiert zuerst ein bitweises NOT auf dem zweiten Eingabewert, 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 UND wird dann auf Eingabe 1 und NOT Eingabe 2 durchgefü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 v128-Wert ist ein i8x16, daher gibt i8x16.extract_lane_u 6 den Wert in Kanal 6 aus. Dieser entspricht 6 (0x06), was dem Äquivalent von 15 (0x0F) dargestellt als UND mit 230 (0xE6). 230 ist das bitweise NOT von 25 (0x19).

Mit anderen Worten:

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 dem zweiten Wert sieht so aus:
```
     0 0 0 1 1 0 0 1
NOT  1 1 1 0 0 1 1 0
```
Ein bitweises UND auf dem ersten Wert und dem NOT des zweiten Wertes sieht so 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.