GCC Middle and Back End API Reference
complex_mul_pattern Class Reference
Inheritance diagram for complex_mul_pattern:
Inheritance graph
[legend]
Collaboration diagram for complex_mul_pattern:
Collaboration graph
[legend]

Public Member Functions

void build (vec_info *) final override

Static Public Member Functions

static internal_fn matches (complex_operation_t op, slp_tree_to_load_perm_map_t *, slp_compat_nodes_map_t *, slp_tree *, vec< slp_tree > *)
static vect_pattern * recognize (slp_tree_to_load_perm_map_t *, slp_compat_nodes_map_t *, slp_tree *)
static vect_pattern * mkInstance (slp_tree *node, vec< slp_tree > *m_ops, internal_fn ifn)
static internal_fn matches (complex_operation_t op, slp_tree_to_load_perm_map_t *, slp_tree *, vec< slp_tree > *)

Protected Member Functions

 complex_mul_pattern (slp_tree *node, vec< slp_tree > *m_ops, internal_fn ifn)
void build_common (vec_info *)

Protected Attributes

auto_vec< slp_tree > m_workset
stmt_vec_info m_rep
unsigned m_num_args
internal_fn m_ifn
slp_tree * m_node
vec< slp_tree > m_ops

Constructor & Destructor Documentation

◆ complex_mul_pattern()

complex_mul_pattern::complex_mul_pattern ( slp_tree * node,
vec< slp_tree > * m_ops,
internal_fn ifn )
inlineprotected

References complex_pattern::complex_pattern(), vect_pattern::m_num_args, and vect_pattern::m_ops.

Referenced by mkInstance(), and recognize().

Member Function Documentation

◆ build()

void complex_mul_pattern::build ( vec_info * vinfo)
finaloverridevirtual 
Perform a replacement of the detected complex mul pattern with the new
instruction sequences.

Implements vect_pattern.

References complex_pattern::build_common(), FOR_EACH_VEC_ELT, gcc_unreachable, i, vect_pattern::m_ifn, vect_pattern::m_node, vect_pattern::m_num_args, vect_pattern::m_ops, SLP_TREE_CHILDREN, SLP_TREE_REF_COUNT, vect_build_combine_node(), and vect_free_slp_tree().

◆ build_common()

void complex_pattern::build_common ( vec_info * vinfo)
protectedinherited 
Create a replacement pattern statement for each node in m_node and inserts
  the new statement into m_node as the new representative statement.  The old
  statement is marked as being in a pattern defined by the new statement.  The
  statement is created as call to internal function IFN with m_num_args
  arguments.

  Furthermore the new pattern is also added to the vectorization information
  structure VINFO and the old statement STMT_INFO is marked as unused while
  the new statement is marked as used and the number of SLP uses of the new
  statement is incremented.

  The newly created SLP nodes are marked as SLP only and will be dissolved
  if SLP is aborted.

  The newly created gimple call is returned and the BB remains unchanged.

  This default method is designed to only match against simple operands where
  all the input and output types are the same.

References vec_info::add_pattern_stmt(), FOR_EACH_VEC_ELT, gimple_bb(), gimple_build_call_internal_vec(), gimple_call_set_lhs(), gimple_call_set_nothrow(), gimple_get_lhs(), gimple_location(), gimple_set_bb(), gimple_set_location(), i, vect_pattern::m_ifn, vect_pattern::m_num_args, m_rep, m_workset, make_temp_ssa_name(), NULL, pure_slp, SLP_TREE_CODE, SLP_TREE_LANE_PERMUTATION, SLP_TREE_REPRESENTATIVE, SLP_TREE_VECTYPE, STMT_SLP_TYPE, STMT_VINFO_RELEVANT, STMT_VINFO_STMT, STMT_VINFO_VECTYPE, TREE_TYPE, vect_orig_stmt(), and vect_used_in_scope.

Referenced by complex_add_pattern::build(), complex_fms_pattern::build(), and complex_mul_pattern::build().

