module Register


  # a branch must branch to a block.
  class Branch < Instruction
    def initialize source , to
      super(source)
      raise "No block" unless to
      @block = to
    end
    attr_reader :block

    def to_s
      "Branch: #{block.name}"
    end

  end

end
