altivec.md (altivec_mov<mode>, [...]): Change the RTL attribute "length" from "4...
[official-gcc.git] / gcc / tree-vectorizer.c
blob325ef58722d21a65ab896a9358677b07111b060b
1 /* Vectorizer
2 Copyright (C) 2003-2019 Free Software Foundation, Inc.
3 Contributed by Dorit Naishlos <dorit@il.ibm.com>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 /* Loop and basic block vectorizer.
23 This file contains drivers for the three vectorizers:
24 (1) loop vectorizer (inter-iteration parallelism),
25 (2) loop-aware SLP (intra-iteration parallelism) (invoked by the loop
26 vectorizer)
27 (3) BB vectorizer (out-of-loops), aka SLP
29 The rest of the vectorizer's code is organized as follows:
30 - tree-vect-loop.c - loop specific parts such as reductions, etc. These are
31 used by drivers (1) and (2).
32 - tree-vect-loop-manip.c - vectorizer's loop control-flow utilities, used by
33 drivers (1) and (2).
34 - tree-vect-slp.c - BB vectorization specific analysis and transformation,
35 used by drivers (2) and (3).
36 - tree-vect-stmts.c - statements analysis and transformation (used by all).
37 - tree-vect-data-refs.c - vectorizer specific data-refs analysis and
38 manipulations (used by all).
39 - tree-vect-patterns.c - vectorizable code patterns detector (used by all)
41 Here's a poor attempt at illustrating that:
43 tree-vectorizer.c:
44 loop_vect() loop_aware_slp() slp_vect()
45 | / \ /
46 | / \ /
47 tree-vect-loop.c tree-vect-slp.c
48 | \ \ / / |
49 | \ \/ / |
50 | \ /\ / |
51 | \ / \ / |
52 tree-vect-stmts.c tree-vect-data-refs.c
53 \ /
54 tree-vect-patterns.c
57 #include "config.h"
58 #include "system.h"
59 #include "coretypes.h"
60 #include "backend.h"
61 #include "tree.h"
62 #include "gimple.h"
63 #include "predict.h"
64 #include "tree-pass.h"
65 #include "ssa.h"
66 #include "cgraph.h"
67 #include "fold-const.h"
68 #include "stor-layout.h"
69 #include "gimple-iterator.h"
70 #include "gimple-walk.h"
71 #include "tree-ssa-loop-manip.h"
72 #include "tree-ssa-loop-niter.h"
73 #include "tree-cfg.h"
74 #include "cfgloop.h"
75 #include "tree-vectorizer.h"
76 #include "tree-ssa-propagate.h"
77 #include "dbgcnt.h"
78 #include "tree-scalar-evolution.h"
79 #include "stringpool.h"
80 #include "attribs.h"
81 #include "gimple-pretty-print.h"
82 #include "opt-problem.h"
83 #include "internal-fn.h"
86 /* Loop or bb location, with hotness information. */
87 dump_user_location_t vect_location;
89 /* auto_purge_vect_location's dtor: reset the vect_location
90 global, to avoid stale location_t values that could reference
91 GC-ed blocks. */
93 auto_purge_vect_location::~auto_purge_vect_location ()
95 vect_location = dump_user_location_t ();
98 /* Dump a cost entry according to args to F. */
100 void
101 dump_stmt_cost (FILE *f, void *data, int count, enum vect_cost_for_stmt kind,
102 stmt_vec_info stmt_info, int misalign, unsigned cost,
103 enum vect_cost_model_location where)
105 fprintf (f, "%p ", data);
106 if (stmt_info)
108 print_gimple_expr (f, STMT_VINFO_STMT (stmt_info), 0, TDF_SLIM);
109 fprintf (f, " ");
111 else
112 fprintf (f, "<unknown> ");
113 fprintf (f, "%d times ", count);
114 const char *ks = "unknown";
115 switch (kind)
117 case scalar_stmt:
118 ks = "scalar_stmt";
119 break;
120 case scalar_load:
121 ks = "scalar_load";
122 break;
123 case scalar_store:
124 ks = "scalar_store";
125 break;
126 case vector_stmt:
127 ks = "vector_stmt";
128 break;
129 case vector_load:
130 ks = "vector_load";
131 break;
132 case vector_gather_load:
133 ks = "vector_gather_load";
134 break;
135 case unaligned_load:
136 ks = "unaligned_load";
137 break;
138 case unaligned_store:
139 ks = "unaligned_store";
140 break;
141 case vector_store:
142 ks = "vector_store";
143 break;
144 case vector_scatter_store:
145 ks = "vector_scatter_store";
146 break;
147 case vec_to_scalar:
148 ks = "vec_to_scalar";
149 break;
150 case scalar_to_vec:
151 ks = "scalar_to_vec";
152 break;
153 case cond_branch_not_taken:
154 ks = "cond_branch_not_taken";
155 break;
156 case cond_branch_taken:
157 ks = "cond_branch_taken";
158 break;
159 case vec_perm:
160 ks = "vec_perm";
161 break;
162 case vec_promote_demote:
163 ks = "vec_promote_demote";
164 break;
165 case vec_construct:
166 ks = "vec_construct";
167 break;
169 fprintf (f, "%s ", ks);
170 if (kind == unaligned_load || kind == unaligned_store)
171 fprintf (f, "(misalign %d) ", misalign);
172 fprintf (f, "costs %u ", cost);
173 const char *ws = "unknown";
174 switch (where)
176 case vect_prologue:
177 ws = "prologue";
178 break;
179 case vect_body:
180 ws = "body";
181 break;
182 case vect_epilogue:
183 ws = "epilogue";
184 break;
186 fprintf (f, "in %s\n", ws);
189 /* For mapping simduid to vectorization factor. */
191 struct simduid_to_vf : free_ptr_hash<simduid_to_vf>
193 unsigned int simduid;
194 poly_uint64 vf;
196 /* hash_table support. */
197 static inline hashval_t hash (const simduid_to_vf *);
198 static inline int equal (const simduid_to_vf *, const simduid_to_vf *);
201 inline hashval_t
202 simduid_to_vf::hash (const simduid_to_vf *p)
204 return p->simduid;
207 inline int
208 simduid_to_vf::equal (const simduid_to_vf *p1, const simduid_to_vf *p2)
210 return p1->simduid == p2->simduid;
213 /* This hash maps the OMP simd array to the corresponding simduid used
214 to index into it. Like thus,
216 _7 = GOMP_SIMD_LANE (simduid.0)
219 D.1737[_7] = stuff;
222 This hash maps from the OMP simd array (D.1737[]) to DECL_UID of
223 simduid.0. */
225 struct simd_array_to_simduid : free_ptr_hash<simd_array_to_simduid>
227 tree decl;
228 unsigned int simduid;
230 /* hash_table support. */
231 static inline hashval_t hash (const simd_array_to_simduid *);
232 static inline int equal (const simd_array_to_simduid *,
233 const simd_array_to_simduid *);
236 inline hashval_t
237 simd_array_to_simduid::hash (const simd_array_to_simduid *p)
239 return DECL_UID (p->decl);
242 inline int
243 simd_array_to_simduid::equal (const simd_array_to_simduid *p1,
244 const simd_array_to_simduid *p2)
246 return p1->decl == p2->decl;
249 /* Fold IFN_GOMP_SIMD_LANE, IFN_GOMP_SIMD_VF, IFN_GOMP_SIMD_LAST_LANE,
250 into their corresponding constants and remove
251 IFN_GOMP_SIMD_ORDERED_{START,END}. */
253 static void
254 adjust_simduid_builtins (hash_table<simduid_to_vf> *htab)
256 basic_block bb;
258 FOR_EACH_BB_FN (bb, cfun)
260 gimple_stmt_iterator i;
262 for (i = gsi_start_bb (bb); !gsi_end_p (i); )
264 poly_uint64 vf = 1;
265 enum internal_fn ifn;
266 gimple *stmt = gsi_stmt (i);
267 tree t;
268 if (!is_gimple_call (stmt)
269 || !gimple_call_internal_p (stmt))
271 gsi_next (&i);
272 continue;
274 ifn = gimple_call_internal_fn (stmt);
275 switch (ifn)
277 case IFN_GOMP_SIMD_LANE:
278 case IFN_GOMP_SIMD_VF:
279 case IFN_GOMP_SIMD_LAST_LANE:
280 break;
281 case IFN_GOMP_SIMD_ORDERED_START:
282 case IFN_GOMP_SIMD_ORDERED_END:
283 if (integer_onep (gimple_call_arg (stmt, 0)))
285 enum built_in_function bcode
286 = (ifn == IFN_GOMP_SIMD_ORDERED_START
287 ? BUILT_IN_GOMP_ORDERED_START
288 : BUILT_IN_GOMP_ORDERED_END);
289 gimple *g
290 = gimple_build_call (builtin_decl_explicit (bcode), 0);
291 tree vdef = gimple_vdef (stmt);
292 gimple_set_vdef (g, vdef);
293 SSA_NAME_DEF_STMT (vdef) = g;
294 gimple_set_vuse (g, gimple_vuse (stmt));
295 gsi_replace (&i, g, true);
296 continue;
298 gsi_remove (&i, true);
299 unlink_stmt_vdef (stmt);
300 continue;
301 default:
302 gsi_next (&i);
303 continue;
305 tree arg = gimple_call_arg (stmt, 0);
306 gcc_assert (arg != NULL_TREE);
307 gcc_assert (TREE_CODE (arg) == SSA_NAME);
308 simduid_to_vf *p = NULL, data;
309 data.simduid = DECL_UID (SSA_NAME_VAR (arg));
310 /* Need to nullify loop safelen field since it's value is not
311 valid after transformation. */
312 if (bb->loop_father && bb->loop_father->safelen > 0)
313 bb->loop_father->safelen = 0;
314 if (htab)
316 p = htab->find (&data);
317 if (p)
318 vf = p->vf;
320 switch (ifn)
322 case IFN_GOMP_SIMD_VF:
323 t = build_int_cst (unsigned_type_node, vf);
324 break;
325 case IFN_GOMP_SIMD_LANE:
326 t = build_int_cst (unsigned_type_node, 0);
327 break;
328 case IFN_GOMP_SIMD_LAST_LANE:
329 t = gimple_call_arg (stmt, 1);
330 break;
331 default:
332 gcc_unreachable ();
334 tree lhs = gimple_call_lhs (stmt);
335 if (lhs)
336 replace_uses_by (lhs, t);
337 release_defs (stmt);
338 gsi_remove (&i, true);
343 /* Helper structure for note_simd_array_uses. */
345 struct note_simd_array_uses_struct
347 hash_table<simd_array_to_simduid> **htab;
348 unsigned int simduid;
351 /* Callback for note_simd_array_uses, called through walk_gimple_op. */
353 static tree
354 note_simd_array_uses_cb (tree *tp, int *walk_subtrees, void *data)
356 struct walk_stmt_info *wi = (struct walk_stmt_info *) data;
357 struct note_simd_array_uses_struct *ns
358 = (struct note_simd_array_uses_struct *) wi->info;
360 if (TYPE_P (*tp))
361 *walk_subtrees = 0;
362 else if (VAR_P (*tp)
363 && lookup_attribute ("omp simd array", DECL_ATTRIBUTES (*tp))
364 && DECL_CONTEXT (*tp) == current_function_decl)
366 simd_array_to_simduid data;
367 if (!*ns->htab)
368 *ns->htab = new hash_table<simd_array_to_simduid> (15);
369 data.decl = *tp;
370 data.simduid = ns->simduid;
371 simd_array_to_simduid **slot = (*ns->htab)->find_slot (&data, INSERT);
372 if (*slot == NULL)
374 simd_array_to_simduid *p = XNEW (simd_array_to_simduid);
375 *p = data;
376 *slot = p;
378 else if ((*slot)->simduid != ns->simduid)
379 (*slot)->simduid = -1U;
380 *walk_subtrees = 0;
382 return NULL_TREE;
385 /* Find "omp simd array" temporaries and map them to corresponding
386 simduid. */
388 static void
389 note_simd_array_uses (hash_table<simd_array_to_simduid> **htab)
391 basic_block bb;
392 gimple_stmt_iterator gsi;
393 struct walk_stmt_info wi;
394 struct note_simd_array_uses_struct ns;
396 memset (&wi, 0, sizeof (wi));
397 wi.info = &ns;
398 ns.htab = htab;
400 FOR_EACH_BB_FN (bb, cfun)
401 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
403 gimple *stmt = gsi_stmt (gsi);
404 if (!is_gimple_call (stmt) || !gimple_call_internal_p (stmt))
405 continue;
406 switch (gimple_call_internal_fn (stmt))
408 case IFN_GOMP_SIMD_LANE:
409 case IFN_GOMP_SIMD_VF:
410 case IFN_GOMP_SIMD_LAST_LANE:
411 break;
412 default:
413 continue;
415 tree lhs = gimple_call_lhs (stmt);
416 if (lhs == NULL_TREE)
417 continue;
418 imm_use_iterator use_iter;
419 gimple *use_stmt;
420 ns.simduid = DECL_UID (SSA_NAME_VAR (gimple_call_arg (stmt, 0)));
421 FOR_EACH_IMM_USE_STMT (use_stmt, use_iter, lhs)
422 if (!is_gimple_debug (use_stmt))
423 walk_gimple_op (use_stmt, note_simd_array_uses_cb, &wi);
427 /* Shrink arrays with "omp simd array" attribute to the corresponding
428 vectorization factor. */
430 static void
431 shrink_simd_arrays
432 (hash_table<simd_array_to_simduid> *simd_array_to_simduid_htab,
433 hash_table<simduid_to_vf> *simduid_to_vf_htab)
435 for (hash_table<simd_array_to_simduid>::iterator iter
436 = simd_array_to_simduid_htab->begin ();
437 iter != simd_array_to_simduid_htab->end (); ++iter)
438 if ((*iter)->simduid != -1U)
440 tree decl = (*iter)->decl;
441 poly_uint64 vf = 1;
442 if (simduid_to_vf_htab)
444 simduid_to_vf *p = NULL, data;
445 data.simduid = (*iter)->simduid;
446 p = simduid_to_vf_htab->find (&data);
447 if (p)
448 vf = p->vf;
450 tree atype
451 = build_array_type_nelts (TREE_TYPE (TREE_TYPE (decl)), vf);
452 TREE_TYPE (decl) = atype;
453 relayout_decl (decl);
456 delete simd_array_to_simduid_htab;
459 /* Initialize the vec_info with kind KIND_IN and target cost data
460 TARGET_COST_DATA_IN. */
462 vec_info::vec_info (vec_info::vec_kind kind_in, void *target_cost_data_in,
463 vec_info_shared *shared_)
464 : kind (kind_in),
465 shared (shared_),
466 target_cost_data (target_cost_data_in)
468 stmt_vec_infos.create (50);
471 vec_info::~vec_info ()
473 slp_instance instance;
474 unsigned int i;
476 FOR_EACH_VEC_ELT (slp_instances, i, instance)
477 vect_free_slp_instance (instance, true);
479 destroy_cost_data (target_cost_data);
480 free_stmt_vec_infos ();
483 vec_info_shared::vec_info_shared ()
484 : datarefs (vNULL),
485 datarefs_copy (vNULL),
486 ddrs (vNULL)
490 vec_info_shared::~vec_info_shared ()
492 free_data_refs (datarefs);
493 free_dependence_relations (ddrs);
494 datarefs_copy.release ();
497 void
498 vec_info_shared::save_datarefs ()
500 if (!flag_checking)
501 return;
502 datarefs_copy.reserve_exact (datarefs.length ());
503 for (unsigned i = 0; i < datarefs.length (); ++i)
504 datarefs_copy.quick_push (*datarefs[i]);
507 void
508 vec_info_shared::check_datarefs ()
510 if (!flag_checking)
511 return;
512 gcc_assert (datarefs.length () == datarefs_copy.length ());
513 for (unsigned i = 0; i < datarefs.length (); ++i)
514 if (memcmp (&datarefs_copy[i], datarefs[i], sizeof (data_reference)) != 0)
515 gcc_unreachable ();
518 /* Record that STMT belongs to the vectorizable region. Create and return
519 an associated stmt_vec_info. */
521 stmt_vec_info
522 vec_info::add_stmt (gimple *stmt)
524 stmt_vec_info res = new_stmt_vec_info (stmt);
525 set_vinfo_for_stmt (stmt, res);
526 return res;
529 /* If STMT has an associated stmt_vec_info, return that vec_info, otherwise
530 return null. It is safe to call this function on any statement, even if
531 it might not be part of the vectorizable region. */
533 stmt_vec_info
534 vec_info::lookup_stmt (gimple *stmt)
536 unsigned int uid = gimple_uid (stmt);
537 if (uid > 0 && uid - 1 < stmt_vec_infos.length ())
539 stmt_vec_info res = stmt_vec_infos[uid - 1];
540 if (res && res->stmt == stmt)
541 return res;
543 return NULL;
546 /* If NAME is an SSA_NAME and its definition has an associated stmt_vec_info,
547 return that stmt_vec_info, otherwise return null. It is safe to call
548 this on arbitrary operands. */
550 stmt_vec_info
551 vec_info::lookup_def (tree name)
553 if (TREE_CODE (name) == SSA_NAME
554 && !SSA_NAME_IS_DEFAULT_DEF (name))
555 return lookup_stmt (SSA_NAME_DEF_STMT (name));
556 return NULL;
559 /* See whether there is a single non-debug statement that uses LHS and
560 whether that statement has an associated stmt_vec_info. Return the
561 stmt_vec_info if so, otherwise return null. */
563 stmt_vec_info
564 vec_info::lookup_single_use (tree lhs)
566 use_operand_p dummy;
567 gimple *use_stmt;
568 if (single_imm_use (lhs, &dummy, &use_stmt))
569 return lookup_stmt (use_stmt);
570 return NULL;
573 /* Return vectorization information about DR. */
575 dr_vec_info *
576 vec_info::lookup_dr (data_reference *dr)
578 stmt_vec_info stmt_info = lookup_stmt (DR_STMT (dr));
579 /* DR_STMT should never refer to a stmt in a pattern replacement. */
580 gcc_checking_assert (!is_pattern_stmt_p (stmt_info));
581 return STMT_VINFO_DR_INFO (stmt_info->dr_aux.stmt);
584 /* Record that NEW_STMT_INFO now implements the same data reference
585 as OLD_STMT_INFO. */
587 void
588 vec_info::move_dr (stmt_vec_info new_stmt_info, stmt_vec_info old_stmt_info)
590 gcc_assert (!is_pattern_stmt_p (old_stmt_info));
591 STMT_VINFO_DR_INFO (old_stmt_info)->stmt = new_stmt_info;
592 new_stmt_info->dr_aux = old_stmt_info->dr_aux;
593 STMT_VINFO_DR_WRT_VEC_LOOP (new_stmt_info)
594 = STMT_VINFO_DR_WRT_VEC_LOOP (old_stmt_info);
595 STMT_VINFO_GATHER_SCATTER_P (new_stmt_info)
596 = STMT_VINFO_GATHER_SCATTER_P (old_stmt_info);
599 /* Permanently remove the statement described by STMT_INFO from the
600 function. */
602 void
603 vec_info::remove_stmt (stmt_vec_info stmt_info)
605 gcc_assert (!stmt_info->pattern_stmt_p);
606 set_vinfo_for_stmt (stmt_info->stmt, NULL);
607 gimple_stmt_iterator si = gsi_for_stmt (stmt_info->stmt);
608 unlink_stmt_vdef (stmt_info->stmt);
609 gsi_remove (&si, true);
610 release_defs (stmt_info->stmt);
611 free_stmt_vec_info (stmt_info);
614 /* Replace the statement at GSI by NEW_STMT, both the vectorization
615 information and the function itself. STMT_INFO describes the statement
616 at GSI. */
618 void
619 vec_info::replace_stmt (gimple_stmt_iterator *gsi, stmt_vec_info stmt_info,
620 gimple *new_stmt)
622 gimple *old_stmt = stmt_info->stmt;
623 gcc_assert (!stmt_info->pattern_stmt_p && old_stmt == gsi_stmt (*gsi));
624 set_vinfo_for_stmt (old_stmt, NULL);
625 set_vinfo_for_stmt (new_stmt, stmt_info);
626 stmt_info->stmt = new_stmt;
627 gsi_replace (gsi, new_stmt, true);
630 /* Create and initialize a new stmt_vec_info struct for STMT. */
632 stmt_vec_info
633 vec_info::new_stmt_vec_info (gimple *stmt)
635 stmt_vec_info res = XCNEW (struct _stmt_vec_info);
636 res->vinfo = this;
637 res->stmt = stmt;
639 STMT_VINFO_TYPE (res) = undef_vec_info_type;
640 STMT_VINFO_RELEVANT (res) = vect_unused_in_scope;
641 STMT_VINFO_VECTORIZABLE (res) = true;
642 STMT_VINFO_VEC_REDUCTION_TYPE (res) = TREE_CODE_REDUCTION;
643 STMT_VINFO_VEC_CONST_COND_REDUC_CODE (res) = ERROR_MARK;
644 STMT_VINFO_SLP_VECT_ONLY (res) = false;
646 if (gimple_code (stmt) == GIMPLE_PHI
647 && is_loop_header_bb_p (gimple_bb (stmt)))
648 STMT_VINFO_DEF_TYPE (res) = vect_unknown_def_type;
649 else
650 STMT_VINFO_DEF_TYPE (res) = vect_internal_def;
652 STMT_VINFO_SAME_ALIGN_REFS (res).create (0);
653 STMT_SLP_TYPE (res) = loop_vect;
655 /* This is really "uninitialized" until vect_compute_data_ref_alignment. */
656 res->dr_aux.misalignment = DR_MISALIGNMENT_UNINITIALIZED;
658 return res;
661 /* Associate STMT with INFO. */
663 void
664 vec_info::set_vinfo_for_stmt (gimple *stmt, stmt_vec_info info)
666 unsigned int uid = gimple_uid (stmt);
667 if (uid == 0)
669 gcc_checking_assert (info);
670 uid = stmt_vec_infos.length () + 1;
671 gimple_set_uid (stmt, uid);
672 stmt_vec_infos.safe_push (info);
674 else
676 gcc_checking_assert (info == NULL);
677 stmt_vec_infos[uid - 1] = info;
681 /* Free the contents of stmt_vec_infos. */
683 void
684 vec_info::free_stmt_vec_infos (void)
686 unsigned int i;
687 stmt_vec_info info;
688 FOR_EACH_VEC_ELT (stmt_vec_infos, i, info)
689 if (info != NULL)
690 free_stmt_vec_info (info);
691 stmt_vec_infos.release ();
694 /* Free STMT_INFO. */
696 void
697 vec_info::free_stmt_vec_info (stmt_vec_info stmt_info)
699 if (stmt_info->pattern_stmt_p)
701 gimple_set_bb (stmt_info->stmt, NULL);
702 tree lhs = gimple_get_lhs (stmt_info->stmt);
703 if (lhs && TREE_CODE (lhs) == SSA_NAME)
704 release_ssa_name (lhs);
707 STMT_VINFO_SAME_ALIGN_REFS (stmt_info).release ();
708 STMT_VINFO_SIMD_CLONE_INFO (stmt_info).release ();
709 free (stmt_info);
712 /* A helper function to free scev and LOOP niter information, as well as
713 clear loop constraint LOOP_C_FINITE. */
715 void
716 vect_free_loop_info_assumptions (struct loop *loop)
718 scev_reset_htab ();
719 /* We need to explicitly reset upper bound information since they are
720 used even after free_numbers_of_iterations_estimates. */
721 loop->any_upper_bound = false;
722 loop->any_likely_upper_bound = false;
723 free_numbers_of_iterations_estimates (loop);
724 loop_constraint_clear (loop, LOOP_C_FINITE);
727 /* If LOOP has been versioned during ifcvt, return the internal call
728 guarding it. */
730 gimple *
731 vect_loop_vectorized_call (struct loop *loop, gcond **cond)
733 basic_block bb = loop_preheader_edge (loop)->src;
734 gimple *g;
737 g = last_stmt (bb);
738 if (g)
739 break;
740 if (!single_pred_p (bb))
741 break;
742 bb = single_pred (bb);
744 while (1);
745 if (g && gimple_code (g) == GIMPLE_COND)
747 if (cond)
748 *cond = as_a <gcond *> (g);
749 gimple_stmt_iterator gsi = gsi_for_stmt (g);
750 gsi_prev (&gsi);
751 if (!gsi_end_p (gsi))
753 g = gsi_stmt (gsi);
754 if (gimple_call_internal_p (g, IFN_LOOP_VECTORIZED)
755 && (tree_to_shwi (gimple_call_arg (g, 0)) == loop->num
756 || tree_to_shwi (gimple_call_arg (g, 1)) == loop->num))
757 return g;
760 return NULL;
763 /* If LOOP has been versioned during loop distribution, return the gurading
764 internal call. */
766 static gimple *
767 vect_loop_dist_alias_call (struct loop *loop)
769 basic_block bb;
770 basic_block entry;
771 struct loop *outer, *orig;
772 gimple_stmt_iterator gsi;
773 gimple *g;
775 if (loop->orig_loop_num == 0)
776 return NULL;
778 orig = get_loop (cfun, loop->orig_loop_num);
779 if (orig == NULL)
781 /* The original loop is somehow destroyed. Clear the information. */
782 loop->orig_loop_num = 0;
783 return NULL;
786 if (loop != orig)
787 bb = nearest_common_dominator (CDI_DOMINATORS, loop->header, orig->header);
788 else
789 bb = loop_preheader_edge (loop)->src;
791 outer = bb->loop_father;
792 entry = ENTRY_BLOCK_PTR_FOR_FN (cfun);
794 /* Look upward in dominance tree. */
795 for (; bb != entry && flow_bb_inside_loop_p (outer, bb);
796 bb = get_immediate_dominator (CDI_DOMINATORS, bb))
798 g = last_stmt (bb);
799 if (g == NULL || gimple_code (g) != GIMPLE_COND)
800 continue;
802 gsi = gsi_for_stmt (g);
803 gsi_prev (&gsi);
804 if (gsi_end_p (gsi))
805 continue;
807 g = gsi_stmt (gsi);
808 /* The guarding internal function call must have the same distribution
809 alias id. */
810 if (gimple_call_internal_p (g, IFN_LOOP_DIST_ALIAS)
811 && (tree_to_shwi (gimple_call_arg (g, 0)) == loop->orig_loop_num))
812 return g;
814 return NULL;
817 /* Set the uids of all the statements in basic blocks inside loop
818 represented by LOOP_VINFO. LOOP_VECTORIZED_CALL is the internal
819 call guarding the loop which has been if converted. */
820 static void
821 set_uid_loop_bbs (loop_vec_info loop_vinfo, gimple *loop_vectorized_call)
823 tree arg = gimple_call_arg (loop_vectorized_call, 1);
824 basic_block *bbs;
825 unsigned int i;
826 struct loop *scalar_loop = get_loop (cfun, tree_to_shwi (arg));
828 LOOP_VINFO_SCALAR_LOOP (loop_vinfo) = scalar_loop;
829 gcc_checking_assert (vect_loop_vectorized_call (scalar_loop)
830 == loop_vectorized_call);
831 /* If we are going to vectorize outer loop, prevent vectorization
832 of the inner loop in the scalar loop - either the scalar loop is
833 thrown away, so it is a wasted work, or is used only for
834 a few iterations. */
835 if (scalar_loop->inner)
837 gimple *g = vect_loop_vectorized_call (scalar_loop->inner);
838 if (g)
840 arg = gimple_call_arg (g, 0);
841 get_loop (cfun, tree_to_shwi (arg))->dont_vectorize = true;
842 fold_loop_internal_call (g, boolean_false_node);
845 bbs = get_loop_body (scalar_loop);
846 for (i = 0; i < scalar_loop->num_nodes; i++)
848 basic_block bb = bbs[i];
849 gimple_stmt_iterator gsi;
850 for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
852 gimple *phi = gsi_stmt (gsi);
853 gimple_set_uid (phi, 0);
855 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
857 gimple *stmt = gsi_stmt (gsi);
858 gimple_set_uid (stmt, 0);
861 free (bbs);
864 /* Try to vectorize LOOP. */
866 static unsigned
867 try_vectorize_loop_1 (hash_table<simduid_to_vf> *&simduid_to_vf_htab,
868 unsigned *num_vectorized_loops,
869 loop_p loop, loop_vec_info orig_loop_vinfo,
870 gimple *loop_vectorized_call,
871 gimple *loop_dist_alias_call)
873 unsigned ret = 0;
874 vec_info_shared shared;
875 auto_purge_vect_location sentinel;
876 vect_location = find_loop_location (loop);
877 if (LOCATION_LOCUS (vect_location.get_location_t ()) != UNKNOWN_LOCATION
878 && dump_enabled_p ())
879 dump_printf (MSG_NOTE | MSG_PRIORITY_INTERNALS,
880 "\nAnalyzing loop at %s:%d\n",
881 LOCATION_FILE (vect_location.get_location_t ()),
882 LOCATION_LINE (vect_location.get_location_t ()));
884 /* Try to analyze the loop, retaining an opt_problem if dump_enabled_p. */
885 opt_loop_vec_info loop_vinfo
886 = vect_analyze_loop (loop, orig_loop_vinfo, &shared);
887 loop->aux = loop_vinfo;
889 if (!loop_vinfo)
890 if (dump_enabled_p ())
891 if (opt_problem *problem = loop_vinfo.get_problem ())
893 dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,
894 "couldn't vectorize loop\n");
895 problem->emit_and_clear ();
898 if (!loop_vinfo || !LOOP_VINFO_VECTORIZABLE_P (loop_vinfo))
900 /* Free existing information if loop is analyzed with some
901 assumptions. */
902 if (loop_constraint_set_p (loop, LOOP_C_FINITE))
903 vect_free_loop_info_assumptions (loop);
905 /* If we applied if-conversion then try to vectorize the
906 BB of innermost loops.
907 ??? Ideally BB vectorization would learn to vectorize
908 control flow by applying if-conversion on-the-fly, the
909 following retains the if-converted loop body even when
910 only non-if-converted parts took part in BB vectorization. */
911 if (flag_tree_slp_vectorize != 0
912 && loop_vectorized_call
913 && ! loop->inner)
915 basic_block bb = loop->header;
916 bool require_loop_vectorize = false;
917 for (gimple_stmt_iterator gsi = gsi_start_bb (bb);
918 !gsi_end_p (gsi); gsi_next (&gsi))
920 gimple *stmt = gsi_stmt (gsi);
921 gcall *call = dyn_cast <gcall *> (stmt);
922 if (call && gimple_call_internal_p (call))
924 internal_fn ifn = gimple_call_internal_fn (call);
925 if (ifn == IFN_MASK_LOAD || ifn == IFN_MASK_STORE
926 /* Don't keep the if-converted parts when the ifn with
927 specifc type is not supported by the backend. */
928 || (direct_internal_fn_p (ifn)
929 && !direct_internal_fn_supported_p
930 (call, OPTIMIZE_FOR_SPEED)))
932 require_loop_vectorize = true;
933 break;
936 gimple_set_uid (stmt, -1);
937 gimple_set_visited (stmt, false);
939 if (!require_loop_vectorize && vect_slp_bb (bb))
941 if (dump_enabled_p ())
942 dump_printf_loc (MSG_NOTE, vect_location,
943 "basic block vectorized\n");
944 fold_loop_internal_call (loop_vectorized_call,
945 boolean_true_node);
946 loop_vectorized_call = NULL;
947 ret |= TODO_cleanup_cfg;
950 /* If outer loop vectorization fails for LOOP_VECTORIZED guarded
951 loop, don't vectorize its inner loop; we'll attempt to
952 vectorize LOOP_VECTORIZED guarded inner loop of the scalar
953 loop version. */
954 if (loop_vectorized_call && loop->inner)
955 loop->inner->dont_vectorize = true;
956 return ret;
959 if (!dbg_cnt (vect_loop))
961 /* Free existing information if loop is analyzed with some
962 assumptions. */
963 if (loop_constraint_set_p (loop, LOOP_C_FINITE))
964 vect_free_loop_info_assumptions (loop);
965 return ret;
968 if (loop_vectorized_call)
969 set_uid_loop_bbs (loop_vinfo, loop_vectorized_call);
971 unsigned HOST_WIDE_INT bytes;
972 if (dump_enabled_p ())
974 if (current_vector_size.is_constant (&bytes))
975 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, vect_location,
976 "loop vectorized using %wu byte vectors\n", bytes);
977 else
978 dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, vect_location,
979 "loop vectorized using variable length vectors\n");
982 loop_p new_loop = vect_transform_loop (loop_vinfo);
983 (*num_vectorized_loops)++;
984 /* Now that the loop has been vectorized, allow it to be unrolled
985 etc. */
986 loop->force_vectorize = false;
988 if (loop->simduid)
990 simduid_to_vf *simduid_to_vf_data = XNEW (simduid_to_vf);
991 if (!simduid_to_vf_htab)
992 simduid_to_vf_htab = new hash_table<simduid_to_vf> (15);
993 simduid_to_vf_data->simduid = DECL_UID (loop->simduid);
994 simduid_to_vf_data->vf = loop_vinfo->vectorization_factor;
995 *simduid_to_vf_htab->find_slot (simduid_to_vf_data, INSERT)
996 = simduid_to_vf_data;
999 if (loop_vectorized_call)
1001 fold_loop_internal_call (loop_vectorized_call, boolean_true_node);
1002 loop_vectorized_call = NULL;
1003 ret |= TODO_cleanup_cfg;
1005 if (loop_dist_alias_call)
1007 tree value = gimple_call_arg (loop_dist_alias_call, 1);
1008 fold_loop_internal_call (loop_dist_alias_call, value);
1009 loop_dist_alias_call = NULL;
1010 ret |= TODO_cleanup_cfg;
1013 /* Epilogue of vectorized loop must be vectorized too. */
1014 if (new_loop)
1015 ret |= try_vectorize_loop_1 (simduid_to_vf_htab, num_vectorized_loops,
1016 new_loop, loop_vinfo, NULL, NULL);
1018 return ret;
1021 /* Try to vectorize LOOP. */
1023 static unsigned
1024 try_vectorize_loop (hash_table<simduid_to_vf> *&simduid_to_vf_htab,
1025 unsigned *num_vectorized_loops, loop_p loop)
1027 if (!((flag_tree_loop_vectorize
1028 && optimize_loop_nest_for_speed_p (loop))
1029 || loop->force_vectorize))
1030 return 0;
1032 return try_vectorize_loop_1 (simduid_to_vf_htab, num_vectorized_loops,
1033 loop, NULL,
1034 vect_loop_vectorized_call (loop),
1035 vect_loop_dist_alias_call (loop));
1039 /* Function vectorize_loops.
1041 Entry point to loop vectorization phase. */
1043 unsigned
1044 vectorize_loops (void)
1046 unsigned int i;
1047 unsigned int num_vectorized_loops = 0;
1048 unsigned int vect_loops_num;
1049 struct loop *loop;
1050 hash_table<simduid_to_vf> *simduid_to_vf_htab = NULL;
1051 hash_table<simd_array_to_simduid> *simd_array_to_simduid_htab = NULL;
1052 bool any_ifcvt_loops = false;
1053 unsigned ret = 0;
1055 vect_loops_num = number_of_loops (cfun);
1057 /* Bail out if there are no loops. */
1058 if (vect_loops_num <= 1)
1059 return 0;
1061 if (cfun->has_simduid_loops)
1062 note_simd_array_uses (&simd_array_to_simduid_htab);
1064 /* ----------- Analyze loops. ----------- */
1066 /* If some loop was duplicated, it gets bigger number
1067 than all previously defined loops. This fact allows us to run
1068 only over initial loops skipping newly generated ones. */
1069 FOR_EACH_LOOP (loop, 0)
1070 if (loop->dont_vectorize)
1072 any_ifcvt_loops = true;
1073 /* If-conversion sometimes versions both the outer loop
1074 (for the case when outer loop vectorization might be
1075 desirable) as well as the inner loop in the scalar version
1076 of the loop. So we have:
1077 if (LOOP_VECTORIZED (1, 3))
1079 loop1
1080 loop2
1082 else
1083 loop3 (copy of loop1)
1084 if (LOOP_VECTORIZED (4, 5))
1085 loop4 (copy of loop2)
1086 else
1087 loop5 (copy of loop4)
1088 If FOR_EACH_LOOP gives us loop3 first (which has
1089 dont_vectorize set), make sure to process loop1 before loop4;
1090 so that we can prevent vectorization of loop4 if loop1
1091 is successfully vectorized. */
1092 if (loop->inner)
1094 gimple *loop_vectorized_call
1095 = vect_loop_vectorized_call (loop);
1096 if (loop_vectorized_call
1097 && vect_loop_vectorized_call (loop->inner))
1099 tree arg = gimple_call_arg (loop_vectorized_call, 0);
1100 struct loop *vector_loop
1101 = get_loop (cfun, tree_to_shwi (arg));
1102 if (vector_loop && vector_loop != loop)
1104 /* Make sure we don't vectorize it twice. */
1105 vector_loop->dont_vectorize = true;
1106 ret |= try_vectorize_loop (simduid_to_vf_htab,
1107 &num_vectorized_loops,
1108 vector_loop);
1113 else
1114 ret |= try_vectorize_loop (simduid_to_vf_htab, &num_vectorized_loops,
1115 loop);
1117 vect_location = dump_user_location_t ();
1119 statistics_counter_event (cfun, "Vectorized loops", num_vectorized_loops);
1120 if (dump_enabled_p ()
1121 || (num_vectorized_loops > 0 && dump_enabled_p ()))
1122 dump_printf_loc (MSG_NOTE, vect_location,
1123 "vectorized %u loops in function.\n",
1124 num_vectorized_loops);
1126 /* ----------- Finalize. ----------- */
1128 if (any_ifcvt_loops)
1129 for (i = 1; i < number_of_loops (cfun); i++)
1131 loop = get_loop (cfun, i);
1132 if (loop && loop->dont_vectorize)
1134 gimple *g = vect_loop_vectorized_call (loop);
1135 if (g)
1137 fold_loop_internal_call (g, boolean_false_node);
1138 ret |= TODO_cleanup_cfg;
1139 g = NULL;
1141 else
1142 g = vect_loop_dist_alias_call (loop);
1144 if (g)
1146 fold_loop_internal_call (g, boolean_false_node);
1147 ret |= TODO_cleanup_cfg;
1152 for (i = 1; i < number_of_loops (cfun); i++)
1154 loop_vec_info loop_vinfo;
1155 bool has_mask_store;
1157 loop = get_loop (cfun, i);
1158 if (!loop || !loop->aux)
1159 continue;
1160 loop_vinfo = (loop_vec_info) loop->aux;
1161 has_mask_store = LOOP_VINFO_HAS_MASK_STORE (loop_vinfo);
1162 delete loop_vinfo;
1163 if (has_mask_store
1164 && targetm.vectorize.empty_mask_is_expensive (IFN_MASK_STORE))
1165 optimize_mask_stores (loop);
1166 loop->aux = NULL;
1169 /* Fold IFN_GOMP_SIMD_{VF,LANE,LAST_LANE,ORDERED_{START,END}} builtins. */
1170 if (cfun->has_simduid_loops)
1171 adjust_simduid_builtins (simduid_to_vf_htab);
1173 /* Shrink any "omp array simd" temporary arrays to the
1174 actual vectorization factors. */
1175 if (simd_array_to_simduid_htab)
1176 shrink_simd_arrays (simd_array_to_simduid_htab, simduid_to_vf_htab);
1177 delete simduid_to_vf_htab;
1178 cfun->has_simduid_loops = false;
1180 if (num_vectorized_loops > 0)
1182 /* If we vectorized any loop only virtual SSA form needs to be updated.
1183 ??? Also while we try hard to update loop-closed SSA form we fail
1184 to properly do this in some corner-cases (see PR56286). */
1185 rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa_only_virtuals);
1186 return TODO_cleanup_cfg;
1189 return ret;
1193 /* Entry point to the simduid cleanup pass. */
1195 namespace {
1197 const pass_data pass_data_simduid_cleanup =
1199 GIMPLE_PASS, /* type */
1200 "simduid", /* name */
1201 OPTGROUP_NONE, /* optinfo_flags */
1202 TV_NONE, /* tv_id */
1203 ( PROP_ssa | PROP_cfg ), /* properties_required */
1204 0, /* properties_provided */
1205 0, /* properties_destroyed */
1206 0, /* todo_flags_start */
1207 0, /* todo_flags_finish */
1210 class pass_simduid_cleanup : public gimple_opt_pass
1212 public:
1213 pass_simduid_cleanup (gcc::context *ctxt)
1214 : gimple_opt_pass (pass_data_simduid_cleanup, ctxt)
1217 /* opt_pass methods: */
1218 opt_pass * clone () { return new pass_simduid_cleanup (m_ctxt); }
1219 virtual bool gate (function *fun) { return fun->has_simduid_loops; }
1220 virtual unsigned int execute (function *);
1222 }; // class pass_simduid_cleanup
1224 unsigned int
1225 pass_simduid_cleanup::execute (function *fun)
1227 hash_table<simd_array_to_simduid> *simd_array_to_simduid_htab = NULL;
1229 note_simd_array_uses (&simd_array_to_simduid_htab);
1231 /* Fold IFN_GOMP_SIMD_{VF,LANE,LAST_LANE,ORDERED_{START,END}} builtins. */
1232 adjust_simduid_builtins (NULL);
1234 /* Shrink any "omp array simd" temporary arrays to the
1235 actual vectorization factors. */
1236 if (simd_array_to_simduid_htab)
1237 shrink_simd_arrays (simd_array_to_simduid_htab, NULL);
1238 fun->has_simduid_loops = false;
1239 return 0;
1242 } // anon namespace
1244 gimple_opt_pass *
1245 make_pass_simduid_cleanup (gcc::context *ctxt)
1247 return new pass_simduid_cleanup (ctxt);
1251 /* Entry point to basic block SLP phase. */
1253 namespace {
1255 const pass_data pass_data_slp_vectorize =
1257 GIMPLE_PASS, /* type */
1258 "slp", /* name */
1259 OPTGROUP_LOOP | OPTGROUP_VEC, /* optinfo_flags */
1260 TV_TREE_SLP_VECTORIZATION, /* tv_id */
1261 ( PROP_ssa | PROP_cfg ), /* properties_required */
1262 0, /* properties_provided */
1263 0, /* properties_destroyed */
1264 0, /* todo_flags_start */
1265 TODO_update_ssa, /* todo_flags_finish */
1268 class pass_slp_vectorize : public gimple_opt_pass
1270 public:
1271 pass_slp_vectorize (gcc::context *ctxt)
1272 : gimple_opt_pass (pass_data_slp_vectorize, ctxt)
1275 /* opt_pass methods: */
1276 opt_pass * clone () { return new pass_slp_vectorize (m_ctxt); }
1277 virtual bool gate (function *) { return flag_tree_slp_vectorize != 0; }
1278 virtual unsigned int execute (function *);
1280 }; // class pass_slp_vectorize
1282 unsigned int
1283 pass_slp_vectorize::execute (function *fun)
1285 auto_purge_vect_location sentinel;
1286 basic_block bb;
1288 bool in_loop_pipeline = scev_initialized_p ();
1289 if (!in_loop_pipeline)
1291 loop_optimizer_init (LOOPS_NORMAL);
1292 scev_initialize ();
1295 /* Mark all stmts as not belonging to the current region and unvisited. */
1296 FOR_EACH_BB_FN (bb, fun)
1298 for (gimple_stmt_iterator gsi = gsi_start_bb (bb); !gsi_end_p (gsi);
1299 gsi_next (&gsi))
1301 gimple *stmt = gsi_stmt (gsi);
1302 gimple_set_uid (stmt, -1);
1303 gimple_set_visited (stmt, false);
1307 FOR_EACH_BB_FN (bb, fun)
1309 if (vect_slp_bb (bb))
1310 if (dump_enabled_p ())
1311 dump_printf_loc (MSG_NOTE, vect_location, "basic block vectorized\n");
1314 if (!in_loop_pipeline)
1316 scev_finalize ();
1317 loop_optimizer_finalize ();
1320 return 0;
1323 } // anon namespace
1325 gimple_opt_pass *
1326 make_pass_slp_vectorize (gcc::context *ctxt)
1328 return new pass_slp_vectorize (ctxt);
1332 /* Increase alignment of global arrays to improve vectorization potential.
1333 TODO:
1334 - Consider also structs that have an array field.
1335 - Use ipa analysis to prune arrays that can't be vectorized?
1336 This should involve global alignment analysis and in the future also
1337 array padding. */
1339 static unsigned get_vec_alignment_for_type (tree);
1340 static hash_map<tree, unsigned> *type_align_map;
1342 /* Return alignment of array's vector type corresponding to scalar type.
1343 0 if no vector type exists. */
1344 static unsigned
1345 get_vec_alignment_for_array_type (tree type)
1347 gcc_assert (TREE_CODE (type) == ARRAY_TYPE);
1348 poly_uint64 array_size, vector_size;
1350 tree vectype = get_vectype_for_scalar_type (strip_array_types (type));
1351 if (!vectype
1352 || !poly_int_tree_p (TYPE_SIZE (type), &array_size)
1353 || !poly_int_tree_p (TYPE_SIZE (vectype), &vector_size)
1354 || maybe_lt (array_size, vector_size))
1355 return 0;
1357 return TYPE_ALIGN (vectype);
1360 /* Return alignment of field having maximum alignment of vector type
1361 corresponding to it's scalar type. For now, we only consider fields whose
1362 offset is a multiple of it's vector alignment.
1363 0 if no suitable field is found. */
1364 static unsigned
1365 get_vec_alignment_for_record_type (tree type)
1367 gcc_assert (TREE_CODE (type) == RECORD_TYPE);
1369 unsigned max_align = 0, alignment;
1370 HOST_WIDE_INT offset;
1371 tree offset_tree;
1373 if (TYPE_PACKED (type))
1374 return 0;
1376 unsigned *slot = type_align_map->get (type);
1377 if (slot)
1378 return *slot;
1380 for (tree field = first_field (type);
1381 field != NULL_TREE;
1382 field = DECL_CHAIN (field))
1384 /* Skip if not FIELD_DECL or if alignment is set by user. */
1385 if (TREE_CODE (field) != FIELD_DECL
1386 || DECL_USER_ALIGN (field)
1387 || DECL_ARTIFICIAL (field))
1388 continue;
1390 /* We don't need to process the type further if offset is variable,
1391 since the offsets of remaining members will also be variable. */
1392 if (TREE_CODE (DECL_FIELD_OFFSET (field)) != INTEGER_CST
1393 || TREE_CODE (DECL_FIELD_BIT_OFFSET (field)) != INTEGER_CST)
1394 break;
1396 /* Similarly stop processing the type if offset_tree
1397 does not fit in unsigned HOST_WIDE_INT. */
1398 offset_tree = bit_position (field);
1399 if (!tree_fits_uhwi_p (offset_tree))
1400 break;
1402 offset = tree_to_uhwi (offset_tree);
1403 alignment = get_vec_alignment_for_type (TREE_TYPE (field));
1405 /* Get maximum alignment of vectorized field/array among those members
1406 whose offset is multiple of the vector alignment. */
1407 if (alignment
1408 && (offset % alignment == 0)
1409 && (alignment > max_align))
1410 max_align = alignment;
1413 type_align_map->put (type, max_align);
1414 return max_align;
1417 /* Return alignment of vector type corresponding to decl's scalar type
1418 or 0 if it doesn't exist or the vector alignment is lesser than
1419 decl's alignment. */
1420 static unsigned
1421 get_vec_alignment_for_type (tree type)
1423 if (type == NULL_TREE)
1424 return 0;
1426 gcc_assert (TYPE_P (type));
1428 static unsigned alignment = 0;
1429 switch (TREE_CODE (type))
1431 case ARRAY_TYPE:
1432 alignment = get_vec_alignment_for_array_type (type);
1433 break;
1434 case RECORD_TYPE:
1435 alignment = get_vec_alignment_for_record_type (type);
1436 break;
1437 default:
1438 alignment = 0;
1439 break;
1442 return (alignment > TYPE_ALIGN (type)) ? alignment : 0;
1445 /* Entry point to increase_alignment pass. */
1446 static unsigned int
1447 increase_alignment (void)
1449 varpool_node *vnode;
1451 vect_location = dump_user_location_t ();
1452 type_align_map = new hash_map<tree, unsigned>;
1454 /* Increase the alignment of all global arrays for vectorization. */
1455 FOR_EACH_DEFINED_VARIABLE (vnode)
1457 tree decl = vnode->decl;
1458 unsigned int alignment;
1460 if ((decl_in_symtab_p (decl)
1461 && !symtab_node::get (decl)->can_increase_alignment_p ())
1462 || DECL_USER_ALIGN (decl) || DECL_ARTIFICIAL (decl))
1463 continue;
1465 alignment = get_vec_alignment_for_type (TREE_TYPE (decl));
1466 if (alignment && vect_can_force_dr_alignment_p (decl, alignment))
1468 vnode->increase_alignment (alignment);
1469 if (dump_enabled_p ())
1470 dump_printf (MSG_NOTE, "Increasing alignment of decl: %T\n", decl);
1474 delete type_align_map;
1475 return 0;
1479 namespace {
1481 const pass_data pass_data_ipa_increase_alignment =
1483 SIMPLE_IPA_PASS, /* type */
1484 "increase_alignment", /* name */
1485 OPTGROUP_LOOP | OPTGROUP_VEC, /* optinfo_flags */
1486 TV_IPA_OPT, /* tv_id */
1487 0, /* properties_required */
1488 0, /* properties_provided */
1489 0, /* properties_destroyed */
1490 0, /* todo_flags_start */
1491 0, /* todo_flags_finish */
1494 class pass_ipa_increase_alignment : public simple_ipa_opt_pass
1496 public:
1497 pass_ipa_increase_alignment (gcc::context *ctxt)
1498 : simple_ipa_opt_pass (pass_data_ipa_increase_alignment, ctxt)
1501 /* opt_pass methods: */
1502 virtual bool gate (function *)
1504 return flag_section_anchors && flag_tree_loop_vectorize;
1507 virtual unsigned int execute (function *) { return increase_alignment (); }
1509 }; // class pass_ipa_increase_alignment
1511 } // anon namespace
1513 simple_ipa_opt_pass *
1514 make_pass_ipa_increase_alignment (gcc::context *ctxt)
1516 return new pass_ipa_increase_alignment (ctxt);