Add align, nofree and nonnull to vmctx pointer.

Adding dereferenceable is still TODO.
This commit is contained in:
Nick Lewycky
2021-01-26 10:49:09 -08:00
parent 2d57f31037
commit 799f1fde66
3 changed files with 139 additions and 45 deletions

View File

@ -111,9 +111,6 @@ impl FuncTranslator {
func.add_attribute(*attr_loc, *attr);
}
// TODO: mark vmctx align 16
// TODO: figure out how many bytes long vmctx is, and mark it dereferenceable. (no need to mark it nonnull once we do this.)
// TODO: mark vmctx nofree
func.add_attribute(AttributeLoc::Function, intrinsics.stack_probe);
func.set_personality_function(intrinsics.personality);
func.as_global_value().set_section(FUNCTION_SECTION);