/// <summary>
 /// Initializes a new instance of the <see cref="Inc"/> class.
 /// </summary>
 /// <param name="subject">The subject register operand.</param>
 public Inc(RegisterOperand subject)
     : this((Operand)subject)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(subject != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="JmpNear"/> class.
 /// </summary>
 /// <param name="target">The register containing the new near jump target address.</param>
 public JmpNear(RegisterOperand target)
     : this((Operand)target)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(target != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Mul"/> class.
 /// </summary>
 /// <param name="multiplier">The multiplier.</param>
 public Mul(RegisterOperand multiplier)
     : this((Operand)multiplier)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(multiplier != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Pop"/> class.
 /// </summary>
 /// <param name="destination">The destination memory operand.</param>
 public Pop(RegisterOperand destination)
     : this((Operand)destination)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(destination != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="In"/> class.
 /// </summary>
 /// <param name="port">The port.</param>
 public In(RegisterOperand port)
     : this((Operand)port)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(port != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Not"/> class.
 /// </summary>
 /// <param name="value">The value.</param>
 public Not(RegisterOperand value)
     : this((Operand)value)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(value != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Bsf"/> class.
 /// </summary>
 /// <param name="destination">The register in which the bit's index will be stored.</param>
 /// <param name="subject">The register operand which is checked.</param>
 public Bsf(RegisterOperand destination, RegisterOperand subject)
     : this(destination, (Operand)subject)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(destination != null);
     Contract.Requires<ArgumentNullException>(subject != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Popcnt"/> class.
 /// </summary>
 /// <param name="destination">The register in which the bit's index will be stored.</param>
 /// <param name="subject">The memory operand which is checked.</param>
 public Popcnt(RegisterOperand destination, EffectiveAddress subject)
     : this(destination, (Operand)subject)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(destination != null);
     Contract.Requires<ArgumentNullException>(subject != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Xadd"/> class.
 /// </summary>
 /// <param name="destination">The destination register operand.</param>
 /// <param name="source">The source immediate register operand.</param>
 public Xadd(RegisterOperand destination, RegisterOperand source)
     : this((Operand)destination, source)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(destination != null);
     Contract.Requires<ArgumentNullException>(source != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Cmpxchg"/> class.
 /// </summary>
 /// <param name="compared">The memory operand being compared.</param>
 /// <param name="source">The source operand.</param>
 public Cmpxchg(EffectiveAddress compared, RegisterOperand source)
     : this((Operand)compared, source)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(compared != null);
     Contract.Requires<ArgumentNullException>(source != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Movsxd"/> class.
 /// </summary>
 /// <param name="destination">The destination register.</param>
 /// <param name="source">The source memory operand.</param>
 public Movsxd(RegisterOperand destination, EffectiveAddress source)
     : this(destination, (Operand)source)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(destination != null);
     Contract.Requires<ArgumentNullException>(source != null);
     #endregion
 }

        /// <summary>
        /// Initializes a new instance of the <see cref="Bswap"/> class.
        /// </summary>
        /// <param name="subject">The register whose bytes will be swapped.</param>
        public Bswap(RegisterOperand subject)
        {
            #region Contract
            Contract.Requires<ArgumentNullException>(subject != null);
            #endregion

            this.subject = subject;
        }

 /// <summary>
 /// Initializes a new instance of the <see cref="Btc"/> class.
 /// </summary>
 /// <param name="subject">The memory operand whose bit is copied and toggled.</param>
 /// <param name="bitIndex">The index of the bit to copy.</param>
 public Btc(EffectiveAddress subject, RegisterOperand bitIndex)
     : this((Operand)subject, (Operand)bitIndex)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(subject != null);
     Contract.Requires<ArgumentNullException>(bitIndex != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="ArithmeticInstruction"/> class.
 /// </summary>
 /// <param name="destination">The destination register operand.</param>
 /// <param name="source">The source immediate operand.</param>
 protected ArithmeticInstruction(RegisterOperand destination, Immediate source)
     : this((IRegisterOrMemoryOperand)destination, (ISourceOperand)source)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(destination != null);
     Contract.Requires<ArgumentException>(destination.Register.IsGeneralPurposeRegister());
     Contract.Requires<ArgumentNullException>(source != null);
     #endregion
 }

 /// <summary>
 /// Initializes a new instance of the <see cref="Shrd"/> class.
 /// </summary>
 /// <param name="value">The value to shift.</param>
 /// <param name="source">The bits to shift in.</param>
 /// <param name="positions">The number of positions to adjust.</param>
 public Shrd(RegisterOperand value, RegisterOperand source, Immediate positions)
     : this((Operand)positions, source, (Operand)positions)
 {
     #region Contract
     Contract.Requires<ArgumentNullException>(value != null);
     Contract.Requires<ArgumentNullException>(source != null);
     Contract.Requires<ArgumentNullException>(positions != null);
     #endregion
 }

        /// <summary>
        /// Initializes a new instance of the <see cref="Bound"/> class.
        /// </summary>
        /// <param name="index">The array index to check.</param>
        /// <param name="bounds">Memory address of two (double)words specifying the lower and upper limits of the
        /// array.</param>
        public Bound(RegisterOperand index, EffectiveAddress bounds)
        {
            #region Contract
            Contract.Requires<ArgumentNullException>(index != null);
            Contract.Requires<ArgumentNullException>(bounds != null);
            #endregion

            this.index = index;
            this.bounds = bounds;
        }

        /// <summary>
        /// Initializes a new instance of the <see cref="Movmskpd"/> class.
        /// </summary>
        /// <param name="destination">The destination register.</param>
        /// <param name="source">The source register.</param>
        public Movmskpd(RegisterOperand destination, RegisterOperand source)
        {
            #region Contract
            Contract.Requires<ArgumentNullException>(destination != null);
            Contract.Requires<ArgumentNullException>(source != null);
            #endregion

            this.destination = destination;
            this.source = source;
        }

        /// <summary>
        /// Initializes a new instance of the <see cref="Lds"/> class.
        /// </summary>
        /// <param name="destination">The destination operand.</param>
        /// <param name="source">The source operand.</param>
        public Lds(RegisterOperand destination, EffectiveAddress source)
        {
            #region Contract
            Contract.Requires<ArgumentNullException>(destination != null);
            Contract.Requires<ArgumentNullException>(source != null);
            #endregion

            this.destination = destination;
            this.source = source;
        }

        /// <summary>
        /// Initializes a new instance of the <see cref="Lea"/> class.
        /// </summary>
        /// <param name="destination">The destination register operand.</param>
        /// <param name="address">The address.</param>
        public Lea(RegisterOperand destination, EffectiveAddress address)
        {
            #region Contract
            Contract.Requires<ArgumentNullException>(destination != null);
            Contract.Requires<ArgumentNullException>(address != null);
            #endregion

            this.destination = destination;
            this.address = address;
        }

        /// <summary>
        /// Initializes a new instance of the <see cref="Xadd"/> class.
        /// </summary>
        /// <param name="destination">The destination operand.</param>
        /// <param name="source">The source operand.</param>
        private Xadd(Operand destination, RegisterOperand source)
        {
            #region Contract
            Contract.Requires<ArgumentNullException>(destination != null);
            Contract.Requires<InvalidCastException>(
                    destination is EffectiveAddress ||
                    destination is RegisterOperand);
            Contract.Requires<ArgumentNullException>(source != null);
            #endregion

            this.destination = destination;
            this.source = source;
        }