Merge pull request #7602 from ethereum/fixWasmTypes

Fix types of wasm builtins.
This commit is contained in:
chriseth 2019-11-04 13:04:25 +01:00 committed by GitHub
commit a964a2026b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -46,12 +46,22 @@ WasmDialect::WasmDialect():
})
addFunction(name, 2, 1);
m_functions["i64.lt_u"_yulstring].returns.front() = "i32"_yulstring;
m_functions["i64.gt_u"_yulstring].returns.front() = "i32"_yulstring;
m_functions["i64.le_u"_yulstring].returns.front() = "i32"_yulstring;
m_functions["i64.ge_u"_yulstring].returns.front() = "i32"_yulstring;
m_functions["i64.eq"_yulstring].returns.front() = "i32"_yulstring;
m_functions["i64.ne"_yulstring].returns.front() = "i32"_yulstring;
addFunction("i64.eqz", 1, 1);
m_functions["i64.eqz"_yulstring].returns.front() = "i32"_yulstring;
addFunction("i64.store", 2, 0, false);
m_functions["i64.store"_yulstring].parameters.front() = "i32"_yulstring;
m_functions["i64.store"_yulstring].sideEffects.invalidatesStorage = false;
addFunction("i64.load", 1, 1, false);
m_functions["i64.load"_yulstring].parameters.front() = "i32"_yulstring;
m_functions["i64.load"_yulstring].sideEffects.invalidatesStorage = false;
m_functions["i64.load"_yulstring].sideEffects.invalidatesMemory = false;
m_functions["i64.load"_yulstring].sideEffects.sideEffectFree = true;