import os

const vexe = @VEXE
const tests_dir = os.dir(@FILE)
const v3_dir = os.dir(tests_dir)
const v3_src = os.join_path(v3_dir, 'v3.v')

fn v3_binary() string {
	v3_bin := os.join_path(os.vtmp_dir(), 'v3_wasm_codegen_test')
	build :=
		os.execute('${os.quoted_path(vexe)} -o ${os.quoted_path(v3_bin)} ${os.quoted_path(v3_src)}')
	assert build.exit_code == 0, build.output
	return v3_bin
}

fn compile_to_wasm(v3_bin string, src string, name string) string {
	src_path := os.join_path(os.vtmp_dir(), '${name}.v')
	out_path := os.join_path(os.vtmp_dir(), '${name}.wasm')
	os.write_file(src_path, src) or { panic(err) }
	os.rm(out_path) or {}
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_path)} ${os.quoted_path(src_path)}')
	assert res.exit_code == 0, res.output
	assert os.exists(out_path), 'missing wasm output for ${name}'
	return out_path
}

// assert_valid_wasm checks the module header and that it is non-trivial.
fn assert_valid_wasm(path string) {
	bytes := os.read_bytes(path) or { panic(err) }
	assert bytes.len > 8, 'wasm too small'
	assert bytes[0] == 0x00 && bytes[1] == 0x61 && bytes[2] == 0x73 && bytes[3] == 0x6d, 'bad wasm magic'
	assert bytes[4] == 0x01 && bytes[5] == 0x00 && bytes[6] == 0x00 && bytes[7] == 0x00, 'bad wasm version'
}

fn node_path() ?string {
	path := os.find_abs_path_of_executable('node') or { return none }
	return path
}

// last_line returns the last non-empty line, ignoring any stderr noise such as
// node's WASI ExperimentalWarning that os.execute folds into the output.
fn last_line(out string) string {
	mut result := ''
	for line in out.split_into_lines() {
		if line.trim_space().len > 0 {
			result = line.trim_space()
		}
	}
	return result
}

fn run_node(node string, runner string, wasm string) os.Result {
	return os.execute('${os.quoted_path(node)} --no-warnings ${os.quoted_path(runner)} ${os.quoted_path(wasm)}')
}

// run_wasi_expect runs a WASI module and asserts its trailing output lines.
// Skips execution (compile/validate already happened) when node is absent.
fn run_wasi_expect(wasm string, expected []string) {
	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	res := run_node(node, runner, wasm)
	assert res.exit_code == 0, res.output
	lines := res.output.split_into_lines().map(it.trim_space()).filter(it.len > 0)
	assert lines.len >= expected.len, res.output
	for i, want in expected {
		got := lines[lines.len - expected.len + i]
		assert got == want, 'line ${i}: got ${got}, want ${want} (full: ${res.output})'
	}
}

fn test_wasm_block_scoping_preserves_outer_locals() {
	v3_bin := v3_binary()
	// A shadowing for-initializer and a loop-body declaration must not leak:
	// after the loops the outer i (10) and x (1) are restored.
	src := 'fn main() {\n\ti := 10\n\tfor i := 0; i < 1; i++ {\n\t}\n\tprintln(i)\n\tx := 1\n\tfor j := 0; j < 2; j++ {\n\t\tx := j + 2\n\t\tprintln(x)\n\t}\n\tprintln(x)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_scope')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['10', '2', '3', '1'])
}

fn test_wasm_narrow_integer_casts_and_arithmetic_wrap() {
	v3_bin := v3_binary()
	src := 'fn main() {\n\tprintln(int(i8(128)))\n\tprintln(int(u8(256)))\n\tprintln(int(u16(65536)))\n\tprintln(int(i16(32768)))\n\tmut a := u8(250)\n\ta += u8(10)\n\tprintln(int(a))\n\tmut b := i8(127)\n\tb++\n\tprintln(int(b))\n\tprintln(int(u8(200) + u8(100)))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_narrow')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['-128', '0', '0', '-32768', '4', '-128', '44'])
}

fn test_wasm_runtime_oversized_shift_is_zero() {
	v3_bin := v3_binary()
	// V yields 0 when a runtime shift count is >= the operand width, whereas
	// raw WASM masks the count modulo the width; in-range shifts are unchanged.
	src := 'fn osc() u64 {\n\treturn u64(64)\n}\n\nfn main() {\n\tshift := osc()\n\tbits := u64(9221120237041090561)\n\tprintln(bits >> shift)\n\tprintln(bits << shift)\n\tmut left := u64(1)\n\tleft <<= shift\n\tprintln(left)\n\tprintln(u64(1) << u64(40))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_shiftguard')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['0', '0', '0', '1099511627776'])
}

fn test_wasm_hello_world() {
	v3_bin := v3_binary()
	wasm := compile_to_wasm(v3_bin, "fn main() {\n\tprintln('hello world')\n}\n", 'wasm_hello')
	assert_valid_wasm(wasm)

	node := node_path() or {
		eprintln('> node not found, skipping wasm execution check')
		return
	}
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	res := run_node(node, runner, wasm)
	assert res.exit_code == 0, res.output
	assert last_line(res.output) == 'hello world', res.output
}

