diff options
author | pinskia <pinskia@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-16 05:42:36 +0000 |
---|---|---|
committer | pinskia <pinskia@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-16 05:42:36 +0000 |
commit | 0de36bdb2d7fa28a41b67b7ab3f8ccb92e1d2e03 (patch) | |
tree | a412e70be6f1d8732a8f791392c918ebc475f3e0 /gcc/ChangeLog.ptr | |
parent | 2e76978a5a65d6b6643a5f7045585379ecf92fdb (diff) | |
download | gcc-0de36bdb2d7fa28a41b67b7ab3f8ccb92e1d2e03.tar.gz |
2007-06-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
Zdenek Dvorak <dvorakz@suse.cz>
Richard Guenther <rguenther@suse.de>
Kaz Kojima <kkojima@gcc.gnu.org>
* tree-vrp.c (compare_values_warnv): Convert val2 to
the type of val1.
(extract_range_from_assert): Create
POINTER_PLUS_EXPR for pointer types.
(extract_range_from_binary_expr): Handle
only POINTER_PLUS_EXPR, MIN_EXPR, and MAX_EXPR
for pointer types.
* doc/c-tree.texi (POINTER_PLUS_EXPR): Document.
* tree-ssa-loop-niter.c (split_to_var_and_offset): Handle
POINTER_PLUS_EXPR as PLUS_EXPR.
(number_of_iterations_lt_to_ne):
For pointer types, use sizetype when
creating MINUS_EXPR/PLUS_EXPRs.
(assert_loop_rolls_lt): For pointer types, use sizetype when
creating MINUS_EXPR/PLUS_EXPRs.
(number_of_iterations_le): Likewise.
(expand_simple_operations): POINTER_PLUS_EXPR are simple also.
(derive_constant_upper_bound): Handle POINTER_PLUS_EXPR just
like PLUS_EXPR and MINUS_EXPR.
* tree-pretty-print.c (dump_generic_node): Handle
POINTER_PLUS_EXPR.
(op_prio): Likewise.
(op_symbol_1): Likewise.
* optabs.c (optab_for_tree_code): Likewise.
* tree-ssa-loop-manip.c (create_iv): Handle pointer base
specially.
* tree-tailcall.c (process_assignment): Mention
POINTER_PLUS_EXPR in a TODO comment.
* tree.c (build2_stat): Assert when trying to use PLUS_EXPR or
MINUS_EXPR with a pointer. Also assert for POINTER_PLUS_EXPR
not used with a pointer and an integer type.
* tree-scalar-evolution.c (add_to_evolution_1): Convert the
increment using chrec_convert_rhs instead of chrec_convert.
(follow_ssa_edge_in_rhs): Handle POINTER_PLUS_EXPR like
PLUS_EXPR except for the right hand side's type will be
sizetype.
(interpret_rhs_modify_stmt): Handle POINTER_PLUS_EXPR.
(fold_used_pointer_cast): Kill.
(pointer_offset_p): Kill.
(fold_used_pointer): Kill.
(pointer_used_p): Kill.
(analyze_scalar_evolution_1 <case GIMPLE_MODIFY_STMT>): Don't
call fold_used_pointer.
(instantiate_parameters_1): Convert the increment
using chrec_convert_rhs instead of chrec_convert.
Handle POINTER_PLUS_EXPR as PLUS_EXPR.
* builtins.c (get_pointer_alignment): Handle POINTER_PLUS_EXPR
instead of PLUS_EXPR.
(expand_builtin_strcat): Create a POINTER_PLUS_EXPR instead of
PLUS_EXPR for pointers.
(std_gimplify_va_arg_expr): Likewise.
(fold_builtin_memory_op): Likewise.
(fold_builtin_strstr): Likewise.
(fold_builtin_strchr): Likewise.
(fold_builtin_strrchr): Likewise.
(fold_builtin_strpbrk): Likewise.
(expand_builtin_memory_chk): Likewise.
(fold_builtin_memory_chk): Likewise.
(std_expand_builtin_va_start): Use
sizetype for the call to make_tree and then convert
to the pointer type.
(fold_builtin_memchr): Use POINTER_PLUS_EXPR
instead of PLUS_EXPR for adding to a pointer.
(std_gimplify_va_arg_expr): Use fold_build2 for
the creating of POINTER_PLUS_EXPR. For the BIT_AND_EXPR, cast
the operands to sizetype first and then cast the BIT_AND_EXPR
back to the pointer type.
* fold-const.c (build_range_check): Handle pointer types
specially.
(extract_array_ref): Look for POINTER_PLUS_EXPR instead
of PLUS_EXPR's. Make sure the offset is converted to
sizetype.
(try_move_mult_to_index): Strip the NOPs from the offset.
Remove code argument and replace all uses with PLUS_EXPR.
(fold_to_nonsharp_ineq_using_bound): Handle pointer types
specially. Don't use a pointer type for MINUS_EXPR.
(fold_unary): Handle for (T1)(X op Y),
only p+ as that is the only as that can be handled for
binary operators now.
(fold_binary <case POINTER_PLUS_EXPR>): Add folding of
POINTER_PLUS_EXPR.
<case PLUS_EXPR>: Add folding of PTR+INT into
PTR p+ INT.
Don't call try_move_mult_to_index.
<case MINUS_EXPR>: Fold (PTR0 p+ A) - (PTR1 p+ B)
into (PTR0 - PTR1) + (A - B). Fold (PTR0 p+ A) - PTR1 into
(PTR0 - PTR1) + A iff (PTR0 - PTR1) simplifies.
Don't call try_move_mult_to_index.
(tree_expr_nonnegative_warnv_p): Handle POINTER_PLUS_EXPR.
(tree_expr_nonzero_p): Likewise.
(fold_indirect_ref_1): Look at POINTER_PLUS_EXPR instead
of PLUS_EXPR for the complex expression folding.
* tree-chrec.c (chrec_fold_plus_poly_poly): If the
first chrec is a pointer type, then the second should
be sizetype and not the first's type.
For POINTER_PLUS_EXPR, use a different right hand side type.
Handle POINTER_PLUS_EXPR like PLUS_EXPR.
(chrec_fold_plus_1): For POINTER_PLUS_EXPR, use a
different right hand side type.
Handle POINTER_PLUS_EXPR like PLUS_EXPR.
(chrec_fold_plus): For pointer types, use POINTER_PLUS_EXPR
instead of PLUS_EXPR.
When either operand is zero, convert the other operand.
(chrec_apply): Use chrec_convert_rhs
on the argument x instead of chrec_convert.
(reset_evolution_in_loop): For pointer types, the new_evol
should be sizetype.
(convert_affine_scev): For POINTER_PLUS_EXPR, use a
different right hand side type.
Handle POINTER_PLUS_EXPR like PLUS_EXPR.
(chrec_convert_rhs): New function.
(chrec_convert_aggressive): For POINTER_PLUS_EXPR, use a
different right hand side type.
Handle POINTER_PLUS_EXPR like PLUS_EXPR.
* tree-chrec.h (chrec_convert_rhs): New prototype.
(build_polynomial_chrec): For pointer types, the right hand
* tree-ssa-ccp.c (maybe_fold_stmt_indirect): Look for
POINTER_PLUS_EXPR instead of PLUS_EXPR's.
Remove subtraction case as it is always addition now.
Make sure the offset is converted to sizetype.
(fold_stmt_r): Don't handle PLUS_EXPR/MINUS_EXPR specially.
Handle POINTER_PLUS_EXPR like PLUS_EXPR was handled before.
* tree-ssa-loop-ivopts.c (determine_base_object): Abort for
PLUS_EXPR in pointer type.
Handle POINTER_PLUS_EXPR.
(tree_to_aff_combination): Likewise.
(force_expr_to_var_cost): Likewise.
(force_expr_to_var_cost): Likewise. Create a POINTER_PLUS_EXPR
instead of PLUS_EXPR for pointers.
* c-format.c (check_format_arg): Handle POINTER_PLUS_EXPR
instead of PLUS_EXPR of pointer types.
* tree-stdarg.c (va_list_counter_bump): Handle POINTER_PLUS_EXPR
as PLUS_EXPR.
(check_va_list_escapes): Likewise.
(check_all_va_list_escapes): Likewise.
* dwarf2out.c (loc_descriptor_from_tree_1):
Handle POINT_PLUS_EXPR as a PLUS_EXPR.
* expr.c (expand_expr_real_1): Handle POINTER_PLUS_EXPR.
(string_constant): Likewise.
* tree-ssa-address.c (tree_mem_ref_addr): When adding
the offset to the base, use POINTER_PLUS_EXPR.
(add_to_parts): Convert the index to sizetype.
(create_mem_ref): Create A POINTER_PLUS_EXPR for the one case.
* matrix-reorg.c (collect_data_for_malloc_call): Stmt
will now only be either INDIRECT_REF and POINTER_PLUS_EXPR.
Offset only holds something for PLUS_EXPR.
(ssa_accessed_in_tree): Handle POINTER_PLUS_EXPR just as
a PLUS_EXPR.
(analyze_transpose): POINTER_PLUS_EXPR will only show up now
and not PLUS_EXPR.
(analyze_accesses_for_modify_stmt): Likewise.
Remove comment about the type being integral type as it is
wrong now.
(can_calculate_expr_before_stmt): Handle POINTER_PLUS_EXPR as
PLUS_EXPR.
(transform_access_sites): POINTER_PLUS_EXPR will only show up now
and not PLUS_EXPR.
Correct the type which the artimentic is done in (is now
sizetype).
Reindent one loop.
* tree-data-ref.c (split_constant_offset): Handle
POINTER_PLUS_EXPR
* tree-affine.c (tree_to_aff_combination): Likewise.
* c-typeck.c (build_unary_op): For pointers create the increment
as a sizetype. Create a POINTER_PLUS_EXPR instead of PLUS_EXPR
for pointers.
* gimplify.c (gimplify_self_mod_expr): Create a
POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
(gimplify_omp_atomic_fetch_op): Handle POINTER_PLUS_EXPR.
* tree.def (POINTER_PLUS_EXPR): New tree code.
* tree-predcom.c (ref_at_iteration): If we have a pointer
type do the multiplication in sizetype.
* tree-mudflap.c (mf_xform_derefs_1): Create a
POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
* tree-ssa-forwprop.c
(forward_propagate_addr_into_variable_array_index):
Don't expect there to be a cast for the index as that
does not exist anymore.
(forward_propagate_addr_expr_1): Check for POINTER_PLUS_EXPR
instead of PLUS_EXPR.
Don't check for the first operand of the POINTER_PLUS_EXPR
was the index as it cannot be.
Call forward_propagate_addr_into_variable_array_index with
the SSA_NAME instead of the statement.
* varasm.c (const_hash_1): Handle POINTER_PLUS_EXPR.
(compare_constant): Likewise.
(copy_constant): Likewise.
(compute_reloc_for_constant): Likewise.
(output_addressed_constants): Likewise.
(initializer_constant_valid_p): Likewise.
* tree-ssa.c (tree_ssa_useless_type_conversion_1):
Convert the MIN/MAX of the inner type to the outer
type before comparing them.
* tree-ssa-loop-prefetch.c (idx_analyze_ref): Handle
POINTER_PLUS_EXPR instead of PLUS_EXPR.
(issue_prefetch_ref): Create a POINTER_PLUS_EXPR instead
of PLUS_EXPR for pointers.
* tree-inline.c (estimate_num_insns_1): Handle
POINTER_PLUS_EXPR.
* tree-vect-transform.c (vect_create_addr_base_for_vector_ref):
Create a POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
(bump_vector_ptr): Create a POINTER_PLUS_EXPR
instead of PLUS_EXPR for the pointer increment statement.
(vect_update_ivs_after_vectorizer): For pointer types, create
POINTER_PLUS_EXPR instead of PLUS_EXPR and also create
MULT_EXPR in sizetype.
(vect_gen_niters_for_prolog_loop): Add a cast when creating
byte_misalign.
* tree-object-size.c (plus_expr_object_size): Handle
POINTER_PLUS_EXPR instead of PLUS_EXPR. Removing all the extra
code which is trying to figure out which side is a pointer and
is the index.
(check_for_plus_in_loops_1): Likewise.
(check_for_plus_in_loops): Likewise.
* c-common.c (pointer_int_sum): Create a
POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
* tree-ssa-structalias.c (handle_ptr_arith): Handle
only POINTER_PLUS_EXPR. Removing all the extra
code which is trying to figure out which side is a pointer and
is the index.
* tree-cfg.c (verify_expr): Add extra checking for pointers and
PLUS_EXPR and MINUS_EXPR.
Also add checking to make sure the operands of POINTER_PLUS_EXPR
are correct.
* config/frv/frv.c (frv_expand_builtin_va_start): Use sizetype
with make_tree, instead of a pointer type.
* config/s390/s390.c (s390_va_start): Use POINTER_PLUS_EXPR
for pointers instead of PLUS_EXPR.
(s390_gimplify_va_arg): Likewise.
* config/spu/spu.c (spu_va_start): Create POINTER_PLUS_EXPR
instead of PLUS_EXPR when doing addition on pointer
types. Use sizetype for the second operand.
(spu_gimplify_va_arg_expr): Likewise.
* config/sparc/sparc.c (sparc_gimplify_va_arg): Use
POINTER_PLUS_EXPR instead of PLUS_EXPR when the operand was
a pointer. Don't create a BIT_AND_EXPR for pointer types.
* config/i386/i386.c (ix86_va_start): Use POINTER_PLUS_EXPR
for the pointer addition and also use size_int/sizetype
for the offset.
(ix86_gimplify_va_arg): Likewise.
Perform BIT_AND_EXPR on sizetype arguments.
* config/sh/sh.c (sh_va_start): Call make_tree with sizetype
and convert its result to a pointer type. Use POINTER_PLUS_EXPR
for the pointer additions and also use size_int for the offsets.
(sh_gimplify_va_arg_expr): Use POINTER_PLUS_EXPR for the pointer
additions and also use size_int for the offsets. Perform
BIT_AND_EXPR on sizetype arguments.
* config/ia64/ia64.c (ia64_gimplify_va_arg): Use
POINTER_PLUS_EXPR for pointers and create the
BIT_AND_EXPR in sizetype.
* config/rs6000/rs6000.c (rs6000_va_start): Use POINTER_PLUS_EXPR
instead of PLUS_EXPR for pointer addition.
(rs6000_va_start): Likewise.
Also use sizetype for the offset.
* config/pa/pa.c (reloc_needed): Handle POINTER_PLUS_EXPR
as PLUS_EXPR/MINUS_EXPR.
(hppa_gimplify_va_arg_expr): Don't create MINUS_EXPR or
PLUS_EXPR for pointers, instead use POINTER_PLUS_EXPR.
Don't use BIT_AND_EXPR on a pointer type, convert the
expression to sizetype first.
* config/mips/mips.c (mips_va_start): Use POINTER_PLUS_EXPR
for pointers.
(mips_gimplify_va_arg_expr): Likewise.
Don't create BIT_AND_EXPR in a pointer type.
2007-06-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
* trans-intrinsic.c (gfc_conv_intrinsic_repeat): Use
POINTER_PLUS_EXPR instead of PLUS_EXPR for pointer addition.
* trans-expr.c (gfc_trans_string_copy): Create
POINTER_PLUS_EXPR instead of a PLUS_EXPR
for pointer types.
2007-06-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
* typeck.c (build_binary_op): For templates build the
expression in pieces to avoid the assert in build2_stat.
(get_member_function_from_ptrfunc):
Change over to using POINTER_PLUS_EXPR and convert
the second operand to sizetype.
* typeck2.c (build_m_component_ref): Likewise.
* init.c (expand_virtual_init): Create a POINTER_PLUS_EXPR
instead of PLUS_EXPR for pointers.
(build_new_1): Likewise.
(build_vec_delete_1): Likewise.
(build_vec_delete): Likewise.
* class.c (build_base_path): Likewise.
(build_base_path): Likewise.
(convert_to_base_statically): Likewise.
(fixed_type_or_null): Handle POINTER_PLUS_EXPR.
(get_vtbl_decl_for_binfo): Handle POINTER_PLUS_EXPR
instead of PLUS_EXPR.
(dfs_accumulate_vtbl_inits): Create a POINTER_PLUS_EXPR
instead of PLUS_EXPR for pointers.
* call.c (build_special_member_call): Likewise.
* rtti.c (build_headof): Likewise.
Use sizetype instead of ptrdiff_type_node.
(tinfo_base_init): Create a POINTER_PLUS_EXPR
instead of PLUS_EXPR for pointers.
* except.c (expand_start_catch_block): Do a
NEGATIVE and then a POINTER_PLUS_EXPR instead
of a MINUS_EXPR.
* cp-gimplify.c (cxx_omp_clause_apply_fn): Convert
PLUS_EXPR on pointer types over to use
POINTER_PLUS_EXPR and remove the conversion
to the pointer types.
* method.c (thunk_adjust): Use POINTER_PLUS_EXPR for
adding to a pointer type. Use size_int instead of
ssize_int. Convert the index to sizetype before
adding it to the pointer.
2007-06-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
* trans.c (Attribute_to_gnu): When subtracting an
offset from a pointer, use POINTER_PLUS_EXPR with
NEGATE_EXPR instead of MINUS_EXPR.
(gnat_to_gnu): Likewise.
* utils.c (convert): When converting between
thin pointers, use POINTER_PLUS_EXPR and sizetype
for the offset.
* utils2.c (known_alignment): POINTER_PLUS_EXPR
have the same semantics as PLUS_EXPR for alignment.
(build_binary_op): Add support for the semantics of
POINTER_PLUS_EXPR's operands.
When adding an offset to a pointer, use POINTER_PLUS_EXPR.
2007-06-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
* class.c (make_class_data): Build the index in sizetype.
Use POINTER_PLUS_EXPR instead of PLUS_EXPR when
adding to a pointer type.
(build_symbol_entry): Likewise.
* expr.c (build_java_arrayaccess): Likewise.
(build_field_ref): Likewise.
(build_known_method_ref): Likewise.
(build_invokevirtual): Likewise.
* except.c (build_exception_object_ref): Do a
NEGATIVE and then a POINTER_PLUS_EXPR instead
of a MINUS_EXPR.
2007-06-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
PR tree-opt/32225
* gcc.c-torture/compile/20070605-1.c: New test.
* gcc.c-torture/compile/20070603-1.c: New testcase.
* gcc.c-torture/compile/20070603-2.c: New testcase.
* gcc.c-torture/compile/20070531-1.c: New test.
PR tree-opt/32167
* gcc.c-torture/compile/20070531-2.c: New test.
PR tree-opt/32144
* gcc.c-torture/compile/20070529-1.c: New test.
PR tree-opt/32145
* gcc.c-torture/compile/20070529-2.c: New test.
PR tree-opt/32015
* gcc.c-torture/compile/20070520-1.c: New test.
* g++.dg/ext/java-1.C: New test.
* gcc.dg/vect/vect-106.c: We are now able to vectorize two
loops instead of one. Remove the "can't determine dependence"
check.
* gcc.dg/tree-ssa/20030815-1.c: Remove testcase which is no longer
needed as the cast is gone in the first place.
* gcc.dg/max-1.c: Change local variable a to be a global one.
* gcc.dg/tree-ssa/ssa-pre-8.c: Update testcase since we don't
have a cast which is PREd.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125755 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ChangeLog.ptr')
-rw-r--r-- | gcc/ChangeLog.ptr | 539 |
1 files changed, 539 insertions, 0 deletions
diff --git a/gcc/ChangeLog.ptr b/gcc/ChangeLog.ptr new file mode 100644 index 00000000000..5c7380dc0ce --- /dev/null +++ b/gcc/ChangeLog.ptr @@ -0,0 +1,539 @@ +2007-06-14 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 125733 + +2007-06-14 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-vrp.c (compare_values_warnv): Fix spelling/grammer + mistakes + (extract_range_from_binary_expr): Likewise. + * doc/c-tree.texi (POINTER_PLUS_EXPR): Likewise. + * tree-ssa-loop-niter.c (assert_loop_rolls_lt): Add vertical + whitespace. + * tree-pretty-print.c (op_symbol_code <case POINTER_PLUS_EXPR>): + Change print out to "+". + * tree-scalar-evolution.c (instantiate_parameters_1): + Use chrec_type instead of TREE_TYPE. + * builtins.c (expand_builtin_strcat): Fix vertical whitespace. + (std_expand_builtin_va_start): Fix whitespace. + (fold_builtin_strstr): Use size_int instead of build_int_cst (sizetype. + (fold_builtin_strchr): Likewise. + (fold_builtin_strrchr): Likewise. + (fold_builtin_strpbrk): Likewise. + * fold-const.c (try_move_mult_to_index): Fix spelling/grammer + mistakes. + (fold_to_nonsharp_ineq_using_bound): Merge the two ifs at the end. + (fold_binary): Fix spelling/grammer mistakes. + * tree-ssa-ccp.c (maybe_fold_stmt_addition): Assert that only + a POINTER_PLUS_EXPR is passed in. + * tree-ssa-loop-ivopts.c (determine_base_object): + Fix spelling/grammer mistakes. + * expr.c (expand_expr_real_1): Likewise. + * tree-data-ref.c (split_constant_offset): Likewise. + * c-typeck.c (build_unary_op): Use fold_convert instead of convert + for converting to sizetype. + * tree.def (POINTER_PLUS_EXPR): Fix comment. + * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): + Fix spelling/grammer mistakes. + (phiprop_insert_phi): Likewise. + * c-common.c (pointer_int_sum): Remove FIXME about + POINTER_MINUS_EXPR. + +2007-06-13 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * expr.c (expand_expr_real_1 <case POINTER_PLUS_EXPR>): Remove assert + for checking the modes of the operands are the same. + +2007-06-12 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * config/sparc/sparc.c (sparc_gimplify_va_arg): Use POINTER_PLUS_EXPR + instead of PLUS_EXPR when the operand was a pointer. Don't create a + BIT_AND_EXPR for pointer types. + +2007-06-12 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * config/mips/mips.c (mips_va_start): Use POINTER_PLUS_EXPR + for pointers. + (mips_gimplify_va_arg_expr): Likewise. + Don't create BIT_AND_EXPR in a pointer type. + +2007-06-12 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 125658 + +2007-06-11 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 125611 + +2007-06-07 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * matrix-reorg.c (collect_data_for_malloc_call): Stmt + will now only be either INDIRECT_REF and POINTER_PLUS_EXPR. + Offset only holds something for PLUS_EXPR. + (ssa_accessed_in_tree): Handle POINTER_PLUS_EXPR just as + a PLUS_EXPR. + (analyze_transpose): POINTER_PLUS_EXPR will only show up now + and not PLUS_EXPR. + (analyze_accesses_for_modify_stmt): Likewise. + Remove comment about the type being integral type as it is + wrong now. + (analyze_matrix_accesses): Handle POINTER_PLUS_EXPR as + PLUS_EXPR. + (transform_access_sites): POINTER_PLUS_EXPR will only show up now + and not PLUS_EXPR. + Correct the type which the artimentic is done in (is now + sizetype). + Reindent one loop. + +2007-06-07 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * config/ia64/ia64.c (ia64_gimplify_va_arg): Use + POINTER_PLUS_EXPR for pointers and create the + BIT_AND_EXPR in sizetype. + * config/s390/s390.c (s390_va_start): Use POINTER_PLUS_EXPR + for pointers instead of PLUS_EXPR. + (s390_gimplify_va_arg): Likewise. + +2007-06-07 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * config/frv/frv.c (frv_expand_builtin_va_start): Use sizetype + with make_tree, instead of a pointer type. + * config/pa/pa.c (reloc_needed): Handle POINTER_PLUS_EXPR + as PLUS_EXPR/MINUS_EXPR. + (hppa_gimplify_va_arg_expr): Don't create MINUS_EXPR or + PLUS_EXPR for pointers, instead use POINTER_PLUS_EXPR. + Don't use BIT_AND_EXPR on a pointer type, convert the + expression to sizetype first. + +2007-06-06 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-ssa-forwprop.c + (forward_propagate_addr_into_variable_array_index): + Don't expect a statement for the size 1 case. + Use the offset variable for the size 1 case. + Look through use-def chains to find the mutliply + for the non size 1 case. + (forward_propagate_addr_expr_1): Call + forward_propagate_addr_into_variable_array_index with + the SSA_NAME instead of the statement. + +2007-06-06 Andrew Pinski <andrew_pinski@playstation.sony.com> + + PR tree-opt/32225 + * tree-scalar-evolution.c (follow_ssa_edge_in_rhs <case + POINTER_PLUS_EXPR>): Do not change type_rhs. + (follow_ssa_edge_in_rhs <case POINTER_PLUS_EXPR, case PLUS_EXPR>): + Use the code of the orginal expression instead of just PLUS_EXPR. + Also use type_rhs where TREE_TYPE (rhs) was used (reverting back + to the trunk). + +2007-06-03 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-predcom.c (ref_at_iteration): If we have a pointer + type do the multiplication in sizetype. + +2007-06-01 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 125285 + +2007-05-31 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-vrp.c (extract_range_from_binary_expr): Handle + MIN_EXPR/MAX_EXPR for pointers type. + + PR tree-opt/32167 + * tree-chrec.c (chrec_fold_plus): When either + operand is zero, convert the other operand. + +2007-05-30 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * builtins.c (std_expand_builtin_va_start): Use + sizetype for the call to make_tree and then convert + to the pointer type. + +2007-05-30 Andrew Pinski <andrew_pinski@playstation.sony.com> + + PR tree-op/32145 + * tree-vrp.c (extract_range_from_assert): Create + POINTER_PLUS_EXPR for pointer types. + + PR tree-opt/32144 + * tree-chrec.c (chrec_fold_plus_poly_poly): If the + first chrec is a pointer type, then the second should + be sizetype and not the first's type. + +2007-05-28 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * fold-const.c (try_move_mult_to_index): + Say why we strip the nops. + (fold_unary <case NOP_EXPR>): Remove + TODO as we cannot get that case. + * tree-chrec.c (chrec_fold_plus): + Cleanup the code to chose which + tree code is used. + (chrec_convert_rhs): Add comment on + why the increment is sizetype for + pointers. + * tree-mudflap.c (mf_xform_derefs_1): + Use size_int instead of build_int_cst. + * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Likewise. + +2007-05-21 Andrew Pinski <andrew_pinski@playstation.sony.com> + + PR tree-opt/32015 + * tree.c (build2_stat): Make sure that + MULT_EXPR is not used with pointers. + * tree-chrec.c (chrec_apply): Use chrec_convert_rhs + on the argument x instead of chrec_convert. + +2007-05-20 Kaz Kojima <kkojima@gcc.gnu.org> + + * config/sh/sh.c (sh_va_start): Call make_tree with sizetype + and convert its result to a pointer type. Use POINTER_PLUS_EXPR + for the pointer additions and also use size_int for the offsets. + (sh_gimplify_va_arg_expr): Use POINTER_PLUS_EXPR for the pointer + additions and also use size_int for the offsets. Perform + BIT_AND_EXPR on sizetype arguments. + +2007-05-15 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-ssa-forwprop (forward_propagate_addr_into_variable_array_index): + Don't expect there to be a cast for the index as that + does not exist anymore. + (forward_propagate_addr_expr_1): Check for + POINTER_PLUS_EXPR instead of PLUS_EXPR. + Don't check for the first operand of the + POINTER_PLUS_EXPR was the index as it + cannot be. + +2007-05-15 Richard Guenther <rguenther@suse.de> + + * config/i386/i386.c (ix86_gimplify_va_arg): Use POINTER_PLUS_EXPR, + perform BIT_AND_EXPR on sizetype arguments. + +2007-05-15 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * config/rs6000/rs6000.c (rs6000_va_start): Use POINTER_PLUS_EXPR + instead of PLUS_EXPR for pointer addition. + (rs6000_va_start): Likewise. + Also use sizetype for the offset. + * tree-stdarg.c (va_list_counter_bump): Check for PLUS_EXPR + and POINTER_PLUS_EXPR. + (check_va_list_escapes): Likewise. + +2007-05-14 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * config/i386/i386.c (ix86_va_start): Use POINTER_PLUS_EXPR + for the pointer addition and also use size_int/sizetype + for the offset. + (ix86_gimplify_va_arg): Likewise. + +2007-05-14 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 124657 + * tree-data-ref.c (split_constant_offset): Handle + POINTER_PLUS_EXPR + exactly the same as PLUS_EXPR/MINUS_EXPR except for the offset + needs to be calcuated using PLUS_EXPR instead of + POINTER_PLUS_EXPR. + * builtins.c (fold_builtin_memchr): Use POINTER_PLUS_EXPR + instead of PLUS_EXPR for adding to a pointer. + +2006-05-15 Zdenek Dvorak <dvorakz@suse.cz> + + * tree-ssa-loop-ivopts.c (determine_base_object): Abort for PLUS_EXPR + in pointer type. + +2007-05-12 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-ssa-address.c (tree_mem_ref_addr): When adding + the offset to the base, use POINTER_PLUS_EXPR. + +2007-05-12 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * expr.c (expand_expr_addr_expr_1): Call expand_expr + for the offset with the modifier as EXPAND_INITIALIZER + if the modifier is EXPAND_INITIALIZER. + (expand_expr_real_1 <case INTEGER_CST>): Don't force to + a register if we had an overflow. + +2007-05-10 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 124602. + + * fold-const.c (extract_array_ref): Make sure the offset + is converted to sizetype. + (try_move_mult_to_index): Strip the NOPs from the offset. + (fold_binary <case POINTER_PLUS_EXPR>): Convert the second + operand to sizetype before calling try_move_mult_to_index. + * tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): + For pointer types, use sizetype when + creating MINUS_EXPR/PLUS_EXPRs. + * tree-ssa-ccp.c (maybe_fold_stmt_indirect): Make sure + the offset is converted to sizetype. + +2007-05-11 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * config/spu/spu.c (spu_va_start): Create POINTER_PLUS_EXPR + instead of PLUS_EXPR when doing addition on pointer + types. Use sizetype for the second operand. + (spu_gimplify_va_arg_expr): Likewise. + * tree-ssa.c (tree_ssa_useless_type_conversion_1): + Convert the MIN/MAX of the inner type to the outer + type before comparing them. + +2007-05-09 Andrew Pinski <andrew_pinski@playstation.sony.com> + Zdenek Dvorak <dvorakz@suse.cz> + + * fold-const.c (fold_to_nonsharp_ineq_using_bound): Don't + use a pointer type for MINUS_EXPR. + (fold_binary <case MINUS_EXPR>): Fold (PTR0 p+ A) - (PTR1 p+ B) + into (PTR0 - PTR1) + (A - B). Fold (PTR0 p+ A) - PTR1 into + (PTR0 - PTR1) + A iff (PTR0 - PTR1) simplifies. + * tree-chrec.c (chrec_fold_plus_poly_poly): For + POINTER_PLUS_EXPR, use a different right hand side type. + Handle POINTER_PLUS_EXPR like PLUS_EXPR. + (chrec_fold_plus_1): Likewise. + (convert_affine_scev): Likewise. + (chrec_convert_aggressive): Likewise. + (chrec_fold_plus): For pointer types, use POINTER_PLUS_EXPR + instead of PLUS_EXPR. + (reset_evolution_in_loop): For pointer types, the new_evol + should be sizetype. + (chrec_convert_rhs): New function. + * tree-chrec.h (chrec_convert_rhs): New prototype. + (build_polynomial_chrec): For pointer types, the right hand + side should be sizetype and not the same as the left hand side. + * tree-scalar-evolution.c (add_to_evolution_1): Convert the + increment using chrec_convert_rhs instead of chrec_convert. + (follow_ssa_edge_in_rhs): Handle POINTER_PLUS_EXPR like + PLUS_EXPR except for the right hand side's type will be + sizetype. + (interpret_rhs_modify_stmt): Handle POINTER_PLUS_EXPR. + (fold_used_pointer_cast): Kill. + (pointer_offset_p): Kill. + (fold_used_pointer): Kill. + (pointer_used_p): Kill. + (analyze_scalar_evolution_1 <case GIMPLE_MODIFY_STMT>): Don't + call fold_used_pointer. + (instantiate_parameters_1): Convert the increment + using chrec_convert_rhs instead of chrec_convert. + Handle POINTER_PLUS_EXPR as PLUS_EXPR. + * tree-ssa-loop-niter.c (split_to_var_and_offset): Handle + POINTER_PLUS_EXPR as PLUS_EXPR. + (assert_loop_rolls_lt): For pointer types, use sizetype when + creating MINUS_EXPR/PLUS_EXPRs. + (number_of_iterations_le): Likewise. + (expand_simple_operations): POINTER_PLUS_EXPR are simple also. + (derive_constant_upper_bound): Handle POINTER_PLUS_EXPR just + like PLUS_EXPR and MINUS_EXPR. + * tree-data-ref.c (analyze_offset_expr): Likewise. + (address_analysis): Handle POINTER_PLUS_EXPR as PLUS_EXPR. + (analyze_offset): Handle POINTER_PLUS_EXPR also. + (create_data_ref): Convert the increment + using chrec_convert_rhs instead of chrec_convert. + * tree-vect-transform.c (vect_update_ivs_after_vectorizer): + For pointer types, create POINTER_PLUS_EXPR instead of + PLUS_EXPR and also create MULT_EXPR in sizetype. + +2007-05-07 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * builtins.c (std_gimplify_va_arg_expr): Use fold_build2 for + the creating of POINTER_PLUS_EXPR. For the BIT_AND_EXPR, cast + the operands to sizetype first and then cast the BIT_AND_EXPR + back to the pointer type. + * tree-ssa-address.c (create_mem_ref): Create A + POINTER_PLUS_EXPR for one case. + * tree.c (const_hash_1): Handle POINTER_PLUS_EXPR same as + PLUS_EXPR. + (compare_constant): Likewise. + (copy_constant): Likewise. + (compute_reloc_for_constant): Likewise. + (output_addressed_constants): Likewise. + +2007-05-07 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree.def (POINTER_PLUS_EXPR): The second operand + is of type sizetype and not ssizetype. + * doc/c-tree.texi (POINTER_PLUS_EXPR): Document. + +2007-05-06 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-mudflap.c (mf_xform_derefs_1 <case BIT_FIELD_REF>): + Add a conversion of ofs to sizetype. + (mf_decl_eligible_p): Reformat for length issues. + (mf_xform_derefs_1): Likewise. + +2007-05-06 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree.c (build2_stat): Check to make sure the + second operand is compatiable with sizetype. + +2007-05-06 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-cfg.c (verify_expr): Change error + message about sizetype to be correct. + +2007-05-06 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 124478. + * fold-const.c (fold_unary): Handle for (T1)(X op Y), + only p+ as that is the only as that can be handled for + binary operators now. Add a TODO for non pointer type + op's. + * gimplifier.c (gimplify_expr): Don't special case + PLUS_EXPR. Special case POINTER_PLUS_EXPR instead, + remove check for pointer type as it will always be + a pointer type now. + +2007-05-04 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-vrp.c (extract_range_from_binary_expr): Handle + POINTER_PLUS_EXPRs. Assert POINTER_PLUS_EXPR is + the only expression for pointer types. + * tree-vect-transform.c (vect_gen_niters_for_prolog_loop): + Add a cast when creating byte_misalign. + +2007-05-04 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * fold-const.c (fold_binary <case POINTER_PLUS_EXPR>); + Add comment on why you get INT +p INT. + (fold_binary <case PLUS_EXPR>): Add folding of PTR+INT into + PTR p+ INT. + * dwarf2out.c (loc_descriptor_from_tree_1): + Handle POINT_PLUS_EXPR as a PLUS_EXPR. + +2007-05-04 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree-vrp.c (compare_values_warnv): Convert val2 to + the type of val1. + * fold-const.c (extract_array_ref): Look for + POINTER_PLUS_EXPR instead of PLUS_EXPR's. + * tree-ssa-ccp.c (maybe_fold_stmt_indirect): Likewise. + +2007-05-02 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * c-format.c (check_format_arg): Handle POINTER_PLUS_EXPR + instead of PLUS_EXPR of pointer types. + +2007-05-02 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * fold-const.c (try_move_mult_to_index): Remove code argument + and replace all uses with PLUS_EXPR. + (fold_binary <case POINTER_PLUS_EXR>): Remove code argument. + (fold_binary <case PLUS_EXPR>): Don't call try_move_mult_to_index. + (fold_binary <case MINUS_EXPR>): Likewise. + * tree-ssa-ccp.c (maybe_fold_stmt_indirect): Remove subtraction + case as it is always addition now. + (fold_stmt_r): Don't handle PLUS_EXPR/MINUS_EXPR specially. + Handle POINTER_PLUS_EXPR like PLUS_EXPR was handled before. + +2007-05-01 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 124343. + * tree-vect-transform.c (bump_vector_ptr): Create a POINTER_PLUS_EXPR + instead of PLUS_EXPR for the pointer increment statement. + * expr.c (expand_expr_real_1): Add FIXME/assert for the unhandle case + where the modes of the two operands are different. + +2007-02-25 Andrew Pinski <andrew_pinski@playstation.sony.com> + + Merge mainline, revision 122323. + +2006-12-14 Zdenek Dvorak <dvorakz@suse.cz> + + Merge mainline, revision 119860. + +2006-11-23 Andrew Pinski <andrew_pinski@playstation.sony.com> + + * tree.def (POINTER_PLUS_EXPR): New tree code. + * tree-pretty-print.c (dump_generic_node): Handle + POINTER_PLUS_EXPR. + (op_prio): Likewise. + (op_symbol_1): Likewise. + * optabs.c (optab_for_tree_code): Likewise. + * tree-ssa-loop-manip.c (create_iv): Handle pointer base + specially. + * tree-tailcall.c (process_assignment): Mention + POINTER_PLUS_EXPR in a TODO comment. + * tree.c (build2_stat): Assert when trying to use PLUS_EXPR or + MINUS_EXPR with a pointer. Also assert for POINTER_PLUS_EXPR + not used with a pointer and an integer type. + * tree-scalar-evolution.c (fold_used_pointer): Mention + POINTER_PLUS_EXPR is what this needs to handle. + * builtins.c (get_pointer_alignment): Handle POINTER_PLUS_EXPR + instead of PLUS_EXPR. + (expand_builtin_strcat): Create a POINTER_PLUS_EXPR instead of + PLUS_EXPR for pointers. + (std_gimplify_va_arg_expr): Likewise. + (fold_builtin_memory_op): Likewise. + (fold_builtin_strstr): Likewise. + (fold_builtin_strchr): Likewise. + (fold_builtin_strrchr): Likewise. + (fold_builtin_strpbrk): Likewise. + (expand_builtin_memory_chk): Likewise. + (fold_builtin_memory_chk): Likewise. + * fold-const.c (build_range_check): Handle pointer types + specially. + (fold_to_nonsharp_ineq_using_bound): Likewise. + (fold_binary): Handle simple POINTER_PLUS_EXPR cases. + (tree_expr_nonnegative_p): Handle POINTER_PLUS_EXPR. + (tree_expr_nonzero_p): Likewise. + (fold_indirect_ref_1): Look at POINTER_PLUS_EXPR instead + of PLUS_EXPR for the complex expression folding. + * tree-ssa-loop-ivopts.c (determine_base_object): Handle + POINTER_PLUS_EXPR. + (tree_to_aff_combination): Likewise. + (force_expr_to_var_cost): Likewise. + (force_expr_to_var_cost): Likewise. Create a POINTER_PLUS_EXPR + instead of PLUS_EXPR for pointers. + * c-format.c (check_format_arg): Mention this should be handling + POINTER_PLUS_EXPR. + * tree-stdarg.c (va_list_counter_bump): Handle POINTER_PLUS_EXPR + instead of PLUS_EXPR. + (check_va_list_escapes): Likewise. + (check_all_va_list_escapes): Likewise. + * expr.c (expand_expr_real_1): Handle POINTER_PLUS_EXPR. + (string_constant): Likewise. + * tree-ssa-address.c (add_to_parts): Create a POINTER_PLUS_EXPR + instead of PLUS_EXPR for pointers. + (most_expensive_mult_to_index): Likewise. + (addr_to_parts): Use the correct type for the index. + * c-typeck.c (build_unary_op): For pointers create the increment + as a sizetype. Create a POINTER_PLUS_EXPR instead of PLUS_EXPR + for pointers. + * gimplify.c (gimplify_self_mod_expr): Create a + POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers. + (gimplify_omp_atomic_fetch_op): Handle POINTER_PLUS_EXPR. + * tree-mudflap.c (mf_xform_derefs_1): Create a + POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers. + * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Add a + note this should be handling POINTER_PLUS_EXPR. + * varasm.c (initializer_constant_valid_p): Handle + POINTER_PLUS_EXPR. + * tree-ssa-loop-prefetch.c (idx_analyze_ref): Handle + POINTER_PLUS_EXPR instead of PLUS_EXPR. + (issue_prefetch_ref): Create a POINTER_PLUS_EXPR instead + of PLUS_EXPR for pointers. + * tree-vect-transform.c (vect_create_addr_base_for_vector_ref): + Likewise. + * tree-inline.c (estimate_num_insns_1): Handle + POINTER_PLUS_EXPR. + * tree-object-size.c (plus_expr_object_size): Handle + POINTER_PLUS_EXPR instead of PLUS_EXPR. Removing all the extra + code which is trying to figure out which side is a pointer and + is the index. + (check_for_plus_in_loops_1): Likewise. + (check_for_plus_in_loops): Likewise. + * c-common.c (pointer_int_sum): Create a + POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers. + * tree-ssa-structalias.c (handle_ptr_arith): Handle + only POINTER_PLUS_EXPR. Removing all the extra + code which is trying to figure out which side is a pointer and + is the index. + * tree-cfg.c (verify_expr): Add extra checking for pointers and + PLUS_EXPR and MINUS_EXPR. + Also add checking to make sure the operands of POINTER_PLUS_EXPR + are correct. + + |