diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2019-12-11 17:12:37 -0800 |
---|---|---|
committer | Alon Zakai <azakai@google.com> | 2019-12-11 17:12:37 -0800 |
commit | 759c485a9f35bd859d43b86b02e1397a669fa469 (patch) | |
tree | a5c7475002b406e35c6d1e5c2d843000947ef192 /src/passes/SafeHeap.cpp | |
parent | acd786dbd1e59f9d105c4ec8603c2ff46f233649 (diff) | |
download | binaryen-759c485a9f35bd859d43b86b02e1397a669fa469.tar.gz binaryen-759c485a9f35bd859d43b86b02e1397a669fa469.tar.bz2 binaryen-759c485a9f35bd859d43b86b02e1397a669fa469.zip |
Remove FunctionType (#2510)
Function signatures were previously redundantly stored on Function
objects as well as on FunctionType objects. These two signature
representations had to always be kept in sync, which was error-prone
and needlessly complex. This PR takes advantage of the new ability of
Type to represent multiple value types by consolidating function
signatures as a pair of Types (params and results) stored on the
Function object.
Since there are no longer module-global named function types,
significant changes had to be made to the printing and emitting of
function types, as well as their parsing and manipulation in various
passes.
The C and JS APIs and their tests also had to be updated to remove
named function types.
Diffstat (limited to 'src/passes/SafeHeap.cpp')
-rw-r--r-- | src/passes/SafeHeap.cpp | 24 |
1 files changed, 7 insertions, 17 deletions
diff --git a/src/passes/SafeHeap.cpp b/src/passes/SafeHeap.cpp index f29a1cf66..37610a90b 100644 --- a/src/passes/SafeHeap.cpp +++ b/src/passes/SafeHeap.cpp @@ -23,7 +23,6 @@ #include "asm_v_wasm.h" #include "asmjs/shared-constants.h" #include "ir/bits.h" -#include "ir/function-type-utils.h" #include "ir/import-utils.h" #include "ir/load-utils.h" #include "pass.h" @@ -137,9 +136,7 @@ struct SafeHeap : public Pass { import->name = getSbrkPtr = GET_SBRK_PTR_IMPORT; import->module = ENV; import->base = GET_SBRK_PTR_IMPORT; - auto* functionType = ensureFunctionType("i", module); - import->type = functionType->name; - FunctionTypeUtils::fillFunction(import, functionType); + import->sig = Signature(Type::none, Type::i32); module->addFunction(import); } if (auto* existing = info.getImportedFunction(ENV, SEGFAULT_IMPORT)) { @@ -149,9 +146,7 @@ struct SafeHeap : public Pass { import->name = segfault = SEGFAULT_IMPORT; import->module = ENV; import->base = SEGFAULT_IMPORT; - auto* functionType = ensureFunctionType("v", module); - import->type = functionType->name; - FunctionTypeUtils::fillFunction(import, functionType); + import->sig = Signature(Type::none, Type::none); module->addFunction(import); } if (auto* existing = info.getImportedFunction(ENV, ALIGNFAULT_IMPORT)) { @@ -161,9 +156,7 @@ struct SafeHeap : public Pass { import->name = alignfault = ALIGNFAULT_IMPORT; import->module = ENV; import->base = ALIGNFAULT_IMPORT; - auto* functionType = ensureFunctionType("v", module); - import->type = functionType->name; - FunctionTypeUtils::fillFunction(import, functionType); + import->sig = Signature(Type::none, Type::none); module->addFunction(import); } } @@ -251,10 +244,9 @@ struct SafeHeap : public Pass { } auto* func = new Function; func->name = name; - func->params.push_back(i32); // pointer - func->params.push_back(i32); // offset + // pointer, offset + func->sig = Signature({Type::i32, Type::i32}, style.type); func->vars.push_back(i32); // pointer + offset - func->result = style.type; Builder builder(*module); auto* block = builder.makeBlock(); block->list.push_back(builder.makeLocalSet( @@ -291,11 +283,9 @@ struct SafeHeap : public Pass { } auto* func = new Function; func->name = name; - func->params.push_back(i32); // pointer - func->params.push_back(i32); // offset - func->params.push_back(style.valueType); // value + // pointer, offset, value + func->sig = Signature({Type::i32, Type::i32, style.valueType}, Type::none); func->vars.push_back(i32); // pointer + offset - func->result = none; Builder builder(*module); auto* block = builder.makeBlock(); block->list.push_back(builder.makeLocalSet( |