fn test_wasm_control_flow_and_int_print() {
	v3_bin := v3_binary()
	src := 'fn main() {\n\tmut sum := 0\n\tfor i := 0; i < 5; i++ {\n\t\tsum = sum + i\n\t}\n\tif sum > 5 {\n\t\tprintln(sum)\n\t} else {\n\t\tprintln(-1)\n\t}\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_flow')
	assert_valid_wasm(wasm)

	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	res := run_node(node, runner, wasm)
	assert res.exit_code == 0, res.output
	assert last_line(res.output) == '10', res.output
}

fn test_wasm_exported_functions() {
	v3_bin := v3_binary()
	src := 'fn add(a int, b int) int {\n\treturn a + b\n}\n\nfn fib(n int) int {\n\tif n < 2 {\n\t\treturn n\n\t}\n\treturn fib(n - 1) + fib(n - 2)\n}\n\nfn gcd(a int, b int) int {\n\tmut x := a\n\tmut y := b\n\tfor y != 0 {\n\t\tt := y\n\t\ty = x % y\n\t\tx = t\n\t}\n\treturn x\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_exports')
	assert_valid_wasm(wasm)

	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_call_exports.mjs')
	os.write_file(runner, exports_runner_js) or { panic(err) }
	res := run_node(node, runner, wasm)
	assert res.exit_code == 0, res.output
	// runner prints "add fib gcd" results space-separated
	assert last_line(res.output) == '7 55 12', res.output
}

fn test_wasm_unsigned_i64_and_bool() {
	v3_bin := v3_binary()
	src := 'fn main() {\n\ta := u32(4000000000)\n\tprintln(a / u32(3))\n\tc := u64(10000000000)\n\tprintln(c * 2)\n\td := u64(1)\n\tprintln(d << 40)\n\tprintln(a > u32(3))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_unsigned')
	assert_valid_wasm(wasm)

	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	res := run_node(node, runner, wasm)
	assert res.exit_code == 0, res.output
	lines := res.output.split_into_lines().map(it.trim_space()).filter(it.len > 0)
	expected := ['1333333333', '20000000000', '1099511627776', 'true']
	assert lines.len >= expected.len, res.output
	for i, want in expected {
		got := lines[lines.len - expected.len + i]
		assert got == want, 'line ${i}: got ${got}, want ${want} (full: ${res.output})'
	}
}

fn test_wasm_f32_cast_and_unsigned_u64_print() {
	v3_bin := v3_binary()
	// f32->int/i64 truncation casts and full-range unsigned u64 printing.
	src := 'fn main() {\n\tf := f32(3.9)\n\tprintln(int(f))\n\tprintln(i64(f))\n\tg := f32(-2.7)\n\tprintln(int(g))\n\tprintln(u64(0) - u64(1))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_f32_u64')
	assert_valid_wasm(wasm)

	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	res := run_node(node, runner, wasm)
	assert res.exit_code == 0, res.output
	lines := res.output.split_into_lines().map(it.trim_space()).filter(it.len > 0)
	expected := ['3', '3', '-2', '18446744073709551615']
	assert lines.len >= expected.len, res.output
	for i, want in expected {
		got := lines[lines.len - expected.len + i]
		assert got == want, 'line ${i}: got ${got}, want ${want} (full: ${res.output})'
	}
}

fn test_wasm_signed_compound_float_postfix_and_u64_literal() {
	v3_bin := v3_binary()
	// signed /= %= >>=, unsigned /=, float ++/--, full-range u64 decimal literal.
	src := 'fn main() {\n\tmut x := -6\n\tx /= 2\n\tprintln(x)\n\tmut y := -7\n\ty %= 3\n\tprintln(y)\n\tmut z := -8\n\tz >>= 1\n\tprintln(z)\n\tmut u := u32(4000000000)\n\tu /= u32(2)\n\tprintln(u)\n\tmut f := 1.5\n\tf++\n\tprintln(int(f))\n\tmut g := f32(5.5)\n\tg--\n\tprintln(int(g))\n\tprintln(u64(18446744073709551615))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_signed_float_u64')
	assert_valid_wasm(wasm)

	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	res := run_node(node, runner, wasm)
	assert res.exit_code == 0, res.output
	lines := res.output.split_into_lines().map(it.trim_space()).filter(it.len > 0)
	expected := ['-3', '-1', '-4', '2000000000', '2', '4', '18446744073709551615']
	assert lines.len >= expected.len, res.output
	for i, want in expected {
		got := lines[lines.len - expected.len + i]
		assert got == want, 'line ${i}: got ${got}, want ${want} (full: ${res.output})'
	}
}

fn test_wasm_string_literal_escapes_not_double_decoded() {
	v3_bin := v3_binary()
	// The parser already unescapes literals, so `'a\\nb'` is the four bytes
	// a, backslash, n, b and must print verbatim (not as a newline). Compare
	// against the C backend to avoid escape miscounts.
	src := "fn main() {\n\tprintln('a\\\\nb')\n\tprintln('c\\nd')\n}\n"
	src_path := os.join_path(os.vtmp_dir(), 'wasm_esc.v')
	os.write_file(src_path, src) or { panic(err) }
	c_bin := os.join_path(os.vtmp_dir(), 'wasm_esc_c')
	cres :=
		os.execute('${os.quoted_path(v3_bin)} -b c -o ${os.quoted_path(c_bin)} ${os.quoted_path(src_path)}')
	assert cres.exit_code == 0, cres.output
	cout := os.execute(os.quoted_path(c_bin))
	assert cout.exit_code == 0, cout.output

	wasm := compile_to_wasm(v3_bin, src, 'wasm_esc')
	assert_valid_wasm(wasm)
	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	wres := run_node(node, runner, wasm)
	assert wres.exit_code == 0, wres.output
	wlines := wres.output.split_into_lines().map(it.trim_space()).filter(it.len > 0)
	clines := cout.output.split_into_lines().map(it.trim_space()).filter(it.len > 0)
	assert wlines.len >= clines.len, wres.output
	for i, want in clines {
		got := wlines[wlines.len - clines.len + i]
		assert got == want, 'line ${i}: wasm ${got} != c ${want}'
	}
}

