 
   /// Build a pointer-to-integer instruction to convert the given pointer value
   /// to the given integer type.
+  ///
+  /// The `ptrtoint` instruction converts the given pointer value to the given
+  /// integer type by interpreting the pointer value as an integer and either
+  /// truncating or zero extending that value to the size of the integer type.
+  /// If the pointer value is smaller than the integer type then a zero
+  /// extension is done. If the pointer value is larger than the integer type
+  /// then a truncation is done. If they are the same size, then nothing is done
+  /// (no-op cast) other than a type change.
   ///
   /// - parameter val: The pointer value.
   /// - parameter type: The destination integer type.

  /// mechanism, control is interrupted and continued at the dynamically nearest
  /// `exception` label.
  ///
  ///
  /// - parameter fn: The function to invoke.
  /// - parameter args: A list of arguments.

  /// Build an integer-to-pointer instruction to convert the given value to the
  /// given pointer type.
  ///
  /// The `inttoptr` instruction converts the given value to the given pointer
  /// type by applying either a zero extension or a truncation depending on the
  /// size of the integer value. If value is larger than the size of a pointer
  /// then a truncation is done. If value is smaller than the size of a pointer
  /// then a zero extension is done. If they are the same size, nothing is done
  /// (no-op cast).
  ///
  /// - parameter val: The integer value.
  /// - parameter type: The destination pointer type.
  /// - parameter name: The name for the newly inserted instruction.
