2004-06-12 Devang Patel * Makefile.in (OBJS-common): Add tree-if-conv.o. (tree-if-conv.o): New rule. * target-def.h (TARGET_VECTOR_COMPARE_P, TARGET_VECTOR_COMPARE_FOR_P, TARGET_VECTOR_COMPARE_STMT, TARGET_VECTOR_SELECT_P, TARGET_VECTOR_SELECT_FOR_P, TARGET_VECTOR_SELECT_STMT): New. (TARGET_INITIALIZER): New members. * target.h (tree.h): Include. (struct gcc_target.vect): New members - support_vector_compare_p, support_vector_compare_for_p, vector_compare_stmt, support_vector_select_p, support_vector_select_for_p, vector_select_stmt. * tree-dfa.c (dump_immediate_uses_for): Print block index. * tree-flow.h (enum move_pos): Move from ... * tree-ssa-loop-im.c (enum move_pos): here. * tree-if-conv.c: New file. * tree-simple.c (is_gimple_stmt): Make COND_EXPR valid gimple. * tree-ssa-dce.c (mark_control_dependent_edges_necessary): Check t. * tree-ssa-live.c (debug_var_map): New function. * tree-ssa-live.h (debug_var_map): New function declaration. * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variable): Add flow_loop_scan() call. * tree-ssa-operands (get_stmt_operands): Handle MODIFY_EXPR when COND_EXPR is RHS. (get_expr_operands): Same. * tree-ssanames.c (make_ssa_name): Do not use free_ssanames. (release_ssa_name): Same. * tree-vectorizer.c (vect_transform_select): New function. (vect_transform_compare): New function (vect_is_supportable_operation): New function. (vect_is_supportable_compare): New function. (vect_is_supportable_select): New function. (get_array_base): Move into tree.c. (vect_loop_version): New function. (second_loop_vers_available): New variable. (default_vector_compare_p): New function. (default_vector_compare_for_p): New function. (default_vector_comapre_stmt): New function. (default_vector_select_p): New function. (default_vector_select_for_p): New function. (default_vector_select_stmt): New function. (vect_transform_stmt): Handle select_vec_info_type and compare_vec_info_type. (vect_is_supportable_op): Use vect_is_supportable_operation. (vect_analyze_operations): Check select and compare support. (vect_analyze_data_refs_alignment): Print data reference in dump file. (vect_analyze_loop_form): Use if-conversion and update loop->num_nodes check. (vectorize_loops): Use vect_loop_version. Handle second loop version. * tree-vectorizer.h (struct _stmt_vec_info): New members - select_vec_info_type and compare_vec_info_type. (default_vector_compare_p): New function decl. (default_vector_compare_for_p): New function decl. (default_vector_comapre_stmt): New function decl. (default_vector_select_p): New function decl. (default_vector_select_for_p): New function decl. (default_vector_select_stmt): New function decl. * tree.c (get_array_base): Move from tree-vectorizer to here. * tree.h (get_array_base): New function decl. * config/rs6000 (vector_builtin_fns): New. (rs6000_vector_compare_p): New function. (rs6000_vector_compare_for_p): New function. (rs6000_vector_compare_stmt): New function. (rs6000_vector_select_p): New function. (rs6000_vector_select_for_p): New function. (rs6000_vector_select_stmt): New function. (TARGET_VECTOR_COMPARE_P, TARGET_VECTOR_COMPARE_FOR_P, TARGET_VECTOR_COMPARE_STMT, TARGET_VECTOR_SELECT_P, TARGET_VECTOR_SELECT_FOR_P, TARGET_VECTOR_SELECT_STMT): Define. (def_builtin): Record builtin fn node in vector_builtin_fns. * rs6000.h (enum rs6000_builtins): New entry - RS6000_BUILTIN_MAX. 2004-06-12 Devang Patel Radar 3681611 * gcc.c (do_spec_1): Disable local IMA patch that creats new temp. file for each source file. 2004-06-12 Dorit Naishlos Olga Golovanevsky Ayal Zaks * tree-vectorize.c (vect_build_symbl_bound, vect_gen_if_guard): New. (vect_create_index_for_array_ref): Use integer_zer_node as init. (vect_update_initial_conditions_of_duplicated_loop): Update phis of epilog loop header and new loop exit destination. (vect_transform_loop): Remove code that now belongs to vect_generate_tmps_on_preheader () function. Use vect_gen_if_guard function twice. 2004-06-11 Dale Johannesen * tree-ssa-loop-niter.c (number-of_iterations_cond): Apply Zdenek's patch from 5/28 lno-branch. 2004-06-10 Dale Johannesen * tree-scalar-evolution.c (scev_finalize): Remove wild load. 2004-06-10 Fariborz Jahanian * version.c: Change version date to 20040529 (date of last merge). 2004-06-09 Dale Johannesen * df.c (df_def_record_1): Handle DImode parallel. 2004-06-09 Fariborz Jahanian * gengtype.c (get_output_file_with_visibility): Removed dead code. * gimplify.c (copy_if_shared_r): brought in patch to PR15884 done by RTH to fix perlbmk crash. 2004-06-08 Dale Johannesen * config/rs6000/t-darwin: Remove duplicate fpsave. 2004-06-08 Andrew Pinski approved Dale Johannesen Radar 3683113, PR 15881. * fold.const.c (fold_convert): Handle ptr-to-member. * tree-scalar-evolution.c (count_ev_in_wider_type): Use fold_convert not convert. (compute_overall_effect_of_inner_loop): Ditto. (chrec_is_positive): Ditto. (add_to_evolution_1): Ditto. (add_to_evolution): Ditto. (first_iteration_non_satisfying_1): Ditto. (follow_ssa_edge_in_rhs): Ditto. (interpret_rhs_modify_expr): Ditto. (number_of_iterations_in_loop): Ditto. 2004-06-08 Robert Bowdidge * config/darwin.c (machopic_indirect_call_target): Added patch from PR/15720 (function marked inline which is called directly isn't emitted). 2004-06-08 Fariborz Jahanian * varasm.c (assemble_variable): Resotored zerofill size optimization. * config/rs6000/rs6000.c (rs6000_override_options): Place rs6000_init_hard_regno_mode_ok after setting of -fast flags. 2004-06-08 Caroline Tice * common.opt (fcreate-profile): Add new command line option. (fuse-profile): Likewise. * gcc.c (LINK_COMMAND_SPEC): Add fcreate-profile to list of flags that causes "-lgcov" to be included in link command. * opts.c (commmon_handle_option): Add cases for fcreate-profile and fuse-profile; make them fall into the cases for fprofile-generate and fprofile-use, respectively. * config/darwin.h (LINK_COMMABND_SPEC): Add fcreate-profile to list of flags that causes "-lgcov" to be included in link command. * doc/invoke.texi (fcreate-profile, fuse-profile): Add documentation for the new command line options. Indicates they are obsolete and should not be used. 2004-06-07 Fariborz Jahanian * gcc.c: Removed setting of -combine option with -fast. 2004-06-07 Fariborz Jahanian * decl.c (maybe_commonize_var): Removed APPLE LOCAL coalescing stuff. * method.c (use_thunk): ditto. * rtti.c (tinfo_base_init): ditto. * common.opt: ditto. 2004-06-07 Dale Johannesen * cse.c (cse_insn): Make sure there's a ZERO_EXTEND before looking under it. (176.gcc spec regression) 2004-06-07 Ayal Zaks Radar 3619935 - Part 1 * target-def.h (TARGET_VECT, TARGET_VECT_BUILD_BUILTIN_LVSL, TARGET_VECT_SUPPORT_MISALIGNED_LOADS, TARGET_VECT_PERMUTE_MISALIGNED_LOADS, TARGET_VECT_BUILD_BUILTIN_VPERM): New macros for TARGET_INITIALIZER. * target.h (struct vect): New substruct of gcc_target. * tree-vectorizer.c (vect_create_index_for_array_ref): Return also the initial value of the iv. (vect_create_data_ref): Return also the created pointer; don't call vect_align_data_ref. (vect_finish_stmt_generation): New. (vect_transform_load): Handle misaligned loads too. (vect_analyze_data_refs_alignment): Allow loads to be misaligned. * config/rs6000/rs6000.c (TARGET_VECT_BUILD_BUILTIN_LVSL, TARGET_VECT_SUPPORT_MISALIGNED_LOADS, TARGET_VECT_PERMUTE_MISALIGNED_LOADS, TARGET_VECT_BUILD_BUILTIN_VPERM): Redefine. (rs6000_support_misaligned_vloads, rs6000_permute_misaligned_vloads, rs6000_build_builtin_lvsl, rs6000_build_builtin_vperm): New. 2004-06-07 Olga Golovanevsky * tree-vectorizer.c (vect_update_initial_conditions_of_duplicated_loop): Handle general form of "init" and "step" of access function. * tree-ssa-loop-manip.c (tree_duplicate_loop_to_exit_cfg): The exit from loop is taken from bb previous to latch instead of latch itself. 2004-06-07 Devang Patel Radar 3673334 * config/darwin-driver.c (add_arch): New. (strip_path_and_suffix): Use strcpy. (main): Use add_arch(). 2004-06-07 Devang Patel Radar 3668208 and 3668213 * config/rs6000/darwin.h (CC1_SPEC): Handle -gused and -gfull. * config/i386/darwin.h (CC1_SPEC): Same. 2004-06-07 Caroline Tice * doc/invoke.texi (-fast): Add documentation for "-fast" option. 2004-05-29 Dale Johannesen * config/rs6000/rs6000.c (rs6000_override_options): Enable hot/cold partitioning with -fast -profile-use. 2004-05-28 Ziemowit Laski Radar 3665286 * cpplex.c (_cpp_peek_token): Fix bug in computing context size; increment/decrement 'keep_tokens' state instead of saving/restoring it. * cpplib.h (cpp_callbacks): Change 'expand_macro_p' hook to 'macro_to_expand', returning a cpp_hashnode pointer. * cppmacro.c (cpp_get_token): Call 'macro_to_expand' hook instead of 'expand_macro_p'. (warn_of_redefinition): Do not warn if redefining a conditional macro. * config/rs6000/rs6000-c.c (altivec_categorize_keyword): New function. (rs6000_expand_macro_p): Renamed to 'rs6000_macro_to_expand'; rewritten to call altivec_categorize_keyword() and return one of the three canonical macros ('__vector', '__pixel' and '__bool') as needed. (rs6000_cpu_cpp_builtins): Mark all AltiVec keyword variants as conditional macros, some expanding to themselves (e.g., '#define bool bool') by default. * config/rs6000/rs6000-protos.h (rs6000_expand_macro_p): Renamed to 'rs6000_macro_to_expand'. 2004-05-28 Fariborz Jahanian * explow.c (copy_to_mode_reg): For PARALLEL patterns, copy to reg via a temprary. 2004-05-27 Dale Johannesen * loop-invariant.c (check_maybe_invariant): Disallow CALL hoists. * varasm.c (assemble_start_function): Construct unlikely_section_label unconditionally. 2004-05-26 Caroline Tice * bb-reorder.c (find_rarely_executed_basic_blocks_and_crossing_edges): Initialize variable 'has_hot_blocks'. (fix_up_fall_thru_edges): Initialize variable'cond_jump'. * cfgcleanup.c (try_forward_edges): Add code/tests to make sure the optimization is not attempted across section boundaries. * cfglayout.c (fixup_reorder_chain): Correct comments. * cfgrtl.c (try_redirect_by_replacing_jump): Fix test to make sure optimization is not attempted across section boundaries. * final.c (final_scan_instruction): Replace calls to text_section with calls to function_section. * predict.c (probably_never_executed_bb_p): Change criterion to be basic block count equals zero. * varasm.c (unlikely_text_section_name): New global variable. (text_section): Remove call to assemble_align. (unlikely_text_section): Modify to build & use unlikely_text_section_name rather than directly using UNLIKELY_EXECUTED_TEXT_SECTION NAME; remove call to assemble_align; move code to free/initialize unlikely_section_label to assemble_start_function. (in_unlikely_text_section): Modify to use unlikely_text_section_name. (named_section): Add code to initialize unlikely_text_section_name if appropriate. (function_section): Reorder clauses in if statement to make sure functions containing only cold blocks end up in the correct section. (assemble_start_function): Add code to correctly initialize/free unlikely_text_section_name. Also make sure the cold label is printed out at the start of cold functions. (default_section_type_flags_1): Modify to use unlikely_text_section_name. * config/rs6000/darwin.h (HAS_LONG_UNCOND_BRANCH): Add darwin-specific definition, based on the TARGET_LONG_BRANCH (-mlongcall) flag. 2004-05-25 Dale Johannesen * tree-ssa-loop-niter.c: Add. New in lno branch. Oops. 2004-05-25 Mike Stump Radar 3665096 * config/i386/darwin.h (TARGET_SUBTARGET_DEFAULT): Change default for long double type size to be 128. 2004-05-25 Dale Johannesen Merge from LNO branch as of 05-18. --The following files are identical to lno branch: df.c: Merge. lambda-code.c: Merge. loop-iv.c: Merge. tree-chrec.c: Merge. tree-chrec.h: Merge. tree-data-ref.c: Merge. tree-data-ref.h: Merge. tree-elim-check.c: Merge. tree-fold-const.h: Merge. tree-scalar-evolution.c: Merge. tree-scalar-evolution.h: Merge. tree-ssa-loop-ivcanon.c: Merge. tree-ssa-loop-ivopts.c: Merge. tree-vectorizer.c: Merge. --These files were merged selectively, see lno branch ChangeLog.lno. Makefile.in: Add tree-ssa-loop-niter. cfgloop.c: Merge changes from Devang's 05-13 patch. cfgloop.h: Ditto, also Zdenek's 04-30 patch. expr.c: Merge changes from Zdenek's 05-13 patch. tree-cfg.c: Ditto. tree-flow.h: Ditto. Also from Zdenek's 04-30 patch. loop-invariant.c: Merge. Add DF_EQUIV_NOTES. rtl.h: Merge change from Zdenek's 05-09 patch. stor-layout.c: Ditto. tree.c: Merge change from Sebastian's 04-27 patch. tree.h: Ditto. Also Zdenek's 05-13 patch. Add TYPE_UNSIGNED. varasm.c: Merge change from Zdenek's 04-30 patch. config/rs6000/rs6000.c: Ditto. -- Other stuff: fold-const.c: Remove unused variable. config/rs6000/rs6000-c.c: Make #define of bool work. config/rs6000/t-rs6000: Make #define of bool work. Remove -Wno-error requirements. 2004-05-25 Mike Stump Radar 3667005 * config/darwin.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Move long double size default from here... * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): to here. 2004-05-24 Devang Patel Radar 3665390 * config/darwin-driver.h (main): While reinserting output filename do not forget -o. 2004-05-24 Mike Stump Radar 3589079 * config/darwin.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Change default for long double type size to be 128. * c-common.c: Change default for -Wwarn-long-double to off. (warn_about_long_double): Change wording to account for new long double size. * doc/invoke.texi (-Wlong-double): Likewise. 2004-05-22 Devang Patel Radar 3644687 * config/darwin-driver.c (main): Reinsert output filename only if user supplied one. 2004-05-22 Dale Johannesen * simplify-rtx.c (simplify_unary_operation): Don't create NOT(SYM) or (MINUS(CON SYM)). * config/rs6000/rs6000.h (machine_function): Make substitute_pic_base_reg unsigned. * config/rs6000/rs6000.md: Compare it to INVALID_REGNUM not -1. * config/rs6000/rs6000.c (throughout): Ditto. 2004-05-21 Ziemowit Laski * opts.c (common_handle_option): Do not const-qualify a char buffer that has sprintf() and free() called on it. 2004-05-21 Ziemowit Laski Radar 3621323 * c-lex.c: Do not include target.h. (C_LEX_BUFCAPACITY, C_LEX_OFFS_BOUND, c_lex_buf_beg, c_lex_buf_end, c_lex_buf, c_lex_peek, c_lex_prepend): Remove. (get_nonpadding_token): Get rid of int argument; adjust call sites accordingly. * cpplex.c (_cpp_peek_token): New function. (_cpp_temp_token): Account for existence of lookaheads when allocating token. * cpplib.h (cpp_callbacks): Add new 'expand_macro_p' hook. (NODE_CONDITIONAL): New flag for macro nodes. (_cpp_peek_token, _cpp_backup_tokens_direct): New prototypes. * cppmacro.c (cpp_get_token): For macros marked NODE_CONDITIONAL, call the 'expand_macro_p' predicate to see if they should be expanded. (_cpp_backup_tokens_direct): New function, broken off from _cpp_backup_tokens(). (_cpp_backup_tokens): Call _cpp_backup_tokens_direct(). * config/rs6000/rs6000-c.c (rs6000_expand_macro_p): Add cpp_reader parameter; call _cpp_peek_token() instead of c_lex_peek(). (rs6000_cpu_cpp_builtins): Attach rs6000_expand_macro_p() to a cpplib callback instead of a target hook. * config/rs6000/rs6000-protos.h (rs6000_expand_macro_p): Add cpp_reader parameter to prototype. * hooks.c (hook_bool_constcpp_tokenp_false): Remove. * hooks.h (hook_bool_constcpp_tokenp_false): Remove prototype. * target-def.h (TARGET_EXPAND_MACRO_P): Remove. * target.h (gcc_target): Remove 'expand_macro_p' target hook. 2004-05-20 Devang Patel * config/darwin-driver.c (main): Prepand "-Wl," before -final_output to make it linker option. 2004-05-20 Fariborz Jahanian * c-opts.c (c_common_post_options): Remove old declaration and use of stdin_filename. Add new call to set_stdin_option. * common.opt: Add fpredictive-compilation=n option. * cppfiles.c (STAT_SIZE_RELIABLE macro): Change definition. (pch_open_file): No pch stuff with stdin file. (find_file_in_dir): When opening the main file, revert to opening stdin instead, in predictive compilation mode. (read_file_guts): Support for reading from stdin for predictive compilation sizes are added. (read_file): Don't close stdin. (read_from_stdin): New routine. * cpphash.h: New field declaration 'is_main_file' added. * cppinit.c (cpp_read_main_file): Set is_main_file to true, and then to false in predictive compilation mode. * cpplex.c (_cpp_get_fresh_line): Read more from stdin when in predictive compilation mode. * cpplib.c (set_stdin_option): New definition. * cpplib.h: Declaration updates. * flags.h: Declaration of predictive_compilation. * opts.c (common_handle_option): Processing -fprdictive-compilation=n options. * toplev.c: Definition of predictive_compilation added. 2004-05-14 Dale Johannesen * Makefile.in: Remove local -Wno-error dependencies. 2004-05-13 Caroline Tice * c-common.c (builtin_function_disabled_p): Remove "static" from function declaration and definition. * c-common.h (builtin_function_disabled_p): Add extern function definition. * c-decl.c (merge_translation_unit_decls): Add code to test function decls to see if they are builtin and the builtin is supposed to be disabled before attempting to merge the decls. 2004-05-12 Devang Patel * opts.c (common_handle_option): Handle OPT_arch. 2004-05-12 Devang Patel * config/darwin.h (darwin_builtins): Move to ... * config/darwin.c (darwin_builtins); here. 2004-05-12 Dale Johannesen Radar 3509006 * config/rs6000/rs6000.c (rs6000_override_options): Don't enable string insns with -Os. * doc/invoke.texi: Document this behavior. * testsuite/gcc.apple/string-insns.c: New. 2004-05-12 Dale Johannesen * config/rs6000/rs6000.c (rs6000_stack_info): Restore an optimization lost in merge. 2004-05-11 Devang Patel * gcc.c (optiom_map): Remove -precomp-trustfile support. * c-opts.c (c_common_handle_option): Remove -precomp-trustfile and -header-mapfile support. * common.opt: Same. * c.opt: Remove -header-mapfile support. 2004-05-11 Caroline Tice * rtl.c (NOTE_INSN_UNLIKELY_EXECUTED_CODE): Add this note back in; it seems to have vanished during a merge. 2004-05-10 Ziemowit Laski * config/rs6000/altivec.h: Bring over from mainline. * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Define __APPLE_ALTIVEC__ to indicate Apple syntax support. 2004-05-10 Dale Johannesen * config/darwin.c: ANSIfy syntax (eliminate warnings). config/darwin-c.c: Ditto. rs6000.c: Small cosmetic change in local code. 2004-05-06 Caroline Tice * config/rs6000/rs6000.c (rs6000_override_options): Modify to not turn on hot/cold partitioning in the presence of exception handling. 2004-05-06 Dale Johannesen * Merge from lno branch as of 04-24. Files changed: lambda-code.c lambda.h tree-chrec.c tree-chrec.h tree-data-ref.c tree-elim-check.c tree-flow.h tree-loop-linear.c tree-scalar-evolution.c tree-ssa-loop-im.c tree-ssa-loop-ivopts.c tree-ssa-loop-manip.c tree-ssa-loop.c tree-vectorizer.c tree-vectorizer.h 2004-05-04 Caroline Tice * config/rs6000/darwin.h (FP_SAVE_INLINE): Modify this to always be 1 ("on") if the optimization level is -O3 or higher. 2004-04-30 Dale Johannesen * cse.c (cse_insn): Don't add REG_EQUAL note for (CONST (MINUS (LABEL_REF) (0))). 2004-04-30 Caroline Tice * varasm.c (unlikely_section_label): New global variable. (unlikely_text_section): Change variable name from 'unlikely_section_name' to 'unlikely_section_label', make it a global variable, and move the code to generate its value to assemble_start_function. (assemble_start_function): Add code to generate *correct* value for 'unlikely_section_label'. Now makes use of value from 'fnname' parameter. 2004-04-29 Devang Patel gcc/loop-iv.c : Merge from lno-branch as of 2004:04:19 00:00. gcc/tree-pass.h : Merge from lno-branch as of 2004:04:19 00:00. gcc/tree-ssa-alias.c : Merge from lno-branch as of 2004:04:19 00:00. gcc/tree-ssa-phiopt.c : Merge from lno-branch as of 2004:04:19 00:00. 2004-04-29 Devang Patel Merge lno-branch as of 2004:04:18 00:00 into apple-ppc-branch. 2004-04-28 Fariborz Jahanian * function.c (assign_parms): Add 2nd iteration over vector args if needed. * calls.c (initialize_argument_information): Add new argument, add 2nd iteration over vector arguments if needed. * target-def.h (default_skip_vec_args, TARGET_SKIP_VEC_ARGS): New. * target.h (skip_vec_args): Added to calls structure. * targhooks.c (default_skip_vec_args): Default definition. * targhooks.h (default_skip_vec_args): Declaration. * config/rs6000/rs6000.c (skip_vec_args): New definition. 2004-04-27 Devang Patel * config/darwin.h (LINK_COMMAND_SPEC): Use darwin_arch_ld_spec. * config/rs6000/darwin.h (DARWIN_ARCH_ASM_SPEC): New. (DARWIN_ARCH_SPEC): Rename as... (DARWIN_ARCH_LD_SPEC): New name. * config/i386/darwin.h (DARWIN_ARCH_ASM_SPEC): New. (DARWIN_ARCH_SPEC): Rename as... (DARWIN_ARCH_LD_SPEC): New name. 2004-04-26 Andrew Pinski * configure.ac: Add test for -Wno-long-double. * Makefile.in (STRICT2_WARN): Add -Wno-long-double. (alloc-pool.o-warn): Delete. (ggc-page.o-warn): Delete. * configure: Regenerate. 2004-04-23 Dale Johannesen Radars 3480058, 3178986 * c-decl.c (merge_decls): Preserve duplicate_decl bit. (merge_translation_unit_decls): Rewritten so -fno-common works. * opts.c (decode_options): Turn on flag_no_common with -fast or -fastcp. * tree.h (struct tree_decl): Add duplicate_decl bit and DECL_DUPLICATE_DECL. * varasm.c (assemble_variable): Use it. * config/rs6000/rs6000.c (rs6000_override_options): Remove reorder-blocks-and-partition from -fast*. Enable align-natural with -fastcp. * ../libstdc++-v3/include/std/std_fstream.h (basic_ifstream): Make _M_filebuf 8-byte aligned. (basic_ofstream): Ditto. 2004-04-22 Devang Patel Radar 3401402 and 3511029 Remove FAT Build support from gcc.c * gcc.c (struct arch_config_out): Remove. (struct arch_out): Remove. (num_arches, curent_arch, final_output): Remove. (set_new_arch): Remove. (%T support): Remove. (%f support): Remove. (%F support): Remove. ('@' support in specs): Remove. (ofile_merge_spec): Remove. (exec_merge_spec): Remove. (build_search_list): Remove fat builds readibility change. (SWITCH_IGNORE_RESTORE): Remove. (-arch support): Remove. * config/darwin.h (LINK_COMMAND_SPEC): Remove -arch*. Add %(darwin_arch_spec). * confiig/i386/darwin.h (ASM_SPEC): Add %(darwin_arch_spec). (DARWIN_ARCH_SPEC): New. * confiig/rs6000/darwin.h (ASM_SPEC): Add %(darwin_arch_spec). (DARWIN_ARCH_SPEC): New. * config/rs6000/rs6000.h (SUBTARGET_EXTRA_SPECS): Surround it with #ifndef. * config/darwin-driver.c: New file. 2004-04-20 Geoffrey Keating * c-cppbuiltin.c (define__GNUC__): Better precision and more error checking for code defining __APPLE_CC__. * testsuite/gcc.apple/applecc.c: New. 2004-04-15 Devang Patel * config/i386.h: Add static tree nodes for vector types to accomodate tree.h changes due to local Altivec patch. 2004-04-15 Caroline Tice Fix various problems related to hot/cold partitioning (but not all of them yet). * bb-reorder.c (tm_p.h): Add new include statement. (HAVE_return): Define HAVE_return appropriately if not already defined. (find_rarely_executed_basic_blocks_and_crossing_edges): Modify to only mark crossing edges if architecture supports named sections. (fix_crossing_conditional_branches): Add test for HAVE_return before calling gen_return. (fix_crossing_unconditional_branches): Change VOIDmode to Pmode in call to gen_rtl_LABEL_REF. (fix_edges_for_rarely_executed_code): Only "fix" branches and add REG_CROSSING_JUMP notes if the architecture supports named sections. (reorder_basic_blocks): Change (* targetm.cannot_modify_jumps_p ()) into (targetm.cannot_modify_jumps_p ()). Modify to only add NOTE_INSN_UNLIKELY_EXECUTED_CODE notes if the architecture supports named sections. * cfglayout.c (fixup_reorder_chain): Modify code that adds NOTE_INSN_UNLIKELY_EXECUTED_CODE and REG_CROSSING_JUMP notes, to only do so if architecture supports named sections. * cfgrtl.c (target.h): Add new include statement. (force_nonfallthru_and_redirect): Modify code that adds NOTE_INSN_UNLIKELY_EXECUTED_CODE and REG_CROSSING_JUMP notes, to only do so if architecture supports named sections. (commit_one_edge_insertion): Likewise. * dbxout.c (dbxout_source_file): Fix bug, when writing out source location debug information, to not change to the wrong section. * defaults.h (NORMAL_TEXT_SECTION_NAME): Remove this definition. (SECTION_FORMAT_STRING): Remove this definition. * final.c (final_scan_insn): Remove unnecessary in_unlikely_text_section test from if statement. Modify code that switches sections to not do so if architecture does not support named sections. Cleaned up if statement. * ifcvt.c (if_convert): Modified test that disables optimization when partitioning, to not disable it if the architecture does not support named sections. * passes.c (rest_of_compilation): Removed flag_exceptions test from code that calls partitioning, as this is already taken care of in decode_options. * predict.c (choose_function_section): Modify to NOT choose hot or cold sections for the function decl if we are doing partitioning optimization (want to leave it up to the hot/cold partitioning optimization, which is more fine-grained). * varasm.c (text_section): Restore code that outputs assembly for the text section to its original code. (unlikely_text_section): Modify to always use named_section for writing out section directive, remove unnecessary ifdef, and use ASM_OUTPUT_LABEL for labelling the start of the cold section. (in_unlikely_text_section): Modify to deal correctly with being in a named section. (function_section): Restore code for generating section directives to its original order. * config/darwin.c (darwin_asm_named_section): Restore code that generates section directive to its original state. * config/i386/darwin.h (ASM_OUTPUT_ALIGN): Add in_unlikely_text_section () to an if test that tests for in_text_section (). * config/rs6000/darwin.h (NORMAL_TEXT_SECTION_NAME): Remove definition. (SECTION_FORMAT_STRING): Remove definition. 2004-04-10 Paolo Bonzini Richard Henderson PR target/14899 * c-common.c (vector_types_compatible_p): New function. * c-typeck.c (comptypes): Recurse on vector types, treat a non-opaque type as equivalent to an opaque type. (convert_for_assignment): Use vector_types_compatible_p. (digest_init): Use vector_types_compatible_p to check validness of constant vector initializers; otherwise treat them as scalars * tree.c (make_or_reuse_type): New. (build_common_tree_nodes): Use it. * cp/call.c (standard_conversion): Likewise. * cp/typeck.c (comptypes): Recurse on vector types, do not treat a non-opaque type as equivalent to an opaque type. (convert_for_assignment): Use vector_types_compatible_p. 2004-04-13 Fariborz Jahanian * combine.c (combine_instructions): Try insn with each REG_EQUAL note it links back to. (unmentioned_reg_p_1, unmentioned_reg_p): New functions. Brought from tree-ssa branch. 2004-04-09 Dale Johannesen Roll in gcc-1552 enhancement for separate stack temps. Turn on -fstrict-aliasing with -fast. * function.c (assign_stack_local_with_alias): New function. * rtl.h (assign_stack_local_with_alias): Declare it. * config/rs6000/rs6000.c (rs6000_override_options): Turn on strict aliasing with -fast. * config/rs6000/rs6000.md (floatsidf2): Use assign_stack_local_with_alias. (floatunssidf2): Ditto. (fix_truncdfsi2): Ditto. 2004-04-07 Fariborz Jahanian Roll in Ziem Laski's Altivec front-end fixes to support MOTOROLA's Altivec syntax. * Makefile.in: Add c-lex.o dependencies. * c-common.c (vector_constructor_from_expr): New function. * c-common.h (vector_constructor_from_expr): Add declaration. * c-lex.c: include target.h, cpphash.h. Add lexer support for new syntax. (c_lex_prepend): new function. (c_lex_peek): new function. * c-pragma.h: add (c_lex_peek, c_lex_prepend) declarations. 2004-04-06 Dale Johannesen Roll in Zdenek Dvorak's rewrite of doloop optimization. * Makefile.in: add loop-doloop.*, remove doloop.* * loop-doloop.c: New. * doloop.c: Remove. * cfgloop.h: Add new function declarations. * cfgloopanal.c: Add get_loop_level. * loop-iv.c: Recognize unexecuted loops. * loop.c: Remove call to old doloop optimization. * loop.h: Remove LOOP_BCT. * passes.c: Ditto. Call new doloop optimization. * config/rs6000/rs6000-protos.h: Remove duplicate declarations. * config/rs6000/rs6000.c: Cosmetic cleanups. Add -freorder-blocks to -fast. 2004-04-02 Ziemowit Laski Remove APPLE LOCAL AltiVec code whenever possible; merge in AltiVec/VECTOR_TYPE-handling code from mainline. 2004-04-01 Fariborz Jahanian * Makefile.in: add $(PARAMS_H) $(TM_P_H) dependencies for sched-rgn.o. * params.def: add definitions for max-sched-region-blocks and max-sched-region-insns. * sched-rgn.c (too_large): change return type to bool. Use the parametrized values of max-sched-region-blocks, max-sched-region-insns for computing upper limits for interblock scheduling. * doc/invoke.texi: Document max-sched-region-blocks, max-sched-region-insns. 2004-04-01 Caroline Tice * basic-block.h (struct edge_def): Add new field, crossing_edge. (struct basic_block_def): Add new field, partition. (UNPARTITIONED, HOT_PARTITION, COLD_PARTITION): New constant macro definitions. (partition_hot_cold_basic_blocks): Add extern function declaration. * bb-reorder.c (function.h, obstack.h, expr.h, regs.h): Add four new include statements. (N_ROUNDS): Increase the maximum number of rounds by 1. (branch_threshold): Add array value for new round. (exec_threshold): Add array value for new round. (push_to_next_round_p): New function. (add_unlikely_executed_notes): New function. (find_rarely_executed_basic_blocks_and_crossing_edges): New function. (mark_bb_for_unlikely_executed_section): New function. (add_labels_and_missing_jumps): New function. (add_reg_crossing_jump_notes): New function. (fix_up_fall_thru_edges): New function. (find_jump_block): New function. (fix_crossing_conditional_branches): New function. (fix_crossing_unconditional_branches): New function. (fix_edges_for_rarely_executed_code): New function. (partition_hot_cold_basic_blocks): New function. (find_traces): Add an extra round for partitioning hot/cold basic blocks. (find_traces_1_round): Add a parameter. Modify to push all cold blocks, and only cold blocks, into the last (extra) round of collecting traces. (better_edge_p): Add a parameter. Modify to favor non-crossing edges over crossing edges. (bb_to_key): Add code to correctly identify cold blocks when doing partitioning. (connect_traces): Modify to connect all the non-cold traces first, then go back and connect up all the cold traces. (reorder_basic_blocks): Add call to add_unlikely_executed_notes. * cfg.c (entry_exit_blocks): Add initialization for partition field in entry and exit blocks. * cfgbuild.c (make_edges): Update current_function_has_computed_jump if we are doing hot/cold partitioning. * cfgcleanup.c (cfglayout.h): Add new include statement. (try_simplify_condjump): Modify to not attempt on blocks with jumps that cross section boundaries. (try_forward_edges): Likewise. (merge_blocks_move_predecessor_nojumps): Likewise. (merge_blocks_move_successor_nojumps): Likewise. (merge_blocks_move): Likewise. (try_crossjump_to_edge): Modify to not attempt after we have done the block partitioning. (try_crossjump_bb): Modify to not attempt on blocks with jumps that cross section boundaries. (try_optimize_cfg): Likewise. * cfghooks.c (tidy_fallthru_edges): Modify to not remove indirect jumps that cross section boundaries. * cfglayout.c (flags.h): Add new include statement. (update_unlikely_executed_notes): New function. (fixup_reorder_chain): Add code so when a new jumping basic block is added, it's UNLIKELY_EXECUTED_CODE and REG_CROSSING_JUMP notes are updated appropriately. (duplicate_insn_chain): Add code to duplicate the new NOTE insn introduced by this optimization. * cfglayout.h (scan_ahead_for_unlikely_executed_note): Add new extern function declaration. * cfgrtl.c (can_delete_note_p): Add NOTE_INSN_UNLIKELY_EXECUTED_CODE to list of notes that can be deleted. (create_basic_block_structure): Add initialization for partition field. (rtl_can_merge_blocks): Modify to test blocks for jumps that cross section boundaries. (try_redirect_by_replacing_jump): Modify to not attempt on jumps that cross section boundaries. (commit_one_edge_insertion): Add code so newly created basic block ends up in correct (hot or cold) section. Modify to disallow insertions before NOTE_INSN_UNLIKELY_EXECUTED_CODE notes. (rtl_verify_flow_info_1): Add code to verify that no fall_thru edge crosses section boundaries. (cfg_layout_can_merge_blocks_p): Modify to test blocks for jumps that cross section boundaries. (force_nonfallthru_and_redirect): Modify to make sure new basic block ends up in correct section, with correct notes attached. * common.opt (freorder-blocks-and-partition): Add new flag for this optimization. * dbxout.c (dbx_function_end): Add code to make sure scope labels at the end of functions are written into the correct (hot or cold) section. (dbx_source_file): Add code so writing debug file information doesn't incorrectly change sections. * defaults.h (NORMAL_TEXT_SECTION_NAME): New constant macro, for use in partitioning hot/cold basic blocks into separate sections. (SECTION_FORMAT_STRING): New constant macro, for linux/i386 hot/cold section partitioning. (HAS_LONG_COND_BRANCH): New constant macro, indicating whether or not conditional branches can span all of memory. (HAS_LONG_UNCOND_BRANCH): New constant macro, indicationg whether or not unconditional branches can span all of memory. * final.c (scan_ahead_for_unlikely_executed_note): New function. (final_scan_insn): Add code to check for NOTE instruction indicating whether basic block belongs in hot or cold section, and to make sure the current basic block is being written to the appropriate section. Also added code to ensure that jump table basic blocks end up in the correct section. * flags.h (flag_reorder_blocks_and_partition): New flag. * ifcvt.c (find_if_case_1): Modify to not attempt if conversion if one of the branches has a jump that crosses between sections. (find_if_case_2): Likewise. (ifcvt): Modify to not attempt to mark loop exit edges after hot/cold partitioning has occurred. * opts.c (decode_options): Code to handle new flag, flag_reorder_blocks_and_partition; also to turn it off if flag_exceptions is on. (common_handle_option): Code to handle new flag, flag_reorder_blocks_and_partition. * output.h (unlikely_text_section): New extern function declaration. (in_unlikely_text_section): New extern function declaration. * passes.c (rest_of_handle_stack_regs): Add flag_reorder_blocks_and_partition as an 'or' condition for calling reorder_basic_blocks. (rest_of_handle_reorder_blocks): Add flag_reorder_blocks_and_partition as an 'or' condition for calling reorder_basic_blocks. (rest_of_compilation): Add call to partition_hot_cold_basic_blocks. * print-rtl.c (print_rtx): Add code for handling new note, NOTE_INSN_UNLIKELY_EXECUTED_CODE * rtl.c (NOTE_INSN_UNLIKELY_EXECUTED_CODE): New note insn (see below). (REG_CROSSING_JUMP): New kind of reg_note, to mark jumps that cross between section boundaries. * rtl.h (NOTE_INSN_UNLIKELY_EXECUTED_CODE): New note instruction, indicating the basic block containing it belongs in the cold section. (REG_CROSSING_JUMP): New type of reg_note, to mark jumps that cross between hot and cold sections. * toplev.c (flag_reorder_blocks_and_partition): Add code to initialize this flag, and to tie it to the command-line option freorder-blocks-and-partition. * varasm.c (cfglayout.h): Add new include statement. (unlikely_section_label_printed): New global variable, used for determining when to output section name labels for cold sections. (in_section): Add in_unlikely_executed_text to enum data structure. (text_section): Modify code to use SECTION_FORMAT_STRING and NORMAL_TEXT_SECTION_NAME macros. (unlikely_text_section): New function. (in_unlikely_text_section): New function. (function_section): Add code to make sure beginning of function is written into correct section (hot or cold). (assemble_start_function): Add code to make sure stuff is written to the correct section. (assemble_zeros): Add in_unlikely_text_section as an 'or' condition to an if statement that was checking 'in_text_section'. (assemble_variable): Add 'in_unlikely_text_section' as an 'or' condition to an if statement that was checking 'in_text_section'. (default_section_type_flags_1): Add check: if in cold section flags = SECTION_CODE. * config/darwin.c (darwin_asm_named_section): Modify to use SECTION_FORMAT_STRING if we are partitioning hot/cold blocks. * config/i386/i386.h (HAS_LONG_COND_BRANCH): Defined this macro specifically for the i386. (HAS_LONG_UNCOND_BRANCH): Defined this macro specifically for the i386. * config/rs6000/darwin.h (UNLIKELY_EXECUTED_TEXT_SECTION_NAME): Change text string to something more informative. (NORMAL_TEXT_SECTION_NAME): Add new definition. (SECTION_FORMAT_STRING): Add new definition. * config/rs6000/rs6000.c (rs6000_assemble_integer): Add '!in_unlikely_text_section' as an 'and' condition to an if statement that was already checking '!in_text_section'. (rs6000_override_options): Turn on flag_reorder_blocks_and_partition with "-fast". * config/rs6000/sysv4.h (HOT_TEXT_SECTION_NAME,NORMAL_TEXT_SECTION_NAME, UNLIKELY_EXECUTED_TEXT_SECTION_NAME,SECTION_FORMAT_STRING): Make sure these are properly defined for linux on ppc. * doc/invoke.texi (freorder-blocks-and-partition): Add documentation for this new flag. * doc/rtl.texi (REG_CROSSING_JUMP): Add documentation for new reg_note. * doc/tm.texi (NORMAL_TEXT_SECTION_NAME, SECTION_FORMAT_STRING, HAS_LONG_COND_BRANCH, HAS_LONG_UNCOND_BRANCH): Add documentation for these new macros.