OSDN Git Service

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