test/passes/reorder-locals.wast

(module
  (memory 256 256)
  (type $0 (func (param i32 i32)))
  (type $1 (func))
  (func $b0-yes (type $0) (param $a i32) (param $b i32)
    (local $x i32)
    (local $y i32)
    (local $z i32)
    (set_local $x
      (get_local $x)
    )
    (set_local $y
      (get_local $y)
    )
    (set_local $y
      (get_local $y)
    )
    (set_local $z
      (get_local $z)
    )
    (set_local $z
      (get_local $z)
    )
    (set_local $z
      (get_local $z)
    )
    (set_local $b
      (get_local $b)
    )
    (set_local $b
      (get_local $b)
    )
    (set_local $b
      (get_local $b)
    )
    (set_local $b
      (get_local $b)
    )
    (set_local $b
      (get_local $b)
    )
    (set_local $b
      (get_local $b)
    )
  )
  (func $zero (type $1)
    (local $a i32)
    (local $b i32)
    (local $c i32)
    (drop
      (get_local $b)
    )
  )
  (func $null (type $1)
    (local $a i32)
    (local $c i32)
    (nop)
  )
)