CbC/CbC_gcc: gcc/doc/generic.texi comparison

comparison gcc/doc/generic.texi @ 145:1830386684a0

gcc-9.2.0

author	anatofuz
date	Thu, 13 Feb 2020 11:34:05 +0900
parents	84e7813d76e9
children

comparison

equal deleted inserted replaced

-:84e7813d76e9
+:1830386684a0
-@c Copyright (C) 2004-2018 Free Software Foundation, Inc.
+@c Copyright (C) 2004-2020 Free Software Foundation, Inc.
 @c This is part of the GCC manual.
 @c For copying conditions, see the file gcc.texi.
 @c ---------------------------------------------------------------------
 @c GENERIC
 * Expressions: Expression trees.            Operating on data.
 * Statements::                  Control flow and related trees.
 * Functions::           	Function bodies, linkage, and other aspects.
 * Language-dependent trees::    Topics and trees specific to language front ends.
 * C and C++ Trees::     	Trees specific to C and C++.
-* Java Trees:: 	                Trees specific to Java.
 @end menu
 @c ---------------------------------------------------------------------
 @c Deficiencies
 @c ---------------------------------------------------------------------
 @node Unary and Binary Expressions
 @subsection Unary and Binary Expressions
 @tindex NEGATE_EXPR
 @tindex ABS_EXPR
+@tindex ABSU_EXPR
 @tindex BIT_NOT_EXPR
 @tindex TRUTH_NOT_EXPR
 @tindex PREDECREMENT_EXPR
 @tindex PREINCREMENT_EXPR
 @tindex POSTDECREMENT_EXPR
 or complex abs of a complex value, use the @code{BUILT_IN_CABS},
 @code{BUILT_IN_CABSF} or @code{BUILT_IN_CABSL} builtins, as used
 to implement the C99 @code{cabs}, @code{cabsf} and @code{cabsl}
 built-in functions.
+@item ABSU_EXPR
+These nodes represent the absolute value of the single operand in
+equivalent unsigned type such that @code{ABSU_EXPR} of @code{TYPE_MIN}
+is well defined.
 @item BIT_NOT_EXPR
 These nodes represent bitwise complement, and will always have integral
 type.  The only operand is the value to be complemented.
 @item TRUTH_NOT_EXPR
 @item LT_EXPR
 @itemx LE_EXPR
 @itemx GT_EXPR
 @itemx GE_EXPR
+@itemx LTGT_EXPR
 @itemx EQ_EXPR
 @itemx NE_EXPR
-These nodes represent the less than, less than or equal to, greater
+These nodes represent the less than, less than or equal to, greater than,
-than, greater than or equal to, equal, and not equal comparison
+greater than or equal to, less or greater than, equal, and not equal
-operators.  The first and second operands will either be both of integral
+comparison operators.  The first and second operands will either be both
-type, both of floating type or both of vector type.  The result type of
+of integral type, both of floating type or both of vector type, except for
-these expressions will always be of integral, boolean or signed integral
+LTGT_EXPR where they will only be both of floating type.  The result type
-vector type.  These operations return the result type's zero value for
+of these expressions will always be of integral, boolean or signed integral
-false, the result type's one value for true, and a vector whose elements
+vector type.  These operations return the result type's zero value for false,
-are zero (false) or minus one (true) for vectors.
+the result type's one value for true, and a vector whose elements are zero
+(false) or minus one (true) for vectors.
 For floating point comparisons, if we honor IEEE NaNs and either operand
 is NaN, then @code{NE_EXPR} always returns true and the remaining operators
 always return false.  On some targets, comparisons against an IEEE NaN,
-other than equality and inequality, may generate a floating point exception.
+other than equality and inequality, may generate a floating-point exception.
 @item ORDERED_EXPR
 @itemx UNORDERED_EXPR
 These nodes represent non-trapping ordered and unordered comparison
 operators.  These operations take two floating point operands and
 @item UNLT_EXPR
 @itemx UNLE_EXPR
 @itemx UNGT_EXPR
 @itemx UNGE_EXPR
 @itemx UNEQ_EXPR
-@itemx LTGT_EXPR
 These nodes represent the unordered comparison operators.
 These operations take two floating point operands and determine whether
 the operands are unordered or are less than, less than or equal to,
 greater than, greater than or equal to, or equal respectively.  For
 example, @code{UNLT_EXPR} returns true if either operand is an IEEE
-NaN or the first operand is less than the second.  With the possible
+NaN or the first operand is less than the second.  All these operations
-exception of @code{LTGT_EXPR}, all of these operations are guaranteed
+are guaranteed not to generate a floating point exception.  The result
-not to generate a floating point exception.  The result
 type of these expressions will always be of integral or boolean type.
 These operations return the result type's zero value for false,
 and the result type's one value for true.
 @item MODIFY_EXPR
 After the second sequence is executed, if it completes normally by
 falling off the end, execution continues wherever the first sequence
 would have continued, by falling off the end, or doing a goto, etc.
+If the second sequence is an @code{EH_ELSE_EXPR} selector, then the
+sequence in its first operand is used when the first sequence completes
+normally, and that in its second operand is used for exceptional
+cleanups, i.e., when an exception propagates out of the first sequence.
 @code{TRY_FINALLY_EXPR} complicates the flow graph, since the cleanup
 needs to appear on every edge out of the controlled block; this
 reduces the freedom to move code across these edges.  Therefore, the
 EH lowering pass which runs before most of the optimization passes
 eliminates these expressions by explicitly adding the cleanup to each
 @tindex OACC_EXIT_DATA
 @tindex OACC_HOST_DATA
 @tindex OACC_KERNELS
 @tindex OACC_LOOP
 @tindex OACC_PARALLEL
+@tindex OACC_SERIAL
 @tindex OACC_UPDATE
 All the statements starting with @code{OACC_} represent directives and
 clauses used by the OpenACC API @w{@uref{https://www.openacc.org}}.
 See the description of the @code{OMP_FOR} code.
 @item OACC_PARALLEL
 Represents @code{#pragma acc parallel [clause1 @dots{} clauseN]}.
+@item OACC_SERIAL
+Represents @code{#pragma acc serial [clause1 @dots{} clauseN]}.
 @item OACC_UPDATE
 Represents @code{#pragma acc update [clause1 @dots{} clauseN]}.
 In either case, the expression is void.
 @end table
-@node Java Trees
-@section Java Trees

Mercurial > hg > CbC > CbC_gcc

comparison gcc/doc/generic.texi @ 145:1830386684a0