From ce6d1fd8fe01e5167a8a4db3a217a552955362ff Mon Sep 17 00:00:00 2001 From: YAMAMOTO Takashi Date: Fri, 9 Jun 2023 09:12:34 +0900 Subject: [PATCH] wamrc: Add an incompatibility note in the help message (#2276) An example of such optimizations: https://github.com/bytecodealliance/wasm-micro-runtime/pull/1752 --- wamr-compiler/main.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/wamr-compiler/main.c b/wamr-compiler/main.c index be739fd75..ce6ed7006 100644 --- a/wamr-compiler/main.c +++ b/wamr-compiler/main.c @@ -37,6 +37,9 @@ print_help() printf(" by default it is disabled in all 64-bit platforms except SGX and\n"); printf(" in these platforms runtime does bounds checks with hardware trap,\n"); printf(" and by default it is enabled in all 32-bit platforms\n"); + printf(" CAVEAT: --bounds-checks=0 enables some optimizations\n"); + printf(" which make the compiled AOT module incompatible\n"); + printf(" with a runtime without the hardware bounds checks.\n"); printf(" --stack-bounds-checks=1/0 Enable or disable the bounds checks for native stack:\n"); printf(" if the option isn't set, the status is same as `--bounds-check`,\n"); printf(" if the option is set:\n");