test/passes/coalesce-locals-learning.wast

(module
  (memory 10)
  (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
  (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
  (type $2 (func))
  (type $3 (func (param i32 f32)))
  (type $4 (func (param i32)))
  (import $_emscripten_autodebug_i32 "env" "_emscripten_autodebug_i32" (param i32 i32) (result i32))
  (func $nothing-to-do (type $2)
    (local $x i32)
    (nop)
  )
  (func $merge (type $2)
    (local $x i32)
    (local $y i32)
    (nop)
  )
  (func $leave-type (type $2)
    (local $x i32)
    (local $y f32)
    (nop)
  )
  (func $leave-interfere (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (local.set $y
      (i32.const 0)
    )
    (drop
      (local.get $x)
    )
    (drop
      (local.get $y)
    )
  )
  (func $almost-interfere (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (drop
      (local.get $x)
    )
    (local.set $y
      (i32.const 0)
    )
    (drop
      (local.get $y)
    )
  )
  (func $redundant-copy (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (local.set $y
      (local.get $x)
    )
    (drop
      (local.get $y)
    )
  )
  (func $ineffective-store (type $2)
    (local $x i32)
    (local.set $x
      (i32.const 0)
    )
    (local.set $x
      (i32.const 0)
    )
    (drop
      (local.get $x)
    )
  )
  (func $block (type $2)
    (local $x i32)
    (block $block0
      (local.set $x
        (i32.const 0)
      )
    )
    (drop
      (local.get $x)
    )
  )
  (func $see-both-sides (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (block $block0
      (local.set $y
        (i32.const 0)
      )
    )
    (drop
      (local.get $x)
    )
    (drop
      (local.get $y)
    )
  )
  (func $see-br-and-ignore-dead (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (block $block
      (br $block)
      (local.set $y
        (i32.const 0)
      )
      (drop
        (local.get $y)
      )
      (local.set $x
        (i32.const -1)
      )
    )
    (drop
      (local.get $x)
    )
  )
  (func $see-block-body (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (block $block
      (local.set $y
        (i32.const 0)
      )
      (drop
        (local.get $y)
      )
      (br $block)
    )
    (drop
      (local.get $x)
    )
  )
  (func $zero-init (type $2)
    (local $x i32)
    (local $y i32)
    (drop
      (local.get $x)
    )
    (drop
      (local.get $y)
    )
  )
  (func $multi (type $2)
    (local $x i32)
    (local $y i32)
    (local $z i32)
    (drop
      (local.get $y)
    )
    (drop
      (local.get $z)
    )
  )
  (func $if-else (type $2)
    (local $x i32)
    (local $y i32)
    (if
      (i32.const 0)
      (drop
        (local.get $x)
      )
      (drop
        (local.get $y)
      )
    )
  )
  (func $if-else-parallel (type $2)
    (local $x i32)
    (local $y i32)
    (if
      (i32.const 0)
      (block $block1
        (local.set $x
          (i32.const 0)
        )
        (drop
          (local.get $x)
        )
      )
      (block $block3
        (local.set $y
          (i32.const 1)
        )
        (drop
          (local.get $y)
        )
      )
    )
  )
  (func $if-else-after (type $2)
    (local $x i32)
    (local $y i32)
    (if
      (i32.const 0)
      (local.set $x
        (i32.const 0)
      )
      (local.set $y
        (i32.const 1)
      )
    )
    (drop
      (local.get $x)
    )
    (drop
      (local.get $y)
    )
  )
  (func $if-else-through (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (local.set $y
      (i32.const 1)
    )
    (if
      (i32.const 0)
      (drop
        (i32.const 1)
      )
      (drop
        (i32.const 2)
      )
    )
    (drop
      (local.get $x)
    )
    (drop
      (local.get $y)
    )
  )
  (func $if-through (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (local.set $y
      (i32.const 1)
    )
    (if
      (i32.const 0)
      (drop
        (i32.const 1)
      )
    )
    (drop
      (local.get $x)
    )
    (drop
      (local.get $y)
    )
  )
  (func $if-through2 (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (if
      (i32.const 0)
      (local.set $y
        (i32.const 1)
      )
    )
    (drop
      (local.get $x)
    )
    (drop
      (local.get $y)
    )
  )
  (func $if-through3 (type $2)
    (local $x i32)
    (local $y i32)
    (local.set $x
      (i32.const 0)
    )
    (if
      (i32.const 0)
      (block $block1
        (drop
          (local.get $x)
        )
        (drop
          (local.get $y)
        )
      )
    )
  )
  (func $if2 (type $2)
    (local $x i32)
    (local $y i32)
    (if
      (local.tee $x
        (i32.const 0)
      )
      (block $block1
        (drop
          (local.get $x)
        )
        (drop
          (local.get $y)
        )
      )
    )
  )
  (func $if3 (type $2)
    (local $x i32)
    (local $y i32)
    (if
      (i32.const 0)
      (block $block1
        (local.set $x
          (i32.const 0)
        )
        (drop
          (local.get $x)
        )
      )
    )
    (drop
      (local.get $y)
    )
  )
  (func $if4 (type $2)
    (local $x i32)
    (local $y i32)
    (if
      (i32.const 0)
      (block $block1
        (local.set $x
          (i32.const 0)
        )
        (drop
          (local.get $x)
        )
        (local.set $y
          (i32.const 1)
        )
      )
    )
    (drop
      (local.get $y)
    )
  )
  (func $if5 (type $2)
    (local $x i32)
    (local $y i32)
    (if
      (i32.const 0)
      (block $block1
        (drop
          (local.get $x)
        )
        (local.set $y
          (i32.const 1)
        )
      )
    )
    (drop
      (local.get $y)
    )
  )
  (func $loop (type $2)
    (local $x i32)
    (local $y i32)
    (block $out
      (loop $in
        (drop
          (local.get $x)
        )
        (local.set $x
          (i32.const 0)
        )
        (drop
          (local.get $y)
        )
        (br $in)
      )
    )
  )
  (func $interfere-in-dead (type $2)
    (local $x i32)
    (local $y i32)
    (block $block
      (br $block)
      (drop
        (local.get $x)
      )
      (drop
        (local.get $y)
      )
    )
  )
  (func $interfere-in-dead2 (type $2)
    (local $x i32)
    (local $y i32)
    (block $block
      (unreachable)
      (drop
        (local.get $x)
      )
      (drop
        (local.get $y)
      )
    )
  )
  (func $interfere-in-dead3 (type $2)
    (local $x i32)
    (local $y i32)
    (block $block
      (return)
      (drop
        (local.get $x)
      )
      (drop
        (local.get $y)
      )
    )
  )
  (func $params (type $3) (param $p i32) (param $q f32)
    (local $x i32)
    (local $y i32)
    (local $z i32)
    (local $w i32)
    (drop
      (local.get $y)
    )
    (drop
      (local.get $z)
    )
    (drop
      (local.get $w)
    )
  )
  (func $interfere-in-dead4 (type $2)
    (local $x i32)
    (local $y i32)
    (block $block
      (br_if $block
        (i32.const 0)
      )
      (drop
        (local.get $x)
      )
      (drop
        (local.get $y)
      )
    )
  )
  (func $switch (type $2)
    (local $x i32)
    (local $y i32)
    (local $z i32)
    (local $w i32)
    (block $switch$def
      (block $switch-case$1
        (block $switch-case$2
          (br_table $switch-case$1 $switch-case$2 $switch-case$1 $switch-case$1 $switch$def
            (i32.const 100)
          )
          (drop
            (local.get $x)
          )
        )
        (drop
          (local.get $y)
        )
      )
      (drop
        (local.get $z)
      )
    )
    (drop
      (local.get $w)
    )
  )
  (func $greedy-can-be-happy (type $2)
    (local $x1 i32)
    (local $x2 i32)
    (local $x3 i32)
    (local $y1 i32)
    (local $y2 i32)
    (local $y3 i32)
    (if
      (i32.const 0)
      (if
        (i32.const 1)
        (if
          (i32.const 2)
          (block $block3
            (local.set $x1
              (i32.const 100)
            )
            (local.set $y2
              (i32.const 101)
            )
            (drop
              (local.get $x1)
            )
            (drop
              (local.get $y2)
            )
          )
          (block $block5
            (local.set $x1
              (i32.const 102)
            )
            (local.set $y3
              (i32.const 103)
            )
            (drop
              (local.get $x1)
            )
            (drop
              (local.get $y3)
            )
          )
        )
        (if
          (i32.const 3)
          (block $block8
            (local.set $x2
              (i32.const 104)
            )
            (local.set $y1
              (i32.const 105)
            )
            (drop
              (local.get $x2)
            )
            (drop
              (local.get $y1)
            )
          )
          (block $block10
            (local.set $x2
              (i32.const 106)
            )
            (local.set $y3
              (i32.const 107)
            )
            (drop
              (local.get $x2)
            )
            (drop
              (local.get $y3)
            )
          )
        )
      )
      (if
        (i32.const 4)
        (block $block13
          (local.set $x3
            (i32.const 108)
          )
          (local.set $y1
            (i32.const 109)
          )
          (drop
            (local.get $x3)
          )
          (drop
            (local.get $y1)
          )
        )
        (block $block15
          (local.set $x3
            (i32.const 110)
          )
          (local.set $y2
            (i32.const 111)
          )
          (drop
            (local.get $x3)
          )
          (drop
            (local.get $y2)
          )
        )
      )
    )
  )
  (func $greedy-can-be-sad (type $2)
    (local $x1 i32)
    (local $y1 i32)
    (local $x2 i32)
    (local $y2 i32)
    (local $x3 i32)
    (local $y3 i32)
    (if
      (i32.const 0)
      (if
        (i32.const 1)
        (if
          (i32.const 2)
          (block $block3
            (local.set $x1
              (i32.const 100)
            )
            (local.set $y2
              (i32.const 101)
            )
            (drop
              (local.get $x1)
            )
            (drop
              (local.get $y2)
            )
          )
          (block $block5
            (local.set $x1
              (i32.const 102)
            )
            (local.set $y3
              (i32.const 103)
            )
            (drop
              (local.get $x1)
            )
            (drop
              (local.get $y3)
            )
          )
        )
        (if
          (i32.const 3)
          (block $block8
            (local.set $x2
              (i32.const 104)
            )
            (local.set $y1
              (i32.const 105)
            )
            (drop
              (local.get $x2)
            )
            (drop
              (local.get $y1)
            )
          )
          (block $block10
            (local.set $x2
              (i32.const 106)
            )
            (local.set $y3
              (i32.const 107)
            )
            (drop
              (local.get $x2)
            )
            (drop
              (local.get $y3)
            )
          )
        )
      )
      (if
        (i32.const 4)
        (block $block13
          (local.set $x3
            (i32.const 108)
          )
          (local.set $y1
            (i32.const 109)
          )
          (drop
            (local.get $x3)
          )
          (drop
            (local.get $y1)
          )
        )
        (block $block15
          (local.set $x3
            (i32.const 110)
          )
          (local.set $y2
            (i32.const 111)
          )
          (drop
            (local.get $x3)
          )
          (drop
            (local.get $y2)
          )
        )
      )
    )
  )
  (func $_memcpy (type $FUNCSIG$iiii) (param $i1 i32) (param $i2 i32) (param $i3 i32) (result i32)
    (local $i4 i32)
    (if
      (i32.ge_s
        (local.get $i3)
        (i32.const 4096)
      )
      (drop
        (local.get $i1)
      )
    )
    (local.set $i4
      (local.get $i1)
    )
    (if
      (i32.eq
        (i32.and
          (local.get $i1)
          (i32.const 3)
        )
        (i32.and
          (local.get $i2)
          (i32.const 3)
        )
      )
      (block $block2
        (block $while-out$0
          (loop $while-in$1
            (if
              (i32.eqz
                (i32.and
                  (local.get $i1)
                  (i32.const 3)
                )
              )
              (br $while-out$0)
            )
            (block $block4
              (if
                (i32.eqz
                  (local.get $i3)
                )
                (return
                  (local.get $i4)
                )
              )
              (i32.store8
                (local.get $i1)
                (i32.load8_s
                  (local.get $i2)
                )
              )
              (local.set $i1
                (i32.add
                  (local.get $i1)
                  (i32.const 1)
                )
              )
              (local.set $i2
                (i32.add
                  (local.get $i2)
                  (i32.const 1)
                )
              )
              (local.set $i3
                (i32.sub
                  (local.get $i3)
                  (i32.const 1)
                )
              )
            )
            (br $while-in$1)
          )
        )
        (block $while-out$2
          (loop $while-in$3
            (if
              (i32.eqz
                (i32.ge_s
                  (local.get $i3)
                  (i32.const 4)
                )
              )
              (br $while-out$2)
            )
            (block $block7
              (i32.store
                (local.get $i1)
                (i32.load
                  (local.get $i2)
                )
              )
              (local.set $i1
                (i32.add
                  (local.get $i1)
                  (i32.const 4)
                )
              )
              (local.set $i2
                (i32.add
                  (local.get $i2)
                  (i32.const 4)
                )
              )
              (local.set $i3
                (i32.sub
                  (local.get $i3)
                  (i32.const 4)
                )
              )
            )
            (br $while-in$3)
          )
        )
      )
    )
    (block $while-out$4
      (loop $while-in$5
        (if
          (i32.eqz
            (i32.gt_s
              (local.get $i3)
              (i32.const 0)
            )
          )
          (br $while-out$4)
        )
        (block $block9
          (i32.store8
            (local.get $i1)
            (i32.load8_s
              (local.get $i2)
            )
          )
          (local.set $i1
            (i32.add
              (local.get $i1)
              (i32.const 1)
            )
          )
          (local.set $i2
            (i32.add
              (local.get $i2)
              (i32.const 1)
            )
          )
          (local.set $i3
            (i32.sub
              (local.get $i3)
              (i32.const 1)
            )
          )
        )
        (br $while-in$5)
      )
    )
    (return
      (local.get $i4)
    )
  )
  (func $this-is-effective-i-tell-you (type $4) (param $x i32)
    (if
      (i32.const -1)
      (block $block1
        (if
          (i32.const 0)
          (nop)
        )
        (local.set $x
          (i32.const 1)
        )
      )
      (nop)
    )
    (drop
      (local.get $x)
    )
  )
)