re PR target/18444 (Multithreading broken on Unix95-class platforms)

PR target/18444
* configure.ac (threading): Accept 'posix95'.
* configure: Regenerate.

From-SVN: r91042

re PR target/18444 (Multithreading broken on Unix95-class platforms)

PR target/18444
* configure.ac (threading): Accept 'posix95'.
* configure: Regenerate.
* config.gcc (i[34567]86-*-solaris2*): On Solaris up to 2.6,
include sol26.h and default to posix95 threads if have_pthread_h.
(sparc-*-solaris2*): Likewise.
* gthr.h: Include gthr-posix95.h if _PTHREADS95 is defined.
* gthr-posix95.h: New file.
* config/sol26.h: New file.
* doc/install.texi (--enable-threads): Document 'posix95'.

From-SVN: r91041

pointer-set.h (pointer_set_contains): Remove.

* pointer-set.h (pointer_set_contains): Remove.
* pointer-set.c (pointer_set_contains): Likewise.

From-SVN: r91040

tree-ssa.c (ssa_remove_edge): Remove.

* tree-ssa.c (ssa_remove_edge): Remove.
* tree-flow.h: Remove the corresponding prototype.
* tree-cfg.c: Replace ssa_remove_edge with remove_edge.
* basic-block.h: Likewise.
* tree-if-conv.c: Likewise.
* tree-ssa-threadupdate.c: Likewise.

From-SVN: r91039

calls.c (expand_call): Do not call preserve_temp_slots.

2004-11-22  Dale Johannesen  <dalej@apple.com>

        * calls.c (expand_call): Do not call preserve_temp_slots.

From-SVN: r91038

tree-phinodes.c (remove_phi_arg_num): Make it static.

* tree-phinodes.c (remove_phi_arg_num): Make it static.
* tree-flow.h: Remove the corresponding prototype.

From-SVN: r91037

tree-cfg.c (tree_execute_on_shrinking_pred): New.

* tree-cfg.c (tree_execute_on_shrinking_pred): New.
(tree_cfg_hooks): Use it.
* tree-ssa.c (ssa_remove_edge): Don't call remove_phi_args.
(ssa_redirect_edge): Don't call remove_phi_arg_num.

From-SVN: r91036

cfg.c (unchecked_make_edge): Call execute_on_growing_pred after making an edge.

* cfg.c (unchecked_make_edge): Call execute_on_growing_pred
after making an edge.
(remove_edge): Call execute_on_shrinking_pred before removing
an edge.
(redirect_edge_succ): Call execute_on_growing_pred and
execute_on_shrinking_pred.
* cfghooks.c (execute_on_growing_pred): New.
(execute_on_shrinking_pred): Likewise.
* cfghooks.h (cfg_hooks): Add execute_on_growing_pred and
execute_on_shrinking_pred.
Add prototypes for execute_on_growing_pred and
execute_on_shrinking_pred.
* cfgrtl.c (rtl_cfg_hooks): Add NULL hooks to
execute_on_growing_pred and execute_on_shrinking_pred.
(cfg_layout_rtl_cfg_hook): Likewise.
* tree-cfg.c (tree_cfg_hooks): Likewise.

From-SVN: r91035

tree-flow.h: Remove the prototype for remove_phi_arg.

* tree-flow.h: Remove the prototype for remove_phi_arg.
Add a prototype for remove_phi_args.
* tree-phinodes.c (remove_phi_arg): Remove.
(remove_phi_args): New.
* tree-ssa.c (ssa_remove_edge): Call remove_phi_args instead
of remove_phi_arg.

From-SVN: r91034

cfg.texi (Maintaining the CFG): Use @ftable instead of @table to list the BSI methods.

* doc/cfg.texi (Maintaining the CFG): Use @ftable instead of
@table to list the BSI methods.  Use individual @findex directives
instead of one with a comma-separated list of index entries.

From-SVN: r91033

re PR tree-optimization/18529 (When the lower bound of a loop is non-constant we cannot find the number of iterations)

PR tree-optimization/18529
* fold-const.c (fold_to_nonsharp_ineq_using_bound): New function.
(simple_operand_p): Use STRIP_NOPS.  Consider SSA names simple.
(fold): Call fold_to_nonsharp_ineq_using_bound.
* tree-ssa-loop-niter.c (simplify_replace_tree): New function.
(number_of_iterations_cond): Fold the expressions before futher
processing.
(tree_simplify_using_condition): Handle case when cond or expr is
an EQ_EXPR specially.

From-SVN: r91031

2004-11-22  Michael Koch  <konqueror@gmx.de>

* gnu/java/nio/SocketChannelImpl.java
(read): Made check for blocking un-ambiguous.
Removed wrong check for data array length.

From-SVN: r91028

fixed some missed bits in the last commit.

From-SVN: r91027

tree-ssa.c (verify_ssa): SSA_OP_ALL_USES should be SSA_OP_ALL_USES | SSA_OP_ALL_KILLS for verification...

2004-11-22 Daniel Berlin  <dberlin@dberlin.org>

        * tree-ssa.c (verify_ssa): SSA_OP_ALL_USES should be
SSA_OP_ALL_USES | SSA_OP_ALL_KILLS for verification purposes.

From-SVN: r91026

rs6000.c (rs6000_return_in_memory): Test TARGET_ALTIVEC_ABI.

2004-11-22  David Edelsohn  <edelsohn@gnu.org>
    Fariborz Jahanian  <fjahanian@apple.com>

* config/rs6000/rs6000.c (rs6000_return_in_memory): Test
TARGET_ALTIVEC_ABI.
(function_arg_boundary): Align 8 to 16 byte vectors like SPE.
Align 16 byte and larger vectors like Altivec.
(function_arg_advance): Pass any 16 byte vector like Altivec vector.
(function_arg): Same.
(rs6000_pass_by_references): Test TARGET_ALTIVEC_ABI.

Co-Authored-By: Fariborz Jahanian <fjahanian@apple.com>
From-SVN: r91025

