OSDN Git Service

* lambda.h (build_linear_expr): New.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2007-06-06  Jan Sjodin  <jan.sjodin@amd.com>
2             Sebastian Pop  <sebpop@gmail.com>
3
4         * lambda.h (build_linear_expr): New.
5         * lambda-code.c (lbv_to_gcc_expression, lle_to_gcc_expression): 
6         Use build_linear_expr, call fold and force_gimple_operand.
7         (lambda_loopnest_to_gcc_loopnest): Check that there is
8         something to insert.
9         * testsuite/gcc.dg/tree-ssa/ltrans-6.c: New.
10
11 2007-06-05  Joerg Wunsch  <j.gnu@uriah.heep.sax.de>
12
13         PR preprocessor/23479
14         * doc/extend.texi: Document the 0b-prefixed binary integer
15         constant extension.
16         
17 2007-06-05  Uros Bizjak  <ubizjak@gmail.com>
18
19         PR tree-optimization/32215
20         * tree-vectorizer.c (supportable_widening_operation): Return false
21         for unsupported FIX_TRUNC_EXPR tree code.
22         (supportable_narrowing_operation): Ditto for FLOAT_EXPR tree code.
23
24 2007-06-06  Nathan Froyd  <froydnj@codesourcery.com>
25
26         * config/rs6000/rs6000.h (FIXED_SCRATCH): Use r0 as a scratch
27         register on SPE targets.  Change documentation to reflect
28         reality.
29         * config/rs6000/rs6000.c (rs6000_conditional_register_usage):
30         Change FIXED_SCRATCH to 14 and document why we're keeping r14
31         out of the register allocation pool.
32         (rs6000_reg_live_or_pic_offset_p): New function.
33         (rs6000_emit_prologue): Move the actual saving of LR up to free
34         r0 for holding r11.  Split saving of SPE 64-bit registers into
35         its own case.  Ensure that offsets will always be in-range for
36         'evstdd' by using r11 as a scratch register to point at the start
37         of the SPE save area.  Save r11 if necessary, as it is the static
38         chain register.
39         (rs6000_emit_epilogue): Split restoring of SPE 64-bit registers
40         into its own case.  Ensure that offsets will always be in-range
41         for 'evldd' by using r11 as a scratch register to point at the
42         start of the SPE save area.  Also adjust r11 when restoring
43         the stack pointer to compensate for pre-loading r11.
44
45 2007-06-05  Thomas Neumann  <tneumann@users.sourceforge.net>
46
47         * cfg.c (init_flow): Use type safe memory macros.
48         (alloc_block): Likewise.
49         (unchecked_make_edge): Likewise.
50         (dump_flow_info): Avoid using C++ keywords as variable names.
51         (copy_original_table_clear): Cast according to the coding conventions.
52         (copy_original_table_set): Likewise.
53         * cfgexpand (label_rtx_for_bb): Likewise.
54         (expand_gimple_basic_block): Likewise.
55         * cfghooks.c (dump_bb): Likewise.
56         (lv_adjust_loop_header_phi): Avoid using C++ keywords as variable names.
57         (lv_add_condition_to_bb): Likewise.
58         * cfglayout (relink_block_chain): Cast according to the coding
59         conventions.
60         (fixup_reorder_chain): Likewise.
61         (fixup_fallthru_exit_predecessor): Likewise.
62         * cfgloop.c (glb_enum_p): Likewise.
63         (get_exit_description): Likewise.
64         (dump_recorded_exit): Likewise.
65         * cfgloop.h (enum loop_estimation): Move out of struct scope...
66         (struct loop): ... from here.
67         * cfgloopmanip.c (rpe_enum_p): Cast according to the coding conventions.
68         * cfgrtl.c (rtl_create_basic_block): Likewise.
69         (rtl_split_block): Likewise.
70         (rtl_dump_bb): Likewise.
71         (cfg_layout_split_block): Likewise.
72         (init_rtl_bb_info): Use typesafe memory macros.
73
74         * graphds.h (struct graph_edge): Renamed edge to graph_edge.
75         * graphds.h: Updated all usages of edge to graph_edge.
76         * graphds.c: Likewise.
77         * cfgloopanal.c: Likewise.
78
79 2007-06-05  Ian Lance Taylor  <iant@google.com>
80
81         * tree-vrp.c (compare_values_warnv): Check TREE_NO_WARNING on a
82         PLUS_EXPR or MINUS_EXPR node before setting *strict_overflow_p.
83         (extract_range_from_assert): Set TREE_NO_WARNING when creating an
84         expression.
85         (test_for_singularity): Likewise.
86
87 2007-06-05  H.J. Lu  <hongjiu.lu@intel.com>
88
89         * config/i386/constraints.md ("Y2"): Replaced by ...
90         ("Yt"): This.
91         * config/i386/i386.md: Likewise.
92         * config/i386/mmx.md: Likewise.
93         * config/i386/sse.md: Likewise.
94
95 2007-06-05  H.J. Lu  <hongjiu.lu@intel.com>
96
97         * config/i386/constraints.md ("z"): Replaced by ...
98         ("Y0"): This.
99         * config/i386/sse.md (sse4_1_blendvpd): Likewise.
100         (sse4_1_blendvps): Likewise.
101         (sse4_1_pblendvb): Likewise.
102         (sse4_2_pcmpestr): Likewise.
103         (sse4_2_pcmpestrm): Likewise.
104         (sse4_2_pcmpestr_cconly): Likewise.
105         (sse4_2_pcmpistr): Likewise.
106         (sse4_2_pcmpistrm): Likewise.
107         (sse4_2_pcmpistr_cconly): Likewise.
108
109 2007-06-05  Razya Ladelsky  <razya@il.ibm.com>
110
111         * matrix-reorg.c (transform_access_sites): Fix computation.
112         (transform_allocation_sites): Same.
113
114 2007-06-05  Uros Bizjak  <ubizjak@gmail.com>
115
116         * config/i386/i386.c (override_options): Use
117         TARGET_SUBTARGET32_ISA_DEFAULT to select default ix86_isa_flags.
118
119 2007-06-05  Uros Bizjak  <ubizjak@gmail.com>
120
121         * config/i386/predicates.md (reg_not_xmm0_operand): New predicate.
122         (nonimm_not_xmm0_operand): Ditto.
123         * config/i386/sse.md ("sse4_1_blendvpd"): Use "reg_not_xmm0_operand"
124         as operand[0] and operand[1] predicate.  Use "nonimm_not_xmm0_operand"
125         as operand[2] predicate.  Require "z" class XMM register for
126         operand[3].  Adjust asm template.
127         ("sse4_1_blendvpd"): Ditto.
128         ("sse4_1_pblendvb"): Ditto.
129         * config/i386/i386.c (ix86_expand_sse_4_operands_builtin): Do not
130         force op2 into xmm0 register for variable blend instructions.
131
132 2007-06-04  Tom Tromey  <tromey@redhat.com>
133
134         * c-tree.h (start_enum): Update.
135         (build_enumerator): Likewise.
136         * c-decl.c (enum_next_value): Removed.
137         (enum_overflow): Likewise.
138         (start_enum): Add c_enum_contents argument.  Don't use globals.
139         (build_enumerator): Likewise.
140         * c-tree.h (struct c_enum_contents): New struct.
141
142 2007-06-04  Tom Tromey  <tromey@redhat.com>
143
144         * c-common.c (c_common_get_alias_set): Fix indentation.
145
146 2007-06-04  Ian Lance Taylor  <iant@google.com>
147
148         * tree-vrp.c (adjust_range_with_scev): When loop is not expected
149         to overflow, reduce overflow infinity to regular infinity.
150         (vrp_var_may_overflow): New static function.
151         (vrp_visit_phi_node): Check vrp_var_may_overflow.
152
153 2007-06-04  Kazu Hirata  <kazu@codesourcery.com>
154
155         * stor-layout.c (layout_type): Remove duplicate code.
156
157 2007-06-04  Uros Bizjak  <ubizjak@gmail.com>
158
159         PR c/32191
160         * gcc/c-common.c (c_define_builtins): Call targetm.init_builtins ()
161         before build_common_builtin_nodes ().
162
163 2007-06-04  Steve Ellcey  <sje@cup.hp.com>
164
165         PR target/31733
166         * cfgrtl.c (rtl_verify_flow_info): Skip notes when looking for barrier.
167
168 2007-05-31  Jan Hubicka  <jh@suse.cz>
169
170         * tree-predcom.c (replace_ref_with, initialize_root_vars_lm,
171         reassociate_to_the_same_stmt): Call build_gimple_modify_stmt
172         instead of _stat version.
173
174 2007-06-03  Zdenek Dvorak  <dvorakz@suse.cz>
175
176         PR tree-optimization/32194
177         * tree-predcom.c (determine_offset): Check that both references have
178         the same type.
179
180 2007-06-03  Zdenek Dvorak  <dvorakz@suse.cz>
181
182         * cfgloopmanip.c (remove_path, loopify, duplicate_loop_to_header_edge):
183         Change dom_bbs to vector.  Add argument to iterate_fix_dominators call.
184         * loop-unroll.c (unroll_loop_runtime_iterations): Ditto.
185         * tree-cfg.c (tree_duplicate_sese_region): Change doms to vector.
186         Add argument to iterate_fix_dominators call.
187         (remove_edge_and_dominated_blocks): Pass vector to bbs_to_fix_dom.
188         * gcse.c (hoist_code): Change domby to vector.
189         * cfghooks.c (make_forwarder_block): Change doms_to_fix to vector.
190         Add argument to iterate_fix_dominators call.
191         * loop-doloop.c (doloop_modify): Changed recount_dominator to
192         recompute_dominator.
193         * lambda-code.c (perfect_nestify): Ditto.
194         * cfgloopanal.c: Include graphds.h.
195         (struct edge, struct vertex, struct graph, dump_graph, new_graph,
196         add_edge, dfs, for_each_edge, free_graph): Moved to graphds.c.
197         (mark_irreducible_loops): Use graphds_scc.  Remove argument from
198         add_edge call.
199         * graphds.c: New file.
200         * graphds.h: New file.
201         * dominance.c: Include vecprim.h, pointer-set.h and graphds.h.
202         (get_dominated_by, get_dominated_by_region): Change return type to
203         vector.
204         (verify_dominators): Recompute all dominators and compare the results.
205         (recount_dominator): Renamed to ...
206         (recompute_dominator): ... this.  Do not check that the block is
207         dominated by entry.
208         (iterate_fix_dominators): Reimplemented.
209         (prune_bbs_to_update_dominators, root_of_dom_tree,
210         determine_dominators_for_sons): New functions.
211         * et-forest.c (et_root): New function.
212         * et-forest.h (et_root): Declare.
213         * Makefile.in (graphds.o): Add.
214         (cfgloopanal.o): Add graphds.h dependency.
215         (dominance.o): Add graphds.h, vecprim.h and pointer-set.h dependency.
216         * basic-block.h (get_dominated_by, get_dominated_by_region,
217         iterate_fix_dominators): Declaration changed.
218         (recount_dominator): Renamed to ...
219         (recompute_dominator): ... this.
220         * tree-ssa-threadupdate.c (thread_block): Free dominance info.
221         (thread_through_all_blocks): Do not free dominance info.
222
223 2007-06-03  Andreas Schwab  <schwab@suse.de>
224
225         * config/m68k/m68k.c (override_options): Don't override
226         REAL_MODE_FORMAT.
227         * config/m68k/m68k-modes.def (SF, DF): Define to use
228         motorola_single_format and motorola_double_format, resp.
229         * real.c (motorola_single_format): Renamed from
230         coldfire_single_format.
231         (motorola_double_format): Renamed from coldfire_double_format.
232         (encode_ieee_extended): Generate a proper canonical NaN image
233         respecting canonical_nan_lsbs_set.
234         (ieee_extended_motorola_format): Set canonical_nan_lsbs_set to
235         true.
236         * real.h: Adjust declarations.
237
238 2007-06-03  Kaz Kojima  <kkojima@gcc.gnu.org>
239
240         PR target/32163
241         * config/sh/sh.md (symGOT_load): Don't schedule insns when
242         the symbol is generated with the stack protector.
243
244 2007-06-03  Kazu Hirata  <kazu@codesourcery.com>
245
246         * config/m68k/m68k.c (m68k_attribute_table): Add "interrupt".
247         (m68k_get_function_kind): Return m68k_fk_interrupt_handler on
248         "interrupt".
249         * doc/extend.texi (interrupt): Mention m68k.
250
251 2007-06-02  Uros Bizjak  <ubizjak@gmail.com>
252
253         * config/i386/i386.c (ix86_expand_sse_4_operands_builtin): Call
254         safe_vector_operand() if input operand is VECTOR_MODE_P operand.
255         (ix86_expand_sse_pcmpestr): Do not check operands for
256         "register_operand", when insn operand predicate is "register_operand".
257         (ix86_expand_sse_pcmpistr): Ditto.
258
259 2007-06-02  H.J. Lu  <hongjiu.lu@intel.com>
260             Uros Bizjak  <ubizjak@gmail.com>
261
262         * config/i386/i386.h (enum reg_class) [SSE_FIRST_REG]: New.
263         (SSE_CLASS_P): Use reg_class_subset_p between SSE_REGS.
264         (REG_CLASS_NAMES): Add "FIRST_SSE_REG" string.
265         (REG_CLASS_CONTENTS): Add members of FIRST_SSE_REG class.
266         * config/i386/constraints.md ("z"): New register constraint
267         for members of SSE_FIRST_REG class.
268         * config/i386/i386-modes.def (CCA, CCC, CCO, CCS): New compare modes.
269         * config/i386/i386.c (regclass_map): Change class of %xmm0 to
270         SSE_FIRST_REG class.
271         (put_condition_code) [EQ, NE]: Output suffixes for new compare modes.
272         (ix86_cc_modes_compatible): Handle CCA, CCC, CCO and CCS modes.
273         (IX86_BUILTIN_PCMPESTRI128): New for SSE4.2.
274         (IX86_BUILTIN_PCMPESTRM128): Likewise.
275         (IX86_BUILTIN_PCMPESTRA128): Likewise.
276         (IX86_BUILTIN_PCMPESTRC128): Likewise.
277         (IX86_BUILTIN_PCMPESTRO128): Likewise.
278         (IX86_BUILTIN_PCMPESTRS128): Likewise.
279         (IX86_BUILTIN_PCMPESTRZ128): Likewise.
280         (IX86_BUILTIN_PCMPISTRI128): Likewise.
281         (IX86_BUILTIN_PCMPISTRM128): Likewise.
282         (IX86_BUILTIN_PCMPISTRA128): Likewise.
283         (IX86_BUILTIN_PCMPISTRC128): Likewise.
284         (IX86_BUILTIN_PCMPISTRO128): Likewise.
285         (IX86_BUILTIN_PCMPISTRS128): Likewise.
286         (IX86_BUILTIN_PCMPISTRZ128): Likewise.
287         (struct builtin_description): Change "flag" field to unsigned.
288         (bdesc_pcmpestr): New builtin description table.
289         (bdesc_pcmpistr): Likewise.
290         (ix86_init_mmx_sse_builtins): Define int_ftype_v16qi_int_v16qi_int_int,
291         v16qi_ftype_v16qi_int_v16qi_int_int and int_ftype_v16qi_v16qi_int.
292         Initialize pcmp[ei]str[im] insns for SSE4.2.
293         (ix86_expand_sse_pcmpestr): New subroutine of ix86_expand_builtin.
294         (ix86_expand_sse_pcmpistr): Likewise.
295         (ix86_expand_builtin): Expand pcmp[ei]str[im] builtins for SSE4.2.
296         * config/i386/i386.md (UNSPEC_PCMPESTR): New for SSE4.2.
297         (UNSPEC_PCMPISTR): Likewise.
298         * config/i386/sse.md (sse4_2_pcmpestr): New insn patern and splitter.
299         (sse4_2_pcmpestri):New isns pattern.
300         (sse4_2_pcmpestrm): Likewise.
301         (sse4_2_pcmpestr_cconly): Likewise.
302         (sse4_2_pcmpistr): New insn patern and splitter.
303         (sse4_2_pcmpistri):New isns pattern.
304         (sse4_2_pcmpistrm): Likewise.
305         (sse4_2_pcmpistr_cconly): Likewise.
306         * config/i386/smmintrin.h: Enable pcmp[ei]str[im] intrinsics
307         in SSE4.2.
308
309 2007-06-01  David Daney  <ddaney@avtrex.com>
310
311         * config/mips/mips.c (mips_output_mi_thunk): Only load gp if not
312         LOADGP_ABSOLUTE and not binds_local_p.
313         
314 2007-06-01  Geoffrey Keating  <geoffk@apple.com>
315
316         * config/darwin.h (LINK_SPEC): Pass -fpie through to the linker.
317
318 2007-06-01  Ian Lance Taylor  <iant@google.com>
319
320         * tree-vrp.c (compare_name_with_value): Always set
321         used_strict_overflow if we get a result from the variable itself.
322
323 2007-06-01  Ian Lance Taylor  <iant@google.com>
324
325         PR rtl-optimization/31455
326         * lower-subreg.c (find_decomposable_subregs): Don't decompose
327         subregs which have a cast between modes which are not tieable.
328
329 2007-06-01  Uros Bizjak  <ubizjak@gmail.com>
330
331         * expr.c (force_operand) [DIV, MOD, UDIV, UMOD, ASHIFTRT]: Remove
332         breaks after return statements.
333
334 2007-06-01  Kaz Kojima  <kkojima@gcc.gnu.org>
335
336         * config/sh/sh.c (fpscr_set_from_mem): Call get_free_reg
337         only after no_new_pseudos.
338
339 2007-05-31  Eric Christopher  <echristo@apple.com>
340
341         * expr.c (convert_move): Assert that we don't have a BLKmode
342         operand.
343         (store_expr): Handle BLKmode moves by calling emit_block_move.
344
345 2007-05-31  Daniel Berlin  <dberlin@dberlin.org>
346
347         * c-typeck.c (build_indirect_ref): Include type in error message.
348         (build_binary_op): Pass types to binary_op_error.
349         * c-common.c (binary_op_error): Take two type arguments, print out
350         types with error.
351         * c-common.h (binary_op_error): Update prototype.
352
353 2007-05-31  H.J. Lu  <hongjiu.lu@intel.com>
354
355         * config/i386/i386.c: Correct coments on -mno-sse4.
356
357 2007-05-31  H.J. Lu  <hongjiu.lu@intel.com>
358
359         * config.gcc (i[34567]86-*-*): Add nmmintrin.h to extra_headers.
360         (x86_64-*-*): Likewise.
361         * config/i386/i386.c (OPTION_MASK_ISA_MMX_UNSET): New.
362         (OPTION_MASK_ISA_3DNOW_UNSET): Likewise.
363         (OPTION_MASK_ISA_SSE_UNSET): Likewise.
364         (OPTION_MASK_ISA_SSE2_UNSET): Likewise.
365         (OPTION_MASK_ISA_SSE3_UNSET): Likewise.
366         (OPTION_MASK_ISA_SSSE3_UNSET): Likewise.
367         (OPTION_MASK_ISA_SSE4_1_UNSET): Likewise.
368         (OPTION_MASK_ISA_SSE4_2_UNSET): Likewise.
369         (OPTION_MASK_ISA_SSE4): Likewise.
370         (OPTION_MASK_ISA_SSE4_UNSET): Likewise.
371         (OPTION_MASK_ISA_SSE4A_UNSET): Likewise.
372         (ix86_handle_option): Use OPTION_MASK_ISA_*_UNSET.  Handle SSE4.2.
373         (override_options): Support SSE4.2.
374         (ix86_build_const_vector): Support SImode and DImode.
375         (ix86_build_signbit_mask): Likewise.
376         (ix86_expand_int_vcond): Support V2DImode.
377         (IX86_BUILTIN_CRC32QI): New for SSE4.2.
378         (IX86_BUILTIN_CRC32HI): Likewise.
379         (IX86_BUILTIN_CRC32SI): Likewise.
380         (IX86_BUILTIN_CRC32DI): Likewise.
381         (IX86_BUILTIN_PCMPGTQ): Likewise.
382         (bdesc_crc32): Likewise.
383         (bdesc_sse_3arg): Likewise.
384         (ix86_expand_crc32): Likewise.
385         (ix86_init_mmx_sse_builtins): Support SSE4.2.
386         (ix86_expand_builtin): Likewise.
387         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Define
388         __SSE4_2__ for -msse4.2.
389         * config/i386/i386.md (UNSPEC_CRC32): New for SSE4.2.
390         (CRC32MODE): Likewise.
391         (crc32modesuffix): Likewise.
392         (crc32modeconstraint): Likewise.
393         (sse4_2_crc32<mode>): Likewise.
394         (sse4_2_crc32di): Likewise.
395         * config/i386/i386.opt (msse4.2): New for SSE4.2.
396         (msse4): Likewise.
397         * config/i386/nmmintrin.h: New. The dummy SSE4.2 intrinsic header file.
398         * config/i386/smmintrin.h: Add SSE4.2 intrinsics.
399         * config/i386/sse.md (sse4_2_gtv2di3): New pattern for SSE4.2.
400         (vcond<mode>): Use SSEMODEI instead of SSEMODE124.
401         (vcondu<mode>): Likewise.
402         * doc/extend.texi: Document SSE4.2 built-in functions.
403         * doc/invoke.texi: Document -msse4.2/-msse4.
404
405 2007-05-31  Zdenek Dvorak  <dvorakz@suse.cz>
406
407         PR tree-optimization/32160
408         * tree-predcom.c (predcom_tmp_var): New function.  Mark created
409         variable as gimple reg.
410         (initialize_root_vars, initialize_root_vars_lm): Use predcom_tmp_var.
411
412 2007-05-31  Kazu Hirata  <kazu@codesourcery.com>
413
414         * gcc.c (main): Don't consider linker options when issuing the
415         warning about a linker input file not being used.
416
417 2007-05-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
418
419         * tree-vrp.c (compare_names): Initialize sop.
420
421 2007-05-30  Dirk Mueller  <dmueller@suse.de>
422
423         * cgraphunit.c (cgraph_analyze_function): Remove
424         computation of inline parameters.
425
426 2007-05-30  Uros Bizjak  <ubizjak@gmail.com>
427
428         * config/i386/darwin.h (TARGET_SUBTARGET_DEFAULT): Undef before define.
429
430 2007-05-30  Richard Sandiford  <richard@codesourcery.com>
431
432         * config.gcc (arm-wrs-vxworks): Remove dbxelf.h from tm_file.
433         Add vx-common.h.  Include vxworks.h between vx-common.h and
434         arm/vxworks.h.
435         * config/vx-common.h (DWARF2_UNWIND_INFO): Undefine before
436         redefining.
437         * config/vxworks.h (TARGET_ASM_CONSTRUCTOR): Likewise.
438         (TARGET_ASM_DESTRUCTOR): Likewise.
439         * config/arm/vxworks.h (TARGET_OS_CPP_BUILTINS): Check arm_arch_xscale
440         instead of arm_is_xscale.  Use VXWORKS_OS_CPP_BUILTINS.
441         (OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
442         (CC1_SPEC): Add -tstrongarm.  Line up backslashes.
443         (VXWORKS_ENDIAN_SPEC): Define.
444         (ASM_SPEC): Add VXWORKS_ENDIAN_SPEC.
445         (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine to their
446         VXWORKS_* equivalents.
447         (LINK_SPEC): Likewise, but add VXWORKS_ENDIAN_SPEC.
448         (ASM_FILE_START): Delete.
449         (TARGET_VERSION): Reformat.
450         (FPUTYPE_DEFAULT, FUNCTION_PROFILER): Define.
451         (DEFAULT_STRUCTURE_SIZE_BOUNDARY): Define.
452         * config/arm/t-vxworks (LIB1ASMSRC, LIB1ASMFUNCS): Define.
453         (FPBIT, DPBIT): Define.
454         (fp-bit.c, dp-bit.c): New rules.
455         (MULTILIB_OPTIONS): Add strongarm, -mrtp and -mrtp/-fPIC multilibs.
456         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Define.
457         * config/arm/arm-protos.h (arm_emit_call_insn): Declare.
458         * config/arm/arm.h: Include vxworks-dummy.h.
459         * config/arm/arm.c (arm_elf_asm_constructor, arm_elf_asm_destructor):
460         Mark with ATTRIBUTE_UNUSED.
461         (arm_override_options): Do not allow VxWorks RTP PIC to be used
462         for Thumb.  Force r9 to be the PIC register for VxWorks RTPs and
463         make it incompatible with -msingle-pic-base.
464         (arm_function_ok_for_sibcall): Return false for calls that might
465         go through a VxWorks PIC PLT entry.
466         (require_pic_register): New function, split out from...
467         (legitimize_pic_address): ...here.  Do not use GOTOFF accesses
468         for VxWorks RTPs.
469         (arm_load_pic_register): Handle the VxWorks RTP initialization
470         sequence.  Use pic_reg as a shorthand for cfun->machine->pic_reg.
471         (arm_emit_call_insn): New function.
472         (arm_assemble_integer): Do not use GOTOFF accesses for VxWorks RTP.
473         * config/arm/arm.md (UNSPEC_PIC_OFFSET): New unspec number.
474         (pic_offset_arm): New pattern.
475         (call, call_value): Use arm_emit_call_insn.
476         (call_internal, call_value_internal): New expanders.
477         * config/arm/lib1funcs.asm (__PLT__): Define to empty for
478         VxWorks unless __PIC__.
479
480 2007-05-30  Eric Christopher  <echristo@gmail.com>
481
482         * genrecog.c: Include regs.h in generated file.
483         * genemit.c: Ditto. Fix up formatting.
484         * config/mn10300/constraints.md: New.
485         * config/mn10300/mn10300.md: Include.
486         * config/mn10300/mn10300.c(mn10300_secondary_reload_class):
487         Fix up for removed macro.
488         * config/mn10300/predicates.md (call_address_operand):  Ditto.
489         * config/mn10300/mn10300.h (REG_CLASS_FROM_LETTER): Delete.
490         (CONST_OK_FOR_I): Ditto.
491         (CONST_OK_FOR_J): Ditto.
492         (CONST_OK_FOR_K): Ditto.
493         (CONST_OK_FOR_L): Ditto.
494         (CONST_OK_FOR_M): Ditto.
495         (CONST_OK_FOR_N): Ditto.
496         (CONST_DOUBLE_OK_FOR_LETTER_P): Ditto.
497         (OK_FOR_Q): Ditto.
498         (OK_FOR_R): Ditto.
499         (OK_FOR_T): Ditto.
500         (EXTRA_CONSTRAINT): Ditto.
501
502 2007-05-30 Uros Bizjak <ubizjak@gmail.com>
503
504         * config/i386/i386.h (MASK_64BIT, MASK_MMX, MASK_3DNOW*, MASK_SSE*):
505         Remove defines.
506         * config/i386/biarch.h (TARGET_64BIT_DEFAULT): Define to
507         OPTION_MASK_ISA_64BIT.
508         * config/i386/i386.c: Rename MASK_* macros to OPTION_MASK_ISA_*.
509
510 2007-05-30  Richard Guenther  <rguenther@suse.de>
511
512         PR middle-end/32152
513         * gimplify.c (gimplify_omp_atomic_pipeline): Use correct
514         types for comparison.
515         * fold-const.c (fold_comparison): Call maybe_canonicalize_comparison
516         with original typed arguments.
517         * config/i386/i386.c (ix86_gimplify_va_arg): Fix type mismatches.
518
519 2007-05-30  Jakub Jelinek  <jakub@redhat.com>
520
521         PR tree-optimization/31769
522         * except.c (duplicate_eh_regions): Clear prev_try if
523         ERT_MUST_NOT_THROW region is inside of ERT_TRY region.
524
525 2007-05-30  Zdenek Dvorak  <dvorakz@suse.cz>
526
527         * tree-scalar-evolution.c (scev_const_prop): Do not create labels.
528         * tree-ssa-sink.c (statement_sink_location): Return basic block and
529         bsi of the location where statements should be inserted.
530         (sink_code_in_bb): Take bsi from statement_sink_location.
531         * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Use bsi_after_labels
532         instead of bsi_start.
533         * tree-profile.c (tree_gen_ic_func_profiler): Pass BSI_NEW_STMT to
534         bsi_insert_after.
535         * tree-cfg.c (bsi_move_after): Pass BSI_NEW_STMT to bsi_insert_after.
536         (bsi_move_before): Document inconsistency with bsi_move_after.
537         (tree_redirect_edge_and_branch): Do not create labels if not necessary.
538
539 2007-05-30 Uros Bizjak <ubizjak@gmail.com>
540
541         * config/i386/i386.h (TARGET_ABM): New define.
542         (TARGET_POPCNT): Ditto.
543         (TARGET_64BIT, TARGET_MMX, TARGET_3DNOW, TARGET_3DNOW_A, TARGET_SSE*):
544         New temporary defines to redefine from OPTION_ISA_* defines.
545         (MASK_64BIT, MASK_MMX, MASK_3DNOW, MASK_3DNOW_A, MASK_SSE*):
546         New temporary defines to redefine from OPTION_MASK_ISA_* defines.
547         (ix86_isa_flags): New extern int declaration.
548         (TARGET_SUBTARGET_DEFAULT): New define.
549         (TARGET_SUBTARGET_ISA_DEFAULT): Ditto.
550         (TARGET_SUBTARGET32_DEFAULT): Ditto.
551         (TARGET_SUBTARGET32_ISA_DEFAULT): Ditto.
552         (TARGET_SUBTARGET64_ISA_DEFAULT): Ditto.
553         * config/i386/unix.h: Undef TARGET_SUBTARGET_DEFAULT before define.
554         * config/i386/darwin.h: Change TARGET_64BIT define to
555         OPTION_ISA_64BIT.
556
557         * config/i386/i386.opt (m3dnowa): Define as undocumented option
558         using existing "ix86_isa_flags" varible.
559         (m32, m64): Use existing "ix86_isa_flags" variable.
560         (mmmx, m3dnow): Ditto.
561         (msse, msse2, msse3, mssse3, msse4.1, msse4a): Ditto.
562         (mabm): Define as non-negative option using "x86_abm" variable.
563         (mpopcnt): Define as non-negative option using "x86_popcnt" variable.
564
565         * config/i386/i386.c (ix86_arch_features) [X86_ARCH_CMOVE]:
566         Rewrite feature test bitmap.
567         (ix86_isa_flags): New initialized global int varible.
568         (ix86_isa_flags_explicit): New static int variable.
569         (ix86_handle_option): Set "ix86_isa_flags_explicit" when mmmx, m3dnow,
570         msse, msse2, msse3, msse4.1 and msse4a option is processed.  Change
571         i86_isa_flags and ix86_isa_flags_explicit, not target_flags and
572         target_flags_explicit.
573         (override_options): Remove "target_enable" and "target_disable" fields
574         from "struct ptt". Update processor_target_table accordingly. Remove
575         PTA_PREFETCH_SSE from processor_alias_table entry if PTE_SSE is
576         defined and rearrange PTA_* bits.  Use "ix86_isa_flags" instead of
577         "target_flags" and "ix86_isa_flags_explicit" instead of
578         "target_flags_explicit" when masked with MASK_64BIT, MASK_MMX,
579         MASK_3DNOW, MASK_3DNOW_A or MASK_SSE*.  Set "x86_abm" to true when
580         PTA_ABM is set in processor_alias_table flags entry.  Set "x86_popcnt"
581         to true when either of PTA_POPCNT or PTA_ABM is set in
582         processor_alias_table flags entry.  Set "x86_prefetch_sse" to true
583         when either of PTA_PREFETCH_SSE or PTA_SSE is set in
584         processor_alias_table flags entry.  Remove handling of
585         "target_enable" and "target_disable" fields of processor_target_table.
586         Mask "target_flags" with TARGET_SUBTARGET32_DEFAULT for 32-bit
587         targets or with TARGET_SUBTARGET64_DEFAULT for 64-bit targets.
588         Mask "ix86_isa_flags" with TARGET_SUBTARGET32_ISA_DEFAULT for 32-bit
589         targets or with TARGET_SUBTARGET64_ISA_DEFAULT for 64-bit targets.
590         (def_builtin): Mask "mask" variable with "ix86_isa_flags", not
591         "target_flags".
592         (TARGET_DEFAULT_TARGET_FLAGS): Do not include TARGET_64BIT_DEFAULT.
593
594 2007-05-29  David Daney  <ddaney@avtrex.com>
595
596         PR gcc/31975
597         * config/mips/mips.c (mips_output_mi_thunk): Emit
598         NOTE_INSN_PROLOGUE_END at beginning of the thunk.
599
600 2007-05-29  Hui-May Chang  <hm.chang@apple.com>
601         * config/i386/i386.c (ix86_function_regparm): Added checking of
602         ix86_force_align_arg_pointer to determine the number of
603         register parameters.
604
605 2007-05-29  Zdenek Dvorak  <dvorakz@suse.cz>
606
607         * tree-vectorizer.h (DR_MISALIGNMENT): Cast aux to integer.
608         (SET_DR_MISALIGNMENT): New.
609         * tree-vect-analyze.c (vect_compute_data_ref_alignment,
610         vect_update_misalignment_for_peel, vect_enhance_data_refs_alignment):
611         Use SET_DR_MISALIGNMENT.
612         * tree-predcom.c (split_data_refs_to_components): Cast dr->aux from
613         pointer.
614         * tree-data-ref.c (create_data_ref, compute_all_dependences,
615         find_loop_nest): Export.
616         * tree-data-ref.h (struct data_reference): Change aux field to pointer.
617         (create_data_ref, compute_all_dependences, find_loop_nest): Declare.
618         * tree-ssa-loop-prefetch.c: Include tree-data-ref.h.
619         (L1_CACHE_SIZE_BYTES, L2_CACHE_SIZE_BYTES, NONTEMPORAL_FRACTION):
620         New macros.
621         (struct mem_ref): Add field reuse_distance.
622         (find_or_create_group, record_ref): Use XNEW instead of xcalloc.
623         Initialize reuse_distance field.
624         (issue_prefetch_ref): Select temporality of prefetch according to
625         reuse_distance.
626         (volume_of_references, volume_of_dist_vector, add_subscript_strides,
627         self_reuse_distance, determine_loop_nest_reuse): New functions.
628         (loop_prefetch_arrays): Call determine_loop_nest_reuse.
629         (tree_ssa_prefetch_arrays): Dump L2 cache size.
630         * Makefile.in (tree-ssa-loop-prefetch.o): Add TREE_DATA_REF_H
631         dependency.
632
633 2007-05-29  Daniel Berlin  <dberlin@dberlin.org>
634
635         * tree-ssa-alias.c: Add aliasing overview.
636
637 2007-05-29  Zuxy Meng  <zuxy.meng@gmail.com>
638             Danny Smith  <dannysmith@users.sourceforge.net>
639
640         PR target/29498
641         * config/i386/t-crtfm: Compile crtfastmath.o with
642         -minline-all-stringops.
643         * config/i386/cygwin.h (ENDFILE_SPECS): Add crtfastmath.o.
644         * config/i386/mingw32.h (ENDFILE_SPECS): Add crtfastmath.o.
645
646 2007-05-28  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
647
648         * doc/md.texi: Document constraints on HP PA-RISC.
649
650         * pa/constraints.md: New file.
651         * pa.md: Include constraints.md.
652         * pa.c (cint_ok_for_move): Avoid using CONST_OK_FOR_LETTER_P.
653         (integer_store_memory_operand, ldil_cint_p): New functions.
654         * pa-protos.h (integer_store_memory_operand, ldil_cint_p): Declare.
655         * pa.h (CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
656         IS_RELOADING_PSEUDO_P, EXTRA_CONSTRAINT): Remove.
657         * pa32-regs.h (REG_CLASS_FROM_LETTER): Remove.
658         * pa64-regs.h (REG_CLASS_FROM_LETTER): Remove.
659
660 2007-05-28  Andrew Pinski  <Andrew_pinski@playstation.sony.com>
661
662         PR c/31339
663         * c-typeck.c (build_unary_op <case PREINCREMENT_EXPR,
664         case POSTINCREMENT_EXPR, case PREDECREMENT_EXPR,
665         case POSTDECREMENT_EXPR>): Return the error_mark_node
666         if either the real or imaginary parts would an
667         error_mark_node.
668
669 2007-05-28  Daniel Berlin  <dberlin@dberlin.org>
670
671         * tree-ssa-dce.c (eliminate_unnecessary_stmts): Release LHS SSA
672         name when we remove it from a call.
673
674 2007-05-28  Kazu Hirata  <kazu@codesourcery.com>
675
676         * targhooks.c (default_narrow_bitfield): Remove.
677         * targhooks.h: Remove the prototype for
678         default_narrow_bitfield.
679
680         * langhooks-def.h: Remove the prototype for
681         hook_get_alias_set_0.
682         * langhooks.c (hook_get_alias_set_0): Remove.
683
684         * global.c (EXECUTE_IF_CONFLICT): Remove.
685
686 2007-05-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
687
688         PR tree-opt/32100
689         * fold-const.c (tree_expr_nonnegative_warnv_p): Don't
690         return true when truth_value_p is true and the type
691         is of signed:1.
692
693 2007-05-28  Gerald Pfeifer  <gerald@pfeifer.com>
694
695         * doc/install.texi (Prerequisites): We no longer require Autoconf
696         2.13 for the top-level.
697
698 2007-05-28  Uros Bizjak  <ubizjak@gmail.com>
699
700         * target/i386/i386.c (ix86_expand_vector_move): Expand unaligned
701         memory access via x86_expand_vector_move_misalign() only for
702         TImode values on 32-bit targets.
703
704 2007-05-28  Razya Ladelsky  <razya@il.ibm.com>
705
706         * matrix-reorg.c: New file. Implement matrix flattening and
707         transposing optimization.
708         * tree-pass.h: Add matrix reorg pass.
709         * common.opt: Add fipa-mreorg flag.
710         * Makefile.in: Add matrix-reorg.c.
711         * passes.c: Add matrix reorg pass.
712         * varpool.c (add_new_static_var): New function.
713         * cgraph.h (add_new_static_var): Declare.
714
715 2007-05-27  Eric Christopher  <echristo@apple.com>
716
717         * config/rs6000/rs6000.c (rs6000_emit_prologue): Update
718         sp_offset depending on stack size. Save r12 depending
719         on registers we're saving later.
720         (rs6000_emit_epilogue): Update sp_offset depending only
721         on stack size.
722
723 2007-05-27  Zdenek Dvorak  <dvorakz@suse.cz>
724
725         * tree-vrp.c (execute_vrp): Do not check whether current_loops == NULL.
726         * tree-chrec.c (evolution_function_is_invariant_rec_p): Ditto.
727         * ifcvt.c (if_convert): Ditto.
728         * tree-ssa-threadupdate.c (thread_block): Ditto.
729         (thread_through_all_blocks): Ditto.  Assert that loops were analysed.
730         * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa,
731         verify_loop_closed_ssa): Check number_of_loops instead of
732         current_loops.
733         * predict.c (tree_estimate_probability): Ditto.
734         * tree-if-conv.c (main_tree_if_conversion): Ditto.
735         * tree-ssa-loop-ch.c (copy_loop_headers): Ditto.
736         * modulo-sched.c (sms_schedule): Ditto.
737         * tree-scalar-evolution.c (scev_const_prop): Ditto.
738         (scev_finalize): Do not do anything if scev analysis was not
739         initialized.
740         * cfgloopanal.c (mark_irreducible_loops): Do not check whether
741         current_loops == NULL.
742         (mark_loop_exit_edges): Check number_of_loops instead of current_loops.
743         * loop-init.c (loop_optimizer_init): Do not free current_loops when
744         there are no loops.
745         (loop_optimizer_finalize): Assert that loops were analyzed.
746         (rtl_move_loop_invariants, rtl_unswitch, rtl_unroll_and_peel_loops,
747         rtl_doloop): Check number_of_loops instead of current_loops.
748         * tree-ssa-loop.c (tree_loop_optimizer_init): Do not check whether
749         current_loops == NULL.
750         (tree_ssa_loop_init, tree_ssa_loop_im, tree_ssa_loop_unswitch,
751         gate_tree_vectorize tree_linear_transform, check_data_deps,
752         tree_ssa_loop_ivcanon, tree_ssa_empty_loop, tree_ssa_loop_bounds,
753         tree_complete_unroll, tree_ssa_loop_prefetch, tree_ssa_loop_ivopts):
754         Check number_of_loops instead of current_loops.
755         (tree_ssa_loop_done): Do not check whether current_loops == NULL.
756         * tree-ssa-pre.c (fini_pre): Do not take do_fre argument.  Always
757         free loops if available.
758         (execute_pre): Do not pass do_fre to fini_pre.
759
760 2007-05-27  Tobias Burnus  <burnus@net-b.de>
761
762         PR middle-end/32083
763         * real.c (mpfr_from_real): Fix sign of -Inf.
764
765 2007-05-27  H.J. Lu  <hongjiu.lu@intel.com>
766
767         * tree-vect-transform.c (vectorizable_conversion): Initialize
768         tree_code variables to ERROR_MARK.
769         (vectorizable_type_demotion): Likewise.
770         (vectorizable_type_promotion): Likewise.
771
772 2007-05-26  Uros Bizjak  <ubizjak@gmail.com>
773
774         PR target/32065
775         * config/i386/i386.md (movti): Handle push operands via
776         ix86_expand_push().
777
778 2007-05-26  Kazu Hirata  <kazu@codesourcery.com>
779
780         * basic-block.h: Remove the prototype for merge_seq_blocks.
781         * cfgcleanup.c (merge_seq_blocks): Remove.
782
783         * tree-flow.h: Remove the prototype for is_aliased_with.
784         * tree-ssa-alias.c (is_aliased_with): Remove.
785
786 2007-05-26  H.J. Lu  <hongjiu.lu@intel.com>
787
788         * config/i386/i386-protos.h (ix86_expand_sse4_unpack): New.
789
790         * config/i386/i386.c (ix86_expand_sse4_unpack): New.
791
792         * config/i386/sse.md (vec_unpacku_hi_v16qi): Call
793         ix86_expand_sse4_unpack if SSE4.1 is enabled.
794         (vec_unpacks_hi_v16qi): Likewise.
795         (vec_unpacku_lo_v16qi): Likewise.
796         (vec_unpacks_lo_v16qi): Likewise.
797         (vec_unpacku_hi_v8hi): Likewise.
798         (vec_unpacks_hi_v8hi): Likewise.
799         (vec_unpacku_lo_v8hi): Likewise.
800         (vec_unpacks_lo_v8hi): Likewise.
801         (vec_unpacku_hi_v4si): Likewise.
802         (vec_unpacks_hi_v4si): Likewise.
803         (vec_unpacku_lo_v4si): Likewise.
804         (vec_unpacks_lo_v4si): Likewise.
805
806 2007-05-26  Kazu Hirata  <kazu@codesourcery.com>
807
808         * c-typeck.c, config/arm/arm.c, config/darwin.c,
809         config/sh/symbian.c, gcc.c, ipa-cp.c, ipa-inline.c, loop-iv.c,
810         omega.c, tree-ssa-loop-niter.c, treestruct.def: Fix typos and
811         follow spelling conventions in various
812         warning/error/diagnostic messages.
813
814         * config/i386/i386.c, config/pa/pa.c, config/spu/spu.c,
815         df-problems.c, df-scan.c, domwalk.c, ebitmap.c, ebitmap.h,
816         fold-const.c, gcc.c, ipa-type-escape.c, omega.c, omega.h,
817         tree-ssa-coalesce.c, tree-ssa-live.c, tree-ssa-structalias.c,
818         tree-vrp.c: Fix comment typos.  Follow spelling conventions.
819         * doc/tm.texi: Follow spelling conventions.
820
821 2007-05-25  Andrew Pinski  <andrew_pinski@playstation.sony.com>
822
823         PR tree-opt/32090
824         * tree-ssa-forwprop.c
825         (forward_propagate_addr_into_variable_array_index): Remove
826         the lhs argument.  Use the type of def_rhs instead of lhs.
827         (forward_propagate_addr_expr_1): Update use of
828         forward_propagate_addr_into_variable_array_index.
829
830 2007-05-25  Sandra Loosemore  <sandra@codesourcery.com>
831             Nigel Stephens  <nigel@mips.com>
832
833         * config/mips/mips.c (mips_attribute_table): Add "near" and "far"
834         function attributes, "far" being an alias for "long_call".
835         (TARGET_COMP_TYPE_ATTRIBUTES): Define as mips_comp_type_attributes.
836         (mips_near_type_p, mips_far_type_p): New.
837         (mips_comp_type_attributes): New function to check that attributes
838         attached to a function type are compatible.
839         (mips_output_mi_thunk): Test SYMBOL_REF_LONG_CALL_P() rather than
840         TARGET_LONG_CALLS when deciding whether we can do a direct sibcall
841         to the target function of the thunk.
842         (mips_encode_section_info): Check for "near" and "far" function
843         attributes, and always set the SYMBOL_FLAG_LONG_CALL bit explicitly.
844
845         * config/mips/predicates.md (const_call_insn_operand): Test only
846         SYMBOL_REF_LONG_CALL_P() and not TARGET_LONG_CALLS.
847
848         * doc/extend.texi (Function Attributes): Document MIPS "near" and
849         "far" attributes.
850
851         * testsuite/gcc.target/mips/near-far-1.c:  New test case.
852         * testsuite/gcc.target/mips/near-far-2.c:  New test case.
853         * testsuite/gcc.target/mips/near-far-3.c:  New test case.
854         * testsuite/gcc.target/mips/near-far-4.c:  New test case.
855
856 2007-05-25  Eric Christopher  <echristo@apple.com>
857
858         * config.gcc: Add i386/t-fprules-softfp64 and soft-fp/t-softfp
859         to x86-darwin configurations.
860         * config/i386/t-darwin: Add softfp support.
861         * config/i386/t-darwin64: Ditto.
862         * config/i386/sfp-machine.h: If mach then don't use
863         aliasing, emit a stub to call.
864
865 2007-05-25  Kazu Hirata  <kazu@codesourcery.com>
866
867         * cfglayout.c, cgraphunit.c, config/avr/avr.c, fold-const.c,
868         haifa-sched.c, optabs.h, tree-affine.c, tree-data-ref.c,
869         tree-predcom.c, tree-ssa-alias-warnings.c,
870         tree-ssa-forwprop.c, tree-vect-analyze.c, tree-vrp.c: Fix
871         comment typos.  Follow spelling conventions.
872         * doc/cpp.texi, doc/invoke.texi: Fix typos.
873
874 2007-05-26  Uros Bizjak  <ubizjak@gmail.com>
875
876         PR target/32065
877         * target/i386/i386.c (ix86_expand_vector_move): Force SUBREGs of
878         constants into memory.  Expand unaligned memory references for
879         SSE modes via x86_expand_vector_move_misalign() function.
880
881 2007-05-25  Uros Bizjak  <ubizjak@gmail.com>
882
883         * config/i386/sse.md (*vec_extractv2di_1_sse2): Do not calculate
884         "memory" attribute for "sseishft" type insn without operands[2].
885
886 2007-05-25  Dirk Mueller  <dmueller@suse.de>
887             Marcus Meissner <meissner@suse.de>
888
889         * doc/extend.texi (alloc_size): New attribute.
890         * c-common.c (handle_alloc_size_attribute): New.
891         * tree-object-size.c (alloc_object_size): Use alloc_size
892         attribute, if available.
893
894 2007-05-25  H.J. Lu  <hongjiu.lu@intel.com>
895
896         * config/i386/i386.c (__builtin_ia32_vec_ext_v2df): Mark it
897         with MASK_SSE2.
898         (__builtin_ia32_vec_ext_v2di): Likewise.
899         (__builtin_ia32_vec_ext_v4si): Likewise.
900         (__builtin_ia32_vec_ext_v8hi): Likewise.
901         (__builtin_ia32_vec_ext_v16qi): Likewise.
902         (__builtin_ia32_vec_set_v8hi): Likewise.
903
904 2007-05-25  H.J. Lu  <hongjiu.lu@intel.com>
905
906         * config/i386/sse.md (*vec_extractv2di_1_sse2): Correct shift.
907
908 2007-05-25  Richard Sandiford  <richard@codesourcery.com>
909
910         * config/arm/arm-protos.h (arm_encode_call_attribute): Delete.
911         (arm_is_longcall_p): Rename to...
912         (arm_is_long_call_p): ...this.  Take a single tree argument and
913         return a bool.
914         * config/arm/arm.h (CALL_SHORT, CALL_LONG, CALL_NORMAL): Delete.
915         (CUMULATIVE_ARGS): Remove call_cookie.
916         (SHORT_CALL_FLAG_CHAR, LONG_CALL_FLAG_CHAR, ENCODED_SHORT_CALL_ATTR_P)
917         (ENCODED_LONG_CALL_ATTR_P): Delete.
918         (ARM_NAME_ENCODING_LENGTHS): Remove SHORT_CALL_FLAG_CHAR and
919         LONG_CALL_FLAG_CHAR cases.
920         (ARM_DECLARE_FUNCTION_SIZE): Delete.
921         * config/arm/elf.h (ASM_DECLARE_FUNCTION_SIZE): Don't use
922         ARM_DECLARE_FUNCTION_SIZE.
923         * config/arm/arm.c (arm_init_cumulative_args): Don't set call_cookie.
924         (arm_function_arg): Return const0_rtx for VOIDmode arguments.
925         (arm_encode_call_attribute, current_file_function_operand): Delete.
926         (arm_function_in_section_p): New function.
927         (arm_is_longcall_p): Rename to...
928         (arm_is_long_call_p): ...this.  Take the target function as a single
929         argument and return a bool.  Do not rely on call cookies.  Check
930         whether the target symbol is in the same section as the current
931         function, not just the same compilation unit.
932         (arm_function_ok_for_sibcall): Use arm_is_long_call_p.
933         (arm_encode_section_info): Don't encode a call type.
934         * config/arm/arm.md (call, call_value): Update calls to
935         arm_is_long(_)call_p.  Simplify logic.
936         (*call_symbol, *call_value_symbol, *call_insn, *call_value_insn):
937         Update calls to arm_is_long(_)call_p.
938
939 2007-05-25  Richard Guenther  <rguenther@suse.de>
940
941         PR tree-optimization/31982
942         * tree-ssa-forwprop.c
943         (forward_propagate_addr_into_variable_array_index): Handle arrays
944         with element size one.
945
946 2007-05-24  Andrew Pinski  <andrew_pinski@playstation.sony.com>
947
948         * config/spu/spu.md (smulsi3_highpart): Unshare the rtl chain.
949         (umulsi3_highpart): Likewise.
950
951 2007-05-24  Ian Lance Taylor  <iant@google.com>
952
953         PR rtl-optimization/32069
954         * regclass.c (regclass): Don't crash if the entry in regno_reg_rtx
955         is NULL.
956
957 2007-05-24  Ollie Wild  <aaw@google.com>
958
959         * doc/cpp.texi (Common Predefined Macros): Add __COUNTER__
960         description.
961
962 2007-05-24  Richard Sandiford  <rsandifo@nildram.co.uk>
963
964         * postreload-gcse.c (reg_changed_after_insn_p): New function.
965         (oprs_unchanged_p): Use it to check all registers in a REG.
966         (record_opr_changes): Look for clobbers in CALL_INSN_FUNCTION_USAGE.
967         (reg_set_between_after_reload_p): Delete.
968         (reg_used_between_after_reload_p): Likewise.
969         (reg_set_or_used_since_bb_start): Likewise.
970         (eliminate_partially_redundant_load): Use reg_changed_after_insn_p
971         and reg_used_between_p instead of reg_set_or_used_since_bb_start.
972         Use reg_set_between_p instead of reg_set_between_after_reload_p.
973         * rtlanal.c (reg_set_p): Check whether REG overlaps
974         regs_invalidated_by_call, rather than just checking the
975         membership of REGNO (REG).
976
977 2007-05-24  Zdenek Dvorak  <dvorakz@suse.cz>
978
979         * doc/passes.texi: Document predictive commoning.
980         * doc/invoke.texi (-fpredictive-commoning): Document.
981         * opts.c (decode_options): Enable flag_predictive_commoning on -O3.
982         * tree-ssa-loop-im.c (get_lsm_tmp_name): Export.  Allow
983         adding indices to the generated name.
984         (schedule_sm): Pass 0 to get_lsm_tmp_name.
985         * tree-ssa-loop-niter.c (stmt_dominates_stmt_p): Export.
986         * tree-pretty-print.c (op_symbol_1): Renamed to ...
987         (op_symbol_code): ... and exported.
988         (dump_omp_clause, op_symbol): Use op_symbol_code
989         instead of op_symbol_1.
990         * tree-pass.h (pass_predcom): Declare.
991         * timevar.def (TV_PREDCOM): New timevar.
992         * tree-ssa-loop.c (run_tree_predictive_commoning,
993         gate_tree_predictive_commoning, pass_predcom): New.
994         * tree-data-ref.c (find_data_references_in_loop): Find the
995         references in dominance order.
996         (canonicalize_base_object_address): Ensure that the result has
997         pointer type.
998         (dr_analyze_innermost): Export.
999         (create_data_ref): Code to fail for references with invariant
1000         address moved ...
1001         (find_data_references_in_stmt): ... here.
1002         * tree-data-ref.h (dr_analyze_innermost): Declare.
1003         * tree-affine.c: Include tree-gimple.h and hashtab.h.
1004         (aff_combination_find_elt, name_expansion_hash,
1005         name_expansion_eq, tree_to_aff_combination_expand,
1006         double_int_constant_multiple_p, aff_combination_constant_multiple_p):
1007         New functions.
1008         * tree-affine.h (aff_combination_constant_multiple_p,
1009         tree_to_aff_combination_expand): Declare.
1010         * tree-predcom.c: New file.
1011         * common.opt (fpredictive-commoning): New option.
1012         * tree-flow.h (op_symbol_code, tree_predictive_commoning,
1013         stmt_dominates_stmt_p, get_lsm_tmp_name): Declare.
1014         * Makefile.in (tree-predcom.o): Add.
1015         (tree-affine.o): Add TREE_GIMPLE_H dependency.
1016         * passes.c (init_optimization_passes):  Add dceloop after
1017         copy propagation in loop optimizer.  Add predictive commoning
1018         to loop optimizer passes.
1019
1020 2007-05-24  H.J. Lu  <hongjiu.lu@intel.com>
1021
1022         * target-def.h (TARGET_MANGLE_DECL_ASSEMBLER_NAME): Correct
1023         default hook.
1024
1025 2007-05-24  Jan Hubicka  <jh@suse.cz>
1026
1027         * gengenrtl.c (gendecl, gendef): Output the gens annotated for
1028         statistics.
1029         (genheader): Include statistics.h.
1030
1031         * doc/invoke.texi (-fdump-unnumbered): Update docs when line number
1032         notes are gone.
1033         * print-rtl.c (flag_dump_unnumbered): Update comments.
1034         (print_rtl): Fix my previous change.
1035         * emit-rtl.c (emit_note_before, emit_note_after): Clear out note
1036         specific data.
1037
1038 2007-05-24  Zdenek Dvorak  <dvorakz@suse.cz>
1039
1040         PR middle-end/32018
1041         * tree-ssa-threadupdate.c (thread_through_loop_header): Use
1042         set_loop_copy.
1043         (thread_through_all_blocks): Call initialize_original_copy_tables
1044         and free_original_copy_tables.
1045         * cfgloopmanip.c (duplicate_loop, duplicate_loop_to_header_edge):
1046         Use set_loop_copy.
1047         * tree-cfg.c (tree_duplicate_sese_region): Ditto.
1048         * cfghooks.c (duplicate_block): Use get_loop_copy.
1049         * cfg.c: Include cfgloop.h.
1050         (loop_copy): New hash table.
1051         (initialize_original_copy_tables): Initialize loop_copy table.
1052         (free_original_copy_tables): Free loop_copy table.
1053         (copy_original_table_clear, copy_original_table_set,
1054         set_loop_copy, get_loop_copy): New functions.
1055         (set_bb_original, set_bb_copy): Use copy_original_table_set.
1056         * cfgloop.h (struct loop): Remove copy field.
1057         * Makefile.in (cfg.o): Add CFGLOOP_H dependency.
1058         * basic-block.h (set_loop_copy, get_loop_copy): Declare.
1059
1060 2007-05-24  H.J. Lu  <hongjiu.lu@intel.com>
1061
1062         * config/i386/i386.c (ix86_handle_option): Handle SSE4.1 for
1063         -msse/-msse2/-msse3.
1064
1065 2007-05-24  H.J. Lu  <hongjiu.lu@intel.com>
1066
1067         * config/i386/i386.c (ix86_init_mmx_sse_builtins): Mark
1068         __builtin_ia32_vec_set_v2di with MASK_64BIT.
1069
1070 2007-05-24  Danny Smith  <dannysmith@users.sourceforge.net>
1071
1072         PR target/27067
1073         * doc/tm.texi (TARGET_MANGLE_DECL_ASSEMBLER_NAME): Document.
1074         * targhooks.h (default_mangle_decl_assembler_name): Declare
1075         default hook.
1076         * targhooks.c (default_mangle_decl_assembler_name): Define
1077         default hook.
1078         * target-def.h (TARGET_MANGLE_DECL_ASSEMBLER_NAME) New. Set to
1079         default hook.
1080         * target.h (struct gcc_target): Add mangle_decl_assembler_name field.
1081         * langhooks.c (lhd_set_decl_assembler_name): Call
1082         targetm.mangle_decl_assembler_name for names with global scope.
1083
1084         * config/i386/cygming.h (TARGET_MANGLE_DECL_ASSEMBLER_NAME) Override
1085         default.
1086         (ASM_OUTPUT_DEF_FROM_DECLS): Simplify to use DECL_ASSEMBLER_NAME.
1087         * config/i386/i386-protos.h (i386_pe_mangle_decl_assembler_name):
1088         Declare.
1089         * config/i386/winnt.c (i386_pe_maybe_mangle_decl_assembler_name):
1090         New. Factored out of i386_pe_encode_section_info.
1091         (gen_stdcall_or_fastcall_suffix): Get name identifier as argument.
1092         Move check for prior decoration of stdcall
1093         symbols to i386_pe_encode_section_info.
1094         (i386_pe_encode_section_info): Adjust call to
1095         gen_stdcall_or_fastcall_suffix.  Use
1096         i386_pe_maybe_mangle_decl_assembler_name, if needed.
1097         (i386_pe_mangle_decl_assembler_name): New. Wrap
1098         i386_pe_maybe_mangle_decl_assembler_name.
1099
1100 2007-05-16  Rafael Avila de Espindola  <espindola@google.com>
1101
1102         * c-common.c (c_common_signed_or_unsigned_type): Delay the check for
1103         INTEGRAL_TYPE_P and TYPE_UNSIGNED.
1104         * langhooks.c (get_signed_or_unsigned_type): Don't check for
1105         INTEGRAL_TYPE_P or TYPE_UNSIGNED.
1106         (lhd_signed_or_unsigned_type): Check for INTEGRAL_TYPE_P and
1107         TYPE_UNSIGNED.
1108
1109 2007-05-23  Sandra Loosemore  <sandra@codesourcery.com>
1110             Nigel Stephens  <nigel@mips.com>
1111             Richard Sandiford  <richard@codesourcery.com>
1112
1113         Fix up MIPS16 hard float and add support for complex.
1114
1115         * config/mips/mips.h (TARGET_HARD_FLOAT_ABI): New.
1116         (TARGET_SOFT_FLOAT_ABI): New.
1117         (TARGET_CPU_CPP_BUILTINS): Define __mips_hard_float and
1118         __mips_soft_float to reflect the ABI in use, not whether the
1119         FPU is directly accessible (e.g., in MIPS16 mode).
1120         (UNITS_PER_HWFPVALUE): Use TARGET_SOFT_FLOAT_ABI.
1121         (UNITS_PER_FPVALUE): Likewise.
1122
1123         * config/mips/mips.c (mips_expand_call): Remove redundant
1124         TARGET_MIPS16 check.
1125         (mips_arg_regno): New.
1126         (function_arg_advance): When setting bits in cum->fp_code for
1127         MIPS16, don't subtract 1 from cum->arg_number, since it is now
1128         zero-based.
1129         (function_arg): Use mips_arg_regno.
1130         (mips_return_mode_in_fpr_p): New.
1131         (mips16_call_stub_mode_suffix): New.
1132         (mips16_cfun_returns_in_fpr_p): New.
1133         (mips_save_reg_p): Use mips16_cfun_returns_in_fpr_p.
1134         (mips_output_function_prologue): Test mips16_hard_float, not
1135         !TARGET_SOFT_FLOAT, to decide when a function stub is required.
1136         (mips_expand_epilogue): Call MIPS16 helper routines to copy
1137         return value into a floating-point register.
1138         (mips_can_use_return_insn): Use mips16_cfun_returns_in_fpr_p.
1139         (mips_function_value): Rewrite to use mips_return_mode_in_fpr_p.
1140         (mips16_fp_args): Handle MIPS32r2 ISA which supports
1141         TARGET_FLOAT64, and use mfhc1/mthc1 to copy the most significant
1142         word of double arguments from or to the high bits of 64-bit
1143         floating point registers.
1144         (build_mips16_function_stub): Fill in DECL_RESULT for stubdecl.
1145         (mips16_fpret_double): New helper function.
1146         (build_mips16_call_stub): Use mips16_return_mode_in_fpr_p.  Add
1147         support for complex modes.  Fill in DECL_RESULT for stubdecl.
1148         (mips_init_libfuncs): Remove redundant TARGET_MIPS16 check.
1149
1150         * config/mips/mips16.S
1151         (RET, ARG1, ARG2): New.
1152         (MERGE_GPRf, MERGE_GPRt): New.
1153         (DELAYt, DELAYf): New.
1154         (MOVE_SF_BYTE0, MOVE_SI_BYTE0): New.
1155         (MOVE_SF_BYTE4, MOVE_SF_BYTE8): New.
1156         (MOVE_DF_BYTE0, MOVE_DF_BYTE8): New.
1157         (MOVE_SF_RET, MOVE_SC_RET, MOVE_DF_RET, MOVE_DC_RET, MOVE_SI_RET): New.
1158         (SFOP): Renamed to...
1159         (OPSF3): This, and macro-ified.  Updated all uses.
1160         (SFOP2): Renamed to...
1161         (OPSF2): This, and macro-ified.  Updated all uses.
1162         (SFCMP): Renamed to...
1163         (CMPSF): This, and macro-ified.  Updated all uses.
1164         (SFREVCMP): Renamed to...
1165         (REVCMPSF): This, and macro-ified.  Updated all uses.
1166         (__mips16_floatsisf, __mips16_fix_truncsfsi): Macro-ified.
1167         (LDDBL1, LDDBL2, RETDBL): Deleted.
1168         (DFOP): Renamed to...
1169         (OPDF3): This, and macro-ified.  Updated all uses.
1170         (DFOP2): Renamed to...
1171         (OPDF2): This, and macro-ified.  Updated all uses.
1172         (__mips16_extendsfdf2, __mips16_truncdfsf2): Macro-ified.
1173         (DFCMP): Renamed to...
1174         (CMPDF): This, and macro-ified.  Updated all uses.
1175         (DFREVCMP): Renamed to...
1176         (REVCMPDF): This, and macro-ified.  Updated all uses.
1177         (__mips16_floatsidf, __mips16_fix_truncdfsi): Macro-ified.
1178         (RET_FUNCTION): New.
1179         (__mips16_ret_sf, __mips16_ret_df): Macro-ified.
1180         (__mips16_ret_sc, __mips16_ret_dc): New.
1181         (STUB_ARGS_0, STUB_ARGS_1, STUB_ARGS_5, STUB_ARGS_9, STUB_ARGS_2,
1182         STUB_ARGS_6, STUB_ARGS_10): New.
1183         (CALL_STUB_NO_RET): New.
1184         (__mips16_call_stub_1): Macro-ified.
1185         (__mips16_call_stub_5): Macro-ified.
1186         (__mips16_call_stub_2): Macro-ified.
1187         (__mips16_call_stub_6): Macro-ified.
1188         (__mips16_call_stub_9): Macro-ified.
1189         (__mips16_call_stub_10): Macro-ified.
1190         (CALL_STUB_RET): New.
1191         (__mips16_call_stub_sf_0): Macro-ified.
1192         (__mips16_call_stub_sf_1): Macro-ified.
1193         (__mips16_call_stub_sf_5): Macro-ified.
1194         (__mips16_call_stub_sf_2): Macro-ified.
1195         (__mips16_call_stub_sf_6): Macro-ified.
1196         (__mips16_call_stub_sf_9): Macro-ified.
1197         (__mips16_call_stub_sf_10): Macro-ified.
1198         (__mips16_call_stub_df_0): Macro-ified.
1199         (__mips16_call_stub_df_1): Macro-ified.
1200         (__mips16_call_stub_df_5): Macro-ified.
1201         (__mips16_call_stub_df_2): Macro-ified.
1202         (__mips16_call_stub_df_6): Macro-ified.
1203         (__mips16_call_stub_df_9): Macro-ified.
1204         (__mips16_call_stub_df_10): Macro-ified.
1205         (__mips16_call_stub_sc_0): New.
1206         (__mips16_call_stub_sc_1): New.
1207         (__mips16_call_stub_sc_5): New.
1208         (__mips16_call_stub_sc_2): New.
1209         (__mips16_call_stub_sc_6): New.
1210         (__mips16_call_stub_sc_9): New.
1211         (__mips16_call_stub_sc_10): New.
1212         (__mips16_call_stub_dc_0): New.
1213         (__mips16_call_stub_dc_1): New.
1214         (__mips16_call_stub_dc_5): New.
1215         (__mips16_call_stub_dc_2): New.
1216         (__mips16_call_stub_dc_6): New.
1217         (__mips16_call_stub_dc_9): New.
1218         (__mips16_call_stub_dc_10): New.
1219
1220         * config/mips/t-elf (LIB1ASMFUNCS): Add MIPS16 floating-point stubs.
1221         * config/mips/t-isa3264 (LIB1ASMFUNCS): Likewise.
1222         * config/mips/t-r2900 (LIB1ASMFUNCS): Likewise.
1223
1224 2007-05-23  Ian Lance Taylor  <iant@google.com>
1225
1226         * doc/invoke.texi (Invoking GCC): Document that the order of the
1227         -l option matters.
1228
1229 2007-05-23  Chen Liqin  <liqin@sunnorth.com.cn>
1230
1231         PR target/30987
1232         * config/score/misc.md (bitclr_c, bitset_c, bittgl_c): Remove.
1233         * config/score/predicate.md (const_pow2, const_npow2): Remove.
1234         * config/score/score.h (ASM_OUTPUT_EXTERNAL): Add ASM_OUTPUT_EXTERNAL
1235         undef.
1236
1237         PR target/30474
1238         * config/score/score.c (score_print_operand): Make sure that only
1239         lower bits are used.
1240
1241 2007-05-22  Ian Lance Taylor  <iant@google.com>
1242
1243         * tree-vrp.c (avoid_overflow_infinity): New static function,
1244         broken out of set_value_range_to_value.
1245         (set_value_range_to_value): Call avoid_overflow_infinity.
1246         (extract_range_from_assert): Likewise.
1247
1248 2007-05-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1249
1250         PR middle-end/31095
1251          * builtins.c (expand_builtin_memmove_args): Strip nops that don't
1252         change the type before looking for a COMPOUND_EXPR.
1253
1254 2007-05-22  Ian Lance Taylor  <iant@google.com>
1255
1256         * lower-subreg.c (decompose_multiword_subregs): If we change an
1257         insn, call remove_retval_note on it.
1258
1259 2007-05-22  Richard Sandiford  <rsandifo@nildram.co.uk>
1260
1261         * regs.h (end_hard_regno): New function.
1262         (END_HARD_REGNO, END_REGNO): New macros.
1263         (add_to_hard_reg_set): New function.
1264         (remove_from_hard_reg_set): Likewise.
1265         (in_hard_reg_set_p): Likewise.
1266         (overlaps_hard_reg_set_p): Likewise.
1267         * bt-load.c (find_btr_reference): Use overlaps_hard_reg_set_p.
1268         (note_btr_set): Use END_HARD_REGNO.
1269         * caller-save.c (setup_save_areas): Use end_hard_regno.
1270         (mark_set_regs): Use END_HARD_REGNO.
1271         (add_stored_regs): Use end_hard_regno.
1272         (mark_referenced_regs): Use add_to_hard_reg_set.
1273         * combine.c (update_table_tick): Use END_REGNO.
1274         (record_value_for_reg): Likewise.
1275         (record_dead_and_set_regs): Likewise.
1276         (get_last_value_validate): Likewise.
1277         (use_crosses_set_p): Likewise.
1278         (reg_dead_at_p_1): Likewise.
1279         (reg_dead_at_p): Likewise.
1280         (mark_used_regs_combine): Use add_to_hard_reg_set.
1281         (move_deaths): Use END_HARD_REGNO.
1282         (reg_bitfield_target_p): Use end_hard_regno.
1283         (distribute_notes): Use END_HARD_REGNO.
1284         * cse.c (mention_regs): Use END_REGNO.
1285         (insert): Use add_to_hard_reg_set.
1286         (invalidate): Use END_HARD_REGNO.
1287         (invalidate_for_call): Likewise.
1288         (exp_equiv_p): Use END_REGNO.
1289         (cse_insn): Likewise.
1290         * cselib.c (cselib_invalidate_regno): Use end_hard_regno.
1291         * df-problems.c (df_urec_mark_reg_change): Use END_HARD_REGNO.
1292         * df-scan.c (df_ref_record): Use END_HARD_REGNO.
1293         * function.c (keep_stack_depressed): Use end_hard_regno.
1294         * global.c (global_alloc): Use end_hard_regno.
1295         (global_conflicts): Use add_to_hard_reg_set instead of
1296         mark_reg_live_nc.
1297         (find_reg): Likewise.
1298         (mark_reg_store): Likewise.
1299         (mark_reg_conflicts): Likewise.
1300         (mark_reg_death): Use remove_from_hard_reg_set.
1301         (mark_reg_live_nc): Delete.
1302         (set_preference): Use end_hard_regno.
1303         * local-alloc.c (mark_life): Use add_to_hard_reg_set and
1304         remove_from_hard_reg_set.
1305         (post_mark_life): Use add_to_hard_reg_set.
1306         * mode-switching.c (reg_dies): Use remove_from_hard_reg_set.
1307         (reg_becomes_live): Use add_to_hard_reg_set.
1308         * recog.c (reg_fits_class_p): Use in_hard_reg_set_p.
1309         (peep2_find_free_register): Use add_to_hard_reg_set.
1310         * reg-stack.c (convert_regs_exit): Use END_HARD_REGNO.
1311         * regclass.c (record_reg_classes): Use in_hard_reg_set_p.
1312         * regrename.c (note_sets): Use add_to_hard_reg_set.
1313         (clear_dead_regs): Use remove_from_hard_reg_set.
1314         (regrename_optimize): Use add_to_hard_reg_set.
1315         (find_oldest_value_reg): Use in_hard_reg_set_p.
1316         * reload.c (push_reload): Use in_hard_reg_set_p and end_hard_regno.
1317         (hard_reg_set_here_p): Use end_hard_regno.
1318         (decompose): Likewise.
1319         (reg_overlap_mentioned_for_reload_p): Use END_HARD_REGNO.
1320         (find_equiv_reg): Use in_hard_reg_set_p and end_hard_regno.
1321         * reload1.c (compute_use_by_pseudos): Use add_to_hard_reg_set.
1322         (mark_home_live): Use end_hard_regno.
1323         (spill_hard_reg): Likewise.
1324         (clear_reload_reg_in_use): Likewise.
1325         * reorg.c (delete_prior_computation): Use END_REGNO.
1326         * resource.c (update_live_status): Use END_HARD_REGNO.
1327         (mark_referenced_resources): Use add_to_hard_reg_set.
1328         (mark_set_resources): Likewise.
1329         (mark_target_live_regs): Likewise.  Use remove_from_hard_reg_set.
1330         * rtlanal.c (refers_to_regno_p): Use END_REGNO.
1331         (reg_overlap_mentioned_p): Likewise.
1332         (dead_or_set_p): Likewise.  Use an exclusive upper loop bound.
1333         (covers_regno_no_parallel_p): Use END_REGNO.
1334         (find_regno_note): Likewise.
1335         (find_reg_fusage): Use END_HARD_REGNO.
1336         * stmt.c (decl_overlaps_hard_reg_set_p): Use overlaps_hard_reg_set_p.
1337         * var-tracking.c (emit_note_insn_var_location): Use end_hard_regno.
1338
1339 2007-05-22  Richard Sandiford  <rsandifo@nildram.co.uk>
1340
1341         * mode-switching.c (reg_dies): Change type of second argument to
1342         "HARD_REG_SET *".
1343         (optimize_mode_switching): Update accordingly.
1344
1345 2007-05-22  Richard Sandiford  <richard@codesourcery.com>
1346
1347         * hard-reg-set.h (GO_IF_HARD_REG_SUBSET, GO_IF_HARD_REG_EQUAL): Delete
1348         in favor of...
1349         (hard_reg_subset_p, hard_reg_sets_equal_p, hard_reg_sets_intersect_p)
1350         (hard_reg_set_empty_p): ...these new functions.
1351         * bt-load.c (choose_btr): Use hard_reg_subset_p instead of
1352         GO_IF_HARD_REG_SUBSET.
1353         * cfgcleanup.c (old_insns_match_p): Use hard_reg_sets_equal_p
1354         instead of GO_IF_HARD_REG_EQUAL.
1355         * df-problems.c (df_urec_local_compute): Use hard_reg_set_empty_p
1356         instead of GO_IF_HARD_REG_EQUAL.
1357         * global.c (find_reg): Use hard_reg_set_empty_p instead of
1358         GO_IF_HARD_REG_SUBSET.
1359         (modify_reg_pav): Use hard_reg_set_empty_p instead of
1360         GO_IF_HARD_REG_EQUAL.
1361         * local-alloc.c (find_free_reg): Use hard_reg_subset_p instead
1362         of GO_IF_HARD_REG_SUBSET.
1363         * reg-stack.c (change_stack, convert_regs_1): Use hard_reg_sets_equal_p
1364         instead of GO_IF_HARD_REG_EQUAL.
1365         * regclass.c (init_reg_sets_1, reg_scan_mark_refs): Use
1366         hard_reg_subset_p instead of GO_IF_HARD_REG_SUBSET.
1367         (reg_classes_intersect_p): Use hard_reg_sets_intersect_p instead
1368         of GO_IF_HARD_REG_SUBSET,
1369         * reload1.c (finish_spills): Use hard_reg_subset_p instead of
1370         GO_IF_HARD_REG_SUBSET.
1371         * struct-equiv.c (death_notes_match_p): Use hard_reg_sets_equal_p
1372         instead of GO_IF_HARD_REG_EQUAL.
1373         * config/sh/sh.c (push_regs, calc_live_regs): Use
1374         hard_reg_sets_intersect_p instead of hard_regs_intersect_p.
1375         (hard_regs_intersect_p): Delete.
1376
1377 2007-05-22  Janis Johnson  <janis187@us.ibm.com>
1378
1379         * doc/sourcebuild.texi (Test Directives) Add dg-message.
1380
1381 2007-05-22  H.J. Lu  <hongjiu.lu@intel.com>
1382             Richard Henderson  <rth@redhat.com>
1383
1384         * config.gcc (i[34567]86-*-*): Add smmintrin.h to
1385         extra_headers.
1386         (x86_64-*-*): Likewise.
1387
1388         * i386/i386-modes.def (V2QI): New.
1389
1390         * config/i386/i386.c (ix86_handle_option): Handle SSE4.1 and
1391         SSE4A.
1392         (override_options): Support SSE4.1.
1393         (IX86_BUILTIN_BLENDPD): New for SSE4.1.
1394         (IX86_BUILTIN_BLENDPS): Likewise.
1395         (IX86_BUILTIN_BLENDVPD): Likewise.
1396         (IX86_BUILTIN_BLENDVPS): Likewise.
1397         (IX86_BUILTIN_PBLENDVB128): Likewise.
1398         (IX86_BUILTIN_PBLENDW128): Likewise.
1399         (IX86_BUILTIN_DPPD): Likewise.
1400         (IX86_BUILTIN_DPPS): Likewise.
1401         (IX86_BUILTIN_INSERTPS128): Likewise.
1402         (IX86_BUILTIN_MOVNTDQA): Likewise.
1403         (IX86_BUILTIN_MPSADBW128): Likewise.
1404         (IX86_BUILTIN_PACKUSDW128): Likewise.
1405         (IX86_BUILTIN_PCMPEQQ): Likewise.
1406         (IX86_BUILTIN_PHMINPOSUW128): Likewise.
1407         (IX86_BUILTIN_PMAXSB128): Likewise.
1408         (IX86_BUILTIN_PMAXSD128): Likewise.
1409         (IX86_BUILTIN_PMAXUD128): Likewise.
1410         (IX86_BUILTIN_PMAXUW128): Likewise.
1411         (IX86_BUILTIN_PMINSB128): Likewise.
1412         (IX86_BUILTIN_PMINSD128): Likewise.
1413         (IX86_BUILTIN_PMINUD128): Likewise.
1414         (IX86_BUILTIN_PMINUW128): Likewise.
1415         (IX86_BUILTIN_PMOVSXBW128): Likewise.
1416         (IX86_BUILTIN_PMOVSXBD128): Likewise.
1417         (IX86_BUILTIN_PMOVSXBQ128): Likewise.
1418         (IX86_BUILTIN_PMOVSXWD128): Likewise.
1419         (IX86_BUILTIN_PMOVSXWQ128): Likewise.
1420         (IX86_BUILTIN_PMOVSXDQ128): Likewise.
1421         (IX86_BUILTIN_PMOVZXBW128): Likewise.
1422         (IX86_BUILTIN_PMOVZXBD128): Likewise.
1423         (IX86_BUILTIN_PMOVZXBQ128): Likewise.
1424         (IX86_BUILTIN_PMOVZXWD128): Likewise.
1425         (IX86_BUILTIN_PMOVZXWQ128): Likewise.
1426         (IX86_BUILTIN_PMOVZXDQ128): Likewise.
1427         (IX86_BUILTIN_PMULDQ128): Likewise.
1428         (IX86_BUILTIN_PMULLD128): Likewise.
1429         (IX86_BUILTIN_ROUNDPD): Likewise.
1430         (IX86_BUILTIN_ROUNDPS): Likewise.
1431         (IX86_BUILTIN_ROUNDSD): Likewise.
1432         (IX86_BUILTIN_ROUNDSS): Likewise.
1433         (IX86_BUILTIN_PTESTZ): Likewise.
1434         (IX86_BUILTIN_PTESTC): Likewise.
1435         (IX86_BUILTIN_PTESTNZC): Likewise.
1436         (IX86_BUILTIN_VEC_EXT_V16QI): Likewise.
1437         (IX86_BUILTIN_VEC_SET_V2DI): Likewise.
1438         (IX86_BUILTIN_VEC_SET_V4SF): Likewise.
1439         (IX86_BUILTIN_VEC_SET_V4SI): Likewise.
1440         (IX86_BUILTIN_VEC_SET_V16QI): Likewise.
1441         (bdesc_ptest): New.
1442         (bdesc_sse_3arg): Likewise.
1443         (bdesc_2arg): Likewise.
1444         (bdesc_1arg): Likewise.
1445         (ix86_init_mmx_sse_builtins): Support SSE4.1.  Handle SSE builtins
1446         with 3 args.
1447         (ix86_expand_sse_4_operands_builtin): New.
1448         (ix86_expand_unop_builtin): Support 2 arg builtins with a constant
1449         smaller than 8 bits as the 2nd arg.
1450         (ix86_expand_sse_ptest): New.
1451         (ix86_expand_builtin): Support SSE4.1. Support 3 arg SSE builtins.
1452         (ix86_expand_vector_set): Support SSE4.1.
1453         (ix86_expand_vector_extract): Likewise.
1454
1455         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Define
1456         __SSE4_1__ for -msse4.1.
1457
1458         * config/i386/i386.md (UNSPEC_BLENDV): New for SSE4.1.
1459         (UNSPEC_INSERTPS): Likewise.
1460         (UNSPEC_DP): Likewise.
1461         (UNSPEC_MOVNTDQA): Likewise.
1462         (UNSPEC_MPSADBW): Likewise.
1463         (UNSPEC_PHMINPOSUW): Likewise.
1464         (UNSPEC_PTEST): Likewise.
1465         (UNSPEC_ROUNDP): Likewise.
1466         (UNSPEC_ROUNDS): Likewise.
1467
1468         * config/i386/i386.opt (msse4.1): New for SSE4.1.
1469
1470         * config/i386/predicates.md (const_pow2_1_to_2_operand): New.
1471         (const_pow2_1_to_32768_operand): Likewise.
1472
1473         * config/i386/smmintrin.h: New. The SSE4.1 intrinsic header
1474         file.
1475
1476         * config/i386/sse.md (*vec_setv4sf_sse4_1): New pattern for
1477         SSE4.1.
1478         (sse4_1_insertps): Likewise.
1479         (*sse4_1_extractps): Likewise.
1480         (sse4_1_ptest): Likewise.
1481         (sse4_1_mulv2siv2di3): Likewise.
1482         (*sse4_1_mulv4si3): Likewise.
1483         (*sse4_1_smax<mode>3): Likewise.
1484         (*sse4_1_umax<mode>3): Likewise.
1485         (*sse4_1_smin<mode>3): Likewise.
1486         (*sse4_1_umin<mode>3): Likewise.
1487         (sse4_1_eqv2di3): Likewise.
1488         (*sse4_1_pinsrb): Likewise.
1489         (*sse4_1_pinsrd): Likewise.
1490         (*sse4_1_pinsrq): Likewise.
1491         (*sse4_1_pextrb): Likewise.
1492         (*sse4_1_pextrb_memory): Likewise.
1493         (*sse4_1_pextrw_memory): Likewise.
1494         (*sse4_1_pextrq): Likewise.
1495         (sse4_1_blendpd): Likewise.
1496         (sse4_1_blendps): Likewise.
1497         (sse4_1_blendvpd): Likewise.
1498         (sse4_1_blendvps): Likewise.
1499         (sse4_1_dppd): Likewise.
1500         (sse4_1_dpps): Likewise.
1501         (sse4_1_movntdqa): Likewise.
1502         (sse4_1_mpsadbw): Likewise.
1503         (sse4_1_packusdw): Likewise.
1504         (sse4_1_pblendvb): Likewise.
1505         (sse4_1_pblendw): Likewise.
1506         (sse4_1_phminposuw): Likewise.
1507         (sse4_1_extendv8qiv8hi2): Likewise.
1508         (*sse4_1_extendv8qiv8hi2): Likewise.
1509         (sse4_1_extendv4qiv4si2): Likewise.
1510         (*sse4_1_extendv4qiv4si2): Likewise.
1511         (sse4_1_extendv2qiv2di2): Likewise.
1512         (*sse4_1_extendv2qiv2di2): Likewise.
1513         (sse4_1_extendv4hiv4si2): Likewise.
1514         (*sse4_1_extendv4hiv4si2): Likewise.
1515         (sse4_1_extendv2hiv2di2): Likewise.
1516         (*sse4_1_extendv2hiv2di2): Likewise.
1517         (sse4_1_extendv2siv2di2): Likewise.
1518         (*sse4_1_extendv2siv2di2): Likewise.
1519         (sse4_1_zero_extendv8qiv8hi2): Likewise.
1520         (*sse4_1_zero_extendv8qiv8hi2): Likewise.
1521         (sse4_1_zero_extendv4qiv4si2): Likewise.
1522         (*sse4_1_zero_extendv4qiv4si2): Likewise.
1523         (sse4_1_zero_extendv2qiv2di2): Likewise.
1524         (*sse4_1_zero_extendv2qiv2di2): Likewise.
1525         (sse4_1_zero_extendv4hiv4si2): Likewise.
1526         (*sse4_1_zero_extendv4hiv4si2): Likewise.
1527         (sse4_1_zero_extendv2hiv2di2): Likewise.
1528         (*sse4_1_zero_extendv2hiv2di2): Likewise.
1529         (sse4_1_zero_extendv2siv2di2): Likewise.
1530         (*sse4_1_zero_extendv2siv2di2): Likewise.
1531         (sse4_1_roundpd): Likewise.
1532         (sse4_1_roundps): Likewise.
1533         (sse4_1_roundsd): Likewise.
1534         (sse4_1_roundss): Likewise.
1535         (mulv4si3): Don't expand for SSE4.1.
1536         (smax<mode>3): Likewise.
1537         (umaxv4si3): Likewise.
1538         (uminv16qi3): Likewise.
1539         (umin<mode>3): Likewise.
1540         (umaxv8hi3): Rewrite.  Only enabled for SSE4.1.
1541
1542         * doc/extend.texi: Document SSE4.1 built-in functions.
1543
1544         * doc/invoke.texi: Document -msse4.1.
1545
1546 2007-05-22  Nathan Sidwell  <nathan@codesourcery.com>
1547
1548         * config/m68k/linux.h (ASM_SPEC): Add asm_pcrel_spec.
1549         * config/m68k/m68k-none.h (ASM_SPEC): Don't override here.
1550         * config/m68k/m68k.h (ASM_PCREL_SPEC): New.
1551         (ASM_SPEC): Add asm_pcrel_spec.
1552         (EXTRA_SPECS): Add asm_pcrel_spec.
1553
1554 2007-05-21  David Daney  <ddaney@avtrex.com>
1555
1556         * doc/install.texi (Building a cross compiler): Add requirements
1557         for Java cross compiler.
1558
1559 2007-05-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1560
1561         PR middle-end/31995
1562         * tree-chrec.c (evolution_function_is_affine_multivariate_p):
1563         Add loopno argument.  Use evolution_function_is_invariant_rec_p
1564         instead of evolution_function_is_constant_p.
1565         Update calls to evolution_function_is_affine_multivariate_p.
1566         * tree-chrec.h (evolution_function_is_affine_multivariate_p):
1567         Add loopno argument.
1568         * tree-scalar-evolution.c (gather_chrec_stats): Call
1569         evolution_function_is_affine_multivariate_p with a loop
1570         number of 0.
1571         * tree-data-ref.c (analyze_miv_subscript): Likewise.
1572         (analyze_overlapping_iterations): Likewise.
1573         (access_functions_are_affine_or_constant_p): Likewise.
1574         (build_classic_dist_vector_1): If the access functions
1575         are equal, don't do anything.
1576
1577 2007-05-21  Paolo Bonzini  <bonzini@gnu.org>
1578             Paolo Carlini  <pcarlini@suse.de>
1579             Uros Bizjak  <ubizjak@gmail.com>
1580
1581         * c-cppbuiltin.c (c_cpp_builtins): Define
1582         __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1, __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2,
1583         __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4, __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8,
1584         __GCC_HAVE_SYNC_COMPARE_AND_SWAP_16, if appropriate.
1585         * doc/cpp.texi ([Standard Predefined Macros]): Document.
1586
1587 2007-05-21  Mike Stump  <mrs@apple.com>
1588
1589         * config/darwin.h (LINK_COMMAND_SPEC): Add .cxx/.cp for dsymutil
1590         handling as well.
1591         * config/darwin9.h (LINK_COMMAND_SPEC): Likewise.
1592
1593 2007-05-21  Uros Bizjak  <ubizjak@gmail.com>
1594
1595         * config/i386/tmmintrin.h (_mm_alignr_epi8): Provide macro
1596         implementation if __OPTIMIZE__ is not defined.
1597         (_mm_alignr_pi8): Ditto.
1598         * config/i386/ammintrin.h (_mm_extracti_si64): Ditto.
1599         (_mm_inserti_si64): Ditto.
1600         * config/i386/emmintrin.h (_mm_shuffle_pd): Ditto.
1601         (_mm_slli_epi16): Ditto.
1602         (_mm_slli_epi32): Ditto.
1603         (_mm_slli_epi64): Ditto.
1604         (_mm_srai_epi16): Ditto.
1605         (_mm_srai_epi32): Ditto.
1606         (_mm_srli_si128): Ditto.
1607         (_mm_slli_si128): Ditto.
1608         (_mm_srli_epi16): Ditto.
1609         (_mm_srli_epi32): Ditto.
1610         (_mm_srli_epi64): Ditto.
1611         (_mm_extract_epi16): Ditto.
1612         (_mm_insert_epi16): Ditto.
1613         (_mm_shufflehi_epi16): Ditto.
1614         (_mm_shufflelo_epi16): Ditto.
1615         (_mm_shuffle_epi32): Ditto.
1616         * config/i386/xmmintrin.h (_mm_extract_pi16): Ditto.
1617         (_m_pextrw): Ditto.
1618         (_mm_insert_pi16): Ditto.
1619         (_m_pinsrw): Ditto.
1620         (_mm_shuffle_pi16): Ditto.
1621         (_m_pshufw): Ditto.
1622         (_mm_shufle_ps): Ditto.
1623         (_mm_prefetch): Ditto.
1624
1625 2007-05-21  Andreas Krebbel  <krebbel1@de.ibm.com>
1626
1627         * defaults.h (IBM_FLOAT_FORMAT): Macro definition removed.
1628         * doc/tm.texi (IBM_FLOAT_FORMAT): Documentation entry removed.
1629         * real.c (encode_i370_single, decode_i370_single,
1630         encode_i370_double, decode_i370_double): Functions removed.
1631         (i370_single_format, i370_double_format): Initializations removed.
1632         (real_maxval, round_for_format, exact_real_truncate, significand_size):
1633         Consider the log2_b field to always be one.
1634         (ieee_single_format, mips_single_format, coldfire_single_format,
1635         ieee_double_format, mips_double_format, coldfire_double_format,
1636         ieee_extended_motorola_format, ieee_extended_intel_96_format,
1637         ieee_extended_intel_128_format, ieee_extended_intel_96_round_53_format,
1638         ibm_extended_format, mips_extended_format, ieee_quad_format,
1639         mips_quad_format, vax_f_format, vax_d_format, vax_g_format,
1640         decimal_single_format, decimal_double_format, decimal_quad_format,
1641         c4x_single_format, c4x_extended_format, real_internal_format): Remove
1642         initialization of log2_b.
1643         * real.h (i370_single_format, i370_double_format): Declarations removed.
1644         * c-cppbuiltin.c (builtin_define_float_constants): Consider the log2_b
1645         field to always be one.
1646
1647 2007-05-21  Andreas Schwab  <schwab@suse.de>
1648
1649         * config/ia64/ia64.c (emit_predicate_relation_info): Fix use of
1650         NOTE_INSN_BASIC_BLOCK_P.
1651         (process_for_unwind_directive): Likewise.
1652
1653 2007-05-21  Nathan Sidwell  <nathan@codesourcery.com>
1654
1655         * builtins.c (expand_builtin_setjmp_setup): Update comment.
1656         * function.h (struct function): Move va_list_gpr_size,
1657         va_list_fpr_size, function_frequency to front of bitfields.  Add
1658         calls_unwind_init.
1659         (current_function_calls_unwind_init): New.
1660         * except.c (expand_builtin_unwind_init): Set
1661         current_function_calls_unwind_init not
1662         current_function_has_nonlocal_label.
1663         * reload1.c (has_nonexceptional_receiver): New.
1664         (reload): Use it and current_function_calls_unwind_init to
1665         determine whether call-saved regs must be saved.
1666
1667 2007-05-20  Jan Hubicka  <jh@suse.cz>
1668
1669         * gengtype.c (adjust_field_rtx_def): Use NOTE_KIND instead of
1670         NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
1671         * ddg.c (create_ddg): LIkewise.
1672         * final.c (final): Remove hunk moving line numbernotes around since
1673         they are no longer present at this stage.
1674         (final_scan_insn): Use NOTE_KIND instead of
1675         NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
1676         (output_asm_label): Likewise.
1677         * reorg.c (dbr_schedule): Likewise.
1678         * haifa-sched.c (unlink_other_notes): Likewise.
1679         * mode-switching.c (optimize_mode_switching): Likewise.
1680         * graph.c (start_bb): Likewise.
1681         * rtl.def (NOTE): Update description.
1682         * jump.c (squeeze_notes): Delete.
1683         (mark_jump_label): Use NOTE_KIND instead of NOTE_LINE_NUMBER; use
1684         NOTE_INSN_BASIC_BLOCK_P when possible.
1685         * ifcvt.c (dead_or_predicable): Remove call of squeeze_notes.
1686         * dwarf2out.c (gen_label_die): Use NOTE_KIND instead of
1687         NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
1688         (dwarf2out_var_location): Likewise.
1689         * cfgbuild.c (make_edges): Likewise.
1690         (find_basic_blocks_1): Likewise.
1691         * function.c (reorder_blocks_1): Likewise.
1692         (epilogue_done): Likewise.
1693         (reposition_prologue_and_epilogue_notes): Likewise.
1694         * print-rtl.c (print_rtx): Likewise; drop code for printing line number
1695         notes.
1696         (print_rtl): Likewise.
1697         (print_rtl_single): Likewise.
1698         * gcse.c (insert_insn_start_bb): Likewise.
1699         * alias.c (init_alias_analysis): Likewise.
1700         * calls.c (fixup_tail_calls): Likewise.
1701         * except.c (sjlj_emit_function_enter): Likewise.
1702         * emit-rtl.c (add_insn_after): Likeiwse.
1703         (emit_label_before): Likewise.
1704         (emit_label_after): Likewise.
1705         (emit_note_before, emit_note_after, emit_note): Update
1706         parameter to be enum insn_note; do not deal with source
1707         files.
1708         * cfgcleanup.c (merge_blocks_move_predecessor_nojumps):
1709         Use NOTE_KIND instead of NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P
1710         when possible.
1711         (merge_blocks_move_successor_nojumps): Simplify now when
1712         we don't have BLOCK notes.
1713         (try_optimize_cfg): Likewise.
1714         * cfglayout.c (skip_insns_after_block): Likewise.
1715         (record_effective_endpoints): Likewise.
1716         (duplicate_insn_chain): Likewise.
1717         * varasm.c (output_constant_pool_1): Likewise.
1718         * sched-deps.c (sched_analyze): Likewise.
1719         * rtl.c (NOTE_INSN_MAX_isnt_negative_adjust_NOTE_INSN_BIAS):
1720         Exterminate.
1721         (note_insn_name): Simplify now when NOTE_INSN_BIAS is gone.
1722         * rtl.h (NOTE_SOURCE_LOCATION, NOTE_EXPANDED_LOCATION): Exterminate.
1723         (SET_INSN_DELETED): Simplify.
1724         (NOTE_LINE_NUMBER): Exterminate.
1725         (NOTE_LINE_KIND): New.
1726         (NOTE_INSN_BASIC_BLOCK_P): Update.
1727         (enum insn_note): Simplify.
1728         (GET_NOTE_INSN_NAME) Simplify.
1729         (emit_note_before, emit_note_after, emit_note): Update prototype.
1730         (squeeze_notes): Remove.
1731         * sched-int.h (NOTE_NOT_BB_P): Update.
1732         * resource.c (mark_target_live_regs): Update.
1733         * sched-rgn.c (debug_dependencies): Update.
1734         * sched-vis.c (print_insn): Update.
1735         * config/alpha/alpha.c (alpha_handle_trap_shadows): Update.
1736         * config/i386/i386.c (ix86_output_function_epilogue): Update.
1737         * config/sh/sh.c (sh_adjust_unroll_max): Function dead since gcc 4.0.0.
1738         (TARGET_ADJUST_UNROLL_MAX): Likewise.
1739         (split_branches): Update.
1740         (sh_optimize_target_register_callee_saved): Remove hunk dead since gcc
1741         4.0.0.
1742         (sh_adjust_unroll_max): Exterminate.
1743         * config/c4x/c4x.c (c4x_reorg): Use SET_INSN_DELETED.
1744         * config/m68hc11/m68hc11.c (m68hc11_check_z_replacement): Likewise.
1745         (m68hc11_reorg): Likewise.
1746         * config/ia64/ia64.c (emit_insn_group_barriers): Update.
1747         (emit_predicate_relation_info): Update.
1748         (process_for_unwind_directive): Update.
1749         * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Update.
1750         (output_call): Update.
1751         * config/pa/pa.c (output_lbranch): Update.
1752         (output_millicode_call): Update.
1753         (output_call): Update.
1754         (pa_combine_instructions): Update.
1755         * config/mips/mips.c (mips16_gp_pseudo_reg): Update.
1756         * config/bfin/bfin.c (gen_one_bundle): Update.
1757         * cfgrtl.c (can_delete_note_p): Update.
1758         (delete_insn): Update.
1759         (rtl_merge_blocks): Update.
1760         (commit_one_edge_insertion): Update.
1761         (rtl_verify_flow_info): Update.
1762         * stmt.c (expand_case): Do not call squeeze_notes.
1763
1764 2007-05-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1765
1766         PR middle-end/7651
1767         PR c++/11856
1768         PR c/12963
1769         PR c/23587
1770         PR other/29694
1771         * c.opt (Wtype-limits): New.
1772         * doc/invoke.texi (Wtype-limits): Document it.
1773         (Wextra): Enabled by -Wextra.
1774         * c-opts.c (c_common_post_options): Enabled by -Wextra.
1775         * c-common.c (shorten_compare): Warn with Wtype-limits.
1776
1777 2007-05-20  Uros Bizjak  <ubizjak@gmail.com>
1778
1779         * config/i386/tmmintrin.h (_mm_alignr_epi32): Implement as always
1780         inlined function, not as a macro.
1781         (_mm_alignr_pi8): Ditto.
1782         * config/i386/ammintrin.h (_mm_extracti_si64): Ditto.
1783         (_mm_inserti_si64): Ditto.
1784         * config/i386/emmintrin.h (_mm_shuffle_pd): Ditto.
1785         (_mm_extract_epi16): Ditto.
1786         (_mm_insert_epi16): Ditto.
1787         (_mm_shufflehi_epi16): Ditto.
1788         (_mm_shufflelo_epi16): Ditto.
1789         (_mm_shuffle_epi32): Ditto.
1790         * config/i386/xmmintrin.h (_mm_set_ss): Use 0.0f for float constant.
1791         * config/386/mm3dnow.h: Add __attribute__((__always_inline__)) to
1792         all functions.
1793         (_m_from_float): Add __extension__ to conversion.  Use 0.0f for
1794         float constant.
1795         (_m_to_float): Use C89 compatible assignment.
1796
1797 2007-04-20  Martin Michlmayr  <tbm@cyrius.com>
1798
1799         PR target/32007
1800         * config/arm/lib1funcs.asm: Define __ARM_ARCH__ on v2/v3 machines.
1801
1802 2007-05-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1803
1804         PR middle-end/7651
1805         * doc/invoke.texi (Wreturn-type): Complete description.
1806         (Wextra): Delete item about return-type warning.
1807         * c-decl.c: Delete redundant Wextra warning.
1808
1809 2007-05-20  Uros Bizjak  <ubizjak@gmail.com>
1810
1811         PR target/31585
1812         * config/i386/pmmintrin.h: Do not include xmmintrin.h
1813         * config/i386/xmmintrin.h (_mm_extract_pi16): Implement as always
1814         inlined function, not as a macro.
1815         (_mm_prefetch): Ditto.
1816         (_m_pextrw): Ditto.
1817         (_mm_insert_pi16): Ditto.
1818         (_m_pinsrw): Ditto.
1819         (_mm_shuffle_pi16): Ditto.  Add const to __N argument.
1820         (_m_pshufw): Ditto. Add const to __N argument.
1821         (_mm_shufle_ps): Ditto.  Add const to __mask argument.
1822         * config/i386/emmintrin.h (_mm_slli_epi16): Add const to __B argument.
1823         (_mm_slli_epi32): Ditto.
1824         (_mm_srli_si128): Implement as always inlined function, not as a macro.
1825         Add __inline to function declaration.
1826         (_mm_slli_si128): Ditto.
1827
1828 2007-05-19  Uros Bizjak  <ubizjak@gmail.com>
1829
1830         * config/i386/sfp-machine.h (FP_EX_INVALID, FP_EX_DENORM,
1831         FP_EXP_DIVZERO, FP_EX_OVERFLOW, FP_EX_UNDERFLOW, FP_EX_INEXACT):
1832         New constants.
1833         (struct fenv): New structure.
1834         (FP_HANDLE_EXCEPTIONS): New define.
1835         (FP_RND_NEAREST, FP_RND_ZERO, FP_RND_PINF, FP_RND_MINF): New constants.
1836         (_FP_DECL_EXP): New define.
1837         (FP_INIT_ROUNDMODE): New define.
1838         (FP_ROUNDMODE): New define.
1839
1840 2007-05-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1841
1842         * doc/invoke.texi (Warning Options): Add -Wconversion-sign.
1843         (Wconversion): Update description.
1844         (Wconversion-sign): New.
1845         * c.opt (Wconversion-sign): New.
1846         * c-opts.c (c_common_post_options): Uninitialized Wconversion-sign
1847         means disabled for C++. Otherwise, take the status of Wconversion.
1848         * c-common.c (conversion_warning): Warn with either Wconversion or
1849         Wconversion-sign.
1850         (warnings_for_convert_and_check): Conditions are already checked by
1851         conversion_warning.
1852         (convert_and_check): Don't check warnings if the conversion failed.
1853
1854 2007-05-19 Andy Hutchinson <HutchinsonAndy@netscape.net>
1855            Anatoly Sokolov <aesok@dol.ru>
1856
1857         * config/avr/avr-protos.h (expand_prologue, expand_epilogue,
1858         avr_epilogue_uses) : Add declaration.
1859         * config/avr/predicates.md (avr_sp_immediate_operand): New predicate.
1860         * config/avr/constraints.md (R): New constraint.
1861         config/avr/avr.md (SREG_ADDR, UNSPEC_SEI, UNSPEC_CLI,
1862         UNSPECV_PROLOGUE_SAVES, UNSPECV_EPILOGUE_RESTORES): New constants.
1863         (*pop1, *pop2, *pop3, *pop4, *pop5): Combine into ...
1864         (*addhi3_sp_R_pc2, *addhi3_sp_R_pc3): ... these patterns.
1865         (*movhi_sp, popqi, pophi, enable_interrupt, disable_interrupt,
1866         call_prologue_saves, epilogue_restores, return_from_epilogue,
1867         return_from_main_epilogue, return_from_interrupt_epilogue,
1868         return_from_naked_epilogue, prologue, epilogue): New patterns.
1869         (jump): Handle symbol reference.
1870         * config/avr/avr.c (out_adj_frame_ptr, out_set_stack_ptr,
1871         avr_output_function_prologue, avr_output_function_epilogue): Remove
1872         functions.
1873         (avr_init_machine_status, expand_prologue, expand_epilogue,
1874         avr_asm_function_end_prologue, avr_epilogue_uses,
1875         avr_asm_function_begin_epilogue): New functions.
1876         (prologue_size, epilogue_size, jump_tables_size): Remove global
1877         variables.
1878         (TARGET_ASM_FUNCTION_PROLOGUE, TARGET_ASM_FUNCTION_EPILOGUE): Remove.
1879         (TARGET_ASM_FUNCTION_END_PROLOGUE): Define.
1880         (TARGET_ASM_FUNCTION_BEGIN_EPILOGUE): Define.
1881         (avr_override_options): Initialise init_machine_status.
1882         (output_movhi): Handle all stack pointer loads.
1883         (out_movqi_r_mr, out_movqi_mr_r): Handle SREG_ADDR address.
1884         (avr_output_addr_vec_elt): Do not use variable jump_tables_size.
1885         * config/avr/avr.h (AVR_2_BYTE_PC, AVR_3_BYTE_PC): New.
1886         (EPILOGUE_USES) Redefine.
1887         (machine_function) Declare.
1888
1889 2007-05-19  Richard Sandiford  <richard@codesourcery.com>
1890
1891         * config/mips/mips.c (mips_offset_within_alignment_p): Tweak comment.
1892         Use a single return statement.
1893
1894 2007-05-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1895
1896         PR middle-end/30250
1897         * builtins.c (do_mpfr_lgamma_r): New.
1898         (fold_builtin_2): Handle builtin gamma_r/lgamma_r.
1899         * tree.h (CASE_FLT_FN_REENT): New.
1900
1901 2007-05-18  Geoffrey Keating  <geoffk@apple.com>
1902
1903         * dwarf2out.c (print_die): Use '%ld' not '%lu' to print a 'long'.
1904         (output_die): Use 'unsigned long' with %x.
1905         * sched-vis.c (print_value): Use 'unsigned HOST_WIDE_INT' and
1906         HOST_WIDE_INT_PRINT_HEX to print HOST_WIDE_INT.
1907         * tree-dump.c (dump_pointer): Use 'unsigned long' for %lx.
1908
1909         * unwind-dw2.c (uw_identify_context): Use the CFA, not the IP.
1910
1911 2007-05-18  H.J. Lu  <hongjiu.lu@intel.com>
1912
1913         PR target/31989
1914         PR target/31681
1915         PR target/31666
1916         * config/i386/i386.c (init_cumulative_args): Set maybe_vaarg to
1917         true if function has no argument.
1918
1919 2007-05-18  DJ Delorie  <dj@redhat.com>
1920
1921         * config/mips/mips.c (mips_offset_within_alignment_p): New.
1922         (mips_symbolic_constant_p): Call it for TPREL and DTPREL symbols.
1923
1924 2007-05-18  Uros Bizjak  <ubizjak@gmail.com>
1925
1926         * longlong.h (__x86_64__): Add definitions for add_ssaaaa,
1927         sub_ddmmss, umul_ppmm, udiv_qrnnd, count_leading_zeros and
1928         count_trailing_zeros.
1929         (__i386__): Implement count_leading_zeros using __builtin_clz().
1930         Implement count_trailing_zeros usign __builtin_ctz().
1931
1932 2007-05-18  Richard Sandiford  <richard@codesourcery.com>
1933
1934         * config/i386/vxworks.h (ASM_PREFERRED_EH_DATA_FORMAT): Undefine.
1935
1936 2007-05-18  Uros Bizjak  <ubizjak@gmail.com>
1937
1938         PR middle-end/31344
1939         * expr.c (emit_move_change_mode): Change mode of push operands here.
1940
1941 2007-05-17  Ian Lance Taylor  <iant@google.com>
1942
1943         PR tree-optimization/31953
1944         * tree-vrp.c (set_value_range_to_value): Add equiv parameter.
1945         Change all callers.
1946         (set_value_range_to_null): Call set_value_range_to_value.
1947         (extract_range_from_comparison): Likewise.
1948
1949 2007-05-17  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1950
1951         * toplev.c (print_version): Output GMP/MPFR version info.
1952
1953         * builtins.c (CASE_MATHFN_REENT): New macro.
1954         (mathfn_built_in): Use it.
1955         * builtins.def (BUILT_IN_GAMMA_R, BUILT_IN_GAMMAF_R,
1956         BUILT_IN_GAMMAL_R, BUILT_IN_LGAMMA_R, BUILT_IN_LGAMMAF_R,
1957         BUILT_IN_LGAMMAL_R): New.
1958         * doc/extend.texi: Document new builtins.
1959
1960         PR middle-end/31796
1961         * builtins.c (do_mpfr_remquo): New.
1962         (fold_builtin_2): Handle BUILT_IN_DREM/BUILT_IN_REMAINDER.
1963         (fold_builtin_3): Handle BUILT_IN_REMQUO.
1964
1965         PR middle-end/30251
1966         * builtins.c (fold_builtin_1): Handle y0, y1.
1967         (fold_builtin_2): Handle yn.
1968
1969         PR middle-end/30251
1970         * builtins.c (do_mpfr_bessel_n): New.
1971         (fold_builtin_1): Handle BUILT_IN_J0 and BUILT_IN_J1.
1972         (fold_builtin_2): Handle BUILT_IN_JN.
1973
1974 2007-05-17  Danny Smith  <dannysmith@users.sourceforge.net>
1975
1976         PR target/31965
1977         * config/i386/mingw32.h (_INTEGRAL_MAX_BITS): Define builtin as
1978         TYPE_PRECISION (intmax_type_node).
1979
1980 2007-05-17  Steve Ellcey  <sje@cup.hp.com>
1981
1982         PR target/31850
1983         * reload.c (subst_reloads): Remove checking.
1984
1985 2007-05-17  Eric Botcazou  <ebotcazou@libertysurf.fr>
1986
1987         PR rtl-optimization/31691
1988         * combine.c (simplify_set): Build a new src pattern instead of
1989         substituting its operands in the COMPARE case.
1990
1991 2007-05-17  Zdenek Dvorak  <dvorakz@suse.cz>
1992
1993         * tree-vrp.c (finalize_jump_threads): Do not care about dominance info.
1994         (execute_vrp): Preserve loops through jump threading.
1995         * tree-ssa-threadupdate.c (thread_single_edge,
1996         dbds_continue_enumeration_p, determine_bb_domination_status,
1997         thread_through_loop_header): New functions.
1998         (create_edge_and_update_destination_phis,
1999         create_edge_and_update_destination_phis): Set loops for the new blocks.
2000         (prune_undesirable_thread_requests): Removed.
2001         (redirect_edges): Do not pretend that redirect_edge_and_branch can
2002         create new blocks.
2003         (thread_block): Do not call prune_undesirable_thread_requests.
2004         Update loops.
2005         (mark_threaded_blocks): Select edges to thread here.
2006         (thread_through_all_blocks): Take may_peel_loop_headers argument.
2007         Thread edges through loop headers independently.
2008         * cfgloopmanip.c (create_preheader, mfb_keep_just): Export.
2009         * tree-pass.h (TODO_mark_first_instance): New.
2010         (first_pass_instance): Declare.
2011         * cfghooks.c (duplicate_block): Put the block to the original loop
2012         if copy is not specified.
2013         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Preserve loops through
2014         jump threading.  Pass may_peel_loop_headers to
2015         thread_through_all_blocks according to first_pass_instance.
2016         * cfgloop.h (create_preheader): Declare.
2017         * tree-flow.h (thread_through_all_blocks): Declaration changed.
2018         * basic-block.h (mfb_keep_just, mfb_kj_edge): Declare.
2019         * passes.c (first_pass_instance): New variable.
2020         (next_pass_1): Set TODO_mark_first_instance.
2021         (execute_todo): Set first_pass_instance.
2022
2023 2007-05-17  Uros Bizjak  <ubizjak@gmail.com>
2024
2025         PR tree-optimization/24659
2026         * optabs.h (enum optab_index): Add OTI_vec_unpacks_float_hi,
2027         OTI_vec_unpacks_float_lo, OTI_vec_unpacku_float_hi,
2028         OTI_vec_unpacku_float_lo, OTI_vec_pack_sfix_trunc and
2029         OTI_vec_pack_ufix_trunc.
2030         (vec_unpacks_float_hi_optab): Define new macro.
2031         (vec_unpacks_float_lo_optab): Ditto.
2032         (vec_unpacku_float_hi_optab): Ditto.
2033         (vec_unpacku_float_lo_optab): Ditto.
2034         (vec_pack_sfix_trunc_optab): Ditto.
2035         (vec_pack_ufix_trunc_optab): Ditto.
2036         * genopinit.c (optabs): Implement vec_unpack[s|u]_[hi|lo]_optab
2037         and vec_pack_[s|u]fix_trunc_optab using
2038         vec_unpack[s|u]_[hi\lo]_* and vec_pack_[u|s]fix_trunc_* patterns
2039         * tree-vectorizer.c (supportable_widening_operation): Handle
2040         FLOAT_EXPR and CONVERT_EXPR.  Update comment.
2041         (supportable_narrowing_operation): New function.
2042         * tree-vectorizer.h (supportable_narrowing_operation): Prototype.
2043         * tree-vect-transform.c (vectorizable_conversion): Handle
2044         (nunits_in == nunits_out / 2) and (nunits_out == nunits_in / 2) cases.
2045         (vect_gen_widened_results_half): Move before vectorizable_conversion.
2046         (vectorizable_type_demotion): Call supportable_narrowing_operation()
2047         to check for target support.
2048         * optabs.c (optab_for_tree_code) Return vec_unpack[s|u]_float_hi_optab
2049         for VEC_UNPACK_FLOAT_HI_EXPR, vec_unpack[s|u]_float_lo_optab
2050         for VEC_UNPACK_FLOAT_LO_EXPR and vec_pack_[u|s]fix_trunc_optab
2051         for VEC_PACK_FIX_TRUNC_EXPR.
2052         (expand_binop): Special case mode of the result for
2053         vec_pack_[u|s]fix_trunc_optab.
2054         (init_optabs): Initialize vec_unpack[s|u]_[hi|lo]_optab and
2055         vec_pack_[u|s]fix_trunc_optab.
2056
2057         * tree.def (VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR,
2058         VEC_PACK_FIX_TRUNC_EXPR): New tree codes.
2059         * tree-pretty-print.c (dump_generic_node): Handle
2060         VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR and
2061         VEC_PACK_FIX_TRUNC_EXPR.
2062         (op_prio): Ditto.
2063         * expr.c (expand_expr_real_1): Ditto.
2064         * tree-inline.c (estimate_num_insns_1): Ditto.
2065         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
2066
2067         * config/i386/sse.md (vec_unpacks_float_hi_v8hi): New expander.
2068         (vec_unpacks_float_lo_v8hi): Ditto.
2069         (vec_unpacku_float_hi_v8hi): Ditto.
2070         (vec_unpacku_float_lo_v8hi): Ditto.
2071         (vec_unpacks_float_hi_v4si): Ditto.
2072         (vec_unpacks_float_lo_v4si): Ditto.
2073         (vec_pack_sfix_trunc_v2df): Ditto.
2074
2075         * doc/c-tree.texi (Expression trees) [VEC_UNPACK_FLOAT_HI_EXPR]:
2076         Document.
2077         [VEC_UNPACK_FLOAT_LO_EXPR]: Ditto.
2078         [VEC_PACK_FIX_TRUNC_EXPR]: Ditto.
2079         * doc/md.texi (Standard Names) [vec_pack_sfix_trunc]: Document.
2080         [vec_pack_ufix_trunc]: Ditto.
2081         [vec_unpacks_float_hi]: Ditto.
2082         [vec_unpacks_float_lo]: Ditto.
2083         [vec_unpacku_float_hi]: Ditto.
2084         [vec_unpacku_float_lo]: Ditto.
2085
2086 2007-05-16  Uros Bizjak  <ubizjak@gmail.com>
2087
2088         * soft-fp/README: Update for new files.
2089         * soft-fp/floattisf.c: New file.
2090         * soft-fp/floattidf.c: New file.
2091         * soft-fp/floattitf.c: New file.
2092         * soft-fp/floatuntisf.c: New file.
2093         * soft-fp/floatuntidf.c: New file.
2094         * soft-fp/floatuntitf.c: New file.
2095         * soft-fp/fixsfti.c: New file.
2096         * soft-fp/fixdfti.c: New file.
2097         * soft-fp/fixtfti.c: New file.
2098         * soft-fp/fixunssfti.c: New file.
2099         * soft-fp/fixunsdfti.c: New file.
2100         * soft-fp/fixunstfti.c: New file.
2101         * soft-fp/extendxftf.c: New file.
2102         * soft-fp/trunctfxf.c: New file.
2103
2104         * libgcc-std.ver (__extendxftf2): Added to GCC_4.3.0 section.
2105         (__trunctfxf2): Ditto.
2106
2107         * config/i386/libgcc-x86_64-glibc.ver (__addtf3, __divtf3, __eqtf2,
2108         __extenddftf2, __extendsftf2, __fixtfdi, __fixtfsi, __fixtfti,
2109         __fixunstfdi, __fixunstfsi, __fixunstfti, __floatditf, __floatsitf,
2110         __floattitf, __floatunditf, __floatunsitf, __floatuntitf, __getf2,
2111         __letf2, __multf3, __negtf2, __subtf3, __trunctfdf2, __trunctfsf2,
2112         __unordtf2): Exclude and add to GCC_4.3.0 section for x86_64 targets.
2113
2114         * config/i386/t-fprules-softfp64: New file.
2115         * config/i386/sfp-machine.h: New file.
2116         * config.gcc (x86_64-*-linux*, x86_64-*-kfreebsd*-gnu,
2117         x86_64-*-knetbsd*-gnu): Add i386/t-fprules-softfp64
2118         and soft-fp/t-softfp to tmake_file.
2119         (i[34567]86-*-linux*, i[34567]86-*-kfreebsd*-gnu,
2120         i[34567]86-*-knetbsd*-gnu): Ditto for --enable-targets=all.
2121
2122         * config/i386/t-linux64 (softfp_wrap_start): New.
2123         (softfp_wrap_end): New.
2124         * config/i386/i386.c (ix86_scalar_mode_supported): TFmode is
2125         supported for TARGET_64BIT.
2126
2127 2007-05-16  Rafael Avila de Espindola  <espindola@google.com>
2128
2129         * c-common.c (c_common_signed_or_unsigned_type): Emulate
2130         c_common_unsigned_type behavior.
2131
2132 2007-05-16  Paolo Bonzini  <bonzini@gnu.org>
2133
2134         * config/i386/i386.c (legitimize_tls_address): Mark __tls_get_addr
2135         calls as pure.
2136
2137 2007-05-16  Eric Christopher  <echristo@apple.com>
2138
2139         * config/rs6000/rs6000.c (rs6000_emit_prologue): Move altivec register
2140         saving after stack push. Set sp_offset whenever we push.
2141         (rs6000_emit_epilogue): Move altivec register restore before
2142         stack push.
2143
2144 2007-05-16  Richard Sandiford  <richard@codesourcery.com>
2145
2146         * configure.ac: Allow sysroots to be relocated under $prefix as
2147         well as $exec_prefix.
2148         * configure: Regenerate.
2149
2150 2007-05-16  Richard Sandiford  <richard@codesourcery.com>
2151
2152         Revert:
2153
2154         2007-05-12  Richard Sandiford  <richard@codesourcery.com>
2155
2156         * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
2157         (gcc_tooldir): Likewise.
2158         * configure: Regenerate.
2159         * Makefile.in (libsubdir_to_prefix): New variable, based on the
2160         old configure.ac gcc_tooldir setting.
2161         (prefix_to_exec_prefix): New variable.
2162         (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
2163         rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
2164
2165 2007-05-14  Janis Johnson  <janis187@us.ibm.com>
2166
2167         * c-typeck.c (build_binary_op): Return early for error.
2168
2169 2007-05-15  Zdenek Dvorak  <dvorakz@suse.cz>
2170
2171         * tree-ssa-loop-niter.c (record_estimate): Use GGC_NEW to allocate
2172         struct nb_iter_bound.
2173         (free_numbers_of_iterations_estimates_loop): Use ggc_free.
2174         * gengtype.c (open_base_files): Add cfhloop.h to the list of includes.
2175         * cfgloopmanip.c (place_new_loop): Vector larray is gc-allocated.
2176         * tree-scalar-evolution.c: Include gt-tree-scalar-evolution.h.
2177         (struct scev_info_str, scalar_evolution_info): Add GTY markers.
2178         (new_scev_info_str): Use GGC_NEW to allocate struct scev_info_str.
2179         (del_scev_info): Use ggc_free.
2180         (scev_initialize): Allocate scalar_evolution_info in gc memory.
2181         * loop-init.c: Include ggc.h.
2182         (loop_optimizer_init): Use GGC_CNEW to allocate struct loops.
2183         (loop_optimizer_finalize): Use ggc_free.
2184         * tree-ssa-loop.c (pass_tree_unswitch, pass_vectorize,
2185         pass_linear_transfom, pass_empty_loop, pass_complete_unroll,
2186         pass_iv_optimize): Add TODO_ggc_collect.
2187         * function.h (struct function): Remove skip marker from x_current_loops.
2188         * cfgloop.c: Include ggc.h.
2189         (flow_loops_free, flow_loop_free): Free the loop descriptions in gc
2190         memory.
2191         (establish_preds): Vector superloops is gc allocated.
2192         (alloc_loop): Allocate loop using GGC_CNEW.  Allocate head of
2193         loop->exits list.
2194         (flow_loops_find): Vector larray is gc allocated.
2195         (loop_exit_free): Use ggc_free.
2196         (rescan_loop_exit): Use GGC_NEW to allocate struct loop_exit.  Reflect
2197         that head of exits list is now not a part of struct loop.
2198         (record_loop_exits): Allocate exits table in gc memory.
2199         (get_loop_exit_edges, verify_loop_structure, single_exit): Reflect that
2200         head of exits list is now not a part of struct loop.
2201         * cfgloop.h (struct lpt_decision, struct nb_iter_bound,
2202         struct loop_exit): Add GTY marker.
2203         (struct loop): Add GTY marker.  Make superloops vector gc allocated.
2204         Add skip marker to aux field.  Make head of exits list a separate
2205         object.
2206         (struct loops): Add GTY marker.  Make larray vector gc allocated.
2207         Add param marker to exits table.
2208         (get_loops): Type changed.
2209         * Makefile.in (tree-scalar-evolution.o): Add gt-tree-scalar-evolution.h
2210         dependency.
2211         (cfgloop.o, loop-init.o): Add ggc.h dependency.
2212         (GTFILES): Add cfgloop.h and tree-scalar-evolution.c.
2213         * basic-block.h (struct basic_block_def): Remove skip marker from
2214         loop_father field.
2215
2216 2007-05-14  Uros Bizjak  <ubizjak@gmail.com>
2217
2218         * builtins.c (expand_builtin_mathfn): Use EXPAND_NORMAL instead
2219         of 0 in the call to expand_expr().
2220         (expand_builtin_mathfn_3): Ditto.
2221         (expand_builtin_interclass_mathfn): Ditto.
2222         (expand_builtin_cexpi): Ditto.
2223         (expand_builtin_int_roundingfn): Ditto.
2224         (expand_builtin_int_roundingfn_2): Ditto.
2225         (expand_builtin_pow): Ditto.
2226         (expand_builtin_powi): Ditto.
2227         (expand_builtin_bswap): Ditto.
2228         (expand_builtin_unop): Ditto.
2229         (expand_builtin_fabs): Ditto.
2230         (get_builtin_sync_mem): Use NULL_RTX instead of NULL in
2231         the call to expand_expr().
2232         (expand_builtin_sync_operation): Ditto.
2233         (expand_builtin_compare_and_swap): Ditto.
2234         (expand_builtin_lock_test_and_set): Ditto.
2235         * except.c (expand_builtin_eh_return_data_regno): Use EXPAND_NORMAL
2236         instead of 0 in the call to expand_expr().
2237         (expand_builtin_extract_return_addr): Ditto.
2238         (expand_builtin_eh_return): Ditto.
2239         (expand_eh_return): Ditto.
2240         * explow.c (expr_size): Ditto.
2241         * expr.c (optimize_bitfield_assignment_op): Ditto.
2242         (expand_assignement): Ditto.
2243         (store_expr): Ditto.
2244         (store_field): Ditto.
2245         (expand_expr_addr_expr_1): Use NULL_RTX instead of NULL in
2246         the call to expand_expr().
2247         (expand_expr_real_1) [COMPLEX_CST]: Use EXPAND_NORMAL instead of 0
2248         in the call to expand_expr().
2249         [CONSTRUCTOR, PLUS_EXPR, MINUS_EXPR, NEGATE_EXPR, ABS_EXPR,
2250         BIT_NOT_EXPR, LSHIFT_EXPR, LT_EXPR, TRUTH_NOT_EXPR]: Ditto.
2251         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO]: Use expand_normal() instead
2252         of expand_expr().
2253         * optabs.c (expand_vec_shift_expr): Ditto.
2254         (expand_vec_cond_expr): Ditto.
2255         (vector_compare_rtx): Use EXPAND_STACK_PARM instead of 1 in the
2256         call to expand_expr().
2257         * stmt.c (expand_return): Use EXPAND_NORMAL instead of 0
2258         in the call to expand_expr().
2259
2260 2007-05-14  Dave Korn  <dave.korn@artimi.com>
2261
2262         * genautomata.c (gen_regexp_el):  Allocate correct size for regexp.
2263
2264 2007-05-14  Rafael Avila de Espindola  <espindola@google.com>
2265
2266         * c-common.c (warnings_for_convert_and_check): Use unsigned_type_for
2267         instead of c_common_unsigned_type.
2268         (c_common_unsigned_type): Remove.
2269         (shorten_compare): Use c_common_signed_or_unsigned_type instead of
2270         c_common_unsigned_type.
2271         (c_common_nodes_and_builtins): Use unsigned_type_for instead of
2272         c_common_unsigned_type.
2273         * c-common.h (c_common_unsigned_type): Remove.
2274         * c-decl.c (grokdeclarator): Use unsigned_type_for instead of
2275         c_common_unsigned_type.
2276         * c-format.c (check_format_types): Use unsigned_type_for instead of
2277         c_common_unsigned_type.
2278         * c-objc-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
2279         * c-typeck.c (convert_for_assignment): Use unsigned_type_for instead of
2280         c_common_unsigned_type.
2281         * convert.c (convert_to_integer): Use unsigned_type_for instead of
2282         lang_hooks.types.unsigned_type.
2283         * expmed.c (make_tree): Use unsigned_type_for instead of
2284         lang_hooks.types.unsigned_type.
2285         * fold-const.c (fold_negate_expr): Use unsigned_type_for instead of
2286         lang_hooks.types.unsigned_type.
2287         (build_range_check): Likewise.
2288         (fold_unary): Likewise.
2289         (fold_binary): Likewise.
2290         (fold_ternary): Likewise.
2291         * langhooks-def.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
2292         * langhooks.h (lang_hooks_for_types): Remove unsigned_type.
2293         * tree.c (get_unsigned_type): New.
2294         (unsigned_type_for): Use get_unsigned_type instead of
2295         lang_hooks.types.unsigned_type.
2296
2297 2007-05-14  Kazu Hirata  <kazu@codesourcery.com>
2298
2299         * config/m68k/m68k-protos.h: Rename m68k_interrupt_function_p
2300         to m68k_get_function_kind.  Update its prototype.
2301         * config/m68k/m68k.c (m68k_attribute_table): Add an entry for
2302         interrupt_thread.
2303         (m68k_interrupt_function_p): Return enum m68k_function_type
2304         instead of bool.  Rename to m68k_get_function_kind.
2305         (m68k_handle_fndecl_attribute): Reject interrupt_thread if the
2306         target is not fido.
2307         (m68k_compute_frame_layout): Don't mark any register for save
2308         if an interrupt_thread attribute is specified.
2309         (m68k_hard_regno_rename_ok): Update a use of
2310         m68k_interrupt_function_p.
2311         * config/m68k/m68k.h (EPILOGUE_USES): Update a use of
2312         m68k_interrupt_function_p.
2313         (m68k_function_type): New.
2314         * config/m68k/m68k.md (*return): Output a 'sleep' instruction
2315         for a function with an interrupt_thread attribute.
2316         * doc/extend.texi: Document the interrupt_thread attribute.
2317
2318 2007-05-13  Daniel Berlin  <dberlin@dberlin.org>
2319
2320         Fix PR tree-optimization/31911
2321         * tree-ssa-pre.c (phi_translate): Make sure to cache results even
2322         if they didn't change the expression.
2323
2324 2007-05-13  Zdenek Dvorak  <dvorakz@suse.cz>
2325
2326         * tree-scalar-evolution.c (resolve_mixers): Exported.
2327         * tree-scalar-evolution.h (resolve_mixers): Declare.
2328         * tree-data-ref.c (object_analysis, ptr_decl_may_alias_p,
2329         ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
2330         record_record_differ_p, record_array_differ_p, array_ptr_differ_p,
2331         base_object_differ_p, base_addr_differ_p, analyze_array_indexes,
2332         init_array_ref, init_pointer_ref, analyze_indirect_ref,
2333         strip_conversion, analyze_offset_expr, address_analysis,
2334         object_analysis, analyze_offset): Removed.
2335         (dr_analyze_innermost, dr_analyze_indices, dr_analyze_alias,
2336         split_constant_offset, canonicalize_base_object_address,
2337         object_address_invariant_in_loop_p, disjoint_objects_p,
2338         dr_may_alias_p, dr_address_invariant_p): New functions.
2339         (create_data_ref): Use dr_analyze_innermost, dr_analyze_indices
2340         and dr_analyze_alias.
2341         (initialize_data_dependence_relation): Use dr_may_alias_p
2342         and object_address_invariant_in_loop_p.
2343         (compute_self_dependence): Handle the case when DDR_ARE_DEPENDENT (ddr)
2344         is chrec_dont_know.
2345         (find_data_references_in_stmt): Restrict the analysis of data references
2346         to the given loop nest.
2347         (find_data_references_in_loop): Made static.  Pass loop nest to
2348         find_data_references_in_stmt.
2349         (compute_data_dependences_for_loop): Use DR_VOPS.
2350         (free_data_ref): Free DR_VOPS.
2351         * tree-data-ref.h (struct first_location_in_loop): Replaced by ...
2352         (struct innermost_loop_behavior): ... new.
2353         (struct base_object_info): Replaced by ...
2354         (struct indices): ... new.
2355         (struct dr_alias): New.
2356         (enum data_ref_type): Removed.
2357         (struct data_reference): Consist of struct innermost_loop_behavior,
2358         struct indices and struct dr_alias.
2359         (DR_SET_ACCESS_FNS, DR_FREE_ACCESS_FNS): Removed.
2360         (DR_MEMTAG): Renamed to ...
2361         (DR_SYMBOL_TAG): ... this.
2362         (find_data_references_in_loop): Declaration removed.
2363         * tree-vect-analyze.c (vect_compute_data_ref_alignment): Use DR_INIT
2364         instead of DR_OFFSET_MISALIGNMENT.  DR_ALIGNED_TO is never NULL.
2365         (vect_analyze_data_refs): Use DR_SYMBOL_TAG instead of DR_MEMTAG.
2366         * tree-vect-transform.c (vect_create_data_ref_ptr): Ditto.
2367
2368 2007-05-13  Revital Eres  <eres@il.ibm.com>
2369
2370         * tree-ssa-dse.c (get_use_of_stmt_lhs): New function
2371         which walks virtual def-use chains to find redundant stores.
2372         (dse_optimize_stmt): Call it.
2373
2374 2007-05-12  Steven Bosscher  <steven@gcc.gnu.org>
2375
2376         * gcse.c (gcse_main): Do jump bypassing in CPROP2.
2377         * passes.c (init_optimization_passes): Move pass_jump_bypass
2378         after loop2.
2379
2380         * basic-block.h (bb_has_eh_pred): Fix style issue.
2381
2382 2007-05-12  Steven Bosscher  <steven@gcc.gnu.org>
2383
2384         PR rtl-optimization/31848
2385         * loop-invariant.c (move_invariant_reg): If we move an insn
2386         with a REG_EQUAL note, and that insn is not always executed,
2387         remove the REG_EQUAL note.
2388
2389 2007-05-12  Richard Guenther  <rguenther@suse.de>
2390
2391         PR tree-optimization/31797
2392         * tree-ssa-forwprop.c (forward_propagate_addr_expr): Do not
2393         propagate into a stmt that has volatile ops.
2394
2395 2007-05-12  Richard Sandiford  <richard@codesourcery.com>
2396
2397         * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
2398         (gcc_tooldir): Likewise.
2399         * configure: Regenerate.
2400         * Makefile.in (libsubdir_to_prefix): New variable, based on the
2401         old configure.ac gcc_tooldir setting.
2402         (prefix_to_exec_prefix): New variable.
2403         (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
2404         rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
2405
2406 2007-05-11  Silvius Rus  <rus@google.com>
2407
2408         * Makefile.in (OBJS-common): Add tree-ssa-alias-warnings.o.
2409         * c-common.c (strict_aliasing_warning): Modify -Wstrict-aliasing logic.
2410         * c-common.h (strict_aliasing_warning): Change return type.
2411         * c-opts.c (c_common_handle_option): Add call to set_Wstrict_aliasing.
2412         * c-typeck.c (build_indirect_ref): Add call to strict_aliasing_warning.
2413         (build_c_cast): Condition call to strict_aliasing_warning.
2414         * doc/invoke.texi: Update description of -Wstrict-aliasing[=n].
2415         * flags.h (set_Wstrict_aliasing): Declare.
2416         * opts.c (set_Wstrict_alising): Define, add call to.
2417         * tree-flow.h (strict_aliasing_warning_backend): Declare.
2418         * tree-ssa-alias-warnings.c: New file.
2419         * tree-ssa-alias.c (compute_may_aliases): Add call to
2420         strict_aliasing_warning_backend.
2421
2422 2007-05-11  Zdenek Dvorak  <dvorakz@suse.cz>
2423
2424         * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
2425         Use loop_depth and loop_outer accessor functions.
2426         * tree-ssa-loop-im.c (outermost_invariant_loop, set_level,
2427         determine_invariantness_stmt, move_computations_stmt): Ditto.
2428         * cfgloopmanip.c (fix_bb_placement, fix_loop_placement, remove_path,
2429         add_loop, loopify, unloop, fix_loop_structure): Ditto.
2430         * tree-ssa-loop-manip.c (find_uses_to_rename_use): Ditto.
2431         * tree-scalar-evolution.c (interpret_loop_phi,
2432         compute_scalar_evolution_in_loop, analyze_scalar_evolution_in_loop,
2433         instantiate_parameters_1, scev_const_prop): Ditto.
2434         * cfghooks.c (make_forwarder_block): Ditto.
2435         * cfgloopanal.c (mark_irreducible_loops, mark_loop_exit_edges): Ditto.
2436         * modulo-sched.c (loop_canon_p): Ditto.
2437         * tree-vectorizer.c (slpeel_tree_duplicate_loop_to_edge_cfg,
2438         slpeel_can_duplicate_loop_p): Ditto.
2439         * lambda-code.c (invariant_in_loop_and_outer_loops): Ditto.
2440         * tree-cfg.c (tree_duplicate_sese_region): Ditto.
2441         * cfgloop.c (flow_loop_dump, flow_loop_nodes_find, rescan_loop_exit,
2442         cancel_loop, verify_loop_structure): Ditto.
2443         (flow_loop_nested_p, superloop_at_depth, flow_loop_free,
2444         add_bb_to_loop, remove_bb_from_loops, find_common_loop): Use the
2445         superloops vector instead of "pred" array.
2446         (establish_preds): Take father loop as an argument.  Initialize the
2447         superloops vector.
2448         (flow_loop_tree_node_add): Pass father loop to establish_preds.  Do not
2449         initialize loop->outer.
2450         (flow_loop_tree_node_remove): Truncate the superloops vector.
2451         * cfgloop.h (struct loop): Removed field "outer", fields "depth" and
2452         "pred" merged to "superloops" vector.
2453         (loop_depth, loop_outer): New.
2454         (fel_init): Use loop_outer.
2455
2456 2007-05-11  Jan Hubicka  <jh@suse.cz>
2457
2458         * cgraphunit.c: Include gt-cgraphunit.h
2459         (static_ctors, static_dtors): New static vars.
2460         (record_cdtor_fn, build_cdtor, cgraph_build_cdtor_fns): New functions,
2461         based on implementation in c-common.c
2462         (cgraph_finalize_function): Call record_cdtor_fn.
2463         (cgraph_optimize): Call cgraph_build_cdtor_fns.
2464         * decl.c (finish_function): Do not call c_record_cdtor_fn.
2465         (c_write_global_declarations): Do not call c_build_cdtor_fns.
2466         * c-common.c (static_ctors, static_dtors, c_record_cdtor_fn,
2467         build_cdtor, c_build_cdtor_fns): Remove.
2468         * c-common.h (static_ctors, static_dtors, c_record_cdtor_fn,
2469         c_build_cdtor_fns): Remove prototype.
2470
2471 2007-05-11  Paolo Carlini  <pcarlini@suse.de>
2472
2473         PR other/31852
2474         * builtin-types.def: Add BT_FN_PTR_CONST_PTR_INT_SIZE.
2475         * builtins.def: Add BUILT_IN_MEMCHR, use the latter.
2476         * builtins.c (fold_builtin_memchr): New.
2477         (expand_builtin_memchr): Call the latter.
2478         (expand_builtin, fold_builtin_3): Deal with BUILT_IN_MEMCHR.
2479         * doc/extend.texi ([Other built-in functions provided by GCC]):
2480         Document memchr.
2481
2482 2007-05-11  Andreas Krebbel  <krebbel1@de.ibm.com>
2483
2484         * config/s390/s390.md (GPR0_REGNUM, FPR0_REGNUM, FPR2_REGNUM,
2485         PFPO_CONVERT, PFPO_OP_TYPE_SF, PFPO_OP_TYPE_DF, PFPO_OP_TYPE_TF,
2486         PFPO_OP_TYPE_SD, PFPO_OP_TYPE_DD, PFPO_OP_TYPE_TD, PFPO_OP0_TYPE_SHIFT,
2487         PFPO_OP1_TYPE_SHIFT): Constants added.
2488         (DFP_ALL): Mode macro defined.
2489         ("*trunc<BFP:mode><DFP_ALL:mode>2", "*trunc<DFP_ALL:mode><BFP:mode>2",
2490         "*extend<BFP:mode><DFP_ALL:mode>2", "*extend<DFP_ALL:mode><BFP:mode>2"):
2491         Insn definitions added.
2492         ("trunc<BFP:mode><DFP_ALL:mode>2", "trunc<DFP_ALL:mode><BFP:mode>2",
2493         "extend<BFP:mode><DFP_ALL:mode>2", "extend<DFP_ALL:mode><BFP:mode>2"):
2494         Expanders added.
2495
2496 2007-05-10  Zdenek Dvorak  <dvorakz@suse.cz>
2497
2498         PR tree-optimization/31885
2499         * tree-chrec.c (chrec_contains_undetermined): Do not consider NULL_TREE
2500         to be undetermined.
2501         (automatically_generated_chrec_p): Return false for NULL.
2502
2503 2007-05-08  Bernd Schmidt  <bernd.schmidt@analog.com>
2504
2505         * config/bfin/bfin.h (MOVE_RATIO): Define.
2506
2507 2007-05-10  Richard Sandiford  <richard@codesourcery.com>
2508
2509         * config.gcc (sparc-wrs-vxworks): New target.
2510         * config/sparc/vxworks.h, config/sparc/t-vxworks: New files.
2511         * config/sparc/sparc-protos.h (sparc_emit_call_insn): Declare.
2512         * config/sparc/sparc.h: Include vxworks-dummy.h.
2513         (PRINT_OPERAND_ADDRESS): Extend SYMBOL_REF handling to
2514         include LABEL_REFs too.
2515         * config/sparc/sparc.c (sparc_expand_move): Don't assume that
2516         _GLOBAL_OFFSET_TABLE_ - label_ref is a link-time constant on
2517         VxWorks.
2518         (legitimize_pic_address): Handle LABEL_REFs like SYMBOL_REFs
2519         on VxWorks.
2520         (load_pic_register): Use gen_vxworks_load_got for VxWorks.
2521         (sparc_emit_call_insn): New function.
2522         (sparc_function_ok_for_sibcall): Restrict sibcalls to locally-binding
2523         functions when generating VxWorks PIC.
2524         * config/sparc/sparc.md (vxworks_load_got): New pattern.
2525         (call, call_value): Use sparc_emit_call_insn instead of
2526         emit_call_insn.
2527
2528 2007-05-09  Bob Wilson  <bob.wilson@acm.org>
2529
2530         * config/xtensa/xtensa.c (xtensa_output_literal): Don't use #if.
2531
2532 2007-05-09  Bob Wilson  <bob.wilson@acm.org>
2533
2534         * config/xtensa/xtensa.c (xtensa_output_literal): Mask out high bits
2535         for floating-point values if HOST_BITS_PER_LONG > 32.  Use split_double
2536         instead of operand_subword.
2537
2538 2007-05-08  Bernd Schmidt  <bernd.schmidt@analog.com>
2539
2540         * config/bfin/bfin.h (LOCAL_ALIGNMENT): Define.
2541         * config/bfin/bfin.c (bfin_local_alignment): New function.
2542         * config/bfin/bfin-protos.h (bfin_local_alignment): Declare it.
2543
2544 2007-05-08  Chao-ying Fu  <fu@mips.com>
2545
2546         * doc/md.texi (msub@var{m}@var{n}4, usub@var{m}@var{n}4): Document.
2547         * optabs.h (OTI_smsub_widen, OTI_umsub_widen): New optab_indexes.
2548         (smsub_widen_optab, umsub_widen_optab): Define.
2549         * optabs.c (init_optabs): Initialize smsub_widen_optab and
2550         umsub_widen_optab.
2551         * genopinit.c (optabs): Fill in smsub_widen_optab and
2552         umsub_widen_optab.
2553         * expr.c (expand_expr_real_1): Try to use smsub_widen_optab
2554         and umsub_widen_optab to implement multiply-subtract sequences.
2555         * config/mips/mips.md (*msac<u>_di): Rename to...
2556         (<u>msubsidi4): ...this.  Extend condition to include
2557         GENERATE_MADD_MSUB and TARGET_DSPR2.  Change the constraint
2558         of operand 0 to "ka" and use the three-operand form of msub<u>
2559         for TARGET_DSPR2.
2560         * config/mips/mips-dspr2.md (mips_msub, mips_msubu): Convert
2561         to define_expands.
2562
2563 2007-05-08  Kaz Kojima  <kkojima@gcc.gnu.org>
2564
2565         PR rtl-optimization/28011
2566         * reload.c (push_reload): Set dont_share if IN appears in OUT
2567         also when IN is a PLUS rtx.
2568         (reg_overlap_mentioned_for_reload_p): Return true if X and IN
2569         are same PLUS rtx.
2570
2571 2007-05-08  Kazu Hirata  <kazu@codesourcery.com>
2572
2573         * emit-rtl.c (unshare_all_rtl_1): Don't copy DECL_RTL.  Don't
2574         call unshare_all_decls.
2575         (unshare_all_rtl): Adjust the call to unshare_all_rtl_1.
2576         (unshare_all_decls): Remove.
2577
2578 2007-05-08  Simon Martin  <simartin@users.sourceforge.net>
2579
2580         PR 31847
2581         * tree-dump.c (dump_options): Don't use TDF_DIAGNOSTIC in "*-all" tree
2582         dumps.
2583
2584 2007-05-08  Sandra Loosemore  <sandra@codesourcery.com>
2585             Nigel Stephens  <nigel@mips.com>
2586
2587         * config/mips/mips.h (MAX_FPRS_PER_FMT): Renamed from FP_INC.
2588         Update comments and all uses.
2589         (MIN_FPRS_PER_FMT): Define.
2590         * config/mips/mips.c (function_arg): Fix to correctly handle
2591         the -mips32r2 -mfp64 -mabi=32 case.
2592         (override_options): Enable use of odd-numbered registers for
2593         SFmode values on MIPS32.
2594         (mips_save_reg_p): Save whole floating-point register pair if
2595         either half is used.
2596         (compute_frame_size): Fix comment.
2597
2598 2007-05-08  Jie Zhang  <jie.zhang@analog.com>
2599
2600         * config/bfin/bfin-protos.h (bfin_expand_epilogue): Add a third
2601         argument of type bool.
2602         * config/bfin/bfin.c (add_to_reg): Add epilogue_p as a fourth
2603         argument. Safely select temporary P register according to it.
2604         (do_link): Change call site of add_to_reg accordingly.
2605         (do_unlink): Add epilogue_p as a fourth argument and pass it
2606         to add_to_reg.
2607         (expand_interrupt_handler_epilogue): Change call of do_unlink
2608         accordingly.
2609         (bfin_expand_prologue): Add a third argument sibcall_p.
2610         * config/bfin/bfin.md (epilogue): Change call of
2611         bfin_expand_epilogue accordingly.
2612         (sibcall_epilogue): Likewise.
2613         (eh_return_internal): Likewise.
2614
2615         * config/bfin/bfin-protos.h (enum bfin_cpu): Add
2616         BFIN_CPU_BF534, BFIN_CPU_BF536 and BFIN_CPU_BF561.
2617         * config/bfin/bfin.c (bfin_handle_option): Handle
2618         -mcpu=bf534, -mcpu=bf536 and -mcpu=bf561.
2619         * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS):
2620         Support bf534, bf536 and bf561.
2621         * doc/invoke.texi (Blackfin Options): Document -mcpu and -msim.
2622
2623 2007-05-08  Uros Bizjak  <ubizjak@gmail.com>
2624
2625         PR target/31854
2626         * config/i386/i386.c (ix86_function_regparm): Process local
2627         functions only when TREE_CODE (decl) equals FUNCTION_DECL.
2628
2629 2007-05-07  Mike Stump  <mrs@apple.com>
2630
2631         * doc/invoke.texi (Warning Options): Document that -Wempty-body
2632         also checks for and while statements in C++.
2633
2634 2007-05-07  Nathan Froyd  <froydnj@codesourcery.com>
2635
2636         * gcc.c (at_file_supplied): New variable.
2637         (main): Set it if we expanded argv.
2638         (do_spec_1): Pass an @-file to the linker if we were called with
2639         an @-file argument and HAVE_GNU_LD.
2640         * collect2.c (at_file_supplied): New variable.
2641         (response_file): New variable.
2642         (collect_exit): Unlink response_file if necessary.
2643         (handler): Likewise.
2644         (do_wait): Likewise.
2645         (main): Set at_file_supplied if we expanded argv.
2646         (collect_execute): Pass an @-file to subprocesses if we were called
2647         with an @-file argument.
2648         * configure.ac: Add define for HAVE_GNU_LD.
2649         * configure: Regenerate.
2650         * config.in: Regenerate.
2651
2652 2007-05-07  Naveen.H.S  <naveen.hs@kpitcummins.com>
2653
2654         * config/m32c/muldiv.md (mulhisi3_c): Limit the mode of the 2nd
2655         operand to HI mode.
2656         (mulsi3): New.
2657         (divsi3): New.
2658         (udivsi3): New.
2659
2660 2007-05-07  Jayant Sonar  <jayants@kpitcummins.com>
2661
2662         * config/m32c/m32c.c (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
2663         (TARGET_ENCODE_SECTION_INFO): Re-define.
2664         (m32c_encode_section_info): New
2665         (function_vector_handler): New
2666         (current_function_special_page_vector): New
2667         (m32c_special_page_vector_p): New.
2668         * config/m32c/m32c-protos.h (m32c_special_page_vector_p):
2669         Prototype.
2670         * config/m32c/jump.md: Added instruction JSRS for functions
2671         with attribute "function_vector".
2672         * doc/extend.texi (function_vector): Added description
2673         for M16C, M32C targets.
2674
2675 2007-05-07  DJ Delorie  <dj@redhat.com>
2676
2677         PR 31794
2678         * config/m32c/shift.md (ashlpsi3_i, ashrpsi3_i, ashlpsi3,
2679         ashrpsi3, lshrpsi3): Update shift count constraint.
2680
2681 2007-05-07  Danny Smith  <dannysmith@users.sourceforge.net>
2682             Nathan Froyd  <froydnj@codesourcery.com>
2683
2684         PR 22133
2685         * c-incpath.c (add_path): Strip trailing path separators.
2686
2687 2007-05-07  Eric Botcazou  <ebotcazou@adacore.com>
2688
2689         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Reset cfg_altered.
2690         Free dominance info before purging EH edges.
2691         (eliminate_degenerate_phis): Likewise.
2692         (propagate_rhs_into_lhs): Set cfg_altered to true instead of 1.
2693
2694 2007-05-07  Jan Hubicka  <jh@suse.cz>
2695
2696         * gimplify.c (gimplify_expr): Do not crash when folding
2697         (void *)(int)&a + 4.
2698
2699 2007-05-07  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
2700
2701         PR driver/31694
2702         * c-opts.c (lang_fortran): Make it non static.
2703         * c-common.h (lang_fortran): New prototype.
2704         * c-cppbuiltin.c (c_cpp_builtins): Create a __GFORTRAN__ if the
2705         -lang-fortran option was passed by the driver.
2706
2707 2007-05-06  Eric Botcazou  <ebotcazou@adacore.com>
2708
2709         * timevar.c (timevar_print): Test ENABLE_ASSERT_CHECKING instead
2710         of ASSERT_CHECKING.  Tweak message.
2711
2712 2007-05-06  Revital Eres  <eres@il.ibm.com>
2713
2714         PR 30957
2715         * loop-unroll.c (insert_var_expansion_initialization):
2716         Initialize the expansions with -zero instead of +zero.
2717
2718 2007-05-05  Aurelien Jarno  <aurelien@aurel32.net>
2719
2720         * config/pa/pa.md: Split tgd_load, tld_load and tie_load
2721         into pic and non-pic versions. Mark r19 as used for
2722         tgd_load_pic, tld_load_pic and tie_load_pic. Mark r27 as used
2723         for tgd_load, tld_load and tie_load .
2724         * config/pa/pa.c (legitimize_tls_address): Emit pic or non-pic
2725         version of tgd_load, tld_load and tie_load depending on the
2726         value of flag_pic.
2727
2728 2007-05-04  Ulrich Drepper  <drepper@redhat.com>
2729             Jakub Jelinek  <jakub@redhat.com>
2730
2731         * crtstuff.c (HIDDEN_DTOR_LIST_END): New macro.
2732         (__do_global_dtors_aux): Use more paranoid loop to run
2733         destructors if HIDDEN_DTOR_LIST_END.
2734         (__DTOR_END__): Export as a hidden symbol when HIDDEN_DTOR_LIST_END.
2735
2736 2007-05-04  Jakub Jelinek  <jakub@redhat.com>
2737
2738         * varasm.c (align_variable): Don't increase alignment for
2739         DECL_THREAD_LOCAL_P variables above BITS_PER_WORD through
2740         DATA_ALIGNMENT or CONSTANT_ALIGNMENT.
2741
2742 2007-05-04  Josh Conner  <jconner@apple.com>
2743
2744         * basic-block.h (cdi_direction): Assign values to all enumeration
2745         constants.
2746         (dom_computed): Remove.
2747         (dom_info_state): New.
2748         (set_dom_info_availability): New.
2749         * tree-ssa-loop-im.c (determine_invariantness): Initialize
2750         walk_data.dom_direction.
2751         * cfghooks.c (delete_basic_block): Use dom_info_available_p()
2752         instead of dom_computed[].
2753         (split_edge): Likewise.
2754         (create_basic_block): Likewise.
2755         (merge_blocks): Likewise.
2756         * ifcvt.c (find_if_header): Likewise.
2757         * tree-cfgcleanup.c (cleanup_tree_cfg): Likewise.
2758         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
2759         * tree-ssa.c (verify_ssa): Likewise.
2760         * tree-cfg.c (tree_verify_flow_info): Likewise.
2761         (remove_edge_and_dominated_blocks): Likewise.
2762         * dominance.c (dom_computed): Make static.
2763         (calc_dfs_tree_nonrec): Change third param to a bool.
2764         (calc_dfs_tree): Change second param to a bool.
2765         (calc_idioms): Change second param to a bool.  Use
2766         dom_convert_dir_to_idx.
2767         (init_dom_info): Validate dir before using.
2768         (dom_convert_dir_to_idx): New.
2769         (calculate_dominance_info): Use dom_convert_dir_to_idx.  New
2770         variable 'reverse' used for calling calc_dfs_tree and calc_idoms.
2771         (free_dominance_info): Use dom_convert_dir_to_idx.
2772         (get_immediate_dominator): Likewise.
2773         (set_immediate_dominator): Likewise.
2774         (get_dominated_by): Likewise.
2775         (redirect_immediate_dominators): Likewise.
2776         (nearest_common_denominator): Likewise.
2777         (dominated_by_p): Likewise.
2778         (bb_dom_dfs_in): Likewise.
2779         (bb_dom_dfs_out): Likewise.
2780         (recount_dominator): Likewise.
2781         (iterate_fix_dominators): Likewise.
2782         (add_to_dominance_info): Likewise.
2783         (delete_from_dominance_info): Likewise.
2784         (first_dom_son): Likewise.
2785         (next_dom_son): Likewise.
2786         (dom_info_available_p): Likewise.
2787         (dom_info_state): New.
2788         (set_dom_info_availability): New.
2789
2790 2007-05-04  Andreas Krebbel  <krebbel1@de.ibm.com>
2791
2792         * config/s390/s390.md ("fix_trunc<mode>di2", "fix_trunc<mode>si2"):
2793         Expander removed.
2794         ("fix_trunc<DSF:mode><GPR:mode>2"): Expander added.
2795
2796 2007-05-04  Bob Wilson  <bob.wilson@acm.org>
2797
2798         * config/xtensa/xtensa.md (adddi3, adddi_carry): Delete.
2799         (subdi3, subdi_carry): Delete.
2800
2801 2007-05-04  Jan Hubicka  <jh@suse.cz>
2802             Richard Guenther  <rguenther@suse.de>
2803
2804         * opts.c (decode_options): Do not fiddle with inlining
2805         parameters in case of optimizing for size.
2806         * ipa-inline.c (cgraph_decide_recursive_inlining): When optimizing
2807         for size do nothing.
2808         (cgraph_decide_inlining_of_small_function): When optimizing for
2809         size never inline functions increasing caller size.
2810         (cgraph_early_inlining): Inline for size when optimizing for size.
2811
2812 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
2813
2814         * config/bfin/bfin.md (<optab>di3): Now a define_expand which expands
2815         logical operations piecewise.
2816         (<optab>di_zesidi_di, <optab>di_sesidi_di, negdi2, one_cmpldi2,
2817         zero_extendsidi2, subdi_di_zesidi, subdi_zesidi_di, subdi_di_sesidi,
2818         subdi_sesidi_di): Delete.
2819         (add_with_carry): Produce carry in CC instead of a DREG to shorten
2820         the generated sequence.  Allow three-reg add in constraints.  Rewrite
2821         the rtl expression for carry to avoid zero_extend of a constant.
2822         (sub_with_carry): New pattern.
2823         (adddi3, subdi3): Change into define_expand.  For subtract, generate a
2824         different sequence not involving jumps.
2825         (notbi): Now a named pattern.
2826
2827 2007-05-04  Bradley Lucier  <lucier@math.purdue.edu>
2828
2829         * doc/invoke.texi (i386 and x86-64 Options) [-mpc32, -mpc64, -mpc80]:
2830         Add the note about a significant loss of accuracy of some
2831         mathematical routines when these options are used.
2832
2833 2007-05-04  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2834
2835         * haifa-sched.c (rtx_vec_t): New typedef.
2836         (contributes_to_priority_p): Extract piece of priority () into new
2837         static function.
2838         (priority): Use the function.  Add assertion.
2839         (rank_for_schedule, set_priorities): Add assertion to check that
2840         insn's priority is initialized.
2841         (clear_priorities, calc_priorities): Change signature.  Make it update
2842         all relevant insns.  Update all callers ('add_to_speculative_block ()'
2843         and 'create_block_check_twin ()').
2844         * sched-int.h (struct haifa_insn_data): Remove field 'priority_known'.
2845         Add new field 'priority_status'.
2846         (INSN_PRIORITY_STATUS): New macro.
2847         (INSN_PRIORITY_KNOWN): Change to use INSN_PRIORITY_STATUS.
2848
2849 2007-05-04  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2850
2851         * sched-ebb.c (debug_ebb_dependencies): New static function.
2852         (init_ready_list): Use it.
2853
2854         * sched-rgn.c (debug_dependencies): Split into 'debug_dependencies ()'
2855         with changed signature and 'debug_rgn_dependencies ()'.
2856         (debug_rgn_dependencies): New static function.
2857         (init_ready_list): Use it.
2858
2859         * sched-int.h (debug_dependencies): Declare.
2860
2861 2007-05-04  Andreas Krebbel  <krebbel1@de.ibm.com>
2862
2863         * libgcc-std.ver (__ffssi2): Added to GCC_4.3.0 section.
2864
2865 2007-05-04  Dirk Mueller  <dmueller@suse.de>
2866
2867         * c.opt(Wmain,ffreestanding): Enable for C++,ObjC++.
2868
2869 2007-05-03  Jan Hubicka  <jh@suse.cz>
2870
2871         * fold-const.c (fold_unary): Convert (T1)(X op Y) into ((T1)X op (T1)Y),
2872         for pointer type in more cases than before.
2873
2874         * gimplify.c (gimplify_expr): Fold (void *)&a + 4.
2875
2876         * tree-object-size.c (plus_expr_object_size): When operand size is
2877         unknown, return unknown.
2878
2879 2007-05-03  Dirk Mueller  <dmueller@suse.de>
2880
2881         * doc/invoke.texi (-m386,-m486,-mpentium,-mpentiumpro): Remove.
2882
2883         * config/i386/i386.h (CC1_CPU_SPEC): Remove handling for deprecated
2884         options.
2885
2886         * config/i386/i386.opt (m386,m486,mpentium,mpentiumpro): Remove.
2887
2888 2007-05-03  Janis Johnson  <janis187@us.ibm.com>
2889
2890         * doc/sourcebuild.texi (Test Directives) Clarify dg-excess-errors.
2891
2892 2007-05-03  Joseph Myers  <joseph@codesourcery.com>
2893
2894         * config/soft-fp/double.h, config/soft-fp/extended.h,
2895         config/soft-fp/floatundidf.c, config/soft-fp/floatundisf.c,
2896         config/soft-fp/floatunsidf.c, config/soft-fp/floatunsisf.c,
2897         config/soft-fp/op-2.h, config/soft-fp/op-4.h,
2898         config/soft-fp/op-common.h, config/soft-fp/quad.h: Update from
2899         glibc CVS.
2900
2901 2007-05-03  Ian Lance Taylor  <iant@google.com>
2902
2903         * config/rs6000/rs6000.c (rs6000_override_options): Don't set
2904         MASK_PPC_GFXOPT for 8540 or 8548.
2905
2906 2007-05-03  Uros Bizjak  <ubizjak@gmail.com>
2907
2908         * tree-vect-transform.c (vect_update_inits_of_drs): Use
2909         vect_print_dump_info() to output debug information.
2910
2911 2007-05-03  Uros Bizjak  <ubizjak@gmail.com>
2912
2913         PR target/31768
2914         * config/i386/i386.c (print_operand) ['z']: Output 'w' for
2915         operands of size 2 when operand is not MEM_P.
2916
2917 2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>
2918
2919         PR tree-optimization/30565
2920         * lambda-code.c (perfect_nestify): Fix updating of dominators.
2921
2922 2007-05-03  Bernd Schmidt  <bernd.schmidt@analog.com>
2923
2924         * config/bfin/bfin.md (addpdi3, us_truncpdisi2): New patterns.
2925         (umulsi3_highpart): Use them.
2926         * config/bfin/lib1funcs.asm (__umulsi3_highpart): Use unsigned move
2927         for final accumulator to D regisster tranfser.
2928
2929 2007-05-03  Dorit Nuzman  <dorit@il.ibm.com>
2930
2931         PR tree-optimization/31699
2932         * tree-vect-analyze.c (vect_update_misalignment_for_peel): Remove wrong
2933         code.
2934         (vect_enhance_data_refs_alignment): Compute peel amount using
2935         TYPE_VECTOR_SUBPARTS instead of vf.
2936         * tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Likewise.
2937
2938 2007-05-02  Brooks Moses  <brooks.moses@codesourcery.com>
2939
2940         PR bootstrap/31776
2941         * system.h: Remove inclusion of double-int.h
2942         * tree.h: Include double-int.h
2943         * gengtype.c: Likewise
2944         * cfgloop.h: Likewise
2945         * Makefile.in: Adjust dependencies on double-int.h
2946
2947 2007-05-02  Eric Christopher  <echristo@apple.com>
2948
2949         * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Translate
2950         -shared to -Zdynamiclib.
2951
2952 2007-05-02  Seongbae Park  <seongbae.park@gmail.com>
2953
2954         PR c++/31663
2955         * c-common.c (strip_pointer_or_array_types): New function.
2956         * c-common.h (strip_pointer_or_array_types): New function declaration.
2957
2958 2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>
2959
2960         PR tree-optimization/31771
2961         * tree-cfg.c (move_block_to_fn): Assign bb to the correct index.
2962
2963 2007-05-02  Paul Brook  <paul@codesourcery.com>
2964
2965         * config/arm/bpabi.S (aeabi_lcmp): Fix result on overflow.
2966
2967 2007-05-02  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2968
2969         PR middle-end/29715
2970         * fold-const.c (fold_comparision): Remove the "foo++ == CONST"
2971         transformation.
2972
2973 2007-05-02  Nick Clifton  <nickc@redhat.com>
2974
2975         * config/frv/predicates.md (symbolic_operand): Accept CONSTs.
2976
2977 2007-05-02  Richard Guenther  <rguenther@suse.de>
2978
2979         PR tree-optimization/31146
2980         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
2981         argument, single_use_p.  If we have a single use that is
2982         a conversion to the definition rhs type, propagate that rhs.
2983         (forward_propagate_addr_expr): Pass single_use_p argument
2984         to forward_propagate_addr_expr_1.
2985
2986 2007-05-01  H.J. Lu  <hongjiu.lu@intel.com>
2987
2988         * config/i386/i386.c (ix86_expand_sse_comi): Remove unused
2989         variable.
2990
2991 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
2992
2993         * doc/invoke.texi: Fix typo, 'AMD Family 10h core' instead of
2994         'AMD Family 10 core'.
2995
2996 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
2997
2998         * config/i386/i386.c (override_options): Accept k8-sse3, opteron-sse3
2999         and athlon64-sse3 as improved versions of k8, opteron and athlon64
3000         with SSE3 instruction set support.
3001         * doc/invoke.texi: Likewise.
3002
3003 2007-05-01  Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3004
3005         * config/i386/i386.c (override_options): Tuning 32-byte loop
3006         alignment for amdfam10 architecture. Increasing the max loop
3007         alignment to 24 bytes.
3008
3009 2007-05-01  Kazu Hirata  <kazu@codesourcery.com>
3010
3011         * config/m68k/constraints.md: New.
3012         * config/m68k/m68k.h (REG_CLASS_FROM_LETTER,
3013         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
3014         EXTRA_CONSTRAINT): Remove.
3015         * config/m68k/m68k.md: Include constraints.md.
3016         * expr.c (expand_expr_real_1): Copy DECL_RTL before using it.
3017
3018 2007-05-01  Ian Lance Taylor  <iant@google.com>
3019
3020         PR tree-optimization/31739
3021         * tree-vrp.c (vrp_val_is_max): New static function.
3022         (vrp_val_is_min): New static function.
3023         (set_value_range_to_value): Use TYPE_{MAX,MIN}_VALUE rather than
3024         copying the node.
3025         (set_value_range): Use vrp_val_is_{max,min}.
3026         (extract_range_from_assert): Likewise.
3027         (extract_range_from_binary_expr): Likewise.
3028         (extract_range_from_unary_expr): Likewise.
3029         (dump_value_range, vrp_meet): Likewise.
3030         (vrp_visit_phi_node): Likewise.
3031         * tree.c (build_distinct_type_copy): Revert change of 2007-04-27.
3032
3033 2007-05-01  Mark Mitchell  <mark@codesourcery.com>
3034
3035         * config/i386/gmon-sol2.c (size_t): New type.
3036         (intptr_t): Likewise.
3037         (s_textsize): Declare as size_t.
3038         (sbrk): Declare.
3039         (monstartup): Use size_t for sizes.
3040         (_mcount): Save and restore registers.
3041         (internal_mcount): Pass 0 as the first argument to monstartup
3042         in 64-bit mode.
3043         (moncontrol): Convert pointer to appropriately sized integer
3044         before passing to profil.
3045
3046 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
3047
3048         * config/rs6000/darwin-ldouble.c (__gcc_qunord): Define if
3049         __NO_FPRS__, not just if _SOFT_DOUBLE.
3050         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qunord): Likewise.
3051         * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use __gcc_qunord
3052         also for E500 double.
3053         * config/rs6000/rs6000.md (buneq, bunge, bungt, bunle, bunlt,
3054         suneq, sunge, sungt, sunle, sunlt): Disable for (TARGET_HARD_FLOAT
3055         && !TARGET_FPRS).
3056
3057 2007-05-01  Richard Guenther  <rguenther@suse.de>
3058
3059         * tree-ssa-loop-manip.c (ip_normal_pos): Check if last stmt
3060         is NULL.
3061
3062 2007-05-01  Joseph Myers  <joseph@codesourcery.com>
3063
3064         * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qgt): Fix typo.
3065
3066 2007-05-01  Jan Hubicka  <jh@suse.cz>
3067
3068         * tree-vectorize.c (vect_is_simple_use): gimple_min_invariant is
3069         invariant.
3070
3071 2007-05-01  Jan Hubicka  <jh@suse.cz>
3072
3073         * tree.h (maybe_fold_offset_to_component_ref): Remove.
3074         (maybe_fold_offset_to_reference): Declare.
3075         * fold-const.c (fold_unary): Do not fold
3076         (type *)&A into &A->field_of_type_and_offset_0
3077         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): When base type
3078         size is unknown, give up.
3079         (maybe_fold_offset_to_component_ref): Ignore firelds with unknown
3080         offsets.
3081         (maybe_fold_offset_to_reference): New.
3082         (maybe_fold_stmt_indirect): Use it.
3083         (fold_stmt_r): Fold (type *)&A+offset into A->field_if_type_and_offset.
3084         * gimplify.c (gimplify_conversion): Canonicalize conversions to
3085         field references.
3086         (gimplify_expr): Likewise for plus_expr.
3087
3088 2007-05-01  Zdenek Dvorak  <dvorakz@suse.cz>
3089
3090         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Use
3091         bsi_after_labels.  Always insert statements before bsi.
3092         * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
3093         * predict.c (apply_return_prediction): Check for empty blocks.
3094         * cfgexpand.c (lab_rtx_for_bb): New variable.
3095         (label_rtx_for_bb): Do not create new tree labels.
3096         (expand_gimple_basic_block): Add labels recorded in lab_rtx_for_bb.
3097         (tree_expand_cfg): Initialize lab_rtx_for_bb.
3098         * tree-cfg.c (build_tree_cfg): Call cleanup_dead_labels after
3099         creating edges.
3100         (label_for_bb): Add field used.
3101         (update_eh_label, main_block_label): Mark the label used.
3102         (cleanup_dead_labels): Remove unused labels.
3103
3104 2007-05-01  Richard Guenther  <rguenther@suse.de>
3105
3106         * tree-vrp.c (set_value_range): Do not allocate equiv bitmap
3107         if it is not about to be set.
3108         (get_value_range): Do not pre-allocate equiv bitmap.
3109         (update_value_range): No need to clear equiv field.
3110         (add_equivalence): Change prototype to get bitmap pointer.
3111         Allocate bitmap here if it is not already.
3112         (extract_range_from_assert): Do not allocate bitmap here.
3113         Update callers to add_equivalence.
3114         (extract_range_from_ssa_name): Likewise.
3115         (get_vr_for_comparison): New static helper.
3116         (compare_name_with_value): Handle NULL equiv bitmap by
3117         peeling the first iteration of the comparison loop.
3118         Use get_vr_for_comparison.
3119         (compare_names): Handle NULL equiv bitmaps by using fake
3120         ones.  Use get_vr_for_comparison.
3121
3122 2007-04-30  Brooks Moses  <brooks.moses@codesourcery.com>
3123
3124         * double-int.c (mpz_set_double_int): Moved from
3125         tree-ssa-loop-niter.c.
3126         (mpz_get_double_int): Likewise; also, add option to wrap
3127         out-of-range integers.
3128         * double-int.h: New prototypes for above.
3129         * tree.c (get_static_type_bounds): Moved from
3130         tree-ssa-loop-niter.c; now returns TYPE_MIN_VALUE and
3131         TYPE_MAX_VALUE if they exist..
3132         * tree.h: New prototype for above.
3133         * tree-ssa-loop-niter.c: Adjust mpz_to_double_int and
3134         get_type_bounds calls.
3135         (mpz_set_double_int): Move to double-int.c.
3136         (get_type_bounds): Move to tree.c, rename to
3137         get_static_type_bounds.
3138         (mpz_to_double_int): Move to double-int.c, rename to
3139         mpz_get_double_int.
3140
3141 2007-04-30  Bob Wilson  <bob.wilson@acm.org>
3142
3143         * config/xtensa/lib1funcs.asm (__umodsi3, __modsi3): Rearrange so that
3144         DIV0 exception can fall through to a normal return.
3145
3146 2007-04-30  Alexandre Oliva  <aoliva@redhat.com>
3147
3148         PR middle-end/22156
3149         Temporarily revert:
3150         2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
3151         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
3152         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
3153         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
3154         initialize align to silence bogus warning.
3155         2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
3156         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
3157         all_no_warning.
3158         (struct sra_walk_fns): Remove use_all parameter from use.
3159         (sra_hash_tree): Handle BIT_FIELD_REFs.
3160         (sra_elt_hash): Don't hash bitfld blocks.
3161         (sra_elt_eq): Skip them in parent compares as well.  Handle
3162         BIT_FIELD_REFs.
3163         (sra_walk_expr): Don't maintain or pass down use_all_p.
3164         (scan_use): Remove use_all parameter.
3165         (scalarize_use): Likewise.  Re-expand assignment to
3166         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
3167         output, and re-scalarize after output.  Don't mark anything
3168         for no warning.
3169         (scalarize_ldst): Adjust.
3170         (scalarize_walk_gimple_modify_statement): Likewise.
3171         (build_element_name_1): Handle BIT_FIELD_REFs.
3172         (instantiate_element): Don't warn for any element whose parent
3173         is used as a whole.
3174         (instantiate_missing_elements_1): Return the sra_elt.
3175         (canon_type_for_field): New.
3176         (try_instantiate_multiple_fields): New.
3177         (instantiate_missing_elemnts): Use them.
3178         (mark_no_warning): Removed.
3179         (generate_one_element_ref): Handle BIT_FIELD_REFs.
3180         (REPLDUP, sra_build_elt_assignment): New.
3181         (generate_copy_inout): Use them.
3182         (generate_element_copy): Likewise.  Handle bitfld differences.
3183         (generate_element_zero): Don't recurse for blocks.  Use
3184         sra_build_elt_assignment.
3185         (generate_one_element_int): Take elt instead of var.  Use
3186         sra_build_elt_assignment.
3187         (generate_element_init_1): Adjust.
3188         (scalarize_use, scalarize_copy): Use REPLDUP.
3189         (scalarize_ldst): Move assert before dereference.
3190         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
3191
3192 2007-04-30  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3193
3194         PR C++/31721
3195         * tree.c (reconstruct_complex_type): Reconstruct a reference
3196         correctly.
3197         Also use the same mode for the pointer as the old pointer type.
3198
3199 2007-04-30  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
3200
3201         * doc/trouble.texi (Interoperation): Remove note about Ultrix
3202         Fortran compiler.
3203
3204 2007-04-29  Zdenek Dvorak  <dvorakz@suse.cz>
3205
3206         PR rtl-optimization/31676
3207         * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
3208         (df_refs_record): Call it.
3209
3210 2007-04-29  Bernd Schmidt  <bernd.schmidt@analog.com>
3211
3212         * rtl.def (SS_ABS): New code.
3213         * config/bfin/bfin.c (print_operand): New modifier 'v'.
3214         (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
3215         BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
3216         BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
3217         (bfin_init_builtins): Define them.
3218         (bdesc_1arg, bdesc_2arg): Add some of them here, ...
3219         (bfin_expand_builtin): ... and handle the others here.
3220         * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
3221         flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
3222         (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
3223         (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
3224         operand is only HImode.
3225
3226 2007-04-29  Steven Bosscher  <steven@gcc.gnu.org>
3227
3228         * regclass.c (scan_one_insn): Remove splitting of
3229         two address insns.
3230
3231 2007-04-28  Sandra Loosemore  <sandra@codesourcery.com>
3232             Nigel Stephens  <nigel@mips.com>
3233
3234         * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
3235
3236 2007-04-28  Jan Hubicka  <jh@suse.cz>
3237
3238         * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
3239         insn_locators_alloc instead of insn_locators_initialize;
3240         call reset_block_changes.
3241         * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
3242         * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
3243         * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
3244         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
3245         * config/score/score.c (th_output_mi_thunk): Likewise.
3246         * config/mips/mips.c (mips_output_mi_thunk): Likewise.
3247         * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
3248         tolerate uninitialized locator info.
3249
3250         Re-apply:
3251         * function.c (init_function_start): Don't init line number info.
3252         (expand_function_end): Update.
3253         (reset_block_changes, record_block_change, finalize_block_changes,
3254         check_block_change, free_block_changes): Kill.
3255         * function.h (reset_block_changes, record_block_change,
3256         finalize_block_changes, check_block_change, free_block_changes): Remove
3257         prototypes.
3258         (struct function): Remove ib_boundaries_block.
3259         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
3260         Use curr_insn_locator to initialize locator.
3261         (emit_line_note): Remove.
3262         * cfgexpand.c (expand_gimple_cond_expr): Update.
3263         (construct_exit_block): Likewise.
3264         (tree_expand_cfg): Initialize/finalize locators.
3265         * expr.c (expand_expr_real): Update.
3266         * cfglayout.c (line_locators_locs, line_locators_lines,
3267         file_locators_locs, file_locators_files): Remove.
3268         (set_block_levels): Move to cfgexpand.c.
3269         (insn_locators_initialize): Remove.
3270         (pass_insn_locators_initialize): Remove.
3271         (locations_locators_locs, locations_locators_vals): New static vars.
3272         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
3273         Likewise.
3274         (insn_locators_alloc, insn_locators_finalize,
3275         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
3276         New functions.
3277         (locator_location): New.
3278         (locator_line, locator_file): Rewrite.
3279         * rtl.h (emit_line_note): Kill.
3280         (insn_locators_alloc, insn_locators_finalize,
3281         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
3282         Declare.
3283         * tree-inline.c (initialize_cfun): Do not initialize
3284         ib_boundaries_block.
3285         * passes.c (pass_insn_locators_initialize): Remove.
3286
3287 2007-04-28  Zdenek Dvorak  <dvorakz@suse.cz>
3288
3289         * tree-cfg.c (move_block_to_fn): Release bb from dominance
3290         info.  Update last_basic_block correctly.
3291
3292 2007-04-27  Kaz Kojima  <kkojima@gcc.gnu.org>
3293
3294         PR target/31701
3295         * config/sh/sh.c (output_stack_adjust): Avoid using the frame
3296         register itself to hold the offset constant.  Tell flow the use
3297         of r4 and r5 when they are used.
3298
3299 2007-04-27  Richard Guenther  <rguenther@suse.de>
3300
3301         * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
3302         if we simplified anything.
3303         (tree_ssa_forward_propagate_single_use_vars): Defer overflow
3304         warnings until we did a simplification and the stmt was not
3305         marked as TREE_NO_WARNING.
3306
3307 2007-04-27  Mike Stump  <mrs@apple.com>
3308
3309         * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
3310
3311 2007-04-27  Ian Lance Taylor  <iant@google.com>
3312
3313         PR middle-end/31710
3314         * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
3315         TYPE_MAX_VALUE exist, convert them to the new type.
3316
3317 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
3318
3319         * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
3320         if it claims to be available.
3321         * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
3322         edge is redirected.
3323         (perform_tree_ssa_dce): Always free postdominators.
3324
3325 2007-04-27  Richard Henderson  <rth@redhat.com>
3326
3327         * config/alpha/predicates.md (aligned_memory_operand): Mark
3328         as define_special_predicate.
3329         (unaligned_memory_operand, normal_memory_operand): Likewise.
3330         (reg_or_unaligned_mem_operand): Remove.
3331         (any_memory_operand): Match the documentation and check for
3332         non-renumbered pseudos during reload.
3333         * config/alpha/alpha.c (alpha_secondary_reload): Rename from
3334         alpha_secondary_reload_class, update to new interface, make static.
3335         Handle CQImode like HImode.  Remove FP subreg check.
3336         (alpha_expand_mov): Use replace_equiv_address.
3337         (alpha_expand_mov_nobwx): Use any_memory_operand.
3338         (TARGET_SECONDARY_RELOAD): New.
3339         * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
3340         (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
3341         * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
3342         * config/alpha/alpha.md: ... here.
3343         (RELOAD12, reloadmode): New.
3344         (movcqi): New.
3345         (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
3346         Don't handle the aligned case here.
3347         (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
3348         (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
3349         reload_inhi_help.  Don't expect a scratch register.
3350         (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
3351         reload_outhi_help.
3352         * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
3353
3354 2007-04-27  Richard Guenther  <rguenther@suse.de>
3355
3356         * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
3357
3358 2007-04-27  Richard Guenther  <rguenther@suse.de>
3359
3360         PR tree-optimization/30965
3361         PR tree-optimization/30978
3362         * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
3363         * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
3364         (find_equivalent_equality_comparison): Likewise.
3365         (simplify_cond): Likewise.
3366         (get_prop_source_stmt): New helper.
3367         (get_prop_dest_stmt): Likewise.
3368         (can_propagate_from): Likewise.
3369         (remove_prop_source_from_use): Likewise.
3370         (combine_cond_expr_cond): Likewise.
3371         (forward_propagate_comparison): New function.
3372         (forward_propagate_into_cond): Rewrite to use fold for
3373         tree combining.
3374         (tree_ssa_forward_propagate_single_use_vars): Call
3375         forward_propagate_comparison to propagate comparisons.
3376
3377 2007-04-27  Richard Guenther  <rguenther@suse.de>
3378
3379         PR tree-optimization/31715
3380         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
3381         sure to do computation on the offset in an appropriate
3382         signed type.
3383
3384 2007-04-27  Richard Sandiford  <richard@codesourcery.com>
3385
3386         * reload.h (elimination_target_reg_p): Declare.
3387         * reload.c (find_reloads): Don't apply the reg_rtx move
3388         optimization if the SET_DEST satisfies elimination_target_reg_p.
3389         * reload1.c (elimination_target_reg_p): New function.
3390         (gen_reload): In the move/add2 fallback, make sure that op0
3391         does not overlap the destination register.
3392
3393 2007-04-27  Zdenek Dvorak  <dvorakz@suse.cz>
3394
3395         * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
3396         transform only