// The implementation of integer registers for the ia32 architecture

inline Register as_Register(int encoding) {

  {- -------------------------------------------
  (1) encoding 引数の値をそのままリターンするだけ.
      ---------------------------------------- -}

      return (Register)(intptr_t) encoding;
    }