fn test_wasm_imported_module_numeric_call() {
	v3_bin := v3_binary()
	dir := os.join_path(os.vtmp_dir(), 'wasm_modtest')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'moda')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		'import moda\n\nfn main() {\n\tprintln(moda.answer())\n\tprintln(moda.add(3, 4))\n}\n') or {
		panic(err)
	}
	// answer() calls a bare helper() in the same module, which must resolve to
	// moda.helper (not main-module helper).
	os.write_file(os.join_path(dir, 'moda', 'moda.v'),
		'module moda\n\nfn helper() int {\n\treturn 21\n}\n\npub fn answer() int {\n\treturn helper() * 2\n}\n\npub fn add(a int, b int) int {\n\treturn a + b\n}\n') or {
		panic(err)
	}
	out_wasm := os.join_path(dir, 'main.wasm')
	main_v := os.join_path(dir, 'main.v')
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(main_v)}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	// No fallback warnings: the imported module calls must resolve.
	assert !res.output.contains('unsupported call'), res.output

	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	rres := run_node(node, runner, out_wasm)
	assert rres.exit_code == 0, rres.output
	lines := rres.output.split_into_lines().map(it.trim_space()).filter(it.len > 0)
	expected := ['42', '7']
	assert lines.len >= expected.len, rres.output
	for i, want in expected {
		got := lines[lines.len - expected.len + i]
		assert got == want, 'line ${i}: got ${got}, want ${want} (full: ${rres.output})'
	}
}

fn test_wasm_module_scoped_globals() {
	v3_bin := v3_binary()
	// main and an imported module both declare `__global counter`. They must map
	// to two distinct wasm globals keyed by module, so bumping the module's copy
	// leaves main's untouched (main=100, foo=3).
	dir := os.join_path(os.vtmp_dir(), 'wasm_modglobals')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'foo')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		'module main\n\nimport foo\n\n__global counter int\n\nfn main() {\n\tcounter = 100\n\tfoo.bump()\n\tfoo.bump()\n\tfoo.bump()\n\tprintln(counter)\n\tprintln(foo.get())\n}\n') or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'foo', 'foo.v'),
		'module foo\n\n__global counter int\n\npub fn bump() {\n\tcounter++\n}\n\npub fn get() int {\n\treturn counter\n}\n') or {
		panic(err)
	}
	out_wasm := os.join_path(dir, 'main.wasm')
	main_v := os.join_path(dir, 'main.v')
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(main_v)}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)

	node := node_path() or { return }
	runner := os.join_path(os.vtmp_dir(), 'wasm_run_wasi.mjs')
	os.write_file(runner, wasi_runner_js) or { panic(err) }
	rres := run_node(node, runner, out_wasm)
	assert rres.exit_code == 0, rres.output
	lines := rres.output.split_into_lines().map(it.trim_space()).filter(it.len > 0)
	expected := ['100', '3']
	assert lines.len >= expected.len, rres.output
	for i, want in expected {
		got := lines[lines.len - expected.len + i]
		assert got == want, 'line ${i}: got ${got}, want ${want} (full: ${rres.output})'
	}
}

fn test_wasm_for_post_uses_loop_var_not_body_shadow() {
	v3_bin := v3_binary()
	// A body-local `i` must not rebind the name used by the post `i++`; the
	// outer loop counter must still advance. The count/break bound keeps the
	// test terminating even if the fix regresses (it would loop otherwise).
	src := 'fn main() {\n\tmut i := 0\n\tmut count := 0\n\tfor ; i < 3; i++ {\n\t\ti := 10\n\t\t_ = i\n\t\tcount++\n\t\tif count > 100 {\n\t\t\tbreak\n\t\t}\n\t}\n\tprintln(i)\n\tprintln(count)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_loopshadow')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['3', '3'])
}

fn test_wasm_imported_module_alias_call() {
	v3_bin := v3_binary()
	dir := os.join_path(os.vtmp_dir(), 'wasm_modalias')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'moda')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		'import moda as m\n\nfn main() {\n\tprintln(m.answer())\n\tprintln(m.add(3, 4))\n}\n') or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'moda', 'moda.v'),
		'module moda\n\npub fn answer() int {\n\treturn 42\n}\n\npub fn add(a int, b int) int {\n\treturn a + b\n}\n') or {
		panic(err)
	}
	out_wasm := os.join_path(dir, 'main.wasm')
	main_v := os.join_path(dir, 'main.v')
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(main_v)}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	assert !res.output.contains('unsupported call'), res.output
	run_wasi_expect(out_wasm, ['42', '7'])
}

fn test_wasm_shadowing_initializer_reads_outer() {
	v3_bin := v3_binary()
	// The inner `x := x + 1` initializer must read the outer x (5), giving 6,
	// and the outer x is unchanged afterwards.
	src := 'fn main() {\n\tx := 5\n\t{\n\t\tx := x + 1\n\t\tprintln(x)\n\t}\n\tprintln(x)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_shadow_init')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['6', '5'])
}

