cerc-io/solidity
15
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add ctz and popcnt to WasmDialect

Browse Source
This commit is contained in:
Alex Beregszaszi 2019-12-11 13:23:43 +00:00
parent c90d3a3558
commit 87557896ed
2 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Changelog.md
View File

@ -1,5 +1,8 @@
### 0.6.12 (unreleased) ### 0.6.12 (unreleased)
Language Features:
* Wasm backend: Add ``i32.ctz``, ``i64.ctz``, ``i32.popcnt``, and ``i64.popcnt``.
Compiler Features: Compiler Features:
* Code Generator: Evaluate ``keccak256`` of string literals at compile-time. * Code Generator: Evaluate ``keccak256`` of string literals at compile-time.

20
libyul/backends/wasm/WasmDialect.cpp
View File

@ -38,13 +38,18 @@ WasmDialect::WasmDialect()
"add", "add",
"sub", "sub",
"mul", "mul",
// TODO: div_s
"div_u", "div_u",
// TODO: rem_s
"rem_u", "rem_u",
"and", "and",
"or", "or",
"xor", "xor",
"shl", "shl",
// TODO: shr_s
"shr_u", "shr_u",
// TODO: rotl
// TODO: rotr
}) })
addFunction(t.str() + "." + name, {t, t}, {t}); addFunction(t.str() + "." + name, {t, t}, {t});
@ -52,9 +57,13 @@ WasmDialect::WasmDialect()
for (auto const& name: { for (auto const& name: {
"eq", "eq",
"ne", "ne",
// TODO: lt_s
"lt_u", "lt_u",
// TODO: gt_s
"gt_u", "gt_u",
// TODO: le_s
"le_u", "le_u",
// TODO: ge_s
"ge_u" "ge_u"
}) })
addFunction(t.str() + "." + name, {t, t}, {i32}); addFunction(t.str() + "." + name, {t, t}, {i32});
@ -62,8 +71,13 @@ WasmDialect::WasmDialect()
addFunction("i32.eqz", {i32}, {i32}); addFunction("i32.eqz", {i32}, {i32});
addFunction("i64.eqz", {i64}, {i32}); addFunction("i64.eqz", {i64}, {i32});
addFunction("i32.clz", {i32}, {i32}); for (auto t: types)
addFunction("i64.clz", {i64}, {i64}); for (auto const& name: {
"clz",
"ctz",
"popcnt",
})
addFunction(t.str() + "." + name, {t}, {t});
addFunction("i32.wrap_i64", {i64}, {i32}); addFunction("i32.wrap_i64", {i64}, {i32});
@ -73,6 +87,7 @@ WasmDialect::WasmDialect()
m_functions["i32.store"_yulstring].sideEffects.invalidatesStorage = false; m_functions["i32.store"_yulstring].sideEffects.invalidatesStorage = false;
addFunction("i64.store", {i32, i64}, {}, false); addFunction("i64.store", {i32, i64}, {}, false);
m_functions["i64.store"_yulstring].sideEffects.invalidatesStorage = false; m_functions["i64.store"_yulstring].sideEffects.invalidatesStorage = false;
// TODO: add i32.store16, i64.store8, i64.store16, i64.store32
addFunction("i32.store8", {i32, i32}, {}, false); addFunction("i32.store8", {i32, i32}, {}, false);
m_functions["i32.store8"_yulstring].sideEffects.invalidatesStorage = false; m_functions["i32.store8"_yulstring].sideEffects.invalidatesStorage = false;
@ -89,6 +104,7 @@ WasmDialect::WasmDialect()
m_functions["i64.load"_yulstring].sideEffects.invalidatesMemory = false; m_functions["i64.load"_yulstring].sideEffects.invalidatesMemory = false;
m_functions["i64.load"_yulstring].sideEffects.sideEffectFree = true; m_functions["i64.load"_yulstring].sideEffects.sideEffectFree = true;
m_functions["i64.load"_yulstring].sideEffects.sideEffectFreeIfNoMSize = true; m_functions["i64.load"_yulstring].sideEffects.sideEffectFreeIfNoMSize = true;
// TODO: add i32.load8, i32.load16, i64.load8, i64.load16, i64.load32
// Drop is actually overloaded for all types, but Yul does not support that. // Drop is actually overloaded for all types, but Yul does not support that.
// Because of that, we introduce "i32.drop" and "i64.drop". // Because of that, we introduce "i32.drop" and "i64.drop".