contrib/gcc/tree-vect-patterns.c

62    is a result of a type-promotion, such that:
64    where the type of name0 (HALF_TYPE) is smaller than the type of NAME.
74   tree type = TREE_TYPE (name);
102   if (!INTEGRAL_TYPE_P (type) || !INTEGRAL_TYPE_P (*half_type)
103       || (TYPE_UNSIGNED (type) != TYPE_UNSIGNED (*half_type))
104       || (TYPE_PRECISION (type) < (TYPE_PRECISION (*half_type) * 2)))
122      type x_t, y_t;
135    where 'TYPE1' is exactly double the size of type 'type', and 'TYPE2' is the
147    * TYPE_IN: The type of the input arguments to the pattern.
149    * TYPE_OUT: The type of the output  of this pattern.
163   tree type, half_type;
171   type = TREE_TYPE (expr);
182      - DX, DY, DPROD all have the same type
206       type = TREE_TYPE (expr);
221       if (TYPE_MAIN_VARIANT (TREE_TYPE (oprnd0)) != TYPE_MAIN_VARIANT (type)
222           || TYPE_MAIN_VARIANT (TREE_TYPE (oprnd1)) != TYPE_MAIN_VARIANT (type))
233         half_type = type;
292   *type_out = type;
295   pattern_expr = build3 (DOT_PROD_EXPR, type, oprnd00, oprnd01, oprnd1);
309      type a_t, b_t;
318    where type 'TYPE' is at least double the size of type 'type'.
327    * TYPE_IN: The type of the input arguments to the pattern.
329    * TYPE_OUT: The type of the output  of this pattern.
350      type x_t;
358    where type 'TYPE' is at least double the size of type 'type', i.e - we're
359    summing elements of type 'type' into an accumulator of type 'TYPE'. This is
369    * TYPE_IN: The type of the input arguments to the pattern.
371    * TYPE_OUT: The type of the output of this pattern.
384   tree type, half_type;
391   type = TREE_TYPE (expr);
411   if (TYPE_MAIN_VARIANT (TREE_TYPE (oprnd0)) != TYPE_MAIN_VARIANT (type)
412       || TYPE_MAIN_VARIANT (TREE_TYPE (oprnd1)) != TYPE_MAIN_VARIANT (type))
418      Left to check that oprnd0 is defined by a cast from type 'type' to type
426   *type_out = type;
429   pattern_expr = build2 (WIDEN_SUM_EXPR, type, oprnd0, oprnd1);
453    relevant vector type. If 'TYPE_IN' is already a vector type, then this