fn test_wasm_parallel_multi_assign_swaps() {
	v3_bin := v3_binary()
	src := 'fn main() {\n\tmut a := 1\n\tmut b := 2\n\ta, b = b, a\n\tprintln(a)\n\tprintln(b)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_swap')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['2', '1'])
}

fn test_wasm_parallel_multi_assign_swaps_globals() {
	v3_bin := v3_binary()
	// Parallel assignment must buffer __global targets too and write them back
	// with global_set + narrowing, so `a, b = b, a` swaps the globals (incl.
	// sub-32-bit ones) instead of leaving them unchanged.
	src := '__global a int\n__global b int\n__global p = u8(250)\n__global q = u8(10)\n\nfn main() {\n\ta = 1\n\tb = 2\n\ta, b = b, a\n\tprintln(a)\n\tprintln(b)\n\tp, q = q, p\n\tprintln(int(p))\n\tprintln(int(q))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_global_swap')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['2', '1', '10', '250'])
}

fn test_wasm_import_aliases_are_file_scoped() {
	v3_bin := v3_binary()
	// Two modules each `import ... as m` for different real modules; the alias
	// must resolve per file, not via a single global map.
	dir := os.join_path(os.vtmp_dir(), 'wasm_aliascol')
	os.rmdir_all(dir) or {}
	for sub in ['mc', 'md', 'usea', 'useb'] {
		os.mkdir_all(os.join_path(dir, sub)) or { panic(err) }
	}
	os.write_file(os.join_path(dir, 'main.v'),
		'import usea\nimport useb\n\nfn main() {\n\tprintln(usea.go())\n\tprintln(useb.go())\n}\n') or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'mc', 'mc.v'),
		'module mc\n\npub fn val() int {\n\treturn 100\n}\n') or { panic(err) }
	os.write_file(os.join_path(dir, 'md', 'md.v'),
		'module md\n\npub fn val() int {\n\treturn 200\n}\n') or { panic(err) }
	os.write_file(os.join_path(dir, 'usea', 'usea.v'),
		'module usea\n\nimport mc as m\n\npub fn go() int {\n\treturn m.val()\n}\n') or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'useb', 'useb.v'),
		'module useb\n\nimport md as m\n\npub fn go() int {\n\treturn m.val()\n}\n') or {
		panic(err)
	}
	out_wasm := os.join_path(dir, 'main.wasm')
	main_v := os.join_path(dir, 'main.v')
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(main_v)}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	assert !res.output.contains('unsupported call'), res.output
	run_wasi_expect(out_wasm, ['100', '200'])
}

fn test_wasm_numeric_type_aliases() {
	v3_bin := v3_binary()
	// Scalar aliases must classify as their base type: the alias-typed function
	// is emitted, and Byte(300) wraps to u8 (44) rather than keeping 300.
	src := 'type Byte = u8\ntype MyInt = int\n\nfn val() Byte {\n\treturn Byte(300)\n}\n\nfn add(a MyInt, b MyInt) MyInt {\n\treturn a + b\n}\n\nfn main() {\n\tprintln(int(val()))\n\tprintln(int(add(3, 4)))\n\tmut x := Byte(250)\n\tx += Byte(10)\n\tprintln(int(x))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_alias_types')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['44', '7', '4'])
}

fn test_wasm_float_to_unsigned_cast_saturates() {
	v3_bin := v3_binary()
	// V's float->int casts saturate: u64(-1.0) -> 0, 2^63 keeps the high bit,
	// 2^64 saturates to max. Signedness comes from the target type.
	src := 'fn main() {\n\tprintln(u64(-1.0))\n\tprintln(u64(9223372036854775808.0))\n\tprintln(u64(18446744073709551616.0))\n\tprintln(int(f32(3.9)))\n\tprintln(int(f32(-2.7)))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_fcast')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['0', '9223372036854775808', '18446744073709551615', '3', '-2'])
}

fn test_wasm_shift_keeps_lhs_width() {
	v3_bin := v3_binary()
	// The shift result keeps the lhs width even with a wider count: a u32 shift
	// by 40 is over-width (>= 32) -> 0, while a u64 shift by 40 is valid.
	src := 'fn w32() u32 {\n\treturn u32(40)\n}\n\nfn w64() u64 {\n\treturn u64(40)\n}\n\nfn main() {\n\ta := u32(1)\n\tprintln(a << w64())\n\tb := u64(1)\n\tprintln(b << w32())\n\tmut e := u32(1)\n\te <<= w64()\n\tprintln(e)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_shiftwidth')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['0', '1099511627776', '0'])
}

fn test_wasm_multi_decl_buffers_rhs() {
	v3_bin := v3_binary()
	// Both initializers of a parallel declaration must be evaluated against the
	// enclosing scope, so `a, b := x + 1, x + 2` reads the outer x for both,
	// giving a == 6 and b == 7.
	src := 'fn main() {\n\tx := 5\n\t{\n\t\ta, b := x + 1, x + 2\n\t\tprintln(a)\n\t\tprintln(b)\n\t}\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_multidecl')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['6', '7'])
}

fn test_wasm_unsigned_right_shift_masks_narrow() {
	v3_bin := v3_binary()
	// `>>>` on a signed narrow operand works on the 8/16-bit pattern, so the
	// sign-extension bits must be masked off first.
	src := 'fn main() {\n\tprintln(int(i8(-5) >>> 1))\n\tprintln(int(i16(-5) >>> 1))\n\tprintln(int(u8(250) >>> 1))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_urshift')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['125', '32765', '125'])
}