re PR tree-optimization/18572 (Bus error compiling makegpr.adb on Mac OS X 10.3)

2004-11-22  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/18572
        * tree-sra.c (scalarize_init): Unshare the rhs before gimplifying
        it.

From-SVN: r91024

function.c (assign_parm_setup_block): Revert 11-13 change to forcably re-mode a (possibly BLKmode) hard register.

        * function.c (assign_parm_setup_block): Revert 11-13 change to
        forcably re-mode a (possibly BLKmode) hard register.

From-SVN: r91023

ffi.c (ffi_prep_closure): Align doubles and 64-bit integers on a 8-byte boundary.

* src/sparc/ffi.c (ffi_prep_closure): Align doubles and 64-bit integers
on a 8-byte boundary.
* src/sparc/v8.S (ffi_closure_v8): Reserve frame space for
arguments.

From-SVN: r91022

* config/sparc/sparc.c (mem_min_alignment): Check MEM_ALIGN.

From-SVN: r91021

power4.md: Remove delay between dispatch and issue associated with dispatch group slots 3...

* config/rs6000/power4.md: Remove delay between dispatch and issue
associated with dispatch group slots 3 and 4.
* config/rs6000/power5.md: Same.

From-SVN: r91020

cfg.c (cached_make_edge): Use find_edge rather than an inlined variant.

        * cfg.c (cached_make_edge): Use find_edge rather than an inlined
        variant.
        * cfgbuild.c (make_edges): Likewise.
        * cfghooks.c (can_duplicate_block_p): Likewise.
        * cfgloop.c (loop_latch_edge): Likewise.
        * cfgloopmanip.c (force_single_succ_latches): Likewise.
        * cfgrtl.c (rtl_flow_call_edges_add): Likewise.
        * predict.c (predict_loops, propagate_freq): Likewise.
        * tracer.c (tail_duplicate): Likewise.
        * tree-cfg.c (disband_implicit_edges): Likewise.
        (tree_forwarder_block_p, tree_flow_call_edges_add): Likewise.

From-SVN: r91019

Fixing the testc case.

From-SVN: r91018

sbitmap.c (sbitmap_union_of_preds): Remove redundant initialisation of 'e'.

From-SVN: r91017

re PR rtl-optimization/18599 (Quadratic behavior in copyprop_hardreg_forward)

PR rtl-optimization/18599
* regrename.c (copyprop_hardreg_forward): Speed up by putting
BB_VISITED flags on basic blocks as we process them.

From-SVN: r91016

altivec.md (VI_char): New mode attribute.

* config/rs6000/altivec.md (VI_char): New mode attribute.
(addv16qi3, addv8hi3, addv4ai3): Replace with ...
(add<mode>3): ... this.
(subv16qi3, subv8hi3, subv4ai3): Replace with ...
(sub<mode>3): ... this.
(smaxv16qi3, smaxv8hi3, smaxv4ai3): Replace with ...
(smax<mode>3): ... this.
(sminv16qi3, sminv8hi3, sminv4ai3): Replace with ...
(smin<mode>3): ... this.
(umaxv16qi3, umaxv8hi3, umaxv4ai3): Replace with ...
(umax<mode>3): ... this.
(uminv16qi3, uminv8hi3, uminv4ai3): Replace with ...
(umin<mode>3): ... this.
(andv16qi3, andv8hi3, andv4ai3): Replace with ...
(and<mode>3): ... this.
(iorv16qi3, iorv8hi3, iorv4ai3): Replace with ...
(ior<mode>3): ... this.
(xorv16qi3, xorv8hi3, xorv4ai3): Replace with ...
(xor<mode>3): ... this.
(andv16qi3, andv8hi3, andv4ai3): Replace with ...
(and<mode>3): ... this.
(iorv16qi3, iorv8hi3, iorv4ai3): Replace with ...
(ior<mode>3): ... this.
(altivec_vnor): Replace with ...
(altivec_nor<mode>): ... this.
(one_cmplv16qi2, one_cmplv8hi2, one_complv4ai2): Replace with ...
(one_cmpl<mode>2): ... this.
(altivec_vandc): New expander.
(*andc<mode>3): New insn.
* config/rs6000/rs6000.c (bdesc_2arg): Adjust for new insn names.

From-SVN: r91015

