Activate ewasm dialect in commandline interface.

This commit is contained in:
chriseth 2019-04-18 17:21:40 +02:00
parent f6c6871bce
commit 61e36cbfaa
2 changed files with 3 additions and 1 deletions

View File

@ -44,7 +44,7 @@ string EWasmToText::operator()(wasm::Literal const& _literal)
string EWasmToText::operator()(wasm::Identifier const& _identifier) string EWasmToText::operator()(wasm::Identifier const& _identifier)
{ {
return "(get.local $" + _identifier.name + ")"; return "(get_local $" + _identifier.name + ")";
} }
string EWasmToText::operator()(wasm::Label const& _label) string EWasmToText::operator()(wasm::Label const& _label)

View File

@ -882,6 +882,8 @@ bool CommandLineInterface::processInput()
return false; return false;
} }
} }
if (targetMachine == Machine::eWasm && inputLanguage == Input::StrictAssembly)
inputLanguage = Input::EWasm;
if (optimize && inputLanguage != Input::StrictAssembly) if (optimize && inputLanguage != Input::StrictAssembly)
{ {
serr() << serr() <<