void OptimizeCode(int startNode)
{
	const int MATCH_TRACE = -1;
	const int IMPASSE_TRACE = -2;

	var tracemap = new int[_codeSize];
	int branch = 1;
	Stack<int> stack = null;

	int node = startNode;
	while (node < _codeSize)
	{
		int resolution = tracemap[node];
		if (resolution != 0)
		{
			if (resolution == branch)
				resolution = IMPASSE_TRACE;
			else if (IMPASSE_TRACE != resolution)
				branch = resolution;
		}
		else
		{
			tracemap[node] = branch;
			var inst = _code[node];
			switch (inst.OpCode)
			{
				case OPCODE_EXIT:
					resolution = branch = MATCH_TRACE;
					break;

				case OPCODE_HALT:
					resolution = IMPASSE_TRACE;
					break;
					
				case OPCODE_JUMP:
					node = target;
					continue;

				case OPCODE_SPLIT:
					if (stack == null)
						stack = new Stack<int>();
					stack.Push(inst.Target);
					branch = 1 + stack.Count;
					node += 1;
					continue;

				default:
					node += 1;
					continue;
			}
		}
		for (int i = tracemap.Length; --i >= 0;)
			if (tracemap[i] != 0 && branch <= tracemap[i])
				tracemap[i] = resolution;
		if (stack == null || stack.Count == 0)
			break;
		branch = stack.Count;
		node = stack.Pop();
	}
	// Here more ....
	
}