fn test_wasm_bit_not_narrows_result() {
	v3_bin := v3_binary()
	// ~ keeps the operand width: ~u8(0) is 255, ~u16(0) is 65535, and a u8
	// return carries the narrowed value.
	src := 'fn allset() u8 {\n\treturn ~u8(0)\n}\n\nfn main() {\n\tprintln(~u8(0))\n\tprintln(~u16(0))\n\tprintln(allset())\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_bitnot')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['255', '65535', '255'])
}

fn test_wasm_output_path_is_exact() {
	v3_bin := v3_binary()
	src_path := os.join_path(os.vtmp_dir(), 'wasm_exactpath.v')
	os.write_file(src_path, "fn main() {\n\tprintln('hi')\n}\n") or { panic(err) }
	// -o with a path that does not end in .wasm must write that exact file,
	// not <path>.wasm.
	out_path := os.join_path(os.vtmp_dir(), 'wasm_exact_out')
	os.rm(out_path) or {}
	os.rm(out_path + '.wasm') or {}
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_path)} ${os.quoted_path(src_path)}')
	assert res.exit_code == 0, res.output
	assert os.exists(out_path), 'expected exact output ${out_path}'
	assert !os.exists(out_path + '.wasm'), 'unexpected ${out_path}.wasm'
	assert_valid_wasm(out_path)
}

fn test_wasm_mixed_numeric_println_promotes() {
	v3_bin := v3_binary()
	// `1 + u64(x)` promotes to u64, so it must print unsigned, not as a signed
	// int. Also a u32 sum with the high bit set must zero-extend.
	src := 'fn main() {\n\tprintln(1 + u64(9223372036854775808))\n\tprintln(u64(9223372036854775808) + 1)\n\ta := u32(4000000000)\n\tprintln(1 + a)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_promote')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['9223372036854775809', '9223372036854775809', '4000000001'])
}

fn test_wasm_nested_module_import_call() {
	v3_bin := v3_binary()
	// `import foo.bar` selects `bar`; calls must resolve to the `module bar`
	// declaration name, not the full import path.
	dir := os.join_path(os.vtmp_dir(), 'wasm_nestmod')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'foo', 'bar')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		'import foo.bar\n\nfn main() {\n\tprintln(bar.answer())\n\tprintln(bar.add(3, 4))\n}\n') or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'foo', 'bar', 'bar.v'),
		'module bar\n\npub fn answer() int {\n\treturn 42\n}\n\npub fn add(a int, b int) int {\n\treturn a + b\n}\n') or {
		panic(err)
	}
	out_wasm := os.join_path(dir, 'main.wasm')
	main_v := os.join_path(dir, 'main.v')
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(main_v)}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	assert !res.output.contains('unsupported call'), res.output
	run_wasi_expect(out_wasm, ['42', '7'])
}

fn test_wasm_unsigned_shift_assign_masks_narrow() {
	v3_bin := v3_binary()
	// `>>>=` on a signed narrow local must shift the 8/16-bit pattern, not the
	// sign-extended i32.
	src := 'fn main() {\n\tmut x := i8(-5)\n\tx >>>= 1\n\tprintln(int(x))\n\tmut y := i16(-5)\n\ty >>>= 1\n\tprintln(int(y))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_urshift_assign')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['125', '32765'])
}

fn test_wasm_if_expression_value() {
	v3_bin := v3_binary()
	// `if` used as a value (decl rhs, return, else-if chain) selects the branch
	// value rather than producing zero.
	src := 'fn classify(n int) int {\n\treturn if n > 0 { 1 } else if n < 0 { -1 } else { 0 }\n}\n\nfn main() {\n\tx := if 3 > 2 { 10 } else { 20 }\n\tprintln(x)\n\tprintln(classify(5))\n\tprintln(classify(-5))\n\tprintln(classify(0))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_ifexpr')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['10', '1', '-1', '0'])
}

fn test_wasm_top_level_const_inlined() {
	v3_bin := v3_binary()
	// Numeric/bool consts are inlined at the use site instead of warning + 0.
	src := 'const answer = 42\nconst big = u64(9223372036854775808)\n\nfn main() {\n\tprintln(answer)\n\tprintln(big)\n\tprintln(answer + 1)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_const')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['42', '9223372036854775808', '43'])
}

fn test_wasm_unsigned_division_promotes() {
	v3_bin := v3_binary()
	// An unsigned operand makes / and % unsigned even when the lhs is an
	// untyped/signed literal; signed div/rem still works for signed operands.
	src := 'fn main() {\n\tprintln(4000000000 / u32(2))\n\tprintln(4000000001 % u32(3))\n\tprintln(-10 / 3)\n\tprintln(-10 % 3)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_udiv')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['2000000000', '2', '-3', '-1'])
}

