diff options
author | rakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-06-07 12:01:47 +0000 |
---|---|---|
committer | rakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-06-07 12:01:47 +0000 |
commit | aed164c3b749041e52ddb15d0114078e9dbeb7ae (patch) | |
tree | 378327f436c131f3eecc7128a199fdc378d9aa28 /gcc/doc | |
parent | f51f5e0bd567736a3a70ba71798a8ae32dce5ab9 (diff) | |
download | ppe42-gcc-aed164c3b749041e52ddb15d0114078e9dbeb7ae.tar.gz ppe42-gcc-aed164c3b749041e52ddb15d0114078e9dbeb7ae.zip |
* tree-ssa-address.c: New file.
* Makefile.in (tree-ssa-address.o): Add.
* expr.c (expand_expr_real_1): Do not handle REF_ORIGINAL on
INDIRECT_REFs. Handle TARGET_MEM_REFs.
* tree-eh.c (tree_could_trap_p): Handle TARGET_MEM_REFs.
* tree-flow.h (struct mem_address): New.
(struct affine_tree_combination): Moved from tree-ssa-loop-ivopts.c.
(create_mem_ref, addr_for_mem_ref, get_address_description,
maybe_fold_tmr, multiplier_allowed_in_address_p,
multiply_by_cost): Declare.
* tree-mudflap.c (mf_xform_derefs_1): Handle TARGET_MEM_REFs.
* tree-pretty-print.c (dump_generic_node): Ditto.
* tree-ssa-loop-im.c (for_each_index): Ditto.
* tree-ssa-loop-ivopts.c (may_be_unaligned_p,
find_interesting_uses_address): Ditto.
(rewrite_address_base, build_addr_strip_iref): Removed.
(struct affine_tree_combination): Moved to tree-flow.h.
(get_ref_tag, copy_ref_info): New functions.
(rewrite_use_address): Produce TARGET_MEM_REFs.
(tree_ssa_iv_optimize): Do not call update_ssa
and rewrite_into_loop_closed_ssa.
(tree_to_aff_combination): Use build_fold_addr_expr instead of
build_addr_strip_iref.
(unshare_aff_combination): New function.
(fold_affine_sum): Removed.
(get_computation_at): Use get_computation_aff. Unshare the result.
(get_computation_aff, multiplier_allowed_in_address_p): New function.
(multiply_by_cost): Exported.
(get_address_cost): Use multiplier_allowed_in_address_p.
* tree-ssa-operands.c (get_tmr_operands): New function.
(get_expr_operands): Handle TARGET_MEM_REFs.
* tree.c (copy_node_stat): Copy annotations for TARGET_MEM_REFs.
(build): Handle 7 arguments.
(build7_stat): New function.
* tree.def (TARGET_MEM_DEF): New.
* tree.h (REF_ORIGINAL): Removed.
(TMR_SYMBOL, TMR_BASE, TMR_INDEX, TMR_STEP, TMR_OFFSET, TMR_ORIGINAL,
TMR_TAG, build7): New macros.
(build7_stat, tree_mem_ref_addr, copy_mem_ref_info): Declare.
* tree-ssa-ccp.c (fold_stmt_r): Call maybe_fold_tmr.
* doc/c-tree.texi: Document TARGET_MEM_REF.
* doc/tree-ssa.texi: Add TARGET_MEM_REF to gimple grammar.
* gcc.dg/tree-ssa/loop-2.c: Update outcome.
* gcc.dg/tree-ssa/loop-3.c: Update outcome.
* gcc.dg/tree-ssa/loop-4.c: Update outcome.
* gcc.dg/tree-ssa/loop-9.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@100708 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc')
-rw-r--r-- | gcc/doc/c-tree.texi | 21 | ||||
-rw-r--r-- | gcc/doc/tree-ssa.texi | 6 |
2 files changed, 27 insertions, 0 deletions
diff --git a/gcc/doc/c-tree.texi b/gcc/doc/c-tree.texi index a6033f16256..196aa564430 100644 --- a/gcc/doc/c-tree.texi +++ b/gcc/doc/c-tree.texi @@ -1712,6 +1712,7 @@ This macro returns the attributes on the type @var{type}. @tindex EXACT_DIV_EXPR @tindex ARRAY_REF @tindex ARRAY_RANGE_REF +@tindex TARGET_MEM_REF @tindex LT_EXPR @tindex LE_EXPR @tindex GT_EXPR @@ -2103,6 +2104,26 @@ meanings. The type of these expressions must be an array whose component type is the same as that of the first operand. The range of that array type determines the amount of data these expressions access. +@item TARGET_MEM_REF +These nodes represent memory accesses whose address directly map to +an addressing mode of the target architecture. The first argument +is @code{TMR_SYMBOL} and must be a @code{VAR_DECL} of an object with +a fixed address. The second argument is @code{TMR_BASE} and the +third one is @code{TMR_INDEX}. The fourth argument is +@code{TMR_STEP} and must be an @code{INTEGER_CST}. The fifth +argument is @code{TMR_OFFSET} and must be an @code{INTEGER_CST}. +Any of the arguments may be NULL if the appropriate component +does not appear in the address. Address of the @code{TARGET_MEM_REF} +is determined in the following way. + +@smallexample +&TMR_SYMBOL + TMR_BASE + TMR_INDEX * TMR_STEP + TMR_OFFSET +@end smallexample + +The sixth argument is the reference to the original memory access, which +is preserved for the purposes of the RTL alias analysis. The seventh +argument is a tag representing the results of tree level alias analysis. + @item LT_EXPR @itemx LE_EXPR @itemx GT_EXPR diff --git a/gcc/doc/tree-ssa.texi b/gcc/doc/tree-ssa.texi index 56c605c0b57..7113c394dd5 100644 --- a/gcc/doc/tree-ssa.texi +++ b/gcc/doc/tree-ssa.texi @@ -632,6 +632,12 @@ void f() op2 -> var compref : inner-compref + | TARGET_MEM_REF + op0 -> ID + op1 -> val + op2 -> val + op3 -> CONST + op4 -> CONST | REALPART_EXPR op0 -> inner-compref | IMAGPART_EXPR |