MB
Size: a a a
2020 November 06
AF
ну глянь выше )
M
ну глянь выше )
Ты о чем? Со всем вроде разобрались)
AF
а, ну ок тогда
MB
/me ничего не понял, но раз ок то ок
AF
да там тема твоя была прост )
в🧇
А почему в wasm нет численных типов меньше
i32?AF
А почему в wasm нет численных типов меньше
i32?есть операции зато
M
А почему в wasm нет численных типов меньше
i32?Потому что их нет и в процессоре. Есть регистры. для 64-битных архитектур и регистры соответственно 64-битовые. Если условно взять rax, то его можно предствавить как:
Но это всегда 64-битный регистр. А вот 32- или 64- битные операции это уже другое дело именно по ним и проведена условная черта и это отражено в типах wasm. Тоже самое и с unsigned типами которых нет в wasm, но зато они есть в качестве операций - shr_u, div_u, rem_u, gt_u и т.д.
0x1122334455667788
================ rax (64 bits)
======== eax (32 bits)
==== ax (16 bits)
== ah (8 bits)
== al (8 bits)
Но это всегда 64-битный регистр. А вот 32- или 64- битные операции это уже другое дело именно по ним и проведена условная черта и это отражено в типах wasm. Тоже самое и с unsigned типами которых нет в wasm, но зато они есть в качестве операций - shr_u, div_u, rem_u, gt_u и т.д.
AT
Переслано от Anton Trunov
Сейчас поискал свежую статью Мидтгаарда: https://janmidtgaard.dk/papers/Perenyi-Midtgaard%3aAPLAS20.pdf.
Abstract. WebAssembly (Wasm) is a popular portable assembly-like language. Besides browser support in the four most common browsers (Chrome, Firefox, Safari, Edge) a number of standalone Wasm engines are available. With several such independent implementations naturally follows a risk of disagreement be- tween the individual implementations.
To help ensure agreement between Wasm implementations, we develop a stack- directed program generator to drive differential testing of the four browsers’ Wasm engines. We describe our experimental setup, our development of a stack- directed shrinker for reducing a generated counterexample program, and finally report on a number of disagreements and bugs found. Surprisingly our black-box generator found 2 crashing bugs, despite browser vendor efforts to fuzz test their Wasm engines using a state-of-the-art fuzzer.
Abstract. WebAssembly (Wasm) is a popular portable assembly-like language. Besides browser support in the four most common browsers (Chrome, Firefox, Safari, Edge) a number of standalone Wasm engines are available. With several such independent implementations naturally follows a risk of disagreement be- tween the individual implementations.
To help ensure agreement between Wasm implementations, we develop a stack- directed program generator to drive differential testing of the four browsers’ Wasm engines. We describe our experimental setup, our development of a stack- directed shrinker for reducing a generated counterexample program, and finally report on a number of disagreements and bugs found. Surprisingly our black-box generator found 2 crashing bugs, despite browser vendor efforts to fuzz test their Wasm engines using a state-of-the-art fuzzer.
в🧇
Потому что их нет и в процессоре. Есть регистры. для 64-битных архитектур и регистры соответственно 64-битовые. Если условно взять rax, то его можно предствавить как:
Но это всегда 64-битный регистр. А вот 32- или 64- битные операции это уже другое дело именно по ним и проведена условная черта и это отражено в типах wasm. Тоже самое и с unsigned типами которых нет в wasm, но зато они есть в качестве операций - shr_u, div_u, rem_u, gt_u и т.д.
0x1122334455667788
================ rax (64 bits)
======== eax (32 bits)
==== ax (16 bits)
== ah (8 bits)
== al (8 bits)
Но это всегда 64-битный регистр. А вот 32- или 64- битные операции это уже другое дело именно по ним и проведена условная черта и это отражено в типах wasm. Тоже самое и с unsigned типами которых нет в wasm, но зато они есть в качестве операций - shr_u, div_u, rem_u, gt_u и т.д.
Понял, спасибо.
2020 November 07
Cʕ
IP
как через binaryen импортировать сишный math.h?
IP
js'ный sin вызывать не хочется
2020 November 08
Cʕ
2020 November 09