le_s: Wasm numerische Anweisung
Die le_s numerische Anweisung, kurz für less or equal signed (kleiner oder gleich vorzeichenbehaftet), überprüft, ob ein vorzeichenbehafteter Integer kleiner oder gleich einem anderen vorzeichenbehafteten Integer ist.
Es gibt andere le-Anweisungen:
Probieren Sie es aus
(module
(import "env" "log_bool" (func $log_bool (param i32)))
(func $main
;; load 10 and 3 onto the stack
i32.const 10
i32.const 3
i32.le_s ;; check if 10 is less than or equal to 3
call $log_bool ;; log the result
)
(start $main)
)
const url = "{%wasm-url%}";
function log_bool(value) {
console.log(Boolean(value));
// Expected output: true
}
await WebAssembly.instantiateStreaming(fetch(url), {
env: { log_bool },
});
Syntax
value_type.le_s
value_type-
Der Typ des Wertes, auf dem die Anweisung ausgeführt wird. Folgende Typen unterstützen
le_s:i32i64v128-Interpretationen:i8x16i16x8i32x4i64x2
le_s-
Die
le_s-Anweisung. Muss immer nach demvalue_typeund einem Punkt (.) eingefügt werden.
Typ
[input1, input2] -> [output]
input1-
Der erste Eingabewert.
input2-
Der zweite Eingabewert.
output-
Der Ausgabewert, der ein Integer-Typ sein wird.
Für ein nicht-SIMD le_s sind die Eingaben grundlegende numerische Werte wie 3 oder 12. Wenn die erste Eingabe kleiner oder gleich der zweiten Eingabe ist, wird 1 als Ausgabe auf den Stapel gelegt, andernfalls wird 0 auf den Stapel gelegt.
Für ein SIMD le_s sind die Eingaben v128-Werte, zum Beispiel i32x4 2 30 86 120. Jedes Lane der auf den Stapel gelegten Ausgabe ist eine 1 oder 0, die angibt, ob das entsprechende Lane der ersten Eingabe kleiner oder gleich dem entsprechenden Lane der zweiten Eingabe ist.
Binärcodierung
| Anweisung | Binärformat | Beispieltext => binär |
|---|---|---|
i32.le_s |
0x4c |
i32.le_s => 0x4c |
i64.le_s |
0x57 |
i64.le_s => 0x57 |
i8x16.le_s |
0xfd 41:u32 |
i8x16.le_s => 0xfd 0x29 |
i16x8.le_s |
0xfd 51:u32 |
i16x8.le_s => 0xfd 0x33 |
i32x4.le_s |
0xfd 61:u32 |
i32x4.le_s => 0xfd 0x3d |
i64x2.le_s |
0xfd 218:u32 |
i64x2.le_s => 0xfd 0xda 0x01 |
Beispiele
>SIMD le_s Beispiel
In diesem Beispiel demonstrieren wir die Verwendung von le_s, um zu testen, ob ein SIMD-Lane-Wert kleiner oder gleich dem gleichen Lane-Wert in einem anderen SIMD-Wert ist.
JavaScript
In unserem Skript greifen wir auf ein <p>-Element zu, in das wir unser Ergebnis ausgeben werden, und definieren dann ein Objekt zur Importierung in Wasm, das eine einzelne Funktion enthält, die einen Wert in das Ausgabefeld <p> schreibt. Dann kompilieren und instanziieren wir unser Wasm-Modul mit der Methode WebAssembly.instantiateStreaming() und importieren dabei das Objekt.
const outputElem = document.querySelector("p");
const obj = {
output(val) {
outputElem.textContent += val;
},
};
WebAssembly.instantiateStreaming(fetch("{%wasm-url%}"), {
obj,
});
Wasm
In unserem Wasm-Modul importieren wir zuerst die JavaScript-Funktion output() und stellen sicher, dass wir deklarieren, dass sie einen i32-Parameter hat. Dann deklarieren wir zwei SIMD i32x4-Werte und überprüfen, ob die Lane-Werte des ersten kleiner oder gleich denen des zweiten sind, wobei wir i32x4.le_s verwenden. Schließlich extrahieren wir den Wert, der in Lane 3 des Ausgabewertes gespeichert ist, mit der extract_lane-Anweisung und geben ihn an das DOM aus, indem wir die importierte output()-Funktion aufrufen.
(module
;; Import output function
(import "obj" "output" (func $output (param i32)))
(func $main
;; load two SIMD values onto the stack
v128.const i32x4 20 12 15 102
v128.const i32x4 20 12 15 100
;; check whether the first value is less than or equal to the second
i32x4.le_s
i32x4.extract_lane 3 ;; Extract a value from the result
call $output
)
(start $main)
)
Ergebnis
Die Ausgabe ist wie folgt:
Das Ergebnis ist 0, weil der Wert, der in Lane 3 des ersten Eingabewertes gespeichert ist, nicht kleiner oder gleich dem Wert ist, der in Lane 3 des zweiten Eingabewertes gespeichert ist.
Spezifikationen
| Spezifikation |
|---|
| WebAssembly Core Specification> # numeric-instructions%E2%91%A8> |