;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.

;; Test optimization decisions while varying the minimum benefit percentage
;; parameter. Zero means any benefit, no matter how small, is worthwhile, while
;; higher values demand more benefit before doing any work.
;;
;; Test with --traps-never-happen (tnh) here so that we optimize more, making it
;; easier to show the effects. This is also more realistic for toolchains like
;; Java/Kotlin/Dart, which is good coverage.

;; RUN: foreach %s %t wasm-opt --monomorphize                                         -all -tnh -S -o - | filecheck %s --check-prefix DEFAULT
;; RUN: foreach %s %t wasm-opt --monomorphize --pass-arg=monomorphize-min-benefit@0   -all -tnh -S -o - | filecheck %s --check-prefix ZERO___
;; RUN: foreach %s %t wasm-opt --monomorphize --pass-arg=monomorphize-min-benefit@33  -all -tnh -S -o - | filecheck %s --check-prefix THIRD__
;; RUN: foreach %s %t wasm-opt --monomorphize --pass-arg=monomorphize-min-benefit@66  -all -tnh -S -o - | filecheck %s --check-prefix TWOTRDS
;; RUN: foreach %s %t wasm-opt --monomorphize --pass-arg=monomorphize-min-benefit@100 -all -tnh -S -o - | filecheck %s --check-prefix HUNDRED

