blob: 3c098abe131ea37fc655de0f4873d6b201a87814 [file] [log] [blame]
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(nop)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(i32.const 0)
)
)
(func $other (type $0)
(nop)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(drop
(i32.const 0)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(i32.const 0)
)
)
(func $other (type $0)
(drop
(i32.const 1)
)
)
)
(module
(type $0 (func))
(table 3 3 anyfunc)
(elem (i32.const 0) $keep2 $keep2 $caller)
(memory $0 0)
(export "keep2" (func $keep2))
(export "other" (func $keep2))
(start $keep2)
(func $keep2 (type $0)
(nop)
)
(func $caller (type $0)
(call $keep2)
(call $keep2)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2-after-two-passes (type $0)
(nop)
)
(func $keep-caller (type $0)
(call $keep2-after-two-passes)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep-4 (type $0)
(nop)
)
(func $other (type $0)
(unreachable)
)
(func $keep-caller (type $0)
(call $keep-4)
)
(func $other-caller (type $0)
(call $other)
)
)
(module
(type $T (func (result i32)))
(type $S (func (result i32)))
(type $2 (func))
(type $3 (func (param i32)))
(memory $0 0)
(func $keep4-similar-but-func-sig-differs (type $2)
(drop
(i32.const 0)
)
)
(func $other1 (type $3) (param $i i32)
(drop
(i32.const 0)
)
)
(func $other2 (type $T) (result i32)
(i32.const 0)
)
(func $other3 (type $S) (result i32)
(i32.const 0)
)
)
(module
(type $S (func (result i32)))
(type $1 (func (param i32)))
(memory $0 0)
(func $keep2-similar-but-func-sig-differs (type $1) (param $i i32)
(drop
(i32.const 0)
)
)
(func $other2 (type $S) (result i32)
(i32.const 0)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(nop)
)
(func $other (type $0)
(nop)
(nop)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(block $block0
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(block $block0
)
)
(func $other (type $0)
(block $block0
(nop)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(block $block0
(nop)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(block $block0
(nop)
)
)
(func $other (type $0)
(block $block0
(nop)
(unreachable)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(block $block0
(nop)
)
)
(func $other (type $0)
(block $block0
(unreachable)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase-since-block-names-do-not-matter (type $0)
(block $foo
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase-since-block-names-do-not-matter (type $0)
(block $foo
(br $foo)
(br_table $foo $foo
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(block $foo
(block $block
(drop
(i32.const 0)
)
(br $foo)
)
)
)
(func $other (type $0)
(block $bar
(block $block
(drop
(i32.const 1)
)
(br $bar)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(block $foo
(br_if $foo
(i32.const 0)
)
)
)
(func $other (type $0)
(block $bar
(br_if $bar
(i32.const 1)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(block $foo
(br_if $foo
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(block $foo
(br_table $foo $foo
(i32.const 0)
)
)
)
(func $other (type $0)
(block $bar
(br_table $bar $bar
(i32.const 1)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(loop $bar
(nop)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(block $foo i32
(br_table $foo $foo
(i32.const 0)
(i32.const 0)
)
)
)
)
(func $other (type $0)
(drop
(block $bar i32
(br_table $bar $bar
(i32.const 0)
(i32.const 1)
)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(block $foo
(block $bar
(br_table $foo $bar
(i32.const 0)
)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(block $foo
(block $bar
(br_table $foo $bar
(i32.const 0)
)
)
)
)
(func $other (type $0)
(block $bar
(block $foo
(br_table $foo $bar
(i32.const 0)
)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(call $erase)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2-but-in-theory-we-could-erase (type $0)
(call $keep2-but-in-theory-we-could-erase)
)
(func $other (type $0)
(call $other)
)
)
(module
(type $FUNCSIG$v (func))
(import "env" "i" (func $i))
(import "env" "j" (func $j))
(memory $0 0)
(func $erase (type $FUNCSIG$v)
(call $i)
)
)
(module
(type $FUNCSIG$v (func))
(import "env" "i" (func $i))
(import "env" "j" (func $j))
(memory $0 0)
(func $keep2 (type $FUNCSIG$v)
(call $i)
)
(func $other (type $FUNCSIG$v)
(call $j)
)
)
(module
(type $T (func))
(table 2 2 anyfunc)
(elem (i32.const 0) $erase $erase)
(memory $0 0)
(func $erase (type $T)
(call_indirect $T
(i32.const 0)
)
)
)
(module
(type $T (func))
(table 2 2 anyfunc)
(elem (i32.const 0) $keep2 $other)
(memory $0 0)
(func $keep2 (type $T)
(call_indirect $T
(i32.const 0)
)
)
(func $other (type $T)
(call_indirect $T
(i32.const 1)
)
)
)
(module
(type $T (func))
(type $S (func))
(table 2 2 anyfunc)
(elem (i32.const 0) $keep2 $other)
(memory $0 0)
(func $keep2 (type $T)
(call_indirect $T
(i32.const 0)
)
)
(func $other (type $T)
(call_indirect $S
(i32.const 0)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase-even-locals-with-different-names (type $0)
(local $i i32)
(drop
(get_local $i)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(local $i i32)
(drop
(get_local $i)
)
)
(func $other (type $0)
(local $j i64)
(drop
(get_local $j)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase-even-locals-with-different-names (type $0)
(local $i i32)
(set_local $i
(i32.const 0)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(local $i i32)
(set_local $i
(i32.const 0)
)
)
(func $other (type $0)
(local $j i64)
(set_local $j
(i64.const 0)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(local $i i32)
(set_local $i
(i32.const 0)
)
)
(func $other (type $0)
(local $j i32)
(set_local $j
(i32.const 1)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $erase (type $0)
(drop
(i32.load
(i32.const 0)
)
)
(drop
(i32.load16_s offset=3
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(drop
(i32.load offset=3
(i32.const 0)
)
)
)
(func $other (type $0)
(drop
(i32.load16_s offset=3
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(drop
(i32.load16_s offset=3
(i32.const 0)
)
)
)
(func $other (type $0)
(drop
(i32.load16_s offset=3 align=1
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(drop
(i32.load16_s
(i32.const 0)
)
)
)
(func $other (type $0)
(drop
(i32.load16_s offset=3
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(drop
(i32.load16_s offset=3
(i32.const 0)
)
)
)
(func $other (type $0)
(drop
(i32.load16_s offset=3
(i32.const 1)
)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(drop
(i32.load16_u offset=3
(i32.const 0)
)
)
)
(func $other (type $0)
(drop
(i32.load16_s offset=3
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $erase (type $0)
(i32.store
(i32.const 0)
(i32.const 100)
)
(i32.store16 offset=3
(i32.const 0)
(i32.const 100)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(i32.store offset=3
(i32.const 0)
(i32.const 100)
)
)
(func $other (type $0)
(i32.store16 offset=3
(i32.const 0)
(i32.const 100)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(i32.store16 offset=3
(i32.const 0)
(i32.const 100)
)
)
(func $other (type $0)
(i32.store16 offset=3 align=1
(i32.const 0)
(i32.const 100)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(i32.store16
(i32.const 0)
(i32.const 100)
)
)
(func $other (type $0)
(i32.store16 offset=3
(i32.const 0)
(i32.const 100)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(i32.store16 offset=3
(i32.const 0)
(i32.const 100)
)
)
(func $other (type $0)
(i32.store16 offset=3
(i32.const 1)
(i32.const 100)
)
)
)
(module
(type $0 (func))
(memory $0 10)
(func $keep2 (type $0)
(i32.store16 offset=3
(i32.const 0)
(i32.const 100)
)
)
(func $other (type $0)
(i32.store16 offset=3
(i32.const 0)
(i32.const 101)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(i32.const 0)
)
)
(func $other (type $0)
(drop
(i64.const 0)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(i32.const 0)
)
)
(func $other (type $0)
(drop
(f32.const 0)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(i32.const 0)
)
)
(func $other (type $0)
(drop
(f64.const 0)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(i64.const 0)
)
)
(func $other (type $0)
(drop
(i64.const 1)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(f32.const 0.10000000149011612)
)
)
(func $other (type $0)
(drop
(f32.const -0.10000000149011612)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(f64.const 0.1)
)
)
(func $other (type $0)
(drop
(f64.const 0.2)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(drop
(f32.abs
(f32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(f32.abs
(f32.const 0)
)
)
)
(func $other (type $0)
(drop
(f32.abs
(f32.const 1)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(f32.abs
(f32.const 0)
)
)
)
(func $other (type $0)
(drop
(f32.neg
(f32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(drop
(f32.add
(f32.const 0)
(f32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(f32.add
(f32.const 0)
(f32.const 0)
)
)
)
(func $other (type $0)
(drop
(f32.add
(f32.const 0)
(f32.const 1)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(f32.add
(f32.const 0)
(f32.const 0)
)
)
)
(func $other (type $0)
(drop
(f32.add
(f32.const 1)
(f32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep2 (type $0)
(drop
(f32.add
(f32.const 0)
(f32.const 0)
)
)
)
(func $other (type $0)
(drop
(f32.sub
(f32.const 0)
(f32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(drop
(select
(i32.const 0)
(i32.const 0)
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep (type $0)
(drop
(select
(i32.const 0)
(i32.const 0)
(i32.const 0)
)
)
)
(func $other (type $0)
(drop
(select
(i32.const 1)
(i32.const 0)
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep (type $0)
(drop
(select
(i32.const 0)
(i32.const 0)
(i32.const 0)
)
)
)
(func $other (type $0)
(drop
(select
(i32.const 0)
(i32.const 2)
(i32.const 0)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep (type $0)
(drop
(select
(i32.const 0)
(i32.const 0)
(i32.const 0)
)
)
)
(func $other (type $0)
(drop
(select
(i32.const 0)
(i32.const 0)
(i32.const 3)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(return)
)
)
(module
(type $0 (func (result i32)))
(memory $0 0)
(func $erase (type $0) (result i32)
(return
(i32.const 0)
)
)
)
(module
(type $0 (func (result i32)))
(memory $0 0)
(func $keep (type $0) (result i32)
(return
(i32.const 0)
)
)
(func $other (type $0) (result i32)
(return
(i32.const 1)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(drop
(current_memory)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $erase (type $0)
(drop
(grow_memory
(i32.const 10)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep (type $0)
(drop
(grow_memory
(i32.const 10)
)
)
)
(func $other (type $0)
(drop
(grow_memory
(i32.const 11)
)
)
)
)
(module
(type $0 (func))
(memory $0 0)
(func $keep (type $0)
(drop
(current_memory)
)
)
(func $other (type $0)
(drop
(grow_memory
(i32.const 10)
)
)
)
)