OSDN Git Service

51a06358b89803cac659fbf9aaaf6d6b75812f09
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2006-02-20  Paolo Bonzini  <bonzini@gnu.org>
2
3         PR bootstrap/25476
4
5         * Makefile.in (LDFLAGS): Define from autoconf substitution.
6
7         * Makefile.in (BOOTSTRAPPING): New.
8         (quickstrap): New definition if BOOTSTRAPPING=yes.
9
10         * Makefile.in (CONFIG_LANGUAGES): Substitute all_selected_languages.
11         * configure.ac: Substitute all_selected_languages with the languages
12         that were configured.  For all the other variables except
13         lang_specs_files, include all the languages in the tree.
14         * configure: Regenerate.
15         
16         * Makefile.in (stmp-fixinc): Copy includes from the prev-gcc directory,
17         if there is one.  Run the commands to run fixincludes in the same
18         subshell.
19
20         * doc/makefile.texi: Document new makefile targets from toplevel bootstrap.
21         * doc/install.texi: Document exact conventions for searching target tools.
22         Document --with-build-time-tools.  Document toplevel bootstrap.  Document
23         something more about building an Ada cross-compiler.  Don't list GNU Make
24         requirements which affect all platforms.
25
26 2006-02-19  Roger Sayle  <roger@eyesopen.com>
27
28         PR middle-end/19543
29         * varasm.c (compare_constant) <INTEGER_CST>: Integer constants are
30         only equivalent if the have both the same mode and precision.
31
32 2006-02-20  Ben Elliston  <bje@au.ibm.com>
33
34         * doc/tree-ssa.texi (Interfaces): Describe low vs. high GIMPLE.
35
36 2006-02-19  Roger Sayle  <roger@eyesopen.com>
37             Steven Bosscher  <stevenb.gcc@gmail.com>
38
39         * gcse.c (want_to_gcse_p): On STACK_REGS targets, look through
40         constant pool references to identify stack mode constants.
41         * rtlanal.c (constant_pool_constant_p): New predicate to check
42         whether operand is a floating point constant in the pool.
43         * rtl.h (constant_pool_constant_p): Prototype here.
44         * loop.c (scan_loop): Avoid hoisting constants from the constant
45         pool on STACK_REGS targets.
46         (load_mems): Likewise.
47         * loop-invariant.c (get_inv_cost): Make hoisting constant pool
48         loads into x87 registers expensive in terms of register pressure.
49
50 2006-02-19  Roger Sayle  <roger@eyesopen.com>
51
52         * gthr-posix.h: On Tru64, map __gthr_foo as a weak reference to
53         __foo and not foo when _PTHREAD_USE_MANGLED_NAMES_ is defined.
54
55 2006-02-19  David Edelsohn  <edelsohn@gnu.org>
56
57         * config/rs6000/xcoff.h (TARGET_ASM_OUTPUT_ANCHOR): Define.
58         * config/rs6000/rs6000.c (rs6000_xcoff_asm_output_anchor): Define.
59
60 2006-02-19  Daniel Berlin  <dberlin@dberlin.org>
61
62         * doc/invoke.texi: Document -fipa-pta.
63         * common.opt: Add ipa-pta option.
64         * tree-ssa-structalias.c (DONT_PROPAGATE_WITH_ANYTHING): Removed.
65         (do_sd_constraint): Enable DONT_PROPAGATE_WITH_ANYTHING code.
66         (do_ds_constraint): Ditto.
67         (get_constraint_for): Only add to referenced_vars if
68         referenced_vars exists.
69         (insert_into_field_list): Rewrite to do this unsorted.
70         (insert_into_field_list_sorted): Rename old insert_into_field_list
71         to this.
72         (create_function_info_for): Use insert_into_field_list_sorted.
73         (create_variable_info_for): Rewrite so it uses unsorted version,
74         since the field list is sorted.
75         (intra_create_variable_infos): Only add to referenced_vars if
76         referenced_vars exists.
77         (ipa_pta_execute): Init heapvars, and delete when done.
78         * passes.c (init_optimization_passes): Add call to pass_ipa_pta.
79
80 2006-02-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
81
82         * doc/install.texi: Add missing `@samp'.
83
84 2006-02-18  Andrew Pinski <pinskia@physics.uc.edu>
85
86         * config/rs6000/darwin.h (ASM_OUTPUT_SPECIAL_POOL_ENTRY_P):
87         Use the arguments.
88
89 2006-02-18  Mark Wielaard  <mark@klomp.org>
90
91         * doc/contrib.texi (Contributors): Add classpath/libgcj hackers
92         who added new 4.1 features, bug fixes and integration support.
93
94 2006-02-18  David Edelsohn  <edelsohn@gnu.org>
95
96         PR target/26350
97         * config/rs6000/rs6000.md (extenddftf2): Force 0.0 to validized
98         MEM for ABI_V4 pic.
99
100 2006-02-18  Richard Sandiford  <richard@codesourcery.com>
101
102         * cselib.c (cselib_init): Change RTX_SIZE to RTX_CODE_SIZE.
103         * emit-rtl.c (copy_rtx_if_shared_1): Use shallow_copy_rtx.
104         (copy_insn_1): Likewise.  Don't copy each field individually.
105         Reindent.
106         * read-rtl.c (apply_macro_to_rtx): Use RTX_CODE_SIZE instead
107         of RTX_SIZE.
108         * reload1.c (eliminate_regs): Use shallow_copy_rtx.
109         * rtl.c (rtx_size): Rename variable to...
110         (rtx_code_size): ...this.
111         (rtx_size): New function.
112         (rtx_alloc_stat): Use RTX_CODE_SIZE instead of RTX_SIZE.
113         (copy_rtx): Use shallow_copy_rtx.  Don't copy each field individually.
114         Reindent.
115         (shallow_copy_rtx_stat): Use rtx_size instead of RTX_SIZE.
116         * rtl.h (rtx_code_size): New variable.
117         (rtx_size): Change from a variable to a function.
118         (RTX_SIZE): Rename to...
119         (RTX_CODE_SIZE): ...this.
120
121         PR target/9703
122         PR tree-optimization/17106
123         * doc/tm.texi (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Document.
124         (Anchored Addresses): New section.
125         * doc/invoke.texi (-fsection-anchors): Document.
126         * doc/rtl.texi (SYMBOL_REF_IN_BLOCK_P, SYMBOL_FLAG_IN_BLOCK): Likewise.
127         (SYMBOL_REF_ANCHOR_P, SYMBOL_FLAG_ANCHOR): Likewise.
128         (SYMBOL_REF_BLOCK, SYMBOL_REF_BLOCK_OFFSET): Likewise.
129         * hooks.c (hook_bool_mode_rtx_false): New function.
130         * hooks.h (hook_bool_mode_rtx_false): Declare.
131         * gengtype.c (create_optional_field): New function.
132         (adjust_field_rtx_def): Add the "block_sym" field for SYMBOL_REFs when
133         SYMBOL_REF_IN_BLOCK_P is true.
134         * target.h (output_anchor, use_blocks_for_constant_p): New hooks.
135         (min_anchor_offset, max_anchor_offset): Likewise.
136         (use_anchors_for_symbol_p): New hook.
137         * toplev.c (compile_file): Call output_object_blocks.
138         (target_supports_section_anchors_p): New function.
139         (process_options): Check that -fsection-anchors is only used on
140         targets that support it and when -funit-at-a-time is in effect.
141         * tree-ssa-loop-ivopts.c (prepare_decl_rtl): Only create DECL_RTL
142         if the decl doesn't have one.
143         * dwarf2out.c: Remove instantiations of VEC(rtx,gc).
144         * expr.c (emit_move_multi_word, emit_move_insn): Pass the result
145         of force_const_mem through use_anchored_address.
146         (expand_expr_constant): New function.
147         (expand_expr_addr_expr_1): Call it.  Use the same modifier when
148         calling expand_expr for INDIRECT_REF.
149         (expand_expr_real_1): Pass DECL_RTL through use_anchored_address
150         for all modifiers except EXPAND_INITIALIZER.  Use expand_expr_constant.
151         * expr.h (use_anchored_address): Declare.
152         * loop-unroll.c: Don't declare rtx vectors here.
153         * explow.c: Include output.h.
154         (validize_mem): Call use_anchored_address.
155         (use_anchored_address): New function.
156         * common.opt (-fsection-anchors): New switch.
157         * varasm.c (object_block_htab, anchor_labelno): New variables.
158         (hash_section, object_block_entry_eq, object_block_entry_hash)
159         (use_object_blocks_p, get_block_for_section, create_block_symbol)
160         (use_blocks_for_decl_p, change_symbol_section): New functions.
161         (get_variable_section): New function, split out from assemble_variable.
162         (make_decl_rtl): Create a block symbol if use_object_blocks_p and
163         use_blocks_for_decl_p say so.  Use change_symbol_section if the
164         symbol has already been created.
165         (assemble_variable_contents): New function, split out from...
166         (assemble_variable): ...here.  Don't output any code for
167         block symbols; just pass them to place_block_symbol.
168         Use get_variable_section and assemble_variable_contents.
169         (get_constant_alignment, get_constant_section, get_constant_size): New
170         functions, split from output_constant_def_contents.
171         (build_constant_desc): Create a block symbol if use_object_blocks_p
172         says so.  Or into SYMBOL_REF_FLAGS.
173         (assemble_constant_contents): New function, split from...
174         (output_constant_def_contents): ...here.  Don't output any code
175         for block symbols; just pass them to place_section_symbol.
176         Use get_constant_section and get_constant_alignment.
177         (force_const_mem): Create a block symbol if use_object_blocks_p and
178         use_blocks_for_constant_p say so.  Or into SYMBOL_REF_FLAGS.
179         (output_constant_pool_1): Add an explicit alignment argument.
180         Don't switch sections here.
181         (output_constant_pool): Adjust call to output_constant_pool_1.
182         Switch sections here instead.  Don't output anything for block symbols;
183         just pass them to place_block_symbol.
184         (init_varasm_once): Initialize object_block_htab.
185         (default_encode_section_info): Keep the old SYMBOL_FLAG_IN_BLOCK.
186         (default_asm_output_anchor, default_use_aenchors_for_symbol_p)
187         (place_block_symbol, get_section_anchor, output_object_block)
188         (output_object_block_htab, output_object_blocks): New functions.
189         * target-def.h (TARGET_ASM_OUTPUT_ANCHOR): New macro.
190         (TARGET_ASM_OUT): Include it.
191         (TARGET_USE_BLOCKS_FOR_CONSTANT_P): New macro.
192         (TARGET_MIN_ANCHOR_OFFSET, TARGET_MAX_ANCHOR_OFFSET): New macros.
193         (TARGET_USE_ANCHORS_FOR_SYMBOL_P): New macro.
194         (TARGET_INITIALIZER): Include them.
195         * rtl.c (rtl_check_failed_block_symbol): New function.
196         * rtl.h: Include vec.h.  Declare heap and gc rtx vectors.
197         (block_symbol, object_block): New structures.
198         (rtx_def): Add a block_symbol field to the union.
199         (BLOCK_SYMBOL_CHECK): New macro.
200         (rtl_check_failed_block_symbol): Declare.
201         (SYMBOL_FLAG_IN_BLOCK, SYMBOL_FLAG_ANCHOR): New SYMBOL_REF flags.
202         (SYMBOL_REF_IN_BLOCK_P, SYMBOL_REF_ANCHOR_P): New predicates.
203         (SYMBOL_FLAG_MACH_DEP_SHIFT): Bump by 2.
204         (SYMBOL_REF_BLOCK, SYMBOL_REF_BLOCK_OFFSET): New accessors.
205         * output.h (output_section_symbols): Declare.
206         (object_block): Name structure.
207         (place_section_symbol, get_section_anchor, default_asm_output_anchor)
208         (default_use_anchors_for_symbol_p): Declare.
209         * Makefile.in (RTL_BASE_H): Add vec.h.
210         (explow.o): Depend on output.h.
211         * config/rs6000/rs6000.c (TARGET_MIN_ANCHOR_OFFSET): Override default.
212         (TARGET_MAX_ANCHOR_OFFSET): Likewise.
213         (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Likewise.
214         (rs6000_use_blocks_for_constant_p): New function.
215
216 2006-02-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
217
218         * doc/install.texi (hppa*-hp-hpux*): Update for 4.1.0.
219
220 2006-02-18  Andrew Pinski  <pinskia@physics.uc.edu>
221
222         PR tree-opt/25680
223         * tree-ssa-ccp.c (ccp_fold): Handle store CCP of REALPART_EXPR and
224         IMAGPART_EXPR.
225
226 2006-02-18  Diego Novillo  <dnovillo@redhat.com>
227
228         * tree-flow.h (struct var_ann_d): Rename field is_alias_tag to
229         is_aliased.
230         Update all users.
231
232 2006-02-18  Jakub Jelinek  <jakub@redhat.com>
233
234         PR middle-end/26334
235         * stmt.c (decl_overlaps_hard_reg_set_p): Use DECL_HARD_REGISTER
236         instead of DECL_REGISTER.
237
238 2006-02-18  Olivier Hainque  <hainque@adacore.com>
239
240         PR ada/13408
241         * pa.h (WIDEST_HARDWARE_FP_SIZE): Define.
242
243 2006-02-18  Joseph S. Myers  <joseph@codesourcery.com>
244
245         PR target/24837
246         * config.gcc: Define UCLIBC_DEFAULT to 0 or 1.
247         * opth-gen.awk: Handle Var and InverseMask together.
248         * config/linux.opt (muclibc, mglibc): Use Var(linux_uclibc).
249         * config/linux.h: Use #if not #ifdef for testing UCLIBC_DEFAULT.
250         (TARGET_C99_FUNCTIONS): Test OPTION_GLIBC not TARGET_GLIBC.
251         (CHOOSE_DYNAMIC_LINKER): Give an error for -mglibc and -muclibc
252         used together.
253         (UCLIBC_DYNAMIC_LINKER32, UCLIBC_DYNAMIC_LINKER64,
254         LINUX_DYNAMIC_LINKER32, LINUX_DYNAMIC_LINKER64): Define.
255         * config/alpha/linux-elf.h (GLIBC_DYNAMIC_LINKER,
256         UCLIBC_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER,
257         LINUX_DYNAMIC_LINKER): Define.
258         (ELF_DYNAMIC_LINKER): Define to LINUX_DYNAMIC_LINKER.
259         * config/alpha/linux.h (TARGET_C99_FUNCTIONS): Define to
260         TARGET_GLIBC.
261         * config/cris/linux.h (GLIBC_DYNAMIC_LINKER): Define.
262         (CRIS_LINK_SUBTARGET_SPEC): Pass a -dynamic-linker option.
263         * config/frv/linux.h (GLIBC_DYNAMIC_LINKER): Define.
264         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
265         (TARGET_C99_FUNCTIONS): Don't define.
266         * config/i386/linux.h (DYNAMIC_LINKER): Rename to
267         GLIBC_DYNAMIC_LINKER.
268         (SUBTARGET_EXTRA_SPECS): Use LINUX_DYNAMIC_LINKER.
269         * config/i386/linux64.h (GLIBC_DYNAMIC_LINKER32,
270         GLIBC_DYNAMIC_LINKER64): Define.
271         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER32 and
272         LINUX_DYNAMIC_LINKER64.
273         * config/ia64/linux.h (GLIBC_DYNAMIC_LINKER): Define.
274         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
275         * config/m32r/linux.h (GLIBC_DYNAMIC_LINKE): Define.
276         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
277         * config/m68k/linux.h (GLIBC_DYNAMIC_LINKER): Define.
278         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
279         * config/mips/linux64.h (GLIBC_DYNAMIC_LINKER32,
280         GLIBC_DYNAMIC_LINKER64, GLIBC_DYNAMIC_LINKERN32,
281         UCLIBC_DYNAMIC_LINKERN32, LINUX_DYNAMIC_LINKERN32): Define.
282         (LINK_SPEC): Use LINUX_DYNAMIC_LINKERN32, LINUX_DYNAMIC_LINKER64
283         and LINUX_DYNAMIC_LINKER32.
284         * config/mn10300/linux.h (GLIBC_DYNAMIC_LINKER): Define.
285         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
286         * config/pa/pa-linux.h (GLIBC_DYNAMIC_LINKER): Define.
287         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
288         * config/rs6000/linux.h (TARGET_C99_FUNCTIONS): Define to
289         TARGET_GLIBC.
290         * config/rs6000/linux64.h (TARGET_C99_FUNCTIONS): Likewise.
291         (GLIBC_DYNAMIC_LINKER32, GLIBC_DYNAMIC_LINKER64,
292         UCLIBC_DYNAMIC_LINKER32, UCLIBC_DYNAMIC_LINKER64,
293         CHOOSE_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER,
294         LINUX_DYNAMIC_LINKER32, LINUX_DYNAMIC_LINKER64): Define.
295         (LINK_OS_LINUX_SPEC32): Use LINUX_DYNAMIC_LINKER32.
296         (LINK_OS_LINUX_SPEC64): Use LINUX_DYNAMIC_LINKER64.
297         * config/rs6000/sysv4.h (GLIBC_DYNAMIC_LINKER,
298         UCLIBC_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER,
299         LINUX_DYNAMIC_LINKER): Define.
300         (LINK_OS_LINUX_SPEC): Use LINUX_DYNAMIC_LINKE.
301         * config/s390/linux.h (GLIBC_DYNAMIC_LINKER32,
302         GLIBC_DYNAMIC_LINKER64): Define.
303         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER32 and
304         LINUX_DYNAMIC_LINKER64.
305         * config/sh/linux.h (GLIBC_DYNAMIC_LINKER): Define.
306         (SUBTARGET_LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
307         * config/sparc/linux.h (GLIBC_DYNAMIC_LINKER,
308         UCLIBC_DYNAMIC_LINKER, CHOOSE_DYNAMIC_LINKER,
309         LINUX_DYNAMIC_LINKER): Define.
310         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
311         (TARGET_C99_FUNCTIONS): Define to TARGET_GLIBC.
312         * config/sparc/linux64.h (GLIBC_DYNAMIC_LINKER32,
313         GLIBC_DYNAMIC_LINKER64, UCLIBC_DYNAMIC_LINKER32,
314         UCLIBC_DYNAMIC_LINKER64, CHOOSE_DYNAMIC_LINKER,
315         LINUX_DYNAMIC_LINKER32, LINUX_DYNAMIC_LINKER64): Define.
316         (LINK_ARCH32_SPEC): Use LINUX_DYNAMIC_LINKER32.
317         (LINK_ARCH64_SPEC, LINK_SPEC): Use LINUX_DYNAMIC_LINKER64.
318         (TARGET_C99_FUNCTIONS): Define to TARGET_GLIBC.
319         * config/xtensa/linux.h (GLIBC_DYNAMIC_LINKER): Define.
320         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
321         * doc/invoke.texi (-muclibc): Remove caveat about supported
322         targets.
323
324 2006-02-17  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
325
326         * doc/cpp.texi (__TIMESTAMP__): Document.
327
328 2006-02-17  Roger Sayle  <roger@eyesopen.com>
329
330         PR middle-end/25600
331         * fold-const.c (fold_binary): Fold (X >> C) != 0 into X < 0 when
332         C is one less than the width of X (and related transformations).
333         * simplify_rtx.c (simplify_unary_operation_1): Transform 
334         (neg (lt x 0)) into either (ashiftrt X C) or (lshiftrt X C)
335         depending on STORE_FLAG_VALUE, were C is one less then the
336         width of X.
337
338 2006-02-17  Daniel Berlin  <dberlin@dberlin.org>
339
340         Fix PR tree-optimization/26341
341         * tree-ssa-operands.c (add_virtual_operand): Remove assert 
342         about NAME_MEMORY_TAG's.
343
344 2006-02-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
345
346         PR target/26255
347         * pa.md: Create separate HI and QI move patterns for 32-bit and 64-bit
348         with hardware float support, and software float support.  Add fcpy
349         alternative to hardware patterns.  Add alternatives to copy between
350         general and floating-point registers to the 32-bit pattern.
351         * pa.c (pa_secondary_reload): Don't abort if reload tries to find a
352         secondary reload to load a QI or HI mode constant into a floating
353         point register. 
354         * pa32-regs.h (VALID_FP_MODE_P): Allow QImode and HImode.
355         * pa64-regs.h (VALID_FP_MODE_P): Likewise.
356
357 2006-02-17  Andrew Pinski  <pinskia@physics.uc.edu>
358
359         PR target/26272
360         * config/rs6000/darwin.md (load_macho_picbase_si): Add
361         pc to the pattern.
362         (load_macho_picbase_di): Likewise.
363
364 2006-02-16  Jeff Law  <law@redhat.com>
365
366         * tree-vrp.c (set_value_range_to_nonnegative): New function.
367         (vrp_expr_computes_nonnegative, ssa_name_nonnegative_p): Likewise.
368         (ssa_name_nonzero_p): Likewise.
369         (get_value_range): Return NULL if VRP is not running.
370         (extract_range_from_expr): Fallback to tree_expr_XXX_p if
371         VRP routines do not discover a range.
372         (vrp_finalize): Clear VR_VALUE to indicate VRP is not running.
373         * tree.h (ssa_name_nonzero_p, ssa_name_nonnegative_p): Prototype.
374         * fold-const.c (tree_expr_nonzero_p): For SSA_NAMEs, query VRP.
375         (tree_expr_nonnegative_p): Similarly.
376         * tree-ssa-dom.c (nonzero_vars, nonzero_vars_stack): Remove.
377         (restore_nonzero_vars_to_original_value): Remove.
378         (unsafe_associative_fp_binop): Remove.
379         (tree_ssa_dominator_optimize): Remove initialization and
380         finalization of nonzero_vars and nonzero_vars_stack.
381         (dom_opt_initialize_block): No longer push marker on
382         nonzero_vars_stack.
383         (dom_opt_finalize_block): No longer call
384         restore_nonzero_vars_to_original_value.
385         (record_equivalences_from_phis): No longer look for
386         nonzero PHI arguments.
387         (cprop_into_successor_phis): No longer propagate nonzero
388         property into PHI arguments.  Lose unused argument.  Caller
389         updated.
390         (record_equivalences_from_stmt): No longer record nonzero
391         values for SSA_NAMEs.
392         (lookup_avail_expr): No longer use nonzero_vars.
393
394         * stor-layout.c (set_sizetype): Set TYPE_MAX_VALUE properly
395         for sizetype when sizetype is unsigned.
396
397 2006-02-16  Denis Nagorny <denis_nagorny@linux.intel.com>
398
399         PR rtl-optimization/25603
400         * reload.c (reg_inc_found_and_valid_p): New. Check REG_INC note.
401         (regno_clobbered_p): Use it. Reusing SETS argument for REG_INC case.
402         * reload1.c (choose_reload_regs): Added call of regno_clobbered_p 
403         with new meaning of SETS.
404
405 2006-02-16  Joseph S. Myers  <joseph@codesourcery.com>
406
407         PR target/20353
408         PR target/24578
409         PR target/24837
410         * config/linux.opt: New file.
411         * config/linux.h (CHOOSE_DYNAMIC_LINKER, UCLIBC_DYNAMIC_LINKER,
412         LINUX_DYNAMIC_LINKER): Define.
413         (TARGET_C99_FUNCTIONS): Define depending on TARGET_GLIBC.
414         * config.gcc (*-*-linux*): Define extra_options.
415         (*-*-*uclibc*): Define UCLIBC_DEFAULT.
416         (arm*-*-linux-gnueabi): Change to arm*-*-linux-*eabi.
417         * config/arm/linux-eabi.h (LINUX_TARGET_INTERPRETER): Change to
418         GLIBC_DYNAMIC_LINKER.
419         * config/arm/linux-elf.h (LINUX_TARGET_INTERPRETER): Likewise.
420         (LINUX_TARGET_LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
421         * config/mips/linux.h (GLIBC_DYNAMIC_LINKER): Define.
422         (LINK_SPEC): Use LINUX_DYNAMIC_LINKER.
423         * doc/invoke.texi (GNU/Linux Options): New section.
424
425 2006-02-16  Eric Botcazou  <ebotcazou@libertysurf.fr>
426
427         * config/sparc/sparc.md (setjmp): Rewrite.
428         (setjmp_32): Delete.
429         (setjmp_64): Likewise.
430
431 2006-02-16  Daniel Berlin <dberlin@dberlin.org>
432
433         * tree-ssa-operands.c (access_can_touch_variable): Fix typo in
434          previous change.
435
436 2006-02-16  Zdenek Dvorak <dvorakz@suse.cz>
437
438         * loop-invariant.c (invariant_for_use, check_dependencies): Fail for
439         read-write uses.
440
441 2006-02-16  Zdenek Dvorak <dvorakz@suse.cz>
442
443         PR rtl-optimization/26296
444         * Makefile.in (loop-invariant.c): Add except.h dependency.
445         * loop-invariant.c: Include except.h.
446         (find_invariant_insn): Ignore insns satisfying can_throw_internal.
447
448 2005-02-16  Paul Brook  <paul@codesourcery.com>
449
450         * reload1.c (emit_reload_insns): Invalidate dead input registers used
451         for reloads.
452
453 2006-02-16  Bernd Schmidt  <bernd.schmidt@analog.com>
454
455         PR rtl-optimization/25636
456         * local-alloc.c (update_equiv_regs): Lose a bogus rtx_equal_p test
457         when deciding whether an insn is an initializing insn.
458
459 2006-02-15 Daniel Berlin  <dberlin@dberlin.org>
460
461         * tree.c (init_ttree): Add STRUCT_FIELD_TAG handling.
462         (tree_code_size): Ditto.
463         * tree.h (struct tree_memory_tag): Remove parent_var.
464         (struct tree_struct_field_tag): New.
465         (SFT_OFFSET): New.
466         (SFT_SIZE): New.
467         (union tree_node): Add sft member.
468         * tree-ssa-alias.c (get_tmt_for): Don't handle TYPE_READONLY
469         specially here.
470         (create_sft): Add size and offset argument, set SFT_OFFSET and
471         SFT_SIZE.
472         (create_overlap_variables_for): Update for SFT_OFFSET/SFT_SIZE.
473         * treestruct.def: Add TS_STRUCT_FIELD_TAG.
474         * tree-flow-inline.h (get_subvar_at): Update for
475         SFT_OFFSET/SFT_SIZE.
476         (var_can_have_subvars): Ditto.
477         (overlap_subvar): Ditto.
478         * print-tree.c (print_node): Print out interesting things for
479         SFT's.
480         * tree-flow.h (struct subvar): Remove offset and size members.
481         * tree-ssa-operands.c (get_expr_operands): Update for
482         get_indirect_ref_operands changes.
483         (get_indirect_ref_operands): Call add_virtual_operand instead of
484         add_stmt_operand.  Only recurse on base var if requested.
485         (access_can_touch_variable): New function.
486         (add_stmt_operand): Split virtual operand handling into ...
487         (add_virtual_operand): Here.  Add offset, size, and for_clobber
488         arguments.  Prune alias sets.
489         (add_call_clobber_ops): Call add_virtual_operand.
490         
491 2006-02-15  Jakub Jelinek  <jakub@redhat.com>
492
493         PR middle-end/26300
494         * combine.c (make_extraction): Bail out if ORIG_POS is negative.
495
496         * tree.h (struct tree_omp_clause): Use OMP_CLAUSE_CODE rather
497         than TREE_CODE as index into omp_clause_num_ops array.
498
499 2006-02-15  Uttam Pawar  <uttamp@us.ibm.com>
500
501         PR rtl-optimization/26184
502         * modulo-sched.c (generate_reg_moves): Free bitmap vector
503         uses_of_defs.
504         * modulo-sched.c (sms_schedule): Free g_arr pointer.
505         * modulo-sched.c (sms_schedule_by_order): Free bitmap pointers
506         must_precede, must_follow and tobe_scheduled.
507
508         PR other/26147
509         * opts.c (common_handle_option): Free new_option pointer.
510         * df-core.c (df_analyze): Free postorder pointer.
511
512 2006-02-15  Rafael Ávila de Espíndola <rafael.espindola@gmail.com>
513
514         * Makefile.in: Fix the examples about the use of stamps
515
516 2006-02-15  Michael Matz  <matz@suse.de>
517
518         PR middle-end/22275
519
520         * stor-layout.c (layout_decl): Zero-width bitfields aren't
521         influenced by maximum_field_alignment or DECL_PACKED.
522         (update_alignment_for_field): Ditto.
523         (place_field): Ditto.
524         * doc/extend.texi (<#pragma pack>, <Type Attributes>): Document
525         this behaviour.
526
527 2006-02-15  Paolo Bonzini  <bonzini@gnu.org>
528
529         * cfg.c (dump_flow_info): Get dump flags as an additional parameter.
530         (debug_flow_info): Pass it.
531         * alias.c (rest_of_handle_cfg): Adjust calls to dump_flow_info.
532         * bb-reorder.c (reorder_basic_blocks): Likewise.
533         * cfgcleanup.c (rest_of_handle_jump2): Likewise.
534         * cse.c (rest_of_handle_cse, rest_of_handle_cse2): Likewise.
535         * flow.c (life_analysis, recompute_reg_usage): Likewise.
536         * gcse.c (gcse_main, bypass_jumps): Likewise.
537         * ifcvt.c (rest_of_handle_if_conversion): Likewise.
538         * local-alloc.c (rest_of_handle_local_alloc): Likewise.
539         * loop-init.c (rtl_loop_init, rtl_loop_done): Likewise.
540         * profile.c (compute_branch_probabilities, branch_prob): Likewise.
541         * rtl.h (dump_flow_info): Adjust prototype.
542         * tracer.c (rest_of_handle_tracer, tracer): Likewise.
543         * var-tracking.c (variable_tracking_main): Likewise.
544         * passes.c (execute_todo): Obey TDF_BLOCKS for RTL.
545         * tree-dump.c (enable_rtl_dump_file): Enable the details and blocks
546         options.
547
548 2006-02-15  Marcin Dalecki <martin@dalecki.de>
549
550         * tree-ssa-dom.c (dom_thread_across_edge): fix tag expression
551         construction.
552
553 2006-02-14  Zdenek Dvorak <dvorakz@suse.cz>
554
555         PR tree-optimization/26209
556         * tree-ssa-loop.c (pass_scev_cprop): Add TODO_cleanup_cfg.
557         * tree-cfgcleanup.c (cleanup_control_flow): Remove dead
558         eh edges.
559         * tree-cfg.c (replace_uses_by): Do not alter cfg.
560
561 2006-02-14  Roger Sayle  <roger@eyesopen.com>
562
563         PR middle-end/23670
564         * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Optimize (X&Y)|Y into
565         (X,Y) and the corresponding symmetry related transformations.
566         (fold_binary) <BIT_AND_EXPR>: Likewise, optimize (X|Y)&Y into
567         (X,Y) and its symmetry related transformations.
568
569 2006-02-14  Roger Sayle  <roger@eyesopen.com>
570
571         * dojump.c (do_compare_rtx_and_jump): Also handle multi-word GTU
572         and GEU.
573
574 2006-02-14  Adam Nemet  <anemet@caviumnetworks.com>
575
576         * simplify-rtx.c (simplify_subreg): Combine SUBREG and TRUNCATE.
577
578 2006-02-14  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
579
580         PR bootstrap/26053
581         * configure.ac (HAVE_COMDAT_GROUP): Don't assume non-GNU linkers
582         support COMDAT group.
583         * configure: Regenerate.
584
585 2006-02-14  Roger Sayle  <roger@eyesopen.com>
586
587         PR middle-end/26279
588         PR middle-end/26280
589         PR middle-end/26283
590         * dojump.c (do_compare_rtx_and_jump): Handle multi-word LE.
591
592 2006-02-14  Daniel Berlin  <dberlin@dberlin.org>
593
594         Fix PR tree-optimization/26260
595
596         * doc/invoke.texi (max-fields-for-field-sensitive): Document
597         param.
598         * params.h (MAX_FIELDS_FOR_FIELD_SENSITIVE): New.
599         * params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Ditto.
600         * tree-ssa-structalias.c (create_variable_info_for): Use
601         MAX_FIELDS_FOR_FIELD_SENSITIVE.
602         
603 2006-02-14  Zdenek Dvorak <dvorakz@suse.cz>
604
605         * doc/invoke.texi (-fprefetch-loop-arrays, -fprefetch-loop-arrays-rtl):
606         Document.
607         * tree-ssa-loop-niter.c (number_of_iterations_ne,
608         number_of_iterations_lt, number_of_iterations_cond): Remember the shape
609         of the ending condition.
610         * tree-ssa-loop-manip.c: Include params.h.
611         (build_if_stmt, can_unroll_loop_p, determine_exit_conditions,
612         tree_unroll_loop): New functions.
613         * tree-pass.h (pass_loop_prefetch): Declare.
614         * loop.c (rest_of_handle_loop_optimize): Test for
615         -fprefetch-loop-arrays-rtl.
616         * tree-scalar-evolution.h (affine_iv): Moved to tree-flow.h.
617         * timevar.def (TV_TREE_PREFETCH): New timevar.
618         * tree-ssa-loop.c (tree_ssa_loop_prefetch, gate_tree_ssa_loop_prefetch,
619         pass_loop_prefetch): New.
620         * tree-cfgcleanup.c: Include tree-scalar-evolution.h.
621         (cleanup_tree_cfg_loop): Call scev_reset.
622         * common.opt (fprefetch-loop-arrays-rtl): Add.
623         * tree-ssa-loop-prefetch.c: New file.
624         * tree-outof-ssa.c (struct value_expr_d): Add expr_vars field.
625         (new_temp_expr_table): Initialize expr_vars.
626         (free_temp_expr_table): Cleanup expr_vars.
627         (check_replaceable, find_replaceable_in_bb): Prevent accumulating
628         expressions from being merged into one.
629         * tree-flow.h (affine_iv): Moved from tree-scalar-evolution.h.
630         (struct tree_niter_desc): Add control, bound and cmp fields.
631         (tree_ssa_prefetch_arrays, can_unroll_loop_p, tree_unroll_loop):
632         Declare.
633         * Makefile.in (tree-ssa-loop-prefetch.o): Add.
634         (tree-cfgcleanup.o): Add SCEV_H dependency.
635         (tree-ssa-loop-manip.o): Add PARAMS_H dependency.
636         * passes.c (init_optimization_passes): Add pass_loop_prefetch.
637
638 2006-02-14  Richard Guenther  <rguenther@suse.de>
639
640         PR tree-optimization/26258
641         * tree-ssa-structalias.c (find_func_aliases): Handle aggregates
642         in PHI argument processing.
643
644 2006-02-13  Adam Nemet  <anemet@caviumnetworks.com>
645
646         * simplify-rtx.c (simplify_unary_operation_1) <TRUNCATE>: Return
647         new expression in the requested machine mode.
648
649 2006-02-13  Roger Sayle  <roger@eyesopen.com>
650
651         * optabs.c (expand_abs): Don't call do_jump_by_parts_greater_rtx
652         directly, instead let do_compare_rtx_and_jump handle this for us.
653         * expr.c (expand_expr_real_1): Likewise.
654         * dojump.c (do_jump_by_parts_greater_rtx): Make static.  Move
655         before do_jump_by_parts_greater.
656         (do_jump_by_parts_greater): Move after do_jump_by_parts_greater_rtx.
657         * expr.h (do_jump_by_parts_greater_rtx): Delete prototype.
658
659 2006-02-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
660
661         * pa/quadlib.c: Use defines instead of enum qfcmp_magic.
662
663 2006-02-13  Zdenek Dvorak <dvorakz@suse.cz>
664
665         PR rtl-optimization/26235
666         * loop-invariant.c (hash_invariant_expr_1): Handle 'i' and 'n' formats.
667         (invariant_expr_equal_p): Handle 'i' and 'n' formats.  Fail on unknown
668         format.
669
670 2006-02-13  Jeff Law  <law@redhat.com>
671
672         * tree-vrp.c (extract_range_from_binary_expr): Remove handling of
673         TRUTH_XOR_EPR.
674
675 2006-02-13  Jakub Jelinek  <jakub@redhat.com>
676
677         PR middle-end/26092
678         * gimplify.c (gimplify_call_expr): Don't call get_callee_fndecl
679         twice if decl is a builtin.  When trying again, call get_callee_fndecl
680         first to verify it is still a builtin.
681
682 2006-02-13  Geoffrey Keating  <geoffk@apple.com>
683
684         * dwarf2out.c (base_type_die): Don't add AT_name here.
685         (subrange_type_die): Don't add AT_name here.
686         (modified_type_die): Rearrange code flow.  Do add AT_name here.
687
688 2006-02-13  Zdenek Dvorak <dvorakz@suse.cz>
689
690         PR rtl-optimization/26247
691         PR rtl-optimization/26248
692         * loop-invariant.c (may_assign_reg_p): Do not allow VOIDmode.
693
694 2006-02-13  Richard Sandiford  <richard@codesourcery.com>
695
696         * config/floatunditf.c: Use if __LDBL_MANT_DIG__ == 113.
697         * config/fixtfdi.c: Likewise.
698         * config/fixunstfdi.c: Likewise.
699         * config/floatditf.c: Likewise.
700
701 2006-02-13  Roger Sayle  <roger@eyesopen.com>
702
703         PR middle-end/24427
704         * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Transform (X&C1)|C2
705         into (X,C2) if C1 is a subset of the bits of C2.  Transform
706         (X&C1)|C2 into X|C2 if C1|C2 == ~0.  Canonicalize (X&C1)|C2 as
707         (X&(C1&~C2))|C2.
708         <BIT_AND_EXPR>: Canonicalize (X|C1)&C2 as (X&C2)|(C1&C2).
709
710 2006-02-13  Josh Conner  <jconner@apple.com>
711
712         PR target/25376
713         * varasm.c (function_section): Check for section name before
714         calling select_section on targets that define
715         USE_SELECT_SECTION_FOR_FUNCTIONS.  On other targets, use
716         unlikely_text_section instead of hot_function_section if
717         first_function_block_is_cold.
718
719 2006-02-13  J"orn Rennecke <joern.rennecke@st.com>
720
721         PR middle-end/25335
722         * reload1.c (gen_reload): Also use find_replacement in UNARY_P case.
723
724 2006-02-12  Zdenek Dvorak <dvorakz@suse.cz>
725
726         PR rtl-optimization/26222
727         * function.c (assign_stack_temp_for_type): Do not reuse stack slots
728         after tree->rtl expansion.
729         * loop-invariant.c (move_invariant_reg): Use force_operand on rhs
730         before passing it to emit_move_insn.
731
732 2006-02-12  Gabriel Dos Reis  <gdr@integrable-solutions.net>
733
734         * doc/invoke.texi (-Write-strings): Document that it is enabled by
735         default. 
736         * c.opt (-Wwrite-strings): Declare variable warn_write_strings.
737         Clarify documentation.
738         * c-common.h (warn_write_strings): Remove.
739         * c-common.c (warn_write_strings): Likewise.
740         * c-opts.c (c_common_init_options): Enable -Wwrite-strings by
741         default for C++.
742
743 2006-02-12  Roger Sayle  <roger@eyesopen.com>
744
745         PR middle-end/25724
746         * dojump.c (do_jump): Call do_compare_rtx_and_jump.
747         (do_jump_parts_zero_rtx): New function renamed from
748         do_jump_parts_equality_rtx.  Made static.  Add a mode argument.
749         (do_jump_parts_equality_rtx): New function split out from
750         do_jump_parts_equality.  Old implementation renamed as above.
751         Call do_jump_parts_zero_rtx if either operand is zero.
752         (do_jump_parts_equality): Call do_jump_parts_equality_rtx to
753         do all of the heavy lifting.
754         (do_compare_rtx_and_jump): Handle multi-word comparisons by
755         calling either do_jump_by_parts_greater_rtx or
756         do_jump_by_parts_equality_rtx.
757         * expr.h (do_jump_by_parts_equality_rtx): Remove prototype.
758         * expmed.c (do_cmp_and_jump): Now multi-word optimization has
759         moved to do_compare_rtx_and_jump, call it directly.
760         * stmt.c (do_jump_if_equal): Remove static prototype.  Add a
761         mode argument.  Call do_compare_rtx_and_jump.
762         (emit_case_nodes): Update calls to do_jump_if_equal.
763
764 2006-02-12  Zdenek Dvorak <dvorakz@suse.cz>
765
766         PR rtl-optimization/26225
767         * loop-invariant.c (may_assign_reg_p): Do not allow BLKmode operands.
768
769 2006-02-12  Zdenek Dvorak <dvorakz@suse.cz>
770
771         PR rtl-optimization/26232
772         * loop-invariant.c (find_invariant_insn): Ignore insns that set CC0.
773
774 2006-02-11  Jason Merrill  <jason@redhat.com>
775
776         PR tree-opt/24365
777         * tree-inline.c (declare_return_variable): Just don't use the
778         modify target if it's a gimple complex reg and the return slot
779         isn't.
780
781 2006-02-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
782
783         * doc/contrib.texi: Update my entry.
784
785 2006-02-10  Geoffrey Keating  <geoffk@apple.com>
786
787         * config/i386/darwin.h (DBX_REGISTER_NUMBER): Define.
788
789 2006-02-10  Diego Novillo  <dnovillo@redhat.com>
790
791         * tree-inline.c (estimate_num_insns_1): Make OpenMP directives
792         expensive.
793
794 2006-02-10  Zdenek Dvorak <dvorakz@suse.cz>
795
796         * doc/invoke.texi (-floop-optimize2): Removed.
797         * toplev.c (process_options): Remove handling of flag_loop_optimize2.
798         * loop-init.c (gate_handle_loop2): Do not test flag_loop_optimize2.
799         Test flag_branch_on_count_reg only if HAVE_doloop_end.
800         * common.opt (floop-optimize2): Removed.
801         (fmove-loop-invariants): Enabled by default.
802
803 2006-02-10  Sebastian Pop  <pop@cri.ensmp.fr>
804
805         * tree-if-conv.c (combine_blocks): Free the result of
806         get_loop_exit_edges.
807
808 2006-02-10  Jeff Law  <law@redhat.com>
809
810         * fold-const.c (tree_expr_nonzero_p): Fix thinko.
811
812         PR tree-optimization/26213
813         * tree-ssa-threadedge.c (simplify_control_stmt_condition): Do not
814         loop trying to follow SSA_NAME_VALUE chains.
815
816 2006-02-10  Richard Guenther  <rguenther@suse.de>
817
818         * tree-dfa.c (get_ref_base_and_extent): When computing maxsize
819         deal with structures that end in implicitly variable sized arrays.
820
821 2006-02-09  Zdenek Dvorak <dvorakz@suse.cz>
822
823         PR rtl-optimization/24762
824         * df-scan.c (df_bb_refs_record): Record correct registers defined on
825         eh edges.
826
827 2006-02-09  Zdenek Dvorak <dvorakz@suse.cz>
828
829         * tree-ssa-loop-ivopts.c (struct loop_data, loop_data): Removed.
830         (struct ivopts_data): Add regs_used field.
831         (tree_ssa_iv_optimize_init): Do not allocate aux fields for loops.
832         (ivopts_global_cost_for_size, determine_set_costs): Use data->regs_used
833         instead of loop_data->regs_used;
834         (free_loop_data): Do not free aux fields for loops.
835         (tree_ssa_iv_optimize): Do not pass loops to tree_ssa_iv_optimize_init
836         and tree_ssa_iv_optimize_finalize.
837
838 2006-02-09  Kaz Kojima  <kkojima@gcc.gnu.org>
839
840         * config/sh/sh.h (FUNCTION_VALUE): Don't handle CHAR_TYPE.
841
842 2006-02-09  J"orn Rennecke <joern.rennecke@st.com>
843
844         PR target/26141
845         * sh.c (sh_gimplify_va_arg_expr): Don't change the result type when
846         computing the effective result type.
847
848 2006-02-09  J"orn Rennecke <joern.rennecke@st.com>
849
850         PR inline-asm/16194
851         * tree.h (decl_overlaps_hard_reg_set_p) Don't declare.
852         (tree_overlaps_hard_reg_set): Declare.
853         * stmt.c (decl_overlaps_hard_reg_set_p): Now static.  Change return
854         type and signature to match function type expected by walk_tree.
855         (tree_overlaps_hard_reg_set): New function.
856         (decl_conflicts_with_clobbers_p): Rename to:
857         (tree_conflicts_with_clobbers_p).  Take HARD_REG_SET * argument.
858         Use tree_overlaps_hard_reg_set.  Changed caller.
859         * doc/tm.texi (TARGET_MD_ASM_CLOBBERS): Replace
860         decl_overlaps_hard_reg_set_p with tree_overlaps_hard_reg_set.
861         * cris.c (cris_md_asm_clobbers): Likewise.
862
863 2006-02-09  Bernd Schmidt  <bernd.schmidt@analog.com>
864
865         * reload1.c (emit_input_reload_insns): Delete code that tries to
866         inherit using find_equiv_reg.
867
868 2006-02-09  Gabriel Dos Reis  <gdr@integrable-solutions.net>
869
870         * c-common.h (flag_const_strings): Don't declare.
871         * c-common.c (flag_const_strings): Remove.
872         * c.opt (fconst_strings): Remove.
873         * c-opts.c (c_common_handle_option): Remove <OPT_fconst_strings>.
874         <OPT_Wwrite_strings>: Don't set flag_const_strings.
875         (c_common_init_options): Don't set flag_const_strings.
876         * doc/invoke.texi (-fno-const-strings): Remove documentation.
877
878 2006-02-09  Richard Earnshaw  <richard.earnshaw@arm.com>
879
880         * arm.md (tlobits_cbranch): New pattern.
881         * arm.h (arm_select_cc_mode): For thumb, only return CC_Nmode if
882         testing a single bit.
883
884 2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>
885
886         PR tree-opt/26179
887         * tree-ssa-pre.c (create_component_ref_by_pieces):
888         Handle RETURN_DECL like VAR_DECL.
889
890 2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>
891
892         PR middle-end/26134
893         * fold-const.c (fold_indirect_ref_1): Fold 
894         "*(foo *)&complexfoo" to "__real__ complexfoo"
895         and "((foo*)&complexfoo)[1]" to "__imag__ complexfoo".
896
897 2006-02-09  Andrew Pinski  <pinskia@physics.uc.edu>
898
899         * tree-flow-inline.h (var_can_have_subvars): 
900         Volatile variables should not have subvariables.
901
902 2006-02-09  Diego Novillo  <dnovillo@redhat.com>
903
904         PR 26180
905         * tree-vrp.c (vrp_int_const_binop): Detect overflow when
906         multiplying unsigned values.
907         Tidy comments.
908
909 2006-02-09  Eric Botcazou  <ebotcazou@libertysurf.fr>
910
911         * config/sparc/sparc.c (tls_call_delay): Fix oversight.
912
913 2006-02-08  Jason Merrill  <jason@redhat.com>
914
915         PR c++/25979
916         * tree.def: Elaborate on difference from MODIFY_EXPR.
917         * doc/c-tree.texi (INIT_EXPR): Likewise.
918         * gimplify.c (internal_get_tmp_var): Use INIT_EXPR.
919         (gimplify_decl_expr, gimplify_init_ctor_eval): Likewise.
920         (gimplify_target_expr): Likewise.
921         (gimplify_cond_expr): Remove target handling.
922         (gimplify_modify_expr): Don't clobber INIT_EXPR code here.
923         (gimplify_expr): Clobber it here.
924         (gimplify_modify_expr_rhs): Push assignment into COND_EXPR here.
925         Do return slot optimization if we have an INIT_EXPR.
926
927         PR tree-opt/24365
928         * tree-inline.c (declare_return_variable): Also clear 
929         DECL_COMPLEX_GIMPLE_REG_P as needed in the modify_dest case.
930
931         PR c++/16405
932         * gimplify.c (gimplify_modify_expr_rhs): Re-enable *& handling.
933
934         PR middle-end/22439
935         * gimplify.c (gimplify_one_sizepos): Fix typo.
936
937 2006-02-08  Jeff Law  <law@redhat.com>
938
939         PR tree-optimization/21417
940         * tree-ssa-threadedge.c (thread_across_edge): Reject threading
941         across a backedge if the control statement at the end of the
942         block is data dependent on other statements in the same block.
943         (record_temporary_equivalences_from_stmts): Remove over-conservative
944         test for threading across backedges.
945
946         * tree-ssa-dce.c (remove_dead_statement): When removing a dead
947         control statement, handle all three special cases in the same
948         manner as they all have the same desired solution.  No longer
949         special case edge flag updating when the post dominator is
950         the exit block.
951
952 2006-02-08  Roger Sayle  <roger@eyesopen.com>
953
954         * tree.def (CHAR_TYPE): Remove.
955         * dbxout.c (dbxout_type): Delete dead handling of CHAR_TYPE.
956         * dwarf2out.c (base_type_die, is_base_type): Likewise.
957         (gen_type_die) <ARRAY_TYPE>: Remove handling of CHAR_TYPE arrays.
958         (gen_string_type_die): Delete unreachable function.
959
960         * tree-pretty-print.c (dump_generic_node): Don't handle CHAR_TYPE.
961         * tree.c (build_int_cst_wide, type_contains_placeholder_1,
962         type_hash_eq, variably_modified_type_p, walk_type_fields): Likewise.
963         * tree.h (NUMERICAL_TYPE_CHECK, INTEGRAL_TYPE_P): Likewise.
964         * builtins.c (type_to_class): Likewise.
965         * fold-const.c (fold_convert, build_range_check,
966         merge_ranges): Likewise.
967         * expr.c (count_type_elements): Likewise.
968         * c-pretty-print.c (pp_c_type_specifier): Likewise.
969         * stor-layout.c (layout_type): Likewise.
970         * ipa-type-escape.c (type_to_consider): Likewise.
971         * gimplify.c (omp_firstprivatize_type_sizes,
972         gimplify_type_sizes): Likewise.
973         * explow.c (promote_mode): Likewise.
974         * tree-sra.c (is_sra_scalar_type): Likewise.
975         * varasm.c (output_constant): Likewise.
976         * tree-inline.c (remap_type_1): Likewise.
977         * convert.c (convert_to_pointer, convert_to_real,
978         convert_to_integer, convert_to_complex): Likewise.
979
980 2006-02-08  Daniel Berlin  <dberlin@dberlin.org>
981
982         * df-scan.c (df_def_record_1): A set destination may
983         be a parallel regardless of mode.
984
985 2006-02-08  Roger Sayle  <roger@eyesopen.com>
986
987         PR target/22209
988         * config/mips/mips.h (MIN_UNITS_PER_WORD): Don't define for libgcc.
989         * config/mips/_tilib.c: Remove.
990         * config/fixtfdi.c: New libgcc source file.
991         * config/fixunstfdi.c: New source file.
992         * config/floatditf.c: New source file.
993         * config/floatunditf.c: New souce file.
994         * config/mips/t-iris6 (LIB2FUNCS_EXTRA): Include the new source
995         files above instead of config/mips/_tilib.c.
996         * config/mips/t-linux64 (LIB2FUNCS_EXTRA): Likewise.
997
998 2006-02-08  Jeff Law  <law@redhat.com>
999
1000         PR tree-optimization/26169
1001         * tree-vrp.c (execute_vrp): Perform any queued SSA updates before
1002         threading jumps.
1003
1004 2006-02-08  Zdenek Dvorak <dvorakz@suse.cz>
1005
1006         * df.h (DF_REG_SIZE): Return the length of the initialized
1007         part of the array.
1008
1009 2006-02-08  Nathan Sidwell  <nathan@codesourcery.com>
1010
1011         * gcc/config/m68k/lb1sf68.asm (__divsf3, __divdf3, __mulsf3,
1012         __muldf3): Return a correctly signed zero.
1013
1014 2006-02-08  Paolo Bonzini  <bonzini@gnu.org>
1015
1016         * passes.c (register_one_dump_file): Accept the current properties
1017         instead of pass number.  Adjust call to dump_register.  Remove
1018         duplicated code.
1019         (register_dump_files): Now a wrapper around...
1020         (register_dump_files_1): ... this one.  Do not modify the pass
1021         structure.
1022         (next_pass_1): Cosmetic fix.
1023         (execute_todo): Keep second parameter only.  Use curr_properties
1024         instead of fetching it from the pass structure.  Check and set
1025         last_verified.
1026         (execute_one_pass): Handle TODO_set_props.  Use curr_properties
1027         instead of fetching it from the pass structure.  Fix calls to
1028         execute_todo.  Update curr_properties and initialize .vcg RTL dump
1029         after running the pass.  Reset last_verified.
1030         * tree-dump.c (dump_files): Renumber consecutively.  Put .cgraph dump
1031         at the beginning.
1032         (FIRST_AUTO_NUMBERED_DUMP): New.
1033         (dump_register): Remove "num" parameter, assign it within the
1034         function.
1035         (get_dump_file_name): Modify template for dumps.
1036         * tree-dump.h (dump_register): Adjust prototype.
1037         * tree-pass.h (enum tree_dump_index): Move cgraph at the beginning.
1038         (PROP_trees): Add PROP_gimple_lomp.
1039         (TODO_set_props): New.
1040         * gimple-low.c (pass_lower_cf): Do not destroy PROP_gimple_lcf.
1041         * tree-eh.c (pass_lower_eh): Do not destroy PROP_gimple_leh.
1042         * cfgexpand.c (pass_expand): Destroy PROP_trees.
1043
1044 2006-02-08  Jakub Jelinek  <jakub@redhat.com>
1045
1046         * config.gcc (sparc-*-linux*): Add sparc/t-linux to tmake_file.
1047         (sparc64-*-linux*): Likewise.
1048         * config/sparc/t-linux64 (SHLIB_MAPFILES): Removed.
1049         * config/sparc/t-linux: New file.
1050         * config/sparc/libgcc-sparc-glibc.ver (__fixtfdi, __fixunstfdi,
1051         __floatditf): Export at GCC_LDBL_3.0 if -m32 -mlong-double-128.
1052         (__divtc3, __multc3, __powitf2): Export at GCC_LDBL_4.0.0 if
1053         -m32 -mlong-double-128.
1054
1055         * config.gcc (alpha*-*-linux*): Add alpha/t-linux to tmake_file.
1056         * config/alpha/t-linux: New file.
1057         * config/alpha/libgcc-alpha-ldbl.ver: New file.
1058
1059         * config/sparc/linux.h (TARGET_OS_CPP_BUILTINS): Define
1060         __LONG_DOUBLE_128__ if TARGET_LONG_DOUBLE_128.
1061         (CPP_SUBTARGET_SPEC): Don't add -D__LONG_DOUBLE_128__ here.
1062         * config/sparc/linux64.h (TARGET_OS_CPP_BUILTINS): Define
1063         __LONG_DOUBLE_128__ if TARGET_LONG_DOUBLE_128 and TARGET_ARCH32.
1064         (CPP_ARCH32_SPEC): Remove.
1065
1066 2006-02-07  Uttam Pawar  <uttamp@us.ibm.com>
1067
1068         PR tree-optimization/26145
1069         * tree-ssa-loop-unswitch.c (tree_unswitch_single_loop): Free
1070         bbs pointer.
1071
1072 2006-02-07  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1073
1074         PR target/26109
1075         * pa.c (attr_length_indirect_call): Don't return length 8 for distances
1076         >= 240000 when generating code for SOM runtime.
1077         (output_indirect_call): Don't use "b,l" instruction for indirect calls
1078         to $$dyncall when generating code for SOM runtime..
1079
1080 2006-02-07  Dirk Mueller  <dmueller@suse.com>
1081
1082         PR c++/18150
1083         * doc/invoke.texi (-Wsequence-point): Update documentation
1084         that -Wsequence-point is implemented for C++ as well.
1085
1086 2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
1087
1088         * config/sol26.h (CPP_SUBTARGET_SPEC): Accept -pthread.
1089         * config/sol2.h (CPP_SUBTARGET_SPEC): Likewise.
1090         (LIB_SPEC): Likewise.
1091         * doc/invoke.texi (SPARC options): Document -pthread.
1092
1093 2006-02-07  Geoffrey Keating  <geoffk@apple.com>
1094
1095         * config/i386/i386.c (ix86_delegitimize_address): Support Darwin
1096         PIC addresses.
1097
1098 2006-02-07  Roger Sayle  <roger@eyesopen.com>
1099
1100         * config/sparc/sparc.c (sparc_type_code): Don't handle CHAR_TYPE.
1101         Correct comment describing BOOLEAN_TYPE.
1102
1103 2006-02-07  Dirk Mueller  <dmueller@suse.com>
1104
1105         * c.opt: C++ frontend supports -Wdiv-by-zero.
1106         * c-opts.c (c_common_handle_option): Remove dead case.
1107
1108 2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
1109
1110         * configure.ac (TLS assembler check): Do not enable TLS by
1111         default on SPARC/Solaris before version 10.
1112         * configure: Regenerate.
1113
1114 2006-02-07  David Edelsohn  <edelsohn@gnu.org>
1115
1116         * doc/invoke.texi (xl-compat): Document conversion and support
1117         routine names.
1118
1119 2006-02-07  Jeff Law  <law@redhat.com>
1120
1121         * tree-vrp.c (find_conditional_asserts): Update comments.
1122         (simplify_stmt_for_jump_threading): New.
1123         (identify_jump_threads, finalize_jump_threads): New.
1124         (vrp_finalize): Call identify_jump_threads.
1125         (execute_vrp): Call finalize_jump_threads.
1126         * tree-ssa-dom.c (struct opt_stats_d): Remove num_iterations field.
1127         (vrp_element, vrp_data, vrp_element_p): Remove.
1128         (vrp_hash_elt, vrp_variables_stack): Remove.
1129         (vrp_hash, vrp_eq, record_range): Remove.
1130         (simplify_cond_and_lookup_avail_expr): Remove.
1131         (extract_range_from_cond): Remove.
1132         (thread_across_edge): Relocated into tree-ssa-threadedge.c.
1133         (simplify_stmt_for_jump_threading): New.
1134         (dom_thread_across_edge): New wrapper.
1135         (tree_ssa_dominator_optimize): No longer initialize or
1136         finalize any of the VRP datastructures.  Remove iteration
1137         step and simplify as a result of removal of iteration step.
1138         (pass_dominator): Perform a cfg cleanup after DOM.
1139         (dom_opt_finalize_block): Use the new common routines
1140         for threading jumps.  Simplify stack management slightly.
1141         No longer need to unwind VRP state.
1142         (record_equivalences_from_incoming_edge): No longer record
1143         VRP information.
1144         (eliminate_redundant_computations): No longer call
1145         simplify_cond_and_lookup_avail_expr.
1146         * tree-flow.h (potentially_threadable_block): Prototype.
1147         (thread_across_edge): Likewise.
1148         * Makefile.in (OBJS-common):  Add tree-ssa-threadedge.o
1149         (tree-ssa-threadedge.o): Add dependencies.
1150         * tree-ssa-threadedge.c: New file.
1151         * passes.c (init_optimization_passes): Merge PHIs before
1152         calling VRP.  Run VRP again late in the SSA optimization pipeline.
1153
1154 2006-02-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
1155
1156         * df-core.c (df_set_blocks): Do not dereference function pointers.
1157         (df_finish1): Likewise.
1158         (df_hybrid_search_forward): Likewise.
1159         (df_hybrid_search_backward): Likewise.
1160         (df_iterative_dataflow): Likewise.
1161         (df_analyze_problem): Likewise.
1162         (df_compact_blocks): Likewise.
1163         (df_dump): Likewise.
1164         * df-scan.c (df_rescan_blocks): Likewise.
1165         (df_record_entry_block_defs): Likewise.
1166
1167         * genconditions.c (write_conditions): Guard the definition of
1168         'insn_conditions' with the check on GCC version.
1169         (write_writer): Guard the traversal 'insn_conditions' with
1170         the check on GCC version.
1171
1172 2006-02-07  Richard Guenther  <rguenther@suse.de>
1173
1174         PR c++/26140
1175         Revert
1176         2006-01-30  Richard Guenther  <rguenther@suse.de>
1177         PR c++/23372
1178         * gimplify.c (gimplify_target_expr): Handle easy cases
1179         without creating a temporary.
1180
1181 2006-02-07  Pete Steinmetz  <steinmtz@us.ibm.com>
1182
1183         * sched-rgn.c (compute_dom_prob_ps, compute_trg_info): Eradicate
1184         use of float in probability computations.  Use edge probabilities
1185         in place of statically computed probabilities.
1186         (min_spec_prob): New static variable.
1187         (schedule_insns): Initialize it.
1188         (GET_SRC_PROB): Removed.
1189         * doc/invoke.texi (min-sched-prob): Renamed to min-spec-prob.
1190
1191 2006-02-07  Alexandre Oliva  <aoliva@redhat.com>
1192
1193         PR debug/24444
1194         * config/ia64/unwind-ia64.c: Revert last change.
1195         * config/ia64/ia64.h (ARG_POINTER_CFA_OFFSET): Removed.
1196         (INCOMING_FRAME_SP_OFFSET): Define.
1197
1198 2006-02-06  Roger Sayle  <roger@eyesopen.com>
1199
1200         * config/ia64/ia64.c (hfa_element_mode): Don't handle CHAR_TYPE.
1201
1202 2006-02-07  Ben Elliston  <bje@au.ibm.com>
1203
1204         * config/i386/i386.c (ix86_scalar_mode_supported_p): New.
1205         (TARGET_SCALAR_MODE_SUPPORTED_P): Define hook.
1206         (classify_argument): Handle SDmode, DDmode, TDmode for 64-bit.
1207         (ix86_return_in_memory): Handle TDmode.
1208         (ix86_libcall_value): Handle SDmode, DDmode, TDmode.
1209         (ix86_value_regno): Return non-TDmode decimal float modes in %eax.
1210
1211 2006-02-06  Richard Sandiford  <richard@codesourcery.com>
1212
1213         * reorg.c (dbr_schedule): Use dump_file instead of file.
1214
1215 2006-02-06  Steve Ellcey  <sje@cup.hp.com>
1216
1217         PR target/25917
1218         * config/ia64/predicates.md (extr_len_operand): New predicate.
1219         * config/ia64/ia64.md (extv): Tighten constraints.
1220         (extzv): Ditto.
1221         (*tbit_and_2): Ditto.
1222         (*tbit_and_3): Ditto.
1223         (*tbit_or_2): Ditto.
1224         (*tbit_or_3): Ditto.
1225         (*bit_zero): Ditto.
1226         (*bit_one): Ditto.
1227
1228 2006-02-06  Andrew Pinski  <pinskia@physics.uc.edu>
1229
1230         PR target/23359
1231         * config/i386/i386.md (trap): Use ASM_SHORT instead of .word.
1232
1233 2006-02-06  Zdenek Dvorak <dvorakz@suse.cz>
1234
1235         * tree-vrp.c (execute_vrp): Do not pass dump argument to.
1236         loop_optimizer_init and loop_optimizer_finalize
1237         * tree-ssa-sink.c (execute_sink_code): Ditto.
1238         * tree-ssa-loop-ch.c (copy_loop_headers): Ditto.
1239         * tree-ssa-loop.c (tree_loop_optimizer_init, tree_ssa_loop_init,
1240         tree_ssa_loop_done): Ditto.
1241         * tree-ssa-pre.c (init_pre, fini_pre): Ditto.
1242         * sched-ebb.c: Include output.h.
1243         (schedule_ebbs): Do not use dump argument.
1244         * value-prof.h (struct profile_hooks): Remove profile_dump_file.
1245         * loop.c (loop_dump_stream): Removed.
1246         (loop_optimize, rest_of_handle_loop_optimize): Do not use dump
1247         argument.
1248         (scan_loop, move_movables, find_and_verify_loops, mark_loop_jump,
1249         emit_prefetch_instructions, loop_bivs_find, loop_bivs_check,
1250         final_biv_value, loop_biv_eliminable_p, loop_givs_rescan,
1251         loop_iterations, strength_reduce, record_biv, record_giv,
1252         final_giv_value, check_final_value, check_ext_dependent_givs,
1253         combine_givs, check_dbra_loop, maybe_eliminate_biv, load_mems,
1254         try_copy_prop, loop_delete_insns, try_swap_copy_prop): Use
1255         dump_file instead of loop_dump_stream.
1256         * ddg.c (print_ddg_edge, print_ddg, vcg_print_ddg): Do not call
1257         argument dump_file.
1258         * reorg.c (dbr_schedule, rest_of_handle_delay_slots): Do not use
1259         dump argument.
1260         * flow.c (life_analysis, rest_of_handle_life): Ditto.
1261         * haifa-sched.c: Include output.h
1262         (schedule_insns, sched_init): Do not use dump argument.
1263         * mode-switching.c (optimize_mode_switching): Ditto.
1264         * modulo-sched.c (stats_file): Removed.
1265         (print_node_sched_params): Do not call argument dump_file.
1266         (sms_schedule_by_order, loop_canon_p, sms_schedule,
1267         rest_of_handle_sms): Do not use dump argument.  Use dump_file instead
1268         of stats_file.
1269         * cse.c (cse_main, rest_of_handle_cse, rest_of_handle_cse2): Do not
1270         use dump argument.
1271         * loop-init.c (loop_optimizer_init, loop_optimizer_finalize,
1272         rtl_loop_init, rtl_loop_done): Ditto.
1273         * global.c (global_alloc, rest_of_handle_global_alloc): Ditto.
1274         * predict.c (combine_predictions_for_bb, tree_estimate_probability):
1275         Ditto.
1276         * recog.c (peephole2_optimize, rest_of_handle_peephole2): Ditto.
1277         * lcm.c (pre_edge_lcm, pre_edge_rev_lcm): Ditto.
1278         * regmove.c (fixup_match_1, fixup_match_2, regmove_optimize,
1279         rest_of_handle_regmove, rest_of_handle_stack_adjustments): Ditto.
1280         * emit-rtl.c (renumber_insns): Ditto.
1281         * cfgexpand.c (add_reg_br_prob_note, expand_gimple_cond_expr,
1282         expand_gimple_basic_block, tree_expand_cfg): Ditto.
1283         * regclass.c (regclass): Ditto.
1284         * tree-outof-ssa.c (analyze_edges_for_bb, perform_edge_inserts,
1285         remove_ssa_form, rewrite_out_of_ssa): Ditto.
1286         * reg-stack.c (compensate_edge, compensate_edges, convert_regs_1,
1287         convert_regs_2, convert_regs, reg_to_stack, rest_of_handle_stack_regs):
1288         Ditto.
1289         * sched-rgn.c (schedule_insns, rest_of_handle_sched): Ditto.
1290         * local-alloc.c (rest_of_handle_local_alloc): Do not pass dump_file
1291         to regclass.
1292         * gcse.c (gcse_file, debug_stderr): Removed.
1293         (gcse_main, bypass_jumps, rest_of_handle_jump_bypass,
1294         rest_of_handle_gcse): Do not use dump argument.
1295         (cprop_jump, cprop_insn, do_local_cprop, cprop, find_implicit_sets,
1296         one_cprop_pass, bypass_block, compute_pre_data, insert_insn_end_bb,
1297         pre_edge_insert, pre_insert_copy_insn, pre_delete, one_pre_gcse_pass,
1298         compute_code_hoist_vbeinout, compute_code_hoist_data,
1299         one_code_hoisting_pass, trim_ld_motion_mems, update_ld_motion_stores,
1300         compute_store_table, build_store_vectors, insert_insn_start_bb,
1301         insert_store, remove_reachable_equiv_notes, replace_store_insn,
1302         store_motion): Use dump_file instead of gcse_file.
1303         * ipa-type-escape.c (type_escape_execute): Remove debugging comments.
1304         * profile.c (profile_dump_file): Removed.
1305         (branch_prob): Use dump_file instead of profile_dump_file.
1306         * ipa.c (cgraph_remove_unreachable_nodes): Do not call argument
1307         dump_file.
1308         * tree-ssa-copy.c (dump_copy_of): Ditto.
1309         * rtl-factoring.c (rtl_seqabstr, rest_of_rtl_seqabstr): Do not pass
1310         dump file to life_analysis.
1311         * bt-load.c (branch_target_load_optimize): Ditto.
1312         * cfgcleanup.c (rest_of_handle_jump2): Do not pass dump_file to
1313         renumber_insns.
1314         * rtl.h (cse_main, renumber_insns, schedule_insns, schedule_ebbs,
1315         regclass, dbr_schedule): Declaration changed.
1316         * sched-int.h (sched_init): Declaration changed.
1317         * tree-profile.c (tree_profile_dump_file): Removed.
1318         (tree_profile_hooks): Removed profile_dump_file hook.
1319         * rtl-profile (rtl_profile_dump_file): Removed.
1320         (rtl_profile_hooks): emoved profile_dump_file hook.
1321         * cfgloop.h (loop_optimizer_init, loop_optimizer_finalize): Declaration
1322         changed.
1323         * c-gimplify.c (c_genericize): Do not call local variable dump_file.
1324         * tree-cfg.c (build_tree_cfg): Ditto.
1325         * Makefile.in (haifa-sched.o, sched-ebb.o): Add output.h dependency.
1326         * basic-block.h (life_analysis, pre_edge_lcm, pre_edge_rev_lcm):
1327         Declaration changed.
1328         * config/sh/sh.c (sh_output_mi_thunk): Do not pass dump_file to
1329         life_analysis and schedule_insns.
1330         * config/m68hc11/m68hc11.c (m68hc11_reorg): Do not pass dump_file to
1331         life_analysis.
1332         * config/mt/mt.c (mt_machine_reorg): Do not pass dump_file to
1333         dbr_schedule.
1334         * config/mips/mips.c (mips_reorg): Ditto.
1335         * config/ia64/ia64.c (ia64_reorg): Do not pass dump_file to
1336         schedule_ebbs.
1337
1338 2006-02-06  Aldy Hernandez  <aldyh@redhat.com>
1339
1340         * config/s390/s390.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
1341         (s390_mangle_fundamental_type): New.
1342         * config/s390/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
1343         Define.
1344
1345         * config/alpha/alpha.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
1346         (alpha_mangle_fundamental_type): New.
1347         * config/alpha/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
1348         Define.
1349
1350         * config/sparc/linux.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
1351         Define.
1352         * config/sparc/linux64.h (TARGET_ALTERNATE_LONG_DOUBLE_MANGLING):
1353         Define.
1354         * config/sparc/sparc.c (TARGET_MANGLE_FUNDAMENTAL_TYPE): Define.
1355         (sparc_mangle_fundamental_type): New.
1356
1357 2006-02-06  Jakub Jelinek  <jakub@redhat.com>
1358
1359         * config.gcc (s390-*-linux*): Add s390/t-linux to tmake_file.
1360         (s390x-*-linux*): Likewise.
1361         * config/s390/t-linux64 (SHLIB_MAPFILES): Removed.
1362         * config/s390/t-linux: New file.
1363
1364 2006-02-02  Bernd Schmidt  <bernd.schmidt@analog.com>
1365
1366         * config/i386/sync.md (sync_add<mode>, sync_sub<mode>, sync_ior<mode>,
1367         sync_and<mode>, sync_xor<mode>): Operand 0 is in-out.
1368
1369 2006-02-06  Daniel Berlin  <dberlin@dberlin.org>
1370
1371         * tree-ssa-pre.c (bb_value_sets_t): Add antic_safe_loads.
1372         (ANTIC_SAFE_LOADS): New macro.
1373         (find_or_generate_expression): Add prototype.
1374         (set_contains_value): Allow null set for sake of not always having
1375         to allocate ANTIC_SAFE_LOADS.
1376         (phi_translate): Move placement of AGGREGATE_TYPE_P check.
1377         Allow COMPONENT_REF too.
1378         (valid_in_set): Allow COMPONENT_REF.
1379         Check ANTIC_SAFE_LOADS too.
1380         (compute_antic_aux): Print out ANTIC_SAFE_LOADS.
1381         (compute_rvuse_and_antic_safe): Add ANTIC_SAFE computation, and
1382         rename.
1383         (can_PRE_operation): Add COMPONENT_REF.
1384         (create_component_ref_by_pieces): New function.
1385         (create_expression_by_pieces): Use create_component_ref_by_pieces.
1386         (insert_aux): Move AGGREGATE_TYPE_P check here.
1387         (compute_avail): Set bb local stmt uids.
1388         (pass_pre): Use TODO_update_ssa_only_virtuals.
1389         
1390 2006-02-06  Ben Elliston  <bje@au.ibm.com>
1391
1392         * configure.ac: Unconditionally disable decimal float by default.
1393         * configure: Regenerate.
1394
1395 2006-02-06  Ben Elliston  <bje@au.ibm.com>
1396
1397         * read-rtl.c (read_name): Terminate reading on EOF.
1398
1399 2006-02-06  Ben Elliston  <bje@au.ibm.com>
1400
1401         * dfp.c (decimal_real_arithmetic): Change second argument type
1402         from int to enum tree_code. Do not always return true, but now
1403         return result of any call to decimal_do helper functions.
1404         * dfp.h (decimal_real_arithmetic): Update prototype.
1405
1406 2006-02-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
1407
1408         * config/sparc/sol2-bi.h (SPARC_DEFAULT_CMODEL): Set to CM_MEDMID.
1409
1410 2006-02-05  Andrew Pinski  <pinskia@physics.uc.edu>
1411
1412         PR tree-opt/25251
1413         * tree-cfg.c (cleanup_dead_labels): Also don't remove
1414         forced labels.
1415
1416 2006-02-04  Zdenek Dvorak <dvorakz@suse.cz>
1417
1418         * tree-vrp.c (cfg_loops): Removed.
1419         (adjust_range_with_scev, vrp_visit_assignment, execute_vrp):
1420         Use current_loops instead of cfg_loops.  Pass flags to
1421         loop_optimizer_init.
1422         * cfgloopmanip.c (fix_loop_structure): Update only available
1423         information.
1424         * tree-ssa-loop-ch.c (copy_loop_headers): Pass flags to
1425         loop_optimizer_init.
1426         * modulo-sched.c (build_loops_structure): Removed.
1427         (sms_schedule): Use loop_optimizer_init.
1428         * loop-init.c (loop_optimizer_init): Use flags to determine
1429         which properties of loops to prepare.
1430         (rtl_loop_init): Pass flags to loop_optimizer_init.
1431         * tree-ssa-sink.c (execute_sink_code): Ditto.
1432         * tree-ssa-loop.c (tree_loop_optimizer_init): Ditto.
1433         * tree-ssa-pre.c (init_pre): Ditto.
1434         * cfgloop.h (LOOPS_NORMAL): New.
1435         (loop_optimizer_init): Declaration changed.
1436
1437 2006-02-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1438
1439         * pa/x-ada-hpux10, pa/t-pa-hpux10, pa/t-pa-hpux11: New files.
1440         * config.gcc (hppa[12]*-*-hpux10*): Use pa/t-pa-hpux10 instead of
1441         pa/t-pa.
1442         * config.gcc (hppa[12]*-*-hpux11*): Use pa/t-pa-hpux11 instead of
1443         pa/t-pa.
1444         * config.host (hppa*-*-hpux10*): Use pa/x-ada-hpux10 instead of
1445         pa/x-ada.
1446         * pa/t-pa-hpux: Add lib2funcs.asm and quadlib.c rules.
1447         * pa/t-pa64: Delete quadlib.c rule.
1448         * pa/x-ada: Revert last change.
1449         * pa/t-pa: Revert last change.  Delete quadlib.c rule.
1450
1451 2006-02-04  Zdenek Dvorak <dvorakz@suse.cz>
1452
1453         PR rtl-optimization/26087
1454         * rtlanal.c (canonicalize_condition): Do not cross basic block
1455         boundaries.
1456
1457 2006-02-04  Alexandre Oliva  <aoliva@redhat.com>
1458
1459         PR debug/24444
1460         * config/ia64/ia64.c: Include debug.h.
1461         (MAX_ARTIFICIAL_LABEL_BYTES): New.
1462         (ia64_label_after_insn, ia64_dwarf2out_def_steady_cfa): New.
1463         (IA64_CHANGE_CFA_IN_EPILOGUE): Define to 0.
1464         (process_epilogue, process_set, process_for_unwind_directive):
1465         Output unwind info only if requested.  Add CFA info if requested.
1466         Add new arguments as needed.  Adjust callers.
1467         * config/ia64/ia64.h (ARG_POINTER_CFA_OFFSET): Override
1468         incorrect default.
1469         (DWARF2_FRAME_INFO): Define to zero.
1470         * config/ia64/unwind-ia64.c: Remove code that compensated for
1471         the CFA offset error fixed above.
1472         * config/ia64/t-ia64 (ia64.o): Depend on debug.h.
1473         * dwarf2out.c (DWARF2_FRAME_INFO): Define default.
1474         (dwarf2out_do_frame): Require nonzero DWARF2_UNWIND_INFO for
1475         -funwind-tables and -fexceptions to enable frame info.
1476         (dwarf2out_frame_init): Define initial CFA even if
1477         DWARF2_UNWIND_INFO is disabled.  Call initial_return_save if
1478         DWARF2_UNWIND_INFO is nonzero, not just defined.
1479         (dwarf2out_frame_finish): Output non-EH call frame info only
1480         if DWARF2_FRAME_INFO is nonzero.
1481         (convert_cfa_to_loc_list,
1482         compute_frame_pointer_to_cfa_displacement): Define even if
1483         unwind info is not supported.
1484         (gen_subprogram_die): Use the above unconditionally.  Remove
1485         legacy alternate code.
1486         * toplev.c (compile_file): Compile in call to
1487         dwarf2out_frame_finish if DWARF2_DEBUGGING_INFO is defined.
1488         (lang_dependent_init): Ditto for dwarf2out_frame_init.
1489
1490 2006-02-04  David Edelsohn  <edelsohn@gnu.org>
1491             Jakub Jelinek  <jakub@redhat.com>
1492
1493         * config/rs6000/rs6000.c (rs6000_mangle_fundamental_type): Mangle
1494         IBM extended float format long double as "g" on powerpc*-linux.
1495
1496 2006-02-03  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1497
1498         PR target/25926
1499         * pa/x-ada (X_ADA_CFLAGS): Define _X_HPUX10 on HP-UX 10.
1500         * pa/t-pa (TARGET_LIBGCC2_CFLAGS): Define _T_HPUX10 on HP-UX 10.
1501
1502 2006-02-03  Jason Merrill  <jason@redhat.com>
1503
1504         PR c++/25979
1505         * gimplify.c (gimplify_modify_expr_rhs): Disable *& optimization for now.
1506
1507         PR middle-end/25977
1508         * gimplify.c (gimplify_modify_expr_rhs): It's not always safe to do RVO
1509         on the return slot if it's an NRV.
1510
1511 2006-02-03  Zdenek Dvorak <dvorakz@suse.cz>
1512
1513         * tree-ssa-loop-ivopts.c (enum use_type): Remove USE_OUTER.
1514         (dump_use, add_derived_ivs_candidates, determine_use_iv_cost,
1515         rewrite_use): Do not handle USE_OUTER.
1516         (find_interesting_uses_outer_or_nonlin, find_interesting_uses_outer,
1517         add_iv_outer_candidates, may_replace_final_value,
1518         determine_use_iv_cost_outer, rewrite_use_outer): Removed.
1519         (find_interesting_uses_op): Functionality of
1520         find_interesting_uses_outer_or_nonlin moved here.
1521         (find_interesting_uses_outside): Use find_interesting_uses_op.
1522
1523 2006-02-03  Alan Modra  <amodra@bigpond.net.au>
1524
1525         PR target/25960
1526         * config/rs6000/darwin-ldouble.c (__gcc_qadd): Preserve -0.0 result.
1527
1528 2006-02-03  Andreas Krebbel  <krebbel1@de.ibm.com>
1529             Ulrich Weigand  <uweigand@de.ibm.com>
1530
1531         PR target/25864
1532         * config/s390/2084.md ("x_fsimptf", "x_fmultf", "x_fdivtf",
1533         "x_floadtf", "x_ftrunctf", "x_ftruncdf"): New insn reservations.
1534         * config/s390/fixdfdi.h (__fixunstfdi, __fixtfdi): New functions.
1535         * config/s390/s390.c (struct processor_costs): Add mxbr, sqxbr, dxbr 
1536         and dxr fields.
1537         (z900_cost, z990_cost, z9_109_cost): Values for the new fields added.
1538         (s390_rtx_costs): Use the new fields to calculate rtx costs.
1539         (s390_secondary_input_reload_class, s390_secondary_output_reload_class):
1540         Define secondary reloads for TFmode moves.
1541         (constant_modes): Add TFmode.
1542         (NR_C_MODES): Set to 8.
1543         * config/s390/s390.h (TARGET_CPU_CPP_BUILTINS): Add __LONG_DOUBLE_128__
1544         builtin define.
1545         (LONG_DOUBLE_TYPE_SIZE): Set to 128 or 64.
1546         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE, WIDEST_HARDWARE_FP_SIZE): Define.
1547         (HARD_REGNO_NREGS, HARD_REGNO_MODE_OK, CLASS_MAX_NREGS, 
1548         CANNOT_CHANGE_MODE_CLASS): Consider TFmode.
1549         * config/s390/s390.md ("type" attribute): Add fsimptf, floadtf, fmultf, 
1550         fdivtf, fsqrttf, ftrunctf, ftruncdf as possible values.
1551         (FPR mode macro): Add TFmode.
1552         (DSF mode macro): New.
1553         (<de>, <dee> mode attributes): Removed.
1554         (<xde>, <xdee>, <RRe>, <RXe>, <Rf> mode attributes): New.
1555         ("*cmp<mode>_ccs_0", "*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs", 
1556         "*cmp<mode>_ccs_ibm", "fix_trunc<FPR:mode><GPR:mode>2_ieee", 
1557         "floatdi<mode>2", "floatsi<mode>2_ieee", "*add<mode>3", 
1558         "*add<mode>3_cc", "*add<mode>3_cconly", "*add<mode>3_ibm", 
1559         "*sub<mode>3", "*sub<mode>3_cc", "*sub<mode>3_cconly", 
1560         "*sub<mode>3_ibm", "*mul<mode>3_ibm", "*fmadd<mode>", "*fmsub<mode>",
1561         "*div<mode>3", "*div<mode>3_ibm", "*neg<mode>2_cc", 
1562         "*neg<mode>2_cconly", "*neg<mode>2", "*neg<mode>2_ibm", 
1563         "*abs<mode>2_cc", "*abs<mode>2_cconly", "*abs<mode>2",
1564         "*abs<mode>2_ibm", "*negabs<mode>2_cc", "*negabs<mode>2_cconly", 
1565         "*negabs<mode>2", "sqrt<mode>2"):
1566         Changed <de> to <xde>. R constraint replaced by <Rf>.
1567         ("*mul<mode>3"): Changed <dee> to <xdee>. R constraint replaced by 
1568         <Rf>.
1569         ("fix_trunc<FPR:mode>di2"): 'FPR:' removed.
1570         ("*fmadd<mode>", "*fmsub<mode>"): FPR mode replaced by DSF.
1571         ("*movtf_64", "*movtf_31"): New insn definitions followed by 5 
1572         splitters.
1573         ("movtf", "reload_outtf", "reload_intf", "trunctfdf2", "trunctfsf2", 
1574         "extenddftf2", "extendsftf2"): New expanders.
1575         ("*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee", 
1576         "*trunctfsf2_ibm", "*extenddftf2_ieee", "*extenddftf2_ibm",
1577         "*extendsftf2_ieee", "*extendsftf2_ibm"): New insn patterns.
1578         * config/s390/s390.opt (mlong-double-128, mlong-double-64):
1579         New options.
1580         * config/s390/t-crtstuff (TARGET_LIBGCC2_CFLAGS): Macro defined.
1581         * config/s390/libgcc-glibc.ver (__divtc3, __multc3, __powitf2, 
1582         __fixtfti, __fixunstfti, __floattitf, __fixtfdi, __fixunstfdi,
1583         __floatditf): Add a GCC_4.1.0 symbol version tag.
1584         * doc/invoke.texi (-mlong-double-128, -mlong-double-64): Document
1585         the new options.
1586
1587 2006-02-02  Andrew Pinski  <pinskia@physics.uc.edu>
1588
1589         PR target/25377
1590         * config/i386/i386.c (ix86_function_ok_for_sibcall):
1591         Use targetm.binds_local_p instead of TREE_PUBLIC.
1592
1593 2006-02-02  Roger Sayle  <roger@eyesopen.com>
1594
1595         * tree.h (TYPE_STRING_FLAG): Document that this field may be used
1596         on INTEGER_TYPEs to indicate that it denotes a character type.
1597         * tree.c (build_common_tree_nodes): Set TYPE_STRING_FLAG on
1598         signed_char_type_node, unsigned_char_type_node and char_type_node.
1599         * dwarf2out.c (base_type_die): Treat CHAR_TYPE identically to
1600         INTEGER_TYPE.  Use TYPE_STRING_FLAG to decide whether to emit
1601         a DW_ATE_[un]signed_char instead of a DW_ATE_[un]signed.
1602
1603 2006-02-02  Zdenek Dvorak <dvorakz@suse.cz>
1604             Daniel Berlin  <dberlin@dberlin.org>
1605
1606         * tree-tailcall.c (arg_needs_copy_p): New function.
1607         (eliminate_tail_call): Use arg_needs_copy_p.
1608         (tree_optimize_tail_calls_1): Ditto. Also call add_virtual_phis.
1609         (add_virtual_phis): New function.
1610
1611 2006-02-02  Jakub Jelinek  <jakub@redhat.com>
1612
1613         * config/sparc/sparc.c (sparc_output_scratch_registers): Use
1614         #ignore instead of #scratch for %g7 .register directive.
1615
1616 2006-02-02  Andreas Tobler  <a.tobler@schweiz.ch>
1617
1618         * config/sparc/freebsd.h (ENDFILE_SPEC): Add space to separate
1619         object files.
1620
1621 2006-02-02  Bernd Schmidt  <bernd.schmidt@analog.com>
1622
1623         * flow.c (calculate_global_regs_live): Assert that there aren't any
1624         EDGE_FAKE edges.
1625
1626 2006-02-02  Paolo Bonzini  <bonzini@gnu.org>
1627
1628         * tree-flow-inline.h (bsi_after_labels): Rewrite, return
1629         what its name says.
1630         * lambda-code.c (perfect_nestify): Use bsi_insert_before on
1631         bsi_after_labels iterator.
1632         * tree-if-conv.c (find_phi_replacement_condition,
1633         replace_phi_with_cond_modify_expr): Likewise.
1634         * tree-scalar-evolution.c (scev_const_prop): Likewise.
1635         * tree-ssa-loop-ivopts.c (compute_phi_arg_on_exit): Likewise.
1636
1637 2006-02-02  Diego Novillo  <dnovillo@redhat.com>
1638
1639         * tree-inline.c (copy_tree_r): Also copy OMP_CLAUSE nodes.
1640
1641 2006-02-02  Diego Novillo  <dnovillo@redhat.com>
1642
1643         PR 25990
1644         * tree-cfg.c (move_block_to_fn): Clear out the basic block
1645         array after growing it.
1646
1647 2006-02-01  Steve Ellcey  <sje@cup.hp.com>
1648
1649         PR middle-end/24901
1650         * fold-const.c (fold_checksum_tree): Change type of buf.
1651
1652 2006-02-01  Bernd Schmidt  <bernd.schmidt@analog.com>
1653
1654         * reload.c (push_secondary_reload): Initialize t_icode.
1655
1656 2006-02-01  Jakub Jelinek  <jakub@redhat.com>
1657
1658         * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): For
1659         -msoft-float -mlong-double-128 only issue a warning, but don't
1660         swich to DFmode long double.
1661
1662 2006-02-01  Hans-Peter Nilsson  <hp@axis.com>
1663
1664         * cse.c (fold_rtx) <case RTX_COMM_COMPARE, RTX_COMPARE>: When arg1
1665         has a constant equivalent, iterate over equivalents for arg0,
1666         calling simplify_relational_operation and if there's a result
1667         cheaper than X, apply fold_rtx and return the result.
1668
1669 2006-02-01  Jan Hubicka  <jh@suse.cz>
1670
1671         * opts.c (no_unit_at_a_time_default): New global variable.
1672         (decode_options): Use it.
1673         * opts.h (no_unit_at_a_time_default): Declare.
1674
1675 2006-02-01  Paul Brook  <paul@codesourcery.com>
1676
1677         * function.c (assign_parm_setup_reg): Use function argument promotion
1678         rules.
1679         * expr.c (expand_expr_real_1): Use function argument promotion rules
1680         for PARM_DECLs.
1681
1682 2006-02-01  Steve Ellcey  <sje@cup.hp.com>
1683
1684         * gcc.c (process_command): Change j to 'unsigned int'.
1685
1686 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
1687
1688         PR middle-end/26001
1689         * expr.c (expand_expr_real_1) <case ARRAY_REF>:
1690         Use the corrected index for the character
1691         out of the string constant.
1692
1693 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
1694
1695         * mode-switching.c (optimize_mode_switching): Fix size
1696         allocated for bb_info[n_entities].
1697
1698 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
1699
1700         * gcc.c (main): Correct type that is allocated for
1701         explicit_link_files.
1702
1703 2006-01-31  Jakub Jelinek  <jakub@redhat.com>
1704
1705         * config/s390/s390.c (init_alignment_context): Set
1706         ALIAS_SET_MEMORY_BARRIER on the MEM.
1707         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): Likewise.
1708
1709 2006-01-31  Uttam Pawar  <uttamp@us.ibm.com>
1710
1711         PR middle-end/25933
1712         * loop-unroll.c (unroll_loop_runtime_iterations): Free
1713         dom_bbs pointer.
1714         * tree-ssa-live.c (type_var_init): Allocate bitmap after
1715         call to tpa_init.
1716
1717 2006-01-31  Marcin Dalecki  <martin@dalecki.de>
1718
1719         * tree-vrp.c: Use XNEW/XCNEW allocation wrappers.
1720         * regrename.c: Ditto.
1721         * tree-ssa-loop-im.c: Ditto.
1722         * tree-dump.c: Ditto.
1723         * tree-complex.c: Ditto.
1724         * genrecog.c: Ditto.
1725         * tree-ssa-threadupdate.c: Ditto.
1726         * tracer.c: Ditto.
1727         * java/class.c: Ditto.
1728         * java/jcf-parse.c: Ditto.
1729         * java/resource.c: Ditto.
1730         * java/except.c: Ditto.
1731         * java/jvspec.c: Ditto.
1732         * java/jcf-write.c: Ditto.
1733         * java/jcf-path.c: Ditto.
1734         * java/gjavah.c: Ditto.
1735         * java/zextract.c: Ditto.
1736         * java/jcf-io.c: Ditto.
1737         * java/jcf.h: Ditto.
1738         * java/buffer.c: Ditto.
1739         * java/lang.c: Ditto.
1740         * java/parse-scan.y: Ditto.
1741         * java/lex.c: Ditto.
1742         * java/lex.h: Ditto.
1743         * cfgloopmanip.c: Ditto.
1744         * postreload-gcse.c: Ditto.
1745         * tree-ssa-loop-manip.c: Ditto.
1746         * postreload.c: Ditto.
1747         * tree-ssa-loop-ch.c: Ditto.
1748         * loop.c: Ditto.
1749         * ipa-cp.c: Ditto.
1750         * cppspec.c: Ditto.
1751         * diagnostic.c: Ditto.
1752         * final.c: Ditto.
1753         * genoutput.c: Ditto.
1754         * gcc.c: Ditto.
1755         * cfghooks.c: Ditto.
1756         * cfgloopanal.c: Ditto.
1757         * objc/objc-act.c: Ditto.
1758         * gcov.c: Ditto.
1759         * genextract.c: Ditto.
1760         * genautomata.c: Ditto.
1761         * pretty-print.c: Ditto.
1762         * genemit.c: Ditto.
1763         * cgraphunit.c: Ditto.
1764         * flow.c: Ditto.
1765         * df-scan.c: Ditto.
1766         * haifa-sched.c: Ditto.
1767         * dominance.c: Ditto.
1768         * dbxout.c: Ditto.
1769         * tree-ssa-loop-ivopts.c: Ditto.
1770         * df-core.c: Ditto.
1771         * mode-switching.c: Ditto.
1772         * modulo-sched.c: Ditto.
1773         * graph.c: Ditto.
1774         * ipa-pure-const.c: Ditto.
1775         * cse.c: Ditto.
1776         * fix-header.c: Ditto.
1777         * web.c: Ditto.
1778         * tree-stdarg.c: Ditto.
1779         * ipa-utils.c: Ditto.
1780         * loop-init.c: Ditto.
1781         * ipa-inline.c: Ditto.
1782         * cfganal.c: Ditto.
1783         * global.c: Ditto.
1784         * alloc-pool.c: Ditto.
1785         * dwarf2out.c: Ditto.
1786         * opts.c: Ditto.
1787         * genattrtab.c: Ditto.
1788         * tree-ssa-loop-ivcanon.c: Ditto.
1789         * predict.c: Ditto.
1790         * timevar.c: Ditto.
1791         * lcm.c: Ditto.
1792         * fortran/gfortranspec.c: Ditto.
1793         * regmove.c: Ditto.
1794         * local-alloc.c: Ditto.
1795         * langhooks.c: Ditto.
1796         * function.c: Ditto.
1797         * tree-vectorizer.c: Ditto.
1798         * gcse.c: Ditto.
1799         * ipa-type-escape.c: Ditto.
1800         * alias.c: Ditto.
1801         * tree-if-conv.c: Ditto.
1802         * profile.c: Ditto.
1803         * ipa.c: Ditto.
1804         * tree-data-ref.c: Ditto.
1805         * loop-unroll.c: Ditto.
1806         * treelang/treetree.c: Ditto.
1807         * calls.c: Ditto.
1808         * bt-load.c: Ditto.
1809         * ggc-common.c: Ditto.
1810         * except.c: Ditto.
1811         * coverage.c: Ditto.
1812         * cselib.c: Ditto.
1813         * tree-cfgcleanup.c: Ditto.
1814         * tree-ssa-pre.c: Ditto.
1815         * cfgcleanup.c: Ditto.
1816         * loop-invariant.c: Ditto.
1817         * loop-iv.c: Ditto.
1818         * ipa-prop.c: Ditto.
1819         * print-tree.c: Ditto.
1820         * conflict.c: Ditto.
1821         * ggc-page.c: Ditto.
1822         * sched-deps.c: Ditto.
1823         * regclass.c: Ditto.
1824         * tree-object-size.c: Ditto.
1825         * combine.c: Ditto.
1826         * bb-reorder.c: Ditto.
1827         * resource.c: Ditto.
1828         * var-tracking.c: Ditto.
1829         * cfgloop.c: Ditto.
1830         * df-problems.c: Ditto.
1831         * reg-stack.c: Ditto.
1832         * tlink.c: Ditto.
1833         * gccspec.c: Ditto.
1834         * sched-rgn.c: Ditto.
1835         * tree-ssa-structalias.c: Ditto.
1836         * tree-ssa-reassoc.c: Ditto.
1837         * config/darwin-c.c: Ditto.
1838         * config/darwin.c: Ditto.
1839         * config/arm/arm.c: Ditto.
1840         * cfgrtl.c: Ditto.
1841         * collect2.c: Ditto.
1842         * reload1.c: Ditto.
1843
1844 2006-01-31  Nicolas Pitre  <nico@cam.org>
1845
1846         * arm.md (smaxsi3): Make aware of smax_m1.
1847         (smax_m1): New.
1848
1849 2006-01-31  Nathan Sidwell  <nathan@codesourcery.com>
1850
1851         * gcc/config/m68k/lb1sf68.asm: Use moveq to load small constants.
1852
1853 2006-01-31  Richard Guenther  <rguenther@suse.de>
1854
1855         * doc/invoke.texi (-msselibm): Document.
1856         * target.h (expand_library_builtin): New target hook.
1857         * builtins.c (expand_builtin): Use expand_library_builtin.
1858         (default_expand_library_builtin): New function.
1859         * gcc.c (LINK_GCC_MATH_SPEC): Define.
1860         (LINK_COMMAND_SPEC): Handle %(link_gcc_math).
1861         (link_gcc_math_spec): Declare.
1862         (static_specs): Add link_gcc_math_spec.
1863         * expr.h (default_expand_library_builtin): Declare.
1864         * target-def.h (TARGET_EXPAND_LIBRARY_BUILTIN): Define.
1865         (TARGET_INITIALIZER): Add TARGET_EXPAND_LIBRARY_BUILTIN.
1866         * config/i386/i386.h: Provide LINK_GCC_MATH_SPEC.
1867         * config/i386/i386.opt (msselibm): New target option.
1868         * config/i386/i386.c (ix86_builtin_function_variants): New array.
1869         (ix86_init_sse_abi_builtins): New function.
1870         (ix86_expand_library_builtin): Likewise.
1871         (TARGET_EXPAND_LIBRARY_BUILTIN): Define.
1872         (override_options): Handle error conditions wrt -msselibm.
1873         (ix86_builtins): Add function codes for SSE2 ABI builtins.
1874         (ix86_init_builtins): Call ix86_init_sse_abi_builtins.
1875         * doc/extend.texi (__builtin_sse2_*): Document new target specific
1876         builtins.
1877
1878 2006-01-31  Richard Guenther  <rguenther@suse.de>
1879         Paolo Bonzini  <bonzini@gnu.org>
1880
1881         * doc/install.texi (--disable-libgcc-math): Document.
1882
1883 2006-01-30  Marcin Dalecki  <martin@dalecki.de>
1884
1885         * expr.h (expand_normal): new inline function.
1886         * builtins.c: use it, use EXPAND_NORMAL explicitely.
1887         * dojump.c: use it.
1888         * dwarf2out.c: use it.
1889         * expr.c: use it.
1890         * calls.c: use it.
1891         * expmed.c: use it.
1892         * except.c: use it.
1893         * config/sparc/sparc.c: use it.
1894         * config/i386/i386.c: use it.
1895         * config/rs6000/rs6000.c: use it.
1896         * config/arm/arm.c: use it.
1897         * config/mips/mips.c: use it.
1898         * stmt.c: use it, use EXPAND_NORMAL explicitely.
1899
1900 2006-01-30  Roger Sayle  <roger@eyesopen.com>
1901
1902         * config/i386/cygwin.h (GCC_DRIVER_HOST_INITIALIZATION): Cast
1903         argv to the appropriate type.
1904
1905 2006-01-30  Zdenek Dvorak <dvorakz@suse.cz>
1906
1907         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Remove
1908         unreachable code.
1909
1910 2006-01-30  Ulrich Weigand  <uweigand@de.ibm.com>
1911
1912         PR target/26018
1913         * config/s390/s390.c (struct machine_function): New flag
1914         decomposed_literal_pool_addresses_ok_p.
1915         (s390_reorg): Set it before final stage of literal pool transforms.
1916         (s390_decompose_address): Only accept displacements of the form
1917         (minus (label_ref ...) (label_ref ...)) if that flag is set.
1918
1919 2006-01-30  Carlos O'Donell  <carlos@codesourcery.com>
1920
1921         * optabs.c (prepare_cmp_insn): If unbaised and unsigned then bias
1922         the comparison routine return.
1923
1924 2006-01-30  Michael Matz  <matz@suse.de>
1925
1926         * global.c (find_reg): Only evict for global regs.
1927         Take n_refs into account and dump more info.
1928
1929 2006-01-30  J"orn Rennecke <joern.rennecke@st.com>
1930
1931         PR target/14798:
1932         * sh.c (pragma_interrupt, trap_exit, sp_switch): Remove variable.
1933         (pragma_trap, pragma_nosave_low_regs): Likewise.
1934         (current_function_anonymous_args): Likewise.
1935         (sh_deferred_function_attributes): New variable.
1936         (sh_deferred_function_attributes_tail): Likewise.
1937         (print_operand): For '@', look up trap_exit attribute.
1938         (calc_live_regs): Look up trapa_handler attribute.  For trapa
1939         handlers, save/restore fpscr, but don't do any other
1940         interrupt-specific saves.
1941         Don't save r0..r7 if the nosave_low_regs attribute is in effect.
1942         Fix check for partially saved registers to check for SHmedia.
1943         (sh_expand_prologue, sh_expand_epilogue): Look up sp_switch attribute.
1944         (sh_output_function_epilogue): Don't clear any of the removed
1945         variables.
1946         (sh_insert_attributes): Don't check pragma_interrupt.
1947         Insert deferred attributes.  Check that interrupt attribute is
1948         present for other attributes that require its presence.
1949         (sh_attribute_table): Add new attributes trapa_handler and
1950         nosave_low_regs.
1951         (sh_handle_sp_switch_attribute, sh_handle_trap_exit_attribute):
1952         Don't check for pragma_interrupt.  Don't store argument.
1953         * sh.h (pragma_interrupt, sp_switch): Don't declare.
1954         (sh_deferred_function_attributes): Declare.
1955         (sh_deferred_function_attributes_tail): Likewise.
1956         * sh.md (sp_switch_1): Add operand.  Change generator caller.
1957         (sh_pr_interrupt, sh_pr_trapa, sh_pr_nosave_low_regs): Remove.
1958         (*return_i): Don't use when trap_exit attribute is in effect.
1959         (*return_trapa): New insn pattern.
1960         * sh-c.c: New file.
1961         * config.gcc (sh[123456ble]*-* | sh-*-*): New trailer stanza,
1962         setting c_target_objs and cxx_target_objs.
1963         * t-sh: Add rule for sh-c.o.
1964
1965 2006-01-30  Richard Guenther  <rguenther@suse.de>
1966
1967         PR c++/23372
1968         * gimplify.c (gimplify_target_expr): Handle easy cases
1969         without creating a temporary.
1970
1971 2006-01-30  Nathan Sidwell  <nathan@codesourcery.com>
1972
1973         * vec.h (safe_grow): Remove duplicated line.
1974
1975 2006-01-29  Diego Novillo  <dnovillo@redhat.com>
1976
1977         PR 25874
1978         * omp-low.c (execute_expand_omp): Move CFG cleanup code ...
1979         (expand_omp): ... here.
1980         (expand_omp_parallel): Only remove barriers for combined
1981         parallel+workshare constructs.
1982
1983 2006-01-29  Eric Botcazou  <ebotcazou@adacore.com>
1984
1985         Revert
1986
1987         2005-11-09  Eric Botcazou  <ebotcazou@adacore.com>
1988         * tree.c (build_qualified_type): Chain the new type to the original
1989         type's TYPE_NEXT_PTR_TO or TYPE_NEXT_REF_TO linked lists if it is
1990         a POINTER_TYPE or a REFERENCE_TYPE respectively.
1991         (build_pointer_type_for_mode): Only return unqualified types.
1992         (build_reference_type_for_mode): Likewise.
1993
1994 2006-01-29  Gabriel Dos Reis  <gdr@integgrable-solutions.net>
1995
1996         * configure.ac (cxx_compat_warn): Set if -Wc++-compat is supported.
1997         * Makefile.in (CXX_COMPAT_WARN): Define.
1998         * configure: Regenerate.
1999
2000 2006-01-29  Dorit Nuzman  <dorit@il.ibm.com>
2001
2002         PR tree-opt/25911
2003         * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Change assert
2004         to an if check.
2005
2006 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2007
2008         * toplev.c: Fix thinko.
2009
2010 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2011             Marcin Dalecki  <martin@dalecki.de>
2012
2013         * toplev.c (floor_log2, exact_log2): Don't define if __cplusplus.
2014         (push_srcloc): Use XNEW.
2015         (init_asm_output, default_get_pch_validity): Use XNEWVEC.
2016
2017 2006-01-29  Kenneth Zadeck <zadeck@naturalbridge.com>
2018
2019         * df-core.c (df_set_blocks): Deleted all variable.
2020
2021 2006-01-28  Ian Lance Taylor  <ian@airs.com>
2022
2023         * cgraphunit.c (cgraph_assemble_pending_functions): Call
2024         cgraph_output_pending_asms.
2025
2026 2006-01-28  Zack Weinberg  <zackw@panix.com>
2027
2028         * c.opt: Add -W(no-)overlength-strings.
2029         * doc/invoke.texi: Document it.
2030         * c-opts.c (c_common_handle_option): -pedantic implies
2031         -Woverlength-strings, if not explicitly disabled already.
2032         (c_common_post_options): -Woverlength-strings defaults to off, and
2033         is always off for C++.
2034         * c-common.c (fix_string_type): Issue warning about strings longer
2035         than is portable only if warn_overlength_strings.  Rearrange code
2036         a little for clarity.
2037         * configure.in: Check for -Wno-overlength-strings as well before
2038         enabling -pedantic in stage 1.
2039         * Makefile.in (STRICT2_WARN): Add -Wno-overlength-strings.
2040         (gcc.o-warn, insn-automata.o-warn, build/gencondmd.o-warn): Delete.
2041
2042         * genconditions.c (write_header, write_one_condition)
2043         (write_conditions, write_writer): Consolidate very long strings
2044         that were broken up to fit in C89 portable limit.  Don't use
2045         printf when fputs will do.
2046
2047 2006-01-28  Adam Nemet  <anemet@caviumnetworks.com>
2048
2049         * combine.c (simplify_comparison <AND>): Check
2050         TRULY_NOOP_TRUNCATION before start using a subreg.
2051
2052         * config/mips/mips.md (*branch_zero<mode>,
2053         *branch_zero<mode>_inverted, *branch_equality<mode>,
2054         *branch_equality<mode>_inverted, *branch_equality<mode>_mips16):
2055         Remove mode check from comparisons.
2056
2057 2006-01-28  Kenneth Zadeck <zadeck@naturalbridge.com>
2058
2059         * config/mips/mips-protos.h (mips_set_live_on_entry): Deleted.
2060
2061 2006-01-28  Kazu Hirata  <kazu@codesourcery.com>
2062
2063         * expmed.c (const_mult_add_overflow_p): Remove.
2064         * expr.h: Remove the prototype for const_mult_add_overflow_p.
2065
2066         * recog.c (validate_replace_rtx_subexp): Remove.
2067         * recog.h: Remove the prototype for
2068         validate_replace_rtx_subexp.
2069
2070         * integrate.h: Remove the prototype for
2071         copy_decl_for_inlining.
2072         * rtl.h: Remove the prototype for mark_constant_function.
2073         * tree-vectorizer.h: Remove the prototype for
2074         vect_strip_conversion.
2075
2076         * modulo-sched.c (create_partial_schedule,
2077         free_partial_schedule, reset_partial_schedule): Make them
2078         static.
2079
2080         * hooks.c (hook_bool_rtx_int_false): Remove.
2081         * hooks.h: Remove the prototype for hook_bool_rtx_int_false.
2082
2083 2006-01-28  David Edelsohn  <edelsohn@gnu.org>
2084
2085         * config/rs6000/aix43.h (SUBTARGET_OVERRIDE_OPTIONS): -msoft-float
2086         and -mlong-double-128 are incompatible.
2087         * config/rs6000/aix52.h (SUBTARGET_OVERRIDE_OPTIONS): Same.
2088         * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): Add ppc64-fp.c.
2089         (TARGET_LIBGCC2_CFLAGS): Define.
2090         * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): Same.
2091         (TARGET_LIBGCC2_CFLAGS): Same.
2092         * config/rs6000/ppc64-fp.c: Compile for 64-bit AIX.
2093
2094 2006-01-28  Kazu Hirata  <kazu@codesourcery.com>
2095
2096         PR c/19606.
2097         * c-typeck.c (build_binary_op): Perform implicit casts of
2098         operands before shortening them.
2099
2100         * cfgloopmanip.c (split_loop_bb): Remove.
2101         * cfgloop.h: Remove the prototype for split_loop_bb.
2102
2103         * cfgloop.c (flow_loop_outside_edge_p): Remove.
2104         * cfgloop.h: Remove the prototype for
2105         flow_loop_outside_edge_p.
2106
2107         * emit-rtl.c (init_virtual_regs): Make it static.
2108         * function.h: Remove the prototype for init_virtual_regs.
2109
2110         * recog.c (peephole2_optimize): Make it static.
2111         * recog.h: Remove the prototype for peephole2_optimize.
2112
2113 2006-01-27  H.J. Lu  <hongjiu.lu@intel.com>
2114
2115         * df-scan.c (df_record_entry_block_defs): Check if
2116         INCOMING_RETURN_ADDR_RTX is defined.
2117
2118 2006-01-27  Daniel Berlin  <dberlin@dberlin.org>
2119             Kenneth Zadeck <zadeck@naturalbridge.com>
2120
2121         PR rtl-optimization/24762
2122         * doc/tm.texi: Added TARGET_EXTRA_LIVE_ON_ENTRY.
2123         * targhooks.c (hook_void_bitmap): New hook prototype.
2124         * targhoohs.h (hook_void_bitmap): Ditto.
2125         * bitmap.h (bitmap_head_def): Moved to coretypes.h.
2126         * coretypes.h (bitmap_head_def): Moved from bitmap.h.
2127         * target.h (live_on_entry): New function pointer.
2128         * df-scan.c (df_all_hard_regs): Removed.
2129         (df_scan_dump, df_hard_reg_init): Removed df_all_hard_regs.
2130         (df_scan_free_internal): Added df->entry_block_defs.
2131         (df_scan_alloc): Ditto.
2132         (df_scan_dump): Ditto.
2133         (df_uses_record): Plumbed flag field properly thru calls.
2134         Record EH_RETURN_DATA_REGNO in eh blocks unconditionally.
2135         This part fixes PR24762.
2136         (df_bb_refs_record): Added code to make the frame and arg
2137         pointers live in EH blocks.
2138         (df_refs_record): Added call to df_record_entry_block_defs.
2139         (df_record_entry_block_defs): New function.
2140         * df-core.c: Added comments to describe new artifical defs.
2141         * df.h (DF_REF_DIES_AFTER_THIS_USE): New flag in enum df_ref_flags.
2142         (entry_block_defs): New field in struct df.
2143         (df_all_hard_regs): Deleted.
2144         * target-def.h: Added TARGET_EXTRA_LIVE_ON_ENTRY.
2145         * df-problems.c (df_ru_bb_local_compute_process_def):
2146         Added code to handle artifical defs in the entry to a function.
2147         (df_ru_bb_local_compute): Ditto.
2148         (df_rd_bb_local_compute_process_def):  Ditto.
2149         (df_rd_bb_local_compute): Ditto.
2150         (df_lr_bb_local_compute): Ditto.
2151         (df_ur_bb_local_compute): Ditto.
2152         (df_urec_bb_local_compute):  Ditto.
2153         (df_chain_create_bb):  Ditto.
2154         (df_ur_local_finalize): Removed entry.
2155         (df_urec_init): Ditto.
2156         (df_urec_local_finalize): Ditto.
2157         (df_ri_bb_compute): Added detection of last use of pseudos.
2158         * Makefile.in (df-scan.o): Updated dependencies.
2159         * config/mips/mips-protos.h (mips_set_live_on_entry): Added.
2160         * config/mips/mips.c (mips_set_live_on_entry): Added.
2161         * config/mips/mips.c (TARGET_EXTRA_LIVE_ON_ENTRY): Added value
2162         for target hook.
2163         * dce.c (marked_insn_p): Added code to handle artifical defs.
2164
2165 2006-01-27  H.J. Lu  <hongjiu.lu@intel.com>
2166
2167         * config/i386/emmintrin.h (_mm_cvtsd_f64): Add missing Intel
2168         intrinsic.
2169         (_mm_cvtsi128_si64): Likewise.
2170         (_mm_cvtsd_si64): Likewise.
2171         (_mm_cvttsd_si64): Likewise.
2172         (_mm_cvtsi64_sd): Likewise.
2173         (_mm_cvtsi64_si128): Likewise.
2174         * config/i386/mmintrin.h (_m_from_int64): Likewise.
2175         (_mm_cvtsi64_m64): Likewise.
2176         (_m_to_int64): Likewise.
2177         (_mm_cvtm64_si64): Likewise.
2178         * config/i386/xmmintrin.h (_mm_cvtss_si64): Likewise.
2179         (_mm_cvttss_si64): Likewise.
2180         (_mm_cvtsi64_ss): Likewise.
2181         (_mm_cvtss_f32): Likewise.
2182
2183 2006-01-27  Carlos O'Donell  <carlos@codesourcery.com>
2184
2185         * c-pragma.c (init_pragma) : Call c_register_pragma_with_expansion
2186         for pragma redefine_extname.
2187
2188 2006-01-27  Jakub Jelinek  <jakub@redhat.com>
2189
2190         PR target/25864
2191         * libgcc-std.ver: Add GCC_4.1.0 symbol version.
2192         * config/rs6000/t-linux64 (TARGET_LIBGCC2_CFLAGS): Only append
2193         -mno-minimal-toc to previous content.
2194         (bispecs): Remove goal.
2195         * config/rs6000/ppc64-fp.c: Define TMODES before including fp-bit.h.
2196         * config/rs6000/darwin-ldouble.c: Don't provide _xlq*@GCC_3.4
2197         compatibility aliases on powerpc-*-*gnu*.
2198         * config/rs6000/libgcc-ppc-glibc.ver: New file.
2199         * config/rs6000/t-ppccomm (SHLIB_MAPFILES): Append
2200         libgcc-ppc-glibc.ver on powerpc*-*-*gnu*.
2201         (TARGET_LIBGCC2_CFLAGS): Append -specs=ldblspecs.
2202         (ldblspecs): New goal.
2203         * config/rs6000/t-linux64 (SHLIB_MAPFILES): Removed.
2204         * mklibgcc.in: If $TPBIT is empty, don't compile _sf_to_tf and
2205         _df_to_tf.
2206         * config/fp-bit.h (TMODES): Don't define if none of TFLOAT,
2207         L_sf_to_tf or L_df_to_tf is defined.
2208
2209 2006-01-27  David Edelsohn  <edelsohn@gnu.org>
2210             Alan Modra  <amodra@bigpond.net.au>
2211
2212         PR target/25864
2213         * config/rs6000/linux.h (POWERPC_LINUX): Define.
2214         * config/rs6000/linux64.h (POWERPC_LINUX): Define.
2215         * config/rs6000/darwin-ldouble.c: Build on 32-bit PowerPC.
2216         * config/rs6000/darwin.h (TARGET_IEEEQUAD): Define to zero.
2217         * config/rs6000/aix.h (TARGET_IEEEQUAD): Define to zero.
2218         * config/rs6000/rs6000.c (rs6000_ieeequad): New variable.
2219         (rs6000_override_options): Initialize rs6000_ieeequad.
2220         Initialize TFmode format to ibm_extended_format if not
2221         TARGET_IEEEQUAD.
2222         (rs6000_handle_option): Accept -mabi= ibmlongdouble and
2223         ieeelongdouble.
2224         (rs6000_emit_move): Move !TARGET_IEEEQUAD as two parts.
2225         (rs6000_return_in_memory): Only return IEEEQUAD in memory.
2226         (function_arg_advance): IBM long double passed in two FPRs, not
2227         split.
2228         (function_arg): IBM long double passed in FPRs.
2229         (rs6000_pass_by_reference): Only IEEEQUAD passed by reference.
2230         (rs6000_gimplify_va_arg): IBM long double passed in two FPRs.
2231         Only multireg GPR aligned.
2232         (rs6000_init_libfuncs): Enable IBM long double functions if not
2233         IEEEQUAD.
2234         (rs6000_generate_compare): Use IBM long double compare if not
2235         TARGET_IEEEQUAD.
2236         * config/rs6000/rs6000.h (rs6000_ieeequad): Declare.
2237         (TARGET_IEEEQUAD): Define.
2238         (CANNOT_CHANGE_MODE_CLASS): Any mode larger than doubleword if
2239         not TARGET_IEEEQUAD.
2240         * config/rs6000/rs6000.md: Enable TFmode patterns if
2241         !TARGET_IEEEQUAD.
2242         * config/rs6000/t-ppccomm (LIB2FUNCS_EXTRA): Add darwin-ldouble.c.
2243         * config/rs6000/svr4.h (SUBTARGET_OVERRIDE_OPTIONS): -msoft-float
2244         and -mlong-double-128 are incompatible.
2245         * doc/invoke.texi (-mabi): Collect options together.  Add
2246         ibmlongdouble and ieeelongdouble.
2247
2248 2006-01-27  Richard Sandiford  <richard@codesourcery.com>
2249
2250         * doc/rtl.texi (SYMBOL_REF_DATA): Adjust documentation for new
2251         opaque type.
2252         * optabs.c (init_one_libfunc): Use SET_SYMBOL_REF_DECL.
2253         * varasm.c (make_decl_rtl, build_constant_desc): Likewise.
2254         (force_const_mem): Use SET_SYMBOL_REF_CONSTANT.
2255         * rtl.h (rtunion_def): Remove rt_ptr.
2256         (X0PTR): Delete.
2257         (SYMBOL_REF_DATA): Use X0ANY instead of X0PTR.
2258         (SET_SYMBOL_REF_DECL, SET_SYMBOL_REF_CONSTANT): New macros.
2259         * config/i386/winnt.c (i386_pe_mark_dllexport)
2260         (i386_pe_mark_dllimport): Use SET_SYMBOL_REF_DECL.
2261
2262 2006-01-27 Gabor Loki <loki@gcc.gnu.org>
2263
2264         * cfgcleanup.c (try_crossjump_to_edge): Fix comment typo.
2265
2266 2006-01-26 Alexandre Oliva  <aoliva@redhat.com>
2267
2268         PR other/24829
2269         PR target/24831
2270         * gthr-dce.h: Do not gthrw-ify pthread_once_init,
2271         pthread_key_delete.  From John David Anglin.  gthrw-ify
2272         pthread_getunique_np only if it it's not a macro.  Delete
2273         UNUSED macro.
2274         (__gthread_objc_condition_allocate, __gthread_objc_condition_deallocate,
2275         __gthread_objc_condition_wait, __gthread_objc_condition_broadcast,
2276         __gthread_objc_condition_signal, __gthread_key_delete): Add
2277         "__attribute__ ((__unused__))" to unused arguments.
2278         (__gthread_recursive_mutex_init_function): Add missing return.
2279         * gthr-dce.h, gthr-tpf.h, gthr-solaris.h, gthr-posix.h,
2280         gthr-posix95.h: Use macro-based approach for name redirection
2281         on targets missing weakref.
2282
2283 2006-01-26  Zack Weinberg  <zackw@panix.com>
2284
2285         * genconditions.c (write_header): In generated code, #ifdef out
2286         all includes and fake declarations, except includes of bconfig.h
2287         and system.h, unless GCC_VERSION >= 3001.  Do not include
2288         gensupport.h in any case.
2289         (write_conditions): Generate a definition of struct c_test.  Add
2290         a comment to the generated #endif.
2291         (write_one_condition): Escape backslashes in string too.
2292         (write_writer): Generated code must escape backslashes and quote
2293         marks (but not newlines) in the strings it writes.
2294         * Makefile.in (build/gencondmd.o): Update dependencies.
2295
2296 2006-01-26  Steve Ellcey  <sje@cup.hp.com>
2297
2298         PR target/25961
2299         * Makefile.in (insn-automata.o): Add header file dependencies.
2300         * genautomata.c: Add includes.
2301
2302 2006-01-26  Steve Ellcey  <sje@cup.hp.com>
2303
2304         PR target/25961
2305         * Makefile.in (insn-automata.o): Add -Wno-error flag.
2306
2307 2006-01-26  Paolo Bonzini  <bonzini@gnu.org>
2308
2309         * configure.ac: Expect target tools paths to be passed from the toplevel
2310         and wrap the detection into AS_SET_VAR_IF.  Extract side-effects out of
2311         AS_SET_VAR_IF.
2312         * acinclude.m4 (gcc_AC_TOOL_DIRS, gcc_AC_CHECK_TOOL): Remove.
2313
2314 2006-01-26  Alexandre Oliva  <aoliva@redhat.com>
2315
2316         PR c/25892
2317         * c.opt (Wpointer-sign): Init to -1.
2318         * c-opts.c (c_common_handle_option): Set to 1 on OPT_Wall and
2319         OPT_pedantic, to 0 otherwise.
2320         * doc/invoke.texi: Update.
2321
2322 2006-01-26  Paolo Bonzini  <bonzini@gnu.org>
2323
2324         * config/i386/i386.md (extendsfdf2, extendsfxf2, extenddfxf2): Emit
2325         constants provided by 80387 instructions in the destination mode.
2326
2327 2006-01-26  Richard Guenther  <rguenther@suse.de>
2328             Andrew Pinski  <pinskia@physics.uc.edu>
2329
2330         PR tree-opt/21470
2331         partial PR tree-opt/17064
2332         * tree-ssa-structalias.c (intra_create_variable_infos):
2333         Create heap variables for incoming parameters if
2334         flag_argument_noalias > 1.
2335         (find_what_p_points_to): Look through default defs of
2336         parameter decls.
2337
2338 2006-01-26  Jeff Law  <law@redhat.com>
2339
2340         PR ada/25900
2341         * tree-vrp.c (extract_range_from_assert): When merging a VR_RANGE
2342         with a VR_ANTI_RANGE and the VR_ANTI_RANGE is completely contained
2343         within the VR_RANGE, use the VR_RANGE as the result, not the
2344         VR_ANTI_RANGE.
2345         (adjust_range_with_scev): Reject ranges from SCEV which are out of
2346         bounds for the type.
2347
2348 2006-01-26  Daniel Berlin  <dberlin@dberlin.org>
2349
2350         * tree-ssa-alias.c (maybe_create_global_var): Change
2351         subvar walking to an assertion that we don't have subvar'd variables.
2352
2353 2006-01-26  Andrew Pinski  <pinskia@physics.uc.edu>
2354
2355         PR C/25861
2356         * c-common.c (c_common_truthvalue_conversion) <case ADDR_EXPR>:
2357         Use a new variable, inner.  PARM_DECLs are always non-weak.
2358
2359 2006-01-26  Shantonu Sen  <ssen@opendarwin.org>
2360
2361         * tree.h (OMP_CLAUSE_SUBCODE_CHECK): Add definition for
2362         --disable-checking.
2363
2364 2006-01-26  Adam Nemet  <anemet@caviumnetworks.com>
2365
2366         * config/mips/mips.md (*clear_upper32): New combiner pattern.
2367
2368 2006-01-26  Richard Earnshaw  <richard.earnshaw@arm.com>
2369
2370         * arm.md (smaxsi3, sminsi3): Convert to define_expand.
2371         (smax_insn, smin_insn, smax_0, smin_0): New.
2372
2373 2006-01-26  Hans-Peter Nilsson  <hp@axis.com>
2374
2375         PR target/25947
2376         * config/cris/cris.c (cris_order_for_addsi3): New function.
2377         * config/cris/cris-protos.h: Prototype it.
2378         * config/cris/cris.md (split for "move.S1 [rx=rx+i],ry")
2379         (split for "move.S1 ry,[rx=rx+i]", split for "clear.[bwd] [rx=rx+i]")
2380         (split for "mov(s|u).S1 [rx=rx+i],ry", split for "op.S1 [rx=rx+i],ry")
2381         (split for "op.S1 [rx=rx+i],ry (swapped)")
2382         (split for "op(s|u).S1 [rx=rx+i],ry")
2383         (split for "op(s|u).S1 [rx=rx+i],ry (swapped, plus or bound)"):
2384         Apply cris_order_for_addsi3 when generating addsi3 insns.
2385
2386 2006-01-25  Diego Novillo  <dnovillo@redhat.com>
2387
2388         * tree.h (TREE_RANGE_CHECK): Fix range predicate.
2389         (TREE_BLOCK): Add call to EXPR_CHECK.
2390
2391 2006-01-25  Diego Novillo  <dnovillo@redhat.com>
2392
2393         PR 25886
2394         * tree-dump.c (dequeue_and_dump): Handle OMP_CLAUSE.
2395         * tree-pretty-print.c (dump_omp_clause): Extract from ...
2396         (dump_omp_clauses): ... here.
2397         (dump_generic_node): Handle OMP_CLAUSE.
2398         * tree.c (omp_clause_num_ops): New.
2399         (omp_clause_code_name): New.
2400         (tree_code_size): Handle OMP_CLAUSE.
2401         (tree_size): Likewise.
2402         (make_node): Document handling of OMP_CLAUSE.
2403         (tree_node_structure): Handle OMP_CLAUSE.
2404         (omp_clause_check_failed): New.
2405         (omp_clause_range_check_failed): New.
2406         (omp_clause_operand_check_failed): New.
2407         (build_omp_clause): New.
2408         (walk_tree): Adjust handling of OMP_CLAUSE_* nodes.
2409         * tree.h (enum omp_clause_code): Declare.
2410         (OMP_CLAUSE_SUBCODE_CHECK): Define.
2411         (OMP_CLAUSE_RANGE_CHECK): Define.
2412         (OMP_CLAUSE_ELT_CHECK): Define.
2413         (omp_clause_check_failed): Declare.
2414         (omp_clause_operand_check_failed): Declare.
2415         (omp_clause_range_check_failed): Declare.
2416         (OMP_CLAUSE_CHAIN): Do not use TREE_RANGE_CHECK.
2417         (OMP_CLAUSE_OPERAND): Use OMP_CLAUSE_RANGE_CHECK.
2418         (OMP_CLAUSE_PRIVATE_DEBUG): Use OMP_CLAUSE_SUBCODE_CHECK.
2419         (OMP_CLAUSE_LASTPRIVATE): Likewise.
2420         (OMP_CLAUSE_IF_EXPR): Likewise.
2421         (OMP_CLAUSE_NUM_THREADS_EXPR): Likewise.
2422         (OMP_CLAUSE_SCHEDULE_CHUNK_EXPR): Likewise.
2423         (OMP_CLAUSE_REDUCTION_CODE): Likewise.
2424         (OMP_CLAUSE_REDUCTION_INIT): Likewise.
2425         (OMP_CLAUSE_REDUCTION_MERGE): Likewise.
2426         (OMP_CLAUSE_REDUCTION_PLACEHOLDER): Likewise.
2427         Use tree_node.omp_clause.subcode instead of TREE_COMPLEXITY.
2428         (OMP_CLAUSE_SCHEDULE_KIND): Likewise.
2429         (OMP_CLAUSE_DEFAULT_KIND): Likewise.
2430         (OMP_CLAUSE_CODE): Define.
2431         (OMP_CLAUSE_SET_CODE): Define.
2432         (OMP_CLAUSE_CODE): Define.
2433         (OMP_CLAUSE_OPERAND): Define.
2434         (struct tree_omp_clause): Declare.
2435         (union tree_node): Add field 'omp_clause'.
2436         * treestruct.def (TS_OMP_CLAUSE): Define.
2437         * tree.def (OMP_CLAUSE_PRIVATE, OMP_CLAUSE_SHARED
2438         OMP_CLAUSE_FIRSTPRIVATE, OMP_CLAUSE_LASTPRIVATE,
2439         OMP_CLAUSE_REDUCTION, OMP_CLAUSE_COPYIN,
2440         OMP_CLAUSE_COPYPRIVATE, OMP_CLAUSE_IF,
2441         OMP_CLAUSE_NUM_THREADS, OMP_CLAUSE_SCHEDULE,
2442         OMP_CLAUSE_NOWAIT, OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Remove.
2443         (OMP_CLAUSE): Define.
2444         * print-tree.c (print_node): Handle OMP_CLAUSE.
2445         * omp-low.c: Adapt all uses of OMP_CLAUSE_* nodes.
2446         * c-typeck.c: Likewise.
2447         * gimplify.c: Likewise.
2448         * c-omp.c: Likewise.
2449         * tree-nested.c: Likewise.
2450         * tree-inline.c: Likewise.
2451         * c-parser.c: Likewise.
2452         * gimple-low.c (lower_omp_directive): Do not set TREE_BLOCK on
2453         clauses.
2454
2455 2006-01-25  Roger Sayle  <roger@eyesopen.com>
2456
2457         PR rtl-optimization/25703
2458         * combine.c (try_combine): Handle zero_extract and strict_low_part
2459         of non-lowpart SUBREGs for constant reg_subword_p set optimization.
2460
2461 2006-01-25  Peter Bergner  <bergner@vnet.ibm.com>
2462
2463         * global.c: Fix comment typos.
2464
2465 2006-01-25  Andrew Pinski  <pinskia@physics.uc.edu>
2466
2467         PR target/25758
2468         * config/i386/i386.c (output_pic_addr_const) <case SYMBOL_REF>:
2469         Use output_addr_const instead of assemble_name.
2470
2471 2006-01-25  Paolo Bonzini  <bonzini@gnu.org>
2472
2473         * Makefile.in (sched-vis.o): Update dependencies.
2474         * haifa-sched.c (sched_finish): Clear current_sched_info.
2475         * cfg.c (dump_bb_info): New, split from dump_flow_info.
2476         (dump_flow_info): Call it.
2477         * passes.c (execute_todo): Call print_rtl_slim_with_bb to make
2478         a slim RTL dump.
2479         * basic-block.h (dump_bb_info): Declare.
2480         * tree-dump.c (dump_enable_all): OR the flags of a -fdump-tree-all
2481         option, and apply options only for dump files whose TDF_RTL,
2482         TDF_TREE, or TDF_IPA bits match.
2483         * rtl.h: Declare new functions exported from sched-vis.c.
2484         * sched-vis.c: Enable also if scheduling is not used.
2485         (print_value): Print the mode of registers if not inside scheduling.
2486         (print_insn): Make it work outside the scheduler.  Beautify the output
2487         a bit.
2488         (dump_insn_slim, debug_insn_slim, print_rtl_slim_with_bb): New.
2489
2490 2006-01-25  Richard Sandiford  <richard@codesourcery.com>
2491
2492         * doc/rtl.texi (SYMBOL_REF_CONSTANT, SYMBOL_REF_DATA): Document.
2493         * gengtype.c (adjust_field_rtx_def): Garbage-collect field 2 of
2494         a SYMBOL_REF as either a tree or a constant_descriptor_rtx,
2495         depending on the value of CONSTANT_POOL_ADDRESS_P.
2496         * optabs.c (init_one_libfunc): Nullify SYMBOL_REF_DATA rather than
2497         SYMBOL_REF_DECL.
2498         * varasm.c (make_decl_rtl, build_constant_desc): Set SYMBOL_REF_DATA
2499         rather than SYMBOL_REF_DECL.
2500         (rtx_constant_pool): Remove const_rtx_sym_htab.
2501         (const_desc_rtx_sym_hash, const_desc_rtx_sym_eq): Delete.
2502         (init_varasm_status): Don't initialize const_rtx_sym_htab.
2503         (force_const_mem): Point SYMBOL_REF_DATA to the constant pool entry.
2504         Remove handling of const_rtx_sym_htab.
2505         (find_pool_constant): Delete.
2506         (get_pool_constant, get_pool_constant_mark): Use SYMBOL_REF_CONSTANT
2507         rather than find_pool_constant.
2508         (get_pool_constant_for_function): Delete.
2509         (get_pool_mode, mark_constant): Use SYMBOL_REF_CONSTANT rather than
2510         find_pool_constant.
2511         * rtl.h (rtunion_def): Add rt_constant and rt_ptr fields.
2512         (X0CONSTANT, X0PTR, SYMBOL_REF_DATA): New macros.
2513         (SYMBOL_REF_DECL): Return NULL if CONSTANT_POOL_ADDRESS_P.
2514         (SYMBOL_REF_CONSTANT): New macro.
2515         (get_pool_constant_for_function): Delete.
2516         * config/i386/winnt.c (i386_pe_mark_dllexport): Set SYMBOL_REF_DATA
2517         rather than SYMBOL_REF_DECL.
2518         (i386_pe_mark_dllimport): Likewise.
2519         * config/rs6000/rs6000.c (rs6000_emit_move): Copy SYMBOL_REF_DATA
2520         rather than SYMBOL_REF_DECL.
2521         * config/darwin.c (machopic_indirect_data_reference): Likewise.
2522         (machopic_indirect_call_target): Likewise.
2523
2524 2006-01-25  Eric Botcazou  <ebotcazou@adacore.com>
2525
2526         * flow.c (delete_noop_moves): Add missing EOL to dump message.
2527
2528 2006-01-25  Richard Sandiford  <richard@codesourcery.com>
2529
2530         * genattrtab.c (gen_bypass): Allow bypasses to contain whitespace.
2531
2532 2006-01-25  Kaz Kojima  <kkojima@gcc.gnu.org>
2533
2534         * config/sh/predicates.md (sh_register_operand): Accept CONST_DOUBLE.
2535
2536 2006-01-24  David Daney  <ddaney@avtrex.com>
2537
2538         PR java/25816
2539         * configure.ac (enable_tls): New enable option.
2540         (HAVE_AS_TLS): Don't do assembler check if enable_tls set.
2541         * configure: Regenerate.
2542         * doc/install.texi (--enable-tls): Document new option.
2543         (--disable-tls): Ditto.
2544
2545 2006-01-24  Richard Henderson  <rth@redehat.com>
2546
2547         * alias.h (ALIAS_SET_MEMORY_BARRIER): New.
2548         * alias.c (true_dependence): Respect it.
2549         (canon_true_dependence, write_dependence_p): Likewise.
2550         * builtins.c (get_builtin_sync_mem): Set it.
2551
2552 2006-01-25  Zdenek Dvorak <dvorakz@suse.cz>
2553
2554         * loop-iv.c (iv_analysis_loop_init): Use df analysis in a more
2555         efficient way.
2556
2557 2006-01-24  DJ Delorie  <dj@redhat.com>
2558
2559         * expmed.c (store_bit_field): Don't arbitrarily deny using insv
2560         for storing constants in single-bit bitfields.
2561
2562 2006-01-25  Ben Elliston  <bje@au.ibm.com>
2563
2564         * dfp.c (dfp_byte_swap): Use uint32_t and not unsigned long.
2565
2566 2006-01-24  Andrew Pinski  <pinskia@physics.uc.edu>
2567
2568         PR tree-opt/25860
2569         * tree-ssa-pre.c (phi_translate): Return NULL
2570         for AGGREGATE_TYPE's.
2571
2572 2006-01-24  Zack Weinberg  <zackw@panix.com>
2573
2574         * genautomata.c (process_state_for_insn_equiv_partition):
2575         Use xcalloc for insn_arcs_array.
2576         * vec.h (DEF_VEC_ALLOC_FUNC_I): New set of templates.
2577         (DEF_VEC_ALLOC_I): Use it, not DEF_VEC_ALLOC_FUNC_P.
2578
2579 2006-01-24  Richard Henderson  <rth@redhat.com>
2580
2581         * genextract.c (VEC_safe_set_locstr): Take VEC by reference;
2582         update all callers.
2583
2584 2006-01-23  Paolo Bonzini  <bonzini@gnu.org>
2585
2586         PR rtl-optimization/25890
2587         PR rtl-optimization/25905
2588         * combine.c (expand_compound_operation, expand_field_assignment):
2589         Fail if the bitfield's final position is out of bounds.
2590
2591 2006-01-24  Ian Lance Taylor  <ian@airs.com>
2592
2593         PR middle-end/25930
2594         * cgraphunit.c (cgraph_output_in_order): Don't clear
2595         cgraph_asm_nodes until after asm strings have been output.
2596
2597 2006-01-23  Adam Nemet  <anemet@caviumnetworks.com>
2598
2599         * fix-header.c (read_scan_file): Add new parameter imultilib when
2600         calling register_include_chains.
2601
2602 2006-01-23  Diego Novillo  <dnovillo@redhat.com>
2603
2604         * omp-low.c: Update documentation.
2605
2606 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
2607             Daniel Berlin  <dberlin@dberlin.org>
2608
2609         PR tree-opt/25315
2610         PR tree-opt/25857
2611         * tree-ssa-pre.c (insert_extra_phis): If an incomming edge is abnormal
2612         return from the function.
2613
2614 2006-01-22  Zack Weinberg  <zackw@panix.com>
2615
2616         * rtl.def (match_code): Add second argument.
2617         * genpreds.c (write_extract_subexp): New function.
2618         (write_match_code): Add path argument.  Use write_extract_subexp.
2619         (write_predicate_expr): Pass path to write_match_code.
2620         (mark_mode_tests): MATCH_CODE applied to a subexpression does
2621         not perform a mode test.
2622         * genrecog.c (compute_predicate_codes): MATCH_CODE applied to
2623         a subexpression does not constrain the top-level code set.
2624         * read-rtl.c (read_rtx_variadic): New function.
2625         (read_rtx_1): Use it; allow AND and IOR to be variadic.
2626         * doc/md.texi: Document new notation.
2627         * config/i386/predicates.md (cmpsi_operand_1): Fold into ...
2628         (cmpsi_operand): ... here, using new notation.
2629
2630 2006-01-22  Zack Weinberg  <zackw@panix.com>
2631
2632         * varray.c: Remove GENERATOR_FILE #ifdefs.
2633
2634 2006-01-22  Zack Weinberg  <zackw@panix.com>
2635
2636         * genautomata.c (output_reserved_units_table): Emit nothing if
2637         description->query_units_num is zero.  Remove extra blank line.
2638         (output_cpu_unit_reservation_p): Short circuit
2639         if description->query_units_num is zero.
2640
2641 2006-01-22  Zack Weinberg  <zackw@panix.com>
2642
2643         * genattrtab.c: Don't include genattrtab.h.  Define ATTR_NONE
2644         and ATTR_SPECIAL (from genattrtab.h).  Don't define num_dfa_decls
2645         nor any of the random handful of variables that used to be necessary
2646         when this program was linked with rtlanal.o.  Prune set of forward
2647         function declarations.
2648         (struct attr_desc): Remove static_p field.
2649         (hash_obstack, temp_obstack, attr_hash_table, attr_printf)
2650         (check_attr_test, make_internal_attr, make_numeric_value): Make static.
2651         (attr_string): Do not read the character one past the length of
2652         the string.
2653         (write_attr_get, find_attr, make_internal_attr): Don't touch static_p.
2654         (struct insn_reserv, all_insn_reservs, last_insn_reserv_p)
2655         (n_insn_reservs, gen_insn_reserv, struct bypass_list, all_bypasses)
2656         (n_bypasses, gen_bypass_1, gen_bypass, process_bypasses)
2657         (make_automaton_attrs): New.
2658         (main): Do not call into genautomata.  Call local gen_bypass
2659         and gen_insn_reserv as appropriate.  Call make_automaton_attrs.
2660         Remove special case for insn_alts.
2661         * genautomata.c: Include gensupport.h; not genattrtab.h nor
2662         varray.h (leftover from previous change).  Prune set of forward
2663         function declarations.  Remove state_alts fields from all
2664         structures.  Remove state_alts_table from struct automaton.
2665         Make everything except main static.  Do not maintain num_dfa_decls.
2666         Do not maintain state_alts fields of various structures.
2667         (process_decls): Don't validate condexp for dm_insn_reserv decls.
2668         (add_arc): Remove state_alts argument.  All callers updated.
2669         (output_reserved_units_table): Emit #ifdef here...
2670         (output_tables): ...not here.  Don't generate state_alts tables.
2671         (expand_automata): Don't generate attributes.
2672         (write_automata): Don't generate state_alts functions.
2673         (main): New function.
2674         (it_is_empty_reserv_sets, output_state_alts_full_vect_name)
2675         (output_state_alts_comb_vect_name, output_state_alts_check_vect_name)
2676         (AUTOMATON_STATE_ALTS_MACRO_NAME, INTERNAL_STATE_ALTS_FUNC_NAME)
2677         (STATE_ALTS_FUNC_NAME, INSN_DEFAULT_LATENCY_FUNC_NAME)
2678         (BYPASS_P_FUNC_NAME, output_state_alts_table)
2679         (output_automata_list_state_alts_code, output_internal_state_alts_func)
2680         (output_state_alts_func, make_insn_alts_attr, make_bypass_attr)
2681         (make_internal_dfa_insn_code_attr, make_default_insn_latency_attr):
2682         Delete.
2683         * genattr.c: Declare internal_dfa_insn_code in insn-attr.h.
2684         * genattrtab.h: Delete file.
2685         * Makefile.in (OBJS-common): Add insn-automata.o.
2686         (insn-automata.o): New rule.
2687         (simple_generated_c): Add insn-automata.c.
2688         (build/genattrtab.o, build/genautomata.o): Update dependencies.
2689         (genprogmd): Add automata.
2690         (build/genattrtab): Needs no extra objects nor libraries.
2691         (build/genautomata): Needs build/vec.o and -lm.
2692
2693 2006-01-22  Zack Weinberg  <zackw@panix.com>
2694
2695         * genautomata.c (process_state_longest_path, max_dfa_issue_rate)
2696         (output_dfa_max_issue_rate, locked_states_num): Delete.
2697         (struct automaton): Add locked_states field.
2698         (output_dead_lock_vect): Save number of locked states in
2699         automaton->locked_states.  If it is zero, don't print anything.
2700         (output_max_insn_queue_index_def): Define max_insn_queue_index const.
2701         (output_internal_dead_lock_func): Only test the dead_lock_vect
2702         for automata that have locked states.
2703         (output_statistics): Always print the number of locked states for
2704         each automaton.  Calculate total number of locked states here.
2705         (write_automata): Don't call output_dfa_max_issue_rate.
2706         * genattrtab.c: Define length_unit_log as a const variable.
2707         * genattr.c: Don't emit MAX_DFA_ISSUE_RATE.  Declare
2708         max_insn_queue_index const.
2709         * final.c (length_unit_log): Declare const.
2710         * doc/tm.texi: Remove all references to MAX_DFA_ISSUE_RATE.
2711
2712 2006-01-22  Zack Weinberg  <zackw@panix.com>
2713
2714         * genautomata.c:  Include vec.h, not varray.h.
2715         Delete vla_ptr_t, all of the VLA_PTR_ macros, and all of the
2716         VLA_HWINT_ macros.  Change vla_hwint_t to a typedef for
2717         VEC(vect_el_t,heap) *.  Convert all uses of VLA_* macros to
2718         VEC_* macros operating on appropriately typed vectors, or to
2719         malloced arrays when the size is known in advance.  Const-ify
2720         many char* variables and function arguments.  No functional changes.
2721         * Makefile.in (build/varray.o): Delete rule.
2722         (build/genattrtab): Depend on build/vec.o instead of build/varray.o.
2723         (build/genautomata.o): Depend on vec.h instead of $(VARRAY_H).
2724
2725 2006-01-22  Zack Weinberg  <zackw@panix.com>
2726
2727         * gensupport.c: Define get_insn_name and record_insn_name here.
2728         (read_md_rtx): Call record_insn_name as appropriate.
2729         * genattr.c, genattrtab.c, gencodes.c, genconfig.c, genemit.c
2730         * genextract.c, genflags.c, genopinit.c, genoutput.c, genpeep.c
2731         * genpreds.c, genrecog.c: Don't define get_insn_name nor
2732         record_insn_name.
2733         * Makefile.in (BUILD_SUPPORT, BUILD_PRINT): Fold into BUILD_RTL.
2734         (BUILD_VARRAY): Delete.
2735         (genprognormal): Rename genprogmd.  Fold in all programs from
2736         genprognoprint; also attrtab.
2737         (build/genattrtab): Just mention genautomata.o and varray.o.
2738         Reorganize a bit, add comments to make the categories clearer.
2739
2740 2006-01-22  Zack Weinberg  <zackw@panix.com>
2741
2742         * genconditions.c (condition_table, add_condition): Delete.
2743         (write_conditions): Don't emit n_insn_conditions nor
2744         insn_elision_unavailable.  Issue the gcc version #ifdef here,
2745         inside the table, with no #else clause ...
2746         (write_header): ...not here.
2747         (write_writer): New function.
2748         (main): Don't initialize condition_table.  Use add_c_test.
2749         Call write_writer.
2750         * gensupport.c (init_md_reader_args_cb): Handle multiple input
2751         files on the command line.
2752         (maybe_eval_c_test): Don't check insn_elision_unavailable.
2753         Return -1 if there is no entry in the table, don't abort.
2754         (add_c_test, traverse_c_tests): New functions.
2755         * gensupport.h (insn_elision_unavailable, insn_conditions)
2756         (n_insn_conditions): Delete declarations.
2757         (add_c_test, traverse_c_tests): Declare.
2758         * read-rtl.c: Include gensupport.h.
2759         (read_conditions): New function.
2760         (read_rtx): If read_rtx_1 returns 0, treat as EOF.
2761         (read_rtx_1): If we get EOF when we were looking for an initial
2762         open paren, return 0.  Call read_conditions when appropriate.
2763         * Makefile.in: Kill BUILD_EARLY_SUPPORT and all references to
2764         dummy-conditions.o.  Eliminate references to insn-conditions.o,
2765         or change them to build/gencondmd.o, as appropriate.  Remove
2766         insn-constants.h from $(simple_generated_h) and insn-conditions.c
2767         from $(simple_generated_c).  For all files remaining in those
2768         two lists, add insn-conditions.md to the generator command line.
2769         Give insn-constants.h/s-constants their own rules.  Add rules
2770         for build/gencondmd.c, s-conditions, insn-conditions.md, s-condmd.
2771         (build/read-rtl.o): Depend on gensupport.h.
2772         (genprognormal): Include preds.
2773         (genprogearly): Rename genprognoprint; only difference is now that
2774         they don't link with $(BUILD_PRINT).
2775         * dummy-conditions.c: Delete.
2776
2777 2006-01-22  Zack Weinberg  <zackw@panix.com>
2778
2779         * genextract.c: Don't include insn-config.h.  Do include vec.h.
2780         Declare vectors of int, char, and locstr.
2781         (locstr): New typedef.
2782         (struct extraction): Make all array fields into bare pointers.
2783         (insn_name_ptr, insn_name_ptr_size): Move down by get_insn_name.
2784         (insn_code_number): Delete.
2785         (accum_extract): New struct.
2786         (VEC_safe_set_locstr, VEC_char_to_string): New functions.
2787         (gen_insn): Take insn_code_number as an argument.  Use an
2788         accum_extract structure instead of loading data directly into
2789         a struct extraction, and having to know how big it might get.
2790         (walk_rtx): Operate entirely on an accum_extract structure.
2791         (print_path): Avoid unnecessary use of printf.
2792         (print_header): New function, split out of main.  Distinguish
2793         more carefully between an unrecognizable insn and an insn that
2794         has the code number of a define_expand.
2795         (main): Pass insn_code_number to gen_insn.  Call print_header
2796         only after parsing.  Avoid unnecessary use of printf.
2797         * Makefile.in (build/vec.o): New rule.
2798         (build/genextract): Depend on build/vec.o.
2799         (build/genextract.o): Don't depend on insn-config.h.
2800
2801 2006-01-22  Zack Weinberg  <zackw@panix.com>
2802
2803         * Makefile.in: Consolidate most rules that use $(CC_FOR_BUILD) and/or
2804         $(RUN_GEN).  Use pattern rules to factor out as much boilerplate as
2805         practical.  Eliminate per-generator-program link rules.
2806
2807 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
2808
2809         PR middle-end/24437
2810         * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
2811         with a call expr to ...
2812         * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.
2813
2814 2006-01-23  Richard Guenther  <rguenther@suse.de>
2815
2816         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Add comment
2817         before make_edge with conditional EDGE_TRUE_VALUE.
2818
2819 2006-01-23  Steven Bosscher  <stevenb.gcc@gmail.com>
2820         Jan Hubicka  <jh@suse.cz>
2821         Richard Guenther  <rguenther@suse.de>
2822
2823         PR rtl-optimization/25654
2824         * cfgexpand.c (aggregate_contains_union_type): New function.
2825         (add_alias_set_conflicts): Call it.  Make sure to add conflicts
2826         for structure variables that contain a union type.
2827
2828 2006-01-23  Richard Sandiford  <richard@codesourcery.com>
2829
2830         * gengtype.c (new_structure): Return the structure.
2831         (create_option): Add an extra "next" argument.
2832         (create_field): New function.
2833         (adjust_field_rtx_def): Use create_option and create_field.
2834         Remove a now-unnecessary call to find_structure.
2835         (adjust_field_tree_def): Likewise.
2836         (note_yacc_type): Remove an unnecessary call to find_structure.
2837         * gengtype.h (new_structure): Return the structure.
2838         (create_option): Add an extra argument.
2839         * gengtype-yacc.y (type): Remove unnecessary calls to find_structure.
2840         (option): Adjust calls to create_option.
2841
2842 2006-01-22  David Edelsohn  <edelsohn@gnu.org>
2843
2844         * config/rs6000/aix.h (STACK_BOUNDARY): Define.
2845
2846 2006-01-22  Paul Brook  <paul@codesourcery.com>
2847         Peter Barada  <peter@the-baradas.com>
2848
2849         * config/m68k/m68k.md: Add Coldfire FPU support.
2850         Define FP mode macro and associated attributes.
2851         Use it for float mode patterns.
2852         * config/m68k/linux.h (FUNCTION_VALUE): Use m68k_function_value.
2853         (LIBCALL_VALUE): Use m68k_libcall_value.
2854         * config/m68k/m68k-protos.h (m68k_libcall_value): Add prototype.
2855         (m68k_function_value): Ditto.
2856         (emit_move_sequence): Ditto.
2857         * config/m68k/m68kemb.h (LIBCALL_VALUE): Use m68k_libcall_value.
2858         * config/m68k/m68k-none.h (ASM_SPEC): Add mcfv4e.
2859         * config/m68k/t-m68kelf (MULTILIB_OPTIONS): Add mcfv4e.
2860         (MULTILIB_EXCEPTIONS): Ditto.
2861         * config/m68k/m68k.opt: Add mcfv4e.
2862         * config/m68k/m68k.c (m68k_handle_option): Handle OPT_mcfv4e.
2863         (m68k_compute_frame_layout): Include space for ColdFire FPU regs.
2864         (m68k_output_function_prologue): Save ColdFire FPU registers.
2865         (m68k_output_function_epilogue): Restore ColdFire FPU registers.
2866         (force_mode, fp_reg_operand, emit_move_sequence): New functions.
2867         (m68k_regno_mode_ok): Don't allow types larget than 8 bytes in
2868         ColdFire FPU registers.
2869         (m68k_libcall_value, m68k_function_value): New functions.
2870         * config/m68k/netbsd-elf.h (FUNCTION_VALUE): Use m68k_function_value.
2871         (LIBCALL_VALUE): Use m68k_libcall_value.
2872         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define __mcfv4e__.
2873         (MASK_COLDFIRE): Add MASK_CFV4E.
2874         (TARGET_COLDFIRE_FPU, TARGET_HARD_FLOAT, TARGET_FP_REG_SIZE): New.
2875         (MODES_TIEABLE_P): Use TARGET_HARD_FLOAT.
2876         (REG_CLASS_FROM_LETTER, PREFERRED_RELOAD_CLASS): Ditto.
2877         (GO_IF_COLDFIRE_FPU_LEGITIMATE_ADDRESS): Define.
2878         (GO_IF_LEGITIMATE_ADDRESS): Use it.
2879         (LEGITIMIZE_ADDRESS): Handle ColdFire FPU addresses.
2880         * doc/invoke.tex: Document -mcfv4e on m68k.
2881
2882 2006-01-22  Ranjit Mathew  <rmathew@gcc.gnu.org>
2883
2884         * doc/contribute.texi: Change CVS to SVN and update the corresponding
2885         URL.
2886
2887 2006-01-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2888
2889         PR c++/16190
2890         * c-opts.c (c_common_handle_option): Don't include
2891         -Wnon-virtual-dtor in -Wall; enable if -Weffc++.
2892         * doc/invoke.texi (C++ Dialect Options): Document that
2893         -Wnon-virtual-dtor is no longer included in -Wall.
2894
2895 2006-01-21  Joseph S. Myers  <joseph@codesourcery.com>
2896
2897         * gcov.c (print_version), gcov-dump.c (print_version),
2898         mips-tdump.c (main), mips-tfile.c (main): Update copyright notice
2899         dates.
2900
2901 2006-01-21  Kenneth Zadeck <zadeck@naturalbridge.com>
2902
2903         * df-scan.c (problem_SCAN): Added NULL reset function.
2904         (df_scan_reset_blocks): Added code to call reset block function
2905         (df_bb_refs_delete) Fixed comment.
2906         (df_insn_refs_delete): Made tolerant of deleting non existent info
2907         for dataflow problems that need to be reset.
2908         * df-core.c (df_set_blocks): Ditto.
2909         * df.h (struct df_problem): Added reset_fun.
2910         * df-problems.c (problem_RU, problem_RD, problem_LR, problem_UR,
2911         problem_UREC, problem_CHAIN, problem_RI): Initialized reset_fun field.
2912         (df_chain_insn_reset, df_chain_bb_reset, df_chain_reset): New
2913         functions to clear out all references to def-use or use-def chains.
2914
2915 2006-01-21  Ben Elliston  <bje@au.ibm.com>
2916
2917         * varasm.c (assemble_real): Initialise data array.
2918
2919 2006-01-20  Paul Brook  <paul@codesourcery.com>
2920
2921         Merge from csl-arm-branch.
2922         2005-09-21  Kazu Hirata  <kazu@codesourcery.com>
2923         * config/arm/arm.md (movdi): Force operands[1] to a register
2924         if we have a non-register source.
2925         (*arm_movdi, *movdf_soft_insn): Require that one of the
2926         operands be a register.
2927         * config/arm/iwmmxt.md (*iwmmxt_arm_movdi): Likewise.
2928         * config/arm/vfp.md (*arm_movdi_vfp, *movdf_vfp): Likewise.
2929
2930 2006-01-20  DJ Delorie  <dj@redhat.com>
2931
2932         * varasm.c (initialize_constant_valid_p): Allow pointers
2933         initialized from integer constants of lesser precision.
2934         (output_constant): Allow non-int-sized pointer modes to be
2935         initialized from integer constants.
2936
2937 2006-01-20  Joseph S. Myers  <joseph@codesourcery.com>
2938
2939         PR libstdc++/25524
2940         * cppdefault.h (struct default_include): Add multilib flag.
2941         * cppdefault.c (cpp_include_defaults): Set it.
2942         * c.opt (-imultilib): New option.
2943         * c-opts.c (imultilib): New.
2944         (c_common_handle_option): Handle -imultilib.
2945         (c_common_post_options): Likewise.
2946         * c-incpath.c (add_standard_paths, register_include_chains):
2947         Likewise.
2948         * c-incpath.h (register_include_chains): Add extra parameter.
2949         * gcc.c (do_spec_1): Generate -imultilib option.
2950         (The Specs Language): Update %I description.
2951         (process_command): Update copyright notice.
2952         * doc/cppopts.texi (-imultilib): Document.
2953         * doc/invoke.texi (-imultilib): Include in option summary.
2954         (%I): Update specs documentation.
2955
2956 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
2957
2958         * loop-iv.c (iv_analysis_loop_init): Use df in more conservative way.
2959
2960 2006-01-20  Richard Sandiford  <richard@codesourcery.com>
2961
2962         * stmt.c (case_bit_test_cmp): Stabilize the sort using code
2963         label numbers.
2964
2965 2006-01-20  Richard Guenther  <rguenther@suse.de>
2966         Steven Bosscher <stevenb.gcc@gmail.com>
2967
2968         PR rtl-optimization/24626
2969         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Don't set
2970         EDGE_TRUE_VALUE if in RTL mode.
2971
2972         Revert
2973         2005-03-30 Mostafa Hagog <mustafa@il.ibm.com>
2974         * cfgrtl.c (rtl_verify_flow_info_1): Fix.
2975
2976 2006-01-20  Dirk Mueller  <dmueller@suse.com>
2977
2978         PR c++/5520
2979         * c-parser.c (c_parser_if_body): Use build_empty_stmt()
2980         instead of a special NOP marker.
2981         * c-typeck.c (c_finish_if_stmt): Remove obsoleted special
2982         NOP marker handling.
2983         * c-common.h (empty_body_warning): Add forward declaration.
2984         * c-common.c (empty_body_warning): Add (from c_finish_if_stmt).
2985         Now uses IS_EMPTY_STMT() instead of special NOP markers.
2986
2987 2006-01-20  Paul Brook  <paul@codesourcery.com>
2988
2989         * Makefile.in (lang_checks): Keep going if mkdir fails.
2990
2991 2006-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
2992
2993         * df-scan.c (df_scan_free_bb_info): Added basic block parameter to
2994         be able to clean out basic block when not necessary.
2995         (df_scan_free): Fixed to properly delete information if df is
2996         unused before calling df_finish.
2997         (df_scan_alloc, df_rescan_blocks, df_reg_chain_unlink,
2998         df_insn_create_insn_record, df_bb_refs_record): Fixed formatting
2999         or comment typos.
3000         (df_bb_refs_delete): New function.
3001         (df_refs_delete): Moved per block code to df_bb_refs_delete.
3002         * df-core.c (df_set_blocks): Added code to properly clean out
3003         unused blocks if they are not part of the blocks to consider.
3004         Added additional null check.
3005         (df_compact_blocks): Added basic block parameter to free_bb_fun to
3006         be able to clean out basic block when not necessary
3007         * df.h (df_free_bb_function): Ditto.
3008         (df_bb_refs_delete): New function.
3009         * df-problems.c (df_ru_free_bb_info, df_rd_set_bb_info,
3010         df_lr_set_bb_info, df_ur_free_bb_info, df_urec_free_bb_info):Added
3011         basic block parameter to be able to clean out basic block when not
3012         necessary.
3013         (df_ru_alloc, df_rd_alloc): Fixed dyslexic overflow test.
3014         (df_ru_free, df_rd_free, df_lr_free, df_ur_free, df_urec_free):
3015         Fixed to properly delete information if df is unused before
3016         calling df_finish.
3017
3018 2006-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
3019
3020         PR rtl-optimization/25799
3021         * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
3022         Corrected confluence operator to remove bits from op2 before oring
3023         with op1 rather than removing bits from op1.
3024         (df_ru_transfer_function): Corrected test on wrong bitmap which
3025         caused infinite loop.  Both of these problems were introduced in
3026         the dataflow rewrite.
3027
3028 2006-01-19  DJ Delorie  <dj@redhat.com>
3029
3030         * reload1.c (find_reload_regs): Note the details of reload
3031         failures in the dump file.
3032         (spill_failure): Likewise.
3033
3034 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
3035
3036         * loop-iv.c: Include df.h and hashtab.h.
3037         (enum iv_grd_result): New enum.
3038         (DF_REF_IV, DF_REF_IV_SET): New macros.
3039         (struct biv_entry): New.
3040         (df, bivs): New global variables.
3041         (struct insn_info, insn_info, last_def, bivs, max_insn_no, max_reg_no,
3042         assign_luids, mark_sets, kill_sets, mark_single_set, simple_set_p):
3043         Removed.
3044         (clear_iv_info, latch_dominating_def, record_iv, iv_analyze_expr,
3045         iv_analyze_result, iv_analyze_def, biv_hash, biv_eq,
3046         analyzed_for_bivness_p, record_biv): New functions.
3047         (iv_analysis_loop_init, iv_get_reaching_def, simple_reg_p,
3048         get_biv_step_1, get_biv_step, iv_analyze_biv, iv_analyze_op,
3049         iv_analyze, biv_p, iv_analysis_done): Work with df representation of
3050         UD chains.
3051         (iv_constant, iv_subreg, iv_extend, iv_mult, iv_shift): Do not set
3052         analysed.
3053         (iv_number_of_iterations): Use new interface to iv analysis.
3054         * loop-unroll.c: Do not include varray.h.
3055         (analyze_iv_to_split_insn): Use new interface to iv
3056         analysis.
3057         * loop-unswitch.c (may_unswitch_on): Ditto.
3058         * df.c (df_bitmaps_free): Only work for bbs for that structures are
3059         allocated.
3060         (df_bb_modify): Realloc tables to the new index.
3061         (df_find_use): New function.
3062         * df.h (df_find_use): Declare.
3063         * optabs.c (expand_unop): Make the mode of the REG_EQUAL node be
3064         outmode.
3065         * cfgloop.h (struct rtx_iv): Remove analysed field.
3066         (iv_get_reaching_def): Removed.
3067         (iv_analyze_result, iv_analyze_expr, iv_current_loop_df): Declare.
3068         * Makefile.in (loop-unroll.o): Remove VARRAY_H dependency.
3069         (loop-iv.o): Add df.h and hashtab.h dependency.
3070         * df-problems.c (df_ru_alloc, df_rd_alloc): Fix memory reallocation.
3071
3072 2006-01-20  Alan Modra  <amodra@bigpond.net.au>
3073
3074         PR target/25668
3075         * libgcc2.c (__floatdisf, __floatdidf): Don't use IBM Extended
3076         Double TFmode.
3077         (__floatundisf, __floatundidf): Likewise.
3078         * libgcc2.h (IS_IBM_EXTENDED): Define.
3079
3080 2006-01-19  DJ Delorie  <dj@redhat.com>
3081
3082         * config/m32c/m32c.h (REG_ALLOC_ORDER): Define.
3083
3084 2006-01-19  Paul Brook  <paul@codesourcery.com>
3085
3086         * gcc/config/arm/arm.c (arm_compute_func_type): Treat all functions
3087         as nothrow when unwinding tables are disabled.
3088
3089 2006-01-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3090
3091         PR testsuite/25171
3092         * c-decl.c (check_bitfield_type_and_width): Don't issue pedwarn "type
3093         of bit-field" when in system header.
3094
3095 2006-01-19  DJ Delorie  <dj@redhat.com>
3096
3097         * config/m32c/m32c.c (m32c_prepare_shift): Add code to deal with
3098         the 16 bit shift limit of the m16c.
3099
3100 2006-01-19  Andrew Pinski  <pinskia@physics.uc.edu>
3101
3102         PR target/22099
3103         * config/i386/i386.md (builtin_setjmp_receiver): Don't emit the label.
3104         * config/i386/i386.c (output_set_got): Output the label if we have one
3105         for the TARGET_DEEP_BRANCH_PREDICTION case.
3106
3107 2006-01-19  Jan Hubicka  <jh@suse.cz>
3108             H.J. Lu  <hongjiu.lu@intel.com>
3109             Evandro Menezes <evandro.menezes@amd.com>
3110
3111         * invoke.texi (generic): Document
3112         (i686) Update.
3113         * config.gcc: Make x86_64-* and i686-* default to generic tunning.
3114         * i386.h (TARGET_GENERIC32, TARGET_GENERIC64, TARGET_GENERIC,
3115         TARGET_USE_INCDEC, TARGET_PAD_RETURNS): New macros.
3116         (x86_use_incdec, x86_pad_returns): New variables
3117         (TARGET_CPU_DEFAULT_generic): New constant
3118         (TARGET_CPU_DEFAULT_NAMES): Add generic.
3119         (enum processor_type): Add generic32 and generic64.
3120         * i386.md (cpu attribute): Add generic32/generic64
3121         (movhi splitter): Behave sanely when both partial_reg_dependency and
3122         partial_reg_stall are set.
3123         (K8 splitters): Enable for generic as well.
3124         * predicates.md (incdec_operand): Use TARGET_INCDEC
3125         (aligned_operand): Avoid memory mismatch stalls.
3126         * athlon.md: Enable for generic64, new patterns for 128bit moves.
3127         * ppro.md: Enable for generic32
3128         * i386.c (generic64_cost, generic32_cost): New.
3129         (m_GENERIC32, m_GENERIC64, m_GENERIC): New macros.
3130         (x86_use_leave): Enable for generic64.  (x86_use_sahf,
3131         x86_ext_80387_constants): Enable for generic32.  (x86_push_memory,
3132         x86_movx, x86_unroll_strlen, x86_deep_branch, x86_use_simode_fiop,
3133         x86_use_cltd, x86_promote_QImode, x86_sub_esp_4, x86_sub_esp_8,
3134         x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves,
3135         x86_partial_reg_dependency, x86_memory_mismatch_stall,
3136         x86_accumulate_outgoing_args, x86_prologue_using_move,
3137         x86_epilogue_using_move, x86_arch_always_fancy_math_387,
3138         x86_sse_partial_reg_dependency, x86_four_jump_limit, x86_schedule):
3139         Enable for generic.
3140         (x86_use_incdec, x86_pad_returns): New.
3141         (override_options): Add generic32 and generic64, translate "generic"
3142         to generic32/generic64 and "i686" to "generic32", refuse
3143         "generic32"/"generic64" as arch target.
3144         (ix86_issue_rate, ix86_adjust_cost): Handle generic as athlon.
3145         (ix86_reorg): Honor PAD_RETURNS.
3146
3147 2006-01-19  Diego Novillo  <dnovillo@redhat.com>
3148
3149         * tree-pretty-print.c (dump_generic_node): Handle
3150         OMP_PARALLEL_FN, OMP_PARALLEL_DATA_ARG and OMP_RETURN_EXPR.
3151         * cgraph.c (cgraph_expand_queue): Rename from
3152         cgraph_analyze_queue.  Update all users.
3153         * cgraphunit.c (cgraph_assemble_pending_functions): Process
3154         cgraph_expand_queue.
3155         (cgraph_expand_all_functions): Likewise.
3156         (cgraph_finalize_pending_functions): Remove.  Update callers.
3157
3158         * tree.h (OMP_DIRECTIVE_P): Define.
3159         (OMP_PARALLEL_FN): Define.
3160         (OMP_PARALLEL_DATA_ARG): Define.
3161         (OMP_SECTIONS_SECTIONS): Define.
3162         * tree-pass.h (pass_expand_omp): Declare.
3163         * omp-low.c (struct omp_region): Declare.
3164         (struct omp_context): Remove fields 'parallel_type',
3165         'parallel_start_ix' and 'parallel_start_additional_args'.
3166         Update all users.
3167         (struct omp_for_data): Rename from struct expand_omp_for_data.
3168         (omp_regions): New static variable.
3169         (root_omp_region): New static variable.
3170         (find_omp_clause): Make static.
3171         (is_in_combined_parallel_ctx): Remove.
3172         (is_combined_parallel): New.
3173         (extract_omp_for_data): Move earlier in the file.
3174         (workshare_safe_to_combine_p): New.
3175         (get_ws_args_for): New.
3176         (determine_parallel_type): Move earlier in the file.
3177         (omp_copy_decl_2): Do not set DECL_CONTEXT of new local to the
3178         child function.
3179         (omp_copy_decl): Likewise.
3180         (create_omp_child_function): Likewise.
3181         (lookup_omp_region): New.
3182         (dump_omp_region): New.
3183         (debug_omp_region): New.
3184         (debug_all_omp_regions): New.
3185         (new_omp_region): New.
3186         (scan_omp_parallel): If parallel_nesting_level > 1, the
3187         directive is nested within another parallel directive.
3188         Set OMP_PARALLEL_FN.
3189         (scan_omp_for): Do not try to handle combined parallel+for
3190         cases.
3191         Remove FIXME comment.
3192         (scan_omp_nested): Remove.
3193         (scan_omp_1): Do not call scan_omp_nested when
3194         parallel_nesting_level is > 1.
3195         Do not change the DECL_CONTEXT of local variables found.
3196         (lookup_decl_in_outer_ctx): New.
3197         (lower_rec_input_clauses): Rename from expand_rec_input_clauses.
3198         (lower_lastprivate_clauses): Rename from expand_lastprivate_clauses.
3199         (lower_reduction_clauses): Rename from expand_reduction_clauses.
3200         (lower_copyprivate_clauses): Rename from expand_copyprivate_clauses.
3201         If CTX is nested, lookup VAR in the outer context when
3202         building copy assignment.
3203         (lower_send_clauses): Rename from expand_send_clauses.
3204         If CTX is nested, lookup VAR in the outer context when
3205         building copy assignments.
3206         (lower_send_shared_vars): Rename from expand_send_shared_vars.
3207         If CTX is nested, lookup VAR in the outer context when
3208         building copy assignments.
3209         (expand_parallel_call): Rename from build_parallel_call.
3210         Handle combined parallel+workshare cases.
3211         Re-implement to emit code into the CFG.
3212         (list2chain): New.
3213         (expand_omp_parallel): Re-implement to emit code into the CFG.
3214         Call move_sese_region_to_fn to outline the sub-graph
3215         containing the parallel region.
3216         (expand_omp_for_1): Remove.
3217         (expand_omp_for_generic): Re-implement to emit code into the
3218         CFG.
3219         (expand_omp_for_static_nochunk): Likewise.
3220         (expand_omp_for_static_chunk): Likewise.
3221         (expand_omp_for): Likewise.
3222         (expand_omp_sections): Likewise.
3223         (remove_exit_barriers): New.
3224         (expand_omp_synch): New.
3225         (expand_omp): New.
3226         (build_omp_regions_1): New.
3227         (build_omp_regions): New.
3228         (execute_expand_omp): New.
3229         (gate_expand_omp): New.
3230         (pass_expand_omp): Define.
3231         (lower_omp_sections): Rename from expand_omp_sections.
3232         Set OMP_SECTIONS_SECTIONS.
3233         (lower_omp_single_simple): Rename from expand_omp_single_simple.
3234         (lower_omp_single_copy): Rename from expand_omp_single_copy.
3235         (lower_omp_single): Rename from expand_omp_simple.
3236         (lower_omp_master): Rename from expand_omp_master.
3237         (lower_omp_ordered): Rename from expand_omp_ordered.
3238         (lower_omp_critical): Rename from expand_omp_critical.
3239         (lower_omp_for_lastprivate): Rename from expand_omp_for_lastprivate.
3240         (lower_omp_for): Re-implement.
3241         (lower_omp_parallel): Re-implement.
3242         (lower_regimplify): Rename from expand_regimplify.
3243         (lower_omp_1): Rename from expand_omp_1.
3244         If there are syntax errors in the program, replace every
3245         OpenMP directive with NOP.
3246         Call lower_omp_* instead of expand_omp_*.
3247         (lower_omp): Rename from expand_omp.
3248
3249         * tree-gimple.c (is_gimple_stmt): Handle OMP_RETURN_EXPR.
3250         * tree-gimple.h (enum omp_parallel_type): Remove.
3251         (gimple_boolify): Declare extern.
3252         (find_omp_clause, determine_parallel_type): Remove.
3253
3254         * gimple-low.c (lower_omp_directive): New.
3255         (lower_stmt): Call it.
3256         (record_vars_into): Move from ...
3257         (record_vars): ... here.
3258         Call record_vars_into with current_function_decl.
3259
3260         * gimplify.c (struct gimplify_ctx): Remove fields
3261         combined_pre_p and combined_ctxp.  Update users.
3262         (get_formal_tmp_var): Add documentation.
3263         (gimple_boolify): Make extern.
3264         (gimplify_expr_in_ctx): Remove.  Update callers.
3265         (gimplify_omp_parallel): Do not assume that OMP_PARALLEL_BODY
3266         will always be a BIND_EXPR.
3267         (gimplify_expr): Handle OMP_RETURN_EXPR.
3268         * tree.def (BLOCK): Remove documentation about BLOCK_TYPE_TAGS.
3269         (OMP_PARALLEL): Add 3 operands.
3270         (OMP_SECTIONS): Add 1 operand.
3271         (OMP_RETURN_EXPR): Define.
3272
3273         * tree-inline.c (estimate_num_insns_1): Handle OpenMP directives.
3274         (copy_tree_r): Restore TREE_CHAIN in OMP_CLAUSE_*.
3275         * tree-iterator.c (alloc_stmt_list): Assert that we are not
3276         creating a circular free list.
3277         (free_stmt_list): Assert that we are not freeing stmt_list_cache.
3278
3279         * tree-flow.h (move_sese_region_to_fn): Declare.
3280         (record_vars_into): Declare.
3281         * tree-cfg.c (make_omp_sections_edges): New.
3282         (make_exit_edges): Handle OMP_PARALLEL, OMP_FOR, OMP_SINGLE,
3283         OMP_MASTER, OMP_ORDERED, OMP_CRITICAL, OMP_RETURN_EXPR,
3284         OMP_SECTIONS and OMP_SECTION.
3285         (is_ctrl_altering_stmt): Return true for OMP_DIRECTIVE_P.
3286         (set_bb_for_stmt): Undo change to check currently_expanding_to_rtl.
3287         (verify_stmt): Do not handle OMP_DIRECTIVE_P.
3288         (gather_blocks_in_sese_region): New.
3289         (struct move_stmt_d): Declare.
3290         (move_stmt_r): New.
3291         (move_block_to_fn): New.
3292         (move_sese_region_to_fn): New.
3293
3294         * passes.c (init_optimization_passes): Schedule
3295         pass_expand_omp after pass_init_datastructures.
3296
3297         * tree-ssa-operands.c (get_expr_operands): Handle
3298         OMP_PARALLEL, OMP_SECTIONS, OMP_FOR, OMP_RETURN_EXPR,
3299         OMP_SINGLE, OMP_MASTER, OMP_ORDERED, OMP_CRITICAL.
3300
3301 2006-01-19  Jeff Law  <law@redhat.com>
3302
3303         * tree-vrp.c (extract_range_from_assert): Refine the result range
3304         if the variable referenced by the ASSERT_EXPR has a range and
3305         either the tentative result range or the previous range is a
3306         VR_ANTI_RANGE.
3307
3308 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
3309
3310         * c-decl.c (add_flexible_array_elts_to_size): Simplify vector accesses.
3311
3312 2006-01-19  Jan Hubicka  <jh@suse.cz>
3313
3314         * tree-vect-patterns.c (vect_pattern_recog_1): Prevent parse error.
3315
3316 2006-01-19  Paolo Bonzini  <bonzini@gnu.org>
3317
3318         * combine.c (try_combine): Do not worry about MEMs wrapped by USEs.
3319         (expand_compound_operation, expand_field_assignment): Fail if the
3320         bit lengths of an extract operation are out of range.
3321         (make_extraction): Compute wanted_inner_mode based on the position
3322         and length of the extraction.  Make it extraction_mode for non-constant
3323         positions, and do not modify offset in that case.  When generating a
3324         new MEM, use a mode that can hold the extraction while keeping correct
3325         alignment.  Remove code that supported MEMs wrapped by USEs.
3326         (simplify_shift_const_1, force_to_mode) <case USE>: Remove.
3327
3328 2006-01-19  Andreas Krebbel  <krebbel1@de.ibm.com>
3329
3330         * config/s390/s390.md ("Y", "y"): New mode attribute.
3331         ("*cmpdi_ccs", "*cmpsi_ccs", "*adddi3_imm_cc", "*adddi3_carry1_cc",
3332         "*adddi3_carry1_cconly", "*adddi3_carry2_cc", "*adddi3_carry2_cconly",
3333         "*adddi3_cc", "*adddi3_cconly", "*adddi3_cconly2", "*adddi3_64",
3334         "*addsi3_imm_cc", "*addsi3_carry1_cc",
3335         "*addsi3_carry1_cconly", "*addsi3_carry2_cc", "*addsi3_carr2_cconly",
3336         "*addsi3_cc", "*addsi3_cconly", "*addsi3_cconly2",
3337         "*subdi3_borrow_cc", "*subdi3_borrow_cconly", "*subdi3_cc",
3338         "*subdi3_cc2", "*subdi3_cconly", "*subdi3_cconly2", "*subdi3_64",
3339         "*subsi3_borrow_cc", "*subsi3_borrow_cconly", "*subsi3_cc",
3340         "*subsi3_cc2", "*subsi3_cconly", "*subsi3_cconly", "*subsi3_cconly2",
3341         "addsi3", "subsi3"): Insn patterns removed.
3342         ("*add<mode>3_carry1_cc", "*add<mode>3_carry1_cconly",
3343         "*add<mode>3_carry2_cc", "*add<mode>3_carry2_cconly", "*add<mode>3_cc",
3344         "*add<mode>3_cconly", "*add<mode>3_cconly2", "*add<mode>3_imm_cc",
3345         "*sub<mode>3_borrow_cc", "*sub<mode>3_borrow_cconly",
3346         "*sub<mode>3_cc", "*sub<mode>3_cc2", "*sub<mode>3_cconly",
3347         "*sub<mode>3_cconly2"): New insn patterns.
3348         ("addsi3", "subsi3"): New expanders.
3349
3350 2006-01-19  Dorit Nuzman  <dorit@il.ibm.com>
3351
3352         * Makefile.in (tree-vect-patterns.o): Add rule for new file.
3353         * tree-vect-analyze.c (vect_determine_vectorization_factor): Use
3354         existing STMT_VINFO_VECTYPE if available.
3355         (vect_mark_relevant): Add special handling for stmts that are
3356         marked as STMT_VINFO_IN_PATTERN_P.
3357         (vect_analyze_loop): Call vect_pattern_recog.
3358         * tree-vectorizer.c (new_stmt_vec_info): Initialize new fields.
3359         * tree-vectorizer.h (in_pattern_p, related_stmt): New fields in
3360         stmt_info.
3361         (STMT_VINFO_IN_PATTERN_P, STMT_VINFO_RELATED_STMT): New macros.
3362         (vect_recog_func_ptr): New function-pointer type.
3363         * tree-vect-patterns.c: New file.
3364         (vect_recog_widen_sum_pattern, vect_recog_widen_mult_pattern):
3365         (vect_recog_dot_prod_pattern, vect_pattern_recog):
3366         (vect_pattern_recog_1): New functions.
3367         (vect_pattern_recog_funcs): New array of function pointers.
3368
3369         * tree-vectorizer.h (ternary_op): New enum value.
3370         * tree-vect-transform.c (vect_create_epilog_for_reduction): Added
3371         declaration. Revised documentation. Removed redundant dump prints.
3372         Removed redundant argument. Added support for reduction patterns.
3373         (vectorizable_reduction): Added support for reduction patterns.
3374         (vect_transform_stmt): Added support for patterns.
3375
3376         * expr.c (expand_expr_real_1): Added case for DOT_PROD_EXPR.
3377         * genopinit.c (udot_prod_optab, sdot_prod_optab): Initialize.
3378         * optabs.c (optab_for_tree_code): Added case for DOT_PROD_EXPR.
3379         (expand_widen_pattern_expr): New function.
3380         (init_optabs): Initialize new optabs udot_prod_optab,
3381         sdot_prod_optab.
3382         * optabs.h (OTI_sdot_prod, OTI_udot_prod): New.
3383         (sdot_prod_optab, udot_prod_optab): Define new optabs.
3384         (expand_widen_pattern_expr): New function declaration.
3385         * tree.def (DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR): New
3386         tree-codes.
3387         * tree-inline.c (estimate_num_insns_1): Added cases for new
3388         tree-codes DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
3389         * tree-pretty-print.c (dump_generic_node): Likewise.
3390         (op_prio): Likewise.
3391         (op_symbol): Added cases for WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
3392         * tree-ssa-operands.c (get_expr_operands): Added case for
3393         DOT_PROD_EXPR.
3394         * tree-vect-patterns.c (widened_name_p): New function.
3395         (vect_recog_dot_prod_pattern): Added function implementation.
3396         * tree-vect-transform.c (get_initial_def_for_reduction): Added
3397         cases for DOT_PROD_EXPR, WIDEN_SUM_EXPR.
3398         * config/rs6000/altivec.md (udot_prod<mode>, sdot_prodv8hi): New.
3399         * config/i386/sse.md (sdot_prodv8hi, udot_prodv4si): New.
3400
3401         * expr.c (expand_expr_real_1): Added case for WIDEN_SUM_EXPR.
3402         * genopinit.c (widen_ssum_optab, widen_usum_optab): Initialize.
3403         * optabs.c (optab_for_tree_code): Added case for WIDEN_SUM_EXPR.
3404         (init_optabs): Initialize new optabs widen_ssum_optab,
3405         widen_usum_optab.
3406         * optabs.h (OTI_widen_ssum, OTI_widen_usum): New.
3407         (widen_ssum_optab, widen_usum_optab): Define new optabs.
3408         * tree-vect-generic.c: (expand_vector_operations_1): Check type of
3409         use instead of type of def.
3410         * tree-vect-patterns.c (vect_recog_widen_sum_pattern): Added
3411         function implementation.
3412         * config/rs6000/altivec.md (widen_usum<mode>, widen_ssumv16qi,
3413         widen_ssumv8hi): New.
3414
3415         * doc/tm.texi (ssum_widen, usum_widen, sdot_prod, udot_prod): New
3416         patterns.
3417
3418 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
3419
3420         PR c/25805
3421         * c-decl.c (add_flexible_array_elts_to_size): New function.
3422         (finish_decl): Use it.
3423
3424 2006-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
3425
3426         * diagnostic.h: Include options.h.
3427         * config/rs6000/x-darwin (host-ppc-darwin.o): Correct the
3428         dependancies for diagnostic.h.
3429         * Makefile.in (DIAGNOSTIC_H): Add options.h.
3430
3431 2006-01-16  Daniel Berlin  <dberlin@dberlin.org>
3432
3433         * tree-ssa-operands.h (ssa_call_clobbered_cache_valid): Remove.
3434         (ssa_ro_call_cache_valid): Ditto.
3435         * tree-ssa-alias.c (sort_tags_by_id): New function.
3436         (init_transitive_clobber_worklist): Ditto.
3437         (add_to_worklist): Ditto.
3438         (mark_aliases_call_clobbered): Ditto.
3439         (compute_tag_properties): Ditto.
3440         (set_initial_properties): Ditto.
3441         (compute_call_clobbered): Ditto.
3442         (compute_may_aliases):  Call compute_call_clobbered and grouping.
3443         (compute_flow_sensitive_aliasing): Remove clobbering related code.
3444         (compute_flow_insensitive_aliasing): Grouping now happens in our
3445         caller.
3446         (setup_pointers_and_addressables): Remove clobbering related code.
3447         (add_may_alias): Ditto.
3448         (replace_may_alias): Ditto.
3449         (get_nmt_for): Ditto.
3450         (create_global_var):
3451         (is_escape_site): Return an escape_type enumeration.
3452         * tree-flow-inline.h (is_call_clobbered):  Global var does not
3453         imply call clobbered.
3454         (mark_call_clobbered): Take a reason for marking this. Remove
3455         marking of globalness, and cache invalidation.
3456         (clear_call_clobbered): Remove cache invalidation code.
3457         * tree-dfa.c (dump_variable): If details is on, dump the reason
3458         for escaping.
3459         * tree-outof-ssa.c (create_temp): Copy escape mask from original
3460         variable.
3461         * tree-flow.h (struct ptr_info_def): Add escape mask member.
3462         (struct var_ann_d): Ditto.
3463         (enum escape_type): New.
3464         (mark_call_clobbered): Adjust prototype.
3465         * tree-ssa-structalias.c (update_alias_info): Unmodifiable vars
3466         are never call clobbered.
3467         Record reasons for escaping.
3468         * tree-ssa-structalias.h (is_escape_site): Update prototype.
3469         * tree-ssa-operands.c (ssa_call_clobbered_cache_valid): Remove.
3470         (ssa_ro_call_cache_valid): Ditto.
3471         (clobbered_v_may_defs): Ditto.
3472         (clobbered_vuses): Ditto.
3473         (ro_call_vuses): Ditto.
3474         (clobber_stats): New.
3475         (init_ssa_operands): Zero out clobber stats.
3476         (fini_ssa_operands): Print out clobber stats.
3477         (get_call_expr_operands): Pass callee fndecl to
3478         add_call_read_ops).
3479         (add_call_clobber_ops): Remove use of cache.
3480         Add use of PURE_CONST information.
3481         (add_call_read_ops): Remove use of cache.
3482         Add use of static not_read information.
3483
3484 2006-01-18  Alexandre Oliva  <aoliva@redhat.com>
3485
3486         Introduce TLS descriptors for i386 and x86_64.
3487         * config/i386/i386.h (TARGET_GNU2_TLS): New macro.
3488         (TARGET_ANY_GNU_TLS): New macro.
3489         (enum tls_dialect): Added TLS_DIALECT_GNU2.
3490         (struct machine_function): Add tls_descriptor_call_expanded_p.
3491         (ix86_tls_descriptor_calls_expande_in_cfun): New macro.
3492         (ix86_current_function_calls_tls_descriptor): Likewise.
3493         * config/i386/i386.c (ix86_tls_dialect): Fix typo in comment.
3494         (override_options): Introduce gnu2 tls dialect.
3495         (ix86_frame_pointer_required): Functions containing TLSCALLs are
3496         not leaves.
3497         (ix86_select_alt_pic_regnum, ix86_compute_frame_layout):
3498         Likewise.
3499         (legitimize_tls_address): Adjust logic for GNU2 TLS.
3500         (ix86_init_machine_status): Initialize new field.
3501         (ix86_tls_get_addr): Use TARGET_ANY_GNU_TLS.
3502         (ix86_tls_module_base): New.
3503         * config/i386/i386-protos.h (ix86_tls_module_base): Declare it.
3504         * config/i386/i386.md (UNSPEC_TLSDESC): New constant.
3505         (tls_global_dynamic_32, tls_global_dynamic_64): Handle GNU2 TLS.
3506         (tls_local_dynamic_base_32, tls_local_dynamic_base_64): Likewise.
3507         (tls_dynamic_gnu2_32, *tls_dynamic_lea_32): New patterns.
3508         (*tls_dynamic_call_32, *tls_dynamic_gnu2_combine_32): Likewise.
3509         (tls_dynamic_gnu2_64, *tls_dynamic_lea_64): Likewise.
3510         (*tls_dynamic_call_64, *tls_dynamic_gnu2_combine_64): Likewise.
3511         * config/i386/predicates.md (tls_modbase_operand): New.
3512         (tp_or_register_operand): New.
3513
3514 2006-01-18  Daniel Berlin  <dberlin@dberlin.org>
3515
3516         * ipa-reference.c (check_operand):  Allow FUNCTION_DECL.
3517         (look_for_address_of): Ditto.
3518         (ipa_init): Walk the function decls.
3519         (static_execute): Don't set readonly on FUNCTION_DECL's.
3520
3521 2006-01-18  Roger Sayle  <roger@eyesopen.com>
3522
3523         * config/i386/i386.md (shift spliter): Fix a a typo in the splitter
3524         for shifts where the source and destination registers are different.
3525
3526 2006-01-18  Paul Brook  <paul@codesourcery.com>
3527
3528         Merge from csl-arm-branch.
3529         2005-03-14  Julian Brown  <julian@codesourcery.com>
3530         * config/arm/lib1funcs.asm (ashldi3): Don't define on SymbianOS.
3531         (aeabi_llsl): Likewise.
3532         (ashrdi3): Likewise.
3533         (aeabi_lasr): Likewise.
3534         (lshrdi3): Likewise.
3535         (aeabi_llsr): Likewise.
3536         2005-03-10  Julian Brown  <julian@codesourcery.com>
3537         * config.gcc: Disable shared libgcc for SymbianOS.
3538         * config/arm/t-symbian (LIB2ADDEH): Include config/arm/pr-support.c.
3539
3540 2006-01-18  DJ Delorie  <dj@redhat.com>
3541
3542         * c-pragma.c (handle_pragma_diagnostic): New.
3543         (init_pragma): Register it.
3544         * doc/extend.texi: Document it.
3545
3546         * diagnostic.def: Add DK_UNSPECIFIED and DK_IGNORED.
3547         * diagnostic.h (diagnostic_classify_diagnostic): Declare.
3548         (diagnostic_context): Add classify_diagnostic[].
3549         * diagnostic.c (diagnostic_count_diagnostic): Don't count warnings
3550         as errors if they're overridden to DK_WARNING.
3551         (diagnostic_initialize): Initialize classify_diagnostic[].
3552         (diagnostic_set_kind_override): New.
3553         (diagnostic_report_diagnostic): Check for kind changes.
3554         * opts.c (common_handle_option): Take lang_mask.  Update callers.
3555         Handle OPT_Werror_.
3556         * common.opt (Werror=): New.
3557         * doc/invoke.texi: Document -Werror=*
3558
3559 2006-01-18  Jeff Law  <law@redhat.com>
3560
3561         * tree-vrp.c (test_for_singularity): Correct test for new
3562         min limit.  Use operand_equal_p rather than pointer equality
3563         for testing if new min/max values are equal.
3564
3565         * tree-ssa-propagate.c (substitute_and_fold): Delay simplifications
3566         using range information until after propagation and folding.
3567
3568 2006-01-18  Richard Henderson  <rth@redhat.com>
3569             Aldy Hernandez  <aldyh@redhat.com>
3570             Jakub Jelinek  <jakub@redhat.com>
3571             Diego Novillo  <dnovillo@redhat.com>
3572
3573         * omp-low.c: New file.
3574         * c-omp.c: New file.
3575
3576 2006-01-18  Richard Henderson  <rth@redhat.com>
3577             Jakub Jelinek  <jakub@redhat.com>
3578             Diego Novillo  <dnovillo@redhat.com>
3579
3580         * doc/invoke.texi: Document -fopenmp.
3581         * tree-dump.h (debug_function): Declare.
3582         * hooks.c (hook_bool_tree_bool_false): New function.
3583         (hook_tree_tree_null): Remove.
3584         (hook_tree_tree_tree_null): New.
3585         * hooks.h: Update to match.
3586         * tree-pretty-print.c (debug_tree_chain): New.
3587         (print_generic_expr): Handle TDF_CHAIN.
3588         (dump_generic_node): Handle BLOCK.
3589         Do not abort with incomplete SWITCH_EXPRs.
3590         Do not dump body of an OpenMP directive if TDF_SLIM is given.
3591         <case OMP_PARALLEL, OMP_FOR, OMP_SECTIONS>: Don't
3592         print space after directive name.
3593         <OMP_FOR>: Handle printing OMP_FOR_PRE_BODY.
3594         Handle OMP_MASTER and OMP_ORDERED.
3595         Handle printing of OMP_BODY just in one place, goto
3596         dump_omp_body in the rest of OMP_* nodes that have
3597         OMP_BODY.
3598         Don't handle clause nodes here.  Update omp statements to
3599         use dump_omp_clauses.
3600         Handle OMP_SINGLE, OMP_SECTIONS, OMP_SECTION,
3601         OMP_CLAUSE_ORDERED, OMP_CLAUSE_SCHEDULE, OMP_ATOMIC,
3602         OMP_CRITICAL, OMP_CLAUSE_NOWAIT, GOMP_CLAUSE_IF,
3603         GOMP_CLAUSE_NUM_THREADS, GOMP_FOR, GOMP_CLAUSE_SHARED,
3604         GOMP_CLAUSE_FIRSTPRIVATE, GOMP_CLAUSE_LASTPRIVATE,
3605         GOMP_CLAUSE_COPYIN and GOMP_CLAUSE_COPYPRIVATE.
3606         Adjust output for GOMP_PARALLEL.
3607         (dump_omp_clauses): New.
3608         (print_declaration): Dump DECL_VALUE_EXPR.
3609         (op_symbol_1): Split out of op_symbol.
3610         (dumping_stmts): Remove.  Update all users.
3611         * cgraph.c (cgraph_analyze_queue): New.
3612         (cgraph_add_new_function): New.
3613         * cgraph.h (cgraph_analyze_queue): Declare.
3614         (cgraph_add_new_function): Declare.
3615         (cgraph_lower_function): Remove.
3616         * tree.c (walk_tree): Walk OMP_CLAUSE_CHAIN of OMP_CLAUSE_*
3617         nodes.  Use switch for all nodes, handle most of IS_EXPR_CODE_CLASS
3618         and TYPE_P nodes in its default clause.
3619         (empty_body_p): New.
3620         (tree_range_check_failed): New.
3621         (build5_stat): New.
3622         * tree.h (OMP_CLAUSE_REDUCTION_INIT,
3623         OMP_CLAUSE_REDUCTION_MERGE,
3624         OMP_CLAUSE_REDUCTION_PLACEHOLDER,
3625         OMP_CLAUSE_PRIVATE_DEBUG,
3626         OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE, OMP_FOR_PRE_BODY,
3627         OMP_MASTER_BODY, OMP_ORDERED_BODY OMP_BODY,
3628         OMP_CLAUSES, OMP_CLAUSE_DECL, OMP_CLAUSE_DEFAULT_KIND,
3629         OMP_CLAUSE_CHAIN, OMP_CLAUSE_OUTER_DECL,
3630         OMP_CLAUSE_INNER_DECL, OMP_CLAUSE_NUM_THREADS_EXPR,
3631         OMP_CLAUSE_IF_EXPR, OMP_CLAUSE_SCHEDULE_CHUNK_EXPR,
3632         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE. OMP_PARALLEL_VAR_INIT,
3633         OMP_PARALLEL_VAR_REDUC, OMP_FOR_VAR_INIT,
3634         OMP_FOR_VAR_LAST, OMP_FOR_VAR_REDUC,
3635         OMP_SECTIONS_VAR_INIT, OMP_SECTIONS_VAR_LAST,
3636         OMP_SECTIONS_VAR_REDUC, OMP_CLAUSE_REDUCTION_CODE
3637         OMP_SINGLE_CLAUSES, OMP_SINGLE_BODY,
3638         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE, OMP_SECTION_BODY,
3639         OMP_CRITICAL_NAME, OMP_CRITICAL_BODY): New.
3640         (TREE_RANGE_CHECK): New.
3641         (empty_body_p): Declare.
3642         (enum omp_clause_default_kind): New.
3643         (build_string_literal): Declare.
3644         (enum omp_clause_schedule_kind, OMP_CLAUSE_SCHEDULE_KIND): New.
3645         (build5_stat, build5): Declare.
3646         * tree-pass.h (TDF_CHAIN): Define.
3647         * tree-pass.h (PROP_gimple_lomp): Define.
3648         (pass_lower_omp): Declare.
3649         * diagnostic.h (debug_tree_chain): Declare.
3650         * builtins.c (get_builtin_sync_mode): Use 0 as last argument to
3651         mode_for_size.
3652         (expand_builtin): Handle sync BUILT_IN_*_16 builtins.
3653         * builtins.c (build_string_literal): Make extern.
3654         * gcc.c (include_spec_function): New.
3655         (static_spec_functions): Add it.
3656         (main): Move load of libgomp.spec ...
3657         (LINK_COMMAND_SPEC): ... here.
3658         (link_gomp_spec): New.
3659         (static_specs): Include it.
3660         (LINK_COMMAND_SPEC): Add link_gomp.
3661         (GOMP_SELF_SPECS): New.
3662         (driver_self_specs): Include it.
3663         (switch_matches): Don't mark inline.
3664         (main): Load libgomp.spec.
3665         * tree-gimple.c (is_gimple_stmt): True for OMP_MASTER,
3666         OMP_ORDERED, OMP_CRITICAL, OMP_SECTIONS, OMP_SECTION,
3667         and OMP_SINGLE, OMP_FOR and OMP_PARALLEL.
3668         * tree-gimple.h (enum omp_parallel): Declare.
3669         (determine_parallel_type): Declare.
3670         (omp_firstprivatize_variable): Declare.
3671         (omp_reduction_init): Declare.
3672         (diagnose_omp_structured_block_errors): Declare.
3673         (struct walk_stmt_info): Add want_return_expr.
3674         (struct walk_stmt_info): Add want_bind_expr, want_locations.
3675         (find_omp_clause): Declare.
3676         (insert_field_into_struct): Declare.
3677         (struct walk_stmt_info): Move from tree-nested.c
3678         (walk_stmts): Declare.
3679         * c-cppbuiltin.c (c_cpp_builtins): If -fopenmp, #define _OPENMP
3680         to 200505.
3681         * cgraphunit.c (cgraph_lower_function): Make static.
3682         (cgraph_finalize_pending_functions): New.
3683         (cgraph_finalize_function): Call it.
3684         (cgraph_finalize_compilation_unit): Likewise.
3685         * builtin-types.def (BT_I16, BT_FN_I16_VPTR_I16,
3686         BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
3687         (BT_FN_UINT_UINT): New.
3688         (DEF_FUNCTION_TYPE_6, DEF_FUNCTION_TYPE_7,
3689         DEF_FUNCTION_TYPE_VAR_4): Document.
3690         (BT_PTR_LONG, BT_PTR_PTR, BT_FN_BOOL, BT_FN_INT,
3691         BT_FN_VOID_PTRPTR, BT_PTR_FN_VOID_PTR,
3692         BT_FN_BOOL_LONGPTR_LONGPTR, BT_FN_VOID_OMPFN_PTR_UINT,
3693         BT_FN_VOID_OMPFN_PTR_UINT_UINT,
3694         BT_FN_BOOL_LONG_LONG_LONG_LONGPTR_LONGPTR,
3695         BT_FN_BOOL_LONG_LONG_LONG_LONG_LONGPTR_LONGPTR,
3696         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG,
3697         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG): New.
3698         * builtins.def: Update DEF_BUILTIN comment to include COND argument.
3699         Move all DEF_SYNC_BUILTIN () and DEF_GOMP_BUILTIN () builtins
3700         into separate files.
3701         (DEF_GOMP_BUILTIN): New.
3702         (BUILT_IN_OMP_GET_THREAD_NUM, BUILT_IN_GOMP_BARRIER,
3703         BUILT_IN_GOMP_CRITICAL_START, BUILT_IN_GOMP_CRITICAL_END,
3704         BUILT_IN_GOMP_CRITICAL_NAME_START, BUILT_IN_GOMP_CRITICAL_NAME_END,
3705         BUILT_IN_GOMP_LOOP_STATIC_START, BUILT_IN_GOMP_LOOP_DYNAMIC_START,
3706         BUILT_IN_GOMP_LOOP_GUIDED_START, BUILT_IN_GOMP_LOOP_RUNTIME_START,
3707         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_START,
3708         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_START,
3709         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_START,
3710         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_START,
3711         BUILT_IN_GOMP_LOOP_STATIC_NEXT, BUILT_IN_GOMP_LOOP_DYNAMIC_NEXT,
3712         BUILT_IN_GOMP_LOOP_GUIDED_NEXT, BUILT_IN_GOMP_LOOP_RUNTIME_NEXT,
3713         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_NEXT,
3714         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_NEXT,
3715         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_NEXT,
3716         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_NEXT,
3717         BUILT_IN_GOMP_PARALLEL_LOOP_STATIC_START,
3718         BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC_START,
3719         BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED_START,
3720         BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME_START,
3721         BUILT_IN_GOMP_LOOP_END, BUILT_IN_GOMP_LOOP_END_NOWAIT,
3722         BUILT_IN_GOMP_ORDERED_START, BUILT_IN_GOMP_ORDERED_END,
3723         BUILT_IN_GOMP_PARALLEL_START, BUILT_IN_GOMP_PARALLEL_END,
3724         BUILT_IN_GOMP_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_NEXT,
3725         BUILT_IN_GOMP_PARALLEL_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_END,
3726         BUILT_IN_GOMP_SECTIONS_END_NOWAIT, BUILT_IN_GOMP_SINGLE_START,
3727         BUILT_IN_GOMP_SINGLE_COPY_START, BUILT_IN_GOMP_SINGLE_COPY_END): New.
3728         * sync-builtins.def: New file, moved from builtins.def.
3729         * omp-builtins.def: New file, moved from builtins.def.
3730         * c-objc-common.h (LANG_HOOKS_OMP_PREDETERMINED_SHARING): Redefine.
3731         * gimple-low.c (lower_function_body): Clear data.
3732         (lower_stmt): Do not handle COMPOUND_EXPR.
3733         Remove call to print_node_brief.
3734         * c-tree.h (c_finish_omp_clauses): New prototype.
3735         (C_DECL_THREADPRIVATE_P): Define.
3736         (lookup_name_no_remap, c_omp_remap_private): Remove
3737         (c_begin_omp_parallel, c_finish_omp_parallel): Update.
3738         (check_for_loop_decls): Update decl.
3739         (lookup_name_no_remap, c_omp_remap_private): Declare.
3740         (build_indirect_ref, build_modify_expr, pushdecl,
3741         pushdecl_top_level): Move to c-common.h.
3742         * dwarf2out.c (loc_descriptor_from_tree_1): Don't set unsignedp
3743         before the switch, but just in the 2 places that need it.
3744         * c-decl.c (diagnose_mismatched_decls): Do not check for
3745         mismatched thread-local attributes when OLDDECL is marked
3746         threadprivate and NEWDECL has no thread-local attributes.
3747         (merge_decls): Merge C_DECL_THREADPRIVATE_P.
3748         (c_gimple_diagnostics_recursively): Rename from
3749         c_warn_unused_result_recursively.  Invoke
3750         diagnose_omp_structured_block_errors.
3751         (check_for_loop_decls): Return a singular decl found.
3752         * langhooks.c (lhd_omp_predetermined_sharing): Return
3753         OMP_CLAUSE_DEFAULT_SHARED for DECL_ARTIFICIAL decls.
3754         (lhd_omp_firstprivatize_type_sizes): New.
3755         (lhd_omp_assignment): New.
3756         (lhd_omp_predetermined_sharing): New.
3757         * langhooks.h (struct gimplify_omp_ctx): Forward declare.
3758         (struct lang_hooks_for_types): Add
3759         omp_firstprivatize_type_sizes, omp_privatize_by_reference,
3760         omp_predetermined_sharing, omp_disregard_value_expr,
3761         omp_private_debug_clause, omp_clause_default_ctor,
3762         omp_clause_copy_ctor, omp_clause_assign_op, omp_clause_dtor.
3763         (c_finish_omp_clauses): New.
3764         (c_finish_bc_stmt): Diagnose break within omp for.
3765         (c_begin_omp_parallel, c_finish_omp_parallel): New.
3766         (build_unary_op): Return error_mark after reporting
3767         a readonly_error.
3768         (build_modify_expr): Likewise.
3769         * gimplify.c: Include optabs.h and pointer-set.h.
3770         (enum gimplify_omp_var_data): Declare.
3771         (struct gimplify_omp_ctx): Declare.
3772         (struct gimplify_ctx): Add fields prev_context, combined_pre_p
3773         and combined_ctxp.
3774         (gimplify_ctxp, gimplify_omp_ctxp): New local variables.
3775         (push_gimplify_context, pop_gimplify_context): Allow nesting.
3776         (splay_tree_compare_decl_uid): New.
3777         (new_omp_context): New.
3778         (delete_omp_context): New.
3779         (gimple_add_tmp_var): Call omp_add_variable.
3780         (gimplify_bind_expr): Likewise.
3781         (gimplify_var_or_parm_decl): If omp_notice_variable returned
3782         true, disregard DECL_VALUE_EXPR on the decl if any.
3783         (gimplify_expr_in_ctx): New.
3784         (omp_firstprivatize_variable, omp_firstprivatize_type_sizes
3785         omp_add_variable, omp_notice_variable, omp_is_private
3786         gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses_1
3787         gimplify_adjust_omp_clauses, gimplify_omp_parallel
3788         gimplify_omp_for, gimplify_omp_workshare, goa_lhs_expr_p
3789         gimplify_omp_atomic_fetch_op, goa_stabilize_expr
3790         gimplify_omp_atomic_pipeline, gimplify_omp_atomic_mutex
3791         gimplify_omp_atomic): New.
3792         (gimplify_expr): Handle OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
3793         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
3794         OMP_CRITICAL and OMP_ATOMIC.
3795         (gimplify_body): Verify gimplify_ctxp is empty after gimplification.
3796         * c-pragma.h (enum pragma_kind): Add
3797         PRAGMA_OMP_ATOMIC, PRAGMA_OMP_BARRIER,
3798         PRAGMA_OMP_CRITICAL, PRAGMA_OMP_FLUSH, PRAGMA_OMP_FOR,
3799         PRAGMA_OMP_MASTER, PRAGMA_OMP_ORDERED,
3800         PRAGMA_OMP_PARALLEL, PRAGMA_OMP_PARALLEL_FOR,
3801         PRAGMA_OMP_PARALLEL_SECTIONS, PRAGMA_OMP_SECTION,
3802         PRAGMA_OMP_SECTIONS, PRAGMA_OMP_SINGLE,
3803         PRAGMA_OMP_THREADPRIVATE.
3804         * tree.def (OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
3805         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
3806         OMP_CRITICAL, OMP_ATOMIC, OMP_CLAUSE_PRIVATE,
3807         OMP_CLAUSE_SHARED, OMP_CLAUSE_FIRSTPRIVATE,
3808         OMP_CLAUSE_LASTPRIVATE, OMP_CLAUSE_REDUCTION,
3809         OMP_CLAUSE_COPYIN, OMP_CLAUSE_COPYPRIVATE,
3810         OMP_CLAUSE_IF, OMP_CLAUSE_NUM_THREADS,
3811         OMP_CLAUSE_SCHEDULE, OMP_CLAUSE_NOWAIT,
3812         OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Define.
3813         * print-tree.c (print_node): Dump DECL_VALUE_EXPR.
3814         * tree-ssa-dce.c (find_control_dependence): Do not assume that
3815         ENTRY_BLOCK_PTR->next_bb == single_succ (ENTRY_BLOCK_PTR).
3816         * tree-nested.c (convert_call_expr): Call walk_body on OMP_BODY for
3817         OpenMP directives.
3818         (struct nesting_info): Add field_map,
3819         suppress_expansion, debug_var_chain.
3820         (create_nesting_tree): Initialize them.
3821         (lookup_field_for_decl): Use field_map.
3822         (get_nonlocal_debug_decl, get_local_debug_decl): New.
3823         (convert_local_omp_clauses): New.
3824         (finalize_nesting_tree_1): Add debug_var_chain to toplevel block.
3825         (walk_body): Split out of walk_function.
3826         (convert_nonlocal_omp_clauses, convert_local_omp_clauses): New.
3827         (convert_nonlocal_reference): Handle omp statements.
3828         (convert_local_reference): Likewise.
3829         (unnest_nesting_tree_1): Split out of finalize_nesting_tree_1.
3830         (unnest_nesting_tree): New.
3831         (lower_nested_functions): Call it.
3832         (insert_field_into_struct): Make extern.
3833         (struct walk_stmt_info): Move to tree-gimple.h.
3834         (walk_stmts): Make extern.
3835         * omp-builtins.def: New file.
3836         * tree-iterator.c (expr_only): Clarify comment.
3837         * c-common.h (pushdecl_top_level, pushdecl,
3838         build_modify_expr, build_indirect_ref,
3839         c_finish_omp_master, c_finish_omp_critical,
3840         c_finish_omp_ordered, c_finish_omp_barrier,
3841         c_finish_omp_atomic, c_finish_omp_flush,
3842         c_finish_omp_for, c_split_parallel_clauses,
3843         omp_clause_default_kind, c_omp_sharing_predetermined,
3844         c_omp_remap_decl): Declare.
3845         * Makefile.in (BUILTINS_DEF): Add omp-builtins.def.
3846         (OBJS-common): Add omp-low.o.
3847         (c-omp.o, omp-low.o): Add.
3848         (gimplify.o): Add dependency on $(OPTABS_H).
3849         (GTFILES): Add omp-low.c.
3850         (gt-stringpool.h): Add.
3851         * tree-cfg.c (set_bb_for_stmt): Do not update the
3852         block-to-labels map if we are currently expanding to RTL.
3853         (tree_node_can_be_shared): Remove unnecessary CONSTANT_CLASS_P
3854         checks.
3855         Handle IDENTIFIER_NODE.
3856         (tree_verify_flow_info): Do not ICE when emitting error
3857         messages about invalid labels.
3858         (dump_function_to_file): Reset CFUN before emitting the body
3859         of the function.
3860         (debug_function): New.
3861         * passes.c (init_optimization_passes): Schedule
3862         pass_lower_omp.
3863         * langhooks-def.h (lhd_omp_predetermined_sharing,
3864         lhd_omp_assignment, lhd_omp_firstprivatize_type_sizes):
3865         Declare.
3866         (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
3867         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Use it.
3868         (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE,
3869         LANG_HOOKS_OMP_PREDETERMINED_SHARING,
3870         LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
3871         LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE,
3872         LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR,
3873         LANG_HOOKS_OMP_CLAUSE_COPY_CTOR,
3874         LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP,
3875         LANG_HOOKS_OMP_CLAUSE_DTOR): Define.
3876         (LANG_HOOK_DECLS): Use them.
3877
3878 2006-01-18  Dmitry Kurochkin <dmitry.kurochkin@gmail.com>
3879             Richard Henderson  <rth@redhat.com>
3880             Jakub Jelinek  <jakub@redhat.com>
3881             Diego Novillo  <dnovillo@redhat.com>
3882
3883         * c-parser.c (pragma_omp_clause): Define.
3884         (c_parser_declaration_or_fndef): Document OpenMP syntax.
3885         (c_parser_compound_statement): Likewise.
3886         (c_parser_statement): Likewise.
3887         (c_parser_pragma): Handle omp pragmas.
3888         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
3889         OMP_PARALLEL_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK): Define.
3890         (c_parser_omp_clause_name, check_no_duplicate_clause,
3891         c_parser_omp_variable_list,
3892         c_parser_omp_var_list_parens, c_parser_omp_clause_copyin,
3893         c_parser_omp_clause_copyprivate,
3894         c_parser_omp_clause_default,
3895         c_parser_omp_clause_firstprivate, c_parser_omp_clause_if,
3896         c_parser_omp_clause_lastprivate,
3897         c_parser_omp_clause_nowait,
3898         c_parser_omp_clause_num_threads,
3899         c_parser_omp_clause_ordered, c_parser_omp_clause_private,
3900         c_parser_omp_clause_reduction,
3901         c_parser_omp_clause_schedule, c_parser_omp_clause_shared,
3902         c_parser_omp_all_clauses, c_parser_omp_structured_block,
3903         c_parser_omp_atomic, c_parser_omp_barrier,
3904         c_parser_omp_critical, c_parser_omp_flush,
3905         c_parser_omp_for_loop, c_parser_omp_for,
3906         c_parser_omp_master, c_parser_omp_ordered,
3907         c_parser_omp_sections_scope, c_parser_omp_sections,
3908         c_parser_omp_parallel, c_parser_omp_single,
3909         c_parser_omp_construct, c_parser_omp_threadprivate): New.
3910         * c-pragma.c (init_pragma): Do omp pragma registration here.
3911         * c.opt (fopenmp): New flag.
3912
3913 2006-01-18  Eric Christopher  <echristo@apple.com>
3914
3915         * gcc.c (GOMP_SELF_SPECS): Bracket in #ifndef/#endif.
3916         * config/darwin.h (GOMP_SELF_SPECS): Define.
3917
3918 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
3919
3920         * rtl.h: Remove the prototype for reg_alloc.
3921
3922 2006-01-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3923
3924         PR target/25731
3925         * config.gcc (hppa*-*-linux*, hppa[12]*-*-hpux10*, hppa*64*-*-hpux11*,
3926         hppa[12]*-*-hpux11*): Override default shared libgcc version for both
3927         sjlj and dwarf2 exception handling.
3928         * pa/t-hpux-shlib (SHLIB_SOVERSION): New make variable.
3929         Rework to allow overriding SHLIB_EXT and SHLIB_SOVERSION.
3930         * pa/pa.c (function_value): Treat complex and vector types as
3931         aggregates.
3932         (function_arg): Likewise.  Only pass scalar floats in the floating
3933         point argument registers.
3934         * pa/t-slibgcc-dwarf-ver: New file.
3935         * pa/t-slibgcc-sjlj-ver: New file.
3936         * pa/t-slibgcc-elf-ver: Delete file.
3937
3938 2006-01-19  Alan Modra  <amodra@bigpond.net.au>
3939
3940         * config/rs6000/rs6000.c (rs6000_assemble_integer): Correct
3941         unlikely_test_section_p test.
3942
3943 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
3944
3945         * mode-switching.c (optimize_mode_switching): Make it static.
3946         * basic-block.h: Remove the prototype for
3947         optimize_mode_switching.
3948
3949         * modulo-sched.c (sms_schedule): Make it static.
3950         * rtl.h: Remove the prototype for sms_schedule.
3951
3952         * postreload-gcse.c (gcse_after_reload_main): Make it static.
3953         * rtl.h: Remove the prototype for gcse_after_reload_main.
3954
3955         * reg-stack.c (reg_to_stack): Make it static.
3956         * rtl.h: Remove the prototype for reg_to_stack.
3957
3958         * regrename.c (regrename_optimize, copyprop_hardreg_forward):
3959         Make them static.
3960         * rtl.h: Remove the prototypes for regrename_optimize and
3961         copyprop_hardreg_forward.
3962
3963 2006-01-18  Eric Botcazou  <ebotcazou@adacore.com>
3964
3965         * config/alpha/alpha.c (alpha_split_tfmode_pair): Rename into
3966         alpha_split_tmode_pair.  Add 'mode' and 'fixup_overlap' arguments.
3967         Test against the appropriate null constant for the mode.
3968         If 'fixup_overlap' is true, swap the operands if they overlap.
3969         (alpha_split_tfmode_frobsign): Adjust call to alpha_split_tfmode_pair.
3970         * config/alpha/alpha-protos.h (alpha_split_tfmode_pair): Rename into
3971         alpha_split_tmode_pair and adjust for above change.
3972         * config/alpha/alpha.md (movtf_internal): Adjust call to
3973         alpha_split_tfmode_pair and rely on it to swap the operands.
3974         (movti_internal): New insn and post-reload splitter.
3975         (movti): New expander.
3976
3977 2006-01-18  Philippe De Muyter  <phdm@macqel.be>
3978
3979         * config/m68k/m68k.md (*addsi3_5200): Allow addq/subq to memory
3980         operands.
3981
3982 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
3983
3984         * rtlanal.c (global_reg_mentioned_p_1,
3985         global_reg_mentioned_p): Remove.
3986         * rtl.h: Remove the prototype for global_reg_mentioned_p.
3987
3988         * flow.c (initialize_uninitialized_subregs): Make it static.
3989         * rtl.h: Remove the prototype for
3990         initialize_uninitialized_subregs.
3991
3992         * function.c (instantiate_virtual_regs): Make it static.
3993         * function.h: Remove the prototype for
3994         instantiate_virtual_regs.
3995
3996         * regmove.c (regmove_optimize, combine_stack_adjustments):
3997         Make them static.
3998         * rtl.h: Remove the prototypes for regmove_optimize and
3999         combine_stack_adjustments.
4000
4001 2006-01-17  Roger Sayle  <roger@eyesopen.com>
4002
4003         * config/i386/i386.c (COSTS_N_BYTES): New macro.
4004         (size_cost): Encode costs in bytes so that a reg-reg addition is
4005         equivalent to COSTS_N_INSNS(1).
4006         (override_options): Use the size_cost.branch_cost as the default
4007         ix86_branch_cost when optimizing for size.
4008
4009 2006-01-18  Ben Elliston  <bje@au.ibm.com>
4010
4011         * Makefile.in (D32PBIT_FUNCS): New.
4012         (D64PBIT_FUNCS, D128PBIT_FUNCS): Likewise.
4013         (libgcc.mk): Set D32PBIT, D64PBIT, D128PBIT, D32PBIT_FUNCS,
4014         D64PBIT_FUNCS and D128PBIT_FUNCS.
4015         (LIBGCC_DEPS): Include $(D32PBIT), $(D64PBIT), $(D128PBIT).
4016         * mklibgcc.in Bring in the DFP support code if D32PBIT, D64PBIT or
4017         D128PBIT are set.
4018         (decnumber_dep): Define.
4019         * doc/libgcc.texi (Decimal float library routines): New node.
4020         * config/dfp-bit.h, config/dfp-bit.c: New files.
4021
4022 2006-01-18  Ben Elliston  <bje@au.ibm.com>
4023
4024         * expr.c (emit_move_change_mode): Always adjust addresses, not
4025         just during reload.  Copy replacements only during reload.
4026         (emit_move_insn_1): Move MODE_DECIMAL_FLOAT modes by invoking
4027         emit_move_via_integer.
4028
4029 2006-01-17  Shantonu Sen  <ssen@opendarwin.org>
4030
4031         * Makefile.in (check-%, check-consistency): Use $${srcdir}
4032         instead of $(srcdir) and ${srcdir}.
4033
4034 2006-01-17  Richard Earnshaw  <rearnsha@arm.com>
4035
4036         PR target/592
4037         PR middle-end/11135
4038         * arm.h (struct machine_function): Add pic_reg.
4039         * arm.c (arm_pic_register): Make unsigned.
4040         (arm_override_options): Only set arm_pic_register if
4041         TARGET_SINGLE_PIC_BASE.
4042         (use_return_insn): Only test for a pic register if it is fixed.
4043         (arm_compute_save_reg0_reg12_mask): Likewise.
4044         (thumb_compute_save_reg_mask): Likewise.
4045         (legitimate_pic_operand): Factor out some known invariants.
4046         (legitimize_pic_address): If we don't have a fixed pic register,
4047         then set up a pseudo in the function entry sequence.  Handle the
4048         pic base being in a pseudo.
4049         (arm_load_pic_register): Handle the pic register being in a pseudo.
4050         (arm_expand_prologue): Only set up the pic register if it is fixed.
4051         (thumb_expand_prologue): Likewise.
4052         * arm.md (pic_load_addr_based): Handle the pic base being a pseudo.
4053         (pic_load_addr_based_insn): Likewise.
4054         (builtin_setjmp_receiver): Don't restore the pic base if it isn't
4055         fixed.
4056
4057 2006-01-18  Ben Elliston  <bje@au.ibm.com>
4058
4059         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Reject
4060         decimal float modes for all floating point registers.
4061
4062         * config/rs6000/predicates.md (reg_or_mem_operand): Pair up
4063         match_code "mem" with match_test "macho_lo_sum_memory_operand".
4064
4065 2006-01-17  Jakub Jelinek  <jakub@redhat.com>
4066
4067         PR c/25682
4068         * c-typeck.c (build_unary_op): Fold offsetof-like expressions
4069         even when the pointer is not NULL.
4070
4071 2006-01-16  Ian Lance Taylor  <ian@airs.com>
4072
4073         * common.opt (ftoplevel-reorder): New option.
4074         * cgraph.c (cgraph_asm_nodes): New global variable.
4075         (cgraph_asm_last_node): New static variable.
4076         (cgraph_order): New global variable.
4077         (cgraph_create_node): Set new order field.
4078         (cgraph_varpool_node): Likewise.
4079         (decide_is_variable_needed): Return true if not
4080         flag_toplevel_reorder.
4081         (cgraph_add_asm_node): New function.
4082         * cgraph.h (struct cgraph_node): Add order field.
4083         (struct cgraph_varpool_node): Add order field.
4084         (struct cgraph_asm_node): Define.
4085         (cgraph_asm_nodes, cgraph_order): Declare.
4086         (cgraph_add_asm_node): Declare.
4087         * cgraphunit.c (cgraph_varpool_assemble_decl): New static
4088         function.
4089         (cgraph_varpool_assemble_pending_decls): Call it.
4090         (cgraph_output_pending_asms): New static function.
4091         (cgraph_finalize_compilation_unit): Call it.
4092         (struct cgraph_order_sort): Define.
4093         (cgraph_output_in_order): New static function.
4094         (cgraph_optimize): Call cgraph_output_pending_asms.  Add code for
4095         !flag_toplevel_reorder case.
4096         * c-parser.c: Include "cgraph.h".
4097         (c_parser_asm_definition): Call cgraph_add_asm_node rather than
4098         assemble_asm.
4099         * Makefile.in (CRTSTUFF_CFLAGS): Use -fno-toplevel-reorder rather
4100         than -fno-unit-at-a-time.
4101         * doc/invoke.texi (Option Summary): Mention
4102         -fno-toplevel-reorder.
4103         (Optimize Options): Document -fno-toplevel-reorder.  Mention it in
4104         -funit-at-a-time documentation.
4105
4106 2006-01-17  Hans-Peter Nilsson  <hp@axis.com>
4107             Kazu Hirata  <kazu@codesourcery.com>
4108
4109         * Makefile.in (FUNCTION_H, LAMBDA_H): Use $(TREE_H), not tree.h.
4110
4111 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
4112
4113         * Makefile.in (FUNCTION_H): New.  Use it instead of
4114         function.h throughout the file.
4115         * function.h: Include tree.h.
4116
4117 2006-01-17  Ben Elliston  <bje@au.ibm.com>
4118
4119         * recog.c: Separate some functions with whitespace.
4120
4121 2006-01-16  Richard Henderson  <rth@redhat.com>
4122
4123         Merge from gomp branch:
4124         * Makefile.in (TREE_INLINE_H): New.  Use it as needed.
4125         * tree-inline.h (struct copy_body_data): Move from tree-inline.c
4126         and rename from struct inline_data.  Rename callee* to dst*;
4127         caller* to src*; add copy_decl hook, transform_call_graph_edges,
4128         transform_new_cfg, transform_return_to_modify, and
4129         transform_lang_insert_block flags; remove cloning_p, versioning_p,
4130         update_clones_p.
4131         (copy_body_r, insert_decl_map, remap_decl, remap_type): Declare.
4132         (copy_decl_for_dup): Remove.
4133         * tree-inline.c (struct inline_data): Move to header.
4134         (insert_decl_map): Export.
4135         (remap_decl): Update for member name changes.  Use copy_decl hook.
4136         Allow for replacement to be a non-decl.  Remove dead code.
4137         (remap_type_1): Check for existing mapping.
4138         (remap_type): Export.
4139         (remap_decls): Update for member name changes.
4140         (remap_block, copy_bb, copy_cfg_body, copy_generic_body): Likewise.
4141         (copy_body, setup_one_parameter, declare_return_variable): Likewise.
4142         (expand_call_inline, optimize_inline_calls, clone_body): Likewise.
4143         (copy_tree_r, mark_local_for_remap_r, unsave_expr_now): Likewise.
4144         (tree_function_versioning, build_duplicate_type): Likewise.
4145         (copy_body_r): Likewise.  Export.
4146         (copy_decl_for_dup): Split into ...
4147         (copy_decl_for_dup_finish, copy_decl_to_var,
4148         copy_decl_no_change, copy_decl_maybe_to_var): ... these.
4149         (replace_ref_tree, inlining_p): Remove.
4150
4151 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
4152
4153         * ifcvt.c (if_convert): Make it static.
4154         * rtl.h: Remove the prototype for if_convert.
4155
4156         * local-alloc.c (local_alloc): Make it static.
4157         * rtl.h: Remove the prototype for local_alloc.
4158
4159         * loop.c (loop_optimize): Make it static.
4160         * cfgloop.h: Remove the prototype for loop_optimize.
4161         * rtl.h: Likewise.
4162
4163 2006-01-16  DJ Delorie  <dj@redhat.com>
4164
4165         * reload.c (reg_overlap_mentioned_for_reload_p): Handle subregs of
4166         mems.
4167
4168 2006-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4169
4170         * pa.md: Disparage copies between general and floating-point registers
4171         in 32-bit move patterns.
4172
4173 2006-01-16  H.J. Lu  <hongjiu.lu@intel.com>
4174
4175         PR testsuite/25741
4176         * Makefile.in (check-%): Depend on site.exp instead of
4177         $(TESTSUITEDIR)/site.exp. Run "runtest" in separate language
4178         directories.
4179
4180 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
4181
4182         * global.c (global_alloc): Make it static.
4183         * rtl.h: Remove the prototype for global_alloc.
4184
4185 2006-01-16  Richard Guenther  <rguenther@suse.de>
4186
4187         * tree-ssa-alias.c (struct used_part): Add write_only field.
4188         (get_or_create_used_part_for): Initialize it to true.
4189         (create_overlap_variables_for): Don't create structure variables
4190         for structures that only are written to.
4191         (find_used_portions): Handle MODIFY_EXPR to track whether a
4192         structure is only written to.
4193
4194 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
4195
4196         * bb-reorder.c (partition_hot_cold_basic_blocks): Make it
4197         static.
4198         * basic-block.h: Remove the prototype for
4199         partition_hot_cold_basic_blocks.
4200
4201 2006-01-16  Rafael Ãvila de EspÃ�­ndola <rafael.espindola@gmail.com>
4202
4203         * cppspec.c (lang_specific_spec_functions): Remove.
4204         * gcc.c (lookup_spec_function): Use static_spec_functions directly.
4205         * gcc.h (lang_specific_spec_functions): Remove.
4206         * gccspec.c (lang_specific_spec_functions): Remove.
4207
4208 2006-01-16  Paolo Bonzini  <bonzini@gnu.org>
4209
4210         * combine.c (record_value_for_reg): Invalidate registers
4211         if INSN is null.
4212         (record_dead_and_set_regs_1): Likewise, by passing them to
4213         record_value_for_reg.
4214         (record_dead_and_set_regs): Invalidate stores made by a
4215         call.  We do not combine across a call, but we still
4216         relied on equivalences.
4217
4218 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
4219
4220         * tree-vrp.c (extract_range_from_binary_expr): Cope with
4221         vrp_int_const_binop returning non-constant nodes.
4222
4223 2006-01-16  Paul Brook  <paul@codesourcery.com>
4224
4225         * config/m68k/m68k.c (output_move_const_into_data_reg):
4226         Output correct mnemonic for mvz and mvs.
4227
4228 2006-01-16  Gabor Loki  <loki@gcc.gnu.org>
4229
4230         * rtl-factoring.c: Add sequence abstraction algorithm.
4231         * cfgcleanup.c (outgoing_edges_match): Extra checks.
4232         (try_crossjump_to_edge): Avoid deleting preserve label when redirecting
4233         ABNORMAL edges.
4234         (block_has_preserve_label): New function.
4235         * common.opt: Register new pass.
4236         * Makefile.in: Ditto.
4237         * passes.c: Ditto.
4238         * timevar.def: Ditto.
4239         * tree-pass.h: Ditto.
4240         * emit-rtl.c (make_jump_insn_raw): Remove forward decl.
4241         * rtl.h (make_jump_insn_raw): Add forward decl.
4242         * doc/invoke.texi: Add documentation for -frtl-abstract-sequences.
4243
4244 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
4245             Roger Sayle  <roger@eyesopen.com>
4246
4247         * fold-const.c (fold_minmax): New static function.
4248         (fold_binary) <MIN_EXPR>: Call it.
4249         <MAX_EXPR>: Likewise.
4250         * stor-layout.c (place_field): Use DECL_SIZE consistently
4251         in the computation of the new record size.
4252
4253 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
4254
4255         * cse.c (cse_condition_code_reg): Make it static.
4256         * rtl.h: Remove the prototype for cse_condition_code_reg.
4257
4258         * combine.c (combine_instructions): Make it static.
4259         * rtl.h: Remove the prototype for combine_instructions.
4260
4261 2006-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4262
4263         PR target/25168
4264         * tree.c (get_file_function_name_long): Concatenate the first global
4265         object name with a string derived from the input filename of the object
4266         for type "F".
4267
4268 2006-01-16  Ben Elliston  <bje@au.ibm.com>
4269
4270         * config/i386/winnt-stubs.c: Update FSF address.
4271         * config/xtensa/ieee754-df.S: Ditto.
4272         * config/xtensa/ieee754-sf.S: Ditto.
4273
4274 2006-01-14  Ian Lance Taylor  <ian@airs.com>
4275
4276         * ifcvt.c (noce_init_if_info): New static function, broken out of
4277         noce_process_if_block.
4278         (noce_process_if_block): Call noce_init_if_info.
4279         (check_cond_move_block): New static function.
4280         (cond_move_process_if_block): New static function.
4281         (process_if_block): Call cond_move_process_if_block.
4282
4283 2006-01-15  Kazu Hirata  <kazu@codesourcery.com>
4284
4285         * cselib.c (hash_table): Rename to cselib_hash_table.
4286         (cselib_clear_table, discard_useless_values,
4287         remove_useless_values, cselib_lookup_mem, cselib_lookup,
4288         cselib_init, cselib_finish): Adjust uses of hash_table.
4289
4290 2006-01-14  Kazu Hirata  <kazu@codesourcery.com>
4291
4292         PR tree-optimization/25485
4293         * tree-vrp.c (extract_range_from_binary_expr): Handle cases
4294         where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
4295         is known to be false and true, respectively.
4296
4297 2006-01-14  Richard Guenther  <rguenther@suse.de>
4298
4299         PR tree-optimization/22548
4300         PR tree-optimization/22555
4301         PR tree-optimization/22501
4302         * Makefile.in (tree-ssa-structalias.o): Depend on $(PARAMS_H).
4303         * params.def (salias-max-array-elements): New parameter.
4304         * params.h (SALIAS_MAX_ARRAY_ELEMENTS): Define.
4305         * doc/invoke.texi (salias-max-array-elements): Document.
4306         * tree-flow-inline.h (var_can_have_subvars): We also handle
4307         arrays now.
4308         * tree-ssa-alias.c (find_used_portions): Handle ARRAY_REF like
4309         COMPONENT_REF.
4310         * tree-ssa-structalias.c (params.h): Include.
4311         (push_fields_onto_fieldstack): Handle ARRAY_TYPE.
4312         (find_func_aliases): Handle multiple constraints from ARRAY_REF.
4313         (get_constraint_for): For ADDR_EXPR operating on something
4314         containing an ARRAY_REF, add all subvars to the solution.
4315         (handle_ptr_arith): Handle ARRAY_TYPE like RECORD_TYPE types.
4316         * tree-ssa-operands.c (parse_ssa_operands): Handle ARRAY_REF
4317         for creating MUST_DEFs.
4318         (get_expr_operands): Treat ARRAY_REF like COMPONENT_REF wrt subvars.
4319
4320 2006-01-14  Zdenek Dvorak <dvorakz@suse.cz>
4321
4322         * tree-ssa-loop-niter.c (number_of_iterations_cond): Split into several
4323         functions.
4324         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
4325         assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
4326         number_of_iterations_le): New functions.
4327         (number_of_iterations_special): Removed.
4328         (number_of_iterations_exit): Do not use number_of_iterations_special.
4329         * tree.c (unsigned_type_for): Always return integer type.
4330
4331 2006-01-14  Steven Bosscher  <stevenb.gcc@gmail.com>
4332         Richard Guenther  <rguenther@suse.de>
4333
4334         PR rtl-optimization/24257
4335         * gcse.c (find_moveable_store): Only consider a store movable
4336         when the SET_SRC of the insn can be assigned to a register.
4337
4338 2006-01-14  Ian Lance Taylor  <ian@airs.com>
4339
4340         * tree.c (tree_not_class_check_failed): New function.
4341         * tree.h (NON_TYPE_CHECK): Call tree_not_class_check_failed.
4342         (tree_not_class_check_failed): Declare.
4343
4344 2006-01-13  Ian Lance Taylor  <ian@airs.com>
4345
4346         * reload1.c (do_output_reload): Add assertion rejecting a
4347         CALL_INSN.
4348
4349 2006-01-13  Adam Nemet  <anemet@caviumnetworks.com>
4350
4351         * combine.c (struct reg_stat): Add new fields truncation_label and
4352         truncated_to_mode.
4353         (record_value_for_reg): Reset truncated_to_mode.
4354         (record_truncated_value): New function.
4355         (check_promoted_subreg): Call it.  Rename to check_conversions.
4356         (combine_instructions): Rename check_promoted_subreg to
4357         check_conversions.
4358         (reg_truncated_to_mode): New function.
4359         (make_extraction): Use it.  Check TRULY_NOOP_TRUNCATION.
4360         (gen_lowpart_or_truncate): New function.
4361         (force_to_mode): Use it instead of gen_lowpart.
4362
4363 2006-01-13  Diego Novillo  <dnovillo@redhat.com>
4364
4365         * tree-ssa-alias.c (add_type_alias): Fix typo.  Test whether
4366         VAR is a tag, not its type tag.
4367
4368 2006-01-13  Alexandre Oliva  <aoliva@redhat.com>
4369
4370         * config/i386/sse.md (*vec_extractv2di_1_sse2): Reorder
4371         alternatives to match style of other entries.
4372         (*vec_extractv2di_1_sse): Likewise.  Fix mode attr.
4373
4374 2006-01-13  Daniel Berlin  <dberlin@dberlin.org>
4375
4376         PR tree-optimization/25771
4377         * tree-ssa-pre.c (insert_extra_phis): Don't insert merges of abnormal
4378         SSA_NAMES.
4379
4380 2006-01-13  Andrew Pinski  <pinskia@physics.uc.edu>
4381
4382         PR tree-opt/24365
4383         * tree-inline.c (declare_return_variable): If the return variable
4384         was marked as a non gimple complex, set the return slot variable
4385         to be a non gimple comple variable.
4386
4387 2006-01-13  Richard Guenther  <rguenther@suse.de>
4388
4389         * builtins.c (expand_builtin_sincos): New function.
4390         (expand_builtin_mathfn_3): Remove dead code, sin and cos
4391         do not set errno.
4392         (expand_builtin): Expand sincos using expand_builtin_sincos.
4393
4394 2006-01-12  DJ Delorie  <dj@redhat.com>
4395
4396         * config/m32c/shift.md: Rewrite: Allow arbitrary operands for
4397         shift counts, separate SI shifts for m32c vs m16c, pass shift type
4398         so that constant shifts can be split.
4399         * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Add In6.
4400         (m32c_valid_pointer_mode): Make static.
4401         (shift_gen_func_for): New.
4402         (m32c_prepare_shift): Use it.  Split large const shifts into
4403         multiple shifts.
4404         * config/m32c/predicates.md (shiftcount_operand): Allow more
4405         general operands.
4406         (longshiftcount_operand): New.
4407         * doc/md.texi (Machine Constraints): Document In6.
4408
4409 2006-01-13  Ben Elliston  <bje@au.ibm.com>
4410
4411         * doc/tm.texi (Data Output): Add REAL_VALUE_TO_TARGET_DECIMAL32,
4412         REAL_VALUE_TO_TARGET_DECIMAL64 and REAL_VALUE_TO_TARGET_DECIMAL128
4413         documentation.
4414
4415 2006-01-12  Daniel Berlin  <dberlin@dberlin.org>
4416
4417         * tree-ssa-operands.c (add_call_clobber_ops): Use SFT_PARENT_VAR
4418         to try to avoid clobbering pieces of structures when we know
4419         something about the whole structure.
4420         * tree-ssa-alias.c (create_sft): Set SFT_PARENT_VAR
4421
4422 2006-01-13  Ben Elliston  <bje@au.ibm.com>
4423
4424         * doc/rtl.texi (Insns): Remove statement that libcalls cannot
4425         return in memory, as this is no limitation is no longer present.
4426
4427 2006-01-12  DJ Delorie  <dj@redhat.com>
4428
4429         * config/m32c/addsub.md (addhi3): Add two more alternatives, for
4430         mova with fb, and for fb+0 -> An.
4431
4432         * config/m32c/mov.md (peephole2): Fix enabling logic.
4433
4434         * config/m32c/m32c.h (CTOR_LIST_BEGIN, CTOR_LIST_END,
4435         DTOR_LIST_BEGIN, DTOR_LIST_END, CTORS_SECTION_ASM_OP,
4436         DTORS_SECTION_ASM_OP, INIT_ARRAY_SECTION_ASM_OP,
4437         FINI_ARRAY_SECTION_ASM_OP): Define.
4438
4439         * config/m32c/m32c.c (m32c_legitimize_address): Remove temporary
4440         variable.
4441         (m32c_legitimize_reload_address): New logic to reload FB to An.
4442         (m32c_output_reg_push): Add newline.
4443         (m32c_output_reg_pop): Likewise.
4444
4445 2006-01-12  Ulrich Weigand  <uweigand@de.ibm.com>
4446
4447         * struct-equiv.c (find_dying_inputs): Fix off-by-one bug.
4448
4449 2006-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
4450
4451         * config/i386/darwin.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
4452
4453 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
4454
4455         * config/sh/predicates.md (sh_rep_vec): Add parallel to
4456         match_code.
4457
4458 2006-01-11  Ben Elliston  <bje@au.ibm.com>
4459
4460         * rtlanal.c (find_reg_note): Assert insn is not null.
4461
4462 2006-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
4463
4464         * df-scan.c (df_hard_reg_init): Move declaration of i outside
4465         ifdef.
4466
4467 2006-01-11  Jeff Law  <law@redhat.com>
4468
4469         * tree-ssa-threadupdate.c (threaded_edges): New VEC to
4470         hold edge pairs.
4471         (mark_threaded_blocks, register_jump_thread): New functions.
4472         (thread_through_all_blocks): Remove unwanted argument.  No
4473         longer rely on e->aux to communicate thread target info.
4474         Call mark_threaded_blocks.  Release the threaded_blocks
4475         bitmap and threaded_edges vector when complete.
4476         * tree-ssa-dom.c (struct edge_info): Remove redirection_target field.
4477         (threaded_blocks): Remove.
4478         (tree_ssa_dominator_optimize): Remove initialization and
4479         finalization of threaded_blocks.  Simplify call to
4480         thread_through_all_blocks.
4481         (thread_across_edge): Call register_jump_thread rather than
4482         storing thread information into e->aux.
4483         (free_all_edge_infos): Simplify now that e->aux is no longer
4484         used to communicate with thread_through_all_blocks.
4485         * tree-flow.h (thread_through_all_blocks): Update prototype.
4486         (register_jump_thread): Prototype.
4487
4488 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
4489
4490         * df-core.c (df_compact_blocks, df_bb_replace): Use
4491         SET_BASIC_BLOCK instead of BASIC_BLOCK.
4492
4493 2006-01-11  Richard Guenther  <rguenther@suse.de>
4494
4495         PR tree-optimization/25734
4496         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Do not
4497         stop propagation after successful propagation to the LHS.
4498
4499 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
4500
4501         * basic-block.h (control_flow_graph): Change the type of
4502         x_basic_block_info to VEC(basic_block,gc) *.
4503         (BASIC_BLOCK_FOR_FUNCTION, BASIC_BLOCK): Adjust the uses of
4504         basic_block_info.
4505         (SET_BASIC_BLOCK): New.
4506         * cfg.c (compact_blocks, expunge_block): Use SET_BASIC_BLOCK
4507         instead of BASIC_BLOCK when assigning to BASIC_BLOCK.
4508         * cfgbuild.c (find_basic_blocks): Likewise.
4509         * cfglayout.c (fixup_reorder_chain): Likewise.
4510         * cfgrtl.c (create_basic_block_structure,
4511         rtl_create_basic_block): Likewise.
4512         * ifcvt.c (find_if_case_1): Likewise.
4513         * tree-cfg.c (init_empty_tree_cfg, build_tree_cfg, create_bb):
4514         Likewise.
4515
4516 2006-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
4517
4518         * Makefile.in: Removed rotted odf.c entry.
4519
4520 2006-01-11  Hans-Peter Nilsson  <hp@axis.com>
4521
4522         PR target/25706
4523         * config/cris/cris.md ("*extopqihi_side", "*extop<mode>si_side")
4524         ("*extop<mode>si_swap_side_biap", "*extop<mode>si_swap_side",
4525         ("*extopqihi", "*extop<mode>si", "*extop<mode>si_swap"): Use %E
4526         output pattern modifier, not %e.
4527         * config/cris/cris.c (cris_op_str): Update comment about pattern
4528         modifier.
4529         (cris_print_operand) <case 'e'>: Clear cris_output_insn_is_bound
4530         before falling through into...
4531         <case 'E'>: Redefined from old 'e' case.
4532
4533 2006-01-11  Jan Hubicka  <jh@suse.cz>
4534
4535         PR target/25042
4536         * i386.c (ix86_init_mmx_sse_builtins): Do not delcare float128
4537
4538 2006-01-11  Jan Hubicka  <jh@suse.cz>
4539
4540         * i386.h (TARGET_DECOMPOSE_LEA): Kill.
4541         * i386.c (x86_decompose_lea): Kill.
4542         (ix86_rtx_costs): Kill.
4543
4544 2006-01-11  Jan Hubicka  <jh@suse.cz>
4545
4546         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
4547         * cgraph.h (cgraph_node): Add inline_decl.
4548         (cgraph_insert_node_to_hashtable): Declare.
4549         (save_inline_function_body): Declare.
4550         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
4551         clones.
4552         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
4553         (cgraph_function_versioning): Update call of tree_function_versioning.
4554         (save_inline_function_body): New function.
4555         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
4556         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
4557         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
4558         (cgraph_default_inline_p): Likewise.
4559         (cgraph_decide_inlining_incrementally): Likewise.
4560         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
4561         (copy_bb): Kill saving; do updating of clones.
4562         (copy_cfg_body): Kill saving.
4563         (initialize_inlined-parameters): Likewise.
4564         (expand_call_inline): Likewise.
4565         (save_body): Kill.
4566         (tree_function_versioning): New parameter "update_clones".
4567         (inlining_p): Kill saving.
4568         * tree-inline.h (tree_function_versioning): Update prototype.
4569         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
4570         saving.
4571
4572 2006-01-11  Ian Lance Taylor <ian@airs.com>
4573
4574         * combine.c (struct undo): Remove is_int.  Enumify types of undos.
4575         Allow undoing set of machine mode.
4576         (do_SUBST): Use enums instead of is_int.
4577         (do_SUBST_MODE): New function.
4578         (SUBST_MODE): New macro.
4579         (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
4580         reg and trying to replace reg_regno_rtx with a new register.
4581         (undo_all): Use new enums, handle undoing a PUT_MODE change.
4582         (simplify_set): Use SUBST_MODE.
4583         (distribute_notes): Remove code that tried to update reg notes
4584         for regno_reg_rtx changes.
4585
4586 2006-01-11  Paolo Bonzini  <bonzini@gnu.org>
4587
4588         PR tree-optimization/23109
4589         PR tree-optimization/23948
4590         PR tree-optimization/24123
4591
4592         * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
4593         * tree-cfg.c (single_noncomplex_succ): New.
4594         * tree-flow.h (single_noncomplex_succ): Declare it.
4595         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
4596         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
4597         (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
4598         insert_bb, register_division_in, insert_reciprocals,
4599         replace_reciprocal, free_bb): New.
4600         (execute_cse_reciprocals_1): Rewritten.
4601         (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
4602         Do not commit any edge insertion.  Always compute dominators and
4603         create the allocation pool.
4604         * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
4605         * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
4606         * targhooks.c (default_min_divistions_for_recip_mul): New.
4607         * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
4608         * passes.c (init_optimization_passes): Run recip after tree loop
4609         optimizations.
4610         * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
4611
4612 2006-01-11  Danny Berlin <dberlin@dberlin.org>
4613             Kenneth Zadeck <zadeck@naturalbridge.com>
4614
4615         * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
4616         DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
4617         DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
4618         DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
4619         DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
4620         DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
4621         DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
4622         DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
4623         DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
4624         DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
4625         DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
4626         DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
4627         DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
4628         DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
4629         DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
4630         DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
4631         DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
4632         DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
4633         DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
4634         DF_SCAN_POST_ALLOC): New macros.
4635         (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
4636         df_free_bb_function, df_local_compute_function, df_init_function,
4637         df_dataflow_function, df_confluence_function_0,
4638         df_confluence_function_n, df_transfer_function,
4639         df_finalizer_function, df_free_function, df_dump_problem_function,
4640         df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
4641         df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
4642         df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
4643         df_urec_bb_info, ) New types.
4644         (df_invalidated_by_call, df_all_hard_regs, df_state) New public
4645         variables.
4646         (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
4647         df_analyze_simple_change_some_blocks,
4648         df_analyze_simple_change_one_block, df_compact_blocks,
4649         df_bb_replace, df_bb_regno_last_use_find,
4650         df_bb_regno_first_def_find, df_bb_regno_last_def_find,
4651         df_insn_regno_def_p, df_find_def, df_find_use,
4652         df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
4653         df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
4654         df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
4655         debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
4656         debug_df_chain, df_get_dependent_problem, df_chain_create,
4657         df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
4658         df_grow_bb_info, df_chain_dump, df_print_bb_index,
4659         df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
4660         df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
4661         df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
4662         df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
4663         df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
4664         df_rescan_blocks, df_ref_create, df_get_artificial_defs,
4665         df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
4666         df_ref_remove, df_insn_refs_delete, df_refs_delete,
4667         df_reorganize_refs, df_set_state, df_hard_reg_init,
4668         df_read_modify_subreg_p) New public functions.
4669         * df-core.c: The core dataflow solver and glue routines for rtl
4670         dataflow.
4671         (df_init, df_add_problem, df_set_blocks, df_finish,
4672         df_hybrid_search_forward, df_hybrid_search_backward,
4673         df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
4674         df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
4675         df_bb_regno_last_use_find, df_bb_regno_first_def_find,
4676         df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
4677         df_reg_defined, df_find_use, df_reg_used, df_dump,
4678         df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
4679         df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
4680         debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
4681         debug_df_useno, reset_df_after_reload): New functions.
4682         * df-scan.c: The scanning fuctions, once in df.c, completely
4683         rewritten so that they now fully model the functionality of
4684         register usage at the backend.
4685         (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
4686         df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
4687         df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
4688         df_grow_insn_info, df_rescan_blocks, df_ref_create,
4689         df_get_artificial_defs, df_get_artificial_uses,
4690         df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
4691         df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
4692         df_refs_delete, df_reorganize_refs, df_set_state,
4693         df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
4694         df_def_record_1, df_defs_record, df_uses_record,
4695         df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
4696         df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
4697         df_record_exit_block_uses, df_hard_reg_init): New functions.
4698
4699         * df-problems.c: Seven concrete dataflow problems that use the
4700         scanning in df-scan.c and are solved by the engine in df-core.c.
4701         (df_get_dependent_problem, df_chain_create, df_chain_unlink,
4702         df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
4703         df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
4704         df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
4705         df_ru_free_bb_info, df_ru_alloc,
4706         df_ru_bb_local_compute_process_def,
4707         df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
4708         df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
4709         df_ru_transfer_function, df_ru_free, df_ru_dump,
4710         df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
4711         df_rd_free_bb_info, df_rd_alloc,
4712         df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
4713         df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
4714         df_rd_transfer_function, df_rd_free, df_rd_dump,
4715         df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
4716         df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
4717         df_lr_local_compute, df_lr_init, df_lr_confluence_0,
4718         df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
4719         df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
4720         df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
4721         df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
4722         df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
4723         df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
4724         df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
4725         df_urec_mark_reg_change, df_urec_check_earlyclobber,
4726         df_urec_mark_reg_use_for_earlyclobber,
4727         df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
4728         df_urec_local_compute, df_urec_init, df_urec_local_finalize,
4729         df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
4730         df_urec_dump, df_urec_add_problem, df_chain_alloc,
4731         df_chain_create_bb_process_use, df_chain_create_bb,
4732         df_chain_finalize, df_chain_free, df_chains_dump,
4733         df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
4734         df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
4735         df_reg_lifetime): New functions.
4736         * df.c: Deleted file.
4737         * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
4738         consistent with new df api.
4739         * modulo-sched.c (sms_schedule, rest_of_handle_sms,
4740         rest_of_handle_sms): Ditto.
4741         * web.c (unionfind_union, union_defs, entry_register, web_main):
4742         Ditto.
4743         * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
4744         invariant_expr_equal_p, find_defs, check_dependencies,
4745         find_invariant_insn, find_invariants_to_move, move_invariant_reg,
4746         free_inv_motion_data, move_loop_invariants): Ditto.
4747         * Makefile.in (df.c, df-scan.c df-problems.c df-core.c):
4748         Update dependencies.
4749         (odf.c): Added defective entry that was deleted later in day.
4750         * sched-deps.c (sched_analyze_1): Ditto.
4751
4752 2006-01-11  Zdenek Dvorak <dvorakz@suse.cz>
4753
4754         * tree-ssa-operands.c (get_expr_operands): Record addressable
4755         variables directly.  Do not call add_stmt_operands for CONST_DECLs
4756         and ARRAY_DECLs.
4757         (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
4758         (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
4759
4760 2006-01-11  Ben Elliston  <bje@au.ibm.com>
4761
4762         * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
4763         function returns true in the positive case.
4764
4765 2006-01-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4766
4767         PR target/20754
4768         * config/pa/pa.md: Create separate 32 and 64-bit move patterns
4769         for SI, DI, SF and DF modes.  Add alternatives to copy between
4770         general and floating point registers to the 32-bit patterns.
4771         * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
4772         * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
4773         (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
4774         generating 64-bit code.
4775         * config/pa/pa.c (output_move_double): Handle copies between general
4776         and floating registers.
4777
4778 2006-01-10  Stuart Hastings  <stuart@apple.com>
4779
4780         * config/i386/i386.md (set_got): Update.
4781         (set_got_labelled): New.  (UNSPEC_LD_MPIC): New.
4782         (builtin_setjmp_receiver): Mach-O support.
4783         * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
4784         (GOT_SYMBOL_NAME): Define.
4785         (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
4786         (TARGET_DEEP_BRANCH_PREDICTION): Remove.
4787         * config/i386/i386.c (override_options): Revise for Darwin.
4788         (USE_HIDDEN_LINKONCE): Enable for Mach-O.  (ix86_file_end): Mach-O
4789         support.  (darwin_x86_file_end): New.  (output_set_got): Add label
4790         parameter, revise for Mach-O.  (x86_output_mi_thunk): Likewise.
4791         * config/i386/i386-protos.h (output_set_got): Likewise.
4792         * config/darwin.c (machopic_legitimize_pic_address): Update
4793         regs_ever_live[].
4794
4795 2006-01-10  Kaz Kojima  <kkojima@gcc.gnu.org>
4796
4797         * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
4798         when MODE isn't BLKmode.
4799
4800 2006-01-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
4801
4802         PR rtl-optimization/25367
4803         * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
4804
4805 2006-01-10  Hans-Peter Nilsson  <hp@axis.com>
4806
4807         PR target/25718
4808         * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
4809         for a negative bound.
4810
4811 2006-01-10  Richard Guenther  <rguenther@suse.de>
4812
4813         * tree-ssa-structalias.c (get_constraint_for_component_ref):
4814         Never override with anything constraint.
4815
4816 2006-01-10  Jan Beulich  <jbeulich@novell.com>
4817
4818         * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
4819         256 bits when optimize_size.
4820
4821 2006-01-10  Jan Beulich  <jbeulich@novell.com>
4822
4823         * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
4824         MASK_ALIGN_DOUBLE.
4825         * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
4826         * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
4827         arguments.
4828
4829 2006-01-10  Ben Elliston  <bje@au.ibm.com>
4830
4831         * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
4832         float modes.
4833         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
4834         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
4835         (USE_FP_FOR_ARG): Reject decimal float modes.
4836         (function_arg_advance): Likewise.
4837         (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
4838         (rs6000_handle_altivec_attribute): Do not permit decimal floating
4839         point types in AltiVec vectors.
4840         (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
4841         (rs6000_libcall_value): Likewise.
4842
4843 2006-01-09  Bob Wilson  <bob.wilson@acm.org>
4844
4845         * config/xtensa/ieee754-df.S: New file.
4846         * config/xtensa/ieee754-sf.S: New file.
4847         * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
4848         (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
4849         * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
4850
4851 2006-01-09  Kazu Hirata  <kazu@codesourcery.com>
4852
4853         * config/sh/predicates.md (binary_float_operator,
4854         binary_logical_operator, commutative_float_operator,
4855         equality_comparison_operator, greater_comparison_operator,
4856         less_comparison_operator, logical_operator,
4857         noncommutative_float_operator, shift_operator,
4858         symbol_ref_operand, unary_float_operator): Remove redundant
4859         conditionals.
4860
4861 2006-01-09  Jeff Law  <law@redhat.com>
4862
4863         * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
4864         code to propagate the RHS of a cast into COND_EXPR_COND.  Remove
4865         now unused arguments.  Callers updated.
4866         (eliminate_redundant_computations): Remove now unused arguments,
4867         callers updated.
4868         (local_fold): Remove, no longer used.
4869         (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
4870         and moved to...
4871         * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
4872         (simplify_cond): New function.
4873         (forward_propagate_into_cond): Call simplify_cond.
4874
4875 2006-01-09  Alexandre Oliva  <aoliva@redhat.com>
4876
4877         * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
4878         (*vec_extractv2di_1_sse): New.
4879
4880 2006-01-09  Ben Elliston  <bje@au.ibm.com>
4881
4882         * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
4883
4884 2006-01-08  Richard Guenther  <rguenther@suse.de>
4885
4886         * tree-ssa-structalias.c (get_constraint_for): Remove
4887         anyoffset argument.
4888         (get_constraint_for_component_ref): Likewise.
4889         (do_deref): Likewise.
4890         (get_constraint_for): Likewise.
4891         (do_structure_copy): Likewise.
4892         (handle_ptr_arith): Likewise.
4893         (find_func_aliases): Likewise.  Remove unused need_anyoffset
4894         variable.
4895
4896 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
4897             Kaz Kojima  <kkojima@gcc.gnu.org>
4898
4899         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
4900         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
4901         (EXTRA_CONSTRAINT_C16): Remove.
4902         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
4903         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
4904         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
4905         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
4906         constants of SHmedia.  Handle nested constant expressions of
4907         SHmedia correctly.
4908         (andcosts): Fix the costs for SHmedia constants.
4909         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
4910         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
4911         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
4912         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
4913         (movv4hi_i, movv2si_i): Likewise.
4914         (movsi_const): Adjust the second operand of ior so to match with
4915         the Csu constraint.
4916         (movdi_const, movdi_const_32bit): Likewise.
4917         (movdi_const_16bit+1): Don't sign-extend LOW.
4918         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
4919         step.
4920         (*double_shori): Fix the split condition.  Use GEN_INT instead
4921         of get_int_mode calls.  Mask lower 16-bit of the argument of
4922         the last GEN_INT.
4923         (sym2GOTPLT): Remove.
4924         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
4925         gen_rtx_UNSPEC.
4926         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
4927         instead of EXTRA_CONSTRAINT_C16.
4928
4929 2006-01-07  Ian Lance Taylor  <ian@airs.com>
4930             David Edelsohn  <edelsohn@gnu.org>
4931
4932         PR rtl-optimization/25662
4933         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
4934         for constant operands instead of simplify_gen_binary.
4935         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
4936         after trying simplify_binary_operation
4937
4938 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
4939
4940         * tree.c (iterative_hash_expr): Hash decls based on UID.
4941
4942 2006-01-06  Eric Christopher  <echristo@apple.com>
4943
4944         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
4945         (TARGET_UNWIND_EMIT): Fix spelling.
4946         * target.h (gcc_target): Add except_table_label.
4947         * except.c (output_function_exception_table): Use.
4948         * varasm.c (default_emit_except_table_label): New.
4949         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
4950         define.
4951         (asm_out): Add here.
4952         * output.h (default_emit_except_table_label): Prototype.
4953         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
4954         * config/darwin.c (darwin_emit_except_table_label): Define.
4955         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
4956
4957 2006-01-06  Zdenek Dvorak <dvorakz@suse.cz>
4958
4959         PR tree-optimization/18527
4960         * tree-ssa-loop-niter.c (number_of_iterations_cond,
4961         number_of_iterations_special, number_of_iterations_exit):
4962         Move base and step of an iv to a single structure.  Add
4963         no_overflow flag, and use it in # of iterations analysis.
4964         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
4965         folded_casts argument.
4966         (simple_iv): Pass base and step in a structure.  Set no_overflow
4967         flag.
4968         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
4969         Evaluate expensiveness of computing # of iterations instead of
4970         the final expression.
4971         * tree-scalar-evolution.h (affine_iv): New structure.
4972         (simple_iv): Declaration changed.
4973         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
4974         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
4975         find_givs_in_stmt): Changed due to simple_iv change.
4976
4977 2006-01-06  Jeff Law  <law@redhat.com>
4978
4979         PR ada/24994
4980         * tree-cfg.c (bsi_replace): Rename final argument from
4981         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
4982         change (stmt -> orig_stmt).
4983         * tree-eh.c (verify_eh_throw_stmt_node): New function.
4984         (bsi_remove): Add new argument.  Remove EH information
4985         if requested.
4986         (verify_eh_throw_table_statements): New function.
4987         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
4988         updated.
4989         * tree-optimize.c (execute_free_cfg_annotations): Verify
4990         the EH throw statement table after removing annotations.
4991         * except.h (verify_eh_throw_table_statements): Prototype.
4992         * tree-flow.h (bsi_remove): Update prototype.
4993         * tree-vrp.c (remove_range_assertions): Add new argument to
4994         bsi_remove call.
4995         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
4996         * tree-complex.c (expand_complex_div_wide): Likewise.
4997         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
4998         * tree-tailcall.c (eliminate_tailcall): Likewise.
4999         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
5000         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
5001         * tree-nrv.c (tree_nrv): Likewise.
5002         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
5003         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
5004         (combine_blocks): Likewise.
5005         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
5006         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
5007         (cleanup_control_flow): Likewise.
5008         (remove_forwarder_block): Likewise.
5009         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
5010         * tree-sra.c (sra_replace): Likewise.
5011         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
5012         (forward_propagate_single_use_vars): Likewise.
5013         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
5014         * tree-inline.c (expand_call_inline): Likewise.
5015         * tree-vect-transform.c (vect_transform_loop): Likewise.
5016         * tree-outof-ssa.c (rewrite_trees): Likewise.
5017         * tree-cfg.c (make_goto_expr_edges): Likewise.
5018         (cleanup_dead_labels): Likewise.
5019         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
5020         (bsi_move_before, bsi_move_after): Likewise.
5021         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
5022         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
5023
5024 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
5025
5026         PR tree-opt/25528
5027         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
5028         and IMAGPART_EXPR.
5029         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
5030         on non gimple variables.  Also add checks at the top for decls and
5031         mtags.
5032         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
5033         complex types.
5034         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
5035         and IMAGPART_EXPR for creating MUST_DEFs.
5036         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
5037         and NAME_MEMORY_TAG separately from the DECLs.
5038
5039 2006-01-06  Richard Guenther  <rguenther@suse.de>
5040
5041         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
5042         annotation, if necessary.
5043         * tree-ssa-pre.c (create_expression_by_pieces): Remove
5044         redundant calls to update_stmt.
5045         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
5046         Likewise.
5047
5048 2006-01-05  Richard Henderson  <rth@redhat.com>
5049
5050         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
5051
5052 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
5053
5054         * c-typeck.c: Update copyright date.
5055
5056 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
5057
5058         * c-typeck.c (build_c_cast): Always warn when casting
5059         from a pointer to an integer of different size, even if
5060         the node was constant.
5061
5062 2006-01-05  Richard Guenther  <rguenther@suse.de>
5063
5064         PR tree-optimization/22555
5065         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
5066         if one structure field is an array.
5067         * tree-ssa-operands.c (get_expr_operands): Continue scanning
5068         operands even if we found a subvar, but ignore VOPs in this
5069         case.
5070         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
5071         for renaming.
5072         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
5073
5074 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
5075
5076         PR middle-end/24998
5077         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
5078
5079 2006-01-05  Richard Guenther  <rguenther@suse.de>
5080             Diego Novillo  <dnovillo@redhat.com>
5081
5082         * tree-pass.h (TODO_remove_unused_locals): Define.
5083         * gimple-low.c (expand_var_p, remove_useless_vars,
5084         pass_remove_useless_vars): Remove.  Update all users.
5085         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
5086         (remove_unused_locals): New function.
5087         * tree-flow.h (remove_unused_locals): Declare.
5088         * passes.c (execute_todo): Call remove_unused_locals if
5089         TODO_remove_unused_locals is set.
5090         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
5091         * tree-ssa-dce.c (pass_dce): Likewise.
5092         * tree-outof-ssa.c (pass_del_ssa): Likewise.
5093
5094 2006-01-05  Richard Guenther  <rguenther@suse.de>
5095
5096         * tree-flow.h (struct fieldoff): Decompose field to
5097         type, size and decl.
5098         * tree-ssa-alias.c (create_sft): Take type as parameter.
5099         (create_overlap_variables_for): Store type, size and decl
5100         in the fieldoff structure.
5101         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
5102         of struct fieldoff.
5103         (push_fields_onto_fieldstack): Likewise.
5104         (create_variable_info_for): Likewise.  Use offset for the
5105         SFT name if the decl is not available.
5106
5107 2006-01-04  Paul Brook  <paul@codesourcery.com>
5108
5109         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
5110
5111 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
5112
5113         * lambda-code.c (can_put_in_inner_loop): Relax
5114         restrictions.
5115         (can_put_after_inner_loop): New function.
5116         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
5117         (perfect_nestify): Change to make copies and modify uses.
5118
5119 2006-01-04  Richard Henderson  <rth@redhat.com>
5120
5121         Merge from gomp branch:
5122         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
5123         via integer constant.
5124         (pragma_lex): Remove.
5125         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
5126         rather than parsing it.
5127         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
5128         handle_pragma_extern_prefix): Add %< %> quotes.
5129         (registered_pragmas): New.
5130         (c_register_pragma_1): New.
5131         (c_register_pragma): Use it.
5132         (c_register_pragma_with_expansion): Likewise.
5133         (c_invoke_pragma_handler): New.
5134         (init_pragma): Use cpp_register_deferred_pragma directly for
5135         pch_preprocess.
5136         * c-pragma.h (enum pragma_kind): New.
5137         (pragma_handler): New.
5138         (c_invoke_pragma_handler): Declare.
5139         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
5140         CPP_PRAGMA_EOL.
5141         * c-common.h (c_common_pch_pragma): Update decl.
5142         * Makefile.in (c-parser.o): Update dependencies.
5143         (GTFILES): Add c-pragma.h.
5144         * c-parser.c (struct c_token): Add pragma_kind.
5145         (struct c_parser): Add in_pragma.
5146         (c_lex_one_token): Always initialize keyword and pragma_kind.
5147         Extract data for CPP_PRAGMA.
5148         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
5149         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
5150         Don't allow CPP_PRAGMA_EOL if in_pragma.
5151         (c_parser_consume_pragma): New.
5152         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
5153         (c_parser_skip_to_end_of_parameter): Likewise.
5154         (c_parser_skip_to_end_of_block_or_statement): Likewise.
5155         (c_parser_skip_to_pragma_eol): New.
5156         (c_parser_external_declaration): Handle CPP_PRAGMA.
5157         (c_parser_compound_statement_nostart): Likewise.
5158         (c_parser_statement_after_labels): Likewise.
5159         (c_parser_pragma): New.
5160         (pragma_lex): Likewise.
5161         (c_parser_pragma_pch_preprocess): New.
5162         (c_parser_new): Merge into ...
5163         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
5164
5165 2006-01-04  Jeff Law  <law@redhat.com>
5166
5167         PR ada/24994
5168         * tree-cfg.c (bsi_replace): Remove the original statement
5169         from the EH throw statement table.
5170
5171 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
5172
5173         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
5174         make the prototype extern "C" and add throw ().
5175
5176         PR target/25554
5177         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
5178         and pos non-negative and pos + len <= 32.
5179         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
5180         drop pos + len < HOST_BITS_PER_WIDE_INT test.
5181         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
5182
5183         PR c/25559
5184         * c-common.c (handle_vector_size_attribute): Reject zero vector size
5185         as well as sizes not multiple of component size.
5186
5187         PR debug/25562
5188         * function.c (instantiate_expr): New function.
5189         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
5190         walk its DECL_VALUE_EXPR with instantiate_expr.
5191
5192         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
5193         DW_OP_deref{,_size} if address isn't going to be added.
5194
5195 2006-01-04  Ben Elliston  <bje@au.ibm.com>
5196
5197         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
5198         * config/fp-bit.c: Likewise.
5199
5200 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
5201
5202         * dominance.c: Add comment about why we use DFS numbering
5203         of dominance tree.
5204
5205 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
5206             Richard Henderson  <rth@redhat.com>
5207
5208         Merge from gomp-branch:
5209         * varasm.c (assemble_variable): Handle thread-local COMMON data.
5210         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
5211
5212 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
5213
5214         PR rtl-optimization/25578
5215         * combine.c (combine_simplify_rtx, force_to_mode): Don't
5216         pass a parameter to simplify_shift_const if changing ASHIFTRT
5217         to LSHIFTRT.
5218
5219 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
5220
5221         * builtins.c (get_builtin_sync_mem): New function.
5222         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
5223         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
5224         Call get_builtin_sync_mem to generate mem rtx.
5225
5226 2006-01-03  Richard Guenther  <rguenther@suse.de>
5227
5228         PR c/25183
5229         * stmt.c (add_case_node): Make sure to clear overflow flags
5230         from ranges.
5231
5232 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
5233
5234         Merge from gomp-branch.
5235         * config/sparc/sync.md: New file.
5236         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
5237         UNSPECV_LDSTUB): New constants.
5238         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
5239         * config/sparc/predicates.md (memory_reg_operand): New predicate.
5240         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
5241         prototype.
5242
5243 2006-01-03  Roger Sayle  <roger@eyesopen.com>
5244
5245         * combine.c (reg_subword_p): New predicate to test whether the
5246         destination of a set refers to a subword/piece of a register.
5247         (try_combine): Generalize the code to merge the setting of a
5248         pseudo to a constant followed by a set of a subword of that
5249         register to a constant.
5250
5251 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
5252
5253         * basic-block.h (control_flow_graph): Change the type of
5254         x_label_to_block_map to VEC(basic_block,gc) *.
5255         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
5256         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
5257
5258         * tree-ssa-propagate.c (cfg_blocks): Change the type to
5259         VEC(basic_block,heap) *.
5260         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
5261         ssa_prop_fini): Adjust the uses of cfg_blocks.
5262
5263 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
5264
5265         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
5266         COMPONENT_REFs.
5267         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
5268         hashing trees instead of a pointer hash.
5269         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
5270         compare for MEM_EXPR.
5271
5272         PR rtl-optimization/25130
5273         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
5274         when comparing MEMs for GCSE
5275
5276 2006-01-03  Ben Elliston  <bje@au.ibm.com>
5277
5278         * targhooks.h (default_decimal_float_supported_p): Declare.
5279         * targhooks.c (default_decimal_float_supported_p): Define.
5280         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
5281         `default_decimal_float_supported_p'.
5282         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
5283
5284 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
5285
5286         * combine.c (apply_distributive_law <SUBREG>): Check
5287         TRULY_NOOP_TRUNCATION.
5288
5289 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
5290
5291         * dwarf2out.c (have_switched_text_section): Delete.
5292         (have_multiple_function_sections): New.
5293         (have_location_lists): Make 'bool'.
5294         (add_AT_loc_list): Use 'true' not '1'.
5295         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
5296         (output_loc_list): Use have_multiple_function_sections.
5297         (output_ranges): Likewise.
5298         (dwarf2out_begin_function): Set have_multiple_function_sections if
5299         necessary.
5300         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
5301         Check function_section rather than DECL_SECTION_NAME.
5302         (dwarf2out_finish): Use have_multiple_function_sections.
5303         Don't clear have_location_lists.
5304
5305 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
5306             Jan Hubicka  <jh@suse.cz>
5307
5308         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
5309         case of conditional jump jumping to the next instruction.
5310         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
5311         cases of conditional jump jumping to the next instruction.
5312
5313 2006-01-02  Jan Hubicka  <jh@suse.cz>
5314
5315         * i386.c (*_cost): Add COSTS_N_INSNS.
5316         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
5317
5318 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
5319
5320         PR target/25259
5321         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
5322
5323 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5324
5325         * config/arm/arm.c (all_fpus): Fix comment typo.
5326         * config/darwin.c: Likewise.
5327         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
5328         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
5329         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
5330
5331 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
5332
5333         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
5334         (rs6000_split_compare_and_swapqhi): New.
5335         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
5336         (sync_compare_and_swapqhi_internal): New.
5337         * config/rs6000/rs6000-protos.h: Declare.