1 /* SCC value numbering for trees
2 Copyright (C) 2006-2016 Free Software Foundation, Inc.
3 Contributed by Daniel Berlin <dan@dberlin.org>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License 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/>. */
23 #include "coretypes.h"
28 #include "alloc-pool.h"
31 #include "insn-config.h"
34 #include "gimple-pretty-print.h"
36 #include "fold-const.h"
37 #include "stor-layout.h"
39 #include "tree-inline.h"
40 #include "internal-fn.h"
41 #include "gimple-fold.h"
56 #include "tree-ssa-propagate.h"
57 #include "tree-ssa-sccvn.h"
60 #include "gimple-iterator.h"
61 #include "gimple-match.h"
63 /* This algorithm is based on the SCC algorithm presented by Keith
64 Cooper and L. Taylor Simpson in "SCC-Based Value numbering"
65 (http://citeseer.ist.psu.edu/41805.html). In
66 straight line code, it is equivalent to a regular hash based value
67 numbering that is performed in reverse postorder.
69 For code with cycles, there are two alternatives, both of which
70 require keeping the hashtables separate from the actual list of
71 value numbers for SSA names.
73 1. Iterate value numbering in an RPO walk of the blocks, removing
74 all the entries from the hashtable after each iteration (but
75 keeping the SSA name->value number mapping between iterations).
76 Iterate until it does not change.
78 2. Perform value numbering as part of an SCC walk on the SSA graph,
79 iterating only the cycles in the SSA graph until they do not change
80 (using a separate, optimistic hashtable for value numbering the SCC
83 The second is not just faster in practice (because most SSA graph
84 cycles do not involve all the variables in the graph), it also has
87 One of these nice properties is that when we pop an SCC off the
88 stack, we are guaranteed to have processed all the operands coming from
89 *outside of that SCC*, so we do not need to do anything special to
90 ensure they have value numbers.
92 Another nice property is that the SCC walk is done as part of a DFS
93 of the SSA graph, which makes it easy to perform combining and
94 simplifying operations at the same time.
96 The code below is deliberately written in a way that makes it easy
97 to separate the SCC walk from the other work it does.
99 In order to propagate constants through the code, we track which
100 expressions contain constants, and use those while folding. In
101 theory, we could also track expressions whose value numbers are
102 replaced, in case we end up folding based on expression
105 In order to value number memory, we assign value numbers to vuses.
106 This enables us to note that, for example, stores to the same
107 address of the same value from the same starting memory states are
111 1. We can iterate only the changing portions of the SCC's, but
112 I have not seen an SCC big enough for this to be a win.
113 2. If you differentiate between phi nodes for loops and phi nodes
114 for if-then-else, you can properly consider phi nodes in different
115 blocks for equivalence.
116 3. We could value number vuses in more cases, particularly, whole
121 static tree
*last_vuse_ptr
;
122 static vn_lookup_kind vn_walk_kind
;
123 static vn_lookup_kind default_vn_walk_kind
;
126 /* vn_nary_op hashtable helpers. */
128 struct vn_nary_op_hasher
: nofree_ptr_hash
<vn_nary_op_s
>
130 typedef vn_nary_op_s
*compare_type
;
131 static inline hashval_t
hash (const vn_nary_op_s
*);
132 static inline bool equal (const vn_nary_op_s
*, const vn_nary_op_s
*);
135 /* Return the computed hashcode for nary operation P1. */
138 vn_nary_op_hasher::hash (const vn_nary_op_s
*vno1
)
140 return vno1
->hashcode
;
143 /* Compare nary operations P1 and P2 and return true if they are
147 vn_nary_op_hasher::equal (const vn_nary_op_s
*vno1
, const vn_nary_op_s
*vno2
)
149 return vn_nary_op_eq (vno1
, vno2
);
152 typedef hash_table
<vn_nary_op_hasher
> vn_nary_op_table_type
;
153 typedef vn_nary_op_table_type::iterator vn_nary_op_iterator_type
;
156 /* vn_phi hashtable helpers. */
159 vn_phi_eq (const_vn_phi_t
const vp1
, const_vn_phi_t
const vp2
);
161 struct vn_phi_hasher
: pointer_hash
<vn_phi_s
>
163 static inline hashval_t
hash (const vn_phi_s
*);
164 static inline bool equal (const vn_phi_s
*, const vn_phi_s
*);
165 static inline void remove (vn_phi_s
*);
168 /* Return the computed hashcode for phi operation P1. */
171 vn_phi_hasher::hash (const vn_phi_s
*vp1
)
173 return vp1
->hashcode
;
176 /* Compare two phi entries for equality, ignoring VN_TOP arguments. */
179 vn_phi_hasher::equal (const vn_phi_s
*vp1
, const vn_phi_s
*vp2
)
181 return vn_phi_eq (vp1
, vp2
);
184 /* Free a phi operation structure VP. */
187 vn_phi_hasher::remove (vn_phi_s
*phi
)
189 phi
->phiargs
.release ();
192 typedef hash_table
<vn_phi_hasher
> vn_phi_table_type
;
193 typedef vn_phi_table_type::iterator vn_phi_iterator_type
;
196 /* Compare two reference operands P1 and P2 for equality. Return true if
197 they are equal, and false otherwise. */
200 vn_reference_op_eq (const void *p1
, const void *p2
)
202 const_vn_reference_op_t
const vro1
= (const_vn_reference_op_t
) p1
;
203 const_vn_reference_op_t
const vro2
= (const_vn_reference_op_t
) p2
;
205 return (vro1
->opcode
== vro2
->opcode
206 /* We do not care for differences in type qualification. */
207 && (vro1
->type
== vro2
->type
208 || (vro1
->type
&& vro2
->type
209 && types_compatible_p (TYPE_MAIN_VARIANT (vro1
->type
),
210 TYPE_MAIN_VARIANT (vro2
->type
))))
211 && expressions_equal_p (vro1
->op0
, vro2
->op0
)
212 && expressions_equal_p (vro1
->op1
, vro2
->op1
)
213 && expressions_equal_p (vro1
->op2
, vro2
->op2
));
216 /* Free a reference operation structure VP. */
219 free_reference (vn_reference_s
*vr
)
221 vr
->operands
.release ();
225 /* vn_reference hashtable helpers. */
227 struct vn_reference_hasher
: pointer_hash
<vn_reference_s
>
229 static inline hashval_t
hash (const vn_reference_s
*);
230 static inline bool equal (const vn_reference_s
*, const vn_reference_s
*);
231 static inline void remove (vn_reference_s
*);
234 /* Return the hashcode for a given reference operation P1. */
237 vn_reference_hasher::hash (const vn_reference_s
*vr1
)
239 return vr1
->hashcode
;
243 vn_reference_hasher::equal (const vn_reference_s
*v
, const vn_reference_s
*c
)
245 return vn_reference_eq (v
, c
);
249 vn_reference_hasher::remove (vn_reference_s
*v
)
254 typedef hash_table
<vn_reference_hasher
> vn_reference_table_type
;
255 typedef vn_reference_table_type::iterator vn_reference_iterator_type
;
258 /* The set of hashtables and alloc_pool's for their items. */
260 typedef struct vn_tables_s
262 vn_nary_op_table_type
*nary
;
263 vn_phi_table_type
*phis
;
264 vn_reference_table_type
*references
;
265 struct obstack nary_obstack
;
266 object_allocator
<vn_phi_s
> *phis_pool
;
267 object_allocator
<vn_reference_s
> *references_pool
;
271 /* vn_constant hashtable helpers. */
273 struct vn_constant_hasher
: free_ptr_hash
<vn_constant_s
>
275 static inline hashval_t
hash (const vn_constant_s
*);
276 static inline bool equal (const vn_constant_s
*, const vn_constant_s
*);
279 /* Hash table hash function for vn_constant_t. */
282 vn_constant_hasher::hash (const vn_constant_s
*vc1
)
284 return vc1
->hashcode
;
287 /* Hash table equality function for vn_constant_t. */
290 vn_constant_hasher::equal (const vn_constant_s
*vc1
, const vn_constant_s
*vc2
)
292 if (vc1
->hashcode
!= vc2
->hashcode
)
295 return vn_constant_eq_with_type (vc1
->constant
, vc2
->constant
);
298 static hash_table
<vn_constant_hasher
> *constant_to_value_id
;
299 static bitmap constant_value_ids
;
302 /* Valid hashtables storing information we have proven to be
305 static vn_tables_t valid_info
;
307 /* Optimistic hashtables storing information we are making assumptions about
308 during iterations. */
310 static vn_tables_t optimistic_info
;
312 /* Pointer to the set of hashtables that is currently being used.
313 Should always point to either the optimistic_info, or the
316 static vn_tables_t current_info
;
319 /* Reverse post order index for each basic block. */
321 static int *rpo_numbers
;
323 #define SSA_VAL(x) (VN_INFO ((x))->valnum)
325 /* Return the SSA value of the VUSE x, supporting released VDEFs
326 during elimination which will value-number the VDEF to the
327 associated VUSE (but not substitute in the whole lattice). */
330 vuse_ssa_val (tree x
)
339 while (SSA_NAME_IN_FREE_LIST (x
));
344 /* This represents the top of the VN lattice, which is the universal
349 /* Unique counter for our value ids. */
351 static unsigned int next_value_id
;
353 /* Next DFS number and the stack for strongly connected component
356 static unsigned int next_dfs_num
;
357 static vec
<tree
> sccstack
;
361 /* Table of vn_ssa_aux_t's, one per ssa_name. The vn_ssa_aux_t objects
362 are allocated on an obstack for locality reasons, and to free them
363 without looping over the vec. */
365 static vec
<vn_ssa_aux_t
> vn_ssa_aux_table
;
366 static struct obstack vn_ssa_aux_obstack
;
368 /* Return whether there is value numbering information for a given SSA name. */
371 has_VN_INFO (tree name
)
373 if (SSA_NAME_VERSION (name
) < vn_ssa_aux_table
.length ())
374 return vn_ssa_aux_table
[SSA_NAME_VERSION (name
)] != NULL
;
378 /* Return the value numbering information for a given SSA name. */
383 vn_ssa_aux_t res
= vn_ssa_aux_table
[SSA_NAME_VERSION (name
)];
384 gcc_checking_assert (res
);
388 /* Set the value numbering info for a given SSA name to a given
392 VN_INFO_SET (tree name
, vn_ssa_aux_t value
)
394 vn_ssa_aux_table
[SSA_NAME_VERSION (name
)] = value
;
397 /* Initialize the value numbering info for a given SSA name.
398 This should be called just once for every SSA name. */
401 VN_INFO_GET (tree name
)
403 vn_ssa_aux_t newinfo
;
405 gcc_assert (SSA_NAME_VERSION (name
) >= vn_ssa_aux_table
.length ()
406 || vn_ssa_aux_table
[SSA_NAME_VERSION (name
)] == NULL
);
407 newinfo
= XOBNEW (&vn_ssa_aux_obstack
, struct vn_ssa_aux
);
408 memset (newinfo
, 0, sizeof (struct vn_ssa_aux
));
409 if (SSA_NAME_VERSION (name
) >= vn_ssa_aux_table
.length ())
410 vn_ssa_aux_table
.safe_grow_cleared (SSA_NAME_VERSION (name
) + 1);
411 vn_ssa_aux_table
[SSA_NAME_VERSION (name
)] = newinfo
;
416 /* Return the vn_kind the expression computed by the stmt should be
420 vn_get_stmt_kind (gimple
*stmt
)
422 switch (gimple_code (stmt
))
430 enum tree_code code
= gimple_assign_rhs_code (stmt
);
431 tree rhs1
= gimple_assign_rhs1 (stmt
);
432 switch (get_gimple_rhs_class (code
))
434 case GIMPLE_UNARY_RHS
:
435 case GIMPLE_BINARY_RHS
:
436 case GIMPLE_TERNARY_RHS
:
438 case GIMPLE_SINGLE_RHS
:
439 switch (TREE_CODE_CLASS (code
))
442 /* VOP-less references can go through unary case. */
443 if ((code
== REALPART_EXPR
444 || code
== IMAGPART_EXPR
445 || code
== VIEW_CONVERT_EXPR
446 || code
== BIT_FIELD_REF
)
447 && TREE_CODE (TREE_OPERAND (rhs1
, 0)) == SSA_NAME
)
451 case tcc_declaration
:
458 if (code
== ADDR_EXPR
)
459 return (is_gimple_min_invariant (rhs1
)
460 ? VN_CONSTANT
: VN_REFERENCE
);
461 else if (code
== CONSTRUCTOR
)
474 /* Lookup a value id for CONSTANT and return it. If it does not
478 get_constant_value_id (tree constant
)
480 vn_constant_s
**slot
;
481 struct vn_constant_s vc
;
483 vc
.hashcode
= vn_hash_constant_with_type (constant
);
484 vc
.constant
= constant
;
485 slot
= constant_to_value_id
->find_slot (&vc
, NO_INSERT
);
487 return (*slot
)->value_id
;
491 /* Lookup a value id for CONSTANT, and if it does not exist, create a
492 new one and return it. If it does exist, return it. */
495 get_or_alloc_constant_value_id (tree constant
)
497 vn_constant_s
**slot
;
498 struct vn_constant_s vc
;
501 vc
.hashcode
= vn_hash_constant_with_type (constant
);
502 vc
.constant
= constant
;
503 slot
= constant_to_value_id
->find_slot (&vc
, INSERT
);
505 return (*slot
)->value_id
;
507 vcp
= XNEW (struct vn_constant_s
);
508 vcp
->hashcode
= vc
.hashcode
;
509 vcp
->constant
= constant
;
510 vcp
->value_id
= get_next_value_id ();
512 bitmap_set_bit (constant_value_ids
, vcp
->value_id
);
513 return vcp
->value_id
;
516 /* Return true if V is a value id for a constant. */
519 value_id_constant_p (unsigned int v
)
521 return bitmap_bit_p (constant_value_ids
, v
);
524 /* Compute the hash for a reference operand VRO1. */
527 vn_reference_op_compute_hash (const vn_reference_op_t vro1
, inchash::hash
&hstate
)
529 hstate
.add_int (vro1
->opcode
);
531 inchash::add_expr (vro1
->op0
, hstate
);
533 inchash::add_expr (vro1
->op1
, hstate
);
535 inchash::add_expr (vro1
->op2
, hstate
);
538 /* Compute a hash for the reference operation VR1 and return it. */
541 vn_reference_compute_hash (const vn_reference_t vr1
)
543 inchash::hash hstate
;
546 vn_reference_op_t vro
;
547 HOST_WIDE_INT off
= -1;
550 FOR_EACH_VEC_ELT (vr1
->operands
, i
, vro
)
552 if (vro
->opcode
== MEM_REF
)
554 else if (vro
->opcode
!= ADDR_EXPR
)
566 hstate
.add_int (off
);
569 && vro
->opcode
== ADDR_EXPR
)
573 tree op
= TREE_OPERAND (vro
->op0
, 0);
574 hstate
.add_int (TREE_CODE (op
));
575 inchash::add_expr (op
, hstate
);
579 vn_reference_op_compute_hash (vro
, hstate
);
582 result
= hstate
.end ();
583 /* ??? We would ICE later if we hash instead of adding that in. */
585 result
+= SSA_NAME_VERSION (vr1
->vuse
);
590 /* Return true if reference operations VR1 and VR2 are equivalent. This
591 means they have the same set of operands and vuses. */
594 vn_reference_eq (const_vn_reference_t
const vr1
, const_vn_reference_t
const vr2
)
598 /* Early out if this is not a hash collision. */
599 if (vr1
->hashcode
!= vr2
->hashcode
)
602 /* The VOP needs to be the same. */
603 if (vr1
->vuse
!= vr2
->vuse
)
606 /* If the operands are the same we are done. */
607 if (vr1
->operands
== vr2
->operands
)
610 if (!expressions_equal_p (TYPE_SIZE (vr1
->type
), TYPE_SIZE (vr2
->type
)))
613 if (INTEGRAL_TYPE_P (vr1
->type
)
614 && INTEGRAL_TYPE_P (vr2
->type
))
616 if (TYPE_PRECISION (vr1
->type
) != TYPE_PRECISION (vr2
->type
))
619 else if (INTEGRAL_TYPE_P (vr1
->type
)
620 && (TYPE_PRECISION (vr1
->type
)
621 != TREE_INT_CST_LOW (TYPE_SIZE (vr1
->type
))))
623 else if (INTEGRAL_TYPE_P (vr2
->type
)
624 && (TYPE_PRECISION (vr2
->type
)
625 != TREE_INT_CST_LOW (TYPE_SIZE (vr2
->type
))))
632 HOST_WIDE_INT off1
= 0, off2
= 0;
633 vn_reference_op_t vro1
, vro2
;
634 vn_reference_op_s tem1
, tem2
;
635 bool deref1
= false, deref2
= false;
636 for (; vr1
->operands
.iterate (i
, &vro1
); i
++)
638 if (vro1
->opcode
== MEM_REF
)
640 /* Do not look through a storage order barrier. */
641 else if (vro1
->opcode
== VIEW_CONVERT_EXPR
&& vro1
->reverse
)
647 for (; vr2
->operands
.iterate (j
, &vro2
); j
++)
649 if (vro2
->opcode
== MEM_REF
)
651 /* Do not look through a storage order barrier. */
652 else if (vro2
->opcode
== VIEW_CONVERT_EXPR
&& vro2
->reverse
)
660 if (deref1
&& vro1
->opcode
== ADDR_EXPR
)
662 memset (&tem1
, 0, sizeof (tem1
));
663 tem1
.op0
= TREE_OPERAND (vro1
->op0
, 0);
664 tem1
.type
= TREE_TYPE (tem1
.op0
);
665 tem1
.opcode
= TREE_CODE (tem1
.op0
);
669 if (deref2
&& vro2
->opcode
== ADDR_EXPR
)
671 memset (&tem2
, 0, sizeof (tem2
));
672 tem2
.op0
= TREE_OPERAND (vro2
->op0
, 0);
673 tem2
.type
= TREE_TYPE (tem2
.op0
);
674 tem2
.opcode
= TREE_CODE (tem2
.op0
);
678 if (deref1
!= deref2
)
680 if (!vn_reference_op_eq (vro1
, vro2
))
685 while (vr1
->operands
.length () != i
686 || vr2
->operands
.length () != j
);
691 /* Copy the operations present in load/store REF into RESULT, a vector of
692 vn_reference_op_s's. */
695 copy_reference_ops_from_ref (tree ref
, vec
<vn_reference_op_s
> *result
)
697 if (TREE_CODE (ref
) == TARGET_MEM_REF
)
699 vn_reference_op_s temp
;
703 memset (&temp
, 0, sizeof (temp
));
704 temp
.type
= TREE_TYPE (ref
);
705 temp
.opcode
= TREE_CODE (ref
);
706 temp
.op0
= TMR_INDEX (ref
);
707 temp
.op1
= TMR_STEP (ref
);
708 temp
.op2
= TMR_OFFSET (ref
);
710 temp
.clique
= MR_DEPENDENCE_CLIQUE (ref
);
711 temp
.base
= MR_DEPENDENCE_BASE (ref
);
712 result
->quick_push (temp
);
714 memset (&temp
, 0, sizeof (temp
));
715 temp
.type
= NULL_TREE
;
716 temp
.opcode
= ERROR_MARK
;
717 temp
.op0
= TMR_INDEX2 (ref
);
719 result
->quick_push (temp
);
721 memset (&temp
, 0, sizeof (temp
));
722 temp
.type
= NULL_TREE
;
723 temp
.opcode
= TREE_CODE (TMR_BASE (ref
));
724 temp
.op0
= TMR_BASE (ref
);
726 result
->quick_push (temp
);
730 /* For non-calls, store the information that makes up the address. */
734 vn_reference_op_s temp
;
736 memset (&temp
, 0, sizeof (temp
));
737 temp
.type
= TREE_TYPE (ref
);
738 temp
.opcode
= TREE_CODE (ref
);
744 temp
.op0
= TREE_OPERAND (ref
, 1);
747 temp
.op0
= TREE_OPERAND (ref
, 1);
751 /* The base address gets its own vn_reference_op_s structure. */
752 temp
.op0
= TREE_OPERAND (ref
, 1);
754 offset_int off
= mem_ref_offset (ref
);
755 if (wi::fits_shwi_p (off
))
756 temp
.off
= off
.to_shwi ();
758 temp
.clique
= MR_DEPENDENCE_CLIQUE (ref
);
759 temp
.base
= MR_DEPENDENCE_BASE (ref
);
760 temp
.reverse
= REF_REVERSE_STORAGE_ORDER (ref
);
763 /* Record bits, position and storage order. */
764 temp
.op0
= TREE_OPERAND (ref
, 1);
765 temp
.op1
= TREE_OPERAND (ref
, 2);
766 if (tree_fits_shwi_p (TREE_OPERAND (ref
, 2)))
768 HOST_WIDE_INT off
= tree_to_shwi (TREE_OPERAND (ref
, 2));
769 if (off
% BITS_PER_UNIT
== 0)
770 temp
.off
= off
/ BITS_PER_UNIT
;
772 temp
.reverse
= REF_REVERSE_STORAGE_ORDER (ref
);
775 /* The field decl is enough to unambiguously specify the field,
776 a matching type is not necessary and a mismatching type
777 is always a spurious difference. */
778 temp
.type
= NULL_TREE
;
779 temp
.op0
= TREE_OPERAND (ref
, 1);
780 temp
.op1
= TREE_OPERAND (ref
, 2);
782 tree this_offset
= component_ref_field_offset (ref
);
784 && TREE_CODE (this_offset
) == INTEGER_CST
)
786 tree bit_offset
= DECL_FIELD_BIT_OFFSET (TREE_OPERAND (ref
, 1));
787 if (TREE_INT_CST_LOW (bit_offset
) % BITS_PER_UNIT
== 0)
790 = (wi::to_offset (this_offset
)
791 + (wi::to_offset (bit_offset
) >> LOG2_BITS_PER_UNIT
));
792 if (wi::fits_shwi_p (off
)
793 /* Probibit value-numbering zero offset components
794 of addresses the same before the pass folding
795 __builtin_object_size had a chance to run
796 (checking cfun->after_inlining does the
798 && (TREE_CODE (orig
) != ADDR_EXPR
800 || cfun
->after_inlining
))
801 temp
.off
= off
.to_shwi ();
806 case ARRAY_RANGE_REF
:
809 tree eltype
= TREE_TYPE (TREE_TYPE (TREE_OPERAND (ref
, 0)));
810 /* Record index as operand. */
811 temp
.op0
= TREE_OPERAND (ref
, 1);
812 /* Always record lower bounds and element size. */
813 temp
.op1
= array_ref_low_bound (ref
);
814 /* But record element size in units of the type alignment. */
815 temp
.op2
= TREE_OPERAND (ref
, 3);
816 temp
.align
= eltype
->type_common
.align
;
818 temp
.op2
= size_binop (EXACT_DIV_EXPR
, TYPE_SIZE_UNIT (eltype
),
819 size_int (TYPE_ALIGN_UNIT (eltype
)));
820 if (TREE_CODE (temp
.op0
) == INTEGER_CST
821 && TREE_CODE (temp
.op1
) == INTEGER_CST
822 && TREE_CODE (temp
.op2
) == INTEGER_CST
)
824 offset_int off
= ((wi::to_offset (temp
.op0
)
825 - wi::to_offset (temp
.op1
))
826 * wi::to_offset (temp
.op2
)
827 * vn_ref_op_align_unit (&temp
));
828 if (wi::fits_shwi_p (off
))
829 temp
.off
= off
.to_shwi();
834 if (DECL_HARD_REGISTER (ref
))
843 /* Canonicalize decls to MEM[&decl] which is what we end up with
844 when valueizing MEM[ptr] with ptr = &decl. */
845 temp
.opcode
= MEM_REF
;
846 temp
.op0
= build_int_cst (build_pointer_type (TREE_TYPE (ref
)), 0);
848 result
->safe_push (temp
);
849 temp
.opcode
= ADDR_EXPR
;
850 temp
.op0
= build1 (ADDR_EXPR
, TREE_TYPE (temp
.op0
), ref
);
851 temp
.type
= TREE_TYPE (temp
.op0
);
865 if (is_gimple_min_invariant (ref
))
871 /* These are only interesting for their operands, their
872 existence, and their type. They will never be the last
873 ref in the chain of references (IE they require an
874 operand), so we don't have to put anything
875 for op* as it will be handled by the iteration */
879 case VIEW_CONVERT_EXPR
:
881 temp
.reverse
= storage_order_barrier_p (ref
);
884 /* This is only interesting for its constant offset. */
885 temp
.off
= TREE_INT_CST_LOW (TYPE_SIZE_UNIT (TREE_TYPE (ref
)));
890 result
->safe_push (temp
);
892 if (REFERENCE_CLASS_P (ref
)
893 || TREE_CODE (ref
) == MODIFY_EXPR
894 || TREE_CODE (ref
) == WITH_SIZE_EXPR
895 || (TREE_CODE (ref
) == ADDR_EXPR
896 && !is_gimple_min_invariant (ref
)))
897 ref
= TREE_OPERAND (ref
, 0);
903 /* Build a alias-oracle reference abstraction in *REF from the vn_reference
904 operands in *OPS, the reference alias set SET and the reference type TYPE.
905 Return true if something useful was produced. */
908 ao_ref_init_from_vn_reference (ao_ref
*ref
,
909 alias_set_type set
, tree type
,
910 vec
<vn_reference_op_s
> ops
)
912 vn_reference_op_t op
;
914 tree base
= NULL_TREE
;
916 offset_int offset
= 0;
918 offset_int size
= -1;
919 tree size_tree
= NULL_TREE
;
920 alias_set_type base_alias_set
= -1;
922 /* First get the final access size from just the outermost expression. */
924 if (op
->opcode
== COMPONENT_REF
)
925 size_tree
= DECL_SIZE (op
->op0
);
926 else if (op
->opcode
== BIT_FIELD_REF
)
930 machine_mode mode
= TYPE_MODE (type
);
932 size_tree
= TYPE_SIZE (type
);
934 size
= int (GET_MODE_BITSIZE (mode
));
936 if (size_tree
!= NULL_TREE
937 && TREE_CODE (size_tree
) == INTEGER_CST
)
938 size
= wi::to_offset (size_tree
);
940 /* Initially, maxsize is the same as the accessed element size.
941 In the following it will only grow (or become -1). */
944 /* Compute cumulative bit-offset for nested component-refs and array-refs,
945 and find the ultimate containing object. */
946 FOR_EACH_VEC_ELT (ops
, i
, op
)
950 /* These may be in the reference ops, but we cannot do anything
951 sensible with them here. */
953 /* Apart from ADDR_EXPR arguments to MEM_REF. */
954 if (base
!= NULL_TREE
955 && TREE_CODE (base
) == MEM_REF
957 && DECL_P (TREE_OPERAND (op
->op0
, 0)))
959 vn_reference_op_t pop
= &ops
[i
-1];
960 base
= TREE_OPERAND (op
->op0
, 0);
967 offset
+= pop
->off
* BITS_PER_UNIT
;
975 /* Record the base objects. */
977 base_alias_set
= get_deref_alias_set (op
->op0
);
978 *op0_p
= build2 (MEM_REF
, op
->type
,
980 MR_DEPENDENCE_CLIQUE (*op0_p
) = op
->clique
;
981 MR_DEPENDENCE_BASE (*op0_p
) = op
->base
;
982 op0_p
= &TREE_OPERAND (*op0_p
, 0);
993 /* And now the usual component-reference style ops. */
995 offset
+= wi::to_offset (op
->op1
);
1000 tree field
= op
->op0
;
1001 /* We do not have a complete COMPONENT_REF tree here so we
1002 cannot use component_ref_field_offset. Do the interesting
1004 tree this_offset
= DECL_FIELD_OFFSET (field
);
1006 if (op
->op1
|| TREE_CODE (this_offset
) != INTEGER_CST
)
1010 offset_int woffset
= (wi::to_offset (this_offset
)
1011 << LOG2_BITS_PER_UNIT
);
1012 woffset
+= wi::to_offset (DECL_FIELD_BIT_OFFSET (field
));
1018 case ARRAY_RANGE_REF
:
1020 /* We recorded the lower bound and the element size. */
1021 if (TREE_CODE (op
->op0
) != INTEGER_CST
1022 || TREE_CODE (op
->op1
) != INTEGER_CST
1023 || TREE_CODE (op
->op2
) != INTEGER_CST
)
1028 = wi::sext (wi::to_offset (op
->op0
) - wi::to_offset (op
->op1
),
1029 TYPE_PRECISION (TREE_TYPE (op
->op0
)));
1030 woffset
*= wi::to_offset (op
->op2
) * vn_ref_op_align_unit (op
);
1031 woffset
<<= LOG2_BITS_PER_UNIT
;
1043 case VIEW_CONVERT_EXPR
:
1060 if (base
== NULL_TREE
)
1063 ref
->ref
= NULL_TREE
;
1065 ref
->ref_alias_set
= set
;
1066 if (base_alias_set
!= -1)
1067 ref
->base_alias_set
= base_alias_set
;
1069 ref
->base_alias_set
= get_alias_set (base
);
1070 /* We discount volatiles from value-numbering elsewhere. */
1071 ref
->volatile_p
= false;
1073 if (!wi::fits_shwi_p (size
) || wi::neg_p (size
))
1081 ref
->size
= size
.to_shwi ();
1083 if (!wi::fits_shwi_p (offset
))
1090 ref
->offset
= offset
.to_shwi ();
1092 if (!wi::fits_shwi_p (max_size
) || wi::neg_p (max_size
))
1095 ref
->max_size
= max_size
.to_shwi ();
1100 /* Copy the operations present in load/store/call REF into RESULT, a vector of
1101 vn_reference_op_s's. */
1104 copy_reference_ops_from_call (gcall
*call
,
1105 vec
<vn_reference_op_s
> *result
)
1107 vn_reference_op_s temp
;
1109 tree lhs
= gimple_call_lhs (call
);
1112 /* If 2 calls have a different non-ssa lhs, vdef value numbers should be
1113 different. By adding the lhs here in the vector, we ensure that the
1114 hashcode is different, guaranteeing a different value number. */
1115 if (lhs
&& TREE_CODE (lhs
) != SSA_NAME
)
1117 memset (&temp
, 0, sizeof (temp
));
1118 temp
.opcode
= MODIFY_EXPR
;
1119 temp
.type
= TREE_TYPE (lhs
);
1122 result
->safe_push (temp
);
1125 /* Copy the type, opcode, function, static chain and EH region, if any. */
1126 memset (&temp
, 0, sizeof (temp
));
1127 temp
.type
= gimple_call_return_type (call
);
1128 temp
.opcode
= CALL_EXPR
;
1129 temp
.op0
= gimple_call_fn (call
);
1130 temp
.op1
= gimple_call_chain (call
);
1131 if (stmt_could_throw_p (call
) && (lr
= lookup_stmt_eh_lp (call
)) > 0)
1132 temp
.op2
= size_int (lr
);
1134 if (gimple_call_with_bounds_p (call
))
1135 temp
.with_bounds
= 1;
1136 result
->safe_push (temp
);
1138 /* Copy the call arguments. As they can be references as well,
1139 just chain them together. */
1140 for (i
= 0; i
< gimple_call_num_args (call
); ++i
)
1142 tree callarg
= gimple_call_arg (call
, i
);
1143 copy_reference_ops_from_ref (callarg
, result
);
1147 /* Fold *& at position *I_P in a vn_reference_op_s vector *OPS. Updates
1148 *I_P to point to the last element of the replacement. */
1150 vn_reference_fold_indirect (vec
<vn_reference_op_s
> *ops
,
1153 unsigned int i
= *i_p
;
1154 vn_reference_op_t op
= &(*ops
)[i
];
1155 vn_reference_op_t mem_op
= &(*ops
)[i
- 1];
1157 HOST_WIDE_INT addr_offset
= 0;
1159 /* The only thing we have to do is from &OBJ.foo.bar add the offset
1160 from .foo.bar to the preceding MEM_REF offset and replace the
1161 address with &OBJ. */
1162 addr_base
= get_addr_base_and_unit_offset (TREE_OPERAND (op
->op0
, 0),
1164 gcc_checking_assert (addr_base
&& TREE_CODE (addr_base
) != MEM_REF
);
1165 if (addr_base
!= TREE_OPERAND (op
->op0
, 0))
1167 offset_int off
= offset_int::from (mem_op
->op0
, SIGNED
);
1169 mem_op
->op0
= wide_int_to_tree (TREE_TYPE (mem_op
->op0
), off
);
1170 op
->op0
= build_fold_addr_expr (addr_base
);
1171 if (tree_fits_shwi_p (mem_op
->op0
))
1172 mem_op
->off
= tree_to_shwi (mem_op
->op0
);
1180 /* Fold *& at position *I_P in a vn_reference_op_s vector *OPS. Updates
1181 *I_P to point to the last element of the replacement. */
1183 vn_reference_maybe_forwprop_address (vec
<vn_reference_op_s
> *ops
,
1186 unsigned int i
= *i_p
;
1187 vn_reference_op_t op
= &(*ops
)[i
];
1188 vn_reference_op_t mem_op
= &(*ops
)[i
- 1];
1190 enum tree_code code
;
1193 def_stmt
= SSA_NAME_DEF_STMT (op
->op0
);
1194 if (!is_gimple_assign (def_stmt
))
1197 code
= gimple_assign_rhs_code (def_stmt
);
1198 if (code
!= ADDR_EXPR
1199 && code
!= POINTER_PLUS_EXPR
)
1202 off
= offset_int::from (mem_op
->op0
, SIGNED
);
1204 /* The only thing we have to do is from &OBJ.foo.bar add the offset
1205 from .foo.bar to the preceding MEM_REF offset and replace the
1206 address with &OBJ. */
1207 if (code
== ADDR_EXPR
)
1209 tree addr
, addr_base
;
1210 HOST_WIDE_INT addr_offset
;
1212 addr
= gimple_assign_rhs1 (def_stmt
);
1213 addr_base
= get_addr_base_and_unit_offset (TREE_OPERAND (addr
, 0),
1215 /* If that didn't work because the address isn't invariant propagate
1216 the reference tree from the address operation in case the current
1217 dereference isn't offsetted. */
1219 && *i_p
== ops
->length () - 1
1221 /* This makes us disable this transform for PRE where the
1222 reference ops might be also used for code insertion which
1224 && default_vn_walk_kind
== VN_WALKREWRITE
)
1226 auto_vec
<vn_reference_op_s
, 32> tem
;
1227 copy_reference_ops_from_ref (TREE_OPERAND (addr
, 0), &tem
);
1228 /* Make sure to preserve TBAA info. The only objects not
1229 wrapped in MEM_REFs that can have their address taken are
1231 if (tem
.length () >= 2
1232 && tem
[tem
.length () - 2].opcode
== MEM_REF
)
1234 vn_reference_op_t new_mem_op
= &tem
[tem
.length () - 2];
1235 new_mem_op
->op0
= fold_convert (TREE_TYPE (mem_op
->op0
),
1239 gcc_assert (tem
.last ().opcode
== STRING_CST
);
1242 ops
->safe_splice (tem
);
1247 || TREE_CODE (addr_base
) != MEM_REF
)
1251 off
+= mem_ref_offset (addr_base
);
1252 op
->op0
= TREE_OPERAND (addr_base
, 0);
1257 ptr
= gimple_assign_rhs1 (def_stmt
);
1258 ptroff
= gimple_assign_rhs2 (def_stmt
);
1259 if (TREE_CODE (ptr
) != SSA_NAME
1260 || TREE_CODE (ptroff
) != INTEGER_CST
)
1263 off
+= wi::to_offset (ptroff
);
1267 mem_op
->op0
= wide_int_to_tree (TREE_TYPE (mem_op
->op0
), off
);
1268 if (tree_fits_shwi_p (mem_op
->op0
))
1269 mem_op
->off
= tree_to_shwi (mem_op
->op0
);
1272 if (TREE_CODE (op
->op0
) == SSA_NAME
)
1273 op
->op0
= SSA_VAL (op
->op0
);
1274 if (TREE_CODE (op
->op0
) != SSA_NAME
)
1275 op
->opcode
= TREE_CODE (op
->op0
);
1278 if (TREE_CODE (op
->op0
) == SSA_NAME
)
1279 vn_reference_maybe_forwprop_address (ops
, i_p
);
1280 else if (TREE_CODE (op
->op0
) == ADDR_EXPR
)
1281 vn_reference_fold_indirect (ops
, i_p
);
1285 /* Optimize the reference REF to a constant if possible or return
1286 NULL_TREE if not. */
1289 fully_constant_vn_reference_p (vn_reference_t ref
)
1291 vec
<vn_reference_op_s
> operands
= ref
->operands
;
1292 vn_reference_op_t op
;
1294 /* Try to simplify the translated expression if it is
1295 a call to a builtin function with at most two arguments. */
1297 if (op
->opcode
== CALL_EXPR
1298 && TREE_CODE (op
->op0
) == ADDR_EXPR
1299 && TREE_CODE (TREE_OPERAND (op
->op0
, 0)) == FUNCTION_DECL
1300 && DECL_BUILT_IN (TREE_OPERAND (op
->op0
, 0))
1301 && operands
.length () >= 2
1302 && operands
.length () <= 3)
1304 vn_reference_op_t arg0
, arg1
= NULL
;
1305 bool anyconst
= false;
1306 arg0
= &operands
[1];
1307 if (operands
.length () > 2)
1308 arg1
= &operands
[2];
1309 if (TREE_CODE_CLASS (arg0
->opcode
) == tcc_constant
1310 || (arg0
->opcode
== ADDR_EXPR
1311 && is_gimple_min_invariant (arg0
->op0
)))
1314 && (TREE_CODE_CLASS (arg1
->opcode
) == tcc_constant
1315 || (arg1
->opcode
== ADDR_EXPR
1316 && is_gimple_min_invariant (arg1
->op0
))))
1320 tree folded
= build_call_expr (TREE_OPERAND (op
->op0
, 0),
1323 arg1
? arg1
->op0
: NULL
);
1325 && TREE_CODE (folded
) == NOP_EXPR
)
1326 folded
= TREE_OPERAND (folded
, 0);
1328 && is_gimple_min_invariant (folded
))
1333 /* Simplify reads from constants or constant initializers. */
1334 else if (BITS_PER_UNIT
== 8
1335 && is_gimple_reg_type (ref
->type
)
1336 && (!INTEGRAL_TYPE_P (ref
->type
)
1337 || TYPE_PRECISION (ref
->type
) % BITS_PER_UNIT
== 0))
1339 HOST_WIDE_INT off
= 0;
1341 if (INTEGRAL_TYPE_P (ref
->type
))
1342 size
= TYPE_PRECISION (ref
->type
);
1344 size
= tree_to_shwi (TYPE_SIZE (ref
->type
));
1345 if (size
% BITS_PER_UNIT
!= 0
1346 || size
> MAX_BITSIZE_MODE_ANY_MODE
)
1348 size
/= BITS_PER_UNIT
;
1350 for (i
= 0; i
< operands
.length (); ++i
)
1352 if (TREE_CODE_CLASS (operands
[i
].opcode
) == tcc_constant
)
1357 if (operands
[i
].off
== -1)
1359 off
+= operands
[i
].off
;
1360 if (operands
[i
].opcode
== MEM_REF
)
1366 vn_reference_op_t base
= &operands
[--i
];
1367 tree ctor
= error_mark_node
;
1368 tree decl
= NULL_TREE
;
1369 if (TREE_CODE_CLASS (base
->opcode
) == tcc_constant
)
1371 else if (base
->opcode
== MEM_REF
1372 && base
[1].opcode
== ADDR_EXPR
1373 && (TREE_CODE (TREE_OPERAND (base
[1].op0
, 0)) == VAR_DECL
1374 || TREE_CODE (TREE_OPERAND (base
[1].op0
, 0)) == CONST_DECL
))
1376 decl
= TREE_OPERAND (base
[1].op0
, 0);
1377 ctor
= ctor_for_folding (decl
);
1379 if (ctor
== NULL_TREE
)
1380 return build_zero_cst (ref
->type
);
1381 else if (ctor
!= error_mark_node
)
1385 tree res
= fold_ctor_reference (ref
->type
, ctor
,
1386 off
* BITS_PER_UNIT
,
1387 size
* BITS_PER_UNIT
, decl
);
1390 STRIP_USELESS_TYPE_CONVERSION (res
);
1391 if (is_gimple_min_invariant (res
))
1397 unsigned char buf
[MAX_BITSIZE_MODE_ANY_MODE
/ BITS_PER_UNIT
];
1398 int len
= native_encode_expr (ctor
, buf
, size
, off
);
1400 return native_interpret_expr (ref
->type
, buf
, len
);
1408 /* Return true if OPS contain a storage order barrier. */
1411 contains_storage_order_barrier_p (vec
<vn_reference_op_s
> ops
)
1413 vn_reference_op_t op
;
1416 FOR_EACH_VEC_ELT (ops
, i
, op
)
1417 if (op
->opcode
== VIEW_CONVERT_EXPR
&& op
->reverse
)
1423 /* Transform any SSA_NAME's in a vector of vn_reference_op_s
1424 structures into their value numbers. This is done in-place, and
1425 the vector passed in is returned. *VALUEIZED_ANYTHING will specify
1426 whether any operands were valueized. */
1428 static vec
<vn_reference_op_s
>
1429 valueize_refs_1 (vec
<vn_reference_op_s
> orig
, bool *valueized_anything
)
1431 vn_reference_op_t vro
;
1434 *valueized_anything
= false;
1436 FOR_EACH_VEC_ELT (orig
, i
, vro
)
1438 if (vro
->opcode
== SSA_NAME
1439 || (vro
->op0
&& TREE_CODE (vro
->op0
) == SSA_NAME
))
1441 tree tem
= SSA_VAL (vro
->op0
);
1442 if (tem
!= vro
->op0
)
1444 *valueized_anything
= true;
1447 /* If it transforms from an SSA_NAME to a constant, update
1449 if (TREE_CODE (vro
->op0
) != SSA_NAME
&& vro
->opcode
== SSA_NAME
)
1450 vro
->opcode
= TREE_CODE (vro
->op0
);
1452 if (vro
->op1
&& TREE_CODE (vro
->op1
) == SSA_NAME
)
1454 tree tem
= SSA_VAL (vro
->op1
);
1455 if (tem
!= vro
->op1
)
1457 *valueized_anything
= true;
1461 if (vro
->op2
&& TREE_CODE (vro
->op2
) == SSA_NAME
)
1463 tree tem
= SSA_VAL (vro
->op2
);
1464 if (tem
!= vro
->op2
)
1466 *valueized_anything
= true;
1470 /* If it transforms from an SSA_NAME to an address, fold with
1471 a preceding indirect reference. */
1474 && TREE_CODE (vro
->op0
) == ADDR_EXPR
1475 && orig
[i
- 1].opcode
== MEM_REF
)
1477 if (vn_reference_fold_indirect (&orig
, &i
))
1478 *valueized_anything
= true;
1481 && vro
->opcode
== SSA_NAME
1482 && orig
[i
- 1].opcode
== MEM_REF
)
1484 if (vn_reference_maybe_forwprop_address (&orig
, &i
))
1485 *valueized_anything
= true;
1487 /* If it transforms a non-constant ARRAY_REF into a constant
1488 one, adjust the constant offset. */
1489 else if (vro
->opcode
== ARRAY_REF
1491 && TREE_CODE (vro
->op0
) == INTEGER_CST
1492 && TREE_CODE (vro
->op1
) == INTEGER_CST
1493 && TREE_CODE (vro
->op2
) == INTEGER_CST
)
1495 offset_int off
= ((wi::to_offset (vro
->op0
)
1496 - wi::to_offset (vro
->op1
))
1497 * wi::to_offset (vro
->op2
)
1498 * vn_ref_op_align_unit (vro
));
1499 if (wi::fits_shwi_p (off
))
1500 vro
->off
= off
.to_shwi ();
1507 static vec
<vn_reference_op_s
>
1508 valueize_refs (vec
<vn_reference_op_s
> orig
)
1511 return valueize_refs_1 (orig
, &tem
);
1514 static vec
<vn_reference_op_s
> shared_lookup_references
;
1516 /* Create a vector of vn_reference_op_s structures from REF, a
1517 REFERENCE_CLASS_P tree. The vector is shared among all callers of
1518 this function. *VALUEIZED_ANYTHING will specify whether any
1519 operands were valueized. */
1521 static vec
<vn_reference_op_s
>
1522 valueize_shared_reference_ops_from_ref (tree ref
, bool *valueized_anything
)
1526 shared_lookup_references
.truncate (0);
1527 copy_reference_ops_from_ref (ref
, &shared_lookup_references
);
1528 shared_lookup_references
= valueize_refs_1 (shared_lookup_references
,
1529 valueized_anything
);
1530 return shared_lookup_references
;
1533 /* Create a vector of vn_reference_op_s structures from CALL, a
1534 call statement. The vector is shared among all callers of
1537 static vec
<vn_reference_op_s
>
1538 valueize_shared_reference_ops_from_call (gcall
*call
)
1542 shared_lookup_references
.truncate (0);
1543 copy_reference_ops_from_call (call
, &shared_lookup_references
);
1544 shared_lookup_references
= valueize_refs (shared_lookup_references
);
1545 return shared_lookup_references
;
1548 /* Lookup a SCCVN reference operation VR in the current hash table.
1549 Returns the resulting value number if it exists in the hash table,
1550 NULL_TREE otherwise. VNRESULT will be filled in with the actual
1551 vn_reference_t stored in the hashtable if something is found. */
1554 vn_reference_lookup_1 (vn_reference_t vr
, vn_reference_t
*vnresult
)
1556 vn_reference_s
**slot
;
1559 hash
= vr
->hashcode
;
1560 slot
= current_info
->references
->find_slot_with_hash (vr
, hash
, NO_INSERT
);
1561 if (!slot
&& current_info
== optimistic_info
)
1562 slot
= valid_info
->references
->find_slot_with_hash (vr
, hash
, NO_INSERT
);
1566 *vnresult
= (vn_reference_t
)*slot
;
1567 return ((vn_reference_t
)*slot
)->result
;
1573 /* Callback for walk_non_aliased_vuses. Adjusts the vn_reference_t VR_
1574 with the current VUSE and performs the expression lookup. */
1577 vn_reference_lookup_2 (ao_ref
*op ATTRIBUTE_UNUSED
, tree vuse
,
1578 unsigned int cnt
, void *vr_
)
1580 vn_reference_t vr
= (vn_reference_t
)vr_
;
1581 vn_reference_s
**slot
;
1584 /* This bounds the stmt walks we perform on reference lookups
1585 to O(1) instead of O(N) where N is the number of dominating
1587 if (cnt
> (unsigned) PARAM_VALUE (PARAM_SCCVN_MAX_ALIAS_QUERIES_PER_ACCESS
))
1591 *last_vuse_ptr
= vuse
;
1593 /* Fixup vuse and hash. */
1595 vr
->hashcode
= vr
->hashcode
- SSA_NAME_VERSION (vr
->vuse
);
1596 vr
->vuse
= vuse_ssa_val (vuse
);
1598 vr
->hashcode
= vr
->hashcode
+ SSA_NAME_VERSION (vr
->vuse
);
1600 hash
= vr
->hashcode
;
1601 slot
= current_info
->references
->find_slot_with_hash (vr
, hash
, NO_INSERT
);
1602 if (!slot
&& current_info
== optimistic_info
)
1603 slot
= valid_info
->references
->find_slot_with_hash (vr
, hash
, NO_INSERT
);
1610 /* Lookup an existing or insert a new vn_reference entry into the
1611 value table for the VUSE, SET, TYPE, OPERANDS reference which
1612 has the value VALUE which is either a constant or an SSA name. */
1614 static vn_reference_t
1615 vn_reference_lookup_or_insert_for_pieces (tree vuse
,
1618 vec
<vn_reference_op_s
,
1623 vn_reference_t result
;
1626 vr1
.operands
= operands
;
1629 vr1
.hashcode
= vn_reference_compute_hash (&vr1
);
1630 if (vn_reference_lookup_1 (&vr1
, &result
))
1632 if (TREE_CODE (value
) == SSA_NAME
)
1633 value_id
= VN_INFO (value
)->value_id
;
1635 value_id
= get_or_alloc_constant_value_id (value
);
1636 return vn_reference_insert_pieces (vuse
, set
, type
,
1637 operands
.copy (), value
, value_id
);
1640 static vn_nary_op_t
vn_nary_op_insert_stmt (gimple
*stmt
, tree result
);
1642 /* Hook for maybe_push_res_to_seq, lookup the expression in the VN tables. */
1645 vn_lookup_simplify_result (code_helper rcode
, tree type
, tree
*ops
)
1647 if (!rcode
.is_tree_code ())
1649 vn_nary_op_t vnresult
= NULL
;
1650 return vn_nary_op_lookup_pieces (TREE_CODE_LENGTH ((tree_code
) rcode
),
1651 (tree_code
) rcode
, type
, ops
, &vnresult
);
1654 /* Return a value-number for RCODE OPS... either by looking up an existing
1655 value-number for the simplified result or by inserting the operation if
1659 vn_nary_build_or_lookup_1 (code_helper rcode
, tree type
, tree
*ops
,
1662 tree result
= NULL_TREE
;
1663 /* We will be creating a value number for
1665 So first simplify and lookup this expression to see if it
1666 is already available. */
1667 mprts_hook
= vn_lookup_simplify_result
;
1669 switch (TREE_CODE_LENGTH ((tree_code
) rcode
))
1672 res
= gimple_resimplify1 (NULL
, &rcode
, type
, ops
, vn_valueize
);
1675 res
= gimple_resimplify2 (NULL
, &rcode
, type
, ops
, vn_valueize
);
1678 res
= gimple_resimplify3 (NULL
, &rcode
, type
, ops
, vn_valueize
);
1682 gimple
*new_stmt
= NULL
;
1684 && gimple_simplified_result_is_gimple_val (rcode
, ops
))
1685 /* The expression is already available. */
1689 tree val
= vn_lookup_simplify_result (rcode
, type
, ops
);
1692 gimple_seq stmts
= NULL
;
1693 result
= maybe_push_res_to_seq (rcode
, type
, ops
, &stmts
);
1696 gcc_assert (gimple_seq_singleton_p (stmts
));
1697 new_stmt
= gimple_seq_first_stmt (stmts
);
1701 /* The expression is already available. */
1706 /* The expression is not yet available, value-number lhs to
1707 the new SSA_NAME we created. */
1708 /* Initialize value-number information properly. */
1709 VN_INFO_GET (result
)->valnum
= result
;
1710 VN_INFO (result
)->value_id
= get_next_value_id ();
1711 gimple_seq_add_stmt_without_update (&VN_INFO (result
)->expr
,
1713 VN_INFO (result
)->needs_insertion
= true;
1714 /* ??? PRE phi-translation inserts NARYs without corresponding
1715 SSA name result. Re-use those but set their result according
1716 to the stmt we just built. */
1717 vn_nary_op_t nary
= NULL
;
1718 vn_nary_op_lookup_stmt (new_stmt
, &nary
);
1721 gcc_assert (nary
->result
== NULL_TREE
);
1722 nary
->result
= gimple_assign_lhs (new_stmt
);
1724 /* As all "inserted" statements are singleton SCCs, insert
1725 to the valid table. This is strictly needed to
1726 avoid re-generating new value SSA_NAMEs for the same
1727 expression during SCC iteration over and over (the
1728 optimistic table gets cleared after each iteration).
1729 We do not need to insert into the optimistic table, as
1730 lookups there will fall back to the valid table. */
1731 else if (current_info
== optimistic_info
)
1733 current_info
= valid_info
;
1734 vn_nary_op_insert_stmt (new_stmt
, result
);
1735 current_info
= optimistic_info
;
1738 vn_nary_op_insert_stmt (new_stmt
, result
);
1739 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
1741 fprintf (dump_file
, "Inserting name ");
1742 print_generic_expr (dump_file
, result
, 0);
1743 fprintf (dump_file
, " for expression ");
1744 print_gimple_expr (dump_file
, new_stmt
, 0, TDF_SLIM
);
1745 fprintf (dump_file
, "\n");
1751 /* Return a value-number for RCODE OPS... either by looking up an existing
1752 value-number for the simplified result or by inserting the operation. */
1755 vn_nary_build_or_lookup (code_helper rcode
, tree type
, tree
*ops
)
1757 return vn_nary_build_or_lookup_1 (rcode
, type
, ops
, true);
1760 /* Try to simplify the expression RCODE OPS... of type TYPE and return
1761 its value if present. */
1764 vn_nary_simplify (vn_nary_op_t nary
)
1766 if (nary
->length
> 3)
1769 memcpy (ops
, nary
->op
, sizeof (tree
) * nary
->length
);
1770 return vn_nary_build_or_lookup_1 (nary
->opcode
, nary
->type
, ops
, false);
1774 /* Callback for walk_non_aliased_vuses. Tries to perform a lookup
1775 from the statement defining VUSE and if not successful tries to
1776 translate *REFP and VR_ through an aggregate copy at the definition
1777 of VUSE. If *DISAMBIGUATE_ONLY is true then do not perform translation
1778 of *REF and *VR. If only disambiguation was performed then
1779 *DISAMBIGUATE_ONLY is set to true. */
1782 vn_reference_lookup_3 (ao_ref
*ref
, tree vuse
, void *vr_
,
1783 bool *disambiguate_only
)
1785 vn_reference_t vr
= (vn_reference_t
)vr_
;
1786 gimple
*def_stmt
= SSA_NAME_DEF_STMT (vuse
);
1787 tree base
= ao_ref_base (ref
);
1788 HOST_WIDE_INT offset
, maxsize
;
1789 static vec
<vn_reference_op_s
> lhs_ops
;
1791 bool lhs_ref_ok
= false;
1793 /* If the reference is based on a parameter that was determined as
1794 pointing to readonly memory it doesn't change. */
1795 if (TREE_CODE (base
) == MEM_REF
1796 && TREE_CODE (TREE_OPERAND (base
, 0)) == SSA_NAME
1797 && SSA_NAME_IS_DEFAULT_DEF (TREE_OPERAND (base
, 0))
1798 && bitmap_bit_p (const_parms
,
1799 SSA_NAME_VERSION (TREE_OPERAND (base
, 0))))
1801 *disambiguate_only
= true;
1805 /* First try to disambiguate after value-replacing in the definitions LHS. */
1806 if (is_gimple_assign (def_stmt
))
1808 tree lhs
= gimple_assign_lhs (def_stmt
);
1809 bool valueized_anything
= false;
1810 /* Avoid re-allocation overhead. */
1811 lhs_ops
.truncate (0);
1812 copy_reference_ops_from_ref (lhs
, &lhs_ops
);
1813 lhs_ops
= valueize_refs_1 (lhs_ops
, &valueized_anything
);
1814 if (valueized_anything
)
1816 lhs_ref_ok
= ao_ref_init_from_vn_reference (&lhs_ref
,
1817 get_alias_set (lhs
),
1818 TREE_TYPE (lhs
), lhs_ops
);
1820 && !refs_may_alias_p_1 (ref
, &lhs_ref
, true))
1822 *disambiguate_only
= true;
1828 ao_ref_init (&lhs_ref
, lhs
);
1832 else if (gimple_call_builtin_p (def_stmt
, BUILT_IN_NORMAL
)
1833 && gimple_call_num_args (def_stmt
) <= 4)
1835 /* For builtin calls valueize its arguments and call the
1836 alias oracle again. Valueization may improve points-to
1837 info of pointers and constify size and position arguments.
1838 Originally this was motivated by PR61034 which has
1839 conditional calls to free falsely clobbering ref because
1840 of imprecise points-to info of the argument. */
1842 bool valueized_anything
= false;
1843 for (unsigned i
= 0; i
< gimple_call_num_args (def_stmt
); ++i
)
1845 oldargs
[i
] = gimple_call_arg (def_stmt
, i
);
1846 if (TREE_CODE (oldargs
[i
]) == SSA_NAME
1847 && VN_INFO (oldargs
[i
])->valnum
!= oldargs
[i
])
1849 gimple_call_set_arg (def_stmt
, i
, VN_INFO (oldargs
[i
])->valnum
);
1850 valueized_anything
= true;
1853 if (valueized_anything
)
1855 bool res
= call_may_clobber_ref_p_1 (as_a
<gcall
*> (def_stmt
),
1857 for (unsigned i
= 0; i
< gimple_call_num_args (def_stmt
); ++i
)
1858 gimple_call_set_arg (def_stmt
, i
, oldargs
[i
]);
1861 *disambiguate_only
= true;
1867 if (*disambiguate_only
)
1870 offset
= ref
->offset
;
1871 maxsize
= ref
->max_size
;
1873 /* If we cannot constrain the size of the reference we cannot
1874 test if anything kills it. */
1878 /* We can't deduce anything useful from clobbers. */
1879 if (gimple_clobber_p (def_stmt
))
1882 /* def_stmt may-defs *ref. See if we can derive a value for *ref
1883 from that definition.
1885 if (is_gimple_reg_type (vr
->type
)
1886 && gimple_call_builtin_p (def_stmt
, BUILT_IN_MEMSET
)
1887 && integer_zerop (gimple_call_arg (def_stmt
, 1))
1888 && tree_fits_uhwi_p (gimple_call_arg (def_stmt
, 2))
1889 && TREE_CODE (gimple_call_arg (def_stmt
, 0)) == ADDR_EXPR
)
1891 tree ref2
= TREE_OPERAND (gimple_call_arg (def_stmt
, 0), 0);
1893 HOST_WIDE_INT offset2
, size2
, maxsize2
;
1895 base2
= get_ref_base_and_extent (ref2
, &offset2
, &size2
, &maxsize2
,
1897 size2
= tree_to_uhwi (gimple_call_arg (def_stmt
, 2)) * 8;
1898 if ((unsigned HOST_WIDE_INT
)size2
/ 8
1899 == tree_to_uhwi (gimple_call_arg (def_stmt
, 2))
1901 && operand_equal_p (base
, base2
, 0)
1902 && offset2
<= offset
1903 && offset2
+ size2
>= offset
+ maxsize
)
1905 tree val
= build_zero_cst (vr
->type
);
1906 return vn_reference_lookup_or_insert_for_pieces
1907 (vuse
, vr
->set
, vr
->type
, vr
->operands
, val
);
1911 /* 2) Assignment from an empty CONSTRUCTOR. */
1912 else if (is_gimple_reg_type (vr
->type
)
1913 && gimple_assign_single_p (def_stmt
)
1914 && gimple_assign_rhs_code (def_stmt
) == CONSTRUCTOR
1915 && CONSTRUCTOR_NELTS (gimple_assign_rhs1 (def_stmt
)) == 0)
1918 HOST_WIDE_INT offset2
, size2
, maxsize2
;
1920 base2
= get_ref_base_and_extent (gimple_assign_lhs (def_stmt
),
1921 &offset2
, &size2
, &maxsize2
, &reverse
);
1923 && operand_equal_p (base
, base2
, 0)
1924 && offset2
<= offset
1925 && offset2
+ size2
>= offset
+ maxsize
)
1927 tree val
= build_zero_cst (vr
->type
);
1928 return vn_reference_lookup_or_insert_for_pieces
1929 (vuse
, vr
->set
, vr
->type
, vr
->operands
, val
);
1933 /* 3) Assignment from a constant. We can use folds native encode/interpret
1934 routines to extract the assigned bits. */
1935 else if (ref
->size
== maxsize
1936 && is_gimple_reg_type (vr
->type
)
1937 && !contains_storage_order_barrier_p (vr
->operands
)
1938 && gimple_assign_single_p (def_stmt
)
1939 && CHAR_BIT
== 8 && BITS_PER_UNIT
== 8
1940 && maxsize
% BITS_PER_UNIT
== 0
1941 && offset
% BITS_PER_UNIT
== 0
1942 && (is_gimple_min_invariant (gimple_assign_rhs1 (def_stmt
))
1943 || (TREE_CODE (gimple_assign_rhs1 (def_stmt
)) == SSA_NAME
1944 && is_gimple_min_invariant (SSA_VAL (gimple_assign_rhs1 (def_stmt
))))))
1947 HOST_WIDE_INT offset2
, size2
, maxsize2
;
1949 base2
= get_ref_base_and_extent (gimple_assign_lhs (def_stmt
),
1950 &offset2
, &size2
, &maxsize2
, &reverse
);
1953 && maxsize2
== size2
1954 && size2
% BITS_PER_UNIT
== 0
1955 && offset2
% BITS_PER_UNIT
== 0
1956 && operand_equal_p (base
, base2
, 0)
1957 && offset2
<= offset
1958 && offset2
+ size2
>= offset
+ maxsize
)
1960 /* We support up to 512-bit values (for V8DFmode). */
1961 unsigned char buffer
[64];
1964 tree rhs
= gimple_assign_rhs1 (def_stmt
);
1965 if (TREE_CODE (rhs
) == SSA_NAME
)
1966 rhs
= SSA_VAL (rhs
);
1967 len
= native_encode_expr (gimple_assign_rhs1 (def_stmt
),
1968 buffer
, sizeof (buffer
));
1971 tree type
= vr
->type
;
1972 /* Make sure to interpret in a type that has a range
1973 covering the whole access size. */
1974 if (INTEGRAL_TYPE_P (vr
->type
)
1975 && ref
->size
!= TYPE_PRECISION (vr
->type
))
1976 type
= build_nonstandard_integer_type (ref
->size
,
1977 TYPE_UNSIGNED (type
));
1978 tree val
= native_interpret_expr (type
,
1980 + ((offset
- offset2
)
1982 ref
->size
/ BITS_PER_UNIT
);
1983 /* If we chop off bits because the types precision doesn't
1984 match the memory access size this is ok when optimizing
1985 reads but not when called from the DSE code during
1988 && type
!= vr
->type
)
1990 if (! int_fits_type_p (val
, vr
->type
))
1993 val
= fold_convert (vr
->type
, val
);
1997 return vn_reference_lookup_or_insert_for_pieces
1998 (vuse
, vr
->set
, vr
->type
, vr
->operands
, val
);
2003 /* 4) Assignment from an SSA name which definition we may be able
2004 to access pieces from. */
2005 else if (ref
->size
== maxsize
2006 && is_gimple_reg_type (vr
->type
)
2007 && !contains_storage_order_barrier_p (vr
->operands
)
2008 && gimple_assign_single_p (def_stmt
)
2009 && TREE_CODE (gimple_assign_rhs1 (def_stmt
)) == SSA_NAME
)
2012 HOST_WIDE_INT offset2
, size2
, maxsize2
;
2014 base2
= get_ref_base_and_extent (gimple_assign_lhs (def_stmt
),
2015 &offset2
, &size2
, &maxsize2
,
2019 && maxsize2
== size2
2020 && operand_equal_p (base
, base2
, 0)
2021 && offset2
<= offset
2022 && offset2
+ size2
>= offset
+ maxsize
2023 /* ??? We can't handle bitfield precision extracts without
2024 either using an alternate type for the BIT_FIELD_REF and
2025 then doing a conversion or possibly adjusting the offset
2026 according to endianess. */
2027 && (! INTEGRAL_TYPE_P (vr
->type
)
2028 || ref
->size
== TYPE_PRECISION (vr
->type
))
2029 && ref
->size
% BITS_PER_UNIT
== 0)
2031 code_helper rcode
= BIT_FIELD_REF
;
2033 ops
[0] = SSA_VAL (gimple_assign_rhs1 (def_stmt
));
2034 ops
[1] = bitsize_int (ref
->size
);
2035 ops
[2] = bitsize_int (offset
- offset2
);
2036 tree val
= vn_nary_build_or_lookup (rcode
, vr
->type
, ops
);
2039 vn_reference_t res
= vn_reference_lookup_or_insert_for_pieces
2040 (vuse
, vr
->set
, vr
->type
, vr
->operands
, val
);
2046 /* 5) For aggregate copies translate the reference through them if
2047 the copy kills ref. */
2048 else if (vn_walk_kind
== VN_WALKREWRITE
2049 && gimple_assign_single_p (def_stmt
)
2050 && (DECL_P (gimple_assign_rhs1 (def_stmt
))
2051 || TREE_CODE (gimple_assign_rhs1 (def_stmt
)) == MEM_REF
2052 || handled_component_p (gimple_assign_rhs1 (def_stmt
))))
2055 HOST_WIDE_INT maxsize2
;
2057 auto_vec
<vn_reference_op_s
> rhs
;
2058 vn_reference_op_t vro
;
2064 /* See if the assignment kills REF. */
2065 base2
= ao_ref_base (&lhs_ref
);
2066 maxsize2
= lhs_ref
.max_size
;
2069 && (TREE_CODE (base
) != MEM_REF
2070 || TREE_CODE (base2
) != MEM_REF
2071 || TREE_OPERAND (base
, 0) != TREE_OPERAND (base2
, 0)
2072 || !tree_int_cst_equal (TREE_OPERAND (base
, 1),
2073 TREE_OPERAND (base2
, 1))))
2074 || !stmt_kills_ref_p (def_stmt
, ref
))
2077 /* Find the common base of ref and the lhs. lhs_ops already
2078 contains valueized operands for the lhs. */
2079 i
= vr
->operands
.length () - 1;
2080 j
= lhs_ops
.length () - 1;
2081 while (j
>= 0 && i
>= 0
2082 && vn_reference_op_eq (&vr
->operands
[i
], &lhs_ops
[j
]))
2088 /* ??? The innermost op should always be a MEM_REF and we already
2089 checked that the assignment to the lhs kills vr. Thus for
2090 aggregate copies using char[] types the vn_reference_op_eq
2091 may fail when comparing types for compatibility. But we really
2092 don't care here - further lookups with the rewritten operands
2093 will simply fail if we messed up types too badly. */
2094 HOST_WIDE_INT extra_off
= 0;
2095 if (j
== 0 && i
>= 0
2096 && lhs_ops
[0].opcode
== MEM_REF
2097 && lhs_ops
[0].off
!= -1)
2099 if (lhs_ops
[0].off
== vr
->operands
[i
].off
)
2101 else if (vr
->operands
[i
].opcode
== MEM_REF
2102 && vr
->operands
[i
].off
!= -1)
2104 extra_off
= vr
->operands
[i
].off
- lhs_ops
[0].off
;
2109 /* i now points to the first additional op.
2110 ??? LHS may not be completely contained in VR, one or more
2111 VIEW_CONVERT_EXPRs could be in its way. We could at least
2112 try handling outermost VIEW_CONVERT_EXPRs. */
2116 /* Punt if the additional ops contain a storage order barrier. */
2117 for (k
= i
; k
>= 0; k
--)
2119 vro
= &vr
->operands
[k
];
2120 if (vro
->opcode
== VIEW_CONVERT_EXPR
&& vro
->reverse
)
2124 /* Now re-write REF to be based on the rhs of the assignment. */
2125 copy_reference_ops_from_ref (gimple_assign_rhs1 (def_stmt
), &rhs
);
2127 /* Apply an extra offset to the inner MEM_REF of the RHS. */
2130 if (rhs
.length () < 2
2131 || rhs
[0].opcode
!= MEM_REF
2132 || rhs
[0].off
== -1)
2134 rhs
[0].off
+= extra_off
;
2135 rhs
[0].op0
= int_const_binop (PLUS_EXPR
, rhs
[0].op0
,
2136 build_int_cst (TREE_TYPE (rhs
[0].op0
),
2140 /* We need to pre-pend vr->operands[0..i] to rhs. */
2141 vec
<vn_reference_op_s
> old
= vr
->operands
;
2142 if (i
+ 1 + rhs
.length () > vr
->operands
.length ())
2143 vr
->operands
.safe_grow (i
+ 1 + rhs
.length ());
2145 vr
->operands
.truncate (i
+ 1 + rhs
.length ());
2146 FOR_EACH_VEC_ELT (rhs
, j
, vro
)
2147 vr
->operands
[i
+ 1 + j
] = *vro
;
2148 vr
->operands
= valueize_refs (vr
->operands
);
2149 if (old
== shared_lookup_references
)
2150 shared_lookup_references
= vr
->operands
;
2151 vr
->hashcode
= vn_reference_compute_hash (vr
);
2153 /* Try folding the new reference to a constant. */
2154 tree val
= fully_constant_vn_reference_p (vr
);
2156 return vn_reference_lookup_or_insert_for_pieces
2157 (vuse
, vr
->set
, vr
->type
, vr
->operands
, val
);
2159 /* Adjust *ref from the new operands. */
2160 if (!ao_ref_init_from_vn_reference (&r
, vr
->set
, vr
->type
, vr
->operands
))
2162 /* This can happen with bitfields. */
2163 if (ref
->size
!= r
.size
)
2167 /* Do not update last seen VUSE after translating. */
2168 last_vuse_ptr
= NULL
;
2170 /* Keep looking for the adjusted *REF / VR pair. */
2174 /* 6) For memcpy copies translate the reference through them if
2175 the copy kills ref. */
2176 else if (vn_walk_kind
== VN_WALKREWRITE
2177 && is_gimple_reg_type (vr
->type
)
2178 /* ??? Handle BCOPY as well. */
2179 && (gimple_call_builtin_p (def_stmt
, BUILT_IN_MEMCPY
)
2180 || gimple_call_builtin_p (def_stmt
, BUILT_IN_MEMPCPY
)
2181 || gimple_call_builtin_p (def_stmt
, BUILT_IN_MEMMOVE
))
2182 && (TREE_CODE (gimple_call_arg (def_stmt
, 0)) == ADDR_EXPR
2183 || TREE_CODE (gimple_call_arg (def_stmt
, 0)) == SSA_NAME
)
2184 && (TREE_CODE (gimple_call_arg (def_stmt
, 1)) == ADDR_EXPR
2185 || TREE_CODE (gimple_call_arg (def_stmt
, 1)) == SSA_NAME
)
2186 && tree_fits_uhwi_p (gimple_call_arg (def_stmt
, 2)))
2190 HOST_WIDE_INT rhs_offset
, copy_size
, lhs_offset
;
2191 vn_reference_op_s op
;
2194 /* Only handle non-variable, addressable refs. */
2195 if (ref
->size
!= maxsize
2196 || offset
% BITS_PER_UNIT
!= 0
2197 || ref
->size
% BITS_PER_UNIT
!= 0)
2200 /* Extract a pointer base and an offset for the destination. */
2201 lhs
= gimple_call_arg (def_stmt
, 0);
2203 if (TREE_CODE (lhs
) == SSA_NAME
)
2205 lhs
= SSA_VAL (lhs
);
2206 if (TREE_CODE (lhs
) == SSA_NAME
)
2208 gimple
*def_stmt
= SSA_NAME_DEF_STMT (lhs
);
2209 if (gimple_assign_single_p (def_stmt
)
2210 && gimple_assign_rhs_code (def_stmt
) == ADDR_EXPR
)
2211 lhs
= gimple_assign_rhs1 (def_stmt
);
2214 if (TREE_CODE (lhs
) == ADDR_EXPR
)
2216 tree tem
= get_addr_base_and_unit_offset (TREE_OPERAND (lhs
, 0),
2220 if (TREE_CODE (tem
) == MEM_REF
2221 && tree_fits_uhwi_p (TREE_OPERAND (tem
, 1)))
2223 lhs
= TREE_OPERAND (tem
, 0);
2224 if (TREE_CODE (lhs
) == SSA_NAME
)
2225 lhs
= SSA_VAL (lhs
);
2226 lhs_offset
+= tree_to_uhwi (TREE_OPERAND (tem
, 1));
2228 else if (DECL_P (tem
))
2229 lhs
= build_fold_addr_expr (tem
);
2233 if (TREE_CODE (lhs
) != SSA_NAME
2234 && TREE_CODE (lhs
) != ADDR_EXPR
)
2237 /* Extract a pointer base and an offset for the source. */
2238 rhs
= gimple_call_arg (def_stmt
, 1);
2240 if (TREE_CODE (rhs
) == SSA_NAME
)
2241 rhs
= SSA_VAL (rhs
);
2242 if (TREE_CODE (rhs
) == ADDR_EXPR
)
2244 tree tem
= get_addr_base_and_unit_offset (TREE_OPERAND (rhs
, 0),
2248 if (TREE_CODE (tem
) == MEM_REF
2249 && tree_fits_uhwi_p (TREE_OPERAND (tem
, 1)))
2251 rhs
= TREE_OPERAND (tem
, 0);
2252 rhs_offset
+= tree_to_uhwi (TREE_OPERAND (tem
, 1));
2254 else if (DECL_P (tem
))
2255 rhs
= build_fold_addr_expr (tem
);
2259 if (TREE_CODE (rhs
) != SSA_NAME
2260 && TREE_CODE (rhs
) != ADDR_EXPR
)
2263 copy_size
= tree_to_uhwi (gimple_call_arg (def_stmt
, 2));
2265 /* The bases of the destination and the references have to agree. */
2266 if ((TREE_CODE (base
) != MEM_REF
2268 || (TREE_CODE (base
) == MEM_REF
2269 && (TREE_OPERAND (base
, 0) != lhs
2270 || !tree_fits_uhwi_p (TREE_OPERAND (base
, 1))))
2272 && (TREE_CODE (lhs
) != ADDR_EXPR
2273 || TREE_OPERAND (lhs
, 0) != base
)))
2276 at
= offset
/ BITS_PER_UNIT
;
2277 if (TREE_CODE (base
) == MEM_REF
)
2278 at
+= tree_to_uhwi (TREE_OPERAND (base
, 1));
2279 /* If the access is completely outside of the memcpy destination
2280 area there is no aliasing. */
2281 if (lhs_offset
>= at
+ maxsize
/ BITS_PER_UNIT
2282 || lhs_offset
+ copy_size
<= at
)
2284 /* And the access has to be contained within the memcpy destination. */
2286 || lhs_offset
+ copy_size
< at
+ maxsize
/ BITS_PER_UNIT
)
2289 /* Make room for 2 operands in the new reference. */
2290 if (vr
->operands
.length () < 2)
2292 vec
<vn_reference_op_s
> old
= vr
->operands
;
2293 vr
->operands
.safe_grow_cleared (2);
2294 if (old
== shared_lookup_references
)
2295 shared_lookup_references
= vr
->operands
;
2298 vr
->operands
.truncate (2);
2300 /* The looked-through reference is a simple MEM_REF. */
2301 memset (&op
, 0, sizeof (op
));
2303 op
.opcode
= MEM_REF
;
2304 op
.op0
= build_int_cst (ptr_type_node
, at
- rhs_offset
);
2305 op
.off
= at
- lhs_offset
+ rhs_offset
;
2306 vr
->operands
[0] = op
;
2307 op
.type
= TREE_TYPE (rhs
);
2308 op
.opcode
= TREE_CODE (rhs
);
2311 vr
->operands
[1] = op
;
2312 vr
->hashcode
= vn_reference_compute_hash (vr
);
2314 /* Try folding the new reference to a constant. */
2315 tree val
= fully_constant_vn_reference_p (vr
);
2317 return vn_reference_lookup_or_insert_for_pieces
2318 (vuse
, vr
->set
, vr
->type
, vr
->operands
, val
);
2320 /* Adjust *ref from the new operands. */
2321 if (!ao_ref_init_from_vn_reference (&r
, vr
->set
, vr
->type
, vr
->operands
))
2323 /* This can happen with bitfields. */
2324 if (ref
->size
!= r
.size
)
2328 /* Do not update last seen VUSE after translating. */
2329 last_vuse_ptr
= NULL
;
2331 /* Keep looking for the adjusted *REF / VR pair. */
2335 /* Bail out and stop walking. */
2339 /* Return a reference op vector from OP that can be used for
2340 vn_reference_lookup_pieces. The caller is responsible for releasing
2343 vec
<vn_reference_op_s
>
2344 vn_reference_operands_for_lookup (tree op
)
2347 return valueize_shared_reference_ops_from_ref (op
, &valueized
).copy ();
2350 /* Lookup a reference operation by it's parts, in the current hash table.
2351 Returns the resulting value number if it exists in the hash table,
2352 NULL_TREE otherwise. VNRESULT will be filled in with the actual
2353 vn_reference_t stored in the hashtable if something is found. */
2356 vn_reference_lookup_pieces (tree vuse
, alias_set_type set
, tree type
,
2357 vec
<vn_reference_op_s
> operands
,
2358 vn_reference_t
*vnresult
, vn_lookup_kind kind
)
2360 struct vn_reference_s vr1
;
2368 vr1
.vuse
= vuse_ssa_val (vuse
);
2369 shared_lookup_references
.truncate (0);
2370 shared_lookup_references
.safe_grow (operands
.length ());
2371 memcpy (shared_lookup_references
.address (),
2372 operands
.address (),
2373 sizeof (vn_reference_op_s
)
2374 * operands
.length ());
2375 vr1
.operands
= operands
= shared_lookup_references
2376 = valueize_refs (shared_lookup_references
);
2379 vr1
.hashcode
= vn_reference_compute_hash (&vr1
);
2380 if ((cst
= fully_constant_vn_reference_p (&vr1
)))
2383 vn_reference_lookup_1 (&vr1
, vnresult
);
2385 && kind
!= VN_NOWALK
2389 vn_walk_kind
= kind
;
2390 if (ao_ref_init_from_vn_reference (&r
, set
, type
, vr1
.operands
))
2392 (vn_reference_t
)walk_non_aliased_vuses (&r
, vr1
.vuse
,
2393 vn_reference_lookup_2
,
2394 vn_reference_lookup_3
,
2395 vuse_ssa_val
, &vr1
);
2396 gcc_checking_assert (vr1
.operands
== shared_lookup_references
);
2400 return (*vnresult
)->result
;
2405 /* Lookup OP in the current hash table, and return the resulting value
2406 number if it exists in the hash table. Return NULL_TREE if it does
2407 not exist in the hash table or if the result field of the structure
2408 was NULL.. VNRESULT will be filled in with the vn_reference_t
2409 stored in the hashtable if one exists. When TBAA_P is false assume
2410 we are looking up a store and treat it as having alias-set zero. */
2413 vn_reference_lookup (tree op
, tree vuse
, vn_lookup_kind kind
,
2414 vn_reference_t
*vnresult
, bool tbaa_p
)
2416 vec
<vn_reference_op_s
> operands
;
2417 struct vn_reference_s vr1
;
2419 bool valuezied_anything
;
2424 vr1
.vuse
= vuse_ssa_val (vuse
);
2425 vr1
.operands
= operands
2426 = valueize_shared_reference_ops_from_ref (op
, &valuezied_anything
);
2427 vr1
.type
= TREE_TYPE (op
);
2428 vr1
.set
= tbaa_p
? get_alias_set (op
) : 0;
2429 vr1
.hashcode
= vn_reference_compute_hash (&vr1
);
2430 if ((cst
= fully_constant_vn_reference_p (&vr1
)))
2433 if (kind
!= VN_NOWALK
2436 vn_reference_t wvnresult
;
2438 /* Make sure to use a valueized reference if we valueized anything.
2439 Otherwise preserve the full reference for advanced TBAA. */
2440 if (!valuezied_anything
2441 || !ao_ref_init_from_vn_reference (&r
, vr1
.set
, vr1
.type
,
2443 ao_ref_init (&r
, op
);
2445 r
.ref_alias_set
= r
.base_alias_set
= 0;
2446 vn_walk_kind
= kind
;
2448 (vn_reference_t
)walk_non_aliased_vuses (&r
, vr1
.vuse
,
2449 vn_reference_lookup_2
,
2450 vn_reference_lookup_3
,
2451 vuse_ssa_val
, &vr1
);
2452 gcc_checking_assert (vr1
.operands
== shared_lookup_references
);
2456 *vnresult
= wvnresult
;
2457 return wvnresult
->result
;
2463 return vn_reference_lookup_1 (&vr1
, vnresult
);
2466 /* Lookup CALL in the current hash table and return the entry in
2467 *VNRESULT if found. Populates *VR for the hashtable lookup. */
2470 vn_reference_lookup_call (gcall
*call
, vn_reference_t
*vnresult
,
2476 tree vuse
= gimple_vuse (call
);
2478 vr
->vuse
= vuse
? SSA_VAL (vuse
) : NULL_TREE
;
2479 vr
->operands
= valueize_shared_reference_ops_from_call (call
);
2480 vr
->type
= gimple_expr_type (call
);
2482 vr
->hashcode
= vn_reference_compute_hash (vr
);
2483 vn_reference_lookup_1 (vr
, vnresult
);
2486 /* Insert OP into the current hash table with a value number of
2487 RESULT, and return the resulting reference structure we created. */
2489 static vn_reference_t
2490 vn_reference_insert (tree op
, tree result
, tree vuse
, tree vdef
)
2492 vn_reference_s
**slot
;
2496 vr1
= current_info
->references_pool
->allocate ();
2497 if (TREE_CODE (result
) == SSA_NAME
)
2498 vr1
->value_id
= VN_INFO (result
)->value_id
;
2500 vr1
->value_id
= get_or_alloc_constant_value_id (result
);
2501 vr1
->vuse
= vuse
? SSA_VAL (vuse
) : NULL_TREE
;
2502 vr1
->operands
= valueize_shared_reference_ops_from_ref (op
, &tem
).copy ();
2503 vr1
->type
= TREE_TYPE (op
);
2504 vr1
->set
= get_alias_set (op
);
2505 vr1
->hashcode
= vn_reference_compute_hash (vr1
);
2506 vr1
->result
= TREE_CODE (result
) == SSA_NAME
? SSA_VAL (result
) : result
;
2507 vr1
->result_vdef
= vdef
;
2509 slot
= current_info
->references
->find_slot_with_hash (vr1
, vr1
->hashcode
,
2512 /* Because we lookup stores using vuses, and value number failures
2513 using the vdefs (see visit_reference_op_store for how and why),
2514 it's possible that on failure we may try to insert an already
2515 inserted store. This is not wrong, there is no ssa name for a
2516 store that we could use as a differentiator anyway. Thus, unlike
2517 the other lookup functions, you cannot gcc_assert (!*slot)
2520 /* But free the old slot in case of a collision. */
2522 free_reference (*slot
);
2528 /* Insert a reference by it's pieces into the current hash table with
2529 a value number of RESULT. Return the resulting reference
2530 structure we created. */
2533 vn_reference_insert_pieces (tree vuse
, alias_set_type set
, tree type
,
2534 vec
<vn_reference_op_s
> operands
,
2535 tree result
, unsigned int value_id
)
2538 vn_reference_s
**slot
;
2541 vr1
= current_info
->references_pool
->allocate ();
2542 vr1
->value_id
= value_id
;
2543 vr1
->vuse
= vuse
? SSA_VAL (vuse
) : NULL_TREE
;
2544 vr1
->operands
= valueize_refs (operands
);
2547 vr1
->hashcode
= vn_reference_compute_hash (vr1
);
2548 if (result
&& TREE_CODE (result
) == SSA_NAME
)
2549 result
= SSA_VAL (result
);
2550 vr1
->result
= result
;
2552 slot
= current_info
->references
->find_slot_with_hash (vr1
, vr1
->hashcode
,
2555 /* At this point we should have all the things inserted that we have
2556 seen before, and we should never try inserting something that
2558 gcc_assert (!*slot
);
2560 free_reference (*slot
);
2566 /* Compute and return the hash value for nary operation VBO1. */
2569 vn_nary_op_compute_hash (const vn_nary_op_t vno1
)
2571 inchash::hash hstate
;
2574 for (i
= 0; i
< vno1
->length
; ++i
)
2575 if (TREE_CODE (vno1
->op
[i
]) == SSA_NAME
)
2576 vno1
->op
[i
] = SSA_VAL (vno1
->op
[i
]);
2578 if (((vno1
->length
== 2
2579 && commutative_tree_code (vno1
->opcode
))
2580 || (vno1
->length
== 3
2581 && commutative_ternary_tree_code (vno1
->opcode
)))
2582 && tree_swap_operands_p (vno1
->op
[0], vno1
->op
[1], false))
2583 std::swap (vno1
->op
[0], vno1
->op
[1]);
2584 else if (TREE_CODE_CLASS (vno1
->opcode
) == tcc_comparison
2585 && tree_swap_operands_p (vno1
->op
[0], vno1
->op
[1], false))
2587 std::swap (vno1
->op
[0], vno1
->op
[1]);
2588 vno1
->opcode
= swap_tree_comparison (vno1
->opcode
);
2591 hstate
.add_int (vno1
->opcode
);
2592 for (i
= 0; i
< vno1
->length
; ++i
)
2593 inchash::add_expr (vno1
->op
[i
], hstate
);
2595 return hstate
.end ();
2598 /* Compare nary operations VNO1 and VNO2 and return true if they are
2602 vn_nary_op_eq (const_vn_nary_op_t
const vno1
, const_vn_nary_op_t
const vno2
)
2606 if (vno1
->hashcode
!= vno2
->hashcode
)
2609 if (vno1
->length
!= vno2
->length
)
2612 if (vno1
->opcode
!= vno2
->opcode
2613 || !types_compatible_p (vno1
->type
, vno2
->type
))
2616 for (i
= 0; i
< vno1
->length
; ++i
)
2617 if (!expressions_equal_p (vno1
->op
[i
], vno2
->op
[i
]))
2623 /* Initialize VNO from the pieces provided. */
2626 init_vn_nary_op_from_pieces (vn_nary_op_t vno
, unsigned int length
,
2627 enum tree_code code
, tree type
, tree
*ops
)
2630 vno
->length
= length
;
2632 memcpy (&vno
->op
[0], ops
, sizeof (tree
) * length
);
2635 /* Initialize VNO from OP. */
2638 init_vn_nary_op_from_op (vn_nary_op_t vno
, tree op
)
2642 vno
->opcode
= TREE_CODE (op
);
2643 vno
->length
= TREE_CODE_LENGTH (TREE_CODE (op
));
2644 vno
->type
= TREE_TYPE (op
);
2645 for (i
= 0; i
< vno
->length
; ++i
)
2646 vno
->op
[i
] = TREE_OPERAND (op
, i
);
2649 /* Return the number of operands for a vn_nary ops structure from STMT. */
2652 vn_nary_length_from_stmt (gimple
*stmt
)
2654 switch (gimple_assign_rhs_code (stmt
))
2658 case VIEW_CONVERT_EXPR
:
2665 return CONSTRUCTOR_NELTS (gimple_assign_rhs1 (stmt
));
2668 return gimple_num_ops (stmt
) - 1;
2672 /* Initialize VNO from STMT. */
2675 init_vn_nary_op_from_stmt (vn_nary_op_t vno
, gimple
*stmt
)
2679 vno
->opcode
= gimple_assign_rhs_code (stmt
);
2680 vno
->type
= gimple_expr_type (stmt
);
2681 switch (vno
->opcode
)
2685 case VIEW_CONVERT_EXPR
:
2687 vno
->op
[0] = TREE_OPERAND (gimple_assign_rhs1 (stmt
), 0);
2692 vno
->op
[0] = TREE_OPERAND (gimple_assign_rhs1 (stmt
), 0);
2693 vno
->op
[1] = TREE_OPERAND (gimple_assign_rhs1 (stmt
), 1);
2694 vno
->op
[2] = TREE_OPERAND (gimple_assign_rhs1 (stmt
), 2);
2698 vno
->length
= CONSTRUCTOR_NELTS (gimple_assign_rhs1 (stmt
));
2699 for (i
= 0; i
< vno
->length
; ++i
)
2700 vno
->op
[i
] = CONSTRUCTOR_ELT (gimple_assign_rhs1 (stmt
), i
)->value
;
2704 gcc_checking_assert (!gimple_assign_single_p (stmt
));
2705 vno
->length
= gimple_num_ops (stmt
) - 1;
2706 for (i
= 0; i
< vno
->length
; ++i
)
2707 vno
->op
[i
] = gimple_op (stmt
, i
+ 1);
2711 /* Compute the hashcode for VNO and look for it in the hash table;
2712 return the resulting value number if it exists in the hash table.
2713 Return NULL_TREE if it does not exist in the hash table or if the
2714 result field of the operation is NULL. VNRESULT will contain the
2715 vn_nary_op_t from the hashtable if it exists. */
2718 vn_nary_op_lookup_1 (vn_nary_op_t vno
, vn_nary_op_t
*vnresult
)
2720 vn_nary_op_s
**slot
;
2725 vno
->hashcode
= vn_nary_op_compute_hash (vno
);
2726 slot
= current_info
->nary
->find_slot_with_hash (vno
, vno
->hashcode
,
2728 if (!slot
&& current_info
== optimistic_info
)
2729 slot
= valid_info
->nary
->find_slot_with_hash (vno
, vno
->hashcode
,
2735 return (*slot
)->result
;
2738 /* Lookup a n-ary operation by its pieces and return the resulting value
2739 number if it exists in the hash table. Return NULL_TREE if it does
2740 not exist in the hash table or if the result field of the operation
2741 is NULL. VNRESULT will contain the vn_nary_op_t from the hashtable
2745 vn_nary_op_lookup_pieces (unsigned int length
, enum tree_code code
,
2746 tree type
, tree
*ops
, vn_nary_op_t
*vnresult
)
2748 vn_nary_op_t vno1
= XALLOCAVAR (struct vn_nary_op_s
,
2749 sizeof_vn_nary_op (length
));
2750 init_vn_nary_op_from_pieces (vno1
, length
, code
, type
, ops
);
2751 return vn_nary_op_lookup_1 (vno1
, vnresult
);
2754 /* Lookup OP in the current hash table, and return the resulting value
2755 number if it exists in the hash table. Return NULL_TREE if it does
2756 not exist in the hash table or if the result field of the operation
2757 is NULL. VNRESULT will contain the vn_nary_op_t from the hashtable
2761 vn_nary_op_lookup (tree op
, vn_nary_op_t
*vnresult
)
2764 = XALLOCAVAR (struct vn_nary_op_s
,
2765 sizeof_vn_nary_op (TREE_CODE_LENGTH (TREE_CODE (op
))));
2766 init_vn_nary_op_from_op (vno1
, op
);
2767 return vn_nary_op_lookup_1 (vno1
, vnresult
);
2770 /* Lookup the rhs of STMT in the current hash table, and return the resulting
2771 value number if it exists in the hash table. Return NULL_TREE if
2772 it does not exist in the hash table. VNRESULT will contain the
2773 vn_nary_op_t from the hashtable if it exists. */
2776 vn_nary_op_lookup_stmt (gimple
*stmt
, vn_nary_op_t
*vnresult
)
2779 = XALLOCAVAR (struct vn_nary_op_s
,
2780 sizeof_vn_nary_op (vn_nary_length_from_stmt (stmt
)));
2781 init_vn_nary_op_from_stmt (vno1
, stmt
);
2782 return vn_nary_op_lookup_1 (vno1
, vnresult
);
2785 /* Allocate a vn_nary_op_t with LENGTH operands on STACK. */
2788 alloc_vn_nary_op_noinit (unsigned int length
, struct obstack
*stack
)
2790 return (vn_nary_op_t
) obstack_alloc (stack
, sizeof_vn_nary_op (length
));
2793 /* Allocate and initialize a vn_nary_op_t on CURRENT_INFO's
2797 alloc_vn_nary_op (unsigned int length
, tree result
, unsigned int value_id
)
2799 vn_nary_op_t vno1
= alloc_vn_nary_op_noinit (length
,
2800 ¤t_info
->nary_obstack
);
2802 vno1
->value_id
= value_id
;
2803 vno1
->length
= length
;
2804 vno1
->result
= result
;
2809 /* Insert VNO into TABLE. If COMPUTE_HASH is true, then compute
2810 VNO->HASHCODE first. */
2813 vn_nary_op_insert_into (vn_nary_op_t vno
, vn_nary_op_table_type
*table
,
2816 vn_nary_op_s
**slot
;
2819 vno
->hashcode
= vn_nary_op_compute_hash (vno
);
2821 slot
= table
->find_slot_with_hash (vno
, vno
->hashcode
, INSERT
);
2822 gcc_assert (!*slot
);
2828 /* Insert a n-ary operation into the current hash table using it's
2829 pieces. Return the vn_nary_op_t structure we created and put in
2833 vn_nary_op_insert_pieces (unsigned int length
, enum tree_code code
,
2834 tree type
, tree
*ops
,
2835 tree result
, unsigned int value_id
)
2837 vn_nary_op_t vno1
= alloc_vn_nary_op (length
, result
, value_id
);
2838 init_vn_nary_op_from_pieces (vno1
, length
, code
, type
, ops
);
2839 return vn_nary_op_insert_into (vno1
, current_info
->nary
, true);
2842 /* Insert OP into the current hash table with a value number of
2843 RESULT. Return the vn_nary_op_t structure we created and put in
2847 vn_nary_op_insert (tree op
, tree result
)
2849 unsigned length
= TREE_CODE_LENGTH (TREE_CODE (op
));
2852 vno1
= alloc_vn_nary_op (length
, result
, VN_INFO (result
)->value_id
);
2853 init_vn_nary_op_from_op (vno1
, op
);
2854 return vn_nary_op_insert_into (vno1
, current_info
->nary
, true);
2857 /* Insert the rhs of STMT into the current hash table with a value number of
2861 vn_nary_op_insert_stmt (gimple
*stmt
, tree result
)
2864 = alloc_vn_nary_op (vn_nary_length_from_stmt (stmt
),
2865 result
, VN_INFO (result
)->value_id
);
2866 init_vn_nary_op_from_stmt (vno1
, stmt
);
2867 return vn_nary_op_insert_into (vno1
, current_info
->nary
, true);
2870 /* Compute a hashcode for PHI operation VP1 and return it. */
2872 static inline hashval_t
2873 vn_phi_compute_hash (vn_phi_t vp1
)
2875 inchash::hash
hstate (vp1
->phiargs
.length () > 2
2876 ? vp1
->block
->index
: vp1
->phiargs
.length ());
2882 /* If all PHI arguments are constants we need to distinguish
2883 the PHI node via its type. */
2885 hstate
.merge_hash (vn_hash_type (type
));
2887 FOR_EACH_EDGE (e
, ei
, vp1
->block
->preds
)
2889 /* Don't hash backedge values they need to be handled as VN_TOP
2890 for optimistic value-numbering. */
2891 if (e
->flags
& EDGE_DFS_BACK
)
2894 phi1op
= vp1
->phiargs
[e
->dest_idx
];
2895 if (phi1op
== VN_TOP
)
2897 inchash::add_expr (phi1op
, hstate
);
2900 return hstate
.end ();
2904 /* Return true if COND1 and COND2 represent the same condition, set
2905 *INVERTED_P if one needs to be inverted to make it the same as
2909 cond_stmts_equal_p (gcond
*cond1
, gcond
*cond2
, bool *inverted_p
)
2911 enum tree_code code1
= gimple_cond_code (cond1
);
2912 enum tree_code code2
= gimple_cond_code (cond2
);
2913 tree lhs1
= gimple_cond_lhs (cond1
);
2914 tree lhs2
= gimple_cond_lhs (cond2
);
2915 tree rhs1
= gimple_cond_rhs (cond1
);
2916 tree rhs2
= gimple_cond_rhs (cond2
);
2918 *inverted_p
= false;
2921 else if (code1
== swap_tree_comparison (code2
))
2922 std::swap (lhs2
, rhs2
);
2923 else if (code1
== invert_tree_comparison (code2
, HONOR_NANS (lhs2
)))
2925 else if (code1
== invert_tree_comparison
2926 (swap_tree_comparison (code2
), HONOR_NANS (lhs2
)))
2928 std::swap (lhs2
, rhs2
);
2934 lhs1
= vn_valueize (lhs1
);
2935 rhs1
= vn_valueize (rhs1
);
2936 lhs2
= vn_valueize (lhs2
);
2937 rhs2
= vn_valueize (rhs2
);
2938 return ((expressions_equal_p (lhs1
, lhs2
)
2939 && expressions_equal_p (rhs1
, rhs2
))
2940 || (commutative_tree_code (code1
)
2941 && expressions_equal_p (lhs1
, rhs2
)
2942 && expressions_equal_p (rhs1
, lhs2
)));
2945 /* Compare two phi entries for equality, ignoring VN_TOP arguments. */
2948 vn_phi_eq (const_vn_phi_t
const vp1
, const_vn_phi_t
const vp2
)
2950 if (vp1
->hashcode
!= vp2
->hashcode
)
2953 if (vp1
->block
!= vp2
->block
)
2955 if (vp1
->phiargs
.length () != vp2
->phiargs
.length ())
2958 switch (vp1
->phiargs
.length ())
2961 /* Single-arg PHIs are just copies. */
2966 /* Rule out backedges into the PHI. */
2967 if (vp1
->block
->loop_father
->header
== vp1
->block
2968 || vp2
->block
->loop_father
->header
== vp2
->block
)
2971 /* If the PHI nodes do not have compatible types
2972 they are not the same. */
2973 if (!types_compatible_p (vp1
->type
, vp2
->type
))
2977 = get_immediate_dominator (CDI_DOMINATORS
, vp1
->block
);
2979 = get_immediate_dominator (CDI_DOMINATORS
, vp2
->block
);
2980 /* If the immediate dominator end in switch stmts multiple
2981 values may end up in the same PHI arg via intermediate
2983 if (EDGE_COUNT (idom1
->succs
) != 2
2984 || EDGE_COUNT (idom2
->succs
) != 2)
2987 /* Verify the controlling stmt is the same. */
2988 gimple
*last1
= last_stmt (idom1
);
2989 gimple
*last2
= last_stmt (idom2
);
2990 if (gimple_code (last1
) != GIMPLE_COND
2991 || gimple_code (last2
) != GIMPLE_COND
)
2994 if (! cond_stmts_equal_p (as_a
<gcond
*> (last1
),
2995 as_a
<gcond
*> (last2
), &inverted_p
))
2998 /* Get at true/false controlled edges into the PHI. */
2999 edge te1
, te2
, fe1
, fe2
;
3000 if (! extract_true_false_controlled_edges (idom1
, vp1
->block
,
3002 || ! extract_true_false_controlled_edges (idom2
, vp2
->block
,
3006 /* Swap edges if the second condition is the inverted of the
3009 std::swap (te2
, fe2
);
3011 /* ??? Handle VN_TOP specially. */
3012 if (! expressions_equal_p (vp1
->phiargs
[te1
->dest_idx
],
3013 vp2
->phiargs
[te2
->dest_idx
])
3014 || ! expressions_equal_p (vp1
->phiargs
[fe1
->dest_idx
],
3015 vp2
->phiargs
[fe2
->dest_idx
]))
3026 /* If the PHI nodes do not have compatible types
3027 they are not the same. */
3028 if (!types_compatible_p (vp1
->type
, vp2
->type
))
3031 /* Any phi in the same block will have it's arguments in the
3032 same edge order, because of how we store phi nodes. */
3035 FOR_EACH_VEC_ELT (vp1
->phiargs
, i
, phi1op
)
3037 tree phi2op
= vp2
->phiargs
[i
];
3038 if (phi1op
== VN_TOP
|| phi2op
== VN_TOP
)
3040 if (!expressions_equal_p (phi1op
, phi2op
))
3047 static vec
<tree
> shared_lookup_phiargs
;
3049 /* Lookup PHI in the current hash table, and return the resulting
3050 value number if it exists in the hash table. Return NULL_TREE if
3051 it does not exist in the hash table. */
3054 vn_phi_lookup (gimple
*phi
)
3057 struct vn_phi_s vp1
;
3061 shared_lookup_phiargs
.truncate (0);
3062 shared_lookup_phiargs
.safe_grow (gimple_phi_num_args (phi
));
3064 /* Canonicalize the SSA_NAME's to their value number. */
3065 FOR_EACH_EDGE (e
, ei
, gimple_bb (phi
)->preds
)
3067 tree def
= PHI_ARG_DEF_FROM_EDGE (phi
, e
);
3068 def
= TREE_CODE (def
) == SSA_NAME
? SSA_VAL (def
) : def
;
3069 shared_lookup_phiargs
[e
->dest_idx
] = def
;
3071 vp1
.type
= TREE_TYPE (gimple_phi_result (phi
));
3072 vp1
.phiargs
= shared_lookup_phiargs
;
3073 vp1
.block
= gimple_bb (phi
);
3074 vp1
.hashcode
= vn_phi_compute_hash (&vp1
);
3075 slot
= current_info
->phis
->find_slot_with_hash (&vp1
, vp1
.hashcode
,
3077 if (!slot
&& current_info
== optimistic_info
)
3078 slot
= valid_info
->phis
->find_slot_with_hash (&vp1
, vp1
.hashcode
,
3082 return (*slot
)->result
;
3085 /* Insert PHI into the current hash table with a value number of
3089 vn_phi_insert (gimple
*phi
, tree result
)
3092 vn_phi_t vp1
= current_info
->phis_pool
->allocate ();
3093 vec
<tree
> args
= vNULL
;
3097 args
.safe_grow (gimple_phi_num_args (phi
));
3099 /* Canonicalize the SSA_NAME's to their value number. */
3100 FOR_EACH_EDGE (e
, ei
, gimple_bb (phi
)->preds
)
3102 tree def
= PHI_ARG_DEF_FROM_EDGE (phi
, e
);
3103 def
= TREE_CODE (def
) == SSA_NAME
? SSA_VAL (def
) : def
;
3104 args
[e
->dest_idx
] = def
;
3106 vp1
->value_id
= VN_INFO (result
)->value_id
;
3107 vp1
->type
= TREE_TYPE (gimple_phi_result (phi
));
3108 vp1
->phiargs
= args
;
3109 vp1
->block
= gimple_bb (phi
);
3110 vp1
->result
= result
;
3111 vp1
->hashcode
= vn_phi_compute_hash (vp1
);
3113 slot
= current_info
->phis
->find_slot_with_hash (vp1
, vp1
->hashcode
, INSERT
);
3115 /* Because we iterate over phi operations more than once, it's
3116 possible the slot might already exist here, hence no assert.*/
3122 /* Print set of components in strongly connected component SCC to OUT. */
3125 print_scc (FILE *out
, vec
<tree
> scc
)
3130 fprintf (out
, "SCC consists of:");
3131 FOR_EACH_VEC_ELT (scc
, i
, var
)
3134 print_generic_expr (out
, var
, 0);
3136 fprintf (out
, "\n");
3139 /* Return true if BB1 is dominated by BB2 taking into account edges
3140 that are not executable. */
3143 dominated_by_p_w_unex (basic_block bb1
, basic_block bb2
)
3148 if (dominated_by_p (CDI_DOMINATORS
, bb1
, bb2
))
3151 /* Before iterating we'd like to know if there exists a
3152 (executable) path from bb2 to bb1 at all, if not we can
3153 directly return false. For now simply iterate once. */
3155 /* Iterate to the single executable bb1 predecessor. */
3156 if (EDGE_COUNT (bb1
->preds
) > 1)
3159 FOR_EACH_EDGE (e
, ei
, bb1
->preds
)
3160 if (e
->flags
& EDGE_EXECUTABLE
)
3173 /* Re-do the dominance check with changed bb1. */
3174 if (dominated_by_p (CDI_DOMINATORS
, bb1
, bb2
))
3179 /* Iterate to the single executable bb2 successor. */
3181 FOR_EACH_EDGE (e
, ei
, bb2
->succs
)
3182 if (e
->flags
& EDGE_EXECUTABLE
)
3193 /* Verify the reached block is only reached through succe.
3194 If there is only one edge we can spare us the dominator
3195 check and iterate directly. */
3196 if (EDGE_COUNT (succe
->dest
->preds
) > 1)
3198 FOR_EACH_EDGE (e
, ei
, succe
->dest
->preds
)
3200 && (e
->flags
& EDGE_EXECUTABLE
))
3210 /* Re-do the dominance check with changed bb2. */
3211 if (dominated_by_p (CDI_DOMINATORS
, bb1
, bb2
))
3216 /* We could now iterate updating bb1 / bb2. */
3220 /* Set the value number of FROM to TO, return true if it has changed
3224 set_ssa_val_to (tree from
, tree to
)
3226 tree currval
= SSA_VAL (from
);
3227 HOST_WIDE_INT toff
, coff
;
3229 /* The only thing we allow as value numbers are ssa_names
3230 and invariants. So assert that here. We don't allow VN_TOP
3231 as visiting a stmt should produce a value-number other than
3233 ??? Still VN_TOP can happen for unreachable code, so force
3234 it to varying in that case. Not all code is prepared to
3235 get VN_TOP on valueization. */
3238 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3239 fprintf (dump_file
, "Forcing value number to varying on "
3240 "receiving VN_TOP\n");
3244 gcc_assert (to
!= NULL_TREE
3245 && ((TREE_CODE (to
) == SSA_NAME
3246 && (to
== from
|| SSA_VAL (to
) == to
))
3247 || is_gimple_min_invariant (to
)));
3251 if (currval
== from
)
3253 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3255 fprintf (dump_file
, "Not changing value number of ");
3256 print_generic_expr (dump_file
, from
, 0);
3257 fprintf (dump_file
, " from VARYING to ");
3258 print_generic_expr (dump_file
, to
, 0);
3259 fprintf (dump_file
, "\n");
3263 else if (TREE_CODE (to
) == SSA_NAME
3264 && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (to
))
3268 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3270 fprintf (dump_file
, "Setting value number of ");
3271 print_generic_expr (dump_file
, from
, 0);
3272 fprintf (dump_file
, " to ");
3273 print_generic_expr (dump_file
, to
, 0);
3277 && !operand_equal_p (currval
, to
, 0)
3278 /* ??? For addresses involving volatile objects or types operand_equal_p
3279 does not reliably detect ADDR_EXPRs as equal. We know we are only
3280 getting invariant gimple addresses here, so can use
3281 get_addr_base_and_unit_offset to do this comparison. */
3282 && !(TREE_CODE (currval
) == ADDR_EXPR
3283 && TREE_CODE (to
) == ADDR_EXPR
3284 && (get_addr_base_and_unit_offset (TREE_OPERAND (currval
, 0), &coff
)
3285 == get_addr_base_and_unit_offset (TREE_OPERAND (to
, 0), &toff
))
3288 /* If we equate two SSA names we have to make the side-band info
3289 of the leader conservative (and remember whatever original value
3291 if (TREE_CODE (to
) == SSA_NAME
)
3293 if (INTEGRAL_TYPE_P (TREE_TYPE (to
))
3294 && SSA_NAME_RANGE_INFO (to
))
3296 if (SSA_NAME_IS_DEFAULT_DEF (to
)
3297 || dominated_by_p_w_unex
3298 (gimple_bb (SSA_NAME_DEF_STMT (from
)),
3299 gimple_bb (SSA_NAME_DEF_STMT (to
))))
3300 /* Keep the info from the dominator. */
3302 else if (SSA_NAME_IS_DEFAULT_DEF (from
)
3303 || dominated_by_p_w_unex
3304 (gimple_bb (SSA_NAME_DEF_STMT (to
)),
3305 gimple_bb (SSA_NAME_DEF_STMT (from
))))
3307 /* Save old info. */
3308 if (! VN_INFO (to
)->info
.range_info
)
3310 VN_INFO (to
)->info
.range_info
= SSA_NAME_RANGE_INFO (to
);
3311 VN_INFO (to
)->range_info_anti_range_p
3312 = SSA_NAME_ANTI_RANGE_P (to
);
3314 /* Use that from the dominator. */
3315 SSA_NAME_RANGE_INFO (to
) = SSA_NAME_RANGE_INFO (from
);
3316 SSA_NAME_ANTI_RANGE_P (to
) = SSA_NAME_ANTI_RANGE_P (from
);
3320 /* Save old info. */
3321 if (! VN_INFO (to
)->info
.range_info
)
3323 VN_INFO (to
)->info
.range_info
= SSA_NAME_RANGE_INFO (to
);
3324 VN_INFO (to
)->range_info_anti_range_p
3325 = SSA_NAME_ANTI_RANGE_P (to
);
3327 /* Rather than allocating memory and unioning the info
3329 SSA_NAME_RANGE_INFO (to
) = NULL
;
3332 else if (POINTER_TYPE_P (TREE_TYPE (to
))
3333 && SSA_NAME_PTR_INFO (to
))
3335 if (SSA_NAME_IS_DEFAULT_DEF (to
)
3336 || dominated_by_p_w_unex
3337 (gimple_bb (SSA_NAME_DEF_STMT (from
)),
3338 gimple_bb (SSA_NAME_DEF_STMT (to
))))
3339 /* Keep the info from the dominator. */
3341 else if (SSA_NAME_IS_DEFAULT_DEF (from
)
3342 || dominated_by_p_w_unex
3343 (gimple_bb (SSA_NAME_DEF_STMT (to
)),
3344 gimple_bb (SSA_NAME_DEF_STMT (from
))))
3346 /* Save old info. */
3347 if (! VN_INFO (to
)->info
.ptr_info
)
3348 VN_INFO (to
)->info
.ptr_info
= SSA_NAME_PTR_INFO (to
);
3349 /* Use that from the dominator. */
3350 SSA_NAME_PTR_INFO (to
) = SSA_NAME_PTR_INFO (from
);
3352 else if (! SSA_NAME_PTR_INFO (from
)
3353 /* Handle the case of trivially equivalent info. */
3354 || memcmp (SSA_NAME_PTR_INFO (to
),
3355 SSA_NAME_PTR_INFO (from
),
3356 sizeof (ptr_info_def
)) != 0)
3358 /* Save old info. */
3359 if (! VN_INFO (to
)->info
.ptr_info
)
3360 VN_INFO (to
)->info
.ptr_info
= SSA_NAME_PTR_INFO (to
);
3361 /* Rather than allocating memory and unioning the info
3363 SSA_NAME_PTR_INFO (to
) = NULL
;
3368 VN_INFO (from
)->valnum
= to
;
3369 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3370 fprintf (dump_file
, " (changed)\n");
3373 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3374 fprintf (dump_file
, "\n");
3378 /* Mark as processed all the definitions in the defining stmt of USE, or
3382 mark_use_processed (tree use
)
3386 gimple
*stmt
= SSA_NAME_DEF_STMT (use
);
3388 if (SSA_NAME_IS_DEFAULT_DEF (use
) || gimple_code (stmt
) == GIMPLE_PHI
)
3390 VN_INFO (use
)->use_processed
= true;
3394 FOR_EACH_SSA_DEF_OPERAND (defp
, stmt
, iter
, SSA_OP_ALL_DEFS
)
3396 tree def
= DEF_FROM_PTR (defp
);
3398 VN_INFO (def
)->use_processed
= true;
3402 /* Set all definitions in STMT to value number to themselves.
3403 Return true if a value number changed. */
3406 defs_to_varying (gimple
*stmt
)
3408 bool changed
= false;
3412 FOR_EACH_SSA_DEF_OPERAND (defp
, stmt
, iter
, SSA_OP_ALL_DEFS
)
3414 tree def
= DEF_FROM_PTR (defp
);
3415 changed
|= set_ssa_val_to (def
, def
);
3420 /* Visit a copy between LHS and RHS, return true if the value number
3424 visit_copy (tree lhs
, tree rhs
)
3427 rhs
= SSA_VAL (rhs
);
3429 return set_ssa_val_to (lhs
, rhs
);
3432 /* Visit a nary operator RHS, value number it, and return true if the
3433 value number of LHS has changed as a result. */
3436 visit_nary_op (tree lhs
, gimple
*stmt
)
3438 bool changed
= false;
3439 tree result
= vn_nary_op_lookup_stmt (stmt
, NULL
);
3442 changed
= set_ssa_val_to (lhs
, result
);
3445 changed
= set_ssa_val_to (lhs
, lhs
);
3446 vn_nary_op_insert_stmt (stmt
, lhs
);
3452 /* Visit a call STMT storing into LHS. Return true if the value number
3453 of the LHS has changed as a result. */
3456 visit_reference_op_call (tree lhs
, gcall
*stmt
)
3458 bool changed
= false;
3459 struct vn_reference_s vr1
;
3460 vn_reference_t vnresult
= NULL
;
3461 tree vdef
= gimple_vdef (stmt
);
3463 /* Non-ssa lhs is handled in copy_reference_ops_from_call. */
3464 if (lhs
&& TREE_CODE (lhs
) != SSA_NAME
)
3467 vn_reference_lookup_call (stmt
, &vnresult
, &vr1
);
3470 if (vnresult
->result_vdef
&& vdef
)
3471 changed
|= set_ssa_val_to (vdef
, vnresult
->result_vdef
);
3473 /* If the call was discovered to be pure or const reflect
3474 that as far as possible. */
3475 changed
|= set_ssa_val_to (vdef
, vuse_ssa_val (gimple_vuse (stmt
)));
3477 if (!vnresult
->result
&& lhs
)
3478 vnresult
->result
= lhs
;
3480 if (vnresult
->result
&& lhs
)
3481 changed
|= set_ssa_val_to (lhs
, vnresult
->result
);
3486 vn_reference_s
**slot
;
3487 tree vdef_val
= vdef
;
3490 /* If we value numbered an indirect functions function to
3491 one not clobbering memory value number its VDEF to its
3493 tree fn
= gimple_call_fn (stmt
);
3494 if (fn
&& TREE_CODE (fn
) == SSA_NAME
)
3497 if (TREE_CODE (fn
) == ADDR_EXPR
3498 && TREE_CODE (TREE_OPERAND (fn
, 0)) == FUNCTION_DECL
3499 && (flags_from_decl_or_type (TREE_OPERAND (fn
, 0))
3500 & (ECF_CONST
| ECF_PURE
)))
3501 vdef_val
= vuse_ssa_val (gimple_vuse (stmt
));
3503 changed
|= set_ssa_val_to (vdef
, vdef_val
);
3506 changed
|= set_ssa_val_to (lhs
, lhs
);
3507 vr2
= current_info
->references_pool
->allocate ();
3508 vr2
->vuse
= vr1
.vuse
;
3509 /* As we are not walking the virtual operand chain we know the
3510 shared_lookup_references are still original so we can re-use
3512 vr2
->operands
= vr1
.operands
.copy ();
3513 vr2
->type
= vr1
.type
;
3515 vr2
->hashcode
= vr1
.hashcode
;
3517 vr2
->result_vdef
= vdef_val
;
3518 slot
= current_info
->references
->find_slot_with_hash (vr2
, vr2
->hashcode
,
3520 gcc_assert (!*slot
);
3527 /* Visit a load from a reference operator RHS, part of STMT, value number it,
3528 and return true if the value number of the LHS has changed as a result. */
3531 visit_reference_op_load (tree lhs
, tree op
, gimple
*stmt
)
3533 bool changed
= false;
3537 last_vuse
= gimple_vuse (stmt
);
3538 last_vuse_ptr
= &last_vuse
;
3539 result
= vn_reference_lookup (op
, gimple_vuse (stmt
),
3540 default_vn_walk_kind
, NULL
, true);
3541 last_vuse_ptr
= NULL
;
3543 /* We handle type-punning through unions by value-numbering based
3544 on offset and size of the access. Be prepared to handle a
3545 type-mismatch here via creating a VIEW_CONVERT_EXPR. */
3547 && !useless_type_conversion_p (TREE_TYPE (result
), TREE_TYPE (op
)))
3549 /* We will be setting the value number of lhs to the value number
3550 of VIEW_CONVERT_EXPR <TREE_TYPE (result)> (result).
3551 So first simplify and lookup this expression to see if it
3552 is already available. */
3553 code_helper rcode
= VIEW_CONVERT_EXPR
;
3554 tree ops
[3] = { result
};
3555 result
= vn_nary_build_or_lookup (rcode
, TREE_TYPE (op
), ops
);
3559 changed
= set_ssa_val_to (lhs
, result
);
3562 changed
= set_ssa_val_to (lhs
, lhs
);
3563 vn_reference_insert (op
, lhs
, last_vuse
, NULL_TREE
);
3570 /* Visit a store to a reference operator LHS, part of STMT, value number it,
3571 and return true if the value number of the LHS has changed as a result. */
3574 visit_reference_op_store (tree lhs
, tree op
, gimple
*stmt
)
3576 bool changed
= false;
3577 vn_reference_t vnresult
= NULL
;
3579 bool resultsame
= false;
3580 tree vuse
= gimple_vuse (stmt
);
3581 tree vdef
= gimple_vdef (stmt
);
3583 if (TREE_CODE (op
) == SSA_NAME
)
3586 /* First we want to lookup using the *vuses* from the store and see
3587 if there the last store to this location with the same address
3590 The vuses represent the memory state before the store. If the
3591 memory state, address, and value of the store is the same as the
3592 last store to this location, then this store will produce the
3593 same memory state as that store.
3595 In this case the vdef versions for this store are value numbered to those
3596 vuse versions, since they represent the same memory state after
3599 Otherwise, the vdefs for the store are used when inserting into
3600 the table, since the store generates a new memory state. */
3602 vn_reference_lookup (lhs
, vuse
, VN_NOWALK
, &vnresult
, false);
3604 && vnresult
->result
)
3606 tree result
= vnresult
->result
;
3607 if (TREE_CODE (result
) == SSA_NAME
)
3608 result
= SSA_VAL (result
);
3609 resultsame
= expressions_equal_p (result
, op
);
3612 /* If the TBAA state isn't compatible for downstream reads
3613 we cannot value-number the VDEFs the same. */
3614 alias_set_type set
= get_alias_set (lhs
);
3615 if (vnresult
->set
!= set
3616 && ! alias_set_subset_of (set
, vnresult
->set
))
3623 /* Only perform the following when being called from PRE
3624 which embeds tail merging. */
3625 if (default_vn_walk_kind
== VN_WALK
)
3627 assign
= build2 (MODIFY_EXPR
, TREE_TYPE (lhs
), lhs
, op
);
3628 vn_reference_lookup (assign
, vuse
, VN_NOWALK
, &vnresult
, false);
3631 VN_INFO (vdef
)->use_processed
= true;
3632 return set_ssa_val_to (vdef
, vnresult
->result_vdef
);
3636 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3638 fprintf (dump_file
, "No store match\n");
3639 fprintf (dump_file
, "Value numbering store ");
3640 print_generic_expr (dump_file
, lhs
, 0);
3641 fprintf (dump_file
, " to ");
3642 print_generic_expr (dump_file
, op
, 0);
3643 fprintf (dump_file
, "\n");
3645 /* Have to set value numbers before insert, since insert is
3646 going to valueize the references in-place. */
3648 changed
|= set_ssa_val_to (vdef
, vdef
);
3650 /* Do not insert structure copies into the tables. */
3651 if (is_gimple_min_invariant (op
)
3652 || is_gimple_reg (op
))
3653 vn_reference_insert (lhs
, op
, vdef
, NULL
);
3655 /* Only perform the following when being called from PRE
3656 which embeds tail merging. */
3657 if (default_vn_walk_kind
== VN_WALK
)
3659 assign
= build2 (MODIFY_EXPR
, TREE_TYPE (lhs
), lhs
, op
);
3660 vn_reference_insert (assign
, lhs
, vuse
, vdef
);
3665 /* We had a match, so value number the vdef to have the value
3666 number of the vuse it came from. */
3668 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3669 fprintf (dump_file
, "Store matched earlier value,"
3670 "value numbering store vdefs to matching vuses.\n");
3672 changed
|= set_ssa_val_to (vdef
, SSA_VAL (vuse
));
3678 /* Visit and value number PHI, return true if the value number
3682 visit_phi (gimple
*phi
)
3684 bool changed
= false;
3686 tree sameval
= VN_TOP
;
3687 bool allsame
= true;
3688 unsigned n_executable
= 0;
3690 /* TODO: We could check for this in init_sccvn, and replace this
3691 with a gcc_assert. */
3692 if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (PHI_RESULT (phi
)))
3693 return set_ssa_val_to (PHI_RESULT (phi
), PHI_RESULT (phi
));
3695 /* See if all non-TOP arguments have the same value. TOP is
3696 equivalent to everything, so we can ignore it. */
3699 FOR_EACH_EDGE (e
, ei
, gimple_bb (phi
)->preds
)
3700 if (e
->flags
& EDGE_EXECUTABLE
)
3702 tree def
= PHI_ARG_DEF_FROM_EDGE (phi
, e
);
3705 if (TREE_CODE (def
) == SSA_NAME
)
3706 def
= SSA_VAL (def
);
3709 if (sameval
== VN_TOP
)
3711 else if (!expressions_equal_p (def
, sameval
))
3718 /* If none of the edges was executable or all incoming values are
3719 undefined keep the value-number at VN_TOP. If only a single edge
3720 is exectuable use its value. */
3721 if (sameval
== VN_TOP
3722 || n_executable
== 1)
3723 return set_ssa_val_to (PHI_RESULT (phi
), sameval
);
3725 /* First see if it is equivalent to a phi node in this block. We prefer
3726 this as it allows IV elimination - see PRs 66502 and 67167. */
3727 result
= vn_phi_lookup (phi
);
3729 changed
= set_ssa_val_to (PHI_RESULT (phi
), result
);
3730 /* Otherwise all value numbered to the same value, the phi node has that
3733 changed
= set_ssa_val_to (PHI_RESULT (phi
), sameval
);
3736 vn_phi_insert (phi
, PHI_RESULT (phi
));
3737 changed
= set_ssa_val_to (PHI_RESULT (phi
), PHI_RESULT (phi
));
3743 /* Try to simplify RHS using equivalences and constant folding. */
3746 try_to_simplify (gassign
*stmt
)
3748 enum tree_code code
= gimple_assign_rhs_code (stmt
);
3751 /* For stores we can end up simplifying a SSA_NAME rhs. Just return
3752 in this case, there is no point in doing extra work. */
3753 if (code
== SSA_NAME
)
3756 /* First try constant folding based on our current lattice. */
3757 mprts_hook
= vn_lookup_simplify_result
;
3758 tem
= gimple_fold_stmt_to_constant_1 (stmt
, vn_valueize
, vn_valueize
);
3761 && (TREE_CODE (tem
) == SSA_NAME
3762 || is_gimple_min_invariant (tem
)))
3768 /* Visit and value number USE, return true if the value number
3772 visit_use (tree use
)
3774 bool changed
= false;
3775 gimple
*stmt
= SSA_NAME_DEF_STMT (use
);
3777 mark_use_processed (use
);
3779 gcc_assert (!SSA_NAME_IN_FREE_LIST (use
));
3780 if (dump_file
&& (dump_flags
& TDF_DETAILS
)
3781 && !SSA_NAME_IS_DEFAULT_DEF (use
))
3783 fprintf (dump_file
, "Value numbering ");
3784 print_generic_expr (dump_file
, use
, 0);
3785 fprintf (dump_file
, " stmt = ");
3786 print_gimple_stmt (dump_file
, stmt
, 0, 0);
3789 /* Handle uninitialized uses. */
3790 if (SSA_NAME_IS_DEFAULT_DEF (use
))
3791 changed
= set_ssa_val_to (use
, use
);
3792 else if (gimple_code (stmt
) == GIMPLE_PHI
)
3793 changed
= visit_phi (stmt
);
3794 else if (gimple_has_volatile_ops (stmt
))
3795 changed
= defs_to_varying (stmt
);
3796 else if (gassign
*ass
= dyn_cast
<gassign
*> (stmt
))
3798 enum tree_code code
= gimple_assign_rhs_code (ass
);
3799 tree lhs
= gimple_assign_lhs (ass
);
3800 tree rhs1
= gimple_assign_rhs1 (ass
);
3803 /* Shortcut for copies. Simplifying copies is pointless,
3804 since we copy the expression and value they represent. */
3805 if (code
== SSA_NAME
3806 && TREE_CODE (lhs
) == SSA_NAME
)
3808 changed
= visit_copy (lhs
, rhs1
);
3811 simplified
= try_to_simplify (ass
);
3814 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3816 fprintf (dump_file
, "RHS ");
3817 print_gimple_expr (dump_file
, ass
, 0, 0);
3818 fprintf (dump_file
, " simplified to ");
3819 print_generic_expr (dump_file
, simplified
, 0);
3820 fprintf (dump_file
, "\n");
3823 /* Setting value numbers to constants will occasionally
3824 screw up phi congruence because constants are not
3825 uniquely associated with a single ssa name that can be
3828 && is_gimple_min_invariant (simplified
)
3829 && TREE_CODE (lhs
) == SSA_NAME
)
3831 changed
= set_ssa_val_to (lhs
, simplified
);
3835 && TREE_CODE (simplified
) == SSA_NAME
3836 && TREE_CODE (lhs
) == SSA_NAME
)
3838 changed
= visit_copy (lhs
, simplified
);
3842 if ((TREE_CODE (lhs
) == SSA_NAME
3843 /* We can substitute SSA_NAMEs that are live over
3844 abnormal edges with their constant value. */
3845 && !(gimple_assign_copy_p (ass
)
3846 && is_gimple_min_invariant (rhs1
))
3848 && is_gimple_min_invariant (simplified
))
3849 && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (lhs
))
3850 /* Stores or copies from SSA_NAMEs that are live over
3851 abnormal edges are a problem. */
3852 || (code
== SSA_NAME
3853 && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (rhs1
)))
3854 changed
= defs_to_varying (ass
);
3855 else if (REFERENCE_CLASS_P (lhs
)
3857 changed
= visit_reference_op_store (lhs
, rhs1
, ass
);
3858 else if (TREE_CODE (lhs
) == SSA_NAME
)
3860 if ((gimple_assign_copy_p (ass
)
3861 && is_gimple_min_invariant (rhs1
))
3863 && is_gimple_min_invariant (simplified
)))
3866 changed
= set_ssa_val_to (lhs
, simplified
);
3868 changed
= set_ssa_val_to (lhs
, rhs1
);
3872 /* Visit the original statement. */
3873 switch (vn_get_stmt_kind (ass
))
3876 changed
= visit_nary_op (lhs
, ass
);
3879 changed
= visit_reference_op_load (lhs
, rhs1
, ass
);
3882 changed
= defs_to_varying (ass
);
3888 changed
= defs_to_varying (ass
);
3890 else if (gcall
*call_stmt
= dyn_cast
<gcall
*> (stmt
))
3892 tree lhs
= gimple_call_lhs (call_stmt
);
3893 if (lhs
&& TREE_CODE (lhs
) == SSA_NAME
)
3895 /* Try constant folding based on our current lattice. */
3896 tree simplified
= gimple_fold_stmt_to_constant_1 (call_stmt
,
3900 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
3902 fprintf (dump_file
, "call ");
3903 print_gimple_expr (dump_file
, call_stmt
, 0, 0);
3904 fprintf (dump_file
, " simplified to ");
3905 print_generic_expr (dump_file
, simplified
, 0);
3906 fprintf (dump_file
, "\n");
3909 /* Setting value numbers to constants will occasionally
3910 screw up phi congruence because constants are not
3911 uniquely associated with a single ssa name that can be
3914 && is_gimple_min_invariant (simplified
))
3916 changed
= set_ssa_val_to (lhs
, simplified
);
3917 if (gimple_vdef (call_stmt
))
3918 changed
|= set_ssa_val_to (gimple_vdef (call_stmt
),
3919 SSA_VAL (gimple_vuse (call_stmt
)));
3923 && TREE_CODE (simplified
) == SSA_NAME
)
3925 changed
= visit_copy (lhs
, simplified
);
3926 if (gimple_vdef (call_stmt
))
3927 changed
|= set_ssa_val_to (gimple_vdef (call_stmt
),
3928 SSA_VAL (gimple_vuse (call_stmt
)));
3931 else if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (lhs
))
3933 changed
= defs_to_varying (call_stmt
);
3938 /* Pick up flags from a devirtualization target. */
3939 tree fn
= gimple_call_fn (stmt
);
3940 int extra_fnflags
= 0;
3941 if (fn
&& TREE_CODE (fn
) == SSA_NAME
)
3944 if (TREE_CODE (fn
) == ADDR_EXPR
3945 && TREE_CODE (TREE_OPERAND (fn
, 0)) == FUNCTION_DECL
)
3946 extra_fnflags
= flags_from_decl_or_type (TREE_OPERAND (fn
, 0));
3948 if (!gimple_call_internal_p (call_stmt
)
3949 && (/* Calls to the same function with the same vuse
3950 and the same operands do not necessarily return the same
3951 value, unless they're pure or const. */
3952 ((gimple_call_flags (call_stmt
) | extra_fnflags
)
3953 & (ECF_PURE
| ECF_CONST
))
3954 /* If calls have a vdef, subsequent calls won't have
3955 the same incoming vuse. So, if 2 calls with vdef have the
3956 same vuse, we know they're not subsequent.
3957 We can value number 2 calls to the same function with the
3958 same vuse and the same operands which are not subsequent
3959 the same, because there is no code in the program that can
3960 compare the 2 values... */
3961 || (gimple_vdef (call_stmt
)
3962 /* ... unless the call returns a pointer which does
3963 not alias with anything else. In which case the
3964 information that the values are distinct are encoded
3966 && !(gimple_call_return_flags (call_stmt
) & ERF_NOALIAS
)
3967 /* Only perform the following when being called from PRE
3968 which embeds tail merging. */
3969 && default_vn_walk_kind
== VN_WALK
)))
3970 changed
= visit_reference_op_call (lhs
, call_stmt
);
3972 changed
= defs_to_varying (call_stmt
);
3975 changed
= defs_to_varying (stmt
);
3980 /* Compare two operands by reverse postorder index */
3983 compare_ops (const void *pa
, const void *pb
)
3985 const tree opa
= *((const tree
*)pa
);
3986 const tree opb
= *((const tree
*)pb
);
3987 gimple
*opstmta
= SSA_NAME_DEF_STMT (opa
);
3988 gimple
*opstmtb
= SSA_NAME_DEF_STMT (opb
);
3992 if (gimple_nop_p (opstmta
) && gimple_nop_p (opstmtb
))
3993 return SSA_NAME_VERSION (opa
) - SSA_NAME_VERSION (opb
);
3994 else if (gimple_nop_p (opstmta
))
3996 else if (gimple_nop_p (opstmtb
))
3999 bba
= gimple_bb (opstmta
);
4000 bbb
= gimple_bb (opstmtb
);
4003 return SSA_NAME_VERSION (opa
) - SSA_NAME_VERSION (opb
);
4011 if (gimple_code (opstmta
) == GIMPLE_PHI
4012 && gimple_code (opstmtb
) == GIMPLE_PHI
)
4013 return SSA_NAME_VERSION (opa
) - SSA_NAME_VERSION (opb
);
4014 else if (gimple_code (opstmta
) == GIMPLE_PHI
)
4016 else if (gimple_code (opstmtb
) == GIMPLE_PHI
)
4018 else if (gimple_uid (opstmta
) != gimple_uid (opstmtb
))
4019 return gimple_uid (opstmta
) - gimple_uid (opstmtb
);
4021 return SSA_NAME_VERSION (opa
) - SSA_NAME_VERSION (opb
);
4023 return rpo_numbers
[bba
->index
] - rpo_numbers
[bbb
->index
];
4026 /* Sort an array containing members of a strongly connected component
4027 SCC so that the members are ordered by RPO number.
4028 This means that when the sort is complete, iterating through the
4029 array will give you the members in RPO order. */
4032 sort_scc (vec
<tree
> scc
)
4034 scc
.qsort (compare_ops
);
4037 /* Insert the no longer used nary ONARY to the hash INFO. */
4040 copy_nary (vn_nary_op_t onary
, vn_tables_t info
)
4042 size_t size
= sizeof_vn_nary_op (onary
->length
);
4043 vn_nary_op_t nary
= alloc_vn_nary_op_noinit (onary
->length
,
4044 &info
->nary_obstack
);
4045 memcpy (nary
, onary
, size
);
4046 vn_nary_op_insert_into (nary
, info
->nary
, false);
4049 /* Insert the no longer used phi OPHI to the hash INFO. */
4052 copy_phi (vn_phi_t ophi
, vn_tables_t info
)
4054 vn_phi_t phi
= info
->phis_pool
->allocate ();
4056 memcpy (phi
, ophi
, sizeof (*phi
));
4057 ophi
->phiargs
.create (0);
4058 slot
= info
->phis
->find_slot_with_hash (phi
, phi
->hashcode
, INSERT
);
4059 gcc_assert (!*slot
);
4063 /* Insert the no longer used reference OREF to the hash INFO. */
4066 copy_reference (vn_reference_t oref
, vn_tables_t info
)
4069 vn_reference_s
**slot
;
4070 ref
= info
->references_pool
->allocate ();
4071 memcpy (ref
, oref
, sizeof (*ref
));
4072 oref
->operands
.create (0);
4073 slot
= info
->references
->find_slot_with_hash (ref
, ref
->hashcode
, INSERT
);
4075 free_reference (*slot
);
4079 /* Process a strongly connected component in the SSA graph. */
4082 process_scc (vec
<tree
> scc
)
4086 unsigned int iterations
= 0;
4087 bool changed
= true;
4088 vn_nary_op_iterator_type hin
;
4089 vn_phi_iterator_type hip
;
4090 vn_reference_iterator_type hir
;
4095 /* If the SCC has a single member, just visit it. */
4096 if (scc
.length () == 1)
4099 if (VN_INFO (use
)->use_processed
)
4101 /* We need to make sure it doesn't form a cycle itself, which can
4102 happen for self-referential PHI nodes. In that case we would
4103 end up inserting an expression with VN_TOP operands into the
4104 valid table which makes us derive bogus equivalences later.
4105 The cheapest way to check this is to assume it for all PHI nodes. */
4106 if (gimple_code (SSA_NAME_DEF_STMT (use
)) == GIMPLE_PHI
)
4107 /* Fallthru to iteration. */ ;
4115 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4116 print_scc (dump_file
, scc
);
4118 /* Iterate over the SCC with the optimistic table until it stops
4120 current_info
= optimistic_info
;
4125 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4126 fprintf (dump_file
, "Starting iteration %d\n", iterations
);
4127 /* As we are value-numbering optimistically we have to
4128 clear the expression tables and the simplified expressions
4129 in each iteration until we converge. */
4130 optimistic_info
->nary
->empty ();
4131 optimistic_info
->phis
->empty ();
4132 optimistic_info
->references
->empty ();
4133 obstack_free (&optimistic_info
->nary_obstack
, NULL
);
4134 gcc_obstack_init (&optimistic_info
->nary_obstack
);
4135 optimistic_info
->phis_pool
->release ();
4136 optimistic_info
->references_pool
->release ();
4137 FOR_EACH_VEC_ELT (scc
, i
, var
)
4138 gcc_assert (!VN_INFO (var
)->needs_insertion
4139 && VN_INFO (var
)->expr
== NULL
);
4140 FOR_EACH_VEC_ELT (scc
, i
, var
)
4141 changed
|= visit_use (var
);
4144 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4145 fprintf (dump_file
, "Processing SCC needed %d iterations\n", iterations
);
4146 statistics_histogram_event (cfun
, "SCC iterations", iterations
);
4148 /* Finally, copy the contents of the no longer used optimistic
4149 table to the valid table. */
4150 FOR_EACH_HASH_TABLE_ELEMENT (*optimistic_info
->nary
, nary
, vn_nary_op_t
, hin
)
4151 copy_nary (nary
, valid_info
);
4152 FOR_EACH_HASH_TABLE_ELEMENT (*optimistic_info
->phis
, phi
, vn_phi_t
, hip
)
4153 copy_phi (phi
, valid_info
);
4154 FOR_EACH_HASH_TABLE_ELEMENT (*optimistic_info
->references
,
4155 ref
, vn_reference_t
, hir
)
4156 copy_reference (ref
, valid_info
);
4158 current_info
= valid_info
;
4162 /* Pop the components of the found SCC for NAME off the SCC stack
4163 and process them. Returns true if all went well, false if
4164 we run into resource limits. */
4167 extract_and_process_scc_for_name (tree name
)
4172 /* Found an SCC, pop the components off the SCC stack and
4176 x
= sccstack
.pop ();
4178 VN_INFO (x
)->on_sccstack
= false;
4180 } while (x
!= name
);
4182 /* Bail out of SCCVN in case a SCC turns out to be incredibly large. */
4184 > (unsigned)PARAM_VALUE (PARAM_SCCVN_MAX_SCC_SIZE
))
4187 fprintf (dump_file
, "WARNING: Giving up with SCCVN due to "
4188 "SCC size %u exceeding %u\n", scc
.length (),
4189 (unsigned)PARAM_VALUE (PARAM_SCCVN_MAX_SCC_SIZE
));
4194 if (scc
.length () > 1)
4202 /* Depth first search on NAME to discover and process SCC's in the SSA
4204 Execution of this algorithm relies on the fact that the SCC's are
4205 popped off the stack in topological order.
4206 Returns true if successful, false if we stopped processing SCC's due
4207 to resource constraints. */
4212 auto_vec
<ssa_op_iter
> itervec
;
4213 auto_vec
<tree
> namevec
;
4214 use_operand_p usep
= NULL
;
4221 VN_INFO (name
)->dfsnum
= next_dfs_num
++;
4222 VN_INFO (name
)->visited
= true;
4223 VN_INFO (name
)->low
= VN_INFO (name
)->dfsnum
;
4225 sccstack
.safe_push (name
);
4226 VN_INFO (name
)->on_sccstack
= true;
4227 defstmt
= SSA_NAME_DEF_STMT (name
);
4229 /* Recursively DFS on our operands, looking for SCC's. */
4230 if (!gimple_nop_p (defstmt
))
4232 /* Push a new iterator. */
4233 if (gphi
*phi
= dyn_cast
<gphi
*> (defstmt
))
4234 usep
= op_iter_init_phiuse (&iter
, phi
, SSA_OP_ALL_USES
);
4236 usep
= op_iter_init_use (&iter
, defstmt
, SSA_OP_ALL_USES
);
4239 clear_and_done_ssa_iter (&iter
);
4243 /* If we are done processing uses of a name, go up the stack
4244 of iterators and process SCCs as we found them. */
4245 if (op_iter_done (&iter
))
4247 /* See if we found an SCC. */
4248 if (VN_INFO (name
)->low
== VN_INFO (name
)->dfsnum
)
4249 if (!extract_and_process_scc_for_name (name
))
4252 /* Check if we are done. */
4253 if (namevec
.is_empty ())
4256 /* Restore the last use walker and continue walking there. */
4258 name
= namevec
.pop ();
4259 memcpy (&iter
, &itervec
.last (),
4260 sizeof (ssa_op_iter
));
4262 goto continue_walking
;
4265 use
= USE_FROM_PTR (usep
);
4267 /* Since we handle phi nodes, we will sometimes get
4268 invariants in the use expression. */
4269 if (TREE_CODE (use
) == SSA_NAME
)
4271 if (! (VN_INFO (use
)->visited
))
4273 /* Recurse by pushing the current use walking state on
4274 the stack and starting over. */
4275 itervec
.safe_push (iter
);
4276 namevec
.safe_push (name
);
4281 VN_INFO (name
)->low
= MIN (VN_INFO (name
)->low
,
4282 VN_INFO (use
)->low
);
4284 if (VN_INFO (use
)->dfsnum
< VN_INFO (name
)->dfsnum
4285 && VN_INFO (use
)->on_sccstack
)
4287 VN_INFO (name
)->low
= MIN (VN_INFO (use
)->dfsnum
,
4288 VN_INFO (name
)->low
);
4292 usep
= op_iter_next_use (&iter
);
4296 /* Allocate a value number table. */
4299 allocate_vn_table (vn_tables_t table
)
4301 table
->phis
= new vn_phi_table_type (23);
4302 table
->nary
= new vn_nary_op_table_type (23);
4303 table
->references
= new vn_reference_table_type (23);
4305 gcc_obstack_init (&table
->nary_obstack
);
4306 table
->phis_pool
= new object_allocator
<vn_phi_s
> ("VN phis");
4307 table
->references_pool
= new object_allocator
<vn_reference_s
>
4311 /* Free a value number table. */
4314 free_vn_table (vn_tables_t table
)
4320 delete table
->references
;
4321 table
->references
= NULL
;
4322 obstack_free (&table
->nary_obstack
, NULL
);
4323 delete table
->phis_pool
;
4324 delete table
->references_pool
;
4331 int *rpo_numbers_temp
;
4333 calculate_dominance_info (CDI_DOMINATORS
);
4334 mark_dfs_back_edges ();
4336 sccstack
.create (0);
4337 constant_to_value_id
= new hash_table
<vn_constant_hasher
> (23);
4339 constant_value_ids
= BITMAP_ALLOC (NULL
);
4344 vn_ssa_aux_table
.create (num_ssa_names
+ 1);
4345 /* VEC_alloc doesn't actually grow it to the right size, it just
4346 preallocates the space to do so. */
4347 vn_ssa_aux_table
.safe_grow_cleared (num_ssa_names
+ 1);
4348 gcc_obstack_init (&vn_ssa_aux_obstack
);
4350 shared_lookup_phiargs
.create (0);
4351 shared_lookup_references
.create (0);
4352 rpo_numbers
= XNEWVEC (int, last_basic_block_for_fn (cfun
));
4354 XNEWVEC (int, n_basic_blocks_for_fn (cfun
) - NUM_FIXED_BLOCKS
);
4355 pre_and_rev_post_order_compute (NULL
, rpo_numbers_temp
, false);
4357 /* RPO numbers is an array of rpo ordering, rpo[i] = bb means that
4358 the i'th block in RPO order is bb. We want to map bb's to RPO
4359 numbers, so we need to rearrange this array. */
4360 for (j
= 0; j
< n_basic_blocks_for_fn (cfun
) - NUM_FIXED_BLOCKS
; j
++)
4361 rpo_numbers
[rpo_numbers_temp
[j
]] = j
;
4363 XDELETE (rpo_numbers_temp
);
4365 VN_TOP
= create_tmp_var_raw (void_type_node
, "vn_top");
4367 renumber_gimple_stmt_uids ();
4369 /* Create the valid and optimistic value numbering tables. */
4370 valid_info
= XCNEW (struct vn_tables_s
);
4371 allocate_vn_table (valid_info
);
4372 optimistic_info
= XCNEW (struct vn_tables_s
);
4373 allocate_vn_table (optimistic_info
);
4374 current_info
= valid_info
;
4376 /* Create the VN_INFO structures, and initialize value numbers to
4377 TOP or VARYING for parameters. */
4381 FOR_EACH_SSA_NAME (i
, name
, cfun
)
4383 VN_INFO_GET (name
)->valnum
= VN_TOP
;
4384 VN_INFO (name
)->needs_insertion
= false;
4385 VN_INFO (name
)->expr
= NULL
;
4386 VN_INFO (name
)->value_id
= 0;
4388 if (!SSA_NAME_IS_DEFAULT_DEF (name
))
4391 switch (TREE_CODE (SSA_NAME_VAR (name
)))
4394 /* Undefined vars keep TOP. */
4398 /* Parameters are VARYING but we can record a condition
4399 if we know it is a non-NULL pointer. */
4400 VN_INFO (name
)->visited
= true;
4401 VN_INFO (name
)->valnum
= name
;
4402 if (POINTER_TYPE_P (TREE_TYPE (name
))
4403 && nonnull_arg_p (SSA_NAME_VAR (name
)))
4407 ops
[1] = build_int_cst (TREE_TYPE (name
), 0);
4408 vn_nary_op_insert_pieces (2, NE_EXPR
, boolean_type_node
, ops
,
4409 boolean_true_node
, 0);
4410 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4412 fprintf (dump_file
, "Recording ");
4413 print_generic_expr (dump_file
, name
, TDF_SLIM
);
4414 fprintf (dump_file
, " != 0\n");
4420 /* If the result is passed by invisible reference the default
4421 def is initialized, otherwise it's uninitialized. */
4422 if (DECL_BY_REFERENCE (SSA_NAME_VAR (name
)))
4424 VN_INFO (name
)->visited
= true;
4425 VN_INFO (name
)->valnum
= name
;
4435 /* Restore SSA info that has been reset on value leaders. */
4438 scc_vn_restore_ssa_info (void)
4443 FOR_EACH_SSA_NAME (i
, name
, cfun
)
4445 if (has_VN_INFO (name
))
4447 if (VN_INFO (name
)->needs_insertion
)
4449 else if (POINTER_TYPE_P (TREE_TYPE (name
))
4450 && VN_INFO (name
)->info
.ptr_info
)
4451 SSA_NAME_PTR_INFO (name
) = VN_INFO (name
)->info
.ptr_info
;
4452 else if (INTEGRAL_TYPE_P (TREE_TYPE (name
))
4453 && VN_INFO (name
)->info
.range_info
)
4455 SSA_NAME_RANGE_INFO (name
) = VN_INFO (name
)->info
.range_info
;
4456 SSA_NAME_ANTI_RANGE_P (name
)
4457 = VN_INFO (name
)->range_info_anti_range_p
;
4469 delete constant_to_value_id
;
4470 constant_to_value_id
= NULL
;
4471 BITMAP_FREE (constant_value_ids
);
4472 shared_lookup_phiargs
.release ();
4473 shared_lookup_references
.release ();
4474 XDELETEVEC (rpo_numbers
);
4476 FOR_EACH_SSA_NAME (i
, name
, cfun
)
4478 if (has_VN_INFO (name
)
4479 && VN_INFO (name
)->needs_insertion
)
4480 release_ssa_name (name
);
4482 obstack_free (&vn_ssa_aux_obstack
, NULL
);
4483 vn_ssa_aux_table
.release ();
4485 sccstack
.release ();
4486 free_vn_table (valid_info
);
4487 XDELETE (valid_info
);
4488 free_vn_table (optimistic_info
);
4489 XDELETE (optimistic_info
);
4491 BITMAP_FREE (const_parms
);
4494 /* Set *ID according to RESULT. */
4497 set_value_id_for_result (tree result
, unsigned int *id
)
4499 if (result
&& TREE_CODE (result
) == SSA_NAME
)
4500 *id
= VN_INFO (result
)->value_id
;
4501 else if (result
&& is_gimple_min_invariant (result
))
4502 *id
= get_or_alloc_constant_value_id (result
);
4504 *id
= get_next_value_id ();
4507 /* Set the value ids in the valid hash tables. */
4510 set_hashtable_value_ids (void)
4512 vn_nary_op_iterator_type hin
;
4513 vn_phi_iterator_type hip
;
4514 vn_reference_iterator_type hir
;
4519 /* Now set the value ids of the things we had put in the hash
4522 FOR_EACH_HASH_TABLE_ELEMENT (*valid_info
->nary
, vno
, vn_nary_op_t
, hin
)
4523 set_value_id_for_result (vno
->result
, &vno
->value_id
);
4525 FOR_EACH_HASH_TABLE_ELEMENT (*valid_info
->phis
, vp
, vn_phi_t
, hip
)
4526 set_value_id_for_result (vp
->result
, &vp
->value_id
);
4528 FOR_EACH_HASH_TABLE_ELEMENT (*valid_info
->references
, vr
, vn_reference_t
,
4530 set_value_id_for_result (vr
->result
, &vr
->value_id
);
4533 class sccvn_dom_walker
: public dom_walker
4537 : dom_walker (CDI_DOMINATORS
, true), fail (false), cond_stack (0) {}
4539 virtual edge
before_dom_children (basic_block
);
4540 virtual void after_dom_children (basic_block
);
4542 void record_cond (basic_block
,
4543 enum tree_code code
, tree lhs
, tree rhs
, bool value
);
4544 void record_conds (basic_block
,
4545 enum tree_code code
, tree lhs
, tree rhs
, bool value
);
4548 auto_vec
<std::pair
<basic_block
, std::pair
<vn_nary_op_t
, vn_nary_op_t
> > >
4552 /* Record a temporary condition for the BB and its dominated blocks. */
4555 sccvn_dom_walker::record_cond (basic_block bb
,
4556 enum tree_code code
, tree lhs
, tree rhs
,
4559 tree ops
[2] = { lhs
, rhs
};
4560 vn_nary_op_t old
= NULL
;
4561 if (vn_nary_op_lookup_pieces (2, code
, boolean_type_node
, ops
, &old
))
4562 current_info
->nary
->remove_elt_with_hash (old
, old
->hashcode
);
4564 = vn_nary_op_insert_pieces (2, code
, boolean_type_node
, ops
,
4567 : boolean_false_node
, 0);
4568 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4570 fprintf (dump_file
, "Recording temporarily ");
4571 print_generic_expr (dump_file
, ops
[0], TDF_SLIM
);
4572 fprintf (dump_file
, " %s ", get_tree_code_name (code
));
4573 print_generic_expr (dump_file
, ops
[1], TDF_SLIM
);
4574 fprintf (dump_file
, " == %s%s\n",
4575 value
? "true" : "false",
4576 old
? " (old entry saved)" : "");
4578 cond_stack
.safe_push (std::make_pair (bb
, std::make_pair (cond
, old
)));
4581 /* Record temporary conditions for the BB and its dominated blocks
4582 according to LHS CODE RHS == VALUE and its dominated conditions. */
4585 sccvn_dom_walker::record_conds (basic_block bb
,
4586 enum tree_code code
, tree lhs
, tree rhs
,
4589 /* Record the original condition. */
4590 record_cond (bb
, code
, lhs
, rhs
, value
);
4595 /* Record dominated conditions if the condition is true. Note that
4596 the inversion is already recorded. */
4601 record_cond (bb
, code
== LT_EXPR
? LE_EXPR
: GE_EXPR
, lhs
, rhs
, true);
4602 record_cond (bb
, NE_EXPR
, lhs
, rhs
, true);
4603 record_cond (bb
, EQ_EXPR
, lhs
, rhs
, false);
4607 record_cond (bb
, LE_EXPR
, lhs
, rhs
, true);
4608 record_cond (bb
, GE_EXPR
, lhs
, rhs
, true);
4609 record_cond (bb
, LT_EXPR
, lhs
, rhs
, false);
4610 record_cond (bb
, GT_EXPR
, lhs
, rhs
, false);
4618 /* Restore expressions and values derived from conditionals. */
4621 sccvn_dom_walker::after_dom_children (basic_block bb
)
4623 while (!cond_stack
.is_empty ()
4624 && cond_stack
.last ().first
== bb
)
4626 vn_nary_op_t cond
= cond_stack
.last ().second
.first
;
4627 vn_nary_op_t old
= cond_stack
.last ().second
.second
;
4628 current_info
->nary
->remove_elt_with_hash (cond
, cond
->hashcode
);
4630 vn_nary_op_insert_into (old
, current_info
->nary
, false);
4635 /* Value number all statements in BB. */
4638 sccvn_dom_walker::before_dom_children (basic_block bb
)
4646 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4647 fprintf (dump_file
, "Visiting BB %d\n", bb
->index
);
4649 /* If we have a single predecessor record the equivalence from a
4650 possible condition on the predecessor edge. */
4652 FOR_EACH_EDGE (e
, ei
, bb
->preds
)
4654 /* Ignore simple backedges from this to allow recording conditions
4656 if (dominated_by_p (CDI_DOMINATORS
, e
->src
, e
->dest
))
4668 /* Check if there are multiple executable successor edges in
4669 the source block. Otherwise there is no additional info
4672 FOR_EACH_EDGE (e2
, ei
, pred_e
->src
->succs
)
4674 && e2
->flags
& EDGE_EXECUTABLE
)
4676 if (e2
&& (e2
->flags
& EDGE_EXECUTABLE
))
4678 gimple
*stmt
= last_stmt (pred_e
->src
);
4680 && gimple_code (stmt
) == GIMPLE_COND
)
4682 enum tree_code code
= gimple_cond_code (stmt
);
4683 tree lhs
= gimple_cond_lhs (stmt
);
4684 tree rhs
= gimple_cond_rhs (stmt
);
4685 record_conds (bb
, code
, lhs
, rhs
,
4686 (pred_e
->flags
& EDGE_TRUE_VALUE
) != 0);
4687 code
= invert_tree_comparison (code
, HONOR_NANS (lhs
));
4688 if (code
!= ERROR_MARK
)
4689 record_conds (bb
, code
, lhs
, rhs
,
4690 (pred_e
->flags
& EDGE_TRUE_VALUE
) == 0);
4695 /* Value-number all defs in the basic-block. */
4696 for (gphi_iterator gsi
= gsi_start_phis (bb
);
4697 !gsi_end_p (gsi
); gsi_next (&gsi
))
4699 gphi
*phi
= gsi
.phi ();
4700 tree res
= PHI_RESULT (phi
);
4701 if (!VN_INFO (res
)->visited
4708 for (gimple_stmt_iterator gsi
= gsi_start_bb (bb
);
4709 !gsi_end_p (gsi
); gsi_next (&gsi
))
4713 FOR_EACH_SSA_TREE_OPERAND (op
, gsi_stmt (gsi
), i
, SSA_OP_ALL_DEFS
)
4714 if (!VN_INFO (op
)->visited
4722 /* Finally look at the last stmt. */
4723 gimple
*stmt
= last_stmt (bb
);
4727 enum gimple_code code
= gimple_code (stmt
);
4728 if (code
!= GIMPLE_COND
4729 && code
!= GIMPLE_SWITCH
4730 && code
!= GIMPLE_GOTO
)
4733 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4735 fprintf (dump_file
, "Visiting control stmt ending BB %d: ", bb
->index
);
4736 print_gimple_stmt (dump_file
, stmt
, 0, 0);
4739 /* ??? We can even handle stmts with outgoing EH or ABNORMAL edges
4740 if value-numbering can prove they are not reachable. Handling
4741 computed gotos is also possible. */
4747 tree lhs
= vn_valueize (gimple_cond_lhs (stmt
));
4748 tree rhs
= vn_valueize (gimple_cond_rhs (stmt
));
4749 val
= gimple_simplify (gimple_cond_code (stmt
),
4750 boolean_type_node
, lhs
, rhs
,
4752 /* If that didn't simplify to a constant see if we have recorded
4753 temporary expressions from taken edges. */
4754 if (!val
|| TREE_CODE (val
) != INTEGER_CST
)
4759 val
= vn_nary_op_lookup_pieces (2, gimple_cond_code (stmt
),
4760 boolean_type_node
, ops
, NULL
);
4765 val
= gimple_switch_index (as_a
<gswitch
*> (stmt
));
4768 val
= gimple_goto_dest (stmt
);
4776 edge taken
= find_taken_edge (bb
, vn_valueize (val
));
4780 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4781 fprintf (dump_file
, "Marking all edges out of BB %d but (%d -> %d) as "
4782 "not executable\n", bb
->index
, bb
->index
, taken
->dest
->index
);
4787 /* Do SCCVN. Returns true if it finished, false if we bailed out
4788 due to resource constraints. DEFAULT_VN_WALK_KIND_ specifies
4789 how we use the alias oracle walking during the VN process. */
4792 run_scc_vn (vn_lookup_kind default_vn_walk_kind_
)
4796 default_vn_walk_kind
= default_vn_walk_kind_
;
4800 /* Collect pointers we know point to readonly memory. */
4801 const_parms
= BITMAP_ALLOC (NULL
);
4802 tree fnspec
= lookup_attribute ("fn spec",
4803 TYPE_ATTRIBUTES (TREE_TYPE (cfun
->decl
)));
4806 fnspec
= TREE_VALUE (TREE_VALUE (fnspec
));
4808 for (tree arg
= DECL_ARGUMENTS (cfun
->decl
);
4809 arg
; arg
= DECL_CHAIN (arg
), ++i
)
4811 if (i
>= (unsigned) TREE_STRING_LENGTH (fnspec
))
4813 if (TREE_STRING_POINTER (fnspec
)[i
] == 'R'
4814 || TREE_STRING_POINTER (fnspec
)[i
] == 'r')
4816 tree name
= ssa_default_def (cfun
, arg
);
4818 bitmap_set_bit (const_parms
, SSA_NAME_VERSION (name
));
4823 /* Walk all blocks in dominator order, value-numbering stmts
4824 SSA defs and decide whether outgoing edges are not executable. */
4825 sccvn_dom_walker walker
;
4826 walker
.walk (ENTRY_BLOCK_PTR_FOR_FN (cfun
));
4833 /* Initialize the value ids and prune out remaining VN_TOPs
4837 FOR_EACH_SSA_NAME (i
, name
, cfun
)
4839 vn_ssa_aux_t info
= VN_INFO (name
);
4841 info
->valnum
= name
;
4842 if (info
->valnum
== name
4843 || info
->valnum
== VN_TOP
)
4844 info
->value_id
= get_next_value_id ();
4845 else if (is_gimple_min_invariant (info
->valnum
))
4846 info
->value_id
= get_or_alloc_constant_value_id (info
->valnum
);
4850 FOR_EACH_SSA_NAME (i
, name
, cfun
)
4852 vn_ssa_aux_t info
= VN_INFO (name
);
4853 if (TREE_CODE (info
->valnum
) == SSA_NAME
4854 && info
->valnum
!= name
4855 && info
->value_id
!= VN_INFO (info
->valnum
)->value_id
)
4856 info
->value_id
= VN_INFO (info
->valnum
)->value_id
;
4859 set_hashtable_value_ids ();
4861 if (dump_file
&& (dump_flags
& TDF_DETAILS
))
4863 fprintf (dump_file
, "Value numbers:\n");
4864 FOR_EACH_SSA_NAME (i
, name
, cfun
)
4866 if (VN_INFO (name
)->visited
4867 && SSA_VAL (name
) != name
)
4869 print_generic_expr (dump_file
, name
, 0);
4870 fprintf (dump_file
, " = ");
4871 print_generic_expr (dump_file
, SSA_VAL (name
), 0);
4872 fprintf (dump_file
, "\n");
4880 /* Return the maximum value id we have ever seen. */
4883 get_max_value_id (void)
4885 return next_value_id
;
4888 /* Return the next unique value id. */
4891 get_next_value_id (void)
4893 return next_value_id
++;
4897 /* Compare two expressions E1 and E2 and return true if they are equal. */
4900 expressions_equal_p (tree e1
, tree e2
)
4902 /* The obvious case. */
4906 /* If either one is VN_TOP consider them equal. */
4907 if (e1
== VN_TOP
|| e2
== VN_TOP
)
4910 /* If only one of them is null, they cannot be equal. */
4914 /* Now perform the actual comparison. */
4915 if (TREE_CODE (e1
) == TREE_CODE (e2
)
4916 && operand_equal_p (e1
, e2
, OEP_PURE_SAME
))
4923 /* Return true if the nary operation NARY may trap. This is a copy
4924 of stmt_could_throw_1_p adjusted to the SCCVN IL. */
4927 vn_nary_may_trap (vn_nary_op_t nary
)
4930 tree rhs2
= NULL_TREE
;
4931 bool honor_nans
= false;
4932 bool honor_snans
= false;
4933 bool fp_operation
= false;
4934 bool honor_trapv
= false;
4938 if (TREE_CODE_CLASS (nary
->opcode
) == tcc_comparison
4939 || TREE_CODE_CLASS (nary
->opcode
) == tcc_unary
4940 || TREE_CODE_CLASS (nary
->opcode
) == tcc_binary
)
4943 fp_operation
= FLOAT_TYPE_P (type
);
4946 honor_nans
= flag_trapping_math
&& !flag_finite_math_only
;
4947 honor_snans
= flag_signaling_nans
!= 0;
4949 else if (INTEGRAL_TYPE_P (type
)
4950 && TYPE_OVERFLOW_TRAPS (type
))
4953 if (nary
->length
>= 2)
4955 ret
= operation_could_trap_helper_p (nary
->opcode
, fp_operation
,
4957 honor_nans
, honor_snans
, rhs2
,
4963 for (i
= 0; i
< nary
->length
; ++i
)
4964 if (tree_could_trap_p (nary
->op
[i
]))