| ;; Test that the section vanishes after lifting. |
| |
| (module |
| (func $strings |
| ;; These strings cannot appear as magic imports, and will definitely go in |
| ;; the strings section. |
| (drop |
| (string.const "unpaired high surrogate \ED\A0\80 ") |
| ) |
| (drop |
| (string.const "unpaired low surrogate \ED\BD\88 ") |
| ) |
| ) |
| ) |
| |
| ;; Lower into the section. We should see the section. |
| ;; RUN: wasm-opt %s -all --string-lowering -S -o - | filecheck %s --check-prefix=LOWER |
| ;; LOWER: custom section |
| |
| ;; Also lift. Now no section should appear. |
| ;; RUN: wasm-opt %s -all --string-lowering --string-lifting -S -o - | filecheck %s --check-prefix=AND_LIFT |
| ;; AND_LIFT-NOT: custom section |
| |