diff options
Diffstat (limited to 'test/lit/wasm-split/invalid-options.wast')
| -rw-r--r-- | test/lit/wasm-split/invalid-options.wast | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/lit/wasm-split/invalid-options.wast b/test/lit/wasm-split/invalid-options.wast index c77691ecc..2f9c0a148 100644 --- a/test/lit/wasm-split/invalid-options.wast +++ b/test/lit/wasm-split/invalid-options.wast @@ -53,6 +53,18 @@ ;; RUN: not wasm-split %s --merge-profiles -g 2>&1 \ ;; RUN: | filecheck %s --check-prefix MERGE-DEBUGINFO +;; --profile cannot be used with --keep-funcs +;; RUN: not wasm-split %s --profile=foo --keep-funcs=foo 2>&1 \ +;; RUN: | filecheck %s --check-prefix PROFILE-KEEP + +;; --profile cannot be used with --split-funcs +;; RUN: not wasm-split %s --profile=foo --split-funcs=foo 2>&1 \ +;; RUN: | filecheck %s --check-prefix PROFILE-SPLIT + +;; --keep-funcs cannot be used with --split-funcs +;; RUN: not wasm-split %s --keep-funcs=foo --split-funcs=foo 2>&1 \ +;; RUN: | filecheck %s --check-prefix KEEP-SPLIT + ;; INSTRUMENT-PROFILE: error: Option --profile cannot be used in instrument mode. ;; INSTRUMENT-OUT1: error: Option --primary-output cannot be used in instrument mode. @@ -79,4 +91,10 @@ ;; MERGE-DEBUGINFO: error: Option --debuginfo cannot be used in merge-profiles mode. +;; PROFILE-KEEP: error: Cannot use both --profile and --keep-funcs. + +;; PROFILE-SPLIT: error: Cannot use both --profile and --split-funcs. + +;; KEEP-SPLIT: error: Cannot use both --keep-funcs and --split-funcs. + (module) |