◆ matches() [1/2]

internal_fn complex_mul_pattern::matches ( complex_operation_t op,
slp_tree_to_load_perm_map_t * perm_cache,
slp_compat_nodes_map_t * compat_cache,
slp_tree * node,
vec< slp_tree > * ops )
static 
Pattern matcher for trying to match complex multiply and complex multiply
and accumulate pattern in SLP tree.  If the operation matches then IFN
is set to the operation it matched and the arguments to the two
replacement statements are put in m_ops.

If no match is found then IFN is set to IFN_LAST and m_ops is unchanged.

This function matches the patterns shaped as:

double ax = (b[i+1] * a[i]);
double bx = (a[i+1] * b[i]);

c[i] = c[i] - ax;
c[i+1] = c[i+1] + bx;

If a match occurred then TRUE is returned, else FALSE.  The initial match is
expected to be in OP1 and the initial match operands in args0.

References CONJ_NONE, CONJ_SND, FLOAT_TYPE_P, FP_CONTRACT_FAST, linear_loads_p(), MINUS_PLUS, NULL, PERM_EVENEVEN, PERM_EVENODD, PERM_ODDEVEN, PERM_TOP, SLP_TREE_CHILDREN, SLP_TREE_VECTYPE, vect_match_expression_p(), vect_pattern_validate_optab(), and vect_validate_multiplication_commutative().

Referenced by recognize(), and complex_operations_pattern::recognize().

◆ matches() [2/2]

internal_fn complex_pattern::matches ( complex_operation_t op,
slp_tree_to_load_perm_map_t * ,
slp_tree * ,
vec< slp_tree > *  )
staticinherited

◆ mkInstance()

vect_pattern * complex_mul_pattern::mkInstance ( slp_tree * node,
vec< slp_tree > * m_ops,
internal_fn ifn )
inlinestatic

References complex_mul_pattern(), and vect_pattern::m_ops.

Referenced by complex_operations_pattern::recognize().

◆ recognize()

vect_pattern * complex_mul_pattern::recognize ( slp_tree_to_load_perm_map_t * perm_cache,
slp_compat_nodes_map_t * compat_cache,
slp_tree * node )
static 
Attempt to recognize a complex mul pattern.

References complex_mul_pattern(), matches(), NULL, and vect_detect_pair_op().

Field Documentation

◆ m_ifn

internal_fn vect_pattern::m_ifn
protectedinherited

Referenced by addsub_pattern::build(), complex_mul_pattern::build(), and complex_pattern::build_common().

◆ m_node

slp_tree* vect_pattern::m_node
protectedinherited

Referenced by addsub_pattern::build(), complex_add_pattern::build(), complex_fms_pattern::build(), and complex_mul_pattern::build().

◆ m_num_args

unsigned vect_pattern::m_num_args
protectedinherited

Referenced by complex_mul_pattern::build(), complex_pattern::build_common(), complex_add_pattern::complex_add_pattern(), complex_fms_pattern::complex_fms_pattern(), complex_mul_pattern::complex_mul_pattern(), and complex_operations_pattern::complex_operations_pattern().

◆ m_ops

vec<slp_tree> vect_pattern::m_ops
protectedinherited

Referenced by complex_add_pattern::build(), complex_fms_pattern::build(), complex_mul_pattern::build(), complex_add_pattern::complex_add_pattern(), complex_fms_pattern::complex_fms_pattern(), complex_mul_pattern::complex_mul_pattern(), complex_operations_pattern::complex_operations_pattern(), complex_pattern::complex_pattern(), complex_add_pattern::mkInstance(), complex_fms_pattern::mkInstance(), complex_mul_pattern::mkInstance(), and vect_pattern().

◆ m_rep

stmt_vec_info complex_pattern::m_rep
protectedinherited

Referenced by build_common(), and complex_pattern().

◆ m_workset

auto_vec<slp_tree> complex_pattern::m_workset
protectedinherited

Referenced by build_common().

The documentation for this class was generated from the following file: