OSDN Git Service

74eba5267d83fbdf1c78ead26b78102be5c1a2df
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2006-01-24  Ian Lance Taylor  <ian@airs.com>
2
3         PR middle-end/25930
4         * cgraphunit.c (cgraph_output_in_order): Don't clear
5         cgraph_asm_nodes until after asm strings have been output.
6
7 2006-01-23  Adam Nemet  <anemet@caviumnetworks.com>
8
9         * fix-header.c (read_scan_file): Add new parameter imultilib when
10         calling register_include_chains.
11
12 2006-01-23  Diego Novillo  <dnovillo@redhat.com>
13
14         * omp-low.c: Update documentation.
15
16 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
17             Daniel Berlin  <dberlin@dberlin.org>
18
19         PR tree-opt/25315
20         PR tree-opt/25857
21         * tree-ssa-pre.c (insert_extra_phis): If an incomming edge is abnormal 
22         return from the function.
23
24 2006-01-22  Zack Weinberg  <zackw@panix.com>
25
26         * rtl.def (match_code): Add second argument.
27         * genpreds.c (write_extract_subexp): New function.
28         (write_match_code): Add path argument.  Use write_extract_subexp.
29         (write_predicate_expr): Pass path to write_match_code.
30         (mark_mode_tests): MATCH_CODE applied to a subexpression does
31         not perform a mode test.
32         * genrecog.c (compute_predicate_codes): MATCH_CODE applied to
33         a subexpression does not constrain the top-level code set.
34         * read-rtl.c (read_rtx_variadic): New function.
35         (read_rtx_1): Use it; allow AND and IOR to be variadic.
36         * doc/md.texi: Document new notation.
37         * config/i386/predicates.md (cmpsi_operand_1): Fold into ...
38         (cmpsi_operand): ... here, using new notation.
39
40 2006-01-22  Zack Weinberg  <zackw@panix.com>
41
42         * varray.c: Remove GENERATOR_FILE #ifdefs.
43
44 2006-01-22  Zack Weinberg  <zackw@panix.com>
45
46         * genautomata.c (output_reserved_units_table): Emit nothing if
47         description->query_units_num is zero.  Remove extra blank line.
48         (output_cpu_unit_reservation_p): Short circuit
49         if description->query_units_num is zero.
50
51 2006-01-22  Zack Weinberg  <zackw@panix.com>
52
53         * genattrtab.c: Don't include genattrtab.h.  Define ATTR_NONE
54         and ATTR_SPECIAL (from genattrtab.h).  Don't define num_dfa_decls
55         nor any of the random handful of variables that used to be necessary
56         when this program was linked with rtlanal.o.  Prune set of forward
57         function declarations.
58         (struct attr_desc): Remove static_p field.
59         (hash_obstack, temp_obstack, attr_hash_table, attr_printf)
60         (check_attr_test, make_internal_attr, make_numeric_value): Make static.
61         (attr_string): Do not read the character one past the length of
62         the string.
63         (write_attr_get, find_attr, make_internal_attr): Don't touch static_p.
64         (struct insn_reserv, all_insn_reservs, last_insn_reserv_p)
65         (n_insn_reservs, gen_insn_reserv, struct bypass_list, all_bypasses)
66         (n_bypasses, gen_bypass_1, gen_bypass, process_bypasses)
67         (make_automaton_attrs): New.
68         (main): Do not call into genautomata.  Call local gen_bypass
69         and gen_insn_reserv as appropriate.  Call make_automaton_attrs.
70         Remove special case for insn_alts.
71         * genautomata.c: Include gensupport.h; not genattrtab.h nor
72         varray.h (leftover from previous change).  Prune set of forward
73         function declarations.  Remove state_alts fields from all
74         structures.  Remove state_alts_table from struct automaton.
75         Make everything except main static.  Do not maintain num_dfa_decls.
76         Do not maintain state_alts fields of various structures.
77         (process_decls): Don't validate condexp for dm_insn_reserv decls.
78         (add_arc): Remove state_alts argument.  All callers updated.
79         (output_reserved_units_table): Emit #ifdef here...
80         (output_tables): ...not here.  Don't generate state_alts tables.
81         (expand_automata): Don't generate attributes.
82         (write_automata): Don't generate state_alts functions.
83         (main): New function.
84         (it_is_empty_reserv_sets, output_state_alts_full_vect_name)
85         (output_state_alts_comb_vect_name, output_state_alts_check_vect_name)
86         (AUTOMATON_STATE_ALTS_MACRO_NAME, INTERNAL_STATE_ALTS_FUNC_NAME)
87         (STATE_ALTS_FUNC_NAME, INSN_DEFAULT_LATENCY_FUNC_NAME)
88         (BYPASS_P_FUNC_NAME, output_state_alts_table)
89         (output_automata_list_state_alts_code, output_internal_state_alts_func)
90         (output_state_alts_func, make_insn_alts_attr, make_bypass_attr)
91         (make_internal_dfa_insn_code_attr, make_default_insn_latency_attr):
92         Delete.
93         * genattr.c: Declare internal_dfa_insn_code in insn-attr.h.
94         * genattrtab.h: Delete file.
95         * Makefile.in (OBJS-common): Add insn-automata.o.
96         (insn-automata.o): New rule.
97         (simple_generated_c): Add insn-automata.c.
98         (build/genattrtab.o, build/genautomata.o): Update dependencies.
99         (genprogmd): Add automata.
100         (build/genattrtab): Needs no extra objects nor libraries.
101         (build/genautomata): Needs build/vec.o and -lm.
102
103 2006-01-22  Zack Weinberg  <zackw@panix.com>
104
105         * genautomata.c (process_state_longest_path, max_dfa_issue_rate)
106         (output_dfa_max_issue_rate, locked_states_num): Delete.
107         (struct automaton): Add locked_states field.
108         (output_dead_lock_vect): Save number of locked states in
109         automaton->locked_states.  If it is zero, don't print anything.
110         (output_max_insn_queue_index_def): Define max_insn_queue_index const.
111         (output_internal_dead_lock_func): Only test the dead_lock_vect
112         for automata that have locked states.
113         (output_statistics): Always print the number of locked states for
114         each automaton.  Calculate total number of locked states here.
115         (write_automata): Don't call output_dfa_max_issue_rate.
116         * genattrtab.c: Define length_unit_log as a const variable.
117         * genattr.c: Don't emit MAX_DFA_ISSUE_RATE.  Declare
118         max_insn_queue_index const.
119         * final.c (length_unit_log): Declare const.
120         * doc/tm.texi: Remove all references to MAX_DFA_ISSUE_RATE.
121
122 2006-01-22  Zack Weinberg  <zackw@panix.com>
123
124         * genautomata.c:  Include vec.h, not varray.h.
125         Delete vla_ptr_t, all of the VLA_PTR_ macros, and all of the
126         VLA_HWINT_ macros.  Change vla_hwint_t to a typedef for
127         VEC(vect_el_t,heap) *.  Convert all uses of VLA_* macros to
128         VEC_* macros operating on appropriately typed vectors, or to
129         malloced arrays when the size is known in advance.  Const-ify
130         many char* variables and function arguments.  No functional changes.
131         * Makefile.in (build/varray.o): Delete rule.
132         (build/genattrtab): Depend on build/vec.o instead of build/varray.o.
133         (build/genautomata.o): Depend on vec.h instead of $(VARRAY_H).
134
135 2006-01-22  Zack Weinberg  <zackw@panix.com>
136
137         * gensupport.c: Define get_insn_name and record_insn_name here.
138         (read_md_rtx): Call record_insn_name as appropriate.
139         * genattr.c, genattrtab.c, gencodes.c, genconfig.c, genemit.c
140         * genextract.c, genflags.c, genopinit.c, genoutput.c, genpeep.c
141         * genpreds.c, genrecog.c: Don't define get_insn_name nor
142         record_insn_name.
143         * Makefile.in (BUILD_SUPPORT, BUILD_PRINT): Fold into BUILD_RTL.
144         (BUILD_VARRAY): Delete.
145         (genprognormal): Rename genprogmd.  Fold in all programs from
146         genprognoprint; also attrtab.
147         (build/genattrtab): Just mention genautomata.o and varray.o.
148         Reorganize a bit, add comments to make the categories clearer.
149
150 2006-01-22  Zack Weinberg  <zackw@panix.com>
151
152         * genconditions.c (condition_table, add_condition): Delete.
153         (write_conditions): Don't emit n_insn_conditions nor
154         insn_elision_unavailable.  Issue the gcc version #ifdef here,
155         inside the table, with no #else clause ...
156         (write_header): ...not here.
157         (write_writer): New function.
158         (main): Don't initialize condition_table.  Use add_c_test.
159         Call write_writer.
160         * gensupport.c (init_md_reader_args_cb): Handle multiple input
161         files on the command line.
162         (maybe_eval_c_test): Don't check insn_elision_unavailable.
163         Return -1 if there is no entry in the table, don't abort.
164         (add_c_test, traverse_c_tests): New functions.
165         * gensupport.h (insn_elision_unavailable, insn_conditions)
166         (n_insn_conditions): Delete declarations.
167         (add_c_test, traverse_c_tests): Declare.
168         * read-rtl.c: Include gensupport.h.
169         (read_conditions): New function.
170         (read_rtx): If read_rtx_1 returns 0, treat as EOF.
171         (read_rtx_1): If we get EOF when we were looking for an initial
172         open paren, return 0.  Call read_conditions when appropriate.
173         * Makefile.in: Kill BUILD_EARLY_SUPPORT and all references to
174         dummy-conditions.o.  Eliminate references to insn-conditions.o,
175         or change them to build/gencondmd.o, as appropriate.  Remove
176         insn-constants.h from $(simple_generated_h) and insn-conditions.c
177         from $(simple_generated_c).  For all files remaining in those
178         two lists, add insn-conditions.md to the generator command line.
179         Give insn-constants.h/s-constants their own rules.  Add rules
180         for build/gencondmd.c, s-conditions, insn-conditions.md, s-condmd.
181         (build/read-rtl.o): Depend on gensupport.h.
182         (genprognormal): Include preds.
183         (genprogearly): Rename genprognoprint; only difference is now that
184         they don't link with $(BUILD_PRINT).
185         * dummy-conditions.c: Delete.
186
187 2006-01-22  Zack Weinberg  <zackw@panix.com>
188
189         * genextract.c: Don't include insn-config.h.  Do include vec.h.
190         Declare vectors of int, char, and locstr.
191         (locstr): New typedef.
192         (struct extraction): Make all array fields into bare pointers.
193         (insn_name_ptr, insn_name_ptr_size): Move down by get_insn_name.
194         (insn_code_number): Delete.
195         (accum_extract): New struct.
196         (VEC_safe_set_locstr, VEC_char_to_string): New functions.
197         (gen_insn): Take insn_code_number as an argument.  Use an
198         accum_extract structure instead of loading data directly into
199         a struct extraction, and having to know how big it might get.
200         (walk_rtx): Operate entirely on an accum_extract structure.
201         (print_path): Avoid unnecessary use of printf.
202         (print_header): New function, split out of main.  Distinguish
203         more carefully between an unrecognizable insn and an insn that
204         has the code number of a define_expand.
205         (main): Pass insn_code_number to gen_insn.  Call print_header
206         only after parsing.  Avoid unnecessary use of printf.
207         * Makefile.in (build/vec.o): New rule.
208         (build/genextract): Depend on build/vec.o.
209         (build/genextract.o): Don't depend on insn-config.h.
210
211 2006-01-22  Zack Weinberg  <zackw@panix.com>
212
213         * Makefile.in: Consolidate most rules that use $(CC_FOR_BUILD) and/or
214         $(RUN_GEN).  Use pattern rules to factor out as much boilerplate as
215         practical.  Eliminate per-generator-program link rules.
216
217 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
218
219         PR middle-end/24437
220         * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
221         with a call expr to ...
222         * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.
223
224 2006-01-23  Richard Guenther  <rguenther@suse.de>
225
226         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Add comment
227         before make_edge with conditional EDGE_TRUE_VALUE.
228
229 2006-01-23  Steven Bosscher  <stevenb.gcc@gmail.com>
230         Jan Hubicka  <jh@suse.cz>
231         Richard Guenther  <rguenther@suse.de>
232
233         PR rtl-optimization/25654
234         * cfgexpand.c (aggregate_contains_union_type): New function.
235         (add_alias_set_conflicts): Call it.  Make sure to add conflicts
236         for structure variables that contain a union type.
237
238 2006-01-23  Richard Sandiford  <richard@codesourcery.com>
239
240         * gengtype.c (new_structure): Return the structure.
241         (create_option): Add an extra "next" argument.
242         (create_field): New function.
243         (adjust_field_rtx_def): Use create_option and create_field.
244         Remove a now-unnecessary call to find_structure.
245         (adjust_field_tree_def): Likewise.
246         (note_yacc_type): Remove an unnecessary call to find_structure.
247         * gengtype.h (new_structure): Return the structure.
248         (create_option): Add an extra argument.
249         * gengtype-yacc.y (type): Remove unnecessary calls to find_structure.
250         (option): Adjust calls to create_option.
251
252 2006-01-22  David Edelsohn  <edelsohn@gnu.org>
253
254         * config/rs6000/aix.h (STACK_BOUNDARY): Define.
255
256 2006-01-22  Paul Brook  <paul@codesourcery.com>
257         Peter Barada  <peter@the-baradas.com>
258
259         * config/m68k/m68k.md: Add Coldfire FPU support.
260         Define FP mode macro and associated attributes.
261         Use it for float mode patterns.
262         * config/m68k/linux.h (FUNCTION_VALUE): Use m68k_function_value.
263         (LIBCALL_VALUE): Use m68k_libcall_value.
264         * config/m68k/m68k-protos.h (m68k_libcall_value): Add prototype.
265         (m68k_function_value): Ditto.
266         (emit_move_sequence): Ditto.
267         * config/m68k/m68kemb.h (LIBCALL_VALUE): Use m68k_libcall_value.
268         * config/m68k/m68k-none.h (ASM_SPEC): Add mcfv4e.
269         * config/m68k/t-m68kelf (MULTILIB_OPTIONS): Add mcfv4e.
270         (MULTILIB_EXCEPTIONS): Ditto.
271         * config/m68k/m68k.opt: Add mcfv4e.
272         * config/m68k/m68k.c (m68k_handle_option): Handle OPT_mcfv4e.
273         (m68k_compute_frame_layout): Include space for ColdFire FPU regs.
274         (m68k_output_function_prologue): Save ColdFire FPU registers.
275         (m68k_output_function_epilogue): Restore ColdFire FPU registers.
276         (force_mode, fp_reg_operand, emit_move_sequence): New functions.
277         (m68k_regno_mode_ok): Don't allow types larget than 8 bytes in
278         ColdFire FPU registers.
279         (m68k_libcall_value, m68k_function_value): New functions.
280         * config/m68k/netbsd-elf.h (FUNCTION_VALUE): Use m68k_function_value.
281         (LIBCALL_VALUE): Use m68k_libcall_value.
282         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define __mcfv4e__.
283         (MASK_COLDFIRE): Add MASK_CFV4E.
284         (TARGET_COLDFIRE_FPU, TARGET_HARD_FLOAT, TARGET_FP_REG_SIZE): New.
285         (MODES_TIEABLE_P): Use TARGET_HARD_FLOAT.
286         (REG_CLASS_FROM_LETTER, PREFERRED_RELOAD_CLASS): Ditto.
287         (GO_IF_COLDFIRE_FPU_LEGITIMATE_ADDRESS): Define.
288         (GO_IF_LEGITIMATE_ADDRESS): Use it.
289         (LEGITIMIZE_ADDRESS): Handle ColdFire FPU addresses.
290         * doc/invoke.tex: Document -mcfv4e on m68k.
291
292 2006-01-22  Ranjit Mathew  <rmathew@gcc.gnu.org>
293
294         * doc/contribute.texi: Change CVS to SVN and update the corresponding
295         URL.
296
297 2006-01-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
298
299         PR c++/16190
300         * c-opts.c (c_common_handle_option): Don't include
301         -Wnon-virtual-dtor in -Wall; enable if -Weffc++.
302         * doc/invoke.texi (C++ Dialect Options): Document that
303         -Wnon-virtual-dtor is no longer included in -Wall.
304
305 2006-01-21  Joseph S. Myers  <joseph@codesourcery.com>
306
307         * gcov.c (print_version), gcov-dump.c (print_version),
308         mips-tdump.c (main), mips-tfile.c (main): Update copyright notice
309         dates.
310
311 2005-01-21  Kenneth Zadeck <zadeck@naturalbridge.com>
312
313         * df-scan.c (problem_SCAN): Added NULL reset function.
314         (df_scan_reset_blocks): Added code to call reset block function
315         (df_bb_refs_delete) Fixed comment.
316         (df_insn_refs_delete): Made tolerant of deleting non existent info
317         for dataflow problems that need to be reset.
318         * df-core.c (df_set_blocks): Ditto.
319         * df.h (struct df_problem): Added reset_fun.
320         * df-problems.c (problem_RU, problem_RD, problem_LR, problem_UR,
321         problem_UREC, problem_CHAIN, problem_RI): Initialized reset_fun field.
322         (df_chain_insn_reset, df_chain_bb_reset, df_chain_reset): New
323         functions to clear out all references to def-use or use-def chains.
324
325 2006-01-21  Ben Elliston  <bje@au.ibm.com>
326
327         * varasm.c (assemble_real): Initialise data array.
328
329 2006-01-20  Paul Brook  <paul@codesourcery.com>
330
331         Merge from csl-arm-branch.
332         2005-09-21  Kazu Hirata  <kazu@codesourcery.com>
333         * config/arm/arm.md (movdi): Force operands[1] to a register
334         if we have a non-register source.
335         (*arm_movdi, *movdf_soft_insn): Require that one of the
336         operands be a register.
337         * config/arm/iwmmxt.md (*iwmmxt_arm_movdi): Likewise.
338         * config/arm/vfp.md (*arm_movdi_vfp, *movdf_vfp): Likewise.
339
340 2006-01-20  DJ Delorie  <dj@redhat.com>
341
342         * varasm.c (initialize_constant_valid_p): Allow pointers
343         initialized from integer constants of lesser precision.
344         (output_constant): Allow non-int-sized pointer modes to be
345         initialized from integer constants.
346
347 2006-01-20  Joseph S. Myers  <joseph@codesourcery.com>
348
349         PR libstdc++/25524
350         * cppdefault.h (struct default_include): Add multilib flag.
351         * cppdefault.c (cpp_include_defaults): Set it.
352         * c.opt (-imultilib): New option.
353         * c-opts.c (imultilib): New.
354         (c_common_handle_option): Handle -imultilib.
355         (c_common_post_options): Likewise.
356         * c-incpath.c (add_standard_paths, register_include_chains):
357         Likewise.
358         * c-incpath.h (register_include_chains): Add extra parameter.
359         * gcc.c (do_spec_1): Generate -imultilib option.
360         (The Specs Language): Update %I description.
361         (process_command): Update copyright notice.
362         * doc/cppopts.texi (-imultilib): Document.
363         * doc/invoke.texi (-imultilib): Include in option summary.
364         (%I): Update specs documentation.
365
366 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
367
368         * loop-iv.c (iv_analysis_loop_init): Use df in more conservative way.
369
370 2006-01-20  Richard Sandiford  <richard@codesourcery.com>
371
372         * stmt.c (case_bit_test_cmp): Stabilize the sort using code
373         label numbers.
374
375 2006-01-20  Richard Guenther  <rguenther@suse.de>
376         Steven Bosscher <stevenb.gcc@gmail.com>
377
378         PR rtl-optimization/24626
379         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Don't set
380         EDGE_TRUE_VALUE if in RTL mode.
381
382         Revert
383         2005-03-30 Mostafa Hagog <mustafa@il.ibm.com>
384         * cfgrtl.c (rtl_verify_flow_info_1): Fix.
385
386 2006-01-20  Dirk Mueller  <dmueller@suse.com>
387
388         PR c++/5520
389         * c-parser.c (c_parser_if_body): Use build_empty_stmt()
390         instead of a special NOP marker.
391         * c-typeck.c (c_finish_if_stmt): Remove obsoleted special
392         NOP marker handling.
393         * c-common.h (empty_body_warning): Add forward declaration.
394         * c-common.c (empty_body_warning): Add (from c_finish_if_stmt).
395         Now uses IS_EMPTY_STMT() instead of special NOP markers.
396
397 2005-01-20  Paul Brook  <paul@codesourcery.com>
398
399         * Makefile.in (lang_checks): Keep going if mkdir fails.
400
401 2005-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
402
403         * df-scan.c (df_scan_free_bb_info): Added basic block parameter to
404         be able to clean out basic block when not necessary.
405         (df_scan_free): Fixed to properly delete information if df is
406         unused before calling df_finish.
407         (df_scan_alloc, df_rescan_blocks, df_reg_chain_unlink,
408         df_insn_create_insn_record, df_bb_refs_record): Fixed formatting
409         or comment typos.
410         (df_bb_refs_delete): New function.
411         (df_refs_delete): Moved per block code to df_bb_refs_delete.
412         * df-core.c (df_set_blocks): Added code to properly clean out
413         unused blocks if they are not part of the blocks to consider.
414         Added additional null check.
415         (df_compact_blocks): Added basic block parameter to free_bb_fun to
416         be able to clean out basic block when not necessary
417         * df.h (df_free_bb_function): Ditto.
418         (df_bb_refs_delete): New function.
419         * df-problems.c (df_ru_free_bb_info, df_rd_set_bb_info,
420         df_lr_set_bb_info, df_ur_free_bb_info, df_urec_free_bb_info):Added
421         basic block parameter to be able to clean out basic block when not
422         necessary.
423         (df_ru_alloc, df_rd_alloc): Fixed dyslexic overflow test.
424         (df_ru_free, df_rd_free, df_lr_free, df_ur_free, df_urec_free):
425         Fixed to properly delete information if df is unused before
426         calling df_finish.
427
428 2005-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
429
430         PR rtl-optimization/25799
431         * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
432         Corrected confluence operator to remove bits from op2 before oring
433         with op1 rather than removing bits from op1.
434         (df_ru_transfer_function): Corrected test on wrong bitmap which
435         caused infinite loop.  Both of these problems were introduced in
436         the dataflow rewrite.
437
438 2006-01-19  DJ Delorie  <dj@redhat.com>
439
440         * reload1.c (find_reload_regs): Note the details of reload
441         failures in the dump file.
442         (spill_failure): Likewise.
443
444 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
445
446         * loop-iv.c: Include df.h and hashtab.h.
447         (enum iv_grd_result): New enum.
448         (DF_REF_IV, DF_REF_IV_SET): New macros.
449         (struct biv_entry): New.
450         (df, bivs): New global variables.
451         (struct insn_info, insn_info, last_def, bivs, max_insn_no, max_reg_no,
452         assign_luids, mark_sets, kill_sets, mark_single_set, simple_set_p):
453         Removed.
454         (clear_iv_info, latch_dominating_def, record_iv, iv_analyze_expr,
455         iv_analyze_result, iv_analyze_def, biv_hash, biv_eq,
456         analyzed_for_bivness_p, record_biv): New functions.
457         (iv_analysis_loop_init, iv_get_reaching_def, simple_reg_p,
458         get_biv_step_1, get_biv_step, iv_analyze_biv, iv_analyze_op,
459         iv_analyze, biv_p, iv_analysis_done): Work with df representation of
460         UD chains.
461         (iv_constant, iv_subreg, iv_extend, iv_mult, iv_shift): Do not set
462         analysed.
463         (iv_number_of_iterations): Use new interface to iv analysis.
464         * loop-unroll.c: Do not include varray.h.
465         (analyze_iv_to_split_insn): Use new interface to iv
466         analysis.
467         * loop-unswitch.c (may_unswitch_on): Ditto.
468         * df.c (df_bitmaps_free): Only work for bbs for that structures are
469         allocated.
470         (df_bb_modify): Realloc tables to the new index.
471         (df_find_use): New function.
472         * df.h (df_find_use): Declare.
473         * optabs.c (expand_unop): Make the mode of the REG_EQUAL node be
474         outmode.
475         * cfgloop.h (struct rtx_iv): Remove analysed field.
476         (iv_get_reaching_def): Removed.
477         (iv_analyze_result, iv_analyze_expr, iv_current_loop_df): Declare.
478         * Makefile.in (loop-unroll.o): Remove VARRAY_H dependency.
479         (loop-iv.o): Add df.h and hashtab.h dependency.
480         * df-problems.c (df_ru_alloc, df_rd_alloc): Fix memory reallocation.
481
482 2006-01-20  Alan Modra  <amodra@bigpond.net.au>
483
484         * libgcc2.c (__floatdisf, __floatdidf): Don't use IBM Extended
485         Double TFmode.
486         (__floatundisf, __floatundidf): Likewise.
487         * libgcc2.h (IS_IBM_EXTENDED): Define.
488
489 2006-01-19  DJ Delorie  <dj@redhat.com>
490
491         * config/m32c/m32c.h (REG_ALLOC_ORDER): Define.
492
493 2006-01-19  Paul Brook  <paul@codesourcery.com>
494
495         * gcc/config/arm/arm.c (arm_compute_func_type): Treat all functions
496         as nothrow when unwinding tables are disabled.
497
498 2006-01-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
499
500         PR testsuite/25171
501         * c-decl.c (check_bitfield_type_and_width): Don't issue pedwarn "type
502         of bit-field" when in system header.
503
504 2006-01-19  DJ Delorie  <dj@redhat.com>
505
506         * config/m32c/m32c.c (m32c_prepare_shift): Add code to deal with
507         the 16 bit shift limit of the m16c.
508
509 2006-01-19  Andrew Pinski  <pinskia@physics.uc.edu>
510
511         PR target/22099
512         * config/i386/i386.md (builtin_setjmp_receiver): Don't emit the label.
513         * config/i386/i386.c (output_set_got): Output the label if we have one
514         for the TARGET_DEEP_BRANCH_PREDICTION case.
515
516 2006-01-19  Jan Hubicka  <jh@suse.cz>
517             H.J. Lu  <hongjiu.lu@intel.com>
518             Evandro Menezes <evandro.menezes@amd.com>
519
520         * invoke.texi (generic): Document
521         (i686) Update.
522         * config.gcc: Make x86_64-* and i686-* default to generic tunning.
523         * i386.h (TARGET_GENERIC32, TARGET_GENERIC64, TARGET_GENERIC,
524         TARGET_USE_INCDEC, TARGET_PAD_RETURNS): New macros.
525         (x86_use_incdec, x86_pad_returns): New variables
526         (TARGET_CPU_DEFAULT_generic): New constant
527         (TARGET_CPU_DEFAULT_NAMES): Add generic.
528         (enum processor_type): Add generic32 and generic64.
529         * i386.md (cpu attribute): Add generic32/generic64
530         (movhi splitter): Behave sanely when both partial_reg_dependency and
531         partial_reg_stall are set.
532         (K8 splitters): Enable for generic as well.
533         * predicates.md (incdec_operand): Use TARGET_INCDEC
534         (aligned_operand): Avoid memory mismatch stalls.
535         * athlon.md: Enable for generic64, new patterns for 128bit moves.
536         * ppro.md: Enable for generic32
537         * i386.c (generic64_cost, generic32_cost): New.
538         (m_GENERIC32, m_GENERIC64, m_GENERIC): New macros.
539         (x86_use_leave): Enable for generic64.  (x86_use_sahf,
540         x86_ext_80387_constants): Enable for generic32.  (x86_push_memory,
541         x86_movx, x86_unroll_strlen, x86_deep_branch, x86_use_simode_fiop,
542         x86_use_cltd, x86_promote_QImode, x86_sub_esp_4, x86_sub_esp_8,
543         x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves,
544         x86_partial_reg_dependency, x86_memory_mismatch_stall,
545         x86_accumulate_outgoing_args, x86_prologue_using_move,
546         x86_epilogue_using_move, x86_arch_always_fancy_math_387,
547         x86_sse_partial_reg_dependency, x86_four_jump_limit, x86_schedule):
548         Enable for generic.
549         (x86_use_incdec, x86_pad_returns): New.
550         (override_options): Add generic32 and generic64, translate "generic"
551         to generic32/generic64 and "i686" to "generic32", refuse
552         "generic32"/"generic64" as arch target.
553         (ix86_issue_rate, ix86_adjust_cost): Handle generic as athlon.
554         (ix86_reorg): Honor PAD_RETURNS.
555
556 2006-01-19  Diego Novillo  <dnovillo@redhat.com>
557
558         * tree-pretty-print.c (dump_generic_node): Handle
559         OMP_PARALLEL_FN, OMP_PARALLEL_DATA_ARG and OMP_RETURN_EXPR.
560         * cgraph.c (cgraph_expand_queue): Rename from
561         cgraph_analyze_queue.  Update all users.
562         * cgraphunit.c (cgraph_assemble_pending_functions): Process
563         cgraph_expand_queue.
564         (cgraph_expand_all_functions): Likewise.
565         (cgraph_finalize_pending_functions): Remove.  Update callers.
566
567         * tree.h (OMP_DIRECTIVE_P): Define.
568         (OMP_PARALLEL_FN): Define.
569         (OMP_PARALLEL_DATA_ARG): Define.
570         (OMP_SECTIONS_SECTIONS): Define.
571         * tree-pass.h (pass_expand_omp): Declare.
572         * omp-low.c (struct omp_region): Declare.
573         (struct omp_context): Remove fields 'parallel_type',
574         'parallel_start_ix' and 'parallel_start_additional_args'.
575         Update all users.
576         (struct omp_for_data): Rename from struct expand_omp_for_data.
577         (omp_regions): New static variable.
578         (root_omp_region): New static variable.
579         (find_omp_clause): Make static.
580         (is_in_combined_parallel_ctx): Remove.
581         (is_combined_parallel): New.
582         (extract_omp_for_data): Move earlier in the file.
583         (workshare_safe_to_combine_p): New.
584         (get_ws_args_for): New.
585         (determine_parallel_type): Move earlier in the file.
586         (omp_copy_decl_2): Do not set DECL_CONTEXT of new local to the
587         child function.
588         (omp_copy_decl): Likewise.
589         (create_omp_child_function): Likewise.
590         (lookup_omp_region): New.
591         (dump_omp_region): New.
592         (debug_omp_region): New.
593         (debug_all_omp_regions): New.
594         (new_omp_region): New.
595         (scan_omp_parallel): If parallel_nesting_level > 1, the
596         directive is nested within another parallel directive.
597         Set OMP_PARALLEL_FN.
598         (scan_omp_for): Do not try to handle combined parallel+for
599         cases.
600         Remove FIXME comment.
601         (scan_omp_nested): Remove.
602         (scan_omp_1): Do not call scan_omp_nested when
603         parallel_nesting_level is > 1.
604         Do not change the DECL_CONTEXT of local variables found.
605         (lookup_decl_in_outer_ctx): New.
606         (lower_rec_input_clauses): Rename from expand_rec_input_clauses.
607         (lower_lastprivate_clauses): Rename from expand_lastprivate_clauses.
608         (lower_reduction_clauses): Rename from expand_reduction_clauses.
609         (lower_copyprivate_clauses): Rename from expand_copyprivate_clauses.
610         If CTX is nested, lookup VAR in the outer context when
611         building copy assignment.
612         (lower_send_clauses): Rename from expand_send_clauses.
613         If CTX is nested, lookup VAR in the outer context when
614         building copy assignments.
615         (lower_send_shared_vars): Rename from expand_send_shared_vars.
616         If CTX is nested, lookup VAR in the outer context when
617         building copy assignments.
618         (expand_parallel_call): Rename from build_parallel_call.
619         Handle combined parallel+workshare cases.
620         Re-implement to emit code into the CFG.
621         (list2chain): New.
622         (expand_omp_parallel): Re-implement to emit code into the CFG.
623         Call move_sese_region_to_fn to outline the sub-graph
624         containing the parallel region.
625         (expand_omp_for_1): Remove.
626         (expand_omp_for_generic): Re-implement to emit code into the
627         CFG.
628         (expand_omp_for_static_nochunk): Likewise.
629         (expand_omp_for_static_chunk): Likewise.
630         (expand_omp_for): Likewise.
631         (expand_omp_sections): Likewise.
632         (remove_exit_barriers): New.
633         (expand_omp_synch): New.
634         (expand_omp): New.
635         (build_omp_regions_1): New.
636         (build_omp_regions): New.
637         (execute_expand_omp): New.
638         (gate_expand_omp): New.
639         (pass_expand_omp): Define.
640         (lower_omp_sections): Rename from expand_omp_sections.
641         Set OMP_SECTIONS_SECTIONS.
642         (lower_omp_single_simple): Rename from expand_omp_single_simple.
643         (lower_omp_single_copy): Rename from expand_omp_single_copy.
644         (lower_omp_single): Rename from expand_omp_simple.
645         (lower_omp_master): Rename from expand_omp_master.
646         (lower_omp_ordered): Rename from expand_omp_ordered.
647         (lower_omp_critical): Rename from expand_omp_critical.
648         (lower_omp_for_lastprivate): Rename from expand_omp_for_lastprivate.
649         (lower_omp_for): Re-implement.
650         (lower_omp_parallel): Re-implement.
651         (lower_regimplify): Rename from expand_regimplify.
652         (lower_omp_1): Rename from expand_omp_1.
653         If there are syntax errors in the program, replace every
654         OpenMP directive with NOP.
655         Call lower_omp_* instead of expand_omp_*.
656         (lower_omp): Rename from expand_omp.
657
658         * tree-gimple.c (is_gimple_stmt): Handle OMP_RETURN_EXPR.
659         * tree-gimple.h (enum omp_parallel_type): Remove.
660         (gimple_boolify): Declare extern.
661         (find_omp_clause, determine_parallel_type): Remove.
662
663         * gimple-low.c (lower_omp_directive): New.
664         (lower_stmt): Call it.
665         (record_vars_into): Move from ...
666         (record_vars): ... here.
667         Call record_vars_into with current_function_decl.
668
669         * gimplify.c (struct gimplify_ctx): Remove fields
670         combined_pre_p and combined_ctxp.  Update users.
671         (get_formal_tmp_var): Add documentation.
672         (gimple_boolify): Make extern.
673         (gimplify_expr_in_ctx): Remove.  Update callers.
674         (gimplify_omp_parallel): Do not assume that OMP_PARALLEL_BODY
675         will always be a BIND_EXPR.
676         (gimplify_expr): Handle OMP_RETURN_EXPR.
677         * tree.def (BLOCK): Remove documentation about BLOCK_TYPE_TAGS.
678         (OMP_PARALLEL): Add 3 operands.
679         (OMP_SECTIONS): Add 1 operand.
680         (OMP_RETURN_EXPR): Define.
681
682         * tree-inline.c (estimate_num_insns_1): Handle OpenMP directives.
683         (copy_tree_r): Restore TREE_CHAIN in OMP_CLAUSE_*.
684         * tree-iterator.c (alloc_stmt_list): Assert that we are not
685         creating a circular free list.
686         (free_stmt_list): Assert that we are not freeing stmt_list_cache.
687
688         * tree-flow.h (move_sese_region_to_fn): Declare.
689         (record_vars_into): Declare.
690         * tree-cfg.c (make_omp_sections_edges): New.
691         (make_exit_edges): Handle OMP_PARALLEL, OMP_FOR, OMP_SINGLE,
692         OMP_MASTER, OMP_ORDERED, OMP_CRITICAL, OMP_RETURN_EXPR,
693         OMP_SECTIONS and OMP_SECTION.
694         (is_ctrl_altering_stmt): Return true for OMP_DIRECTIVE_P.
695         (set_bb_for_stmt): Undo change to check currently_expanding_to_rtl.
696         (verify_stmt): Do not handle OMP_DIRECTIVE_P.
697         (gather_blocks_in_sese_region): New.
698         (struct move_stmt_d): Declare.
699         (move_stmt_r): New.
700         (move_block_to_fn): New.
701         (move_sese_region_to_fn): New.
702
703         * passes.c (init_optimization_passes): Schedule
704         pass_expand_omp after pass_init_datastructures.
705
706         * tree-ssa-operands.c (get_expr_operands): Handle
707         OMP_PARALLEL, OMP_SECTIONS, OMP_FOR, OMP_RETURN_EXPR,
708         OMP_SINGLE, OMP_MASTER, OMP_ORDERED, OMP_CRITICAL.
709
710 2006-01-19  Jeff Law  <law@redhat.com>
711
712         * tree-vrp.c (extract_range_from_assert): Refine the result range
713         if the variable referenced by the ASSERT_EXPR has a range and
714         either the tentative result range or the previous range is a
715         VR_ANTI_RANGE.
716
717 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
718
719         * c-decl.c (add_flexible_array_elts_to_size): Simplify vector accesses.
720
721 2006-01-19  Jan Hubicka  <jh@suse.cz>
722
723         * tree-vect-patterns.c (vect_pattern_recog_1): Prevent parse error.
724
725 2006-01-19  Paolo Bonzini  <bonzini@gnu.org>
726
727         * combine.c (try_combine): Do not worry about MEMs wrapped by USEs.
728         (expand_compound_operation, expand_field_assignment): Fail if the
729         bit lengths of an extract operation are out of range.
730         (make_extraction): Compute wanted_inner_mode based on the position
731         and length of the extraction.  Make it extraction_mode for non-constant
732         positions, and do not modify offset in that case.  When generating a
733         new MEM, use a mode that can hold the extraction while keeping correct
734         alignment.  Remove code that supported MEMs wrapped by USEs.
735         (simplify_shift_const_1, force_to_mode) <case USE>: Remove.
736
737 2006-01-19  Andreas Krebbel  <krebbel1@de.ibm.com>
738
739         * config/s390/s390.md ("Y", "y"): New mode attribute.
740         ("*cmpdi_ccs", "*cmpsi_ccs", "*adddi3_imm_cc", "*adddi3_carry1_cc",
741         "*adddi3_carry1_cconly", "*adddi3_carry2_cc", "*adddi3_carry2_cconly",
742         "*adddi3_cc", "*adddi3_cconly", "*adddi3_cconly2", "*adddi3_64",
743         "*addsi3_imm_cc", "*addsi3_carry1_cc",
744         "*addsi3_carry1_cconly", "*addsi3_carry2_cc", "*addsi3_carr2_cconly",
745         "*addsi3_cc", "*addsi3_cconly", "*addsi3_cconly2",
746         "*subdi3_borrow_cc", "*subdi3_borrow_cconly", "*subdi3_cc",
747         "*subdi3_cc2", "*subdi3_cconly", "*subdi3_cconly2", "*subdi3_64",
748         "*subsi3_borrow_cc", "*subsi3_borrow_cconly", "*subsi3_cc",
749         "*subsi3_cc2", "*subsi3_cconly", "*subsi3_cconly", "*subsi3_cconly2",
750         "addsi3", "subsi3"): Insn patterns removed.
751         ("*add<mode>3_carry1_cc", "*add<mode>3_carry1_cconly",
752         "*add<mode>3_carry2_cc", "*add<mode>3_carry2_cconly", "*add<mode>3_cc",
753         "*add<mode>3_cconly", "*add<mode>3_cconly2", "*add<mode>3_imm_cc",
754         "*sub<mode>3_borrow_cc", "*sub<mode>3_borrow_cconly",
755         "*sub<mode>3_cc", "*sub<mode>3_cc2", "*sub<mode>3_cconly",
756         "*sub<mode>3_cconly2"): New insn patterns.
757         ("addsi3", "subsi3"): New expanders.
758
759 2006-01-19  Dorit Nuzman  <dorit@il.ibm.com>
760
761         * Makefile.in (tree-vect-patterns.o): Add rule for new file.
762         * tree-vect-analyze.c (vect_determine_vectorization_factor): Use
763         existing STMT_VINFO_VECTYPE if available.
764         (vect_mark_relevant): Add special handling for stmts that are
765         marked as STMT_VINFO_IN_PATTERN_P.
766         (vect_analyze_loop): Call vect_pattern_recog.
767         * tree-vectorizer.c (new_stmt_vec_info): Initialize new fields.
768         * tree-vectorizer.h (in_pattern_p, related_stmt): New fields in
769         stmt_info.
770         (STMT_VINFO_IN_PATTERN_P, STMT_VINFO_RELATED_STMT): New macros.
771         (vect_recog_func_ptr): New function-pointer type.
772         * tree-vect-patterns.c: New file.
773         (vect_recog_widen_sum_pattern, vect_recog_widen_mult_pattern):
774         (vect_recog_dot_prod_pattern, vect_pattern_recog):
775         (vect_pattern_recog_1): New functions.
776         (vect_pattern_recog_funcs): New array of function pointers.
777
778         * tree-vectorizer.h (ternary_op): New enum value.
779         * tree-vect-transform.c (vect_create_epilog_for_reduction): Added
780         declaration. Revised documentation. Removed redundant dump prints.
781         Removed redundant argument. Added support for reduction patterns.
782         (vectorizable_reduction): Added support for reduction patterns.
783         (vect_transform_stmt): Added support for patterns.
784
785         * expr.c (expand_expr_real_1): Added case for DOT_PROD_EXPR.
786         * genopinit.c (udot_prod_optab, sdot_prod_optab): Initialize.
787         * optabs.c (optab_for_tree_code): Added case for DOT_PROD_EXPR.
788         (expand_widen_pattern_expr): New function.
789         (init_optabs): Initialize new optabs udot_prod_optab,
790         sdot_prod_optab.
791         * optabs.h (OTI_sdot_prod, OTI_udot_prod): New.
792         (sdot_prod_optab, udot_prod_optab): Define new optabs.
793         (expand_widen_pattern_expr): New function declaration.
794         * tree.def (DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR): New
795         tree-codes.
796         * tree-inline.c (estimate_num_insns_1): Added cases for new
797         tree-codes DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
798         * tree-pretty-print.c (dump_generic_node): Likewise.
799         (op_prio): Likewise.
800         (op_symbol): Added cases for WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
801         * tree-ssa-operands.c (get_expr_operands): Added case for
802         DOT_PROD_EXPR.
803         * tree-vect-patterns.c (widened_name_p): New function.
804         (vect_recog_dot_prod_pattern): Added function implementation.
805         * tree-vect-transform.c (get_initial_def_for_reduction): Added
806         cases for DOT_PROD_EXPR, WIDEN_SUM_EXPR.
807         * config/rs6000/altivec.md (udot_prod<mode>, sdot_prodv8hi): New.
808         * config/i386/sse.md (sdot_prodv8hi, udot_prodv4si): New.
809
810         * expr.c (expand_expr_real_1): Added case for WIDEN_SUM_EXPR.
811         * genopinit.c (widen_ssum_optab, widen_usum_optab): Initialize.
812         * optabs.c (optab_for_tree_code): Added case for WIDEN_SUM_EXPR.
813         (init_optabs): Initialize new optabs widen_ssum_optab,
814         widen_usum_optab.
815         * optabs.h (OTI_widen_ssum, OTI_widen_usum): New.
816         (widen_ssum_optab, widen_usum_optab): Define new optabs.
817         * tree-vect-generic.c: (expand_vector_operations_1): Check type of
818         use instead of type of def.
819         * tree-vect-patterns.c (vect_recog_widen_sum_pattern): Added
820         function implementation.
821         * config/rs6000/altivec.md (widen_usum<mode>, widen_ssumv16qi,
822         widen_ssumv8hi): New.
823
824         * doc/tm.texi (ssum_widen, usum_widen, sdot_prod, udot_prod): New
825         patterns.
826
827 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
828
829         PR c/25805
830         * c-decl.c (add_flexible_array_elts_to_size): New function.
831         (finish_decl): Use it.
832
833 2006-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
834
835         * diagnostic.h: Include options.h.
836         * config/rs6000/x-darwin (host-ppc-darwin.o): Correct the
837         dependancies for diagnostic.h.
838         * Makefile.in (DIAGNOSTIC_H): Add options.h.
839
840 2006-01-16  Daniel Berlin  <dberlin@dberlin.org>
841
842         * tree-ssa-operands.h (ssa_call_clobbered_cache_valid): Remove.
843         (ssa_ro_call_cache_valid): Ditto.
844         * tree-ssa-alias.c (sort_tags_by_id): New function.
845         (init_transitive_clobber_worklist): Ditto.
846         (add_to_worklist): Ditto.
847         (mark_aliases_call_clobbered): Ditto.
848         (compute_tag_properties): Ditto.
849         (set_initial_properties): Ditto.
850         (compute_call_clobbered): Ditto.
851         (compute_may_aliases):  Call compute_call_clobbered and grouping.
852         (compute_flow_sensitive_aliasing): Remove clobbering related code.
853         (compute_flow_insensitive_aliasing): Grouping now happens in our
854         caller.
855         (setup_pointers_and_addressables): Remove clobbering related code.
856         (add_may_alias): Ditto.
857         (replace_may_alias): Ditto.
858         (get_nmt_for): Ditto.
859         (create_global_var):
860         (is_escape_site): Return an escape_type enumeration.
861         * tree-flow-inline.h (is_call_clobbered):  Global var does not
862         imply call clobbered.
863         (mark_call_clobbered): Take a reason for marking this. Remove
864         marking of globalness, and cache invalidation.
865         (clear_call_clobbered): Remove cache invalidation code.
866         * tree-dfa.c (dump_variable): If details is on, dump the reason
867         for escaping.
868         * tree-outof-ssa.c (create_temp): Copy escape mask from original
869         variable.
870         * tree-flow.h (struct ptr_info_def): Add escape mask member.
871         (struct var_ann_d): Ditto.
872         (enum escape_type): New.
873         (mark_call_clobbered): Adjust prototype.
874         * tree-ssa-structalias.c (update_alias_info): Unmodifiable vars
875         are never call clobbered.
876         Record reasons for escaping.
877         * tree-ssa-structalias.h (is_escape_site): Update prototype.
878         * tree-ssa-operands.c (ssa_call_clobbered_cache_valid): Remove.
879         (ssa_ro_call_cache_valid): Ditto.
880         (clobbered_v_may_defs): Ditto.
881         (clobbered_vuses): Ditto.
882         (ro_call_vuses): Ditto.
883         (clobber_stats): New.
884         (init_ssa_operands): Zero out clobber stats.
885         (fini_ssa_operands): Print out clobber stats.
886         (get_call_expr_operands): Pass callee fndecl to
887         add_call_read_ops).
888         (add_call_clobber_ops): Remove use of cache.
889         Add use of PURE_CONST information.
890         (add_call_read_ops): Remove use of cache.
891         Add use of static not_read information.
892
893 2006-01-18  Alexandre Oliva  <aoliva@redhat.com>
894
895         Introduce TLS descriptors for i386 and x86_64.
896         * config/i386/i386.h (TARGET_GNU2_TLS): New macro.
897         (TARGET_ANY_GNU_TLS): New macro.
898         (enum tls_dialect): Added TLS_DIALECT_GNU2.
899         (struct machine_function): Add tls_descriptor_call_expanded_p.
900         (ix86_tls_descriptor_calls_expande_in_cfun): New macro.
901         (ix86_current_function_calls_tls_descriptor): Likewise.
902         * config/i386/i386.c (ix86_tls_dialect): Fix typo in comment.
903         (override_options): Introduce gnu2 tls dialect.
904         (ix86_frame_pointer_required): Functions containing TLSCALLs are
905         not leaves.
906         (ix86_select_alt_pic_regnum, ix86_compute_frame_layout):
907         Likewise.
908         (legitimize_tls_address): Adjust logic for GNU2 TLS.
909         (ix86_init_machine_status): Initialize new field.
910         (ix86_tls_get_addr): Use TARGET_ANY_GNU_TLS.
911         (ix86_tls_module_base): New.
912         * config/i386/i386-protos.h (ix86_tls_module_base): Declare it.
913         * config/i386/i386.md (UNSPEC_TLSDESC): New constant.
914         (tls_global_dynamic_32, tls_global_dynamic_64): Handle GNU2 TLS.
915         (tls_local_dynamic_base_32, tls_local_dynamic_base_64): Likewise.
916         (tls_dynamic_gnu2_32, *tls_dynamic_lea_32): New patterns.
917         (*tls_dynamic_call_32, *tls_dynamic_gnu2_combine_32): Likewise.
918         (tls_dynamic_gnu2_64, *tls_dynamic_lea_64): Likewise.
919         (*tls_dynamic_call_64, *tls_dynamic_gnu2_combine_64): Likewise.
920         * config/i386/predicates.md (tls_modbase_operand): New.
921         (tp_or_register_operand): New.
922
923 2006-01-18  Daniel Berlin  <dberlin@dberlin.org>
924
925         * ipa-reference.c (check_operand):  Allow FUNCTION_DECL.
926         (look_for_address_of): Ditto.
927         (ipa_init): Walk the function decls.
928         (static_execute): Don't set readonly on FUNCTION_DECL's.
929
930 2006-01-18  Roger Sayle  <roger@eyesopen.com>
931
932         * config/i386/i386.md (shift spliter): Fix a a typo in the splitter
933         for shifts where the source and destination registers are different.
934
935 2006-01-18  Paul Brook  <paul@codesourcery.com>
936
937         Merge from csl-arm-branch.
938         2005-03-14  Julian Brown  <julian@codesourcery.com>
939         * config/arm/lib1funcs.asm (ashldi3): Don't define on SymbianOS.
940         (aeabi_llsl): Likewise.
941         (ashrdi3): Likewise.
942         (aeabi_lasr): Likewise.
943         (lshrdi3): Likewise.
944         (aeabi_llsr): Likewise.
945         2005-03-10  Julian Brown  <julian@codesourcery.com>
946         * config.gcc: Disable shared libgcc for SymbianOS.
947         * config/arm/t-symbian (LIB2ADDEH): Include config/arm/pr-support.c.
948
949 2006-01-18  DJ Delorie  <dj@redhat.com>
950
951         * c-pragma.c (handle_pragma_diagnostic): New.
952         (init_pragma): Register it.
953         * doc/extend.texi: Document it.
954
955         * diagnostic.def: Add DK_UNSPECIFIED and DK_IGNORED.
956         * diagnostic.h (diagnostic_classify_diagnostic): Declare.
957         (diagnostic_context): Add classify_diagnostic[].
958         * diagnostic.c (diagnostic_count_diagnostic): Don't count warnings
959         as errors if they're overridden to DK_WARNING.
960         (diagnostic_initialize): Initialize classify_diagnostic[].
961         (diagnostic_set_kind_override): New.
962         (diagnostic_report_diagnostic): Check for kind changes.
963         * opts.c (common_handle_option): Take lang_mask.  Update callers.
964         Handle OPT_Werror_.
965         * common.opt (Werror=): New.
966         * doc/invoke.texi: Document -Werror=*
967
968 2006-01-18  Jeff Law  <law@redhat.com>
969
970         * tree-vrp.c (test_for_singularity): Correct test for new
971         min limit.  Use operand_equal_p rather than pointer equality
972         for testing if new min/max values are equal.
973
974         * tree-ssa-propagate.c (substitute_and_fold): Delay simplifications
975         using range information until after propagation and folding.
976
977 2006-01-18  Richard Henderson  <rth@redhat.com>
978             Aldy Hernandez  <aldyh@redhat.com>
979             Jakub Jelinek  <jakub@redhat.com>
980             Diego Novillo  <dnovillo@redhat.com>
981
982         * omp-low.c: New file.
983         * c-omp.c: New file.
984
985 2006-01-18  Richard Henderson  <rth@redhat.com>
986             Jakub Jelinek  <jakub@redhat.com>
987             Diego Novillo  <dnovillo@redhat.com>
988
989         * doc/invoke.texi: Document -fopenmp.
990         * tree-dump.h (debug_function): Declare.
991         * hooks.c (hook_bool_tree_bool_false): New function.
992         (hook_tree_tree_null): Remove.
993         (hook_tree_tree_tree_null): New.
994         * hooks.h: Update to match.
995         * tree-pretty-print.c (debug_tree_chain): New.
996         (print_generic_expr): Handle TDF_CHAIN.
997         (dump_generic_node): Handle BLOCK.
998         Do not abort with incomplete SWITCH_EXPRs.
999         Do not dump body of an OpenMP directive if TDF_SLIM is given.
1000         <case OMP_PARALLEL, OMP_FOR, OMP_SECTIONS>: Don't
1001         print space after directive name.
1002         <OMP_FOR>: Handle printing OMP_FOR_PRE_BODY.
1003         Handle OMP_MASTER and OMP_ORDERED.
1004         Handle printing of OMP_BODY just in one place, goto
1005         dump_omp_body in the rest of OMP_* nodes that have
1006         OMP_BODY.
1007         Don't handle clause nodes here.  Update omp statements to
1008         use dump_omp_clauses.
1009         Handle OMP_SINGLE, OMP_SECTIONS, OMP_SECTION,
1010         OMP_CLAUSE_ORDERED, OMP_CLAUSE_SCHEDULE, OMP_ATOMIC,
1011         OMP_CRITICAL, OMP_CLAUSE_NOWAIT, GOMP_CLAUSE_IF,
1012         GOMP_CLAUSE_NUM_THREADS, GOMP_FOR, GOMP_CLAUSE_SHARED,
1013         GOMP_CLAUSE_FIRSTPRIVATE, GOMP_CLAUSE_LASTPRIVATE,
1014         GOMP_CLAUSE_COPYIN and GOMP_CLAUSE_COPYPRIVATE.
1015         Adjust output for GOMP_PARALLEL.
1016         (dump_omp_clauses): New.
1017         (print_declaration): Dump DECL_VALUE_EXPR.
1018         (op_symbol_1): Split out of op_symbol.
1019         (dumping_stmts): Remove.  Update all users.
1020         * cgraph.c (cgraph_analyze_queue): New.
1021         (cgraph_add_new_function): New.
1022         * cgraph.h (cgraph_analyze_queue): Declare.
1023         (cgraph_add_new_function): Declare.
1024         (cgraph_lower_function): Remove.
1025         * tree.c (walk_tree): Walk OMP_CLAUSE_CHAIN of OMP_CLAUSE_*
1026         nodes.  Use switch for all nodes, handle most of IS_EXPR_CODE_CLASS
1027         and TYPE_P nodes in its default clause.
1028         (empty_body_p): New.
1029         (tree_range_check_failed): New.
1030         (build5_stat): New.
1031         * tree.h (OMP_CLAUSE_REDUCTION_INIT,
1032         OMP_CLAUSE_REDUCTION_MERGE,
1033         OMP_CLAUSE_REDUCTION_PLACEHOLDER,
1034         OMP_CLAUSE_PRIVATE_DEBUG,
1035         OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE, OMP_FOR_PRE_BODY,
1036         OMP_MASTER_BODY, OMP_ORDERED_BODY OMP_BODY,
1037         OMP_CLAUSES, OMP_CLAUSE_DECL, OMP_CLAUSE_DEFAULT_KIND,
1038         OMP_CLAUSE_CHAIN, OMP_CLAUSE_OUTER_DECL,
1039         OMP_CLAUSE_INNER_DECL, OMP_CLAUSE_NUM_THREADS_EXPR,
1040         OMP_CLAUSE_IF_EXPR, OMP_CLAUSE_SCHEDULE_CHUNK_EXPR,
1041         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE. OMP_PARALLEL_VAR_INIT,
1042         OMP_PARALLEL_VAR_REDUC, OMP_FOR_VAR_INIT,
1043         OMP_FOR_VAR_LAST, OMP_FOR_VAR_REDUC,
1044         OMP_SECTIONS_VAR_INIT, OMP_SECTIONS_VAR_LAST,
1045         OMP_SECTIONS_VAR_REDUC, OMP_CLAUSE_REDUCTION_CODE
1046         OMP_SINGLE_CLAUSES, OMP_SINGLE_BODY,
1047         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE, OMP_SECTION_BODY,
1048         OMP_CRITICAL_NAME, OMP_CRITICAL_BODY): New.
1049         (TREE_RANGE_CHECK): New.
1050         (empty_body_p): Declare.
1051         (enum omp_clause_default_kind): New.
1052         (build_string_literal): Declare.
1053         (enum omp_clause_schedule_kind, OMP_CLAUSE_SCHEDULE_KIND): New.
1054         (build5_stat, build5): Declare.
1055         * tree-pass.h (TDF_CHAIN): Define.
1056         * tree-pass.h (PROP_gimple_lomp): Define.
1057         (pass_lower_omp): Declare.
1058         * diagnostic.h (debug_tree_chain): Declare.
1059         * builtins.c (get_builtin_sync_mode): Use 0 as last argument to
1060         mode_for_size.
1061         (expand_builtin): Handle sync BUILT_IN_*_16 builtins.
1062         * builtins.c (build_string_literal): Make extern.
1063         * gcc.c (include_spec_function): New.
1064         (static_spec_functions): Add it.
1065         (main): Move load of libgomp.spec ...
1066         (LINK_COMMAND_SPEC): ... here.
1067         (link_gomp_spec): New.
1068         (static_specs): Include it.
1069         (LINK_COMMAND_SPEC): Add link_gomp.
1070         (GOMP_SELF_SPECS): New.
1071         (driver_self_specs): Include it.
1072         (switch_matches): Don't mark inline.
1073         (main): Load libgomp.spec.
1074         * tree-gimple.c (is_gimple_stmt): True for OMP_MASTER,
1075         OMP_ORDERED, OMP_CRITICAL, OMP_SECTIONS, OMP_SECTION,
1076         and OMP_SINGLE, OMP_FOR and OMP_PARALLEL.
1077         * tree-gimple.h (enum omp_parallel): Declare.
1078         (determine_parallel_type): Declare.
1079         (omp_firstprivatize_variable): Declare.
1080         (omp_reduction_init): Declare.
1081         (diagnose_omp_structured_block_errors): Declare.
1082         (struct walk_stmt_info): Add want_return_expr.
1083         (struct walk_stmt_info): Add want_bind_expr, want_locations.
1084         (find_omp_clause): Declare.
1085         (insert_field_into_struct): Declare.
1086         (struct walk_stmt_info): Move from tree-nested.c
1087         (walk_stmts): Declare.
1088         * c-cppbuiltin.c (c_cpp_builtins): If -fopenmp, #define _OPENMP
1089         to 200505.
1090         * cgraphunit.c (cgraph_lower_function): Make static.
1091         (cgraph_finalize_pending_functions): New.
1092         (cgraph_finalize_function): Call it.
1093         (cgraph_finalize_compilation_unit): Likewise.
1094         * builtin-types.def (BT_I16, BT_FN_I16_VPTR_I16,
1095         BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
1096         (BT_FN_UINT_UINT): New.
1097         (DEF_FUNCTION_TYPE_6, DEF_FUNCTION_TYPE_7,
1098         DEF_FUNCTION_TYPE_VAR_4): Document.
1099         (BT_PTR_LONG, BT_PTR_PTR, BT_FN_BOOL, BT_FN_INT,
1100         BT_FN_VOID_PTRPTR, BT_PTR_FN_VOID_PTR,
1101         BT_FN_BOOL_LONGPTR_LONGPTR, BT_FN_VOID_OMPFN_PTR_UINT,
1102         BT_FN_VOID_OMPFN_PTR_UINT_UINT,
1103         BT_FN_BOOL_LONG_LONG_LONG_LONGPTR_LONGPTR,
1104         BT_FN_BOOL_LONG_LONG_LONG_LONG_LONGPTR_LONGPTR,
1105         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG,
1106         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG): New.
1107         * builtins.def: Update DEF_BUILTIN comment to include COND argument.
1108         Move all DEF_SYNC_BUILTIN () and DEF_GOMP_BUILTIN () builtins
1109         into separate files.
1110         (DEF_GOMP_BUILTIN): New.
1111         (BUILT_IN_OMP_GET_THREAD_NUM, BUILT_IN_GOMP_BARRIER,
1112         BUILT_IN_GOMP_CRITICAL_START, BUILT_IN_GOMP_CRITICAL_END,
1113         BUILT_IN_GOMP_CRITICAL_NAME_START, BUILT_IN_GOMP_CRITICAL_NAME_END,
1114         BUILT_IN_GOMP_LOOP_STATIC_START, BUILT_IN_GOMP_LOOP_DYNAMIC_START,
1115         BUILT_IN_GOMP_LOOP_GUIDED_START, BUILT_IN_GOMP_LOOP_RUNTIME_START,
1116         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_START,
1117         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_START,
1118         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_START,
1119         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_START,
1120         BUILT_IN_GOMP_LOOP_STATIC_NEXT, BUILT_IN_GOMP_LOOP_DYNAMIC_NEXT,
1121         BUILT_IN_GOMP_LOOP_GUIDED_NEXT, BUILT_IN_GOMP_LOOP_RUNTIME_NEXT,
1122         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_NEXT,
1123         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_NEXT,
1124         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_NEXT,
1125         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_NEXT,
1126         BUILT_IN_GOMP_PARALLEL_LOOP_STATIC_START,
1127         BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC_START,
1128         BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED_START,
1129         BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME_START,
1130         BUILT_IN_GOMP_LOOP_END, BUILT_IN_GOMP_LOOP_END_NOWAIT,
1131         BUILT_IN_GOMP_ORDERED_START, BUILT_IN_GOMP_ORDERED_END,
1132         BUILT_IN_GOMP_PARALLEL_START, BUILT_IN_GOMP_PARALLEL_END,
1133         BUILT_IN_GOMP_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_NEXT,
1134         BUILT_IN_GOMP_PARALLEL_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_END,
1135         BUILT_IN_GOMP_SECTIONS_END_NOWAIT, BUILT_IN_GOMP_SINGLE_START,
1136         BUILT_IN_GOMP_SINGLE_COPY_START, BUILT_IN_GOMP_SINGLE_COPY_END): New.
1137         * sync-builtins.def: New file, moved from builtins.def.
1138         * omp-builtins.def: New file, moved from builtins.def.
1139         * c-objc-common.h (LANG_HOOKS_OMP_PREDETERMINED_SHARING): Redefine.
1140         * gimple-low.c (lower_function_body): Clear data.
1141         (lower_stmt): Do not handle COMPOUND_EXPR.
1142         Remove call to print_node_brief.
1143         * c-tree.h (c_finish_omp_clauses): New prototype.
1144         (C_DECL_THREADPRIVATE_P): Define.
1145         (lookup_name_no_remap, c_omp_remap_private): Remove
1146         (c_begin_omp_parallel, c_finish_omp_parallel): Update.
1147         (check_for_loop_decls): Update decl.
1148         (lookup_name_no_remap, c_omp_remap_private): Declare.
1149         (build_indirect_ref, build_modify_expr, pushdecl,
1150         pushdecl_top_level): Move to c-common.h.
1151         * dwarf2out.c (loc_descriptor_from_tree_1): Don't set unsignedp
1152         before the switch, but just in the 2 places that need it.
1153         * c-decl.c (diagnose_mismatched_decls): Do not check for
1154         mismatched thread-local attributes when OLDDECL is marked
1155         threadprivate and NEWDECL has no thread-local attributes.
1156         (merge_decls): Merge C_DECL_THREADPRIVATE_P.
1157         (c_gimple_diagnostics_recursively): Rename from
1158         c_warn_unused_result_recursively.  Invoke
1159         diagnose_omp_structured_block_errors.
1160         (check_for_loop_decls): Return a singular decl found.
1161         * langhooks.c (lhd_omp_predetermined_sharing): Return
1162         OMP_CLAUSE_DEFAULT_SHARED for DECL_ARTIFICIAL decls.
1163         (lhd_omp_firstprivatize_type_sizes): New.
1164         (lhd_omp_assignment): New.
1165         (lhd_omp_predetermined_sharing): New.
1166         * langhooks.h (struct gimplify_omp_ctx): Forward declare.
1167         (struct lang_hooks_for_types): Add
1168         omp_firstprivatize_type_sizes, omp_privatize_by_reference,
1169         omp_predetermined_sharing, omp_disregard_value_expr,
1170         omp_private_debug_clause, omp_clause_default_ctor,
1171         omp_clause_copy_ctor, omp_clause_assign_op, omp_clause_dtor.
1172         (c_finish_omp_clauses): New.
1173         (c_finish_bc_stmt): Diagnose break within omp for.
1174         (c_begin_omp_parallel, c_finish_omp_parallel): New.
1175         (build_unary_op): Return error_mark after reporting
1176         a readonly_error.
1177         (build_modify_expr): Likewise.
1178         * gimplify.c: Include optabs.h and pointer-set.h.
1179         (enum gimplify_omp_var_data): Declare.
1180         (struct gimplify_omp_ctx): Declare.
1181         (struct gimplify_ctx): Add fields prev_context, combined_pre_p
1182         and combined_ctxp.
1183         (gimplify_ctxp, gimplify_omp_ctxp): New local variables.
1184         (push_gimplify_context, pop_gimplify_context): Allow nesting.
1185         (splay_tree_compare_decl_uid): New.
1186         (new_omp_context): New.
1187         (delete_omp_context): New.
1188         (gimple_add_tmp_var): Call omp_add_variable.
1189         (gimplify_bind_expr): Likewise.
1190         (gimplify_var_or_parm_decl): If omp_notice_variable returned
1191         true, disregard DECL_VALUE_EXPR on the decl if any.
1192         (gimplify_expr_in_ctx): New.
1193         (omp_firstprivatize_variable, omp_firstprivatize_type_sizes
1194         omp_add_variable, omp_notice_variable, omp_is_private
1195         gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses_1
1196         gimplify_adjust_omp_clauses, gimplify_omp_parallel
1197         gimplify_omp_for, gimplify_omp_workshare, goa_lhs_expr_p
1198         gimplify_omp_atomic_fetch_op, goa_stabilize_expr
1199         gimplify_omp_atomic_pipeline, gimplify_omp_atomic_mutex
1200         gimplify_omp_atomic): New.
1201         (gimplify_expr): Handle OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
1202         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
1203         OMP_CRITICAL and OMP_ATOMIC.
1204         (gimplify_body): Verify gimplify_ctxp is empty after gimplification.
1205         * c-pragma.h (enum pragma_kind): Add
1206         PRAGMA_OMP_ATOMIC, PRAGMA_OMP_BARRIER,
1207         PRAGMA_OMP_CRITICAL, PRAGMA_OMP_FLUSH, PRAGMA_OMP_FOR,
1208         PRAGMA_OMP_MASTER, PRAGMA_OMP_ORDERED,
1209         PRAGMA_OMP_PARALLEL, PRAGMA_OMP_PARALLEL_FOR,
1210         PRAGMA_OMP_PARALLEL_SECTIONS, PRAGMA_OMP_SECTION,
1211         PRAGMA_OMP_SECTIONS, PRAGMA_OMP_SINGLE,
1212         PRAGMA_OMP_THREADPRIVATE.
1213         * tree.def (OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
1214         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
1215         OMP_CRITICAL, OMP_ATOMIC, OMP_CLAUSE_PRIVATE,
1216         OMP_CLAUSE_SHARED, OMP_CLAUSE_FIRSTPRIVATE,
1217         OMP_CLAUSE_LASTPRIVATE, OMP_CLAUSE_REDUCTION,
1218         OMP_CLAUSE_COPYIN, OMP_CLAUSE_COPYPRIVATE,
1219         OMP_CLAUSE_IF, OMP_CLAUSE_NUM_THREADS,
1220         OMP_CLAUSE_SCHEDULE, OMP_CLAUSE_NOWAIT,
1221         OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Define.
1222         * print-tree.c (print_node): Dump DECL_VALUE_EXPR.
1223         * tree-ssa-dce.c (find_control_dependence): Do not assume that
1224         ENTRY_BLOCK_PTR->next_bb == single_succ (ENTRY_BLOCK_PTR).
1225         * tree-nested.c (convert_call_expr): Call walk_body on OMP_BODY for
1226         OpenMP directives.
1227         (struct nesting_info): Add field_map,
1228         suppress_expansion, debug_var_chain.
1229         (create_nesting_tree): Initialize them.
1230         (lookup_field_for_decl): Use field_map.
1231         (get_nonlocal_debug_decl, get_local_debug_decl): New.
1232         (convert_local_omp_clauses): New.
1233         (finalize_nesting_tree_1): Add debug_var_chain to toplevel block.
1234         (walk_body): Split out of walk_function.
1235         (convert_nonlocal_omp_clauses, convert_local_omp_clauses): New.
1236         (convert_nonlocal_reference): Handle omp statements.
1237         (convert_local_reference): Likewise.
1238         (unnest_nesting_tree_1): Split out of finalize_nesting_tree_1.
1239         (unnest_nesting_tree): New.
1240         (lower_nested_functions): Call it.
1241         (insert_field_into_struct): Make extern.
1242         (struct walk_stmt_info): Move to tree-gimple.h.
1243         (walk_stmts): Make extern.
1244         * omp-builtins.def: New file.
1245         * tree-iterator.c (expr_only): Clarify comment.
1246         * c-common.h (pushdecl_top_level, pushdecl,
1247         build_modify_expr, build_indirect_ref,
1248         c_finish_omp_master, c_finish_omp_critical,
1249         c_finish_omp_ordered, c_finish_omp_barrier,
1250         c_finish_omp_atomic, c_finish_omp_flush,
1251         c_finish_omp_for, c_split_parallel_clauses,
1252         omp_clause_default_kind, c_omp_sharing_predetermined,
1253         c_omp_remap_decl): Declare.
1254         * Makefile.in (BUILTINS_DEF): Add omp-builtins.def.
1255         (OBJS-common): Add omp-low.o.
1256         (c-omp.o, omp-low.o): Add.
1257         (gimplify.o): Add dependency on $(OPTABS_H).
1258         (GTFILES): Add omp-low.c.
1259         (gt-stringpool.h): Add.
1260         * tree-cfg.c (set_bb_for_stmt): Do not update the
1261         block-to-labels map if we are currently expanding to RTL.
1262         (tree_node_can_be_shared): Remove unnecessary CONSTANT_CLASS_P
1263         checks.
1264         Handle IDENTIFIER_NODE.
1265         (tree_verify_flow_info): Do not ICE when emitting error
1266         messages about invalid labels.
1267         (dump_function_to_file): Reset CFUN before emitting the body
1268         of the function.
1269         (debug_function): New.
1270         * passes.c (init_optimization_passes): Schedule
1271         pass_lower_omp.
1272         * langhooks-def.h (lhd_omp_predetermined_sharing,
1273         lhd_omp_assignment, lhd_omp_firstprivatize_type_sizes):
1274         Declare.
1275         (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
1276         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Use it.
1277         (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE,
1278         LANG_HOOKS_OMP_PREDETERMINED_SHARING,
1279         LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
1280         LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE,
1281         LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR,
1282         LANG_HOOKS_OMP_CLAUSE_COPY_CTOR,
1283         LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP,
1284         LANG_HOOKS_OMP_CLAUSE_DTOR): Define.
1285         (LANG_HOOK_DECLS): Use them.
1286
1287 2006-01-18  Dmitry Kurochkin <dmitry.kurochkin@gmail.com>
1288             Richard Henderson  <rth@redhat.com>
1289             Jakub Jelinek  <jakub@redhat.com>
1290             Diego Novillo  <dnovillo@redhat.com>
1291
1292         * c-parser.c (pragma_omp_clause): Define.
1293         (c_parser_declaration_or_fndef): Document OpenMP syntax.
1294         (c_parser_compound_statement): Likewise.
1295         (c_parser_statement): Likewise.
1296         (c_parser_pragma): Handle omp pragmas.
1297         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
1298         OMP_PARALLEL_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK): Define.
1299         (c_parser_omp_clause_name, check_no_duplicate_clause,
1300         c_parser_omp_variable_list,
1301         c_parser_omp_var_list_parens, c_parser_omp_clause_copyin,
1302         c_parser_omp_clause_copyprivate,
1303         c_parser_omp_clause_default,
1304         c_parser_omp_clause_firstprivate, c_parser_omp_clause_if,
1305         c_parser_omp_clause_lastprivate,
1306         c_parser_omp_clause_nowait,
1307         c_parser_omp_clause_num_threads,
1308         c_parser_omp_clause_ordered, c_parser_omp_clause_private,
1309         c_parser_omp_clause_reduction,
1310         c_parser_omp_clause_schedule, c_parser_omp_clause_shared,
1311         c_parser_omp_all_clauses, c_parser_omp_structured_block,
1312         c_parser_omp_atomic, c_parser_omp_barrier,
1313         c_parser_omp_critical, c_parser_omp_flush,
1314         c_parser_omp_for_loop, c_parser_omp_for,
1315         c_parser_omp_master, c_parser_omp_ordered,
1316         c_parser_omp_sections_scope, c_parser_omp_sections,
1317         c_parser_omp_parallel, c_parser_omp_single,
1318         c_parser_omp_construct, c_parser_omp_threadprivate): New.
1319         * c-pragma.c (init_pragma): Do omp pragma registration here.
1320         * c.opt (fopenmp): New flag.
1321
1322 2006-01-18  Eric Christopher  <echristo@apple.com>
1323
1324         * gcc.c (GOMP_SELF_SPECS): Bracket in #ifndef/#endif.
1325         * config/darwin.h (GOMP_SELF_SPECS): Define.
1326
1327 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
1328
1329         * rtl.h: Remove the prototype for reg_alloc.
1330
1331 2006-01-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1332
1333         PR target/25731
1334         * config.gcc (hppa*-*-linux*, hppa[12]*-*-hpux10*, hppa*64*-*-hpux11*,
1335         hppa[12]*-*-hpux11*): Override default shared libgcc version for both
1336         sjlj and dwarf2 exception handling.
1337         * pa/t-hpux-shlib (SHLIB_SOVERSION): New make variable.
1338         Rework to allow overriding SHLIB_EXT and SHLIB_SOVERSION.
1339         * pa/pa.c (function_value): Treat complex and vector types as
1340         aggregates.
1341         (function_arg): Likewise.  Only pass scalar floats in the floating
1342         point argument registers.
1343         * pa/t-slibgcc-dwarf-ver: New file.
1344         * pa/t-slibgcc-sjlj-ver: New file.
1345         * pa/t-slibgcc-elf-ver: Delete file.
1346
1347 2006-01-19  Alan Modra  <amodra@bigpond.net.au>
1348
1349         * config/rs6000/rs6000.c (rs6000_assemble_integer): Correct
1350         unlikely_test_section_p test.
1351
1352 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
1353
1354         * mode-switching.c (optimize_mode_switching): Make it static.
1355         * basic-block.h: Remove the prototype for
1356         optimize_mode_switching.
1357
1358         * modulo-sched.c (sms_schedule): Make it static.
1359         * rtl.h: Remove the prototype for sms_schedule.
1360
1361         * postreload-gcse.c (gcse_after_reload_main): Make it static.
1362         * rtl.h: Remove the prototype for gcse_after_reload_main.
1363
1364         * reg-stack.c (reg_to_stack): Make it static.
1365         * rtl.h: Remove the prototype for reg_to_stack.
1366
1367         * regrename.c (regrename_optimize, copyprop_hardreg_forward):
1368         Make them static.
1369         * rtl.h: Remove the prototypes for regrename_optimize and
1370         copyprop_hardreg_forward.
1371
1372 2006-01-18  Eric Botcazou  <ebotcazou@adacore.com>
1373
1374         * config/alpha/alpha.c (alpha_split_tfmode_pair): Rename into
1375         alpha_split_tmode_pair.  Add 'mode' and 'fixup_overlap' arguments.
1376         Test against the appropriate null constant for the mode.
1377         If 'fixup_overlap' is true, swap the operands if they overlap.
1378         (alpha_split_tfmode_frobsign): Adjust call to alpha_split_tfmode_pair.
1379         * config/alpha/alpha-protos.h (alpha_split_tfmode_pair): Rename into
1380         alpha_split_tmode_pair and adjust for above change.
1381         * config/alpha/alpha.md (movtf_internal): Adjust call to
1382         alpha_split_tfmode_pair and rely on it to swap the operands.
1383         (movti_internal): New insn and post-reload splitter.
1384         (movti): New expander.
1385
1386 2006-01-18  Philippe De Muyter  <phdm@macqel.be>
1387
1388         * config/m68k/m68k.md (*addsi3_5200): Allow addq/subq to memory
1389         operands.
1390
1391 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
1392
1393         * rtlanal.c (global_reg_mentioned_p_1,
1394         global_reg_mentioned_p): Remove.
1395         * rtl.h: Remove the prototype for global_reg_mentioned_p.
1396
1397         * flow.c (initialize_uninitialized_subregs): Make it static.
1398         * rtl.h: Remove the prototype for
1399         initialize_uninitialized_subregs.
1400
1401         * function.c (instantiate_virtual_regs): Make it static.
1402         * function.h: Remove the prototype for
1403         instantiate_virtual_regs.
1404
1405         * regmove.c (regmove_optimize, combine_stack_adjustments):
1406         Make them static.
1407         * rtl.h: Remove the prototypes for regmove_optimize and
1408         combine_stack_adjustments.
1409
1410 2006-01-17  Roger Sayle  <roger@eyesopen.com>
1411
1412         * config/i386/i386.c (COSTS_N_BYTES): New macro.
1413         (size_cost): Encode costs in bytes so that a reg-reg addition is
1414         equivalent to COSTS_N_INSNS(1).
1415         (override_options): Use the size_cost.branch_cost as the default
1416         ix86_branch_cost when optimizing for size.
1417
1418 2006-01-18  Ben Elliston  <bje@au.ibm.com>
1419
1420         * Makefile.in (D32PBIT_FUNCS): New.
1421         (D64PBIT_FUNCS, D128PBIT_FUNCS): Likewise.
1422         (libgcc.mk): Set D32PBIT, D64PBIT, D128PBIT, D32PBIT_FUNCS,
1423         D64PBIT_FUNCS and D128PBIT_FUNCS.
1424         (LIBGCC_DEPS): Include $(D32PBIT), $(D64PBIT), $(D128PBIT).
1425         * mklibgcc.in Bring in the DFP support code if D32PBIT, D64PBIT or
1426         D128PBIT are set.
1427         (decnumber_dep): Define.
1428         * doc/libgcc.texi (Decimal float library routines): New node.
1429         * config/dfp-bit.h, config/dfp-bit.c: New files.
1430
1431 2006-01-18  Ben Elliston  <bje@au.ibm.com>
1432
1433         * expr.c (emit_move_change_mode): Always adjust addresses, not
1434         just during reload.  Copy replacements only during reload.
1435         (emit_move_insn_1): Move MODE_DECIMAL_FLOAT modes by invoking
1436         emit_move_via_integer.
1437
1438 2006-01-17  Shantonu Sen  <ssen@opendarwin.org>
1439
1440         * Makefile.in (check-%, check-consistency): Use $${srcdir}
1441         instead of $(srcdir) and ${srcdir}.
1442
1443 2006-01-17  Richard Earnshaw  <rearnsha@arm.com>
1444
1445         PR target/592
1446         PR middle-end/11135
1447         * arm.h (struct machine_function): Add pic_reg.
1448         * arm.c (arm_pic_register): Make unsigned.
1449         (arm_override_options): Only set arm_pic_register if
1450         TARGET_SINGLE_PIC_BASE.
1451         (use_return_insn): Only test for a pic register if it is fixed.
1452         (arm_compute_save_reg0_reg12_mask): Likewise.
1453         (thumb_compute_save_reg_mask): Likewise.
1454         (legitimate_pic_operand): Factor out some known invariants.
1455         (legitimize_pic_address): If we don't have a fixed pic register,
1456         then set up a pseudo in the function entry sequence.  Handle the
1457         pic base being in a pseudo.
1458         (arm_load_pic_register): Handle the pic register being in a pseudo.
1459         (arm_expand_prologue): Only set up the pic register if it is fixed.
1460         (thumb_expand_prologue): Likewise.
1461         * arm.md (pic_load_addr_based): Handle the pic base being a pseudo.
1462         (pic_load_addr_based_insn): Likewise.
1463         (builtin_setjmp_receiver): Don't restore the pic base if it isn't
1464         fixed.
1465
1466 2006-01-18  Ben Elliston  <bje@au.ibm.com>
1467
1468         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Reject
1469         decimal float modes for all floating point registers.
1470
1471         * config/rs6000/predicates.md (reg_or_mem_operand): Pair up
1472         match_code "mem" with match_test "macho_lo_sum_memory_operand".
1473
1474 2006-01-17  Jakub Jelinek  <jakub@redhat.com>
1475
1476         PR c/25682
1477         * c-typeck.c (build_unary_op): Fold offsetof-like expressions
1478         even when the pointer is not NULL.
1479
1480 2006-01-16  Ian Lance Taylor  <ian@airs.com>
1481
1482         * common.opt (ftoplevel-reorder): New option.
1483         * cgraph.c (cgraph_asm_nodes): New global variable.
1484         (cgraph_asm_last_node): New static variable.
1485         (cgraph_order): New global variable.
1486         (cgraph_create_node): Set new order field.
1487         (cgraph_varpool_node): Likewise.
1488         (decide_is_variable_needed): Return true if not
1489         flag_toplevel_reorder.
1490         (cgraph_add_asm_node): New function.
1491         * cgraph.h (struct cgraph_node): Add order field.
1492         (struct cgraph_varpool_node): Add order field.
1493         (struct cgraph_asm_node): Define.
1494         (cgraph_asm_nodes, cgraph_order): Declare.
1495         (cgraph_add_asm_node): Declare.
1496         * cgraphunit.c (cgraph_varpool_assemble_decl): New static
1497         function.
1498         (cgraph_varpool_assemble_pending_decls): Call it.
1499         (cgraph_output_pending_asms): New static function.
1500         (cgraph_finalize_compilation_unit): Call it.
1501         (struct cgraph_order_sort): Define.
1502         (cgraph_output_in_order): New static function.
1503         (cgraph_optimize): Call cgraph_output_pending_asms.  Add code for
1504         !flag_toplevel_reorder case.
1505         * c-parser.c: Include "cgraph.h".
1506         (c_parser_asm_definition): Call cgraph_add_asm_node rather than
1507         assemble_asm.
1508         * Makefile.in (CRTSTUFF_CFLAGS): Use -fno-toplevel-reorder rather
1509         than -fno-unit-at-a-time.
1510         * doc/invoke.texi (Option Summary): Mention
1511         -fno-toplevel-reorder.
1512         (Optimize Options): Document -fno-toplevel-reorder.  Mention it in
1513         -funit-at-a-time documentation.
1514
1515 2006-01-17  Hans-Peter Nilsson  <hp@axis.com>
1516             Kazu Hirata  <kazu@codesourcery.com>
1517
1518         * Makefile.in (FUNCTION_H, LAMBDA_H): Use $(TREE_H), not tree.h.
1519
1520 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
1521
1522         * Makefile.in (FUNCTION_H): New.  Use it instead of
1523         function.h throughout the file.
1524         * function.h: Include tree.h.
1525
1526 2006-01-17  Ben Elliston  <bje@au.ibm.com>
1527
1528         * recog.c: Separate some functions with whitespace.
1529
1530 2006-01-16  Richard Henderson  <rth@redhat.com>
1531
1532         Merge from gomp branch:
1533         * Makefile.in (TREE_INLINE_H): New.  Use it as needed.
1534         * tree-inline.h (struct copy_body_data): Move from tree-inline.c
1535         and rename from struct inline_data.  Rename callee* to dst*;
1536         caller* to src*; add copy_decl hook, transform_call_graph_edges,
1537         transform_new_cfg, transform_return_to_modify, and
1538         transform_lang_insert_block flags; remove cloning_p, versioning_p,
1539         update_clones_p.
1540         (copy_body_r, insert_decl_map, remap_decl, remap_type): Declare.
1541         (copy_decl_for_dup): Remove.
1542         * tree-inline.c (struct inline_data): Move to header.
1543         (insert_decl_map): Export.
1544         (remap_decl): Update for member name changes.  Use copy_decl hook.
1545         Allow for replacement to be a non-decl.  Remove dead code.
1546         (remap_type_1): Check for existing mapping.
1547         (remap_type): Export.
1548         (remap_decls): Update for member name changes.
1549         (remap_block, copy_bb, copy_cfg_body, copy_generic_body): Likewise.
1550         (copy_body, setup_one_parameter, declare_return_variable): Likewise.
1551         (expand_call_inline, optimize_inline_calls, clone_body): Likewise.
1552         (copy_tree_r, mark_local_for_remap_r, unsave_expr_now): Likewise.
1553         (tree_function_versioning, build_duplicate_type): Likewise.
1554         (copy_body_r): Likewise.  Export.
1555         (copy_decl_for_dup): Split into ...
1556         (copy_decl_for_dup_finish, copy_decl_to_var,
1557         copy_decl_no_change, copy_decl_maybe_to_var): ... these.
1558         (replace_ref_tree, inlining_p): Remove.
1559
1560 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
1561
1562         * ifcvt.c (if_convert): Make it static.
1563         * rtl.h: Remove the prototype for if_convert.
1564
1565         * local-alloc.c (local_alloc): Make it static.
1566         * rtl.h: Remove the prototype for local_alloc.
1567
1568         * loop.c (loop_optimize): Make it static.
1569         * cfgloop.h: Remove the prototype for loop_optimize.
1570         * rtl.h: Likewise.
1571
1572 2006-01-16  DJ Delorie  <dj@redhat.com>
1573
1574         * reload.c (reg_overlap_mentioned_for_reload_p): Handle subregs of
1575         mems.
1576
1577 2006-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1578
1579         * pa.md: Disparage copies between general and floating-point registers
1580         in 32-bit move patterns.
1581
1582 2006-01-16  H.J. Lu  <hongjiu.lu@intel.com>
1583
1584         PR testsuite/25741
1585         * Makefile.in (check-%): Depend on site.exp instead of
1586         $(TESTSUITEDIR)/site.exp. Run "runtest" in separate language
1587         directories.
1588
1589 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
1590
1591         * global.c (global_alloc): Make it static.
1592         * rtl.h: Remove the prototype for global_alloc.
1593
1594 2006-01-16  Richard Guenther  <rguenther@suse.de>
1595
1596         * tree-ssa-alias.c (struct used_part): Add write_only field.
1597         (get_or_create_used_part_for): Initialize it to true.
1598         (create_overlap_variables_for): Don't create structure variables
1599         for structures that only are written to.
1600         (find_used_portions): Handle MODIFY_EXPR to track whether a
1601         structure is only written to.
1602
1603 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
1604
1605         * bb-reorder.c (partition_hot_cold_basic_blocks): Make it
1606         static.
1607         * basic-block.h: Remove the prototype for
1608         partition_hot_cold_basic_blocks.
1609
1610 2006-01-16  Rafael Ãvila de Espíndola <rafael.espindola@gmail.com>
1611
1612         * cppspec.c (lang_specific_spec_functions): remove
1613         * gcc.c (lookup_spec_function): use static_spec_functions directelly
1614         * gcc.h (lang_specific_spec_functions): remove
1615         * gccspec.c (lang_specific_spec_functions): remove
1616
1617 2005-01-16  Paolo Bonzini  <bonzini@gnu.org>
1618
1619         * combine.c (record_value_for_reg): Invalidate registers
1620         if INSN is null.
1621         (record_dead_and_set_regs_1): Likewise, by passing them to
1622         record_value_for_reg.
1623         (record_dead_and_set_regs): Invalidate stores made by a
1624         call.  We do not combine across a call, but we still
1625         relied on equivalences.
1626
1627 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
1628
1629         * tree-vrp.c (extract_range_from_binary_expr): Cope with
1630         vrp_int_const_binop returning non-constant nodes.
1631
1632 2006-01-16  Paul Brook  <paul@codesourcery.com>
1633
1634         * config/m68k/m68k.c (output_move_const_into_data_reg):
1635         Output correct mnemonic for mvz and mvs.
1636
1637 2006-01-16  Gabor Loki  <loki@gcc.gnu.org>
1638
1639         * rtl-factoring.c: Add sequence abstraction algorithm.
1640         * cfgcleanup.c (outgoing_edges_match): Extra checks.
1641         (try_crossjump_to_edge): Avoid deleting preserve label when redirecting
1642         ABNORMAL edges.
1643         (block_has_preserve_label): New function.
1644         * common.opt: Register new pass.
1645         * Makefile.in: Ditto.
1646         * passes.c: Ditto.
1647         * timevar.def: Ditto.
1648         * tree-pass.h: Ditto.
1649         * emit-rtl.c (make_jump_insn_raw): Remove forward decl.
1650         * rtl.h (make_jump_insn_raw): Add forward decl.
1651         * doc/invoke.texi: Add documentation for -frtl-abstract-sequences.
1652
1653 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
1654             Roger Sayle  <roger@eyesopen.com>
1655
1656         * fold-const.c (fold_minmax): New static function.
1657         (fold_binary) <MIN_EXPR>: Call it.
1658         <MAX_EXPR>: Likewise.
1659         * stor-layout.c (place_field): Use DECL_SIZE consistently
1660         in the computation of the new record size.
1661
1662 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
1663
1664         * cse.c (cse_condition_code_reg): Make it static.
1665         * rtl.h: Remove the prototype for cse_condition_code_reg.
1666
1667         * combine.c (combine_instructions): Make it static.
1668         * rtl.h: Remove the prototype for combine_instructions.
1669
1670 2006-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1671
1672         PR target/25168
1673         * tree.c (get_file_function_name_long): Concatenate the first global
1674         object name with a string derived from the input filename of the object
1675         for type "F".
1676
1677 2006-01-16  Ben Elliston  <bje@au.ibm.com>
1678
1679         * config/i386/winnt-stubs.c: Update FSF address.
1680         * config/xtensa/ieee754-df.S: Ditto.
1681         * config/xtensa/ieee754-sf.S: Ditto.
1682
1683 2006-01-14  Ian Lance Taylor  <ian@airs.com>
1684
1685         * ifcvt.c (noce_init_if_info): New static function, broken out of
1686         noce_process_if_block.
1687         (noce_process_if_block): Call noce_init_if_info.
1688         (check_cond_move_block): New static function.
1689         (cond_move_process_if_block): New static function.
1690         (process_if_block): Call cond_move_process_if_block.
1691
1692 2006-01-15  Kazu Hirata  <kazu@codesourcery.com>
1693
1694         * cselib.c (hash_table): Rename to cselib_hash_table.
1695         (cselib_clear_table, discard_useless_values,
1696         remove_useless_values, cselib_lookup_mem, cselib_lookup,
1697         cselib_init, cselib_finish): Adjust uses of hash_table.
1698
1699 2006-01-14  Kazu Hirata  <kazu@codesourcery.com>
1700
1701         PR tree-optimization/25485
1702         * tree-vrp.c (extract_range_from_binary_expr): Handle cases
1703         where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
1704         is known to be false and true, respectively.
1705
1706 2006-01-14  Richard Guenther  <rguenther@suse.de>
1707
1708         PR tree-optimization/22548
1709         PR tree-optimization/22555
1710         PR tree-optimization/22501
1711         * Makefile.in (tree-ssa-structalias.o): Depend on $(PARAMS_H).
1712         * params.def (salias-max-array-elements): New parameter.
1713         * params.h (SALIAS_MAX_ARRAY_ELEMENTS): Define.
1714         * doc/invoke.texi (salias-max-array-elements): Document.
1715         * tree-flow-inline.h (var_can_have_subvars): We also handle
1716         arrays now.
1717         * tree-ssa-alias.c (find_used_portions): Handle ARRAY_REF like
1718         COMPONENT_REF.
1719         * tree-ssa-structalias.c (params.h): Include.
1720         (push_fields_onto_fieldstack): Handle ARRAY_TYPE.
1721         (find_func_aliases): Handle multiple constraints from ARRAY_REF.
1722         (get_constraint_for): For ADDR_EXPR operating on something
1723         containing an ARRAY_REF, add all subvars to the solution.
1724         (handle_ptr_arith): Handle ARRAY_TYPE like RECORD_TYPE types.
1725         * tree-ssa-operands.c (parse_ssa_operands): Handle ARRAY_REF
1726         for creating MUST_DEFs.
1727         (get_expr_operands): Treat ARRAY_REF like COMPONENT_REF wrt subvars.
1728
1729 2006-01-14  Zdenek Dvorak <dvorakz@suse.cz>
1730
1731         * tree-ssa-loop-niter.c (number_of_iterations_cond): Split into several
1732         functions.
1733         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
1734         assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
1735         number_of_iterations_le): New functions.
1736         (number_of_iterations_special): Removed.
1737         (number_of_iterations_exit): Do not use number_of_iterations_special.
1738         * tree.c (unsigned_type_for): Always return integer type.
1739
1740 2006-01-14  Steven Bosscher  <stevenb.gcc@gmail.com>
1741         Richard Guenther  <rguenther@suse.de>
1742
1743         PR rtl-optimization/24257
1744         * gcse.c (find_moveable_store): Only consider a store movable
1745         when the SET_SRC of the insn can be assigned to a register.
1746
1747 2006-01-14  Ian Lance Taylor  <ian@airs.com>
1748
1749         * tree.c (tree_not_class_check_failed): New function.
1750         * tree.h (NON_TYPE_CHECK): Call tree_not_class_check_failed.
1751         (tree_not_class_check_failed): Declare.
1752
1753 2006-01-13  Ian Lance Taylor  <ian@airs.com>
1754
1755         * reload1.c (do_output_reload): Add assertion rejecting a
1756         CALL_INSN.
1757
1758 2006-01-13  Adam Nemet  <anemet@caviumnetworks.com>
1759
1760         * combine.c (struct reg_stat): Add new fields truncation_label and
1761         truncated_to_mode.
1762         (record_value_for_reg): Reset truncated_to_mode.
1763         (record_truncated_value): New function.
1764         (check_promoted_subreg): Call it.  Rename to check_conversions.
1765         (combine_instructions): Rename check_promoted_subreg to
1766         check_conversions.
1767         (reg_truncated_to_mode): New function.
1768         (make_extraction): Use it.  Check TRULY_NOOP_TRUNCATION.
1769         (gen_lowpart_or_truncate): New function.
1770         (force_to_mode): Use it instead of gen_lowpart.
1771
1772 2006-01-13  Diego Novillo  <dnovillo@redhat.com>
1773
1774         * tree-ssa-alias.c (add_type_alias): Fix typo.  Test whether
1775         VAR is a tag, not its type tag.
1776
1777 2006-01-13  Alexandre Oliva  <aoliva@redhat.com>
1778
1779         * config/i386/sse.md (*vec_extractv2di_1_sse2): Reorder
1780         alternatives to match style of other entries.
1781         (*vec_extractv2di_1_sse): Likewise.  Fix mode attr.
1782
1783 2006-01-13  Daniel Berlin  <dberlin@dberlin.org>
1784
1785         PR tree-optimization/25771
1786         * tree-ssa-pre.c (insert_extra_phis): Don't insert merges of abnormal
1787         SSA_NAMES.
1788
1789 2006-01-13  Andrew Pinski  <pinskia@physics.uc.edu>
1790
1791         PR tree-opt/24365
1792         * tree-inline.c (declare_return_variable): If the return variable
1793         was marked as a non gimple complex, set the return slot variable
1794         to be a non gimple comple variable.
1795
1796 2006-01-13  Richard Guenther  <rguenther@suse.de>
1797
1798         * builtins.c (expand_builtin_sincos): New function.
1799         (expand_builtin_mathfn_3): Remove dead code, sin and cos
1800         do not set errno.
1801         (expand_builtin): Expand sincos using expand_builtin_sincos.
1802
1803 2006-01-12  DJ Delorie  <dj@redhat.com>
1804
1805         * config/m32c/shift.md: Rewrite: Allow arbitrary operands for
1806         shift counts, separate SI shifts for m32c vs m16c, pass shift type
1807         so that constant shifts can be split.
1808         * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Add In6.
1809         (m32c_valid_pointer_mode): Make static.
1810         (shift_gen_func_for): New.
1811         (m32c_prepare_shift): Use it.  Split large const shifts into
1812         multiple shifts.
1813         * config/m32c/predicates.md (shiftcount_operand): Allow more
1814         general operands.
1815         (longshiftcount_operand): New.
1816         * doc/md.texi (Machine Constraints): Document In6.
1817
1818 2006-01-13  Ben Elliston  <bje@au.ibm.com>
1819
1820         * doc/tm.texi (Data Output): Add REAL_VALUE_TO_TARGET_DECIMAL32,
1821         REAL_VALUE_TO_TARGET_DECIMAL64 and REAL_VALUE_TO_TARGET_DECIMAL128
1822         documentation.
1823
1824 2006-01-12  Daniel Berlin  <dberlin@dberlin.org>
1825
1826         * tree-ssa-operands.c (add_call_clobber_ops): Use SFT_PARENT_VAR
1827         to try to avoid clobbering pieces of structures when we know
1828         something about the whole structure.
1829         * tree-ssa-alias.c (create_sft): Set SFT_PARENT_VAR
1830
1831 2006-01-13  Ben Elliston  <bje@au.ibm.com>
1832
1833         * doc/rtl.texi (Insns): Remove statement that libcalls cannot
1834         return in memory, as this is no limitation is no longer present.
1835
1836 2006-01-12  DJ Delorie  <dj@redhat.com>
1837
1838         * config/m32c/addsub.md (addhi3): Add two more alternatives, for
1839         mova with fb, and for fb+0 -> An.
1840
1841         * config/m32c/mov.md (peephole2): Fix enabling logic.
1842
1843         * config/m32c/m32c.h (CTOR_LIST_BEGIN, CTOR_LIST_END,
1844         DTOR_LIST_BEGIN, DTOR_LIST_END, CTORS_SECTION_ASM_OP,
1845         DTORS_SECTION_ASM_OP, INIT_ARRAY_SECTION_ASM_OP,
1846         FINI_ARRAY_SECTION_ASM_OP): Define.
1847
1848         * config/m32c/m32c.c (m32c_legitimize_address): Remove temporary
1849         variable.
1850         (m32c_legitimize_reload_address): New logic to reload FB to An.
1851         (m32c_output_reg_push): Add newline.
1852         (m32c_output_reg_pop): Likewise.
1853
1854 2006-01-12  Ulrich Weigand  <uweigand@de.ibm.com>
1855
1856         * struct-equiv.c (find_dying_inputs): Fix off-by-one bug.
1857
1858 2006-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
1859
1860         * config/i386/darwin.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
1861
1862 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
1863
1864         * config/sh/predicates.md (sh_rep_vec): Add parallel to
1865         match_code.
1866
1867 2006-01-11  Ben Elliston  <bje@au.ibm.com>
1868
1869         * rtlanal.c (find_reg_note): Assert insn is not null.
1870
1871 2005-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
1872
1873         * df-scan.c (df_hard_reg_init): Move declaration of i outside
1874         ifdef.
1875
1876 2006-01-11  Jeff Law  <law@redhat.com>
1877
1878         * tree-ssa-threadupdate.c (threaded_edges): New VEC to
1879         hold edge pairs.
1880         (mark_threaded_blocks, register_jump_thread): New functions.
1881         (thread_through_all_blocks): Remove unwanted argument.  No
1882         longer rely on e->aux to communicate thread target info.
1883         Call mark_threaded_blocks.  Release the threaded_blocks
1884         bitmap and threaded_edges vector when complete.
1885         * tree-ssa-dom.c (struct edge_info): Remove redirection_target field.
1886         (threaded_blocks): Remove.
1887         (tree_ssa_dominator_optimize): Remove initialization and
1888         finalization of threaded_blocks.  Simplify call to
1889         thread_through_all_blocks.
1890         (thread_across_edge): Call register_jump_thread rather than
1891         storing thread information into e->aux.
1892         (free_all_edge_infos): Simplify now that e->aux is no longer
1893         used to communicate with thread_through_all_blocks.
1894         * tree-flow.h (thread_through_all_blocks): Update prototype.
1895         (register_jump_thread): Prototype.
1896
1897 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
1898
1899         * df-core.c (df_compact_blocks, df_bb_replace): Use
1900         SET_BASIC_BLOCK instead of BASIC_BLOCK.
1901
1902 2006-01-11  Richard Guenther  <rguenther@suse.de>
1903
1904         PR tree-optimization/25734
1905         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Do not
1906         stop propagation after successful propagation to the LHS.
1907
1908 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
1909
1910         * basic-block.h (control_flow_graph): Change the type of
1911         x_basic_block_info to VEC(basic_block,gc) *.
1912         (BASIC_BLOCK_FOR_FUNCTION, BASIC_BLOCK): Adjust the uses of
1913         basic_block_info.
1914         (SET_BASIC_BLOCK): New.
1915         * cfg.c (compact_blocks, expunge_block): Use SET_BASIC_BLOCK
1916         instead of BASIC_BLOCK when assigning to BASIC_BLOCK.
1917         * cfgbuild.c (find_basic_blocks): Likewise.
1918         * cfglayout.c (fixup_reorder_chain): Likewise.
1919         * cfgrtl.c (create_basic_block_structure,
1920         rtl_create_basic_block): Likewise.
1921         * ifcvt.c (find_if_case_1): Likewise.
1922         * tree-cfg.c (init_empty_tree_cfg, build_tree_cfg, create_bb):
1923         Likewise.
1924
1925 2005-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
1926
1927         * Makefile.in: Removed rotted odf.c entry.
1928
1929 2006-01-11  Hans-Peter Nilsson  <hp@axis.com>
1930
1931         PR target/25706
1932         * config/cris/cris.md ("*extopqihi_side", "*extop<mode>si_side")
1933         ("*extop<mode>si_swap_side_biap", "*extop<mode>si_swap_side",
1934         ("*extopqihi", "*extop<mode>si", "*extop<mode>si_swap"): Use %E
1935         output pattern modifier, not %e.
1936         * config/cris/cris.c (cris_op_str): Update comment about pattern
1937         modifier.
1938         (cris_print_operand) <case 'e'>: Clear cris_output_insn_is_bound
1939         before falling through into...
1940         <case 'E'>: Redefined from old 'e' case.
1941
1942 2006-01-11  Jan Hubicka  <jh@suse.cz>
1943
1944         PR target/25042
1945         * i386.c (ix86_init_mmx_sse_builtins): Do not delcare float128
1946
1947 2006-01-11  Jan Hubicka  <jh@suse.cz>
1948
1949         * i386.h (TARGET_DECOMPOSE_LEA): Kill.
1950         * i386.c (x86_decompose_lea): Kill.
1951         (ix86_rtx_costs): Kill.
1952
1953 2006-01-11  Jan Hubicka  <jh@suse.cz>
1954
1955         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
1956         * cgraph.h (cgraph_node): Add inline_decl.
1957         (cgraph_insert_node_to_hashtable): Declare.
1958         (save_inline_function_body): Declare.
1959         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
1960         clones.
1961         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
1962         (cgraph_function_versioning): Update call of tree_function_versioning.
1963         (save_inline_function_body): New function.
1964         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
1965         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
1966         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
1967         (cgraph_default_inline_p): Likewise.
1968         (cgraph_decide_inlining_incrementally): Likewise.
1969         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
1970         (copy_bb): Kill saving; do updating of clones.
1971         (copy_cfg_body): Kill saving.
1972         (initialize_inlined-parameters): Likewise.
1973         (expand_call_inline): Likewise.
1974         (save_body): Kill.
1975         (tree_function_versioning): New parameter "update_clones".
1976         (inlining_p): Kill saving.
1977         * tree-inline.h (tree_function_versioning): Update prototype.
1978         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
1979         saving.
1980
1981 2006-01-11  Ian Lance Taylor <ian@airs.com>
1982
1983         * combine.c (struct undo): Remove is_int.  Enumify types of undos.
1984         Allow undoing set of machine mode.
1985         (do_SUBST): Use enums instead of is_int.
1986         (do_SUBST_MODE): New function.
1987         (SUBST_MODE): New macro.
1988         (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
1989         reg and trying to replace reg_regno_rtx with a new register.
1990         (undo_all): Use new enums, handle undoing a PUT_MODE change.
1991         (simplify_set): Use SUBST_MODE.
1992         (distribute_notes): Remove code that tried to update reg notes
1993         for regno_reg_rtx changes.
1994
1995 2006-01-11  Paolo Bonzini  <bonzini@gnu.org>
1996
1997         PR tree-optimization/23109
1998         PR tree-optimization/23948
1999         PR tree-optimization/24123
2000
2001         * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
2002         * tree-cfg.c (single_noncomplex_succ): New.
2003         * tree-flow.h (single_noncomplex_succ): Declare it.
2004         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
2005         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
2006         (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
2007         insert_bb, register_division_in, insert_reciprocals,
2008         replace_reciprocal, free_bb): New.
2009         (execute_cse_reciprocals_1): Rewritten.
2010         (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
2011         Do not commit any edge insertion.  Always compute dominators and
2012         create the allocation pool.
2013         * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
2014         * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
2015         * targhooks.c (default_min_divistions_for_recip_mul): New.
2016         * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
2017         * passes.c (init_optimization_passes): Run recip after tree loop
2018         optimizations.
2019         * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
2020
2021 2005-01-11  Danny Berlin <dberlin@dberlin.org>
2022             Kenneth Zadeck <zadeck@naturalbridge.com>
2023
2024         * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
2025         DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
2026         DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
2027         DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
2028         DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
2029         DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
2030         DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
2031         DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
2032         DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
2033         DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
2034         DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
2035         DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
2036         DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
2037         DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
2038         DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
2039         DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
2040         DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
2041         DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
2042         DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
2043         DF_SCAN_POST_ALLOC): New macros.
2044         (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
2045         df_free_bb_function, df_local_compute_function, df_init_function,
2046         df_dataflow_function, df_confluence_function_0,
2047         df_confluence_function_n, df_transfer_function,
2048         df_finalizer_function, df_free_function, df_dump_problem_function,
2049         df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
2050         df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
2051         df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
2052         df_urec_bb_info, ) New types.
2053         (df_invalidated_by_call, df_all_hard_regs, df_state) New public
2054         variables.
2055         (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
2056         df_analyze_simple_change_some_blocks,
2057         df_analyze_simple_change_one_block, df_compact_blocks,
2058         df_bb_replace, df_bb_regno_last_use_find,
2059         df_bb_regno_first_def_find, df_bb_regno_last_def_find,
2060         df_insn_regno_def_p, df_find_def, df_find_use,
2061         df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
2062         df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
2063         df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
2064         debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
2065         debug_df_chain, df_get_dependent_problem, df_chain_create,
2066         df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
2067         df_grow_bb_info, df_chain_dump, df_print_bb_index,
2068         df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
2069         df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
2070         df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
2071         df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
2072         df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
2073         df_rescan_blocks, df_ref_create, df_get_artificial_defs,
2074         df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
2075         df_ref_remove, df_insn_refs_delete, df_refs_delete,
2076         df_reorganize_refs, df_set_state, df_hard_reg_init,
2077         df_read_modify_subreg_p) New public functions.
2078         * df-core.c: The core dataflow solver and glue routines for rtl
2079         dataflow.
2080         (df_init, df_add_problem, df_set_blocks, df_finish,
2081         df_hybrid_search_forward, df_hybrid_search_backward,
2082         df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
2083         df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
2084         df_bb_regno_last_use_find, df_bb_regno_first_def_find,
2085         df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
2086         df_reg_defined, df_find_use, df_reg_used, df_dump,
2087         df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
2088         df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
2089         debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
2090         debug_df_useno, reset_df_after_reload): New functions.
2091         * df-scan.c: The scanning fuctions, once in df.c, completely
2092         rewritten so that they now fully model the functionality of
2093         register usage at the backend.
2094         (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
2095         df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
2096         df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
2097         df_grow_insn_info, df_rescan_blocks, df_ref_create,
2098         df_get_artificial_defs, df_get_artificial_uses,
2099         df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
2100         df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
2101         df_refs_delete, df_reorganize_refs, df_set_state,
2102         df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
2103         df_def_record_1, df_defs_record, df_uses_record,
2104         df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
2105         df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
2106         df_record_exit_block_uses, df_hard_reg_init): New functions.
2107
2108         * df-problems.c: Seven concrete dataflow problems that use the
2109         scanning in df-scan.c and are solved by the engine in df-core.c.
2110         (df_get_dependent_problem, df_chain_create, df_chain_unlink,
2111         df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
2112         df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
2113         df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
2114         df_ru_free_bb_info, df_ru_alloc,
2115         df_ru_bb_local_compute_process_def,
2116         df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
2117         df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
2118         df_ru_transfer_function, df_ru_free, df_ru_dump,
2119         df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
2120         df_rd_free_bb_info, df_rd_alloc,
2121         df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
2122         df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
2123         df_rd_transfer_function, df_rd_free, df_rd_dump,
2124         df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
2125         df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
2126         df_lr_local_compute, df_lr_init, df_lr_confluence_0,
2127         df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
2128         df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
2129         df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
2130         df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
2131         df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
2132         df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
2133         df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
2134         df_urec_mark_reg_change, df_urec_check_earlyclobber,
2135         df_urec_mark_reg_use_for_earlyclobber,
2136         df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
2137         df_urec_local_compute, df_urec_init, df_urec_local_finalize,
2138         df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
2139         df_urec_dump, df_urec_add_problem, df_chain_alloc,
2140         df_chain_create_bb_process_use, df_chain_create_bb,
2141         df_chain_finalize, df_chain_free, df_chains_dump,
2142         df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
2143         df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
2144         df_reg_lifetime): New functions.
2145         * df.c: Deleted file.
2146         * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
2147         consistent with new df api.
2148         * modulo-sched.c (sms_schedule, rest_of_handle_sms,
2149         rest_of_handle_sms): Ditto.
2150         * web.c (unionfind_union, union_defs, entry_register, web_main):
2151         Ditto.
2152         * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
2153         invariant_expr_equal_p, find_defs, check_dependencies,
2154         find_invariant_insn, find_invariants_to_move, move_invariant_reg,
2155         free_inv_motion_data, move_loop_invariants): Ditto.
2156         * Makefile.in (df.c, df-scan.c df-problems.c df-core.c):
2157         Update dependencies.
2158         (odf.c): Added defective entry that was deleted later in day.
2159         * sched-deps.c (sched_analyze_1): Ditto.
2160
2161 2006-01-11  Zdenek Dvorak <dvorakz@suse.cz>
2162
2163         * tree-ssa-operands.c (get_expr_operands): Record addressable
2164         variables directly.  Do not call add_stmt_operands for CONST_DECLs
2165         and ARRAY_DECLs.
2166         (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
2167         (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
2168
2169 2006-01-11  Ben Elliston  <bje@au.ibm.com>
2170
2171         * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
2172         function returns true in the positive case.
2173
2174 2006-01-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2175
2176         PR target/20754
2177         * config/pa/pa.md: Create separate 32 and 64-bit move patterns
2178         for SI, DI, SF and DF modes.  Add alternatives to copy between
2179         general and floating point registers to the 32-bit patterns.
2180         * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
2181         * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
2182         (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
2183         generating 64-bit code.
2184         * config/pa/pa.c (output_move_double): Handle copies between general
2185         and floating registers.
2186
2187 2006-01-10  Stuart Hastings  <stuart@apple.com>
2188
2189         * config/i386/i386.md (set_got): Update.
2190         (set_got_labelled): New.  (UNSPEC_LD_MPIC): New.
2191         (builtin_setjmp_receiver): Mach-O support.
2192         * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
2193         (GOT_SYMBOL_NAME): Define.
2194         (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
2195         (TARGET_DEEP_BRANCH_PREDICTION): Remove.
2196         * config/i386/i386.c (override_options): Revise for Darwin.
2197         (USE_HIDDEN_LINKONCE): Enable for Mach-O.  (ix86_file_end): Mach-O
2198         support.  (darwin_x86_file_end): New.  (output_set_got): Add label
2199         parameter, revise for Mach-O.  (x86_output_mi_thunk): Likewise.
2200         * config/i386/i386-protos.h (output_set_got): Likewise.
2201         * config/darwin.c (machopic_legitimize_pic_address): Update
2202         regs_ever_live[].
2203
2204 2006-01-10  Kaz Kojima  <kkojima@gcc.gnu.org>
2205
2206         * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
2207         when MODE isn't BLKmode.
2208
2209 2006-01-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
2210
2211         PR rtl-optimization/25367
2212         * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
2213
2214 2006-01-10  Hans-Peter Nilsson  <hp@axis.com>
2215
2216         PR target/25718
2217         * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
2218         for a negative bound.
2219
2220 2006-01-10  Richard Guenther  <rguenther@suse.de>
2221
2222         * tree-ssa-structalias.c (get_constraint_for_component_ref):
2223         Never override with anything constraint.
2224
2225 2006-01-10  Jan Beulich  <jbeulich@novell.com>
2226
2227         * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
2228         256 bits when optimize_size.
2229
2230 2006-01-10  Jan Beulich  <jbeulich@novell.com>
2231
2232         * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
2233         MASK_ALIGN_DOUBLE.
2234         * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
2235         * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
2236         arguments.
2237
2238 2006-01-10  Ben Elliston  <bje@au.ibm.com>
2239
2240         * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
2241         float modes.
2242         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
2243         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
2244         (USE_FP_FOR_ARG): Reject decimal float modes.
2245         (function_arg_advance): Likewise.
2246         (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
2247         (rs6000_handle_altivec_attribute): Do not permit decimal floating
2248         point types in AltiVec vectors.
2249         (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
2250         (rs6000_libcall_value): Likewise.
2251
2252 2006-01-09  Bob Wilson  <bob.wilson@acm.org>
2253
2254         * config/xtensa/ieee754-df.S: New file.
2255         * config/xtensa/ieee754-sf.S: New file.
2256         * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
2257         (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
2258         * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
2259
2260 2006-01-09  Kazu Hirata  <kazu@codesourcery.com>
2261
2262         * config/sh/predicates.md (binary_float_operator,
2263         binary_logical_operator, commutative_float_operator,
2264         equality_comparison_operator, greater_comparison_operator,
2265         less_comparison_operator, logical_operator,
2266         noncommutative_float_operator, shift_operator,
2267         symbol_ref_operand, unary_float_operator): Remove redundant
2268         conditionals.
2269
2270 2006-01-09  Jeff Law  <law@redhat.com>
2271
2272         * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
2273         code to propagate the RHS of a cast into COND_EXPR_COND.  Remove
2274         now unused arguments.  Callers updated.
2275         (eliminate_redundant_computations): Remove now unused arguments,
2276         callers updated.
2277         (local_fold): Remove, no longer used.
2278         (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
2279         and moved to...
2280         * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
2281         (simplify_cond): New function.
2282         (forward_propagate_into_cond): Call simplify_cond.
2283
2284 2006-01-09  Alexandre Oliva  <aoliva@redhat.com>
2285
2286         * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
2287         (*vec_extractv2di_1_sse): New.
2288
2289 2006-01-09  Ben Elliston  <bje@au.ibm.com>
2290
2291         * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
2292
2293 2006-01-08  Richard Guenther  <rguenther@suse.de>
2294
2295         * tree-ssa-structalias.c (get_constraint_for): Remove
2296         anyoffset argument.
2297         (get_constraint_for_component_ref): Likewise.
2298         (do_deref): Likewise.
2299         (get_constraint_for): Likewise.
2300         (do_structure_copy): Likewise.
2301         (handle_ptr_arith): Likewise.
2302         (find_func_aliases): Likewise.  Remove unused need_anyoffset
2303         variable.
2304
2305 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
2306             Kaz Kojima  <kkojima@gcc.gnu.org>
2307
2308         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
2309         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
2310         (EXTRA_CONSTRAINT_C16): Remove.
2311         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
2312         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
2313         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
2314         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
2315         constants of SHmedia.  Handle nested constant expressions of
2316         SHmedia correctly.
2317         (andcosts): Fix the costs for SHmedia constants.
2318         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
2319         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
2320         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
2321         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
2322         (movv4hi_i, movv2si_i): Likewise.
2323         (movsi_const): Adjust the second operand of ior so to match with
2324         the Csu constraint.
2325         (movdi_const, movdi_const_32bit): Likewise.
2326         (movdi_const_16bit+1): Don't sign-extend LOW.
2327         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
2328         step.
2329         (*double_shori): Fix the split condition.  Use GEN_INT instead
2330         of get_int_mode calls.  Mask lower 16-bit of the argument of
2331         the last GEN_INT.
2332         (sym2GOTPLT): Remove.
2333         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
2334         gen_rtx_UNSPEC.
2335         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
2336         instead of EXTRA_CONSTRAINT_C16.
2337
2338 2006-01-07  Ian Lance Taylor  <ian@airs.com>
2339             David Edelsohn  <edelsohn@gnu.org>
2340
2341         PR rtl-optimization/25662
2342         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
2343         for constant operands instead of simplify_gen_binary.
2344         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
2345         after trying simplify_binary_operation
2346
2347 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
2348
2349         * tree.c (iterative_hash_expr): Hash decls based on UID.
2350
2351 2006-01-06  Eric Christopher  <echristo@apple.com>
2352
2353         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
2354         (TARGET_UNWIND_EMIT): Fix spelling.
2355         * target.h (gcc_target): Add except_table_label.
2356         * except.c (output_function_exception_table): Use.
2357         * varasm.c (default_emit_except_table_label): New.
2358         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
2359         define.
2360         (asm_out): Add here.
2361         * output.h (default_emit_except_table_label): Prototype.
2362         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
2363         * config/darwin.c (darwin_emit_except_table_label): Define.
2364         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
2365
2366 2006-01-06  Zdenek Dvorak <dvorakz@suse.cz>
2367
2368         PR tree-optimization/18527
2369         * tree-ssa-loop-niter.c (number_of_iterations_cond,
2370         number_of_iterations_special, number_of_iterations_exit):
2371         Move base and step of an iv to a single structure.  Add
2372         no_overflow flag, and use it in # of iterations analysis.
2373         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
2374         folded_casts argument.
2375         (simple_iv): Pass base and step in a structure.  Set no_overflow
2376         flag.
2377         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
2378         Evaluate expensiveness of computing # of iterations instead of
2379         the final expression.
2380         * tree-scalar-evolution.h (affine_iv): New structure.
2381         (simple_iv): Declaration changed.
2382         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
2383         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
2384         find_givs_in_stmt): Changed due to simple_iv change.
2385
2386 2006-01-06  Jeff Law  <law@redhat.com>
2387
2388         PR ada/24994
2389         * tree-cfg.c (bsi_replace): Rename final argument from
2390         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
2391         change (stmt -> orig_stmt).
2392         * tree-eh.c (verify_eh_throw_stmt_node): New function.
2393         (bsi_remove): Add new argument.  Remove EH information
2394         if requested.
2395         (verify_eh_throw_table_statements): New function.
2396         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
2397         updated.
2398         * tree-optimize.c (execute_free_cfg_annotations): Verify
2399         the EH throw statement table after removing annotations.
2400         * except.h (verify_eh_throw_table_statements): Prototype.
2401         * tree-flow.h (bsi_remove): Update prototype.
2402         * tree-vrp.c (remove_range_assertions): Add new argument to
2403         bsi_remove call.
2404         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
2405         * tree-complex.c (expand_complex_div_wide): Likewise.
2406         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
2407         * tree-tailcall.c (eliminate_tailcall): Likewise.
2408         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
2409         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
2410         * tree-nrv.c (tree_nrv): Likewise.
2411         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
2412         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
2413         (combine_blocks): Likewise.
2414         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
2415         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
2416         (cleanup_control_flow): Likewise.
2417         (remove_forwarder_block): Likewise.
2418         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
2419         * tree-sra.c (sra_replace): Likewise.
2420         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
2421         (forward_propagate_single_use_vars): Likewise.
2422         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
2423         * tree-inline.c (expand_call_inline): Likewise.
2424         * tree-vect-transform.c (vect_transform_loop): Likewise.
2425         * tree-outof-ssa.c (rewrite_trees): Likewise.
2426         * tree-cfg.c (make_goto_expr_edges): Likewise.
2427         (cleanup_dead_labels): Likewise.
2428         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
2429         (bsi_move_before, bsi_move_after): Likewise.
2430         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
2431         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
2432
2433 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
2434
2435         PR tree-opt/25528
2436         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
2437         and IMAGPART_EXPR.
2438         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
2439         on non gimple variables.  Also add checks at the top for decls and
2440         mtags.
2441         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
2442         complex types.
2443         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
2444         and IMAGPART_EXPR for creating MUST_DEFs.
2445         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
2446         and NAME_MEMORY_TAG separately from the DECLs.
2447
2448 2006-01-06  Richard Guenther  <rguenther@suse.de>
2449
2450         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
2451         annotation, if necessary.
2452         * tree-ssa-pre.c (create_expression_by_pieces): Remove
2453         redundant calls to update_stmt.
2454         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
2455         Likewise.
2456
2457 2006-01-05  Richard Henderson  <rth@redhat.com>
2458
2459         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
2460
2461 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
2462
2463         * c-typeck.c: Update copyright date.
2464
2465 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
2466
2467         * c-typeck.c (build_c_cast): Always warn when casting
2468         from a pointer to an integer of different size, even if
2469         the node was constant.
2470
2471 2006-01-05  Richard Guenther  <rguenther@suse.de>
2472
2473         PR tree-optimization/22555
2474         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
2475         if one structure field is an array.
2476         * tree-ssa-operands.c (get_expr_operands): Continue scanning
2477         operands even if we found a subvar, but ignore VOPs in this
2478         case.
2479         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
2480         for renaming.
2481         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
2482
2483 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
2484
2485         PR middle-end/24998
2486         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
2487
2488 2006-01-05  Richard Guenther  <rguenther@suse.de>
2489             Diego Novillo  <dnovillo@redhat.com>
2490
2491         * tree-pass.h (TODO_remove_unused_locals): Define.
2492         * gimple-low.c (expand_var_p, remove_useless_vars,
2493         pass_remove_useless_vars): Remove.  Update all users.
2494         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
2495         (remove_unused_locals): New function.
2496         * tree-flow.h (remove_unused_locals): Declare.
2497         * passes.c (execute_todo): Call remove_unused_locals if
2498         TODO_remove_unused_locals is set.
2499         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
2500         * tree-ssa-dce.c (pass_dce): Likewise.
2501         * tree-outof-ssa.c (pass_del_ssa): Likewise.
2502
2503 2006-01-05  Richard Guenther  <rguenther@suse.de>
2504
2505         * tree-flow.h (struct fieldoff): Decompose field to
2506         type, size and decl.
2507         * tree-ssa-alias.c (create_sft): Take type as parameter.
2508         (create_overlap_variables_for): Store type, size and decl
2509         in the fieldoff structure.
2510         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
2511         of struct fieldoff.
2512         (push_fields_onto_fieldstack): Likewise.
2513         (create_variable_info_for): Likewise.  Use offset for the
2514         SFT name if the decl is not available.
2515
2516 2006-01-04  Paul Brook  <paul@codesourcery.com>
2517
2518         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
2519
2520 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
2521
2522         * lambda-code.c (can_put_in_inner_loop): Relax
2523         restrictions.
2524         (can_put_after_inner_loop): New function.
2525         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
2526         (perfect_nestify): Change to make copies and modify uses.
2527
2528 2006-01-04  Richard Henderson  <rth@redhat.com>
2529
2530         Merge from gomp branch:
2531         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
2532         via integer constant.
2533         (pragma_lex): Remove.
2534         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
2535         rather than parsing it.
2536         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
2537         handle_pragma_extern_prefix): Add %< %> quotes.
2538         (registered_pragmas): New.
2539         (c_register_pragma_1): New.
2540         (c_register_pragma): Use it.
2541         (c_register_pragma_with_expansion): Likewise.
2542         (c_invoke_pragma_handler): New.
2543         (init_pragma): Use cpp_register_deferred_pragma directly for
2544         pch_preprocess.
2545         * c-pragma.h (enum pragma_kind): New.
2546         (pragma_handler): New.
2547         (c_invoke_pragma_handler): Declare.
2548         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
2549         CPP_PRAGMA_EOL.
2550         * c-common.h (c_common_pch_pragma): Update decl.
2551         * Makefile.in (c-parser.o): Update dependencies.
2552         (GTFILES): Add c-pragma.h.
2553         * c-parser.c (struct c_token): Add pragma_kind.
2554         (struct c_parser): Add in_pragma.
2555         (c_lex_one_token): Always initialize keyword and pragma_kind.
2556         Extract data for CPP_PRAGMA.
2557         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
2558         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
2559         Don't allow CPP_PRAGMA_EOL if in_pragma.
2560         (c_parser_consume_pragma): New.
2561         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
2562         (c_parser_skip_to_end_of_parameter): Likewise.
2563         (c_parser_skip_to_end_of_block_or_statement): Likewise.
2564         (c_parser_skip_to_pragma_eol): New.
2565         (c_parser_external_declaration): Handle CPP_PRAGMA.
2566         (c_parser_compound_statement_nostart): Likewise.
2567         (c_parser_statement_after_labels): Likewise.
2568         (c_parser_pragma): New.
2569         (pragma_lex): Likewise.
2570         (c_parser_pragma_pch_preprocess): New.
2571         (c_parser_new): Merge into ...
2572         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
2573
2574 2006-01-04  Jeff Law  <law@redhat.com>
2575
2576         PR ada/24994
2577         * tree-cfg.c (bsi_replace): Remove the original statement
2578         from the EH throw statement table.
2579
2580 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
2581
2582         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
2583         make the prototype extern "C" and add throw ().
2584
2585         PR target/25554
2586         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
2587         and pos non-negative and pos + len <= 32.
2588         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
2589         drop pos + len < HOST_BITS_PER_WIDE_INT test.
2590         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
2591
2592         PR c/25559
2593         * c-common.c (handle_vector_size_attribute): Reject zero vector size
2594         as well as sizes not multiple of component size.
2595
2596         PR debug/25562
2597         * function.c (instantiate_expr): New function.
2598         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
2599         walk its DECL_VALUE_EXPR with instantiate_expr.
2600
2601         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
2602         DW_OP_deref{,_size} if address isn't going to be added.
2603
2604 2006-01-04  Ben Elliston  <bje@au.ibm.com>
2605
2606         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
2607         * config/fp-bit.c: Likewise.
2608
2609 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
2610
2611         * dominance.c: Add comment about why we use DFS numbering
2612         of dominance tree.
2613
2614 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
2615             Richard Henderson  <rth@redhat.com>
2616
2617         Merge from gomp-branch:
2618         * varasm.c (assemble_variable): Handle thread-local COMMON data.
2619         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
2620
2621 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
2622
2623         PR rtl-optimization/25578
2624         * combine.c (combine_simplify_rtx, force_to_mode): Don't
2625         pass a parameter to simplify_shift_const if changing ASHIFTRT
2626         to LSHIFTRT.
2627
2628 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
2629
2630         * builtins.c (get_builtin_sync_mem): New function.
2631         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
2632         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
2633         Call get_builtin_sync_mem to generate mem rtx.
2634
2635 2006-01-03  Richard Guenther  <rguenther@suse.de>
2636
2637         PR c/25183
2638         * stmt.c (add_case_node): Make sure to clear overflow flags
2639         from ranges.
2640
2641 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
2642
2643         Merge from gomp-branch.
2644         * config/sparc/sync.md: New file.
2645         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
2646         UNSPECV_LDSTUB): New constants.
2647         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
2648         * config/sparc/predicates.md (memory_reg_operand): New predicate.
2649         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
2650         prototype.
2651
2652 2006-01-03  Roger Sayle  <roger@eyesopen.com>
2653
2654         * combine.c (reg_subword_p): New predicate to test whether the
2655         destination of a set refers to a subword/piece of a register.
2656         (try_combine): Generalize the code to merge the setting of a
2657         pseudo to a constant followed by a set of a subword of that
2658         register to a constant.
2659
2660 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
2661
2662         * basic-block.h (control_flow_graph): Change the type of
2663         x_label_to_block_map to VEC(basic_block,gc) *.
2664         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
2665         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
2666
2667         * tree-ssa-propagate.c (cfg_blocks): Change the type to
2668         VEC(basic_block,heap) *.
2669         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
2670         ssa_prop_fini): Adjust the uses of cfg_blocks.
2671
2672 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
2673
2674         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
2675         COMPONENT_REFs.
2676         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
2677         hashing trees instead of a pointer hash.
2678         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
2679         compare for MEM_EXPR.
2680
2681         PR rtl-optimization/25130
2682         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
2683         when comparing MEMs for GCSE
2684
2685 2006-01-03  Ben Elliston  <bje@au.ibm.com>
2686
2687         * targhooks.h (default_decimal_float_supported_p): Declare.
2688         * targhooks.c (default_decimal_float_supported_p): Define.
2689         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
2690         `default_decimal_float_supported_p'.
2691         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
2692
2693 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
2694
2695         * combine.c (apply_distributive_law <SUBREG>): Check
2696         TRULY_NOOP_TRUNCATION.
2697
2698 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
2699
2700         * dwarf2out.c (have_switched_text_section): Delete.
2701         (have_multiple_function_sections): New.
2702         (have_location_lists): Make 'bool'.
2703         (add_AT_loc_list): Use 'true' not '1'.
2704         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
2705         (output_loc_list): Use have_multiple_function_sections.
2706         (output_ranges): Likewise.
2707         (dwarf2out_begin_function): Set have_multiple_function_sections if
2708         necessary.
2709         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
2710         Check function_section rather than DECL_SECTION_NAME.
2711         (dwarf2out_finish): Use have_multiple_function_sections.
2712         Don't clear have_location_lists.
2713
2714 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
2715             Jan Hubicka  <jh@suse.cz>
2716
2717         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
2718         case of conditional jump jumping to the next instruction.
2719         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
2720         cases of conditional jump jumping to the next instruction.
2721
2722 2006-01-02  Jan Hubicka  <jh@suse.cz>
2723
2724         * i386.c (*_cost): Add COSTS_N_INSNS.
2725         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
2726
2727 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
2728
2729         PR target/25259
2730         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
2731
2732 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2733
2734         * config/arm/arm.c (all_fpus): Fix comment typo.
2735         * config/darwin.c: Likewise.
2736         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
2737         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
2738         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
2739
2740 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
2741
2742         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
2743         (rs6000_split_compare_and_swapqhi): New.
2744         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
2745         (sync_compare_and_swapqhi_internal): New.
2746         * config/rs6000/rs6000-protos.h: Declare.