diff options
author | Richard Biener <rguenther@suse.de> | 2017-07-20 12:37:14 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-07-20 12:37:14 +0000 |
commit | 3fa4fad4974c7c1e39ca387b9e55ffb3607879a3 (patch) | |
tree | 057d05e0ccff4798133bb024656d689b2fda464f | |
parent | 73c4b4df26d90486debc267cd61c55ab350de4e0 (diff) | |
download | gcc-3fa4fad4974c7c1e39ca387b9e55ffb3607879a3.tar.gz |
gimple.h (gimple_phi_result): Add gphi * overload.
2017-07-20 Richard Biener <rguenther@suse.de>
* gimple.h (gimple_phi_result): Add gphi * overload.
(gimple_phi_result_ptr): Likewise.
(gimple_phi_arg): Likewise. Adjust index assert to only
allow actual argument accesses rather than all slots available
by capacity.
(gimple_phi_arg_def): Add gphi * overload.
* tree-phinodes.c (make_phi_node): Initialize only actual
arguments.
(resize_phi_node): Clear memory not covered by old node,
do not initialize excess argument slots.
(reserve_phi_args_for_new_edge): Initialize new argument slot
completely.
From-SVN: r250385
-rw-r--r-- | gcc/ChangeLog | 15 | ||||
-rw-r--r-- | gcc/gimple.h | 32 | ||||
-rw-r--r-- | gcc/tree-phinodes.c | 27 |
3 files changed, 55 insertions, 19 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 42ae134177e..ff8417971bc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,18 @@ +2017-07-20 Richard Biener <rguenther@suse.de> + + * gimple.h (gimple_phi_result): Add gphi * overload. + (gimple_phi_result_ptr): Likewise. + (gimple_phi_arg): Likewise. Adjust index assert to only + allow actual argument accesses rather than all slots available + by capacity. + (gimple_phi_arg_def): Add gphi * overload. + * tree-phinodes.c (make_phi_node): Initialize only actual + arguments. + (resize_phi_node): Clear memory not covered by old node, + do not initialize excess argument slots. + (reserve_phi_args_for_new_edge): Initialize new argument slot + completely. + 2017-07-20 Bin Cheng <bin.cheng@arm.com> PR tree-optimization/81388 diff --git a/gcc/gimple.h b/gcc/gimple.h index aba7167f381..2d81eedab4a 100644 --- a/gcc/gimple.h +++ b/gcc/gimple.h @@ -4308,19 +4308,31 @@ gimple_phi_num_args (const gimple *gs) /* Return the SSA name created by GIMPLE_PHI GS. */ static inline tree +gimple_phi_result (const gphi *gs) +{ + return gs->result; +} + +static inline tree gimple_phi_result (const gimple *gs) { const gphi *phi_stmt = as_a <const gphi *> (gs); - return phi_stmt->result; + return gimple_phi_result (phi_stmt); } /* Return a pointer to the SSA name created by GIMPLE_PHI GS. */ static inline tree * +gimple_phi_result_ptr (gphi *gs) +{ + return &gs->result; +} + +static inline tree * gimple_phi_result_ptr (gimple *gs) { gphi *phi_stmt = as_a <gphi *> (gs); - return &phi_stmt->result; + return gimple_phi_result_ptr (phi_stmt); } /* Set RESULT to be the SSA name created by GIMPLE_PHI PHI. */ @@ -4338,11 +4350,17 @@ gimple_phi_set_result (gphi *phi, tree result) GIMPLE_PHI GS. */ static inline struct phi_arg_d * +gimple_phi_arg (gphi *gs, unsigned index) +{ + gcc_gimple_checking_assert (index < gs->nargs); + return &(gs->args[index]); +} + +static inline struct phi_arg_d * gimple_phi_arg (gimple *gs, unsigned index) { gphi *phi_stmt = as_a <gphi *> (gs); - gcc_gimple_checking_assert (index < phi_stmt->capacity); - return &(phi_stmt->args[index]); + return gimple_phi_arg (phi_stmt, index); } /* Set PHIARG to be the argument corresponding to incoming edge INDEX @@ -4377,6 +4395,12 @@ phi_nodes_ptr (basic_block bb) /* Return the tree operand for argument I of PHI node GS. */ static inline tree +gimple_phi_arg_def (gphi *gs, size_t index) +{ + return gimple_phi_arg (gs, index)->def; +} + +static inline tree gimple_phi_arg_def (gimple *gs, size_t index) { return gimple_phi_arg (gs, index)->def; diff --git a/gcc/tree-phinodes.c b/gcc/tree-phinodes.c index c49c5c1d6e4..1c2e5c555ab 100644 --- a/gcc/tree-phinodes.c +++ b/gcc/tree-phinodes.c @@ -190,7 +190,7 @@ make_phi_node (tree var, int len) else gimple_phi_set_result (phi, make_ssa_name (var, phi)); - for (i = 0; i < capacity; i++) + for (i = 0; i < len; i++) { use_operand_p imm; @@ -248,6 +248,10 @@ resize_phi_node (gphi *phi, size_t len) new_phi = allocate_phi_node (len); memcpy (new_phi, phi, old_size); + memset ((char *)new_phi + old_size, 0, + (sizeof (struct gphi) + - sizeof (struct phi_arg_d) + + sizeof (struct phi_arg_d) * len) - old_size); for (i = 0; i < gimple_phi_num_args (new_phi); i++) { @@ -260,18 +264,6 @@ resize_phi_node (gphi *phi, size_t len) new_phi->capacity = len; - for (i = gimple_phi_num_args (new_phi); i < len; i++) - { - use_operand_p imm; - - gimple_phi_arg_set_location (new_phi, i, UNKNOWN_LOCATION); - imm = gimple_phi_arg_imm_use_ptr (new_phi, i); - imm->use = gimple_phi_arg_def_ptr (new_phi, i); - imm->prev = NULL; - imm->next = NULL; - imm->loc.stmt = new_phi; - } - return new_phi; } @@ -300,6 +292,8 @@ reserve_phi_args_for_new_edge (basic_block bb) stmt = new_phi; } + stmt->nargs++; + /* We represent a "missing PHI argument" by placing NULL_TREE in the corresponding slot. If PHI arguments were added immediately after an edge is created, this zeroing would not @@ -307,10 +301,13 @@ reserve_phi_args_for_new_edge (basic_block bb) example, the loop optimizer duplicates several basic blocks, redirects edges, and then fixes up PHI arguments later in batch. */ + use_operand_p imm = gimple_phi_arg_imm_use_ptr (stmt, len - 1); + imm->use = gimple_phi_arg_def_ptr (stmt, len - 1); + imm->prev = NULL; + imm->next = NULL; + imm->loc.stmt = stmt; SET_PHI_ARG_DEF (stmt, len - 1, NULL_TREE); gimple_phi_arg_set_location (stmt, len - 1, UNKNOWN_LOCATION); - - stmt->nargs++; } } |