fn test_wasm_nested_imported_modules() {
	v3_bin := v3_binary()
	// Nested modules imported under different aliases must resolve to their own
	// functions. (Two nested modules that share the same leaf name collapse to a
	// single identity in the shared import-resolution layer — the C backend emits
	// only one such function too — so distinct leaves are used here.)
	dir := os.join_path(os.vtmp_dir(), 'wasm_nestedmods')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'foo', 'alpha')) or { panic(err) }
	os.mkdir_all(os.join_path(dir, 'bar', 'beta')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		'import foo.alpha as fu\nimport bar.beta as bu\n\nfn main() {\n\tprintln(fu.val())\n\tprintln(bu.val())\n}\n') or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'foo', 'alpha', 'alpha.v'),
		'module alpha\n\npub fn val() int {\n\treturn 111\n}\n') or { panic(err) }
	os.write_file(os.join_path(dir, 'bar', 'beta', 'beta.v'),
		'module beta\n\npub fn val() int {\n\treturn 222\n}\n') or { panic(err) }
	out_wasm := os.join_path(dir, 'main.wasm')
	main_v := os.join_path(dir, 'main.v')
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(main_v)}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	assert !res.output.contains('unsupported call'), res.output
	run_wasi_expect(out_wasm, ['111', '222'])
}

fn test_wasm_main_dir_matching_import_name() {
	v3_bin := v3_binary()
	// The main file lives in a directory whose name matches an imported module;
	// `fn main` must still be treated as main-module (export main/_start).
	dir := os.join_path(os.vtmp_dir(), 'wasm_dircollide', 'moda')
	os.rmdir_all(os.dir(dir)) or {}
	os.mkdir_all(os.join_path(dir, 'moda')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		'import moda\n\nfn main() {\n\tprintln(moda.answer())\n}\n') or { panic(err) }
	os.write_file(os.join_path(dir, 'moda', 'moda.v'),
		'module moda\n\npub fn answer() int {\n\treturn 42\n}\n') or { panic(err) }
	out_wasm := os.join_path(dir, 'main.wasm')
	main_v := os.join_path(dir, 'main.v')
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(main_v)}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	run_wasi_expect(out_wasm, ['42'])
}

fn test_wasm_user_function_named_memory() {
	v3_bin := v3_binary()
	// A user `fn memory()` must not collide with the exported linear memory;
	// the module stays valid (the conflicting export is skipped).
	src := 'fn memory() int {\n\treturn 7\n}\n\nfn main() {\n\tprintln(memory())\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_memname')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['7'])
}

fn test_wasm_float_cast_of_large_literal() {
	v3_bin := v3_binary()
	// A non-negative literal beyond i64 max must keep its magnitude/sign when
	// cast to a float (the integer path would wrap it negative first).
	src := 'fn main() {\n\tprintln(int(f64(9223372036854775808) > 0.0))\n\tprintln(int(f64(18446744073709551615) > 0.0))\n\tprintln(int(f64(9223372036854775808) == 9223372036854775808.0))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_fcastlit')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['1', '1', '1'])
}

fn test_wasm_shift_over_width_semantics() {
	v3_bin := v3_binary()
	// V promotes narrow types to int for shifts, so i8(-1) >> 8 stays -1 (the
	// computation width is 32), while full-width over-width shifts zero out.
	src := 'fn rc(n int) int {\n\treturn n\n}\n\nfn main() {\n\tprintln(int(i8(-1) >> rc(8)))\n\tprintln(u32(1) << rc(32))\n\ta := u64(1)\n\tprintln(a << rc(64))\n\tprintln(int(i8(-5) >>> rc(1)))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_shiftsem')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['-1', '0', '0', '125'])
}

fn test_wasm_mixed_signed_unsigned_comparison() {
	v3_bin := v3_binary()
	// Mixed signed/unsigned comparisons compare by mathematical value, so a
	// negative signed operand is smaller than any unsigned operand.
	src := 'fn main() {\n\tprintln(int(i64(-89) <= u64(567)))\n\tprintln(int(int(-1) != u32(0xffffffff)))\n\tprintln(int(u64(0xfffffffffffffffe) == i64(-2)))\n\tprintln(int(u32(8543) > int(-7523)))\n\tprintln(int(i16(-27) < u32(65463356)))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_mixedcmp')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['1', '1', '0', '1', '1'])
}

fn test_wasm_unary_minus_large_literal() {
	v3_bin := v3_binary()
	// Negating a literal outside i32 range must keep i64 width (and wrap on
	// overflow like V's cast), not truncate to 32 bits.
	src := 'fn main() {\n\tprintln(i64(-9223372036854775808))\n\tprintln(i64(-9223372036854775809))\n\tprintln(-9223372036854775807)\n\tprintln(i64(-5))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_negbig')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['-9223372036854775808', '9223372036854775807', '-9223372036854775807',
		'-5'])
}

fn test_wasm_init_runs_before_main() {
	v3_bin := v3_binary()
	// fn init() is an entry point: it (and imported-module inits) run before main.
	src := "fn init() {\n\tprintln('init')\n}\n\nfn main() {\n\tprintln('main')\n}\n"
	wasm := compile_to_wasm(v3_bin, src, 'wasm_init')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['init', 'main'])
}

fn test_wasm_imported_module_init() {
	v3_bin := v3_binary()
	dir := os.join_path(os.vtmp_dir(), 'wasm_initmod')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'moda')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		"import moda\n\nfn main() {\n\tprintln('main')\n\tprintln(moda.answer())\n}\n") or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'moda', 'moda.v'),
		"module moda\n\nfn init() {\n\tprintln('moda init')\n}\n\npub fn answer() int {\n\treturn 42\n}\n") or {
		panic(err)
	}
	out_wasm := os.join_path(dir, 'main.wasm')
	res := os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(os.join_path(dir,
		'main.v'))}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	run_wasi_expect(out_wasm, ['moda init', 'main', '42'])
}

