Drop support for non-standard quoted function names (#6188)

We previously supported a non-standard `(func "name" ...` syntax for declaring
functions exported with the quoted name. Since that is not part of the standard
text format, drop support for it, replacing it with the standard `(func $name
(export "name") ...` syntax instead.

Also replace our other usage of the quoted form in our text output, which was
where we quoted names containing characters that are not allowed to appear in
standard names. To handle that case, adjust our output from `"$name"` to
`$"name"`, which is the standards-track way of supporting such names. Also fix
how we detect non-standard name characters to match the spec.

Update the lit test output generation script to account for these changes,
including by making the `$` prefix on names mandatory. This causes the script to
stop interpreting declarative element segments with the `(elem declare ...`
syntax as being named "declare", so prevent our generated output from regressing
by counting "declare" as a name in the script.

1 files changed, 54 insertions, 58 deletions

diff --git a/test/lit/passes/flatten_simplify-locals-nonesting_dfo_O3.wast b/test/lit/passes/flatten_simplify-locals-nonesting_dfo_O3.wast
index db92b688d..011ea86e9 100644
--- a/test/lit/passes/flatten_simplify-locals-nonesting_dfo_O3.wast
+++ b/test/lit/passes/flatten_simplify-locals-nonesting_dfo_O3.wast
@@ -5,7 +5,30 @@
 
 (module
  (memory 1)
- (func "if-select"
+ ;; CHECK:      (type $0 (func))
+
+ ;; CHECK:      (type $1 (func (result f64)))
+
+ ;; CHECK:      (type $2 (func (param i32 f64 f64) (result i32)))
+
+ ;; CHECK:      (type $3 (func (param i64)))
+
+ ;; CHECK:      (type $4 (func (param f64) (result i32)))
+
+ ;; CHECK:      (export "if-select" (func $if-select))
+
+ ;; CHECK:      (export "unreachable-body-update-zext" (func $unreachable-body-update-zext))
+
+ ;; CHECK:      (export "ssa-const" (func $ssa-const))
+
+ ;; CHECK:      (export "if-nothing" (func $if-nothing))
+
+ ;; CHECK:      (export "only-dfo" (func $only-dfo))
+
+ ;; CHECK:      (func $if-select (; has Stack IR ;)
+ ;; CHECK-NEXT:  (nop)
+ ;; CHECK-NEXT: )
+ (func $if-select (export "if-select")
   (local $var$0 i32)
   (nop)
   (drop
@@ -20,7 +43,10 @@
    )
   )
  )
- (func "unreachable-body-update-zext" (result f64)
+ ;; CHECK:      (func $unreachable-body-update-zext (; has Stack IR ;) (result f64)
+ ;; CHECK-NEXT:  (unreachable)
+ ;; CHECK-NEXT: )
+ (func $unreachable-body-update-zext (export "unreachable-body-update-zext") (result f64)
   (if
    (i32.eqz
     (i32.const 0)
@@ -29,7 +55,10 @@
   )
   (f64.const -9223372036854775808)
  )
- (func "ssa-const" (param $var$0 i32) (param $var$1 f64) (param $var$2 f64) (result i32)
+ ;; CHECK:      (func $ssa-const (; has Stack IR ;) (param $0 i32) (param $1 f64) (param $2 f64) (result i32)
+ ;; CHECK-NEXT:  (unreachable)
+ ;; CHECK-NEXT: )
+ (func $ssa-const (export "ssa-const") (param $var$0 i32) (param $var$1 f64) (param $var$2 f64) (result i32)
   (block $label$1 (result i32)
    (block $label$2
     (if
@@ -59,7 +88,10 @@
    )
   )
  )
- (func "if-nothing" (param $var$0 i64)
+ ;; CHECK:      (func $if-nothing (; has Stack IR ;) (param $0 i64)
+ ;; CHECK-NEXT:  (unreachable)
+ ;; CHECK-NEXT: )
+ (func $if-nothing (export "if-nothing") (param $var$0 i64)
   (local $var$1 i32)
   (local $var$2 i32)
   (block $label$1
@@ -83,7 +115,24 @@
    (unreachable)
   )
  )
- (func "only-dfo" (param $var$0 f64) (result i32)
+ ;; CHECK:      (func $only-dfo (; has Stack IR ;) (param $0 f64) (result i32)
+ ;; CHECK-NEXT:  (local $1 i32)
+ ;; CHECK-NEXT:  (loop $label$1
+ ;; CHECK-NEXT:   (if
+ ;; CHECK-NEXT:    (i32.eqz
+ ;; CHECK-NEXT:     (local.get $1)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (block
+ ;; CHECK-NEXT:     (local.set $1
+ ;; CHECK-NEXT:      (i32.const -2147483648)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:     (br $label$1)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (i32.const -2766)
+ ;; CHECK-NEXT: )
+ (func $only-dfo (export "only-dfo") (param $var$0 f64) (result i32)
   (local $var$1 i32)
   (local $var$2 i32)
   (local $var$3 i32)
@@ -116,56 +165,3 @@
  )
 )
 
-;; CHECK:      (type $0 (func))
-
-;; CHECK:      (type $1 (func (result f64)))
-
-;; CHECK:      (type $2 (func (param i32 f64 f64) (result i32)))
-
-;; CHECK:      (type $3 (func (param i64)))
-
-;; CHECK:      (type $4 (func (param f64) (result i32)))
-
-;; CHECK:      (export "if-select" (func $0))
-
-;; CHECK:      (export "unreachable-body-update-zext" (func $1))
-
-;; CHECK:      (export "ssa-const" (func $2))
-
-;; CHECK:      (export "if-nothing" (func $3))
-
-;; CHECK:      (export "only-dfo" (func $4))
-
-;; CHECK:      (func $0 (; has Stack IR ;)
-;; CHECK-NEXT:  (nop)
-;; CHECK-NEXT: )
-
-;; CHECK:      (func $1 (; has Stack IR ;) (result f64)
-;; CHECK-NEXT:  (unreachable)
-;; CHECK-NEXT: )
-
-;; CHECK:      (func $2 (; has Stack IR ;) (param $0 i32) (param $1 f64) (param $2 f64) (result i32)
-;; CHECK-NEXT:  (unreachable)
-;; CHECK-NEXT: )
-
-;; CHECK:      (func $3 (; has Stack IR ;) (param $0 i64)
-;; CHECK-NEXT:  (unreachable)
-;; CHECK-NEXT: )
-
-;; CHECK:      (func $4 (; has Stack IR ;) (param $0 f64) (result i32)
-;; CHECK-NEXT:  (local $1 i32)
-;; CHECK-NEXT:  (loop $label$1
-;; CHECK-NEXT:   (if
-;; CHECK-NEXT:    (i32.eqz
-;; CHECK-NEXT:     (local.get $1)
-;; CHECK-NEXT:    )
-;; CHECK-NEXT:    (block
-;; CHECK-NEXT:     (local.set $1
-;; CHECK-NEXT:      (i32.const -2147483648)
-;; CHECK-NEXT:     )
-;; CHECK-NEXT:     (br $label$1)
-;; CHECK-NEXT:    )
-;; CHECK-NEXT:   )
-;; CHECK-NEXT:  )
-;; CHECK-NEXT:  (i32.const -2766)
-;; CHECK-NEXT: )