gcc-8.3/gcc/RTL_CHECK1() の履歴(No.3)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• gcc-8.3/gcc/RTL_CHECK1() へ行く。
  • 1 (2019-05-17 (金) 14:05:22)
  • 2 (2019-05-17 (金) 14:23:24)
  • 3 (2019-05-28 (火) 21:15:03)
  • 4 (2019-05-29 (水) 11:08:09)

参照元†

• gcc-8.3/gcc/RTL_CHECKC1()
• gcc-8.3/gcc/XBBDEF()

説明†

• パス: gcc-8.3/gcc/rtl.h

• FIXME: これは何？
  • 引数 N が範囲内に収まっているかチェックする
  • RTX の code が引数 C と一致するかチェックする

引数†

• RTX
• N
  • 何番目のフィールドを返すか
• C
  • RTX のコードの種類

返り値†

• rtunion
  • rtx_def の u.fld[] の型と同じ
  • gcc-8.3/gcc/rtx_def
  • gcc-8.3/gcc/rtunion

参考†

• N の範囲チェックをしない場合はこっち
  • gcc-8.3/gcc/RTL_CHECKC1()

実装†

#if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007)
/* The bit with a star outside the statement expr and an & inside is
   so that N can be evaluated only once.  */
#define RTL_CHECK1(RTX, N, C1) __extension__				\
(*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N);		\
     const enum rtx_code _code = GET_CODE (_rtx);			\
     if (_n < 0 || _n >= GET_RTX_LENGTH (_code))			\
       rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__,		\
				__FUNCTION__);				\
     if (GET_RTX_FORMAT (_code)[_n] != C1)				\
       rtl_check_failed_type1 (_rtx, _n, C1, __FILE__, __LINE__,	\
			       __FUNCTION__);				\
     &_rtx->u.fld[_n]; }))

• • gcc-8.3/gcc/rtx_code
  • gcc-8.3/gcc/GET_CODE()
  • gcc-8.3/gcc/GET_RTX_LENGTH()
  • gcc-8.3/gcc/rtl_check_failed_bounds()
  • gcc-8.3/gcc/GET_RTX_FORMAT()
  • gcc-8.3/gcc/rtl_check_failed_type1()

#else   /* not ENABLE_RTL_CHECKING */

#define RTL_CHECK1(RTX, N, C1)      ((RTX)->u.fld[N])

#endif

コメント†