1 /* Memory address lowering and addressing mode selection.
2 Copyright (C) 2004-2014 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by the
8 Free Software Foundation; either version 3, or (at your option) any
11 GCC is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* Utility functions for manipulation with TARGET_MEM_REFs -- tree expressions
21 that directly map to addressing modes of the target. */
25 #include "coretypes.h"
28 #include "stor-layout.h"
30 #include "basic-block.h"
31 #include "tree-pretty-print.h"
32 #include "tree-ssa-alias.h"
33 #include "internal-fn.h"
34 #include "gimple-expr.h"
37 #include "gimple-iterator.h"
38 #include "gimplify-me.h"
39 #include "stringpool.h"
40 #include "tree-ssanames.h"
41 #include "tree-ssa-loop-ivopts.h"
46 #include "tree-inline.h"
47 #include "tree-affine.h"
49 /* FIXME: We compute address costs using RTL. */
50 #include "insn-config.h"
56 #include "tree-ssa-address.h"
58 /* TODO -- handling of symbols (according to Richard Hendersons
59 comments, http://gcc.gnu.org/ml/gcc-patches/2005-04/msg00949.html):
61 There are at least 5 different kinds of symbols that we can run up against:
63 (1) binds_local_p, small data area.
64 (2) binds_local_p, eg local statics
65 (3) !binds_local_p, eg global variables
66 (4) thread local, local_exec
67 (5) thread local, !local_exec
69 Now, (1) won't appear often in an array context, but it certainly can.
70 All you have to do is set -GN high enough, or explicitly mark any
71 random object __attribute__((section (".sdata"))).
73 All of these affect whether or not a symbol is in fact a valid address.
74 The only one tested here is (3). And that result may very well
75 be incorrect for (4) or (5).
77 An incorrect result here does not cause incorrect results out the
78 back end, because the expander in expr.c validizes the address. However
79 it would be nice to improve the handling here in order to produce more
82 /* A "template" for memory address, used to determine whether the address is
85 typedef struct GTY (()) mem_addr_template
{
86 rtx ref
; /* The template. */
87 rtx
* GTY ((skip
)) step_p
; /* The point in template where the step should be
89 rtx
* GTY ((skip
)) off_p
; /* The point in template where the offset should
94 /* The templates. Each of the low five bits of the index corresponds to one
95 component of TARGET_MEM_REF being present, while the high bits identify
96 the address space. See TEMPL_IDX. */
98 static GTY(()) vec
<mem_addr_template
, va_gc
> *mem_addr_template_list
;
100 #define TEMPL_IDX(AS, SYMBOL, BASE, INDEX, STEP, OFFSET) \
102 | ((SYMBOL != 0) << 4) \
103 | ((BASE != 0) << 3) \
104 | ((INDEX != 0) << 2) \
105 | ((STEP != 0) << 1) \
108 /* Stores address for memory reference with parameters SYMBOL, BASE, INDEX,
109 STEP and OFFSET to *ADDR using address mode ADDRESS_MODE. Stores pointers
110 to where step is placed to *STEP_P and offset to *OFFSET_P. */
113 gen_addr_rtx (enum machine_mode address_mode
,
114 rtx symbol
, rtx base
, rtx index
, rtx step
, rtx offset
,
115 rtx
*addr
, rtx
**step_p
, rtx
**offset_p
)
130 act_elem
= gen_rtx_MULT (address_mode
, act_elem
, step
);
133 *step_p
= &XEXP (act_elem
, 1);
139 if (base
&& base
!= const0_rtx
)
142 *addr
= simplify_gen_binary (PLUS
, address_mode
, base
, *addr
);
152 act_elem
= gen_rtx_PLUS (address_mode
, act_elem
, offset
);
155 *offset_p
= &XEXP (act_elem
, 1);
157 if (GET_CODE (symbol
) == SYMBOL_REF
158 || GET_CODE (symbol
) == LABEL_REF
159 || GET_CODE (symbol
) == CONST
)
160 act_elem
= gen_rtx_CONST (address_mode
, act_elem
);
164 *addr
= gen_rtx_PLUS (address_mode
, *addr
, act_elem
);
172 *addr
= gen_rtx_PLUS (address_mode
, *addr
, offset
);
174 *offset_p
= &XEXP (*addr
, 1);
188 /* Description of a memory address. */
192 tree symbol
, base
, index
, step
, offset
;
195 /* Returns address for TARGET_MEM_REF with parameters given by ADDR
197 If REALLY_EXPAND is false, just make fake registers instead
198 of really expanding the operands, and perform the expansion in-place
199 by using one of the "templates". */
202 addr_for_mem_ref (struct mem_address
*addr
, addr_space_t as
,
205 enum machine_mode address_mode
= targetm
.addr_space
.address_mode (as
);
206 enum machine_mode pointer_mode
= targetm
.addr_space
.pointer_mode (as
);
207 rtx address
, sym
, bse
, idx
, st
, off
;
208 struct mem_addr_template
*templ
;
210 if (addr
->step
&& !integer_onep (addr
->step
))
211 st
= immed_double_int_const (tree_to_double_int (addr
->step
), pointer_mode
);
215 if (addr
->offset
&& !integer_zerop (addr
->offset
))
216 off
= immed_double_int_const
217 (tree_to_double_int (addr
->offset
)
218 .sext (TYPE_PRECISION (TREE_TYPE (addr
->offset
))),
225 unsigned int templ_index
226 = TEMPL_IDX (as
, addr
->symbol
, addr
->base
, addr
->index
, st
, off
);
228 if (templ_index
>= vec_safe_length (mem_addr_template_list
))
229 vec_safe_grow_cleared (mem_addr_template_list
, templ_index
+ 1);
231 /* Reuse the templates for addresses, so that we do not waste memory. */
232 templ
= &(*mem_addr_template_list
)[templ_index
];
235 sym
= (addr
->symbol
?
236 gen_rtx_SYMBOL_REF (pointer_mode
, ggc_strdup ("test_symbol"))
239 gen_raw_REG (pointer_mode
, LAST_VIRTUAL_REGISTER
+ 1)
242 gen_raw_REG (pointer_mode
, LAST_VIRTUAL_REGISTER
+ 2)
245 gen_addr_rtx (pointer_mode
, sym
, bse
, idx
,
246 st
? const0_rtx
: NULL_RTX
,
247 off
? const0_rtx
: NULL_RTX
,
261 /* Otherwise really expand the expressions. */
263 ? expand_expr (addr
->symbol
, NULL_RTX
, pointer_mode
, EXPAND_NORMAL
)
266 ? expand_expr (addr
->base
, NULL_RTX
, pointer_mode
, EXPAND_NORMAL
)
269 ? expand_expr (addr
->index
, NULL_RTX
, pointer_mode
, EXPAND_NORMAL
)
272 gen_addr_rtx (pointer_mode
, sym
, bse
, idx
, st
, off
, &address
, NULL
, NULL
);
273 if (pointer_mode
!= address_mode
)
274 address
= convert_memory_address (address_mode
, address
);
278 /* implement addr_for_mem_ref() directly from a tree, which avoids exporting
279 the mem_address structure. */
282 addr_for_mem_ref (tree exp
, addr_space_t as
, bool really_expand
)
284 struct mem_address addr
;
285 get_address_description (exp
, &addr
);
286 return addr_for_mem_ref (&addr
, as
, really_expand
);
289 /* Returns address of MEM_REF in TYPE. */
292 tree_mem_ref_addr (tree type
, tree mem_ref
)
296 tree step
= TMR_STEP (mem_ref
), offset
= TMR_OFFSET (mem_ref
);
297 tree addr_base
= NULL_TREE
, addr_off
= NULL_TREE
;
299 addr_base
= fold_convert (type
, TMR_BASE (mem_ref
));
301 act_elem
= TMR_INDEX (mem_ref
);
305 act_elem
= fold_build2 (MULT_EXPR
, TREE_TYPE (act_elem
),
310 act_elem
= TMR_INDEX2 (mem_ref
);
314 addr_off
= fold_build2 (PLUS_EXPR
, TREE_TYPE (addr_off
),
320 if (offset
&& !integer_zerop (offset
))
323 addr_off
= fold_build2 (PLUS_EXPR
, TREE_TYPE (addr_off
), addr_off
,
324 fold_convert (TREE_TYPE (addr_off
), offset
));
330 addr
= fold_build_pointer_plus (addr_base
, addr_off
);
337 /* Returns true if a memory reference in MODE and with parameters given by
338 ADDR is valid on the current target. */
341 valid_mem_ref_p (enum machine_mode mode
, addr_space_t as
,
342 struct mem_address
*addr
)
346 address
= addr_for_mem_ref (addr
, as
, false);
350 return memory_address_addr_space_p (mode
, address
, as
);
353 /* Checks whether a TARGET_MEM_REF with type TYPE and parameters given by ADDR
354 is valid on the current target and if so, creates and returns the
355 TARGET_MEM_REF. If VERIFY is false omit the verification step. */
358 create_mem_ref_raw (tree type
, tree alias_ptr_type
, struct mem_address
*addr
,
364 && !valid_mem_ref_p (TYPE_MODE (type
), TYPE_ADDR_SPACE (type
), addr
))
367 if (addr
->step
&& integer_onep (addr
->step
))
368 addr
->step
= NULL_TREE
;
371 addr
->offset
= fold_convert (alias_ptr_type
, addr
->offset
);
373 addr
->offset
= build_int_cst (alias_ptr_type
, 0);
381 && POINTER_TYPE_P (TREE_TYPE (addr
->base
)))
388 base
= build_int_cst (ptr_type_node
, 0);
392 /* If possible use a plain MEM_REF instead of a TARGET_MEM_REF.
393 ??? As IVOPTs does not follow restrictions to where the base
394 pointer may point to create a MEM_REF only if we know that
396 if ((TREE_CODE (base
) == ADDR_EXPR
|| TREE_CODE (base
) == INTEGER_CST
)
397 && (!index2
|| integer_zerop (index2
))
398 && (!addr
->index
|| integer_zerop (addr
->index
)))
399 return fold_build2 (MEM_REF
, type
, base
, addr
->offset
);
401 return build5 (TARGET_MEM_REF
, type
,
402 base
, addr
->offset
, addr
->index
, addr
->step
, index2
);
405 /* Returns true if OBJ is an object whose address is a link time constant. */
408 fixed_address_object_p (tree obj
)
410 return (TREE_CODE (obj
) == VAR_DECL
411 && (TREE_STATIC (obj
)
412 || DECL_EXTERNAL (obj
))
413 && ! DECL_DLLIMPORT_P (obj
));
416 /* If ADDR contains an address of object that is a link time constant,
417 move it to PARTS->symbol. */
420 move_fixed_address_to_symbol (struct mem_address
*parts
, aff_tree
*addr
)
423 tree val
= NULL_TREE
;
425 for (i
= 0; i
< addr
->n
; i
++)
427 if (!addr
->elts
[i
].coef
.is_one ())
430 val
= addr
->elts
[i
].val
;
431 if (TREE_CODE (val
) == ADDR_EXPR
432 && fixed_address_object_p (TREE_OPERAND (val
, 0)))
440 aff_combination_remove_elt (addr
, i
);
443 /* If ADDR contains an instance of BASE_HINT, move it to PARTS->base. */
446 move_hint_to_base (tree type
, struct mem_address
*parts
, tree base_hint
,
450 tree val
= NULL_TREE
;
453 for (i
= 0; i
< addr
->n
; i
++)
455 if (!addr
->elts
[i
].coef
.is_one ())
458 val
= addr
->elts
[i
].val
;
459 if (operand_equal_p (val
, base_hint
, 0))
466 /* Cast value to appropriate pointer type. We cannot use a pointer
467 to TYPE directly, as the back-end will assume registers of pointer
468 type are aligned, and just the base itself may not actually be.
469 We use void pointer to the type's address space instead. */
470 qual
= ENCODE_QUAL_ADDR_SPACE (TYPE_ADDR_SPACE (type
));
471 type
= build_qualified_type (void_type_node
, qual
);
472 parts
->base
= fold_convert (build_pointer_type (type
), val
);
473 aff_combination_remove_elt (addr
, i
);
476 /* If ADDR contains an address of a dereferenced pointer, move it to
480 move_pointer_to_base (struct mem_address
*parts
, aff_tree
*addr
)
483 tree val
= NULL_TREE
;
485 for (i
= 0; i
< addr
->n
; i
++)
487 if (!addr
->elts
[i
].coef
.is_one ())
490 val
= addr
->elts
[i
].val
;
491 if (POINTER_TYPE_P (TREE_TYPE (val
)))
499 aff_combination_remove_elt (addr
, i
);
502 /* Moves the loop variant part V in linear address ADDR to be the index
506 move_variant_to_index (struct mem_address
*parts
, aff_tree
*addr
, tree v
)
509 tree val
= NULL_TREE
;
511 gcc_assert (!parts
->index
);
512 for (i
= 0; i
< addr
->n
; i
++)
514 val
= addr
->elts
[i
].val
;
515 if (operand_equal_p (val
, v
, 0))
522 parts
->index
= fold_convert (sizetype
, val
);
523 parts
->step
= double_int_to_tree (sizetype
, addr
->elts
[i
].coef
);
524 aff_combination_remove_elt (addr
, i
);
527 /* Adds ELT to PARTS. */
530 add_to_parts (struct mem_address
*parts
, tree elt
)
536 parts
->index
= fold_convert (sizetype
, elt
);
546 /* Add ELT to base. */
547 type
= TREE_TYPE (parts
->base
);
548 if (POINTER_TYPE_P (type
))
549 parts
->base
= fold_build_pointer_plus (parts
->base
, elt
);
551 parts
->base
= fold_build2 (PLUS_EXPR
, type
,
555 /* Finds the most expensive multiplication in ADDR that can be
556 expressed in an addressing mode and move the corresponding
557 element(s) to PARTS. */
560 most_expensive_mult_to_index (tree type
, struct mem_address
*parts
,
561 aff_tree
*addr
, bool speed
)
563 addr_space_t as
= TYPE_ADDR_SPACE (type
);
564 enum machine_mode address_mode
= targetm
.addr_space
.address_mode (as
);
566 double_int best_mult
, amult
, amult_neg
;
567 unsigned best_mult_cost
= 0, acost
;
568 tree mult_elt
= NULL_TREE
, elt
;
570 enum tree_code op_code
;
572 best_mult
= double_int_zero
;
573 for (i
= 0; i
< addr
->n
; i
++)
575 if (!addr
->elts
[i
].coef
.fits_shwi ())
578 coef
= addr
->elts
[i
].coef
.to_shwi ();
580 || !multiplier_allowed_in_address_p (coef
, TYPE_MODE (type
), as
))
583 acost
= mult_by_coeff_cost (coef
, address_mode
, speed
);
585 if (acost
> best_mult_cost
)
587 best_mult_cost
= acost
;
588 best_mult
= addr
->elts
[i
].coef
;
595 /* Collect elements multiplied by best_mult. */
596 for (i
= j
= 0; i
< addr
->n
; i
++)
598 amult
= addr
->elts
[i
].coef
;
599 amult_neg
= double_int_ext_for_comb (-amult
, addr
);
601 if (amult
== best_mult
)
603 else if (amult_neg
== best_mult
)
604 op_code
= MINUS_EXPR
;
607 addr
->elts
[j
] = addr
->elts
[i
];
612 elt
= fold_convert (sizetype
, addr
->elts
[i
].val
);
614 mult_elt
= fold_build2 (op_code
, sizetype
, mult_elt
, elt
);
615 else if (op_code
== PLUS_EXPR
)
618 mult_elt
= fold_build1 (NEGATE_EXPR
, sizetype
, elt
);
622 parts
->index
= mult_elt
;
623 parts
->step
= double_int_to_tree (sizetype
, best_mult
);
626 /* Splits address ADDR for a memory access of type TYPE into PARTS.
627 If BASE_HINT is non-NULL, it specifies an SSA name to be used
628 preferentially as base of the reference, and IV_CAND is the selected
629 iv candidate used in ADDR.
631 TODO -- be more clever about the distribution of the elements of ADDR
632 to PARTS. Some architectures do not support anything but single
633 register in address, possibly with a small integer offset; while
634 create_mem_ref will simplify the address to an acceptable shape
635 later, it would be more efficient to know that asking for complicated
636 addressing modes is useless. */
639 addr_to_parts (tree type
, aff_tree
*addr
, tree iv_cand
,
640 tree base_hint
, struct mem_address
*parts
,
646 parts
->symbol
= NULL_TREE
;
647 parts
->base
= NULL_TREE
;
648 parts
->index
= NULL_TREE
;
649 parts
->step
= NULL_TREE
;
651 if (!addr
->offset
.is_zero ())
652 parts
->offset
= double_int_to_tree (sizetype
, addr
->offset
);
654 parts
->offset
= NULL_TREE
;
656 /* Try to find a symbol. */
657 move_fixed_address_to_symbol (parts
, addr
);
659 /* No need to do address parts reassociation if the number of parts
660 is <= 2 -- in that case, no loop invariant code motion can be
663 if (!base_hint
&& (addr
->n
> 2))
664 move_variant_to_index (parts
, addr
, iv_cand
);
666 /* First move the most expensive feasible multiplication
669 most_expensive_mult_to_index (type
, parts
, addr
, speed
);
671 /* Try to find a base of the reference. Since at the moment
672 there is no reliable way how to distinguish between pointer and its
673 offset, this is just a guess. */
674 if (!parts
->symbol
&& base_hint
)
675 move_hint_to_base (type
, parts
, base_hint
, addr
);
676 if (!parts
->symbol
&& !parts
->base
)
677 move_pointer_to_base (parts
, addr
);
679 /* Then try to process the remaining elements. */
680 for (i
= 0; i
< addr
->n
; i
++)
682 part
= fold_convert (sizetype
, addr
->elts
[i
].val
);
683 if (!addr
->elts
[i
].coef
.is_one ())
684 part
= fold_build2 (MULT_EXPR
, sizetype
, part
,
685 double_int_to_tree (sizetype
, addr
->elts
[i
].coef
));
686 add_to_parts (parts
, part
);
689 add_to_parts (parts
, fold_convert (sizetype
, addr
->rest
));
692 /* Force the PARTS to register. */
695 gimplify_mem_ref_parts (gimple_stmt_iterator
*gsi
, struct mem_address
*parts
)
698 parts
->base
= force_gimple_operand_gsi_1 (gsi
, parts
->base
,
699 is_gimple_mem_ref_addr
, NULL_TREE
,
700 true, GSI_SAME_STMT
);
702 parts
->index
= force_gimple_operand_gsi (gsi
, parts
->index
,
704 true, GSI_SAME_STMT
);
707 /* Creates and returns a TARGET_MEM_REF for address ADDR. If necessary
708 computations are emitted in front of GSI. TYPE is the mode
709 of created memory reference. IV_CAND is the selected iv candidate in ADDR,
710 and BASE_HINT is non NULL if IV_CAND comes from a base address
714 create_mem_ref (gimple_stmt_iterator
*gsi
, tree type
, aff_tree
*addr
,
715 tree alias_ptr_type
, tree iv_cand
, tree base_hint
, bool speed
)
718 struct mem_address parts
;
720 addr_to_parts (type
, addr
, iv_cand
, base_hint
, &parts
, speed
);
721 gimplify_mem_ref_parts (gsi
, &parts
);
722 mem_ref
= create_mem_ref_raw (type
, alias_ptr_type
, &parts
, true);
726 /* The expression is too complicated. Try making it simpler. */
728 if (parts
.step
&& !integer_onep (parts
.step
))
730 /* Move the multiplication to index. */
731 gcc_assert (parts
.index
);
732 parts
.index
= force_gimple_operand_gsi (gsi
,
733 fold_build2 (MULT_EXPR
, sizetype
,
734 parts
.index
, parts
.step
),
735 true, NULL_TREE
, true, GSI_SAME_STMT
);
736 parts
.step
= NULL_TREE
;
738 mem_ref
= create_mem_ref_raw (type
, alias_ptr_type
, &parts
, true);
746 gcc_assert (is_gimple_val (tmp
));
748 /* Add the symbol to base, eventually forcing it to register. */
751 gcc_assert (useless_type_conversion_p
752 (sizetype
, TREE_TYPE (parts
.base
)));
756 parts
.base
= force_gimple_operand_gsi_1 (gsi
,
757 fold_build_pointer_plus (tmp
, parts
.base
),
758 is_gimple_mem_ref_addr
, NULL_TREE
, true, GSI_SAME_STMT
);
762 parts
.index
= parts
.base
;
768 parts
.symbol
= NULL_TREE
;
770 mem_ref
= create_mem_ref_raw (type
, alias_ptr_type
, &parts
, true);
777 /* Add index to base. */
780 parts
.base
= force_gimple_operand_gsi_1 (gsi
,
781 fold_build_pointer_plus (parts
.base
, parts
.index
),
782 is_gimple_mem_ref_addr
, NULL_TREE
, true, GSI_SAME_STMT
);
785 parts
.base
= parts
.index
;
786 parts
.index
= NULL_TREE
;
788 mem_ref
= create_mem_ref_raw (type
, alias_ptr_type
, &parts
, true);
793 if (parts
.offset
&& !integer_zerop (parts
.offset
))
795 /* Try adding offset to base. */
798 parts
.base
= force_gimple_operand_gsi_1 (gsi
,
799 fold_build_pointer_plus (parts
.base
, parts
.offset
),
800 is_gimple_mem_ref_addr
, NULL_TREE
, true, GSI_SAME_STMT
);
803 parts
.base
= parts
.offset
;
805 parts
.offset
= NULL_TREE
;
807 mem_ref
= create_mem_ref_raw (type
, alias_ptr_type
, &parts
, true);
812 /* Verify that the address is in the simplest possible shape
813 (only a register). If we cannot create such a memory reference,
814 something is really wrong. */
815 gcc_assert (parts
.symbol
== NULL_TREE
);
816 gcc_assert (parts
.index
== NULL_TREE
);
817 gcc_assert (!parts
.step
|| integer_onep (parts
.step
));
818 gcc_assert (!parts
.offset
|| integer_zerop (parts
.offset
));
822 /* Copies components of the address from OP to ADDR. */
825 get_address_description (tree op
, struct mem_address
*addr
)
827 if (TREE_CODE (TMR_BASE (op
)) == ADDR_EXPR
)
829 addr
->symbol
= TMR_BASE (op
);
830 addr
->base
= TMR_INDEX2 (op
);
834 addr
->symbol
= NULL_TREE
;
837 gcc_assert (integer_zerop (TMR_BASE (op
)));
838 addr
->base
= TMR_INDEX2 (op
);
841 addr
->base
= TMR_BASE (op
);
843 addr
->index
= TMR_INDEX (op
);
844 addr
->step
= TMR_STEP (op
);
845 addr
->offset
= TMR_OFFSET (op
);
848 /* Copies the reference information from OLD_REF to NEW_REF, where
849 NEW_REF should be either a MEM_REF or a TARGET_MEM_REF. */
852 copy_ref_info (tree new_ref
, tree old_ref
)
854 tree new_ptr_base
= NULL_TREE
;
856 gcc_assert (TREE_CODE (new_ref
) == MEM_REF
857 || TREE_CODE (new_ref
) == TARGET_MEM_REF
);
859 TREE_SIDE_EFFECTS (new_ref
) = TREE_SIDE_EFFECTS (old_ref
);
860 TREE_THIS_VOLATILE (new_ref
) = TREE_THIS_VOLATILE (old_ref
);
862 new_ptr_base
= TREE_OPERAND (new_ref
, 0);
864 /* We can transfer points-to information from an old pointer
865 or decl base to the new one. */
867 && TREE_CODE (new_ptr_base
) == SSA_NAME
868 && !SSA_NAME_PTR_INFO (new_ptr_base
))
870 tree base
= get_base_address (old_ref
);
873 else if ((TREE_CODE (base
) == MEM_REF
874 || TREE_CODE (base
) == TARGET_MEM_REF
)
875 && TREE_CODE (TREE_OPERAND (base
, 0)) == SSA_NAME
876 && SSA_NAME_PTR_INFO (TREE_OPERAND (base
, 0)))
878 struct ptr_info_def
*new_pi
;
879 unsigned int align
, misalign
;
881 duplicate_ssa_name_ptr_info
882 (new_ptr_base
, SSA_NAME_PTR_INFO (TREE_OPERAND (base
, 0)));
883 new_pi
= SSA_NAME_PTR_INFO (new_ptr_base
);
884 /* We have to be careful about transferring alignment information. */
885 if (get_ptr_info_alignment (new_pi
, &align
, &misalign
)
886 && TREE_CODE (old_ref
) == MEM_REF
887 && !(TREE_CODE (new_ref
) == TARGET_MEM_REF
888 && (TMR_INDEX2 (new_ref
)
889 || (TMR_STEP (new_ref
)
890 && (TREE_INT_CST_LOW (TMR_STEP (new_ref
))
893 unsigned int inc
= (mem_ref_offset (old_ref
)
894 - mem_ref_offset (new_ref
)).low
;
895 adjust_ptr_info_misalignment (new_pi
, inc
);
898 mark_ptr_info_alignment_unknown (new_pi
);
900 else if (TREE_CODE (base
) == VAR_DECL
901 || TREE_CODE (base
) == PARM_DECL
902 || TREE_CODE (base
) == RESULT_DECL
)
904 struct ptr_info_def
*pi
= get_ptr_info (new_ptr_base
);
905 pt_solution_set_var (&pi
->pt
, base
);
910 /* Move constants in target_mem_ref REF to offset. Returns the new target
911 mem ref if anything changes, NULL_TREE otherwise. */
914 maybe_fold_tmr (tree ref
)
916 struct mem_address addr
;
917 bool changed
= false;
920 get_address_description (ref
, &addr
);
923 && TREE_CODE (addr
.base
) == INTEGER_CST
924 && !integer_zerop (addr
.base
))
926 addr
.offset
= fold_binary_to_constant (PLUS_EXPR
,
927 TREE_TYPE (addr
.offset
),
928 addr
.offset
, addr
.base
);
929 addr
.base
= NULL_TREE
;
934 && TREE_CODE (TREE_OPERAND (addr
.symbol
, 0)) == MEM_REF
)
936 addr
.offset
= fold_binary_to_constant
937 (PLUS_EXPR
, TREE_TYPE (addr
.offset
),
939 TREE_OPERAND (TREE_OPERAND (addr
.symbol
, 0), 1));
940 addr
.symbol
= TREE_OPERAND (TREE_OPERAND (addr
.symbol
, 0), 0);
944 && handled_component_p (TREE_OPERAND (addr
.symbol
, 0)))
946 HOST_WIDE_INT offset
;
947 addr
.symbol
= build_fold_addr_expr
948 (get_addr_base_and_unit_offset
949 (TREE_OPERAND (addr
.symbol
, 0), &offset
));
950 addr
.offset
= int_const_binop (PLUS_EXPR
,
951 addr
.offset
, size_int (offset
));
955 if (addr
.index
&& TREE_CODE (addr
.index
) == INTEGER_CST
)
960 off
= fold_binary_to_constant (MULT_EXPR
, sizetype
,
962 addr
.step
= NULL_TREE
;
965 addr
.offset
= fold_binary_to_constant (PLUS_EXPR
,
966 TREE_TYPE (addr
.offset
),
968 addr
.index
= NULL_TREE
;
975 /* If we have propagated something into this TARGET_MEM_REF and thus
976 ended up folding it, always create a new TARGET_MEM_REF regardless
977 if it is valid in this for on the target - the propagation result
978 wouldn't be anyway. */
979 new_ref
= create_mem_ref_raw (TREE_TYPE (ref
),
980 TREE_TYPE (addr
.offset
), &addr
, false);
981 TREE_SIDE_EFFECTS (new_ref
) = TREE_SIDE_EFFECTS (ref
);
982 TREE_THIS_VOLATILE (new_ref
) = TREE_THIS_VOLATILE (ref
);
986 /* Dump PARTS to FILE. */
988 extern void dump_mem_address (FILE *, struct mem_address
*);
990 dump_mem_address (FILE *file
, struct mem_address
*parts
)
994 fprintf (file
, "symbol: ");
995 print_generic_expr (file
, TREE_OPERAND (parts
->symbol
, 0), TDF_SLIM
);
996 fprintf (file
, "\n");
1000 fprintf (file
, "base: ");
1001 print_generic_expr (file
, parts
->base
, TDF_SLIM
);
1002 fprintf (file
, "\n");
1006 fprintf (file
, "index: ");
1007 print_generic_expr (file
, parts
->index
, TDF_SLIM
);
1008 fprintf (file
, "\n");
1012 fprintf (file
, "step: ");
1013 print_generic_expr (file
, parts
->step
, TDF_SLIM
);
1014 fprintf (file
, "\n");
1018 fprintf (file
, "offset: ");
1019 print_generic_expr (file
, parts
->offset
, TDF_SLIM
);
1020 fprintf (file
, "\n");
1024 #include "gt-tree-ssa-address.h"