From ac5eda130d2cb1948a618873440e67216806e5d9 Mon Sep 17 00:00:00 2001 From: Paolo Bonzini Date: Tue, 25 May 2010 09:22:41 +0000 Subject: tm.texi (STORE_FLAG_VALUE): Do not refer to sCC patterns. 2010-05-25 Paolo Bonzini * doc/tm.texi (STORE_FLAG_VALUE): Do not refer to sCC patterns. * doc/md.texi (cstoreXX4): Update for cond-optab changes. From-SVN: r159814 --- gcc/doc/md.texi | 36 ++++++++++++++++++++++-------------- gcc/doc/tm.texi | 8 ++++---- 2 files changed, 26 insertions(+), 18 deletions(-) (limited to 'gcc/doc') diff --git a/gcc/doc/md.texi b/gcc/doc/md.texi index bcdbabc..ead8b26 100644 --- a/gcc/doc/md.texi +++ b/gcc/doc/md.texi @@ -4705,20 +4705,28 @@ else must be negative. Otherwise the instruction is not suitable and you should omit it from the machine description. You describe to the compiler exactly which value is stored by defining the macro @code{STORE_FLAG_VALUE} (@pxref{Misc}). If a description cannot be -found that can be used for all the @samp{s@var{cond}} patterns, you -should omit those operations from the machine description. - -These operations may fail, but should do so only in relatively -uncommon cases; if they would fail for common cases involving -integer comparisons, it is best to omit these patterns. - -If these operations are omitted, the compiler will usually generate code -that copies the constant one to the target and branches around an -assignment of zero to the target. If this code is more efficient than -the potential instructions used for the @samp{cstore@var{mode}4} pattern -followed by those required to convert the result into a 1 or a zero in -@code{SImode}, you should omit the @samp{cstore@var{mode}4} operations from -the machine description. +found that can be used for all the possible comparison operators, you +should pick one and use a @code{define_expand} to map all results +onto the one you chose. + +These operations may @code{FAIL}, but should do so only in relatively +uncommon cases; if they would @code{FAIL} for common cases involving +integer comparisons, it is best to restrict the predicates to not +allow these operands. Likewise if a given comparison operator will +always fail, independent of the operands (for floating-point modes, the +@code{ordered_comparison_operator} predicate is often useful in this case). + +If this pattern is omitted, the compiler will generate a conditional +branch---for example, it may copy a constant one to the target and branching +around an assignment of zero to the target---or a libcall. If the predicate +for operand 1 only rejects some operators, it will also try reordering the +operands and/or inverting the result value (e.g.@: by an exclusive OR). +These possibilities could be cheaper or equivalent to the instructions +used for the @samp{cstore@var{mode}4} pattern followed by those required +to convert a positive result from @code{STORE_FLAG_VALUE} to 1; in this +case, you can and should make operand 1's predicate reject some operators +in the @samp{cstore@var{mode}4} pattern, or remove the pattern altogether +from the machine description. @cindex @code{cbranch@var{mode}4} instruction pattern @item @samp{cbranch@var{mode}4} diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi index 80e28a3..b0175ea 100644 --- a/gcc/doc/tm.texi +++ b/gcc/doc/tm.texi @@ -10264,8 +10264,8 @@ In order to enforce the representation of @code{mode}, @defmac STORE_FLAG_VALUE A C expression describing the value returned by a comparison operator with an integral mode and stored by a store-flag instruction -(@samp{s@var{cond}}) when the condition is true. This description must -apply to @emph{all} the @samp{s@var{cond}} patterns and all the +(@samp{cstore@var{mode}4}) when the condition is true. This description must +apply to @emph{all} the @samp{cstore@var{mode}4} patterns and all the comparison operators whose results have a @code{MODE_INT} mode. A value of 1 or @minus{}1 means that the instruction implementing the @@ -10274,7 +10274,7 @@ and 0 when the comparison is false. Otherwise, the value indicates which bits of the result are guaranteed to be 1 when the comparison is true. This value is interpreted in the mode of the comparison operation, which is given by the mode of the first operand in the -@samp{s@var{cond}} pattern. Either the low bit or the sign bit of +@samp{cstore@var{mode}4} pattern. Either the low bit or the sign bit of @code{STORE_FLAG_VALUE} be on. Presently, only those bits are used by the compiler. @@ -10347,7 +10347,7 @@ those cases, e.g., one matching Some machines can also perform @code{and} or @code{plus} operations on condition code values with less instructions than the corresponding -@samp{s@var{cond}} insn followed by @code{and} or @code{plus}. On those +@samp{cstore@var{mode}4} insn followed by @code{and} or @code{plus}. On those machines, define the appropriate patterns. Use the names @code{incscc} and @code{decscc}, respectively, for the patterns which perform @code{plus} or @code{minus} operations on condition code values. See -- cgit v1.1