fn test_wasm_char_literals() {
	v3_bin := v3_binary()
	src := 'fn code() u8 {\n\treturn `A`\n}\n\nfn main() {\n\tprintln(int(code()))\n\tprintln(int(`A`))\n\tprintln(int(`0`))\n\tprintln(int(`\\n`))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_char')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['65', '65', '48', '10'])
}

fn test_wasm_init_only_imported_module() {
	v3_bin := v3_binary()
	// An imported module with only an init() (no called function) must still
	// run its init before main.
	dir := os.join_path(os.vtmp_dir(), 'wasm_initonly')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'moda')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'), "import moda\n\nfn main() {\n\tprintln('main')\n}\n") or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'moda', 'moda.v'),
		"module moda\n\nfn init() {\n\tprintln('moda init')\n}\n") or { panic(err) }
	out_wasm := os.join_path(dir, 'main.wasm')
	res := os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(os.join_path(dir,
		'main.v'))}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	run_wasi_expect(out_wasm, ['moda init', 'main'])
}

fn test_wasm_init_dependency_order() {
	v3_bin := v3_binary()
	// main -> a -> b: inits run dependency-first (b, then a), then main.
	dir := os.join_path(os.vtmp_dir(), 'wasm_initdep')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'a')) or { panic(err) }
	os.mkdir_all(os.join_path(dir, 'b')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		"import a\n\nfn main() {\n\tprintln('main')\n\tprintln(a.av())\n}\n") or { panic(err) }
	os.write_file(os.join_path(dir, 'a', 'a.v'),
		"module a\n\nimport b\n\nfn init() {\n\tprintln('a init')\n}\n\npub fn av() int {\n\treturn b.bv()\n}\n") or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'b', 'b.v'),
		"module b\n\nfn init() {\n\tprintln('b init')\n}\n\npub fn bv() int {\n\treturn 5\n}\n") or {
		panic(err)
	}
	out_wasm := os.join_path(dir, 'main.wasm')
	res := os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(os.join_path(dir,
		'main.v'))}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	run_wasi_expect(out_wasm, ['b init', 'a init', 'main', '5'])
}

fn test_wasm_imported_module_const() {
	v3_bin := v3_binary()
	// A numeric const accessed through an imported-module selector (mod.name)
	// must be inlined, not emitted as 0.
	dir := os.join_path(os.vtmp_dir(), 'wasm_constmod')
	os.rmdir_all(dir) or {}
	os.mkdir_all(os.join_path(dir, 'moda')) or { panic(err) }
	os.write_file(os.join_path(dir, 'main.v'),
		'import moda\n\nfn main() {\n\tprintln(moda.answer)\n\tprintln(moda.answer + 1)\n}\n') or {
		panic(err)
	}
	os.write_file(os.join_path(dir, 'moda', 'moda.v'), 'module moda\n\npub const answer = 42\n') or {
		panic(err)
	}
	out_wasm := os.join_path(dir, 'main.wasm')
	res := os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out_wasm)} ${os.quoted_path(os.join_path(dir,
		'main.v'))}')
	assert res.exit_code == 0, res.output
	assert_valid_wasm(out_wasm)
	assert !res.output.contains('unsupported'), res.output
	run_wasi_expect(out_wasm, ['42', '43'])
}

fn test_wasm_labeled_break_continue() {
	v3_bin := v3_binary()
	// `break label` exits the labeled outer loop (count 1, not 3); `continue
	// label` advances the outer loop (count 3, not 9); plain inner break works.
	src := 'fn main() {\n\tmut cb := 0\n\touter: for i := 0; i < 3; i++ {\n\t\tfor j := 0; j < 3; j++ {\n\t\t\tcb++\n\t\t\tif j == 0 {\n\t\t\t\tbreak outer\n\t\t\t}\n\t\t}\n\t}\n\tprintln(cb)\n\tmut cc := 0\n\to2: for i := 0; i < 3; i++ {\n\t\tfor j := 0; j < 3; j++ {\n\t\t\tcc++\n\t\t\tcontinue o2\n\t\t}\n\t}\n\tprintln(cc)\n\tmut cn := 0\n\tfor i := 0; i < 3; i++ {\n\t\tfor j := 0; j < 3; j++ {\n\t\t\tcn++\n\t\t\tbreak\n\t\t}\n\t}\n\tprintln(cn)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_labeled')
	assert_valid_wasm(wasm)
	assert !res_contains_unsupported(v3_bin, src), 'labeled loop emitted a warning'
	run_wasi_expect(wasm, ['1', '3', '3'])
}

fn res_contains_unsupported(v3_bin string, src string) bool {
	src_path := os.join_path(os.vtmp_dir(), 'wasm_labeled_warn.v')
	out := os.join_path(os.vtmp_dir(), 'wasm_labeled_warn.wasm')
	os.write_file(src_path, src) or { panic(err) }
	res :=
		os.execute('${os.quoted_path(v3_bin)} -b wasm -o ${os.quoted_path(out)} ${os.quoted_path(src_path)}')
	return res.output.contains('unsupported statement: label_stmt')
}