re PR tree-optimization/18536 (ICE: in emit_move_insn, at expr.c:2590 with -ftree-vectorize -msse2)

        PR tree-opt/18536
        * tree-vectorizer.c (make_loop_iterate_ntimes): Use type of niters when
        creating iv instead of integer_type.
        (vect_build_loop_niters): Remove redundant code.
        (vect_transform_loop_bound): Removed (duplicates functionality of
        make_loop_iterate_ntimes.
        (vect_gen_niters_for_prolog_loop): Add documentation. Call
        lang_hooks.types.type_for_size to create a type of the required size.
        Use that type instead of integer_type. Remove redundant code.
        (vect_update_niters_after_peeling): Use type of niters instead of
        integer_type.
        (vect_transform_loop): Unify handling of known and unknown loop bound
        cases. Call make_loop_iterate_ntimes instead of
        vect_transform_loop_bound.

From-SVN: r91014

re PR ada/17986 (Compile error for make.adb breaks bootstrap)

2004-11-22  Andrew Pinski  <pinskia@physics.uc.edu>

        PR ada/17986
        * ada-tree.h (lang_tree_node): Set chain_next to be the chain of the
        tree.

From-SVN: r91013

re PR target/18217 (Ada Bootstrap failures on powerpc-darwin with undefined symbol (__Unwind_fallback_frame_state_for))

2004-11-22  Andrew Pinski  <pinskia@physics.uc.edu>

        PR target/18217
        * config/rs6000/t-darwin (LIB2FUNCS_EXTRA): Move darwin-fallback.c to
        (LIB2ADDEH): Here.

From-SVN: r91012

re PR tree-optimization/18544 (ICE with -ftree-vectorize)

PR tree-opt/18544
        * tree-vectorizer.c (vect_analyze_data_refs): Fail if memtag not found.

From-SVN: r91011

onfig.gcc: Use t-slibgcc-elf to build libgcc_s.so on m32r*linux.

config/m32r/t-linux (SHLIB_MAPFILES): Override to use m32r/libgcc-glibc.ver.
config/m32r/libgcc-glibc.ver: Add New file.

From-SVN: r91010

bitmap.h (struct bitmap_obstack): New obstack type.

* bitmap.h (struct bitmap_obstack): New obstack type.
(struct bitmap_head_def): Replace using_obstack with obstack
pointer.
(bitmap_default_obstack): New.
(bitmap_initialize): Make inline, does not do allocation.
(bitmap_release_memory): Remove.
(bitmap_obstack_initialize, bitmap_obstack_release): Declare.
(bitmap_obstack_alloc, bitmap_malloc_alloc, bitmap_gc_alloc,
bitmap_obstack_free, bitmap_malloc_free): Declare.
(BITMAP_OBSTACK_ALLOC, BITMAP_GGC_ALLOC, BITMAP_XMALLOC): Adjust.
(BITMAP_FREE): Replace with ...
(BITMAP_OBSTACK_FREE): ... this.
(BITMAP_XFREE): Adjust.
(BITMAP_INIT_ONCE): Remove.
* bitmap.c (bitmap_obstack, bitmap_obstack_init, bitmap_free: Remove.
(bitmap_default_obstack): New.
(bitmap_elem_to_freelist): Adjust.
(bitmap_element_allocate): Adjust. Break initialization into ...
(bitmap_obstack_initialize): ... here.
(bitmap_release_memory): Replace with ...
(bitmap_obstack_release): ... this.
(bitmap_obstack_alloc, bitmap_malloc_alloc, bitmap_gc_alloc,
bitmap_obstack_free, bitmap_malloc_free): New.
(bitmap_ior_and_compl, bitmap_ior_and_compl_into): Use
bitmap_initialize.
(bitmap_initialize): Move to bitmap.h.
* gengtype.c (open_base_files): Add obstack.h to ifiles.
* Makefile.in (BASIC_BLOCK_H, REGS_H): Add obstack.h.
* basic-block.h (INIT_REG_SET): Allocate from reg_obstack.
(INITIALIZE_REG_SET): Remove.
(FREE_REG_SET): Use BITMAP_OBSTACK_FREE.
(INIT_ONCE_REG_SET, MAX_REGNO_REG_SET): Remove.
(flow_obstack): Do not declare.
(reg_obstack): Declare.
* regs.h: Include obstack.h.
* tree-optimize.c (tree_rest_of_compilation): Initialize and
release bitmap obstack here.
* bb-reorder.c: #include regs, not basic-block.
(fix_crossing_conditional_branches): Allocate regsets from
reg_obstack.
* bt-load.c: Do not inlude bitmap.h, sbitmap.h, basic-block.h or
obstack.h.
* caller-save.c: Include regs.h earlier.
* cfg.c: Do not include basic-block.h or obstack.h.
(reg_obstack): Define.
* cfganal.c: Include obstack.h
* cfgcleanyp.c: Do not include basic-block.h. Include regs.h
earlier.
* cfglayout.c: Do not include obstack.h.
(flow_obstack): Remove declaration.
(cfg_layout_duplicate_bb): Use reg_obstack.
* cfgloop.c, cfgloopanal.c, cfgloopmanip.c: Include obstack.h.
* cfgrtl.c (rtl_split_block): Use reg_obstack.
(force_nonfallthru_and_redirect, rtl_split_edge): Likewise.
(safe_insert_insn_on_edge): Use OBSTACK_ALLOC_REG_SET, adjust.
(cfg_layout_split_edge): Use reg_obstack.
* cse.c: Include regs.h earlier.
* ddg.c: Do not include basic-block.h.
* dominance.c: Inlude obstack.h.
* flow.c (update_life_info): Use OBSTACK_ALLOC_REG_SET, adjust.
(calculate_global_regs_live): Likewise.
(allocate_bb_life_data): Use reg_obstack.
(init_propagate_block_info): Use OBSTACK_ALLOC_REGSET.
* global.c: Do not include basic-block.h.
(build_insn_chain): Use OBSTACK_ALLOC_REG_SET, adjust.
* graph.c: Include obstack.h.
* haifa-sched.c: Do not include basic-block.h.
* ifcvt.c: Use OBSTACK_ALLOC_REG_SET, adjust.
* local-alloc.c: Do not include basic-block.h.
* loop-init.c, loop-invariant.c: Include obstack.h.
* loop-iv.c: Likewise.
(simplify_using_initial_values): Use OBSTACK_ALLOC_REG_SET,
adjust.
* loop-unroll.c, loop-unswitch.c: Inlude obstack.h.
* modulo-sched.c: Do not include basic-block.h.
* passes.c (rest_of_handle_final): Do not call
regset_release_memory.
* ra-debug.c: Include regs.h earlier. Do not include
basic-block.h.
* recog.c (peephole2_optimize): Use OBSTACK_ALLOC_REG_SET, adjust.
* regclass.c (init_reg_sets): Do not call INIT_ONCE_REG_SET.
(allocate_reg_info): Do not call MAX_REGNO_REG_SET.
(regset_release_memory): Remove.
* resource.c: Do not include basic-block.h.
* rtlanal.c: Do not include basic-block.h.
* sbitmap.c: Include obstack.h.
* sched-deps.c: Do not include basic-block.h.
(reg_pending_sets_head, reg_pending_clobbers_head,
reg_pending_uses_head): Remove.
(init_deps_global): Use OBSTACK_ALLOC_REG_SET.
* sched-ebb.c: Do not include basic-block.h.
* sched-rgn.c: Likewise.
* tree-if-conv.c (get_loop_body_in_if_conv_order): Use
BITMAP_XFREE.
* tree-outof-ssa.c (perform_edge_inserts): Use BITMAP_XFREE.
* tree-sra.c (decide_instantiations): Adjust bitmap
initialization.
* tree-ssa-dce.c: Include obstack.h.
* tree-ssa-pre.c (grand_bitmap_obstack): Make a bitmap_obstack.
(value_insert_into_set_bitmap): Remove useless bitmap_clear.
(bitmap_set_new): Likewise.
(init_pre): Initialize bitmap obstack.
(fini_pre): Release bitmap obstack.
* tree-ssanames.c (ssa_names_to_rewrite): Make static.
(marked_for_rewrite_p): ssa_names_to_rewrite is never NULL.
(mark_for_rewrite, unmark_for_rewrite): Likewise.
(marked_ssa_names): Likewise.
(init_ssanames): Use BITMAP_XMALLOC.
(fini_ssanames): Use BITMAP_XFREE.
* web.c: Include obstack.h

From-SVN: r91009

re PR c++/18354 (expression "+1" not considered constant (as template parameter).)

PR c++/18354
* typeck.c (build_unary_op) <CONVERT_EXPR, NEGATE_EXPR>: Unify code.
Make sure the result is always a rvalue.

PR c++/18354
* g++.dg/template/nontype11.C: New test.

From-SVN: r91008

sbitmap.c (sbitmap_union_of_preds): Set 'e' to the next edge predecessor in the first for-loop.

* sbitmap.c (sbitmap_union_of_preds): Set 'e' to the next edge predecessor in
the first for-loop.

From-SVN: r91007

better line breaks

From-SVN: r91004

rs6000.c: (rs6000_darwin64_function_arg): Add UNION_TYPE case.

        * config/rs6000/rs6000.c: (rs6000_darwin64_function_arg): Add UNION_TYPE case.
        (function_arg): Move darwin test up, sniff mode first for efficiency, test
        for union type.

From-SVN: r91003

darwin.h (JUMP_TABLES_IN_TEXT_SECTION): Define.

2004-11-21  Dale Johannesen  <dalej@apple.com>

        * config/darwin.h (JUMP_TABLES_IN_TEXT_SECTION):  Define.

From-SVN: r91001

tree-ssa.c (verify_use): Fix comment.

* tree-ssa.c (verify_use): Fix comment.
(verify_phi_args): Check that the number of incoming edges matches
the number of PHI arguments.  Check that each PHI argument is
either an SSA_NAME or an invariant.  Coalesce tests for PHIs for
dead or duplicated edges.  Clear e->aux earlier and avoid separate
loop to clear e->aux and test for missed edges.
(verify_ssa): Remove first walk over statements.  Move checking
of PHI args into verify_phi_args.  Move checking of statements
with aliased stores and V_MAY_DEFS into the remaining loop over
the statements.  Register defs by walking through the formal
SSA_NAME table.

From-SVN: r91000

Add Paolo Bonzini to vector ChangeLog.

From-SVN: r90999

re PR middle-end/18520 (ICE in emit_store_flag, at expmed.c:5081with -ffast-math)

PR middle-end/18520
* dojump.c (compare_from_rtx): Clarify mode argument in function
description.  Correct order of mode/cmp_mode arguments in call to
simplify_relational_operation.  Check "tem" for COMPARISON_P.

* gcc.dg/pr18520-1.c: New test case.

From-SVN: r90997

re PR target/17836 (ABI breakage for 16-byte vectors (non-Altivec ABI & ISA))

        PR target/17836
        * config/rs6000/rs6000.c (rs6000_return_in_memory): Return
        synthetic vectors in memory.
        (function_arg_boundary): Align large synthetic vectors.
        (rs6000_pass_by_reference): Pass synthetic vectors in memory.

From-SVN: r90995

Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r90993.2

Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r90992.2

inclhack.def (alpha_pthread_init): Fix technical problems with the last check-in caused by CVS variable substitution.

* inclhack.def (alpha_pthread_init): Fix technical problems with
the last check-in caused by CVS variable substitution.
* fixincl.x: Likewise.
* tests/base/pthread.h: Likewise.

From-SVN: r90989

Move from root of repository to intented place.

From-SVN: r90988

cfg.c (update_bb_profile_for_threading): Do not rescale the successor probabilities if they are not going to change.

        * cfg.c (update_bb_profile_for_threading): Do not rescale the
        successor probabilities if they are not going to change.  Pull
        division out of loop if we do need to rescale successor probabilities.

From-SVN: r90987

2004-11-21  Michael Koch  <konqueror@gmx.de>

* gnu/java/nio/SocketChannelImpl.java
(read): Only return 0 when no bytes for reading available in
non-blocking mode.
* java/nio/channels/SocketChannel.java:
Added some missing @return tags.

From-SVN: r90986

stylesw.adb: Change Style_Check_Subprogram_Order to Style_Check_Order_Subprograms.

* stylesw.adb: Change Style_Check_Subprogram_Order to
Style_Check_Order_Subprograms.

From-SVN: r90985

2004-11-21  Michael Koch  <konqueror@gmx.de>

* java/beans/PropertyChangeSupport.java
(propertyChangeSupportSerializedDataVersion): Made static.
* java/beans/VetoableChangeSupport.java
(propertyChangeSupportSerializedDataVersion): Likewise.

From-SVN: r90983

inclhack.def (alpha_pthread_init): New fix.

* inclhack.def (alpha_pthread_init): New fix.
* fixincl.x: Regenerate.
* tests/base/pthread.h: Update for new test.

Co-Authored-By: Bruce Korb <bkorb@gnu.org>
From-SVN: r90981

tree-ssa-threadupdate.c (redirection_data_hash): Use the index of the destination block for the hash value rather than hashing a...

        * tree-ssa-threadupdate.c (redirection_data_hash): Use the
        index of the destination block for the hash value rather than
        hashing a pointer.

From-SVN: r90980

basic_string.h, [...]: Doxygen fixes.

2004-11-19  Jonathan Wakely  <redi@gcc.gnu.org>

* include/bits/basic_string.h, include/bits/locale_classes.h,
include/bits/valarray_after.h, include/bits/valarray_before.h,
include/ext/stdio_sync_filebuf.h, include/std/std_algorithm.h,
include/std/std_functional.h, include/std/std_memory.h,
include/std/std_numeric.h: Doxygen fixes.

From-SVN: r90979

* io/write.c (write_float, list_formatted_write): Fix indentation.

From-SVN: r90975

Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r90973.2

Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r90972.2

c-typeck.c (build_array_ref): Don't check for index == 0.

* c-typeck.c (build_array_ref): Don't check for index == 0.  Make
checks for neither argument being an array or pointer (swapping
the arguments if necessary), the array argument being a pointer to
or array of functions and for -Wchar-subscripts warnings upfront.

testsuite:
* gcc.dg/Wchar-subscripts-1.c, gcc.dg/array-8.c: New tests.
* gcc.dg/pointer-arith-1.c, gcc.dg/pointer-arith-2.c,
gcc.dg/pointer-arith-3.c, gcc.dg/pointer-arith-4.c: Update
expected diagnostics.

From-SVN: r90969

regrename.c (copyprop_hardreg_forward): Only search for a previously processed block if...

        * regrename.c (copyprop_hardreg_forward): Only search for a
        previously processed block if the current block only has one
        predecessor.

From-SVN: r90968

re PR target/18580 (vectorizer failures (max, unaligned))

PR target/18580
* gcc.dg/vect/vect-13.c, vect-27.c, vect-27a.c, vect-29.c,
vect-29a.c, vect-48a.c, vect-56a.c, vect-72.c, vect-72a.c,
vect-77.c, vect-77a.c: XFAIL on the SPARC.

From-SVN: r90967

Move Jeff's change to the correct place right Before Kazu's part1 of O(1) PHI
node change.

From-SVN: r90966

* gcc.dg/vect/vect.exp (sparc*-*-*): Fix a couple of nits.

From-SVN: r90965

re PR libfortran/16135 (libfortran doesn't build, use of C99 types)

PR target/16135
* acinclude.m4 (LIBGFOR_TARGET_ILP32): New check.
* configure.ac: Include LIBGFOR_TARGET_ILP32.
* configure: Regenerate.
* config.h.in: Likewise.
* libgfortran.h: Provide default definitions for C99 types
on ILP32 targets that don't have them.

PR target/17999
* configure.ac: Check for snprintf.
* configure: Regenerate.
* config.h.in: Likewise.
* intrinsics/date_and_time.c (date_and_time): Do not
use snprinf if it is not available.
* io/write.c (output_float): Likewise.

From-SVN: r90964

tree-ssa-threadupdate.c, [...]: Fix comment typos.

* tree-ssa-threadupdate.c, tree-vectorizer.c: Fix comment
typos.
* config/arm/arm.c: Follow spelling conventions.

From-SVN: r90963

arm.c (arm_override_options): Use arm_ld_sched rather than testing a bit in tune_flags.

* arm.c (arm_override_options): Use arm_ld_sched rather than testing
a bit in tune_flags.
(const_double_needs_minipool): Likewise.  Split most of the code out
into ...
(arm_const_double_inline_cost): ... new function here.
* arm-protos.h (arm_const_double_inline_cost): Add prototype.
* arm.h (EXTRA_CONSTRAINT_STR_ARM): Add D[abc] constraints for double-
word constants of length 2, 3 and 4 insns respectively.
(CONSTRAINT_LEN): The 'D' prefix is a 2-letter constraint.
* arm.md (arm_movdi, movdf_soft_insn): Add alternatives for D[abc]
constraints.  Set insn lenghts accordingly.

From-SVN: r90962

gcc_update (touch_files): Don't rely on "make" being GNU make...

* gcc_update (touch_files): Don't rely on "make" being GNU make;
grep for "Touching" to determine that the rule executes.

From-SVN: r90961

change typo in last commit to simplify-rtx.c

From-SVN: r90959

basic-block.h (edge_def): Add dest_idx.

* basic-block.h (edge_def): Add dest_idx.
* cfg.c (unchecked_make_edge): Initialize dest_idx.
(remove_edge): Simplify the disconnection of an edge from its
destination.
(redirect_edge_succ): Likewise.
* cfghooks.c (verify_flow_info): Check the consistency of
dest_idx for each edge.

From-SVN: r90958

objalloc.c, [...]: Include "config.h" before "ansidecl.h" to avoid redeclaration errors with...

* objalloc.c, strsignal.c, xstrerror.c: Include "config.h" before
"ansidecl.h" to avoid redeclaration errors with native compilers.
* regex.c: Protect config.h from multiple inclusion.

From-SVN: r90954

Really regenerate Makefile.in.

From-SVN: r90950

check.c (gfc_check_getcwd_sub): Fix seg fault.

* check.c (gfc_check_getcwd_sub): Fix seg fault.

* check.c (gfc_check_exit,gfc_check_umask,gfc_check_umask_sub,
gfc_check_unlink,gfc_check_unlink_sub): New functions
* gfortran.h (GFC_ISYM_UMASK,GFC_ISYM_UNLINK): New symbols
* intrinsic.c (add_functions,add_subroutines): Add umask, unlink,
exit to intrinsics symbol tables.
* intrinsic.h (gfc_check_umask,gfc_check_unlink,gfc_check_exit,
gfc_check_umask_sub,gfc_check_unlink_sub,gfc_resolve_umask,
gfc_resolve_unlink,gfc_resolve_exit,gfc_resolve_umask_sub,
gfc_resolve_unlink_sub): Add and sort prototypes.
* iresolve.c (gfc_resolve_umask,gfc_resolve_unlink,gfc_resolve_exit,
gfc_resolve_umask_sub,gfc_resolve_unlink_sub): New functions
* trans-intrinsic.c (gfc_conv_intrinsic_function): Use symbols

libgfortran/
* Makefile.am: Add intrinsics/{umask.c,unlink.c,exit.c}
* Makefile.in: Regenerated
* intrinsics/umask.c: New file
* intrinsics/unlink.c: ditto
* intrinsics/exit.c: ditto

From-SVN: r90949

simplify-rtx.c (simplify_ternary_operation): Use trunc_int_for_mode.

        * simplify-rtx.c (simplify_ternary_operation): Use
        trunc_int_for_mode.

From-SVN: r90948

Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r90946.2

Daily bump.

[[Split portion of a mixed commit.]]

From-SVN: r90945.2

tree-ssa-threadupdate.c: Replace REDIRECTION_DATA varray with a hash table.

        * tree-ssa-threadupdate.c: Replace REDIRECTION_DATA varray with
        a hash table.  Extensive modifications throughout to support
        that change.
        (struct el): New.
        (struct local_info): New.
        (struct redirection_data): Add new INCOMING_EDGES and DO_NOT_DUPLICATE
        fields.
        (redirection_data): Now a hashtable.
        (redirection_data_hash, redirection_data_eq): New.
        (lookup_redirection_data, create_duplicates): New.
        (create_edge_and_update_destionation_phis): New.
        (fixup_template_block, redirect_edges): New.
        (thread_block): Use hash table traversals instead of loops over
        varray entries or incoming edge vectors.

From-SVN: r90941

tree-cfg.c (reinstall_phi_args): New.

* tree-cfg.c (reinstall_phi_args): New.
(tree_split_edge): Use it after redirecting an edge.  Don't
modify PHI_ARG_EDGE.

From-SVN: r90940

tree-vectorizer.c (slpeel_verify_cfg_after_peeling): Define only if checking is enabled.

2004-11-19  Andreas Tobler  <a.tobler@schweiz.ch>

* tree-vectorizer.c (slpeel_verify_cfg_after_peeling): Define only
if checking is enabled.

From-SVN: r90939

1.cc: In the checks use...

2004-11-19  Paolo Carlini  <pcarlini@suse.de>

* testsuite/22_locale/time_get/get_date/char/1.cc: In the checks
use, more correctly (and consistently with other testcases) the
return value of the facet (the iterator arguments are by value).
* testsuite/22_locale/time_get/get_date/char/12791.cc: Likewise.
* testsuite/22_locale/time_get/get_date/wchar_t/1.cc: Likewise.
* testsuite/22_locale/time_get/get_date/wchar_t/12791.cc: Likewise.
* testsuite/22_locale/time_get/get_monthname/char/1.cc: Likewise.
* testsuite/22_locale/time_get/get_monthname/wchar_t/1.cc: Likewise.
* testsuite/22_locale/time_get/get_time/char/1.cc: Likewise.
* testsuite/22_locale/time_get/get_time/wchar_t/1.cc: Likewise.
* testsuite/22_locale/time_get/get_weekday/char/1.cc: Likewise.
* testsuite/22_locale/time_get/get_weekday/wchar_t/1.cc: Likewise.
* testsuite/22_locale/time_get/get_year/char/1.cc: Likewise.
* testsuite/22_locale/time_get/get_year/wchar_t/1.cc: Likewise.

From-SVN: r90938

target-supports.exp (check_visibility_available): Really test the compiler.

2004-11-19  Mark Mitchell  <mark@codesourcery.com>
            Joseph Myers  <joseph@codesourcery.com>

* lib/target-supports.exp (check_visibility_available): Really
test the compiler.

Co-Authored-By: Joseph Myers <joseph@codesourcery.com>
From-SVN: r90937

c-decl.c (push_scope): Remove "\n" from end of diagnostic for too many nested scopes.

* c-decl.c (push_scope): Remove "\n" from end of diagnostic for
too many nested scopes.

From-SVN: r90936

re PR tree-optimization/18181 (vectorizer: problem in the peeling mechanism in the presence of loop invariants that are used after the loop)

        PR tree-opt/18181
        * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Peeling scheme
        changed to suppoer uses-after-loop and to void creating flow paths
        that shouldn't exist.
        (slpeel_update_phi_nodes_for_guard): Takes additional two arguments.
        Modified to fit the new peeling scheme. Avoid quadratic behavior.
        (slpeel_add_loop_guard): Takes additional argument.
        (slpeel_verify_cfg_after_peeling): New function.
        (vect_update_ivs_after_vectorizer): Takes additional argument. Updated
        documentation. Use 'exit-bb' instead of creating 'new-bb'.
        (rename_variables_in_bb): Don't update phis for BBs out of loop, to fit
        the new peeling scheme.
        (copy_phi_nodes): Function removed. Its functionality moved to
        update_phis_for_duplicate_loop.
        (slpeel_update_phis_for_duplicate_loop): Functionality of copy_phi_nodes
        moved here. Added documentation. Modified to fit the new peeling scheme.
        (slpeel_make_loop_iterate_ntimes): Setting loop->single_exit not not
        needed - done in slpeel_tree_peel_loop_to_edge.
        (slpeel_tree_duplicate_loop_to_edge_cfg): Debug printouts compacted.
        (vect_do_peeling_for_loop_bound): Add documentation. Call
        slpeel_verify_cfg_after_peeling. Call vect_update_ivs_after_vectorizer
        with additional argument.
        (vect_do_peeling_for_alignment): Call slpeel_verify_cfg_after_peeling.

        (vect_finish_stmt_generation): Avoid 80 column oveflow.

From-SVN: r90932

tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Last two arguments removed.

        * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Last two
        arguments removed.
        (slpeel_tree_peel_loop_to_edge): Call slpeel_make_loop_iterate_ntimes
        without last two arguments. Update single_exit of loops.
        (vect_update_niters_after_peeling): Removed. Its functionality was
        moved to vect_do_peeling_for_alignment.
        (vect_do_peeling_for_loop_bound): New name for function previously
        called vect_transform_for_unknown_loop_bound.
        (vect_transform_loop_bound): Call slpeel_make_loop_iterate_ntimes
        instead of code that duplicates the same functionality.
        (vect_do_peeling_for_alignment): Functionality of
        vect_update_niters_after_peeling moved here.
        (vect_transform_loop): Unify call to vect_do_peeling_for_loop_bound -
        previously named vect_transform_for_unknown_loop_bound - for both known
        and unknown loop bound cases.

From-SVN: r90931

tree-vectorizer.c (slpeel_can_duplicate_loop_p): New name for function previously called verify_loop_for_duplication.

        * tree-vectorizer.c (slpeel_can_duplicate_loop_p): New name for function
        previously called verify_loop_for_duplication. All conditions compacted
        into one compound condition. Removed debug dumps.
        (vect_analyze_loop_with_symbolic_num_of_iters): Removed. Some of the
        functionality moved to vect_can_advance_ivs_p, and some to
        vect_analyze_loop_form.
        (vect_can_advance_ivs_p): New function. Contains functionality that was
        taken out of vect_analyze_loop_with_symbolic_num_of_iters.
        (slpeel_tree_peel_loop_to_edge): Call slpeel_can_duplicate_loop_p.
        (vect_analyze_operations): Call vect_can_advance_ivs_p and
        slpeel_can_duplicate_loop_p.
        (vect_get_loop_niters): Added documentation.
        (vect_analyze_loop_form): Check the loop entry always - not only in case
        of unknown loop bound. Create preheader and exit bb if necessary. Apply
        a check that used to take place in
        vect_analyze_loop_with_symbolic_num_of_iters.
        (vectorize_loops): Call verify_loop_closed_ssa under ENABLE_CHECKING.
        Remove redundant call to rewrite_into_loop_closed_ssa.
        (vect_compute_data_refs_alignment): Removed obsolete comment.

From-SVN: r90930

tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): New name for function previously called tree_duplicate_loop_to_edge.

        * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): New name for
        function previously called tree_duplicate_loop_to_edge.
        (slpeel_tree_duplicate_loop_to_edge_cfg): New name for function
        previously called tree_duplicate_loop_to_edge_cfg.
        (slpeel_update_phis_for_duplicate_loop): Prefix 'slpeel' added to
        function name.
        (slpeel_update_phi_nodes_for_guard): Likewise.
        (slpeel_make_loop_iterate_ntimes): Likewise.
        (slpeel_add_loop_guard): Likewise.
        (allocate_new_names, free_new_names): Function declaration moved to top
        of file.
        (rename_use_op, rename_def_op): Likewise.
        (rename_variables_in_bb, rename_variables_in_loop): Likewise.
        (vect_generate_tmps_on_preheader): Function declaration moved.
        (vect_transform_for_unknown_loop_bound): Added missing function
        declaration.

From-SVN: r90929

tree2 to tree_on_heap, I had forgot to update the change log :(.

From-SVN: r90927

re PR tree-optimization/18507 (block_defs_stack varrray should not be GC'ed)

2004-11-19  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/18507
        * tree-flow.h (tree2): Typedef because there is already a VEC(tree).
        Define a VEC(tree2) for head.
        (register_new_def): Change second argument to be a VEC(tree2).
        * tree-ssa-dom.c (block_defs_stack): Change to be a VEC(tree2).
        (tree_ssa_dominator_optimize): Initialize block_defs_stack with
        the VEC(tree2) function.  Also free it before returning.
        (dom_opt_initialize_block): Use VEC_safe_push instead of VARRAY_PUSH_TREE
        for block_defs_stack.
        (restore_currdefs_to_original_value): Use VEC_length instead of
        VARRAY_ACTIVE_SIZE. VEC_pop instead of VARRAY_TOP_TREE/VARRAY_POP.
        (dom_opt_finalize_block): Use VEC_safe_push instead of VARRAY_PUSH_TREE
        for block_defs_stack.
        * tree-into-ssa.c (block_defs_stack): Change to be a VEC(tree2).
        (rewrite_initialize_block): Use VEC_safe_push instead of VARRAY_PUSH_TREE
        for block_defs_stack.
        (ssa_register_new_def): Likewise.
        (ssa_rewrite_initialize_block): Likewise.
        (rewrite_finalize_block): Use VEC_length instead of
        VARRAY_ACTIVE_SIZE. VEC_pop instead of VARRAY_TOP_TREE/VARRAY_POP.
        (ssa_rewrite_finalize_block): Likewise.
        (register_new_def): Change second argument to be a VEC(tree2).
        Use VEC_safe_push instead of VARRAY_PUSH_TREE.
        (rewrite_blocks): Initialize block_defs_stack with
        the VEC(tree2) function.  Also free it before returning.
        (rewrite_ssa_into_ssa): Likewise.

From-SVN: r90926

No darwin non-lazy-ptr for address calculatation when not needed.

OKed by Geoff Keating.

From-SVN: r90925

tree-ssa.c (verify_ssa): Remove redundant checking of PHI arguments.

        * tree-ssa.c (verify_ssa): Remove redundant checking of PHI
        arguments.

From-SVN: r90924

Makefile.am (doxygen, [...]): Remove extra '$' from host_alias variable.

2004-11-19  Jonathan Wakely  <redi@gcc.gnu.org>

* Makefile.am (doxygen, doxygen-maint, doxygen-man): Remove extra '$'
from host_alias variable.
* Makefile.in: Regenerate.

From-SVN: r90919

re PR target/17735 (make stops with "initializer for integer value is too complicated" while building an avr-cross compiler)

PR target/17735
* varasm.c (default_assemble_integer): Allow pointer-sized values.
Expand comment.

From-SVN: r90918

[multiple changes]

2004-11-19  Chris Jefferson  <chris@bubblescope.net>

* include/bits/stl_list.h (list::back, list::back const):
Don't decrement temporary.

2004-11-19  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_deque.h (deque::front, deque::front const,
deque::back, deque::back const): Slightly tweak for stylistic
consistency.

From-SVN: r90917

Resync.

From-SVN: r90916

gnat_ugn.texi: Remove extra paren check from list of checks for redundant constructs Add...

* gnat_ugn.texi:
Remove extra paren check from list of checks for redundant constructs
Add documentation of new -gnatyx style check (check extra parens)
Remove paragraph about gnatelim debug options.

* gnat_rm.texi: Document that Ada.Streams now forbids creating stream
objects rather than forbidding dependencies on the package Ada.Streams.

* sinfo.ads: Add ??? note that we should document pragmas passed to
back end.

* g-expect.ads: Fix a few typos in the comments.

From-SVN: r90915

makegpr.adb (Compile): Put the compiling switches (in package Compiler and on the command line)...

* makegpr.adb (Compile): Put the compiling switches (in package
Compiler and on the command line) immediately after "-c", instead of
at the end of the command line invocation of the compiler, when
compiling a non-Ada file.
(Build_Global_Archive): When there is no need to rebuild the archive,
set Global_Archive_Exists, so that the archive is passed to the linker
if one is needed.

From-SVN: r90914

s-tposen.adb (Lock_Entry): Remove the code for raising Program_Error for Detect_Blocking which is...

* s-tposen.adb (Lock_Entry): Remove the code for raising Program_Error
for Detect_Blocking which is redundant with the check done within the
procedure Protected_Single_Entry_Call.
(Lock_Read_Only_Entry): Remove the code for raising Program_Error for
Detect_Blocking which is redundant with the check done within the
procedure Protected_Single_Entry_Call.

From-SVN: r90913

make.adb (Gnatmake): Invoke gnatlink with -shared-libgcc when gnatbind is invoked with -shared.

* make.adb (Gnatmake): Invoke gnatlink with -shared-libgcc when
gnatbind is invoked with -shared.

From-SVN: r90912

init.c (__gnat_map_signal): map SIGSEGV to Storage_Error for AE653 vthreads.

* init.c (__gnat_map_signal): map SIGSEGV to Storage_Error for AE653
vthreads.
(init_float): Eliminate initialization of floating point status for
AE653. The instructions have no effect for vThreads.

From-SVN: r90911

gnat1drv.adb, [...]: Output the copyright message on a separate line from the version message.

* gnat1drv.adb, gnatbind.adb, gnatchop.adb, gnatfind.adb, gnatlink.adb,
gnatls.adb, gnatxref.adb, gprep.adb: Output the copyright message on a
separate line from the version message.

From-SVN: r90910

exp_pakd.adb (Convert_To_PAT_Type): After replacing the original type of the object with the packed array type...

* exp_pakd.adb (Convert_To_PAT_Type): After replacing the original
type of the object with the packed array type, set the Analyzed flag
on the object if it is an entity or simple indexed component, to avoid
spurious type errors.

From-SVN: r90909

expect.c: Define __unix__ when __APPLE__ is defined.

* expect.c: Define __unix__ when __APPLE__ is defined.

* Makefile.in: Inform the value of the variable GMEM_LIB in the
Darwin-specific section.

* lang-specs.h: Change the placement of the %1 marker.

From-SVN: r90908

exp_dbug.ads: Update documentation to reflect simpler encoding for protected operations.

* exp_dbug.ads: Update documentation to reflect simpler encoding for
protected operations.

* exp_ch9.adb (Build_Selected_Name): Do not include "PT" suffix in
generated name, it complicates decoding in gdb and hinders debugging
of protected operations.
(Build_Barrier_Function_Specification): Set the Needs_Debug_Info
flag for the protected entry barrier function.
(Build_Protected_Entry_Specification): Set the Needs_Debug_Info
flag for the protected entry function.

From-SVN: r90907

exp_ch4.adb (Expand_N_Selected_Component): If the component is the discriminant of a constrained subtype...

* exp_ch4.adb (Expand_N_Selected_Component): If the component is the
discriminant of a constrained subtype, analyze the copy of the
corresponding constraint, because in some cases it may be only
partially analyzed.
Removes long-lived ??? comments.

* exp_ch7.adb (Establish_Transient_Scope): Remove complex code that
handled controlled or secondary-stack expressions within the
iteration_scheme of a loop.

* sem_ch5.adb (Analyze_Iteration_Scheme): Build a block to evaluate
bounds that may contain functions calls, to prevent memory leaks when
the bound contains a call to a function that uses the secondary stack.
(Check_Complex_Bounds): Subsidiary of Analyze_Iteration_Scheme, to
generate temporaries for loop bounds that might contain function calls
that require secondary stack and/or finalization actions.

* sem_ch4.adb (Analyze_Indexed_Component_Form): If the prefix is a
selected component and the selector is overloadable (not just a
function) treat as function call, Analyze_Call will disambiguate if
necessary.
(Analyze_Selected_Component): Do not generate an actual subtype for the
selected component if expansion is disabled. The actual subtype is only
needed for constraint checks.
(Analyze_Allocator): If restriction No_Streams is set, then do
not permit objects to be declared of a stream type, or of a
composite type containing a stream.

* restrict.ads: Remove the a-stream entry from Unit_Array, since
No_Streams no longer prohibits with'ing this package.

* sem_ch3.adb (Build_Derived_Record_Type): If the parent type has
discriminants, but the parent base has unknown discriminants, there is
no discriminant constraint to inherit. Such a discrepancy can arise
when the actual for a formal type with unknown discriminants is a
similar private type whose full view has discriminants.
(Analyze_Object_Declaration): If restriction No_Streams is set, then
do not permit objects to be declared of a stream type, or of a
composite type containing a stream.

From-SVN: r90906

errout.ads, errout.adb: (First_Sloc): New function

* errout.ads, errout.adb: (First_Sloc): New function

* par-ch5.adb (P_Condition): Check for redundant parens is now a style
check (-gnatyx) instead of being included as a redundant construct
warning.

* sem_ch6.adb: Change name Style_Check_Subprogram_Order to
Style_Check_Order_Subprograms.

* style.ads, styleg.ads, styleg.adb, styleg-c.adb, stylesw.ads,
stylesw.adb: Add Style_Check_Xtra_Parens

* usage.adb: Add line for -gnatyx (check extra parens)

* vms_data.ads: Add entry for STYLE_CHECKS=XTRA_PARENS => -gnatyx

From-SVN: r90905