From 10595e774fc91e87a422e34ab33174857e6a76ec Mon Sep 17 00:00:00 2001 From: Huang Qi Date: Thu, 6 Jun 2024 10:37:04 +0800 Subject: [PATCH] tools: Optimize size by wasm-opt wasm-opt is a tool from binaryen that can do further optimization for Wasm module, to reduce the size of bytecode. Signed-off-by: Huang Qi --- tools/Wasm.mk | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tools/Wasm.mk b/tools/Wasm.mk index 28627c115d7..f42aae35639 100644 --- a/tools/Wasm.mk +++ b/tools/Wasm.mk @@ -42,7 +42,12 @@ define LINK_WASM $(if $(RETVAL), \ $(error wasm build failed for $(PROGNAME).wasm) \ ) \ - $(call WAMR_AOT_COMPILE) \ + $(eval RETVAL=$(shell $(WASI_SDK_PATH)/wasm-opt -Oz -o $(BINDIR)$(DELIM)wasm$(DELIM)$(PROGNAME).wasm \ + $(BINDIR)$(DELIM)wasm$(DELIM)$(PROGNAME).wasm || echo 1;)) \ + $(if $(RETVAL), \ + $(error wasm build failed for $(PROGNAME).wasm) \ + ) \ + $(call WAMR_AOT_COMPILE) \ ) \ ) endef