*/
	public void visit_switch(final Instruction inst) {
		// It isn't necessary to saveStack since removing critical edges
		// guarantees that no code will be inserted before the branch
		// since there cannot be more than one predecessor of either of
		// the successor nodes (and hence no phi statements, even in SSAPRE).
		// saveStack();

		final Expr index = stack.pop(Type.INTEGER);

		final Switch sw = (Switch) inst.operand();

		final Block defaultTarget = (Block) block.graph().getNode(
				sw.defaultTarget());
		Assert.isTrue(defaultTarget != null, "No block for " + inst);

		final Block[] targets = new Block[sw.targets().length];

		for (int i = 0; i < targets.length; i++) {
			targets[i] = (Block) block.graph().getNode(sw.targets()[i]);
			Assert.isTrue(targets[i] != null, "No block for " + inst);
		}

		addStmt(new SwitchStmt(index, defaultTarget, targets, sw.values()));
	}