2013-11-21 Edward Smith-Rowland <3dw4rd@verizon.net>
[official-gcc.git] / gcc / tree-ssa-address.c
blob257d534a492153ac0b1e97766a0bbdf4c7d3e9e0
1 /* Memory address lowering and addressing mode selection.
2 Copyright (C) 2004-2013 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
9 later version.
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
14 for more details.
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. */
23 #include "config.h"
24 #include "system.h"
25 #include "coretypes.h"
26 #include "tm.h"
27 #include "tree.h"
28 #include "stor-layout.h"
29 #include "tm_p.h"
30 #include "basic-block.h"
31 #include "tree-pretty-print.h"
32 #include "gimple.h"
33 #include "gimple-iterator.h"
34 #include "gimplify-me.h"
35 #include "stringpool.h"
36 #include "tree-ssanames.h"
37 #include "tree-ssa-loop-ivopts.h"
38 #include "expr.h"
39 #include "tree-dfa.h"
40 #include "dumpfile.h"
41 #include "flags.h"
42 #include "tree-inline.h"
43 #include "tree-affine.h"
45 /* FIXME: We compute address costs using RTL. */
46 #include "insn-config.h"
47 #include "rtl.h"
48 #include "recog.h"
49 #include "expr.h"
50 #include "ggc.h"
51 #include "target.h"
52 #include "expmed.h"
53 #include "tree-ssa-address.h"
55 /* TODO -- handling of symbols (according to Richard Hendersons
56 comments, http://gcc.gnu.org/ml/gcc-patches/2005-04/msg00949.html):
58 There are at least 5 different kinds of symbols that we can run up against:
60 (1) binds_local_p, small data area.
61 (2) binds_local_p, eg local statics
62 (3) !binds_local_p, eg global variables
63 (4) thread local, local_exec
64 (5) thread local, !local_exec
66 Now, (1) won't appear often in an array context, but it certainly can.
67 All you have to do is set -GN high enough, or explicitly mark any
68 random object __attribute__((section (".sdata"))).
70 All of these affect whether or not a symbol is in fact a valid address.
71 The only one tested here is (3). And that result may very well
72 be incorrect for (4) or (5).
74 An incorrect result here does not cause incorrect results out the
75 back end, because the expander in expr.c validizes the address. However
76 it would be nice to improve the handling here in order to produce more
77 precise results. */
79 /* A "template" for memory address, used to determine whether the address is
80 valid for mode. */
82 typedef struct GTY (()) mem_addr_template {
83 rtx ref; /* The template. */
84 rtx * GTY ((skip)) step_p; /* The point in template where the step should be
85 filled in. */
86 rtx * GTY ((skip)) off_p; /* The point in template where the offset should
87 be filled in. */
88 } mem_addr_template;
91 /* The templates. Each of the low five bits of the index corresponds to one
92 component of TARGET_MEM_REF being present, while the high bits identify
93 the address space. See TEMPL_IDX. */
95 static GTY(()) vec<mem_addr_template, va_gc> *mem_addr_template_list;
97 #define TEMPL_IDX(AS, SYMBOL, BASE, INDEX, STEP, OFFSET) \
98 (((int) (AS) << 5) \
99 | ((SYMBOL != 0) << 4) \
100 | ((BASE != 0) << 3) \
101 | ((INDEX != 0) << 2) \
102 | ((STEP != 0) << 1) \
103 | (OFFSET != 0))
105 /* Stores address for memory reference with parameters SYMBOL, BASE, INDEX,
106 STEP and OFFSET to *ADDR using address mode ADDRESS_MODE. Stores pointers
107 to where step is placed to *STEP_P and offset to *OFFSET_P. */
109 static void
110 gen_addr_rtx (enum machine_mode address_mode,
111 rtx symbol, rtx base, rtx index, rtx step, rtx offset,
112 rtx *addr, rtx **step_p, rtx **offset_p)
114 rtx act_elem;
116 *addr = NULL_RTX;
117 if (step_p)
118 *step_p = NULL;
119 if (offset_p)
120 *offset_p = NULL;
122 if (index)
124 act_elem = index;
125 if (step)
127 act_elem = gen_rtx_MULT (address_mode, act_elem, step);
129 if (step_p)
130 *step_p = &XEXP (act_elem, 1);
133 *addr = act_elem;
136 if (base && base != const0_rtx)
138 if (*addr)
139 *addr = simplify_gen_binary (PLUS, address_mode, base, *addr);
140 else
141 *addr = base;
144 if (symbol)
146 act_elem = symbol;
147 if (offset)
149 act_elem = gen_rtx_PLUS (address_mode, act_elem, offset);
151 if (offset_p)
152 *offset_p = &XEXP (act_elem, 1);
154 if (GET_CODE (symbol) == SYMBOL_REF
155 || GET_CODE (symbol) == LABEL_REF
156 || GET_CODE (symbol) == CONST)
157 act_elem = gen_rtx_CONST (address_mode, act_elem);
160 if (*addr)
161 *addr = gen_rtx_PLUS (address_mode, *addr, act_elem);
162 else
163 *addr = act_elem;
165 else if (offset)
167 if (*addr)
169 *addr = gen_rtx_PLUS (address_mode, *addr, offset);
170 if (offset_p)
171 *offset_p = &XEXP (*addr, 1);
173 else
175 *addr = offset;
176 if (offset_p)
177 *offset_p = addr;
181 if (!*addr)
182 *addr = const0_rtx;
185 /* Description of a memory address. */
187 struct mem_address
189 tree symbol, base, index, step, offset;
192 /* Returns address for TARGET_MEM_REF with parameters given by ADDR
193 in address space AS.
194 If REALLY_EXPAND is false, just make fake registers instead
195 of really expanding the operands, and perform the expansion in-place
196 by using one of the "templates". */
199 addr_for_mem_ref (struct mem_address *addr, addr_space_t as,
200 bool really_expand)
202 enum machine_mode address_mode = targetm.addr_space.address_mode (as);
203 enum machine_mode pointer_mode = targetm.addr_space.pointer_mode (as);
204 rtx address, sym, bse, idx, st, off;
205 struct mem_addr_template *templ;
207 if (addr->step && !integer_onep (addr->step))
208 st = immed_double_int_const (tree_to_double_int (addr->step), pointer_mode);
209 else
210 st = NULL_RTX;
212 if (addr->offset && !integer_zerop (addr->offset))
213 off = immed_double_int_const
214 (tree_to_double_int (addr->offset)
215 .sext (TYPE_PRECISION (TREE_TYPE (addr->offset))),
216 pointer_mode);
217 else
218 off = NULL_RTX;
220 if (!really_expand)
222 unsigned int templ_index
223 = TEMPL_IDX (as, addr->symbol, addr->base, addr->index, st, off);
225 if (templ_index >= vec_safe_length (mem_addr_template_list))
226 vec_safe_grow_cleared (mem_addr_template_list, templ_index + 1);
228 /* Reuse the templates for addresses, so that we do not waste memory. */
229 templ = &(*mem_addr_template_list)[templ_index];
230 if (!templ->ref)
232 sym = (addr->symbol ?
233 gen_rtx_SYMBOL_REF (pointer_mode, ggc_strdup ("test_symbol"))
234 : NULL_RTX);
235 bse = (addr->base ?
236 gen_raw_REG (pointer_mode, LAST_VIRTUAL_REGISTER + 1)
237 : NULL_RTX);
238 idx = (addr->index ?
239 gen_raw_REG (pointer_mode, LAST_VIRTUAL_REGISTER + 2)
240 : NULL_RTX);
242 gen_addr_rtx (pointer_mode, sym, bse, idx,
243 st? const0_rtx : NULL_RTX,
244 off? const0_rtx : NULL_RTX,
245 &templ->ref,
246 &templ->step_p,
247 &templ->off_p);
250 if (st)
251 *templ->step_p = st;
252 if (off)
253 *templ->off_p = off;
255 return templ->ref;
258 /* Otherwise really expand the expressions. */
259 sym = (addr->symbol
260 ? expand_expr (addr->symbol, NULL_RTX, pointer_mode, EXPAND_NORMAL)
261 : NULL_RTX);
262 bse = (addr->base
263 ? expand_expr (addr->base, NULL_RTX, pointer_mode, EXPAND_NORMAL)
264 : NULL_RTX);
265 idx = (addr->index
266 ? expand_expr (addr->index, NULL_RTX, pointer_mode, EXPAND_NORMAL)
267 : NULL_RTX);
269 gen_addr_rtx (pointer_mode, sym, bse, idx, st, off, &address, NULL, NULL);
270 if (pointer_mode != address_mode)
271 address = convert_memory_address (address_mode, address);
272 return address;
275 /* implement addr_for_mem_ref() directly from a tree, which avoids exporting
276 the mem_address structure. */
279 addr_for_mem_ref (tree exp, addr_space_t as, bool really_expand)
281 struct mem_address addr;
282 get_address_description (exp, &addr);
283 return addr_for_mem_ref (&addr, as, really_expand);
286 /* Returns address of MEM_REF in TYPE. */
288 tree
289 tree_mem_ref_addr (tree type, tree mem_ref)
291 tree addr;
292 tree act_elem;
293 tree step = TMR_STEP (mem_ref), offset = TMR_OFFSET (mem_ref);
294 tree addr_base = NULL_TREE, addr_off = NULL_TREE;
296 addr_base = fold_convert (type, TMR_BASE (mem_ref));
298 act_elem = TMR_INDEX (mem_ref);
299 if (act_elem)
301 if (step)
302 act_elem = fold_build2 (MULT_EXPR, TREE_TYPE (act_elem),
303 act_elem, step);
304 addr_off = act_elem;
307 act_elem = TMR_INDEX2 (mem_ref);
308 if (act_elem)
310 if (addr_off)
311 addr_off = fold_build2 (PLUS_EXPR, TREE_TYPE (addr_off),
312 addr_off, act_elem);
313 else
314 addr_off = act_elem;
317 if (offset && !integer_zerop (offset))
319 if (addr_off)
320 addr_off = fold_build2 (PLUS_EXPR, TREE_TYPE (addr_off), addr_off,
321 fold_convert (TREE_TYPE (addr_off), offset));
322 else
323 addr_off = offset;
326 if (addr_off)
327 addr = fold_build_pointer_plus (addr_base, addr_off);
328 else
329 addr = addr_base;
331 return addr;
334 /* Returns true if a memory reference in MODE and with parameters given by
335 ADDR is valid on the current target. */
337 static bool
338 valid_mem_ref_p (enum machine_mode mode, addr_space_t as,
339 struct mem_address *addr)
341 rtx address;
343 address = addr_for_mem_ref (addr, as, false);
344 if (!address)
345 return false;
347 return memory_address_addr_space_p (mode, address, as);
350 /* Checks whether a TARGET_MEM_REF with type TYPE and parameters given by ADDR
351 is valid on the current target and if so, creates and returns the
352 TARGET_MEM_REF. If VERIFY is false omit the verification step. */
354 static tree
355 create_mem_ref_raw (tree type, tree alias_ptr_type, struct mem_address *addr,
356 bool verify)
358 tree base, index2;
360 if (verify
361 && !valid_mem_ref_p (TYPE_MODE (type), TYPE_ADDR_SPACE (type), addr))
362 return NULL_TREE;
364 if (addr->step && integer_onep (addr->step))
365 addr->step = NULL_TREE;
367 if (addr->offset)
368 addr->offset = fold_convert (alias_ptr_type, addr->offset);
369 else
370 addr->offset = build_int_cst (alias_ptr_type, 0);
372 if (addr->symbol)
374 base = addr->symbol;
375 index2 = addr->base;
377 else if (addr->base
378 && POINTER_TYPE_P (TREE_TYPE (addr->base)))
380 base = addr->base;
381 index2 = NULL_TREE;
383 else
385 base = build_int_cst (ptr_type_node, 0);
386 index2 = addr->base;
389 /* If possible use a plain MEM_REF instead of a TARGET_MEM_REF.
390 ??? As IVOPTs does not follow restrictions to where the base
391 pointer may point to create a MEM_REF only if we know that
392 base is valid. */
393 if ((TREE_CODE (base) == ADDR_EXPR || TREE_CODE (base) == INTEGER_CST)
394 && (!index2 || integer_zerop (index2))
395 && (!addr->index || integer_zerop (addr->index)))
396 return fold_build2 (MEM_REF, type, base, addr->offset);
398 return build5 (TARGET_MEM_REF, type,
399 base, addr->offset, addr->index, addr->step, index2);
402 /* Returns true if OBJ is an object whose address is a link time constant. */
404 static bool
405 fixed_address_object_p (tree obj)
407 return (TREE_CODE (obj) == VAR_DECL
408 && (TREE_STATIC (obj)
409 || DECL_EXTERNAL (obj))
410 && ! DECL_DLLIMPORT_P (obj));
413 /* If ADDR contains an address of object that is a link time constant,
414 move it to PARTS->symbol. */
416 static void
417 move_fixed_address_to_symbol (struct mem_address *parts, aff_tree *addr)
419 unsigned i;
420 tree val = NULL_TREE;
422 for (i = 0; i < addr->n; i++)
424 if (!addr->elts[i].coef.is_one ())
425 continue;
427 val = addr->elts[i].val;
428 if (TREE_CODE (val) == ADDR_EXPR
429 && fixed_address_object_p (TREE_OPERAND (val, 0)))
430 break;
433 if (i == addr->n)
434 return;
436 parts->symbol = val;
437 aff_combination_remove_elt (addr, i);
440 /* If ADDR contains an instance of BASE_HINT, move it to PARTS->base. */
442 static void
443 move_hint_to_base (tree type, struct mem_address *parts, tree base_hint,
444 aff_tree *addr)
446 unsigned i;
447 tree val = NULL_TREE;
448 int qual;
450 for (i = 0; i < addr->n; i++)
452 if (!addr->elts[i].coef.is_one ())
453 continue;
455 val = addr->elts[i].val;
456 if (operand_equal_p (val, base_hint, 0))
457 break;
460 if (i == addr->n)
461 return;
463 /* Cast value to appropriate pointer type. We cannot use a pointer
464 to TYPE directly, as the back-end will assume registers of pointer
465 type are aligned, and just the base itself may not actually be.
466 We use void pointer to the type's address space instead. */
467 qual = ENCODE_QUAL_ADDR_SPACE (TYPE_ADDR_SPACE (type));
468 type = build_qualified_type (void_type_node, qual);
469 parts->base = fold_convert (build_pointer_type (type), val);
470 aff_combination_remove_elt (addr, i);
473 /* If ADDR contains an address of a dereferenced pointer, move it to
474 PARTS->base. */
476 static void
477 move_pointer_to_base (struct mem_address *parts, aff_tree *addr)
479 unsigned i;
480 tree val = NULL_TREE;
482 for (i = 0; i < addr->n; i++)
484 if (!addr->elts[i].coef.is_one ())
485 continue;
487 val = addr->elts[i].val;
488 if (POINTER_TYPE_P (TREE_TYPE (val)))
489 break;
492 if (i == addr->n)
493 return;
495 parts->base = val;
496 aff_combination_remove_elt (addr, i);
499 /* Moves the loop variant part V in linear address ADDR to be the index
500 of PARTS. */
502 static void
503 move_variant_to_index (struct mem_address *parts, aff_tree *addr, tree v)
505 unsigned i;
506 tree val = NULL_TREE;
508 gcc_assert (!parts->index);
509 for (i = 0; i < addr->n; i++)
511 val = addr->elts[i].val;
512 if (operand_equal_p (val, v, 0))
513 break;
516 if (i == addr->n)
517 return;
519 parts->index = fold_convert (sizetype, val);
520 parts->step = double_int_to_tree (sizetype, addr->elts[i].coef);
521 aff_combination_remove_elt (addr, i);
524 /* Adds ELT to PARTS. */
526 static void
527 add_to_parts (struct mem_address *parts, tree elt)
529 tree type;
531 if (!parts->index)
533 parts->index = fold_convert (sizetype, elt);
534 return;
537 if (!parts->base)
539 parts->base = elt;
540 return;
543 /* Add ELT to base. */
544 type = TREE_TYPE (parts->base);
545 if (POINTER_TYPE_P (type))
546 parts->base = fold_build_pointer_plus (parts->base, elt);
547 else
548 parts->base = fold_build2 (PLUS_EXPR, type,
549 parts->base, elt);
552 /* Finds the most expensive multiplication in ADDR that can be
553 expressed in an addressing mode and move the corresponding
554 element(s) to PARTS. */
556 static void
557 most_expensive_mult_to_index (tree type, struct mem_address *parts,
558 aff_tree *addr, bool speed)
560 addr_space_t as = TYPE_ADDR_SPACE (type);
561 enum machine_mode address_mode = targetm.addr_space.address_mode (as);
562 HOST_WIDE_INT coef;
563 double_int best_mult, amult, amult_neg;
564 unsigned best_mult_cost = 0, acost;
565 tree mult_elt = NULL_TREE, elt;
566 unsigned i, j;
567 enum tree_code op_code;
569 best_mult = double_int_zero;
570 for (i = 0; i < addr->n; i++)
572 if (!addr->elts[i].coef.fits_shwi ())
573 continue;
575 coef = addr->elts[i].coef.to_shwi ();
576 if (coef == 1
577 || !multiplier_allowed_in_address_p (coef, TYPE_MODE (type), as))
578 continue;
580 acost = mult_by_coeff_cost (coef, address_mode, speed);
582 if (acost > best_mult_cost)
584 best_mult_cost = acost;
585 best_mult = addr->elts[i].coef;
589 if (!best_mult_cost)
590 return;
592 /* Collect elements multiplied by best_mult. */
593 for (i = j = 0; i < addr->n; i++)
595 amult = addr->elts[i].coef;
596 amult_neg = double_int_ext_for_comb (-amult, addr);
598 if (amult == best_mult)
599 op_code = PLUS_EXPR;
600 else if (amult_neg == best_mult)
601 op_code = MINUS_EXPR;
602 else
604 addr->elts[j] = addr->elts[i];
605 j++;
606 continue;
609 elt = fold_convert (sizetype, addr->elts[i].val);
610 if (mult_elt)
611 mult_elt = fold_build2 (op_code, sizetype, mult_elt, elt);
612 else if (op_code == PLUS_EXPR)
613 mult_elt = elt;
614 else
615 mult_elt = fold_build1 (NEGATE_EXPR, sizetype, elt);
617 addr->n = j;
619 parts->index = mult_elt;
620 parts->step = double_int_to_tree (sizetype, best_mult);
623 /* Splits address ADDR for a memory access of type TYPE into PARTS.
624 If BASE_HINT is non-NULL, it specifies an SSA name to be used
625 preferentially as base of the reference, and IV_CAND is the selected
626 iv candidate used in ADDR.
628 TODO -- be more clever about the distribution of the elements of ADDR
629 to PARTS. Some architectures do not support anything but single
630 register in address, possibly with a small integer offset; while
631 create_mem_ref will simplify the address to an acceptable shape
632 later, it would be more efficient to know that asking for complicated
633 addressing modes is useless. */
635 static void
636 addr_to_parts (tree type, aff_tree *addr, tree iv_cand,
637 tree base_hint, struct mem_address *parts,
638 bool speed)
640 tree part;
641 unsigned i;
643 parts->symbol = NULL_TREE;
644 parts->base = NULL_TREE;
645 parts->index = NULL_TREE;
646 parts->step = NULL_TREE;
648 if (!addr->offset.is_zero ())
649 parts->offset = double_int_to_tree (sizetype, addr->offset);
650 else
651 parts->offset = NULL_TREE;
653 /* Try to find a symbol. */
654 move_fixed_address_to_symbol (parts, addr);
656 /* No need to do address parts reassociation if the number of parts
657 is <= 2 -- in that case, no loop invariant code motion can be
658 exposed. */
660 if (!base_hint && (addr->n > 2))
661 move_variant_to_index (parts, addr, iv_cand);
663 /* First move the most expensive feasible multiplication
664 to index. */
665 if (!parts->index)
666 most_expensive_mult_to_index (type, parts, addr, speed);
668 /* Try to find a base of the reference. Since at the moment
669 there is no reliable way how to distinguish between pointer and its
670 offset, this is just a guess. */
671 if (!parts->symbol && base_hint)
672 move_hint_to_base (type, parts, base_hint, addr);
673 if (!parts->symbol && !parts->base)
674 move_pointer_to_base (parts, addr);
676 /* Then try to process the remaining elements. */
677 for (i = 0; i < addr->n; i++)
679 part = fold_convert (sizetype, addr->elts[i].val);
680 if (!addr->elts[i].coef.is_one ())
681 part = fold_build2 (MULT_EXPR, sizetype, part,
682 double_int_to_tree (sizetype, addr->elts[i].coef));
683 add_to_parts (parts, part);
685 if (addr->rest)
686 add_to_parts (parts, fold_convert (sizetype, addr->rest));
689 /* Force the PARTS to register. */
691 static void
692 gimplify_mem_ref_parts (gimple_stmt_iterator *gsi, struct mem_address *parts)
694 if (parts->base)
695 parts->base = force_gimple_operand_gsi_1 (gsi, parts->base,
696 is_gimple_mem_ref_addr, NULL_TREE,
697 true, GSI_SAME_STMT);
698 if (parts->index)
699 parts->index = force_gimple_operand_gsi (gsi, parts->index,
700 true, NULL_TREE,
701 true, GSI_SAME_STMT);
704 /* Creates and returns a TARGET_MEM_REF for address ADDR. If necessary
705 computations are emitted in front of GSI. TYPE is the mode
706 of created memory reference. IV_CAND is the selected iv candidate in ADDR,
707 and BASE_HINT is non NULL if IV_CAND comes from a base address
708 object. */
710 tree
711 create_mem_ref (gimple_stmt_iterator *gsi, tree type, aff_tree *addr,
712 tree alias_ptr_type, tree iv_cand, tree base_hint, bool speed)
714 tree mem_ref, tmp;
715 struct mem_address parts;
717 addr_to_parts (type, addr, iv_cand, base_hint, &parts, speed);
718 gimplify_mem_ref_parts (gsi, &parts);
719 mem_ref = create_mem_ref_raw (type, alias_ptr_type, &parts, true);
720 if (mem_ref)
721 return mem_ref;
723 /* The expression is too complicated. Try making it simpler. */
725 if (parts.step && !integer_onep (parts.step))
727 /* Move the multiplication to index. */
728 gcc_assert (parts.index);
729 parts.index = force_gimple_operand_gsi (gsi,
730 fold_build2 (MULT_EXPR, sizetype,
731 parts.index, parts.step),
732 true, NULL_TREE, true, GSI_SAME_STMT);
733 parts.step = NULL_TREE;
735 mem_ref = create_mem_ref_raw (type, alias_ptr_type, &parts, true);
736 if (mem_ref)
737 return mem_ref;
740 if (parts.symbol)
742 tmp = parts.symbol;
743 gcc_assert (is_gimple_val (tmp));
745 /* Add the symbol to base, eventually forcing it to register. */
746 if (parts.base)
748 gcc_assert (useless_type_conversion_p
749 (sizetype, TREE_TYPE (parts.base)));
751 if (parts.index)
753 parts.base = force_gimple_operand_gsi_1 (gsi,
754 fold_build_pointer_plus (tmp, parts.base),
755 is_gimple_mem_ref_addr, NULL_TREE, true, GSI_SAME_STMT);
757 else
759 parts.index = parts.base;
760 parts.base = tmp;
763 else
764 parts.base = tmp;
765 parts.symbol = NULL_TREE;
767 mem_ref = create_mem_ref_raw (type, alias_ptr_type, &parts, true);
768 if (mem_ref)
769 return mem_ref;
772 if (parts.index)
774 /* Add index to base. */
775 if (parts.base)
777 parts.base = force_gimple_operand_gsi_1 (gsi,
778 fold_build_pointer_plus (parts.base, parts.index),
779 is_gimple_mem_ref_addr, NULL_TREE, true, GSI_SAME_STMT);
781 else
782 parts.base = parts.index;
783 parts.index = NULL_TREE;
785 mem_ref = create_mem_ref_raw (type, alias_ptr_type, &parts, true);
786 if (mem_ref)
787 return mem_ref;
790 if (parts.offset && !integer_zerop (parts.offset))
792 /* Try adding offset to base. */
793 if (parts.base)
795 parts.base = force_gimple_operand_gsi_1 (gsi,
796 fold_build_pointer_plus (parts.base, parts.offset),
797 is_gimple_mem_ref_addr, NULL_TREE, true, GSI_SAME_STMT);
799 else
800 parts.base = parts.offset;
802 parts.offset = NULL_TREE;
804 mem_ref = create_mem_ref_raw (type, alias_ptr_type, &parts, true);
805 if (mem_ref)
806 return mem_ref;
809 /* Verify that the address is in the simplest possible shape
810 (only a register). If we cannot create such a memory reference,
811 something is really wrong. */
812 gcc_assert (parts.symbol == NULL_TREE);
813 gcc_assert (parts.index == NULL_TREE);
814 gcc_assert (!parts.step || integer_onep (parts.step));
815 gcc_assert (!parts.offset || integer_zerop (parts.offset));
816 gcc_unreachable ();
819 /* Copies components of the address from OP to ADDR. */
821 void
822 get_address_description (tree op, struct mem_address *addr)
824 if (TREE_CODE (TMR_BASE (op)) == ADDR_EXPR)
826 addr->symbol = TMR_BASE (op);
827 addr->base = TMR_INDEX2 (op);
829 else
831 addr->symbol = NULL_TREE;
832 if (TMR_INDEX2 (op))
834 gcc_assert (integer_zerop (TMR_BASE (op)));
835 addr->base = TMR_INDEX2 (op);
837 else
838 addr->base = TMR_BASE (op);
840 addr->index = TMR_INDEX (op);
841 addr->step = TMR_STEP (op);
842 addr->offset = TMR_OFFSET (op);
845 /* Copies the reference information from OLD_REF to NEW_REF, where
846 NEW_REF should be either a MEM_REF or a TARGET_MEM_REF. */
848 void
849 copy_ref_info (tree new_ref, tree old_ref)
851 tree new_ptr_base = NULL_TREE;
853 gcc_assert (TREE_CODE (new_ref) == MEM_REF
854 || TREE_CODE (new_ref) == TARGET_MEM_REF);
856 TREE_SIDE_EFFECTS (new_ref) = TREE_SIDE_EFFECTS (old_ref);
857 TREE_THIS_VOLATILE (new_ref) = TREE_THIS_VOLATILE (old_ref);
859 new_ptr_base = TREE_OPERAND (new_ref, 0);
861 /* We can transfer points-to information from an old pointer
862 or decl base to the new one. */
863 if (new_ptr_base
864 && TREE_CODE (new_ptr_base) == SSA_NAME
865 && !SSA_NAME_PTR_INFO (new_ptr_base))
867 tree base = get_base_address (old_ref);
868 if (!base)
870 else if ((TREE_CODE (base) == MEM_REF
871 || TREE_CODE (base) == TARGET_MEM_REF)
872 && TREE_CODE (TREE_OPERAND (base, 0)) == SSA_NAME
873 && SSA_NAME_PTR_INFO (TREE_OPERAND (base, 0)))
875 struct ptr_info_def *new_pi;
876 unsigned int align, misalign;
878 duplicate_ssa_name_ptr_info
879 (new_ptr_base, SSA_NAME_PTR_INFO (TREE_OPERAND (base, 0)));
880 new_pi = SSA_NAME_PTR_INFO (new_ptr_base);
881 /* We have to be careful about transferring alignment information. */
882 if (get_ptr_info_alignment (new_pi, &align, &misalign)
883 && TREE_CODE (old_ref) == MEM_REF
884 && !(TREE_CODE (new_ref) == TARGET_MEM_REF
885 && (TMR_INDEX2 (new_ref)
886 || (TMR_STEP (new_ref)
887 && (TREE_INT_CST_LOW (TMR_STEP (new_ref))
888 < align)))))
890 unsigned int inc = (mem_ref_offset (old_ref)
891 - mem_ref_offset (new_ref)).low;
892 adjust_ptr_info_misalignment (new_pi, inc);
894 else
895 mark_ptr_info_alignment_unknown (new_pi);
897 else if (TREE_CODE (base) == VAR_DECL
898 || TREE_CODE (base) == PARM_DECL
899 || TREE_CODE (base) == RESULT_DECL)
901 struct ptr_info_def *pi = get_ptr_info (new_ptr_base);
902 pt_solution_set_var (&pi->pt, base);
907 /* Move constants in target_mem_ref REF to offset. Returns the new target
908 mem ref if anything changes, NULL_TREE otherwise. */
910 tree
911 maybe_fold_tmr (tree ref)
913 struct mem_address addr;
914 bool changed = false;
915 tree new_ref, off;
917 get_address_description (ref, &addr);
919 if (addr.base
920 && TREE_CODE (addr.base) == INTEGER_CST
921 && !integer_zerop (addr.base))
923 addr.offset = fold_binary_to_constant (PLUS_EXPR,
924 TREE_TYPE (addr.offset),
925 addr.offset, addr.base);
926 addr.base = NULL_TREE;
927 changed = true;
930 if (addr.symbol
931 && TREE_CODE (TREE_OPERAND (addr.symbol, 0)) == MEM_REF)
933 addr.offset = fold_binary_to_constant
934 (PLUS_EXPR, TREE_TYPE (addr.offset),
935 addr.offset,
936 TREE_OPERAND (TREE_OPERAND (addr.symbol, 0), 1));
937 addr.symbol = TREE_OPERAND (TREE_OPERAND (addr.symbol, 0), 0);
938 changed = true;
940 else if (addr.symbol
941 && handled_component_p (TREE_OPERAND (addr.symbol, 0)))
943 HOST_WIDE_INT offset;
944 addr.symbol = build_fold_addr_expr
945 (get_addr_base_and_unit_offset
946 (TREE_OPERAND (addr.symbol, 0), &offset));
947 addr.offset = int_const_binop (PLUS_EXPR,
948 addr.offset, size_int (offset));
949 changed = true;
952 if (addr.index && TREE_CODE (addr.index) == INTEGER_CST)
954 off = addr.index;
955 if (addr.step)
957 off = fold_binary_to_constant (MULT_EXPR, sizetype,
958 off, addr.step);
959 addr.step = NULL_TREE;
962 addr.offset = fold_binary_to_constant (PLUS_EXPR,
963 TREE_TYPE (addr.offset),
964 addr.offset, off);
965 addr.index = NULL_TREE;
966 changed = true;
969 if (!changed)
970 return NULL_TREE;
972 /* If we have propagated something into this TARGET_MEM_REF and thus
973 ended up folding it, always create a new TARGET_MEM_REF regardless
974 if it is valid in this for on the target - the propagation result
975 wouldn't be anyway. */
976 new_ref = create_mem_ref_raw (TREE_TYPE (ref),
977 TREE_TYPE (addr.offset), &addr, false);
978 TREE_SIDE_EFFECTS (new_ref) = TREE_SIDE_EFFECTS (ref);
979 TREE_THIS_VOLATILE (new_ref) = TREE_THIS_VOLATILE (ref);
980 return new_ref;
983 /* Dump PARTS to FILE. */
985 extern void dump_mem_address (FILE *, struct mem_address *);
986 void
987 dump_mem_address (FILE *file, struct mem_address *parts)
989 if (parts->symbol)
991 fprintf (file, "symbol: ");
992 print_generic_expr (file, TREE_OPERAND (parts->symbol, 0), TDF_SLIM);
993 fprintf (file, "\n");
995 if (parts->base)
997 fprintf (file, "base: ");
998 print_generic_expr (file, parts->base, TDF_SLIM);
999 fprintf (file, "\n");
1001 if (parts->index)
1003 fprintf (file, "index: ");
1004 print_generic_expr (file, parts->index, TDF_SLIM);
1005 fprintf (file, "\n");
1007 if (parts->step)
1009 fprintf (file, "step: ");
1010 print_generic_expr (file, parts->step, TDF_SLIM);
1011 fprintf (file, "\n");
1013 if (parts->offset)
1015 fprintf (file, "offset: ");
1016 print_generic_expr (file, parts->offset, TDF_SLIM);
1017 fprintf (file, "\n");
1021 #include "gt-tree-ssa-address.h"