fn test_wasm_numeric_globals() {
	v3_bin := v3_binary()
	// __global is lowered to a wasm mutable global: reads/writes (incl. across
	// functions), initializers, compound assigns and narrow wrapping all work.
	src := '__global counter int\n__global x = 10\n__global b u8\n\nfn inc() {\n\tcounter = counter + 1\n}\n\nfn main() {\n\tcounter = 3\n\tinc()\n\tinc()\n\tprintln(counter)\n\tx += 5\n\tprintln(x)\n\tb = u8(250)\n\tb += u8(10)\n\tprintln(int(b))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_globals')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['5', '15', '4'])
}

fn test_wasm_global_postfix() {
	v3_bin := v3_binary()
	// `counter++`/`counter--` on a numeric global must read-modify-write the wasm
	// global (incl. across functions) and narrow-wrap for sub-32-bit globals.
	src := '__global counter int\n__global b = u8(250)\n\nfn bump() {\n\tcounter++\n}\n\nfn main() {\n\tcounter = 3\n\tcounter++\n\tbump()\n\tcounter--\n\tprintln(counter)\n\tb++\n\tprintln(int(b))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_global_postfix')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['4', '251'])
}

fn test_wasm_global_narrow_cast_initializer() {
	v3_bin := v3_binary()
	// An out-of-range cast initializer on an inferred narrow global must be
	// wrapped to the global's width at compile time, so the first read already
	// sees the V value (u8(300)=44, i8(128)=-128, u16(70000)=4464).
	src := '__global b = u8(300)\n__global s = i8(128)\n__global w = u16(70000)\n\nfn main() {\n\tprintln(int(b))\n\tprintln(int(s))\n\tprintln(int(w))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_global_narrow_init')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['44', '-128', '4464'])
}

fn test_wasm_global_const_expr_initializers() {
	v3_bin := v3_binary()
	// A const-expression initializer (binary ops, const-identifier references,
	// shifts) is folded into the wasm global's constant init, not zeroed.
	src := 'const base = 10\n\n__global a = 1 + 2\n__global c = base * 4 + 1\n__global e = 1 << 4\n__global f = (7 - 2) * 3\n__global neg = -5 + 2\n__global big = i64(1) << 40\n\nfn main() {\n\tprintln(a)\n\tprintln(c)\n\tprintln(e)\n\tprintln(f)\n\tprintln(neg)\n\tprintln(big)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_global_const_expr')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['3', '41', '16', '15', '-3', '1099511627776'])
}

fn test_wasm_global_nested_cast_initializer() {
	v3_bin := v3_binary()
	// A nested cast initializer keeps each cast's width: the inner cast narrows
	// before the wider outer cast, so `int(u8(300))` is 44, not 300, and a folded
	// float initializer rounds through an int cast (1.5 + 2.0 -> 3).
	src := '__global b = int(u8(300))\n__global g = int(i8(128))\n__global h = u8(300) + u8(100)\n__global fl = 1.5 + 2.0\n\nfn main() {\n\tprintln(b)\n\tprintln(g)\n\tprintln(int(h))\n\tprintln(int(fl))\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_global_nested_cast')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['44', '-128', '144', '3'])
}

fn test_wasm_global_infix_narrows_before_outer_cast() {
	v3_bin := v3_binary()
	// A folded infix initializer must wrap to its own resolved type before a
	// wider outer cast observes it: `u8(250)+u8(10)` narrows to 4 (not 260)
	// before the surrounding `int`, matching normal codegen.
	src := '__global x = int(u8(250) + u8(10))\n__global y = int(u8(200) + u8(100))\n\nfn main() {\n\tprintln(x)\n\tprintln(y)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_global_infix_cast')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['4', '44'])
}

fn test_wasm_global_float_cast_of_large_literal() {
	v3_bin := v3_binary()
	// A float cast of a large non-negative integer literal must stay positive,
	// like gen_cast: f64(9223372036854775808) (2^63) must not flip sign through
	// parse_int_literal's wrapped i64, so `x > 0.0` holds.
	src := '__global x = f64(9223372036854775808)\n\nfn main() {\n\tprintln(x > 0.0)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_global_float_cast')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['true'])
}

fn test_wasm_global_unsigned_const_fold() {
	v3_bin := v3_binary()
	// Unsigned constant initializers must fold with unsigned div/rem/compare:
	// folded operands are i64 bit patterns (u64 max -> -1), so signed division
	// would mis-fold `u64(max) / u64(2)` to 0 instead of 9223372036854775807.
	src := '__global half = u64(18446744073709551615) / u64(2)\n__global rem = u64(18446744073709551615) % u64(10)\n__global cmp = u64(18446744073709551615) > u64(1)\n\nfn main() {\n\tprintln(half)\n\tprintln(rem)\n\tprintln(cmp)\n}\n'
	wasm := compile_to_wasm(v3_bin, src, 'wasm_global_unsigned_fold')
	assert_valid_wasm(wasm)
	run_wasi_expect(wasm, ['9223372036854775807', '5', 'true'])
}

const wasi_runner_js = "import { WASI } from 'node:wasi';
import { readFile } from 'node:fs/promises';
const wasi = new WASI({ version: 'preview1', args: [], env: {} });
const bytes = await readFile(process.argv[2]);
const mod = await WebAssembly.compile(bytes);
const inst = await WebAssembly.instantiate(mod, wasi.getImportObject());
wasi.start(inst);
"

const exports_runner_js = "import { readFileSync } from 'node:fs';
const { instance: i } = await WebAssembly.instantiate(readFileSync(process.argv[2]));
const e = i.exports;
process.stdout.write(`\${e.add(3, 4)} \${e.fib(10)} \${e.gcd(48, 36)}`);
"