Lines Matching full:ssa
93 * GIMPLE:: Tuple representation used by Tree SSA optimizers
94 * Tree SSA:: Analysis and optimization of GIMPLE
5175 * Tree-SSA passes:: Optimizations on a high-level representation.
5284 File: gccint.info, Node: Pass manager, Next: Tree-SSA passes, Prev: Gimplification pass, Up: Passes
5317 File: gccint.info, Node: Tree-SSA passes, Next: RTL passes, Prev: Pass manager, Up: Passes
5319 8.4 Tree-SSA passes
5404 SSA rewriting routines. The pass is located in `tree-dfa.c' and
5409 This pass rewrites the function such that it is in SSA form. After
5414 in `tree-ssa.c' and is described by `pass_build_ssa'.
5424 `tree-ssa.c' and is defined by `pass_early_warn_uninitialized' and
5433 located in `tree-ssa-dce.c' and is described by `pass_dce'.
5440 located in `tree-ssa-dom.c' and is described by `pass_dominator'.
5447 `tree-ssa-forwprop.c' and is described by `pass_forwprop'.
5452 involved in copy operations such that SSA->normal can coalesce the
5456 in `tree-ssa-copyrename.c' and is described by `pass_copyrename'.
5462 It is located in `tree-ssa-phiopt.c' and is described by
5467 This pass performs a flow sensitive SSA-based points-to analysis.
5471 into SSA form. We also update the `VDEF'/`VUSE' memory tags for
5473 pass is located in `tree-ssa-alias.c' and is described by
5477 `tree-ssa-structalias.c' and described by `pass_ipa_pta'.
5497 rewritten into SSA form, which allows subsequent optimization
5505 pass is located in `tree-ssa-dse.c' and is described by `pass_dse'.
5515 to their use point. The pass is located in `tree-ssa-sink.c' and
5521 performing load motion. The pass is located in `tree-ssa-pre.c'
5527 located in `tree-ssa-math-opts.c' and is described by
5533 that occur an all paths. It is located in `tree-ssa-pre.c' and
5538 The main driver of the pass is placed in `tree-ssa-loop.c' and
5549 is implemented in `tree-ssa-loop-im.c'.
5556 pass is implemented in `tree-ssa-loop-ivcanon.c'.
5561 The pass is implemented in `tree-ssa-loop-ivopts.c'.
5566 The pass is implemented in `tree-ssa-loop-unswitch.c'. This pass
5573 `tree-ssa-loop-manip.c', `cfgloop.c', `cfgloopanal.c' and
5609 The pass is located in `tree-ssa-ccp.c' and is described by
5613 register values, is located in `tree-ssa-ccp.c' and described by
5620 code. The pass is located in `tree-ssa-copy.c' and described by
5624 copies, is located in `tree-ssa-copy.c' and described by
5635 SSA
5645 located in `tree-ssa-ccp.c' and is described by
5658 `tree-ssa-dce.c' and is described by `pass_cd_dce'.
5698 GENERIC. The pass is located in `tree-outof-ssa.c' and is
5735 loops. The pass is located in `tree-ssa-loop.c' and described by
5751 in `tree-ssa-loop-ivcanon.c' and described by `pass_empty_loop'.
5756 is located in `tree-ssa-loop-ivcanon.c' and described by
5773 loops. The pass is located in `tree-ssa-loop-prefetch.c' and
5780 vectorization. The pass is located in `tree-ssa-reassoc.c' and
5797 File: gccint.info, Node: RTL passes, Prev: Tree-SSA passes, Up: Passes
12113 File: gccint.info, Node: GIMPLE, Next: Tree SSA, Prev: GENERIC, Up: Top
12350 used to maintain the memory SSA use-def and def-def chains.
12354 to maintain the memory SSA use-def chains.
12360 partitions. Furthermore, no SSA information is stored in this set.
13837 Return the `SSA' name created by `GIMPLE_PHI' `G'.
13840 Return a pointer to the `SSA' name created by `GIMPLE_PHI' `G'.
13843 Set `RESULT' to be the `SSA' name created by `GIMPLE_PHI' `G'.
14371 File: gccint.info, Node: Tree SSA, Next: Control Flow, Prev: GIMPLE, Up: Top
14403 * SSA Operands:: SSA names referenced by GIMPLE statements.
14404 * SSA:: Static Single Assignment representation.
14408 File: gccint.info, Node: Annotations, Next: SSA Operands, Up: Tree SSA
14423 File: gccint.info, Node: SSA Operands, Next: SSA, Prev: Annotations, Up: Tree SSA
14425 13.2 SSA Operands
14526 into SSA form. This will be used to link all the non-killing
14541 Operands are collected by `tree-ssa-operands.c'. They are stored
14599 `tree-ssa-operands.h':
14655 documentation in `tree-ssa-operands.h'.
14792 File: gccint.info, Node: SSA, Next: Alias analysis, Prev: SSA Operands, Up: Tree SSA
14798 by the Static Single Assignment (SSA) form. We implement the SSA form
14804 The SSA form is based on the premise that program variables are
14807 actual programs are seldom in SSA form initially because variables tend
14817 process in `tree-ssa.c' wraps every real and virtual operand with an
14840 use at the return statement. So, the SSA renamer creates a new version
14864 13.3.1 Preserving the SSA form
14868 the SSA property. This can happen when a pass has added new symbols or
14871 symbols must be renamed into SSA form again. Transformations that emit
14873 SSA form.
14875 Since GCC implements two different SSA forms for register and virtual
14876 variables, keeping the SSA form up to date depends on whether you are
14878 behind incremental SSA updates is similar: when new SSA names are
14921 nodes is optional. They are not strictly necessary to preserve the SSA
14925 Updating the SSA form is a two step process. First, the pass has to
14927 renamed into SSA form for the first time. When new names are
14933 exposes a new symbol that should be put in SSA form for the first time,
14942 * `TODO_update_ssa'. Update the SSA form inserting PHI nodes for
14951 * `TODO_update_ssa_no_phi'. Update the SSA form without inserting
14967 * `TODO_update_ssa_only_virtuals'. Passes that update the SSA form
14974 13.3.2 Preserving the virtual SSA form
14977 The virtual SSA form is harder to preserve than the non-virtual SSA form
14993 marking for the SSA renamer.
15022 -- Tree SSA function: void walk_use_def_chains (VAR, FN, DATA)
15046 -- Tree SSA function: void walk_dominator_tree (WALK_DATA, BB)
15075 File: gccint.info, Node: Alias analysis, Prev: SSA, Up: Tree SSA
15119 This phase walks the use-def chains in the SSA web looking for
15135 renamed into SSA, we lose track of escape properties when a
15303 * LCSSA:: Loop-closed SSA form.
15531 loop-closed SSA form is preserved). Only useful on GIMPLE.
15565 14.4 Loop-closed SSA form
15569 enforced on the SSA form: No SSA name is used outside of the loop in
15570 that it is defined. The SSA form satisfying this condition is called
15571 "loop-closed SSA form" - LCSSA. To enforce LCSSA, PHI nodes must be
15572 created at the exits of the loops for the SSA names that are used
15573 outside of them. Only the real operands (not virtual SSA names) are
15586 loop in that the SSA name is defined.
15588 * It makes updating of SSA form during loop transformations simpler.
15591 SSA form can be updated locally. However, since we only keep real
15594 than to use generic SSA form updating for it as well; the amount
15595 of changes to SSA is the same).
15601 `rewrite_into_loop_closed_ssa' is used to rewrite SSA form to LCSSA,
15623 Given an SSA name, its behavior in loops can be analyzed using the
15626 SSA names defined in the loop. To resolve these (potentially
15630 whole nest of loops at once. It will try replacing all SSA names by
15635 on the value of the induction variable. It will only resolve the SSA
15636 names defined in the current loop, leaving the SSA names defined
15641 used for SSA names whose value cannot be expressed. The other one is
15954 File: gccint.info, Node: Control Flow, Next: Loop Analysis and Representation, Prev: Tree SSA, Up: Top
16145 they may be freely redirected when the flow graph is not in SSA
16385 are enabled and the instruction stream is rewritten in SSA form, the
36104 and for contributing to the tree-ssa branch.
36553 * Diego Novillo for his work on Tree SSA, OpenMP, SPEC performance
41395 * examining SSA_NAMEs: SSA. (line 218)
42086 * Immediate Uses: SSA Operands. (line 274)
42307 * Loop-closed SSA form: LCSSA. (line 6)
42598 * Operand Access Routines: SSA Operands. (line 119)
42600 * Operand Iterators: SSA Operands. (line 119)
42604 * operands: SSA Operands. (line 6)
42608 * Optimization infrastructure for GIMPLE: Tree SSA. (line 6)
42669 * PHI nodes: SSA. (line 31)
42671 * PHI_ARG_DEF: SSA. (line 71)
42672 * PHI_ARG_EDGE: SSA. (line 68)
42673 * PHI_ARG_ELT: SSA. (line 63)
42674 * PHI_NUM_ARGS: SSA. (line 59)
42675 * PHI_RESULT: SSA. (line 56)
42730 * preserving SSA form: SSA. (line 76)
42731 * preserving virtual SSA form: SSA. (line 186)
42790 * real operands: SSA Operands. (line 6)
43126 * SSA: SSA. (line 6)
43127 * SSA_NAME_DEF_STMT: SSA. (line 221)
43128 * SSA_NAME_VERSION: SSA. (line 226)
43189 * static single assignment: SSA. (line 6)
43613 * Tree SSA: Tree SSA. (line 6)
43765 * update_ssa: SSA. (line 76)
43766 * update_stmt <1>: SSA Operands. (line 6)
43881 * virtual operands: SSA Operands. (line 6)
43907 * walk_dominator_tree: SSA. (line 256)
43914 * walk_use_def_chains: SSA. (line 232)
44008 Node: Tree-SSA passes247274
44104 Node: Tree SSA636826
44106 Node: SSA Operands639081
44107 Node: SSA653612
