tm.texi.in (SELECT_CC_MODE): Update example.

* doc/tm.texi.in (SELECT_CC_MODE): Update example.
	(REVERSIBLE_CC_MODE): Fix example.
	(REVERSE_CONDITION): Fix typo.
	* doc/tm.texi: Regenerate.

From-SVN: r217476
This commit is contained in:
Eric Botcazou 2014-11-13 11:44:26 +00:00
parent 187518942c
commit 95cc11e163
3 changed files with 26 additions and 15 deletions

View File

@ -1,3 +1,10 @@
2014-11-13 Eric Botcazou <ebotcazou@adacore.com>
* doc/tm.texi.in (SELECT_CC_MODE): Update example.
(REVERSIBLE_CC_MODE): Fix example.
(REVERSE_CONDITION): Fix typo.
* doc/tm.texi: Regenerate.
2014-11-13 Tom de Vries <tom@codesourcery.com> 2014-11-13 Tom de Vries <tom@codesourcery.com>
* omp-low.c (pass_data_expand_omp): Set properties_provided to * omp-low.c (pass_data_expand_omp): Set properties_provided to
@ -26,7 +33,7 @@
2014-11-14 Kirill Yukhin <kirill.yukhin@intel.com> 2014-11-14 Kirill Yukhin <kirill.yukhin@intel.com>
* gcc/lra-lives.c (struct bb_data): Rename to ... * lra-lives.c (struct bb_data): Rename to ...
(struct bb_data_pseudos): ... this. (struct bb_data_pseudos): ... this.
(initiate_live_solver): Update struct name. (initiate_live_solver): Update struct name.

View File

@ -5942,9 +5942,10 @@ for comparisons whose argument is a @code{plus}:
@smallexample @smallexample
#define SELECT_CC_MODE(OP,X,Y) \ #define SELECT_CC_MODE(OP,X,Y) \
(GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT \ (GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT \
? ((OP == EQ || OP == NE) ? CCFPmode : CCFPEmode) \ ? ((OP == LT || OP == LE || OP == GT || OP == GE) \
? CCFPEmode : CCFPmode) \
: ((GET_CODE (X) == PLUS || GET_CODE (X) == MINUS \ : ((GET_CODE (X) == PLUS || GET_CODE (X) == MINUS \
|| GET_CODE (X) == NEG) \ || GET_CODE (X) == NEG || GET_CODE (x) == ASHIFT) \
? CC_NOOVmode : CCmode)) ? CC_NOOVmode : CCmode))
@end smallexample @end smallexample
@ -5987,10 +5988,11 @@ then @code{REVERSIBLE_CC_MODE (@var{mode})} must be zero.
You need not define this macro if it would always returns zero or if the You need not define this macro if it would always returns zero or if the
floating-point format is anything other than @code{IEEE_FLOAT_FORMAT}. floating-point format is anything other than @code{IEEE_FLOAT_FORMAT}.
For example, here is the definition used on the SPARC, where floating-point For example, here is the definition used on the SPARC, where floating-point
inequality comparisons are always given @code{CCFPEmode}: inequality comparisons are given either @code{CCFPEmode} or @code{CCFPmode}:
@smallexample @smallexample
#define REVERSIBLE_CC_MODE(MODE) ((MODE) != CCFPEmode) #define REVERSIBLE_CC_MODE(MODE) \
((MODE) != CCFPEmode && (MODE) != CCFPmode)
@end smallexample @end smallexample
@end defmac @end defmac
@ -6000,7 +6002,7 @@ comparison done in CC_MODE @var{mode}. The macro is used only in case
@code{REVERSIBLE_CC_MODE (@var{mode})} is nonzero. Define this macro in case @code{REVERSIBLE_CC_MODE (@var{mode})} is nonzero. Define this macro in case
machine has some non-standard way how to reverse certain conditionals. For machine has some non-standard way how to reverse certain conditionals. For
instance in case all floating point conditions are non-trapping, compiler may instance in case all floating point conditions are non-trapping, compiler may
freely convert unordered compares to ordered one. Then definition may look freely convert unordered compares to ordered ones. Then definition may look
like: like:
@smallexample @smallexample

View File

@ -4442,9 +4442,10 @@ for comparisons whose argument is a @code{plus}:
@smallexample @smallexample
#define SELECT_CC_MODE(OP,X,Y) \ #define SELECT_CC_MODE(OP,X,Y) \
(GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT \ (GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT \
? ((OP == EQ || OP == NE) ? CCFPmode : CCFPEmode) \ ? ((OP == LT || OP == LE || OP == GT || OP == GE) \
? CCFPEmode : CCFPmode) \
: ((GET_CODE (X) == PLUS || GET_CODE (X) == MINUS \ : ((GET_CODE (X) == PLUS || GET_CODE (X) == MINUS \
|| GET_CODE (X) == NEG) \ || GET_CODE (X) == NEG || GET_CODE (x) == ASHIFT) \
? CC_NOOVmode : CCmode)) ? CC_NOOVmode : CCmode))
@end smallexample @end smallexample
@ -4467,10 +4468,11 @@ then @code{REVERSIBLE_CC_MODE (@var{mode})} must be zero.
You need not define this macro if it would always returns zero or if the You need not define this macro if it would always returns zero or if the
floating-point format is anything other than @code{IEEE_FLOAT_FORMAT}. floating-point format is anything other than @code{IEEE_FLOAT_FORMAT}.
For example, here is the definition used on the SPARC, where floating-point For example, here is the definition used on the SPARC, where floating-point
inequality comparisons are always given @code{CCFPEmode}: inequality comparisons are given either @code{CCFPEmode} or @code{CCFPmode}:
@smallexample @smallexample
#define REVERSIBLE_CC_MODE(MODE) ((MODE) != CCFPEmode) #define REVERSIBLE_CC_MODE(MODE) \
((MODE) != CCFPEmode && (MODE) != CCFPmode)
@end smallexample @end smallexample
@end defmac @end defmac
@ -4480,7 +4482,7 @@ comparison done in CC_MODE @var{mode}. The macro is used only in case
@code{REVERSIBLE_CC_MODE (@var{mode})} is nonzero. Define this macro in case @code{REVERSIBLE_CC_MODE (@var{mode})} is nonzero. Define this macro in case
machine has some non-standard way how to reverse certain conditionals. For machine has some non-standard way how to reverse certain conditionals. For
instance in case all floating point conditions are non-trapping, compiler may instance in case all floating point conditions are non-trapping, compiler may
freely convert unordered compares to ordered one. Then definition may look freely convert unordered compares to ordered ones. Then definition may look
like: like:
@smallexample @smallexample