diff options
author | rth <rth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-07-16 21:13:08 +0000 |
---|---|---|
committer | rth <rth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-07-16 21:13:08 +0000 |
commit | 80f0648113a67e5f40ab1c19bed50d37262dbfdf (patch) | |
tree | a6887d7a4c296d5e39f29a2367845311f7100e89 /gcc/tree-gimple.c | |
parent | 88a09153515cca1388a7284174c5ff5ae4b93cb0 (diff) | |
download | ppe42-gcc-80f0648113a67e5f40ab1c19bed50d37262dbfdf.tar.gz ppe42-gcc-80f0648113a67e5f40ab1c19bed50d37262dbfdf.zip |
* tree-def (WITH_SIZE_EXPR): New.
* explow.c (expr_size, int_expr_size): Handle WITH_SIZE_EXPR.
* expr.c (expand_expr_real_1): Likewise.
* gimplify.c (maybe_with_size_expr): New.
(gimplify_arg, gimplify_modify_expr): Use it.
(gimplify_modify_expr_to_memcpy): Take size parameter.
(gimplify_modify_expr_to_memset): Likewise.
(gimplify_expr): Handle WITH_SIZE_EXPR.
* tree-alias-common.c (find_func_aliases): Likewise.
* tree-eh.c (tree_could_trap_p): Likewise.
(tree_could_throw_p): Likewise.
* tree-gimple.c (is_gimple_lvalue): Likewise.
(get_call_expr_in): Likewise.
* tree-inline.c (estimate_num_insns_1): Likewise.
(expand_calls_inline): Likewise.
* tree-nested.c (convert_call_expr): Likewise.
* tree-pretty-print.c (dump_generic_node): Likewise.
* tree-sra.c (sra_walk_expr): Likewise.
* tree-ssa-alias.c (add_pointed_to_expr): Likewise.
* tree-ssa-ccp.c (get_rhs, set_rhs): Likewise.
* tree-ssa-operands.c (get_expr_operands): Likewise.
* tree-tailcall.c (find_tail_calls): Likewise.
* calls.c (expand_call): Reset old_stack_allocated after
calling emit_stack_restore.
* gcc.c-torture/compile/20020210-1.c: Remove XFAIL.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@84833 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-gimple.c')
-rw-r--r-- | gcc/tree-gimple.c | 37 |
1 files changed, 29 insertions, 8 deletions
diff --git a/gcc/tree-gimple.c b/gcc/tree-gimple.c index 193f093a8e3..c081b5aabae 100644 --- a/gcc/tree-gimple.c +++ b/gcc/tree-gimple.c @@ -118,12 +118,22 @@ Boston, MA 02111-1307, USA. */ addr-expr-arg: ID | compref + with-size-arg: addr-expr-arg + | indirectref + | call-stmt + + indirectref : INDIRECT_REF + op0 -> val + lhs : addr-expr-arg - | '*' val | bitfieldref + | indirectref + | WITH_SIZE_EXPR + op0 -> with-size-arg + op1 -> val min-lval : ID - | '*' val + | indirectref bitfieldref : BIT_FIELD_REF op0 -> inner-compref @@ -155,18 +165,26 @@ Boston, MA 02111-1307, USA. */ op0 -> inner-compref condition : val - | val RELOP val + | RELOP + op0 -> val + op1 -> val val : ID | CONST rhs : lhs | CONST - | '&' addr-expr-arg - | call_expr - | UNOP val - | val BINOP val - | val RELOP val + | call-stmt + | ADDR_EXPR + op0 -> addr-expr-arg + | UNOP + op0 -> val + | BINOP + op0 -> val + op1 -> val + | RELOP + op0 -> val + op1 -> val */ static inline bool is_gimple_id (tree); @@ -286,6 +304,7 @@ is_gimple_lvalue (tree t) { return (is_gimple_addr_expr_arg (t) || TREE_CODE (t) == INDIRECT_REF + || TREE_CODE (t) == WITH_SIZE_EXPR /* These are complex lvalues, but don't have addresses, so they go here. */ || TREE_CODE (t) == BIT_FIELD_REF); @@ -506,6 +525,8 @@ get_call_expr_in (tree t) { if (TREE_CODE (t) == MODIFY_EXPR) t = TREE_OPERAND (t, 1); + if (TREE_CODE (t) == WITH_SIZE_EXPR) + t = TREE_OPERAND (t, 0); if (TREE_CODE (t) == CALL_EXPR) return t; return NULL_TREE; |