From bcd555d103a59092fd841ef372d42f00b4ef7088 Mon Sep 17 00:00:00 2001
From: Svyatoslav Nikolsky <svyatonik@gmail.com>
Date: Tue, 2 May 2017 19:29:37 +0300
Subject: [PATCH] nested_if

---
 src/interpreter/tests/wabt.rs | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/src/interpreter/tests/wabt.rs b/src/interpreter/tests/wabt.rs
index 1b53b50..408d55f 100644
--- a/src/interpreter/tests/wabt.rs
+++ b/src/interpreter/tests/wabt.rs
@@ -172,6 +172,33 @@ fn expr_if() {
 	assert_eq!(run_function_i32(&body, 1).unwrap(), 2);
 }
 
+/// https://github.com/WebAssembly/wabt/blob/8e1f6031e9889ba770c7be4a9b084da5f14456a0/test/interp/nested-if.txt
+#[test]
+fn nested_if() {
+	let body = Opcodes::new(vec![
+		Opcode::Block(BlockType::NoResult,
+			Opcodes::new(vec![
+				Opcode::I32Const(1),
+				Opcode::If(BlockType::NoResult,
+					Opcodes::new(vec![
+						Opcode::I32Const(2),
+						Opcode::Drop,
+						Opcode::I32Const(3),
+						Opcode::If(BlockType::NoResult,
+							Opcodes::new(vec![
+								Opcode::Br(2),
+								Opcode::End,
+							])),
+						Opcode::End,
+					])),
+				Opcode::End,
+			])),
+		Opcode::I32Const(4),
+		Opcode::End]);
+
+	assert_eq!(run_function_i32(&body, 0).unwrap(), 4);
+}
+
 /// https://github.com/WebAssembly/wabt/blob/8e1f6031e9889ba770c7be4a9b084da5f14456a0/test/interp/br.txt#L4
 #[test]
 fn br_0() {