lt_s: Wasm-Textinstruktion
Die lt_s-Instruktion, kurz für less than signed, überprüft, ob eine vorzeichenbehaftete Ganzzahl kleiner als eine andere vorzeichenbehaftete Ganzzahl ist.
Es gibt weitere lt-Instruktionen:
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.lt_s ;; check if 10 is less than 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.lt_s
value_type-
Der Typ des Wertes, mit dem die Instruktion ausgeführt wird. Die folgenden Typen unterstützen
lt_s:i32i64v128Interpretationen:i8x16i16x8i32x4i64x2
lt_s-
Die
lt_s-Instruktion. Muss immer nach demvalue_typeund einem Punkt (.) angegeben werden.
Typ
[input1, input2] -> [output]
input1-
Der erste Eingabewert.
input2-
Der zweite Eingabewert.
output-
Der Ausgabewert, der ein ganzzahliger Typ sein wird.
Für eine nicht-SIMD lt_s werden die Eingaben einfache numerische Werte wie 3 oder 12 sein. Ist der erste Eingabewert kleiner als der zweite, wird 1 als Ausgabe auf den Stack gelegt, andernfalls wird 0 auf den Stack gelegt.
Für eine SIMD lt_s werden die Eingaben v128 Werteinterpretationen sein, zum Beispiel i32x4 2 30 86 120. Jede Spur der Ausgabe, die auf den Stack gelegt wird, ist eine 1 oder 0, die angibt, ob die entsprechende Spur des ersten Eingabewertes kleiner als die entsprechende Spur des zweiten Eingabewertes ist.
Binärcodierung
| Instruktion | Binärformat | Beispiel-Text => Binär |
|---|---|---|
i32.lt_s |
0x48 |
i32.lt_s => 0x48 |
i64.lt_s |
0x53 |
i64.lt_s => 0x53 |
i8x16.lt_s |
0xfd 37:u32 |
i8x16.lt_s => 0xfd 0x25 |
i16x8.lt_s |
0xfd 47:u32 |
i16x8.lt_s => 0xfd 0x2f |
i32x4.lt_s |
0xfd 57:u32 |
i32x4.lt_s => 0xfd 0x39 |
i64x2.lt_s |
0xfd 216:u32 |
i64x2.lt_s => 0xfd 0xd8 0x01 |
Beispiele
>SIMD lt_s Beispiel
In diesem Beispiel demonstrieren wir die Verwendung von lt_s, um zu testen, ob ein SIMD-Spurwert kleiner ist als derselbe Spurwert in einem anderen SIMD-Wert.
JavaScript
In unserem Skript holen wir uns eine Referenz zu einem <p>-Element, an das wir unser Ergebnis ausgeben werden. Dann definieren wir ein Objekt für den Import in Wasm, das eine einzelne Funktion enthält, die einen Wert in das <p>-Element schreibt. Wir kompilieren und instanziieren 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-output()-Funktion und stellen sicher, dass wir deklarieren, dass sie einen i32-Parameter hat. Wir deklarieren dann zwei SIMD-i32x4-Werte und überprüfen, ob die Spurwerte des ersten kleiner als die des zweiten sind, indem wir i32x4.lt_s verwenden. Schließlich extrahieren wir den in Spur 3 des Ausgabe-Wertes gespeicherten Wert mittels der extract_lane-Instruktion, und geben ihn durch Aufrufen der importierten output()-Funktion an das DOM aus.
(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 the second
i32x4.lt_s
i32x4.extract_lane 3 ;; Extract a value from the result
call $output
)
(start $main)
)
Ergebnis
Das Ergebnis ist wie folgt:
Das Ergebnis ist 0, da der in Spur 3 des ersten Eingabewertes gespeicherte Wert nicht kleiner ist als der in Spur 3 des zweiten Eingabewertes gespeicherte Wert.