v/vlib/wasm/tests/block_test.v

module main

import wasm

fn test_block() {
	mut m := wasm.Module{}
	mut a1 := m.new_function('param', [], [.i32_t])
	{
		a1.i32_const(1)
		blk := a1.c_block([.i32_t], [.i32_t])
		{
			a1.i32_const(2)
			a1.add(.i32_t)
		}
		a1.c_end(blk)
	}
	m.commit(a1, true)
	mut a2 := m.new_function('params', [], [.i32_t])
	{
		a2.i32_const(1)
		a2.i32_const(2)
		blk := a2.c_block([.i32_t, .i32_t], [.i32_t])
		{
			a2.add(.i32_t)
		}
		a2.c_end(blk)
	}
	m.commit(a2, true)
	mut a3 := m.new_function('params-id', [], [.i32_t])
	{
		a3.i32_const(1)
		a3.i32_const(2)
		blk := a3.c_block([.i32_t, .i32_t], [.i32_t, .i32_t])
		{
		}
		a3.c_end(blk)
		a3.add(.i32_t)
	}
	m.commit(a3, true)

	mut b1 := m.new_function('param-break', [], [.i32_t])
	{
		b1.i32_const(1)
		blk := b1.c_block([.i32_t], [.i32_t])
		{
			b1.i32_const(2)
			b1.add(.i32_t)
			b1.c_br(blk)
		}
		b1.c_end(blk)
	}
	m.commit(b1, true)
	mut b2 := m.new_function('params-break', [], [.i32_t])
	{
		b2.i32_const(1)
		b2.i32_const(2)
		blk := b2.c_block([.i32_t, .i32_t], [.i32_t])
		{
			b2.add(.i32_t)
			b2.c_br(blk)
		}
		b2.c_end(blk)
	}
	m.commit(b2, true)
	mut b3 := m.new_function('params-id-break', [], [.i32_t])
	{
		b3.i32_const(1)
		b3.i32_const(2)
		blk := b3.c_block([.i32_t, .i32_t], [.i32_t, .i32_t])
		{
			b3.c_br(blk)
		}
		b3.c_end(blk)
		b3.add(.i32_t)
	}
	m.commit(b3, true)

	mut dummy := m.new_function('dummy', [], [])
	{
	}
	m.commit(dummy, false)

	mut c1 := m.new_function('singular', [], [.i32_t])
	{
		blk1 := c1.c_block([], [])
		{
			c1.nop()
		}
		c1.c_end(blk1)
		blk2 := c1.c_block([], [.i32_t])
		{
			c1.i32_const(7)
		}
		c1.c_end(blk2)
	}
	m.commit(c1, true)
	mut c2 := m.new_function('nested', [], [.i32_t])
	{
		blk := c2.c_block([], [.i32_t])
		{
			blk1 := c2.c_block([], [])
			{
				c2.call('dummy')
				blk2 := c2.c_block([], [])
				{
				}
				c2.c_end(blk2)
				c2.nop()
			}
			c2.c_end(blk1)
			blk2 := c2.c_block([], [.i32_t])
			{
				c2.call('dummy')
				c2.i32_const(9)
			}
			c2.c_end(blk2)
		}
		c2.c_end(blk)
	}
	m.commit(c2, true)

	validate(m.compile()) or { panic(err) }
}