(module
  (memory 10 20)

  ;; DEFAULT:      (type $0 (func (param i32 i32 i32 i32 i32)))

  ;; DEFAULT:      (type $1 (func (param i32)))

  ;; DEFAULT:      (memory $0 10 20)

  ;; DEFAULT:      (func $target (type $0) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32)
  ;; DEFAULT-NEXT:  (i32.store
  ;; DEFAULT-NEXT:   (i32.const 10)
  ;; DEFAULT-NEXT:   (i32.div_s
  ;; DEFAULT-NEXT:    (local.get $0)
  ;; DEFAULT-NEXT:    (i32.add
  ;; DEFAULT-NEXT:     (local.get $0)
  ;; DEFAULT-NEXT:     (i32.const 1)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (i32.store
  ;; DEFAULT-NEXT:   (i32.const 20)
  ;; DEFAULT-NEXT:   (i32.div_s
  ;; DEFAULT-NEXT:    (local.get $1)
  ;; DEFAULT-NEXT:    (i32.add
  ;; DEFAULT-NEXT:     (local.get $1)
  ;; DEFAULT-NEXT:     (i32.const 1)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (i32.store
  ;; DEFAULT-NEXT:   (i32.const 30)
  ;; DEFAULT-NEXT:   (i32.div_s
  ;; DEFAULT-NEXT:    (local.get $2)
  ;; DEFAULT-NEXT:    (i32.add
  ;; DEFAULT-NEXT:     (local.get $2)
  ;; DEFAULT-NEXT:     (i32.const 1)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (i32.store
  ;; DEFAULT-NEXT:   (i32.const 40)
  ;; DEFAULT-NEXT:   (i32.div_s
  ;; DEFAULT-NEXT:    (local.get $3)
  ;; DEFAULT-NEXT:    (i32.add
  ;; DEFAULT-NEXT:     (local.get $3)
  ;; DEFAULT-NEXT:     (i32.const 1)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (i32.store
  ;; DEFAULT-NEXT:   (i32.const 50)
  ;; DEFAULT-NEXT:   (i32.div_s
  ;; DEFAULT-NEXT:    (local.get $4)
  ;; DEFAULT-NEXT:    (i32.add
  ;; DEFAULT-NEXT:     (local.get $4)
  ;; DEFAULT-NEXT:     (i32.const 1)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT: )
  ;; ZERO___:      (type $0 (func (param i32)))

  ;; ZERO___:      (type $1 (func (param i32 i32 i32 i32 i32)))

  ;; ZERO___:      (type $2 (func))

  ;; ZERO___:      (type $3 (func (param i32 i32)))

  ;; ZERO___:      (type $4 (func (param i32 i32 i32)))

  ;; ZERO___:      (type $5 (func (param i32 i32 i32 i32)))

  ;; ZERO___:      (memory $0 10 20)

  ;; ZERO___:      (func $target (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32)
  ;; ZERO___-NEXT:  (i32.store
  ;; ZERO___-NEXT:   (i32.const 10)
  ;; ZERO___-NEXT:   (i32.div_s
  ;; ZERO___-NEXT:    (local.get $0)
  ;; ZERO___-NEXT:    (i32.add
  ;; ZERO___-NEXT:     (local.get $0)
  ;; ZERO___-NEXT:     (i32.const 1)
  ;; ZERO___-NEXT:    )
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (i32.store
  ;; ZERO___-NEXT:   (i32.const 20)
  ;; ZERO___-NEXT:   (i32.div_s
  ;; ZERO___-NEXT:    (local.get $1)
  ;; ZERO___-NEXT:    (i32.add
  ;; ZERO___-NEXT:     (local.get $1)
  ;; ZERO___-NEXT:     (i32.const 1)
  ;; ZERO___-NEXT:    )
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (i32.store
  ;; ZERO___-NEXT:   (i32.const 30)
  ;; ZERO___-NEXT:   (i32.div_s
  ;; ZERO___-NEXT:    (local.get $2)
  ;; ZERO___-NEXT:    (i32.add
  ;; ZERO___-NEXT:     (local.get $2)
  ;; ZERO___-NEXT:     (i32.const 1)
  ;; ZERO___-NEXT:    )
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (i32.store
  ;; ZERO___-NEXT:   (i32.const 40)
  ;; ZERO___-NEXT:   (i32.div_s
  ;; ZERO___-NEXT:    (local.get $3)
  ;; ZERO___-NEXT:    (i32.add
  ;; ZERO___-NEXT:     (local.get $3)
  ;; ZERO___-NEXT:     (i32.const 1)
  ;; ZERO___-NEXT:    )
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (i32.store
  ;; ZERO___-NEXT:   (i32.const 50)
  ;; ZERO___-NEXT:   (i32.div_s
  ;; ZERO___-NEXT:    (local.get $4)
  ;; ZERO___-NEXT:    (i32.add
  ;; ZERO___-NEXT:     (local.get $4)
  ;; ZERO___-NEXT:     (i32.const 1)
  ;; ZERO___-NEXT:    )
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT: )
  ;; THIRD__:      (type $0 (func (param i32)))

  ;; THIRD__:      (type $1 (func (param i32 i32 i32 i32 i32)))

  ;; THIRD__:      (type $2 (func))

  ;; THIRD__:      (type $3 (func (param i32 i32)))

  ;; THIRD__:      (memory $0 10 20)

  ;; THIRD__:      (func $target (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32)
  ;; THIRD__-NEXT:  (i32.store
  ;; THIRD__-NEXT:   (i32.const 10)
  ;; THIRD__-NEXT:   (i32.div_s
  ;; THIRD__-NEXT:    (local.get $0)
  ;; THIRD__-NEXT:    (i32.add
  ;; THIRD__-NEXT:     (local.get $0)
  ;; THIRD__-NEXT:     (i32.const 1)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (i32.store
  ;; THIRD__-NEXT:   (i32.const 20)
  ;; THIRD__-NEXT:   (i32.div_s
  ;; THIRD__-NEXT:    (local.get $1)
  ;; THIRD__-NEXT:    (i32.add
  ;; THIRD__-NEXT:     (local.get $1)
  ;; THIRD__-NEXT:     (i32.const 1)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (i32.store
  ;; THIRD__-NEXT:   (i32.const 30)
  ;; THIRD__-NEXT:   (i32.div_s
  ;; THIRD__-NEXT:    (local.get $2)
  ;; THIRD__-NEXT:    (i32.add
  ;; THIRD__-NEXT:     (local.get $2)
  ;; THIRD__-NEXT:     (i32.const 1)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (i32.store
  ;; THIRD__-NEXT:   (i32.const 40)
  ;; THIRD__-NEXT:   (i32.div_s
  ;; THIRD__-NEXT:    (local.get $3)
  ;; THIRD__-NEXT:    (i32.add
  ;; THIRD__-NEXT:     (local.get $3)
  ;; THIRD__-NEXT:     (i32.const 1)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (i32.store
  ;; THIRD__-NEXT:   (i32.const 50)
  ;; THIRD__-NEXT:   (i32.div_s
  ;; THIRD__-NEXT:    (local.get $4)
  ;; THIRD__-NEXT:    (i32.add
  ;; THIRD__-NEXT:     (local.get $4)
  ;; THIRD__-NEXT:     (i32.const 1)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT: )
  ;; TWOTRDS:      (type $0 (func (param i32 i32 i32 i32 i32)))

  ;; TWOTRDS:      (type $1 (func (param i32)))

  ;; TWOTRDS:      (type $2 (func))

  ;; TWOTRDS:      (memory $0 10 20)

  ;; TWOTRDS:      (func $target (type $0) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32)
  ;; TWOTRDS-NEXT:  (i32.store
  ;; TWOTRDS-NEXT:   (i32.const 10)
  ;; TWOTRDS-NEXT:   (i32.div_s
  ;; TWOTRDS-NEXT:    (local.get $0)
  ;; TWOTRDS-NEXT:    (i32.add
  ;; TWOTRDS-NEXT:     (local.get $0)
  ;; TWOTRDS-NEXT:     (i32.const 1)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (i32.store
  ;; TWOTRDS-NEXT:   (i32.const 20)
  ;; TWOTRDS-NEXT:   (i32.div_s
  ;; TWOTRDS-NEXT:    (local.get $1)
  ;; TWOTRDS-NEXT:    (i32.add
  ;; TWOTRDS-NEXT:     (local.get $1)
  ;; TWOTRDS-NEXT:     (i32.const 1)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (i32.store
  ;; TWOTRDS-NEXT:   (i32.const 30)
  ;; TWOTRDS-NEXT:   (i32.div_s
  ;; TWOTRDS-NEXT:    (local.get $2)
  ;; TWOTRDS-NEXT:    (i32.add
  ;; TWOTRDS-NEXT:     (local.get $2)
  ;; TWOTRDS-NEXT:     (i32.const 1)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (i32.store
  ;; TWOTRDS-NEXT:   (i32.const 40)
  ;; TWOTRDS-NEXT:   (i32.div_s
  ;; TWOTRDS-NEXT:    (local.get $3)
  ;; TWOTRDS-NEXT:    (i32.add
  ;; TWOTRDS-NEXT:     (local.get $3)
  ;; TWOTRDS-NEXT:     (i32.const 1)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (i32.store
  ;; TWOTRDS-NEXT:   (i32.const 50)
  ;; TWOTRDS-NEXT:   (i32.div_s
  ;; TWOTRDS-NEXT:    (local.get $4)
  ;; TWOTRDS-NEXT:    (i32.add
  ;; TWOTRDS-NEXT:     (local.get $4)
  ;; TWOTRDS-NEXT:     (i32.const 1)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT: )
  ;; HUNDRED:      (type $0 (func (param i32 i32 i32 i32 i32)))

  ;; HUNDRED:      (type $1 (func (param i32)))

  ;; HUNDRED:      (memory $0 10 20)

  ;; HUNDRED:      (func $target (type $0) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32)
  ;; HUNDRED-NEXT:  (i32.store
  ;; HUNDRED-NEXT:   (i32.const 10)
  ;; HUNDRED-NEXT:   (i32.div_s
  ;; HUNDRED-NEXT:    (local.get $0)
  ;; HUNDRED-NEXT:    (i32.add
  ;; HUNDRED-NEXT:     (local.get $0)
  ;; HUNDRED-NEXT:     (i32.const 1)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (i32.store
  ;; HUNDRED-NEXT:   (i32.const 20)
  ;; HUNDRED-NEXT:   (i32.div_s
  ;; HUNDRED-NEXT:    (local.get $1)
  ;; HUNDRED-NEXT:    (i32.add
  ;; HUNDRED-NEXT:     (local.get $1)
  ;; HUNDRED-NEXT:     (i32.const 1)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (i32.store
  ;; HUNDRED-NEXT:   (i32.const 30)
  ;; HUNDRED-NEXT:   (i32.div_s
  ;; HUNDRED-NEXT:    (local.get $2)
  ;; HUNDRED-NEXT:    (i32.add
  ;; HUNDRED-NEXT:     (local.get $2)
  ;; HUNDRED-NEXT:     (i32.const 1)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (i32.store
  ;; HUNDRED-NEXT:   (i32.const 40)
  ;; HUNDRED-NEXT:   (i32.div_s
  ;; HUNDRED-NEXT:    (local.get $3)
  ;; HUNDRED-NEXT:    (i32.add
  ;; HUNDRED-NEXT:     (local.get $3)
  ;; HUNDRED-NEXT:     (i32.const 1)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (i32.store
  ;; HUNDRED-NEXT:   (i32.const 50)
  ;; HUNDRED-NEXT:   (i32.div_s
  ;; HUNDRED-NEXT:    (local.get $4)
  ;; HUNDRED-NEXT:    (i32.add
  ;; HUNDRED-NEXT:     (local.get $4)
  ;; HUNDRED-NEXT:     (i32.const 1)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT: )
  (func $target (param $a i32) (param $b i32) (param $c i32) (param $d i32) (param $e i32)
    ;; This function takes five parameters and uses each one to do some work. In
    ;; Each of the following identical stores, when we know one of the five
    ;; params, we can compute in full the value stored. (The store offsets
    ;; differ to guard against a future dead store elimination.)
    (i32.store
      (i32.const 10)
      (i32.div_s
        (local.get $a)
        (i32.add
          (local.get $a)
          (i32.const 1)
        )
      )
    )
    (i32.store
      (i32.const 20)
      (i32.div_s
        (local.get $b)
        (i32.add
          (local.get $b)
          (i32.const 1)
        )
      )
    )
    (i32.store
      (i32.const 30)
      (i32.div_s
        (local.get $c)
        (i32.add
          (local.get $c)
          (i32.const 1)
        )
      )
    )
    (i32.store
      (i32.const 40)
      (i32.div_s
        (local.get $d)
        (i32.add
          (local.get $d)
          (i32.const 1)
        )
      )
    )
    (i32.store
      (i32.const 50)
      (i32.div_s
        (local.get $e)
        (i32.add
          (local.get $e)
          (i32.const 1)
        )
      )
    )
  )

  ;; DEFAULT:      (func $calls (type $1) (param $x i32)
  ;; DEFAULT-NEXT:  (call $target
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $target
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $target
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $target
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $target
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (i32.const 42)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $target
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT: )
  ;; ZERO___:      (func $calls (type $0) (param $x i32)
  ;; ZERO___-NEXT:  (call $target_2)
  ;; ZERO___-NEXT:  (call $target_3
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target_4
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target_5
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target_6
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT: )
  ;; THIRD__:      (func $calls (type $0) (param $x i32)
  ;; THIRD__-NEXT:  (call $target_2)
  ;; THIRD__-NEXT:  (call $target_3
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target_4
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (i32.const 42)
  ;; THIRD__-NEXT:   (i32.const 42)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (i32.const 42)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT: )
  ;; TWOTRDS:      (func $calls (type $1) (param $x i32)
  ;; TWOTRDS-NEXT:  (call $target_2)
  ;; TWOTRDS-NEXT:  (call $target
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (i32.const 42)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT: )
  ;; HUNDRED:      (func $calls (type $1) (param $x i32)
  ;; HUNDRED-NEXT:  (call $target
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $target
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $target
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $target
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $target
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (i32.const 42)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $target
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:   (local.get $x)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT: )
  (func $calls (param $x i32)
    ;; Call the target with an increasing amount of non-constant params, 0-5.
    ;;
    ;; With 5 unknowns, the call context is trivial and we do nothing. All the
    ;; differences are therefore on 0-4:
    ;;
    ;;  * ZERO monomorphizes all of  0-4.
    ;;  * THIRD monomorphizes only   0-2.
    ;;  * TWOTRDS monomorphizes just   0.
    ;;  * HUNDRED monomorphizes none at all.

    (call $target
      (i32.const 42)
      (i32.const 42)
      (i32.const 42)
      (i32.const 42)
      (i32.const 42)
    )
    (call $target
      (local.get $x)
      (i32.const 42)
      (i32.const 42)
      (i32.const 42)
      (i32.const 42)
    )
    (call $target
      (local.get $x)
      (local.get $x)
      (i32.const 42)
      (i32.const 42)
      (i32.const 42)
    )
    (call $target
      (local.get $x)
      (local.get $x)
      (local.get $x)
      (i32.const 42)
      (i32.const 42)
    )
    (call $target
      (local.get $x)
      (local.get $x)
      (local.get $x)
      (local.get $x)
      (i32.const 42)
    )
    (call $target
      (local.get $x)
      (local.get $x)
      (local.get $x)
      (local.get $x)
      (local.get $x)
    )
  )
)

;; ZERO___:      (func $target_2 (type $2)
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 10)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 20)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 30)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 40)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 50)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target_3 (type $0) (param $0 i32)
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 10)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $0)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $0)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 20)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 30)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 40)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 50)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target_4 (type $3) (param $0 i32) (param $1 i32)
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 10)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $0)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $0)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 20)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $1)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $1)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 30)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 40)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 50)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target_5 (type $4) (param $0 i32) (param $1 i32) (param $2 i32)
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 10)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $0)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $0)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 20)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $1)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $1)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 30)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $2)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $2)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 40)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 50)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target_6 (type $5) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32)
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 10)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $0)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $0)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 20)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $1)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $1)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 30)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $2)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $2)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 40)
;; ZERO___-NEXT:   (i32.div_s
;; ZERO___-NEXT:    (local.get $3)
;; ZERO___-NEXT:    (i32.add
;; ZERO___-NEXT:     (local.get $3)
;; ZERO___-NEXT:     (i32.const 1)
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (i32.store
;; ZERO___-NEXT:   (i32.const 50)
;; ZERO___-NEXT:   (i32.const 0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; THIRD__:      (func $target_2 (type $2)
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 10)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 20)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 30)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 40)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 50)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT: )

;; THIRD__:      (func $target_3 (type $0) (param $0 i32)
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 10)
;; THIRD__-NEXT:   (i32.div_s
;; THIRD__-NEXT:    (local.get $0)
;; THIRD__-NEXT:    (i32.add
;; THIRD__-NEXT:     (local.get $0)
;; THIRD__-NEXT:     (i32.const 1)
;; THIRD__-NEXT:    )
;; THIRD__-NEXT:   )
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 20)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 30)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 40)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 50)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT: )

;; THIRD__:      (func $target_4 (type $3) (param $0 i32) (param $1 i32)
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 10)
;; THIRD__-NEXT:   (i32.div_s
;; THIRD__-NEXT:    (local.get $0)
;; THIRD__-NEXT:    (i32.add
;; THIRD__-NEXT:     (local.get $0)
;; THIRD__-NEXT:     (i32.const 1)
;; THIRD__-NEXT:    )
;; THIRD__-NEXT:   )
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 20)
;; THIRD__-NEXT:   (i32.div_s
;; THIRD__-NEXT:    (local.get $1)
;; THIRD__-NEXT:    (i32.add
;; THIRD__-NEXT:     (local.get $1)
;; THIRD__-NEXT:     (i32.const 1)
;; THIRD__-NEXT:    )
;; THIRD__-NEXT:   )
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 30)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 40)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (i32.store
;; THIRD__-NEXT:   (i32.const 50)
;; THIRD__-NEXT:   (i32.const 0)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT: )

;; TWOTRDS:      (func $target_2 (type $2)
;; TWOTRDS-NEXT:  (i32.store
;; TWOTRDS-NEXT:   (i32.const 10)
;; TWOTRDS-NEXT:   (i32.const 0)
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT:  (i32.store
;; TWOTRDS-NEXT:   (i32.const 20)
;; TWOTRDS-NEXT:   (i32.const 0)
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT:  (i32.store
;; TWOTRDS-NEXT:   (i32.const 30)
;; TWOTRDS-NEXT:   (i32.const 0)
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT:  (i32.store
;; TWOTRDS-NEXT:   (i32.const 40)
;; TWOTRDS-NEXT:   (i32.const 0)
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT:  (i32.store
;; TWOTRDS-NEXT:   (i32.const 50)
;; TWOTRDS-NEXT:   (i32.const 0)
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT: )
(module
  ;; DEFAULT:      (type $A (sub (struct (field i32))))
  ;; ZERO___:      (type $A (sub (struct (field i32))))
  ;; THIRD__:      (type $A (sub (struct (field i32))))
  ;; TWOTRDS:      (type $A (sub (struct (field i32))))
  ;; HUNDRED:      (type $A (sub (struct (field i32))))
  (type $A (sub (struct (field i32))))

  ;; DEFAULT:      (type $1 (func))

  ;; DEFAULT:      (type $2 (func (param anyref) (result (ref $A))))

  ;; DEFAULT:      (type $3 (func (param anyref i32)))

  ;; DEFAULT:      (type $4 (func (param (ref $A))))

  ;; DEFAULT:      (type $5 (func (param anyref)))

  ;; DEFAULT:      (type $6 (func (param i32)))

  ;; DEFAULT:      (import "a" "b" (func $import (type $1)))
  ;; ZERO___:      (type $1 (func))

  ;; ZERO___:      (type $2 (func (param anyref) (result (ref $A))))

  ;; ZERO___:      (type $3 (func (param anyref i32)))

  ;; ZERO___:      (type $4 (func (param anyref)))

  ;; ZERO___:      (type $5 (func (param i32) (result (ref $A))))

  ;; ZERO___:      (type $6 (func (param i32)))

  ;; ZERO___:      (type $7 (func (result (ref $A))))

  ;; ZERO___:      (type $8 (func (param (ref $A))))

  ;; ZERO___:      (import "a" "b" (func $import (type $1)))
  ;; THIRD__:      (type $1 (func))

  ;; THIRD__:      (type $2 (func (param anyref) (result (ref $A))))

  ;; THIRD__:      (type $3 (func (param anyref i32)))

  ;; THIRD__:      (type $4 (func (param i32)))

  ;; THIRD__:      (type $5 (func (param (ref $A))))

  ;; THIRD__:      (type $6 (func (param anyref)))

  ;; THIRD__:      (import "a" "b" (func $import (type $1)))
  ;; TWOTRDS:      (type $1 (func))

  ;; TWOTRDS:      (type $2 (func (param anyref) (result (ref $A))))

  ;; TWOTRDS:      (type $3 (func (param anyref i32)))

  ;; TWOTRDS:      (type $4 (func (param i32)))

  ;; TWOTRDS:      (type $5 (func (param (ref $A))))

  ;; TWOTRDS:      (type $6 (func (param anyref)))

  ;; TWOTRDS:      (import "a" "b" (func $import (type $1)))
  ;; HUNDRED:      (type $1 (func (param anyref) (result (ref $A))))

  ;; HUNDRED:      (type $2 (func (param anyref i32)))

  ;; HUNDRED:      (type $3 (func))

  ;; HUNDRED:      (type $4 (func (param (ref $A))))

  ;; HUNDRED:      (import "a" "b" (func $import (type $3)))
  (import "a" "b" (func $import))

  ;; DEFAULT:      (import "a" "c" (func $import2 (type $4) (param (ref $A))))
  ;; ZERO___:      (import "a" "c" (func $import2 (type $8) (param (ref $A))))
  ;; THIRD__:      (import "a" "c" (func $import2 (type $5) (param (ref $A))))
  ;; TWOTRDS:      (import "a" "c" (func $import2 (type $5) (param (ref $A))))
  ;; HUNDRED:      (import "a" "c" (func $import2 (type $4) (param (ref $A))))
  (import "a" "c" (func $import2 (param (ref $A))))

  ;; DEFAULT:      (func $target-long (type $2) (param $0 anyref) (result (ref $A))
  ;; DEFAULT-NEXT:  (local $1 i32)
  ;; DEFAULT-NEXT:  (local.set $1
  ;; DEFAULT-NEXT:   (i32.const 1000)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (loop $loop
  ;; DEFAULT-NEXT:   (br_if $loop
  ;; DEFAULT-NEXT:    (local.tee $1
  ;; DEFAULT-NEXT:     (i32.add
  ;; DEFAULT-NEXT:      (local.get $1)
  ;; DEFAULT-NEXT:      (local.get $1)
  ;; DEFAULT-NEXT:     )
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (ref.cast (ref $A)
  ;; DEFAULT-NEXT:   (local.get $0)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT: )
  ;; ZERO___:      (func $target-long (type $2) (param $0 anyref) (result (ref $A))
  ;; ZERO___-NEXT:  (local $1 i32)
  ;; ZERO___-NEXT:  (local.set $1
  ;; ZERO___-NEXT:   (i32.const 1000)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (loop $loop
  ;; ZERO___-NEXT:   (br_if $loop
  ;; ZERO___-NEXT:    (local.tee $1
  ;; ZERO___-NEXT:     (i32.add
  ;; ZERO___-NEXT:      (local.get $1)
  ;; ZERO___-NEXT:      (local.get $1)
  ;; ZERO___-NEXT:     )
  ;; ZERO___-NEXT:    )
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (ref.cast (ref $A)
  ;; ZERO___-NEXT:   (local.get $0)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT: )
  ;; THIRD__:      (func $target-long (type $2) (param $0 anyref) (result (ref $A))
  ;; THIRD__-NEXT:  (local $1 i32)
  ;; THIRD__-NEXT:  (local.set $1
  ;; THIRD__-NEXT:   (i32.const 1000)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (loop $loop
  ;; THIRD__-NEXT:   (br_if $loop
  ;; THIRD__-NEXT:    (local.tee $1
  ;; THIRD__-NEXT:     (i32.add
  ;; THIRD__-NEXT:      (local.get $1)
  ;; THIRD__-NEXT:      (local.get $1)
  ;; THIRD__-NEXT:     )
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (ref.cast (ref $A)
  ;; THIRD__-NEXT:   (local.get $0)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT: )
  ;; TWOTRDS:      (func $target-long (type $2) (param $0 anyref) (result (ref $A))
  ;; TWOTRDS-NEXT:  (local $1 i32)
  ;; TWOTRDS-NEXT:  (local.set $1
  ;; TWOTRDS-NEXT:   (i32.const 1000)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (loop $loop
  ;; TWOTRDS-NEXT:   (br_if $loop
  ;; TWOTRDS-NEXT:    (local.tee $1
  ;; TWOTRDS-NEXT:     (i32.add
  ;; TWOTRDS-NEXT:      (local.get $1)
  ;; TWOTRDS-NEXT:      (local.get $1)
  ;; TWOTRDS-NEXT:     )
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (ref.cast (ref $A)
  ;; TWOTRDS-NEXT:   (local.get $0)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT: )
  ;; HUNDRED:      (func $target-long (type $1) (param $0 anyref) (result (ref $A))
  ;; HUNDRED-NEXT:  (local $1 i32)
  ;; HUNDRED-NEXT:  (local.set $1
  ;; HUNDRED-NEXT:   (i32.const 1000)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (loop $loop
  ;; HUNDRED-NEXT:   (br_if $loop
  ;; HUNDRED-NEXT:    (local.tee $1
  ;; HUNDRED-NEXT:     (i32.add
  ;; HUNDRED-NEXT:      (local.get $1)
  ;; HUNDRED-NEXT:      (local.get $1)
  ;; HUNDRED-NEXT:     )
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (ref.cast (ref $A)
  ;; HUNDRED-NEXT:   (local.get $0)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT: )
  (func $target-long (param $any anyref) (result (ref $A))
    (local $temp i32)
    ;; This function does a cast, aside from a lot of other work. The other work
    ;; causes us to only optimize when we are ok with getting a very small % of
    ;; improvement.

    ;; A silly loop that might in theory end after a long time.
    (local.set $temp (i32.const 1000))
    (loop $loop
      (local.set $temp (i32.add (local.get $temp) (local.get $temp)))
      (br_if $loop (local.get $temp))
    )

    (ref.cast (ref $A)
      (local.get $any)
    )
  )

  ;; DEFAULT:      (func $target-short (type $2) (param $0 anyref) (result (ref $A))
  ;; DEFAULT-NEXT:  (ref.cast (ref $A)
  ;; DEFAULT-NEXT:   (local.get $0)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT: )
  ;; ZERO___:      (func $target-short (type $2) (param $0 anyref) (result (ref $A))
  ;; ZERO___-NEXT:  (ref.cast (ref $A)
  ;; ZERO___-NEXT:   (local.get $0)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT: )
  ;; THIRD__:      (func $target-short (type $2) (param $0 anyref) (result (ref $A))
  ;; THIRD__-NEXT:  (ref.cast (ref $A)
  ;; THIRD__-NEXT:   (local.get $0)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT: )
  ;; TWOTRDS:      (func $target-short (type $2) (param $0 anyref) (result (ref $A))
  ;; TWOTRDS-NEXT:  (ref.cast (ref $A)
  ;; TWOTRDS-NEXT:   (local.get $0)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT: )
  ;; HUNDRED:      (func $target-short (type $1) (param $0 anyref) (result (ref $A))
  ;; HUNDRED-NEXT:  (ref.cast (ref $A)
  ;; HUNDRED-NEXT:   (local.get $0)
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT: )
  (func $target-short (param $any anyref) (result (ref $A))
    ;; As above, but without all the work in the middle: this is really just a
    ;; simple casting function, and we can remove almost all the work here when
    ;; we remove the cast, meaning we optimize in more cases.
    (ref.cast (ref $A)
      (local.get $any)
    )
  )

  ;; DEFAULT:      (func $calls-long (type $3) (param $x anyref) (param $y i32)
  ;; DEFAULT-NEXT:  (call $import2
  ;; DEFAULT-NEXT:   (call $target-long
  ;; DEFAULT-NEXT:    (local.get $x)
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (drop
  ;; DEFAULT-NEXT:   (call $target-long
  ;; DEFAULT-NEXT:    (local.get $x)
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $import2
  ;; DEFAULT-NEXT:   (call $target-long
  ;; DEFAULT-NEXT:    (struct.new $A
  ;; DEFAULT-NEXT:     (local.get $y)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (drop
  ;; DEFAULT-NEXT:   (call $target-long
  ;; DEFAULT-NEXT:    (struct.new $A
  ;; DEFAULT-NEXT:     (local.get $y)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $import2
  ;; DEFAULT-NEXT:   (call $target-long
  ;; DEFAULT-NEXT:    (struct.new $A
  ;; DEFAULT-NEXT:     (i32.const 42)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (drop
  ;; DEFAULT-NEXT:   (call $target-long
  ;; DEFAULT-NEXT:    (struct.new $A
  ;; DEFAULT-NEXT:     (i32.const 42)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT: )
  ;; ZERO___:      (func $calls-long (type $3) (param $x anyref) (param $y i32)
  ;; ZERO___-NEXT:  (call $import2
  ;; ZERO___-NEXT:   (call $target-long
  ;; ZERO___-NEXT:    (local.get $x)
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target-long_6
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $import2
  ;; ZERO___-NEXT:   (call $target-long_7
  ;; ZERO___-NEXT:    (local.get $y)
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target-long_8
  ;; ZERO___-NEXT:   (local.get $y)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $import2
  ;; ZERO___-NEXT:   (call $target-long_9)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target-long_10)
  ;; ZERO___-NEXT: )
  ;; THIRD__:      (func $calls-long (type $3) (param $x anyref) (param $y i32)
  ;; THIRD__-NEXT:  (call $import2
  ;; THIRD__-NEXT:   (call $target-long
  ;; THIRD__-NEXT:    (local.get $x)
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (drop
  ;; THIRD__-NEXT:   (call $target-long
  ;; THIRD__-NEXT:    (local.get $x)
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $import2
  ;; THIRD__-NEXT:   (call $target-long
  ;; THIRD__-NEXT:    (struct.new $A
  ;; THIRD__-NEXT:     (local.get $y)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target-long_6
  ;; THIRD__-NEXT:   (local.get $y)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $import2
  ;; THIRD__-NEXT:   (call $target-long
  ;; THIRD__-NEXT:    (struct.new $A
  ;; THIRD__-NEXT:     (i32.const 42)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target-long_7)
  ;; THIRD__-NEXT: )
  ;; TWOTRDS:      (func $calls-long (type $3) (param $x anyref) (param $y i32)
  ;; TWOTRDS-NEXT:  (call $import2
  ;; TWOTRDS-NEXT:   (call $target-long
  ;; TWOTRDS-NEXT:    (local.get $x)
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (drop
  ;; TWOTRDS-NEXT:   (call $target-long
  ;; TWOTRDS-NEXT:    (local.get $x)
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $import2
  ;; TWOTRDS-NEXT:   (call $target-long
  ;; TWOTRDS-NEXT:    (struct.new $A
  ;; TWOTRDS-NEXT:     (local.get $y)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target-long_6
  ;; TWOTRDS-NEXT:   (local.get $y)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $import2
  ;; TWOTRDS-NEXT:   (call $target-long
  ;; TWOTRDS-NEXT:    (struct.new $A
  ;; TWOTRDS-NEXT:     (i32.const 42)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target-long_7)
  ;; TWOTRDS-NEXT: )
  ;; HUNDRED:      (func $calls-long (type $2) (param $x anyref) (param $y i32)
  ;; HUNDRED-NEXT:  (call $import2
  ;; HUNDRED-NEXT:   (call $target-long
  ;; HUNDRED-NEXT:    (local.get $x)
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (drop
  ;; HUNDRED-NEXT:   (call $target-long
  ;; HUNDRED-NEXT:    (local.get $x)
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $import2
  ;; HUNDRED-NEXT:   (call $target-long
  ;; HUNDRED-NEXT:    (struct.new $A
  ;; HUNDRED-NEXT:     (local.get $y)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (drop
  ;; HUNDRED-NEXT:   (call $target-long
  ;; HUNDRED-NEXT:    (struct.new $A
  ;; HUNDRED-NEXT:     (local.get $y)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $import2
  ;; HUNDRED-NEXT:   (call $target-long
  ;; HUNDRED-NEXT:    (struct.new $A
  ;; HUNDRED-NEXT:     (i32.const 42)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (drop
  ;; HUNDRED-NEXT:   (call $target-long
  ;; HUNDRED-NEXT:    (struct.new $A
  ;; HUNDRED-NEXT:     (i32.const 42)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT: )
  (func $calls-long (param $x anyref) (param $y i32)
    ;; Various calls to $target-long. Because of the large amount of work that
    ;; cannot be removed there, all we do here is:
    ;;  * Optimize in all cases when the minimum benefit is 0% (except the
    ;;    first call, which is a trivial call context). Removing a cast is
    ;;    enough to justify optimizing.
    ;;  * In 33% and 66% we optimize only two cases. There we remove both a cast
    ;;    and a struct.new, and the struct.new's high cost makes it worthwhile.
    ;;  * In 100% we optimize nothing at all.

    ;; Call with an unknown input and the output is sent to an import.
    (call $import2
      (call $target-long
        (local.get $x)
      )
    )
    ;; Ditto, but drop the output.
    (drop
      (call $target-long
        (local.get $x)
      )
    )
    ;; Calls with a struct.new input.
    (call $import2
      (call $target-long
        (struct.new $A
          (local.get $y)
        )
      )
    )
    (drop
      (call $target-long
        (struct.new $A
          (local.get $y)
        )
      )
    )
    ;; Now the struct.new has a constant input.
    (call $import2
      (call $target-long
        (struct.new $A
          (i32.const 42)
        )
      )
    )
    (drop
      (call $target-long
        (struct.new $A
          (i32.const 42)
        )
      )
    )
  )

  ;; DEFAULT:      (func $calls-short (type $3) (param $x anyref) (param $y i32)
  ;; DEFAULT-NEXT:  (call $import2
  ;; DEFAULT-NEXT:   (call $target-short
  ;; DEFAULT-NEXT:    (local.get $x)
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $target-short_6
  ;; DEFAULT-NEXT:   (local.get $x)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $import2
  ;; DEFAULT-NEXT:   (call $target-short
  ;; DEFAULT-NEXT:    (struct.new $A
  ;; DEFAULT-NEXT:     (local.get $y)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $target-short_7
  ;; DEFAULT-NEXT:   (local.get $y)
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $import2
  ;; DEFAULT-NEXT:   (call $target-short
  ;; DEFAULT-NEXT:    (struct.new $A
  ;; DEFAULT-NEXT:     (i32.const 42)
  ;; DEFAULT-NEXT:    )
  ;; DEFAULT-NEXT:   )
  ;; DEFAULT-NEXT:  )
  ;; DEFAULT-NEXT:  (call $target-short_8)
  ;; DEFAULT-NEXT: )
  ;; ZERO___:      (func $calls-short (type $3) (param $x anyref) (param $y i32)
  ;; ZERO___-NEXT:  (call $import2
  ;; ZERO___-NEXT:   (call $target-short
  ;; ZERO___-NEXT:    (local.get $x)
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target-short_11
  ;; ZERO___-NEXT:   (local.get $x)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $import2
  ;; ZERO___-NEXT:   (call $target-short_12
  ;; ZERO___-NEXT:    (local.get $y)
  ;; ZERO___-NEXT:   )
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target-short_13
  ;; ZERO___-NEXT:   (local.get $y)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $import2
  ;; ZERO___-NEXT:   (call $target-short_14)
  ;; ZERO___-NEXT:  )
  ;; ZERO___-NEXT:  (call $target-short_15)
  ;; ZERO___-NEXT: )
  ;; THIRD__:      (func $calls-short (type $3) (param $x anyref) (param $y i32)
  ;; THIRD__-NEXT:  (call $import2
  ;; THIRD__-NEXT:   (call $target-short
  ;; THIRD__-NEXT:    (local.get $x)
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target-short_8
  ;; THIRD__-NEXT:   (local.get $x)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $import2
  ;; THIRD__-NEXT:   (call $target-short
  ;; THIRD__-NEXT:    (struct.new $A
  ;; THIRD__-NEXT:     (local.get $y)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target-short_9
  ;; THIRD__-NEXT:   (local.get $y)
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $import2
  ;; THIRD__-NEXT:   (call $target-short
  ;; THIRD__-NEXT:    (struct.new $A
  ;; THIRD__-NEXT:     (i32.const 42)
  ;; THIRD__-NEXT:    )
  ;; THIRD__-NEXT:   )
  ;; THIRD__-NEXT:  )
  ;; THIRD__-NEXT:  (call $target-short_10)
  ;; THIRD__-NEXT: )
  ;; TWOTRDS:      (func $calls-short (type $3) (param $x anyref) (param $y i32)
  ;; TWOTRDS-NEXT:  (call $import2
  ;; TWOTRDS-NEXT:   (call $target-short
  ;; TWOTRDS-NEXT:    (local.get $x)
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target-short_8
  ;; TWOTRDS-NEXT:   (local.get $x)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $import2
  ;; TWOTRDS-NEXT:   (call $target-short
  ;; TWOTRDS-NEXT:    (struct.new $A
  ;; TWOTRDS-NEXT:     (local.get $y)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target-short_9
  ;; TWOTRDS-NEXT:   (local.get $y)
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $import2
  ;; TWOTRDS-NEXT:   (call $target-short
  ;; TWOTRDS-NEXT:    (struct.new $A
  ;; TWOTRDS-NEXT:     (i32.const 42)
  ;; TWOTRDS-NEXT:    )
  ;; TWOTRDS-NEXT:   )
  ;; TWOTRDS-NEXT:  )
  ;; TWOTRDS-NEXT:  (call $target-short_10)
  ;; TWOTRDS-NEXT: )
  ;; HUNDRED:      (func $calls-short (type $2) (param $x anyref) (param $y i32)
  ;; HUNDRED-NEXT:  (call $import2
  ;; HUNDRED-NEXT:   (call $target-short
  ;; HUNDRED-NEXT:    (local.get $x)
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (drop
  ;; HUNDRED-NEXT:   (call $target-short
  ;; HUNDRED-NEXT:    (local.get $x)
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $import2
  ;; HUNDRED-NEXT:   (call $target-short
  ;; HUNDRED-NEXT:    (struct.new $A
  ;; HUNDRED-NEXT:     (local.get $y)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (drop
  ;; HUNDRED-NEXT:   (call $target-short
  ;; HUNDRED-NEXT:    (struct.new $A
  ;; HUNDRED-NEXT:     (local.get $y)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (call $import2
  ;; HUNDRED-NEXT:   (call $target-short
  ;; HUNDRED-NEXT:    (struct.new $A
  ;; HUNDRED-NEXT:     (i32.const 42)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT:  (drop
  ;; HUNDRED-NEXT:   (call $target-short
  ;; HUNDRED-NEXT:    (struct.new $A
  ;; HUNDRED-NEXT:     (i32.const 42)
  ;; HUNDRED-NEXT:    )
  ;; HUNDRED-NEXT:   )
  ;; HUNDRED-NEXT:  )
  ;; HUNDRED-NEXT: )
  (func $calls-short (param $x anyref) (param $y i32)
    ;; As above, but now calling the short function:
    ;;  * 0% is the same with the long function: any improvement is enough.
    ;;  * 33% optimizes some, but not all (the first is a trivial call context;
    ;;    some of the others do not optimize because the struct.new is
    ;;    expensive, and if the output goes into another call, we cannot remove
    ;;    it).
    ;;  * 66% optimizes a few less cases: when the output isn't dropped then we
    ;;    can't do enough work to justify it.
    ;;  * 100% optimizes nothing.
    (call $import2
      (call $target-short
        (local.get $x)
      )
    )
    (drop
      (call $target-short
        (local.get $x)
      )
    )
    (call $import2
      (call $target-short
        (struct.new $A
          (local.get $y)
        )
      )
    )
    (drop
      (call $target-short
        (struct.new $A
          (local.get $y)
        )
      )
    )
    (call $import2
      (call $target-short
        (struct.new $A
          (i32.const 42)
        )
      )
    )
    (drop
      (call $target-short
        (struct.new $A
          (i32.const 42)
        )
      )
    )
  )
)
;; DEFAULT:      (func $target-short_6 (type $5) (param $0 anyref)
;; DEFAULT-NEXT:  (nop)
;; DEFAULT-NEXT: )

;; DEFAULT:      (func $target-short_7 (type $6) (param $0 i32)
;; DEFAULT-NEXT:  (nop)
;; DEFAULT-NEXT: )

;; DEFAULT:      (func $target-short_8 (type $1)
;; DEFAULT-NEXT:  (nop)
;; DEFAULT-NEXT: )

;; ZERO___:      (func $target-long_6 (type $4) (param $0 anyref)
;; ZERO___-NEXT:  (local $1 i32)
;; ZERO___-NEXT:  (local.set $1
;; ZERO___-NEXT:   (i32.const 1000)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (loop $loop
;; ZERO___-NEXT:   (br_if $loop
;; ZERO___-NEXT:    (local.tee $1
;; ZERO___-NEXT:     (i32.add
;; ZERO___-NEXT:      (local.get $1)
;; ZERO___-NEXT:      (local.get $1)
;; ZERO___-NEXT:     )
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-long_7 (type $5) (param $0 i32) (result (ref $A))
;; ZERO___-NEXT:  (local $1 (ref (exact $A)))
;; ZERO___-NEXT:  (local.set $1
;; ZERO___-NEXT:   (struct.new $A
;; ZERO___-NEXT:    (local.get $0)
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (local.set $0
;; ZERO___-NEXT:   (i32.const 1000)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (loop $loop
;; ZERO___-NEXT:   (br_if $loop
;; ZERO___-NEXT:    (local.tee $0
;; ZERO___-NEXT:     (i32.add
;; ZERO___-NEXT:      (local.get $0)
;; ZERO___-NEXT:      (local.get $0)
;; ZERO___-NEXT:     )
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (local.get $1)
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-long_8 (type $6) (param $0 i32)
;; ZERO___-NEXT:  (local.set $0
;; ZERO___-NEXT:   (i32.const 1000)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (loop $loop
;; ZERO___-NEXT:   (br_if $loop
;; ZERO___-NEXT:    (local.tee $0
;; ZERO___-NEXT:     (i32.add
;; ZERO___-NEXT:      (local.get $0)
;; ZERO___-NEXT:      (local.get $0)
;; ZERO___-NEXT:     )
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-long_9 (type $7) (result (ref $A))
;; ZERO___-NEXT:  (local $0 i32)
;; ZERO___-NEXT:  (local $1 (ref (exact $A)))
;; ZERO___-NEXT:  (local.set $0
;; ZERO___-NEXT:   (i32.const 1000)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (loop $loop
;; ZERO___-NEXT:   (br_if $loop
;; ZERO___-NEXT:    (local.tee $0
;; ZERO___-NEXT:     (i32.add
;; ZERO___-NEXT:      (local.get $0)
;; ZERO___-NEXT:      (local.get $0)
;; ZERO___-NEXT:     )
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (local.set $1
;; ZERO___-NEXT:   (struct.new $A
;; ZERO___-NEXT:    (i32.const 42)
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (local.get $1)
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-long_10 (type $1)
;; ZERO___-NEXT:  (local $0 i32)
;; ZERO___-NEXT:  (local.set $0
;; ZERO___-NEXT:   (i32.const 1000)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT:  (loop $loop
;; ZERO___-NEXT:   (br_if $loop
;; ZERO___-NEXT:    (local.tee $0
;; ZERO___-NEXT:     (i32.add
;; ZERO___-NEXT:      (local.get $0)
;; ZERO___-NEXT:      (local.get $0)
;; ZERO___-NEXT:     )
;; ZERO___-NEXT:    )
;; ZERO___-NEXT:   )
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-short_11 (type $4) (param $0 anyref)
;; ZERO___-NEXT:  (nop)
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-short_12 (type $5) (param $0 i32) (result (ref $A))
;; ZERO___-NEXT:  (struct.new $A
;; ZERO___-NEXT:   (local.get $0)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-short_13 (type $6) (param $0 i32)
;; ZERO___-NEXT:  (nop)
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-short_14 (type $7) (result (ref $A))
;; ZERO___-NEXT:  (struct.new $A
;; ZERO___-NEXT:   (i32.const 42)
;; ZERO___-NEXT:  )
;; ZERO___-NEXT: )

;; ZERO___:      (func $target-short_15 (type $1)
;; ZERO___-NEXT:  (nop)
;; ZERO___-NEXT: )

;; THIRD__:      (func $target-long_6 (type $4) (param $0 i32)
;; THIRD__-NEXT:  (local.set $0
;; THIRD__-NEXT:   (i32.const 1000)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (loop $loop
;; THIRD__-NEXT:   (br_if $loop
;; THIRD__-NEXT:    (local.tee $0
;; THIRD__-NEXT:     (i32.add
;; THIRD__-NEXT:      (local.get $0)
;; THIRD__-NEXT:      (local.get $0)
;; THIRD__-NEXT:     )
;; THIRD__-NEXT:    )
;; THIRD__-NEXT:   )
;; THIRD__-NEXT:  )
;; THIRD__-NEXT: )

;; THIRD__:      (func $target-long_7 (type $1)
;; THIRD__-NEXT:  (local $0 i32)
;; THIRD__-NEXT:  (local.set $0
;; THIRD__-NEXT:   (i32.const 1000)
;; THIRD__-NEXT:  )
;; THIRD__-NEXT:  (loop $loop
;; THIRD__-NEXT:   (br_if $loop
;; THIRD__-NEXT:    (local.tee $0
;; THIRD__-NEXT:     (i32.add
;; THIRD__-NEXT:      (local.get $0)
;; THIRD__-NEXT:      (local.get $0)
;; THIRD__-NEXT:     )
;; THIRD__-NEXT:    )
;; THIRD__-NEXT:   )
;; THIRD__-NEXT:  )
;; THIRD__-NEXT: )

;; THIRD__:      (func $target-short_8 (type $6) (param $0 anyref)
;; THIRD__-NEXT:  (nop)
;; THIRD__-NEXT: )

;; THIRD__:      (func $target-short_9 (type $4) (param $0 i32)
;; THIRD__-NEXT:  (nop)
;; THIRD__-NEXT: )

;; THIRD__:      (func $target-short_10 (type $1)
;; THIRD__-NEXT:  (nop)
;; THIRD__-NEXT: )

;; TWOTRDS:      (func $target-long_6 (type $4) (param $0 i32)
;; TWOTRDS-NEXT:  (local.set $0
;; TWOTRDS-NEXT:   (i32.const 1000)
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT:  (loop $loop
;; TWOTRDS-NEXT:   (br_if $loop
;; TWOTRDS-NEXT:    (local.tee $0
;; TWOTRDS-NEXT:     (i32.add
;; TWOTRDS-NEXT:      (local.get $0)
;; TWOTRDS-NEXT:      (local.get $0)
;; TWOTRDS-NEXT:     )
;; TWOTRDS-NEXT:    )
;; TWOTRDS-NEXT:   )
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT: )

;; TWOTRDS:      (func $target-long_7 (type $1)
;; TWOTRDS-NEXT:  (local $0 i32)
;; TWOTRDS-NEXT:  (local.set $0
;; TWOTRDS-NEXT:   (i32.const 1000)
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT:  (loop $loop
;; TWOTRDS-NEXT:   (br_if $loop
;; TWOTRDS-NEXT:    (local.tee $0
;; TWOTRDS-NEXT:     (i32.add
;; TWOTRDS-NEXT:      (local.get $0)
;; TWOTRDS-NEXT:      (local.get $0)
;; TWOTRDS-NEXT:     )
;; TWOTRDS-NEXT:    )
;; TWOTRDS-NEXT:   )
;; TWOTRDS-NEXT:  )
;; TWOTRDS-NEXT: )

;; TWOTRDS:      (func $target-short_8 (type $6) (param $0 anyref)
;; TWOTRDS-NEXT:  (nop)
;; TWOTRDS-NEXT: )

;; TWOTRDS:      (func $target-short_9 (type $4) (param $0 i32)
;; TWOTRDS-NEXT:  (nop)
;; TWOTRDS-NEXT: )

;; TWOTRDS:      (func $target-short_10 (type $1)
;; TWOTRDS-NEXT:  (nop)
;; TWOTRDS-NEXT: )