7c7b7cf57453793cbec1cc9646254d689e4834a4
[platform/upstream/gcc.git] / gcc / ChangeLog
1 2009-04-03  Alan Modra  <amodra@bigpond.net.au>
2
3         * config.gcc (powerpc-*-linux*): Merge variants.
4
5 2009-04-02  Chao-ying Fu  <fu@mips.com>
6             James Grosbach <james.grosbach@microchip.com>
7
8         * config/mips/mips.c (mips_frame_info): Add acc_mask, num_acc,
9         num_cop0_regs, acc_save_offset, cop0_save_offset, acc_sp_offset,
10         cop0_sp_offset.
11         (machine_function): Add interrupt_handler_p, use_shadow_register_set_p,
12         keep_interrupts_masked_p, use_debug_exception_return_p.
13         (mips_attribute_table): Add interrupt, use_shadow_register_set,
14         keep_interrupts_masked, use_debug_exception_return.
15         (mips_interrupt_type_p, mips_use_shadow_register_set_p,
16         mips_keep_interrupts_masked_p, mips_use_debug_exception_return_p):
17         New functions.
18         (mips_function_ok_for_sibcall): Return false for interrupt handlers.
19         (mips_print_operand): Process COP0 registers to print $0 .. $31
20         correctly for GAS to process.
21         (mips_interrupt_extra_call_saved_reg_p): New function.
22         (mips_cfun_call_saved_reg_p): For interrupt handlers, we need to check
23         extra registers.
24         (mips_cfun_might_clobber_call_saved_reg_p): Likewise.
25         (mips_compute_frame_info): Add supports for interrupt context that
26         includes doubleword accumulators and COP0 registers.
27         (mips_for_each_saved_acc): New function.
28         (mips_for_each_saved_gpr_and_fpr): Change the function name from
29         mips_for_each_saved_reg.
30         (mips_save_reg): Save accumulators.
31         (mips_kernel_reg_p): A new for_each_rtx callback.
32         (mips_expand_prologue): Support interrupt handlers.
33         (mips_restore_reg): Restore accumulators.
34         (mips_expand_epilogue): Support interrupt handlers.
35         (mips_can_use_return_insn): Return false for interrupt handlers.
36         (mips_epilogue_uses): New function.
37         * config/mips/mips.md (UNSPEC_ERET, UNSPEC_DERET, UNSPEC_DI,
38         UNSPEC_EHB, UNSPEC_RDPGPR, UNSPEC_COP0): New UNSPEC.
39         (mips_eret, mips_deret, mips_di, mips_ehb, mips_rdpgpr,
40         cop0_move): New instructions.
41         * config/mips/mips-protos.h (mips_epilogue_uses): Declare.
42         * config/mips/mips.h (K0_REG_NUM, K1_REG_NUM, KERNEL_REG_P): New
43         defines.
44         (COP0_STATUS_REG_NUM, COP0_CAUSE_REG_NUM, COP0_EPC_REG_NUM):
45         New defines.
46         (CAUSE_IPL, SR_IPL, SR_EXL, SR_IE): New defines.
47         (MIPS_PROLOGUE_TEMP_REGNUM, MIPS_EPILOGUE_TEMP_REGNUM): For
48         interrupt handlers, we use K0 as the temporary register.
49         (EPILOGUE_USES): Change to a function call.
50         * config/mips/sde.h (MIPS_EPILOGUE_TEMP_REGNUM): For interrupt
51         handlers, we use K0 as the temporary register.
52         
53         * doc/extend.texi (Function Attributes): Document interrupt,
54         use_shadow_register_set, keep_interrupts_masked,
55         use_debug_exception_return for MIPS attributes.
56
57 2009-04-03  Alan Modra  <amodra@bigpond.net.au>
58
59         * config.gcc (powerpc64-*-gnu*): Add rs6000/default64.h to tm_file.
60         Remove a number of t-files from tmake_file.
61         * config/rs6000/sysv4.opt (mprototype): Name variable target_prototype.
62         * config/rs6000/sysv4.h (TARGET_PROTOTYPE): Define.
63         * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Set
64         target_prototype, not TARGET_PROTOTYPE.
65         (LINK_OS_GNU_SPEC): Define.
66         * config/rs6000/t-linux64 (LIB2FUNCS_EXTRA): Delete tramp.S
67         and darwin-ldoubdle.c.
68
69 2009-04-02  Michael Meissner  <meissner@linux.vnet.ibm.com>
70
71         PR driver/39293
72         * gcc.c (save_temps_flag): Add support for -save-temps=obj.
73         (cpp_options): Ditto.
74         (default_compilers): Ditto.
75         (display_help): Ditto.
76         (process_command): Ditto.
77         (do_spec_1): Ditto.
78         (set_input): Use lbasename instead of duplicate code.
79         (save_temps_prefix): New static for -save-temps=obj.
80         (save_temps_length): Ditto.
81         
82         * doc/invoke.texi (-save-temps=obj): Document new variant to
83         -save-temps switch.
84
85 2009-04-02  Jeff Law  <law@redhat.com>
86
87         * reload1.c (fixup_eh_region_notes): Remove write-only "trap_count"
88         variable.
89
90 2009-04-02  H.J. Lu  <hongjiu.lu@intel.com>
91
92         * configure.ac: Support -Bstatic/-Bdynamic for linker version > 2.
93         * configure: Regenerated.
94
95 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
96
97         * c-decl.c (merge_decls): Make sure newdecl and olddecl don't
98         share the argument list.
99
100 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
101
102         Merge
103
104         2009-02-12  Diego Novillo  <dnovillo@google.com>
105
106         * varpool.c (debug_varpool): New.
107         * cgraph.h (debug_varpool): Declare.
108
109 2009-04-02  Jan Hubicka  <jh@suse.cz>
110
111         * passes.c (init_optimization_passes): Remove two copies of ehcleanup
112         pass.
113
114 2009-04-02  H.J. Lu  <hongjiu.lu@intel.com>
115
116         * config/i386/i386.c (ix86_abi): Move initialization to ...
117         (override_options): Here.
118
119 2009-04-02  Christian Bruel  <christian.bruel@st.com>
120
121         * config/sh/sh.c (sh_dwarf_register_span): New function.
122         (TARGET_DWARF_REGISTER_SPAN): Define.
123         * config/sh/sh-protos.h (sh_dwarf_register_span): Declare.
124         
125 2009-04-02  Ira Rosen  <irar@il.ibm.com>
126
127         PR tree-optimization/39595
128         * tree-vect-slp.c (vect_build_slp_tree): Check that the size of 
129         interleaved loads group is not  greater than the SLP group size.
130
131 2009-04-02  Rafael Avila de Espindola  <espindola@google.com>
132
133         * builtins.c (is_builtin_name): New.
134         (called_as_built_in): Use is_builtin_name.
135         * tree.h (is_builtin_name): New.
136         * varasm.c (incorporeal_function_p): Use is_builtin_name
137
138 2009-04-02  Andrew Stubbs  <ams@codesourcery.com>
139
140         * config/sh/linux-unwind.h: Disable when inhibit_libc is defined.
141
142 2009-04-02  Dodji Seketeli  <dodji@redhat.com>
143
144         PR c++/26693
145         * c-decl.c: (clone_underlying_type): Move this ...
146         * c-common.c (set_underlying_type): ... here.
147         Also, make sure the function properly sets TYPE_STUB_DECL() on
148         the newly created typedef variant type.
149         * c-common.h (is_typedef_decl, set_underlying_type): Declare ...
150         * c-common.c (is_typedef_decl, set_underlying_type): ... new entry points.
151
152 2009-04-02  Richard Guenther  <rguenther@suse.de>
153
154         PR tree-optimization/37221
155         * tree-flow.h (degenerate_phi_result): Declare.
156         * tree-ssa-dom.c (degenerate_phi_result): Export.
157         * tree-scalar-evolution.c (analyze_initial_condition): If
158         the initial condition is defined by a degenerate PHI node
159         use the degenerate value.
160
161 2009-04-01  Eric Botcazou  <ebotcazou@adacore.com>
162
163         PR rtl-optimization/39588
164         * combine.c (merge_outer_ops): Do not set the constant when this
165         is not necessary.
166         (simplify_shift_const_1): Do not modify it either in this case.
167
168 2009-04-01  Steven Bosscher  <steven@gcc.gnu.org>
169
170         * config/ia64/ia64.c (ia64_handle_option): Inform user that Itanium1
171         tuning is deprecated if -mtune value is set to an Itanium1 variant.
172
173 2009-04-01  Janis Johnson  <janis187@us.ibm.com>
174
175         PR c/29027
176         * c-lex.c (interpret_float): Default (no suffix) is double.
177
178 2009-04-1  Xinliang David Li  <davidxl@google.com>
179
180         * config/i386/i386.c (legitimate_constant_p): Recognize
181         all one vector constant.
182
183 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
184
185         * gcc/config/vax/vax.c: Add #includes to silence warnings.
186         Change #include order to silence two warnings.
187
188 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
189
190         * gcc/config/vax/linux.h (TARGET_DEFAULT): Add the MASK_QMATH flag bit.
191         (ASM_SPEC): Pass -k to the assembler for PIC code.
192
193 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
194
195         * gcc/config.gcc: Add vax-*-linux* to the switch.
196         * gcc/config/vax/linux.h: New file. (TARGET_VERSION,
197         TARGET_OS_CPP_BUILTINS, TARGET_DEFAULT, CPP_SPEC, LINK_SPEC): Define.
198
199 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
200
201         * gcc/config/vax/vax.c (vax_output_int_move, adjacent_operands_p):
202         Use predicate macros instead of GET_CODE() == foo.
203         * gcc/config/vax/vax.md (movsi_2, movstrictqi, and<mode>3, ashrsi3,
204         ashlsi3, rotrsi3, <unnamed>): Likewise.
205
206 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
207
208         * gcc/config/vax/builtins.md (jbbssiqi, jbbssihi, jbbssisi, jbbcciqi,
209         jbbccihi, jbbccisi): Remova trailing whitespace.
210         * gcc/config/vax/constraints.md: Likewise.
211         * gcc/config/vax/elf.h: (ASM_PREFERRED_EH_DATA_FORMAT): Likewise.
212         * gcc/config/vax/openbsd1.h (OBSD_OLD_GAS): Likewise.
213         * gcc/config/vax/predicates.md: Likewise.
214         * gcc/config/vax/vax.c (print_operand_address, vax_output_int_move,
215         vax_expand_addsub_di_operands, adjacent_operands_p): Likewise.
216         * gcc/config/vax/vax.h: Likewise.
217         * gcc/config/vax/vax.md (nonlocal_goto): Likewise.
218
219 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
220
221         * gcc/config/vax/vax.c (vax_float_literal, vax_output_int_move)
222         (indirectable_address_p, adjacent_operands_p): Add spaces around
223         braces.
224         * gcc/config/vax/vax-protos.h (adjacent_operands_p): Likewise.
225
226 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
227
228         * gcc/config/vax/vax.c (legitimate_constant_address_p,
229         legitimate_constant_p, indirectable_address_p, nonindexed_address_p,
230         index_term_p, reg_plus_index_p, legitimate_address_p,
231         vax_mode_dependent_address_p): Update comments to match functions
232         modified by the recent int->bool conversion.
233
234 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
235
236         * gcc/config/vax/builtins.md: Update copyright message.
237         * gcc/config/vax/constraints.md: Likewise.
238         * gcc/config/vax/netbsd-elf.h: Likewise.
239         * gcc/config/vax/predicates.md: Likewise.
240         * gcc/config/vax/vax-protos.h: Likewise.
241         * gcc/config/vax/vax.c: Likewise.
242         * gcc/config/vax/vax.h: Likewise.
243         * gcc/config/vax/vax.md: Likewise.
244         * gcc/config/vax/vax.opt: Likewise.
245
246 2009-04-01      Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
247
248         * gcc/config/vax/builtins.md (ffssi2, ffssi2_internal,
249         sync_lock_test_and_set<mode>, sync_lock_release<mode>): Fix indention.
250         * gcc/config/vax/constraints.md (B, R): Likewise.
251         * gcc/config/vax/predicates.md (external_memory_operand,
252         nonimmediate_addsub_di_operand): Likewise.
253         * gcc/config/vax/vax.c (vax_output_int_add): Likewise.
254         * gcc/config/vax/vax.md (movsi, movsi_2, mov<mode>, call_value,
255         untyped_call): Likewise.
256
257 2009-04-01      Matt Thomas <matt@3am-software.com>
258
259         * config/vax/predicates.md: New file. (symbolic_operand,
260         local_symbolic_operand, external_symbolic_operand,
261         external_const_operand, nonsymbolic_operand, external_memory_operand,
262         indirect_memory_operand, indexed_memory_operand,
263         illegal_blk_memory_operand, illegal_addsub_di_memory_operand,
264         nonimmediate_addsub_di_operand, general_addsub_di_operand): New
265         predicate.
266         * config/vax/constraints.md: New file. (Z0, U06,  U08, U16, CN6, S08,
267         S16, I, J, K, L, M, N, O, G, Q, B, R, T): New constraint.
268         * config/vax/builtins.md: New file. (ffssi2, ffssi2_internal,
269         sync_lock_test_and_set<mode>, jbbssiqi, jbbssihi, jbbssisi,
270         sync_lock_release<mode>, jbbcciqi, jbbccihi, jbbccisi): Define.
271         * config/vax/vax.opt (mqmath): Add option.
272         * config/vax/vax.md (isfx): Extend with DI.
273         (VAXintQH, VAXintQHSD): Define.
274         (tst<mode>, cmp<mode>, *bit<mode>, movmemhi1, truncsiqi2, truncsihi2,
275         mulsidi3, add<mode>3, sub<mode>, mul<mode>3, div<mode>3, and<mode>,
276         and<mode>_const_int, ior<mode>3, xor<mode>3, neg<mode>2,
277         one_cmpl<mode>2, ashlsi3, lshrsi3, rotlsi3): Update constraints.
278         (movdi): Update constraints and use vax_output_int_move().
279         (movsi, movsi_2, pushlclsymreg, pushextsymreg, movlclsymreg,
280         movextsymreg, adddi3, adcdi3, subdi3, sbcdi3, pushextsym, movextsym,
281         pushlclsym, movlclsym, movaddr<mode>, pushaddr<mode>,
282         nonlocal_goto): New.
283         (mov<mode>): Extend accepted operand types.
284         (subdi3_old): Rename from subdi3, change update constraints and use
285         a new implementation.
286         * gcc/config/vax/vax.h (PCC_BITFIELD_TYPE_MATTERS): Add space.
287         (FRAME_POINTER_CFA_OFFSET, IRA_COVER_CLASSES, CLASS_MAX_NREGS,
288         MOVE_RATIO, CLEAR_RATIO): Define.
289         (REG_CLASS_FROM_LETTER, CONST_OK_FOR_LETTER_P,
290         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT): Delete.
291         (PRINT_OPERAND): Redefine using a function instead of inlined code.
292         * gcc/config/vax/vax.c (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Define.
293         (split_quadword_operands): Make static and really allow variable
294         splitting.
295         (print_operand_address): Update for PIC generation.
296         (print_operand, vax_builtin_setjmp_frame_value, vax_output_int_subtract,
297         indexable_address_p, fixup_mathdi_operand,
298         vax_expand_addsub_di_operands, adjacent_operands_p): New.
299         (vax_float_literal, legitimate_constant_p,
300         indirectable_constant_address_p, index_term_p,
301         reg_plus_index_p): Return bool instead of int.
302         (vax_rtx_costs): Fix cost for CONST_INT, indent and use HOST_WIDE_INT
303         where needed.
304         (vax_output_int_move, vax_output_int_add): Extend to allow PIC
305         generation.
306         (vax_output_conditional_branch): Indent.
307         (legitimate_constant_address_p, indirectable_constant_address_p,
308         indirectable_address_p, nonindexed_address_p, legitimate_address_p,
309         vax_mode_dependent_address_p): Return bool instead of int, update for
310         PIC generation.
311         * config/vax/vax-protos.h (legitimate_constant_address_p,
312         legitimate_constant_p, legitimate_address_p,
313         vax_mode_dependent_address_p): Change declaration to bool.
314         (legitimate_pic_operand_p, adjacent_operands_p, print_operand,
315         vax_expand_addsub_di_operands, vax_output_int_subtract,
316         vax_output_movmemsi): Declare.
317         (split_quadword_operands, vax_float_literal): Delete declaration.
318         * config/vax/netbsd-elf.h (CC1_SPEC, CC1PLUS_SPEC) Define.
319         * config/vax/elf.h (NO_EXTERNAL_INDIRECT_ADDRESS,
320         VAX_CC1_AND_CC1PLUS_SPEC, ASM_PREFERRED_EH_DATA_FORMAT,
321         ASM_OUTPUT_DWARF_PCREL): Define.
322         (ASM_SPEC): Change definition to allow PIC generation.
323
324 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
325
326         PR target/39226
327         * config/rs6000/rs6000.md (andsi3_internal5_nomc,
328         anddi3_internal2_nomc, anddi3_internal3_nomc): Removed.
329         (booldi3_internal3): Use boolean_or_operator instead of
330         boolean_operator.
331
332 2009-04-01  Joseph Myers  <joseph@codesourcery.com>
333
334         PR c/39605
335         * c-decl.c (grokdeclarator): Pedwarn for file-scope array
336         declarator whose size is not an integer constant expression but
337         folds to an integer constant, then treat it as a constant
338         subsequently.
339
340 2009-04-01  Richard Guenther  <rguenther@suse.de>
341
342         * fold-const.c (fold_plusminus_mult_expr): Do not fold
343         i * 4 + 2 to (i * 2 + 1) * 2.
344
345 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
346
347         PR c/37772
348         * c-parser.c (c_parser_asm_statement): Skip until close paren and
349         return if c_parser_asm_string_literal returned NULL.
350
351 2009-04-01  Nick Clifton  <nickc@redhat.com>
352
353         * config/m32c/m32c.h (LIBGCC2_UNITS_PER_WORD): Define if not
354         already defined.
355         * config/m32c/t-m32c (LIB2FUNCS_EXTRA): Add m32c-lib2-trapv.c.
356         * config/m32c/m32c-lib2.c: Remove unused typedefs.  Rename the
357         other typedefs to avoid conflicts with libgcc2.c.  Define labels
358         to gain 16-bit bit-manipulation functions from libgcc2.c and then
359         include it.
360         * config/m32c/m32c-lib2-trapv.c: New file.  Define labels
361         to gain 16-bit trapping arithmetic functions from libgcc2.c and
362         then include it.
363
364 2009-04-01  Rafael Avila de Espindola  <espindola@google.com>
365
366        * varasm.c (default_function_rodata_section): Declare DOT as const char*.
367
368 2009-04-01  Kai Tietz  <kai.tietz@onevision.com>
369             Andrey Galkin <agalkin@hypercom.com>
370
371         PR/39492
372         * config/i386/host-mingw32.c (mingw32_gt_pch_use_address):
373         Make object_name unique for each process.
374
375 2009-04-01  Jakub Jelinek  <jakub@redhat.com>
376
377         PR other/39591
378         * omp-low.c (remove_exit_barrier): Don't optimize if there are any
379         addressable variables in the parallel that could go out of scope while
380         running queued tasks.
381
382 2009-04-01  Anatoly Sokolov  <aesok@post.ru>
383
384         * config/avr/avr.h (avr_case_values_threshold): Remove declaration.
385         (CASE_VALUES_THRESHOLD): Redefine.
386         * config/avr/avr.c (avr_override_options): Remove initialization of
387         avr_case_values_threshold variable.
388         (avr_case_values_threshold): Remove variable. Add new function.
389         * config/avr/avr-protos.h (avr_case_values_threshold): Declare.
390         * config/avr/avr.opt (mno-tablejump): Remove option.
391         * doc/invoke.texi (AVR Options): Remove -mno-tablejump.
392
393 2009-04-01  DJ Delorie  <dj@redhat.com>
394
395         * varasm.c (default_function_rodata_section): Don't assume
396         anything about where the first '.' in the section name is.
397
398 2009-04-01  Alan Modra  <amodra@bigpond.net.au>
399
400         * config/rs6000/rs6000.c (rs6000_emit_stack_reset): Delete redundant
401         rs6000_emit_stack_tie.
402
403 2009-03-31  Ian Lance Taylor  <iant@google.com>
404
405         * tree-eh.c (tree_remove_unreachable_handlers): Compare
406         gimple_code with GIMPLE_RESX, not RESX.
407
408 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
409
410         * c-common.c (c_get_ident): New.
411         (c_common_nodes_and_builtins): Call it for type names that may be
412         NULL.
413
414 2009-04-01  Ben Elliston  <bje@au.ibm.com>
415
416         * config/rs6000/sysv4.opt (msdata): Improve option description.
417
418 2009-03-31  Steve Ellcey  <sje@cup.hp.com>
419
420         * config/ia64/ia64.md (divsf3_internal_lat): Remove.
421         (divdf3_internal_lat): Remove.
422         (divxf3_internal_lat): Remove.
423         (divxf3_internal_thr): Remove.
424         (divxf): Use divxf3_internal.
425         * config/ia64/div.md (divsf3_internal_lat): New.
426         (divdf3_internal_lat): New.
427         (divxf3_internal): New.
428
429 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
430
431         PR c/448
432         * Makefile.in (USE_GCC_STDINT): Define.
433         (stmp-int-hdrs): Install stdint.h if applicable.
434         * c-common.c (CHAR16_TYPE): Define in terms of UINT_LEAST16_TYPE
435         if known.
436         (CHAR32_TYPE): Define in terms of UINT_LEAST32_TYPE if known.
437         (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, INT64_TYPE,
438         UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
439         INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
440         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
441         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
442         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
443         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
444         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
445         (c_common_nodes_and_builtins): Initialize
446         underlying_wchar_type_node.  Do not initialize
447         signed_wchar_type_node or unsigned_wchar_type_node.  Initialize
448         nodes for new types.
449         (c_stddef_cpp_builtins): Define macros for new types.
450         * c-common.h (CTI_SIGNED_WCHAR_TYPE, CTI_UNSIGNED_WCHAR_TYPE):
451         Remove.
452         (CTI_UNDERLYING_WCHAR_TYPE, CTI_SIG_ATOMIC_TYPE, CTI_INT8_TYPE,
453         CTI_INT16_TYPE, CTI_INT32_TYPE, CTI_INT64_TYPE, CTI_UINT8_TYPE,
454         CTI_UINT16_TYPE, CTI_UINT32_TYPE, CTI_UINT64_TYPE,
455         CTI_INT_LEAST8_TYPE, CTI_INT_LEAST16_TYPE, CTI_INT_LEAST32_TYPE,
456         CTI_INT_LEAST64_TYPE, CTI_UINT_LEAST8_TYPE, CTI_UINT_LEAST16_TYPE,
457         CTI_UINT_LEAST32_TYPE, CTI_UINT_LEAST64_TYPE, CTI_INT_FAST8_TYPE,
458         CTI_INT_FAST16_TYPE, CTI_INT_FAST32_TYPE, CTI_INT_FAST64_TYPE,
459         CTI_UINT_FAST8_TYPE, CTI_UINT_FAST16_TYPE, CTI_UINT_FAST32_TYPE,
460         CTI_UINT_FAST64_TYPE, CTI_INTPTR_TYPE, CTI_UINTPTR_TYPE): Define.
461         (signed_wchar_type_node, unsigned_wchar_type_node): Remove.
462         (underlying_wchar_type_node, sig_atomic_type_node, int8_type_node,
463         int16_type_node, int32_type_node, int64_type_node,
464         uint8_type_node, uint16_type_node, c_uint32_type_node,
465         c_uint64_type_node, int_least8_type_node, int_least16_type_node,
466         int_least32_type_node, int_least64_type_node,
467         uint_least8_type_node, uint_least16_type_node,
468         uint_least32_type_node, uint_least64_type_node,
469         int_fast8_type_node, int_fast16_type_node, int_fast32_type_node,
470         int_fast64_type_node, uint_fast8_type_node, uint_fast16_type_node,
471         uint_fast32_type_node, uint_fast64_type_node, intptr_type_node,
472         uintptr_type_node): Define.
473         * c-cppbuiltin.c (builtin_define_constants,
474         builtin_define_type_minmax): New.
475         (builtin_define_stdint_macros): Define more macros.
476         (c_cpp_builtins): Define more limit macros.
477         (type_suffix): New.
478         (builtin_define_type_max): Define in terms of
479         builtin_define_type_minmax.  Remove is_long parameter.  All
480         callers changed.
481         * config.gcc (use_gcc_stdint): Define.
482         (tm_file): Add glibc-stdint.h for targets using glibc or uClibc.
483         Add newlib-stdint.h for generic targets.
484         * config/glibc-stdint.h, config/newlib-stdint.h,
485         ginclude/stdint-gcc.h, ginclude/stdint-wrap.h: New.
486         * config/m32c/m32c.h (UINTPTR_TYPE): Define.
487         * config/score/score.h (UINTPTR_TYPE): Define.
488         * config/sol2.h (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE,
489         INT32_TYPE, INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE,
490         UINT64_TYPE, INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
491         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
492         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
493         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
494         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
495         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
496         * config/spu/spu.h (STDINT_LONG32): Define.
497         * configure.ac (use_gcc_stdint): Substitute.
498         * configure: Regenerate.
499         * doc/cpp.texi (__SIG_ATOMIC_TYPE__, __INT8_TYPE__,
500         __INT16_TYPE__, __INT32_TYPE__, __INT64_TYPE__, __UINT8_TYPE__,
501         __UINT16_TYPE__, __UINT32_TYPE__, __UINT64_TYPE__,
502         __INT_LEAST8_TYPE__, __INT_LEAST16_TYPE__, __INT_LEAST32_TYPE__,
503         __INT_LEAST64_TYPE__, __UINT_LEAST8_TYPE__, __UINT_LEAST16_TYPE__,
504         __UINT_LEAST32_TYPE_, __UINT_LEAST64_TYPE__, __INT_FAST8_TYPE__,
505         __INT_FAST16_TYPE__, __INT_FAST32_TYPE__, __INT_FAST64_TYPE__,
506         __UINT_FAST8_TYPE__, __UINT_FAST16_TYPE__, __UINT_FAST32_TYPE__,
507         __UINT_FAST64_TYPE__, __INTPTR_TYPE__, __UINTPTR_TYPE__,
508         __WINT_MAX__, __SIZE_MAX__, __PTRDIFF_MAX__, __UINTMAX_MAX__,
509         __SIG_ATOMIC_MAX__, __INT8_MAX__, __INT16_MAX__, __INT32_MAX__,
510         __INT64_MAX__, __UINT8_MAX__, __UINT16_MAX__, __UINT32_MAX__,
511         __UINT64_MAX__, __INT_LEAST8_MAX__, __INT_LEAST16_MAX__,
512         __INT_LEAST32_MAX__, __INT_LEAST64_MAX__, __UINT_LEAST8_MAX__,
513         __UINT_LEAST16_MAX__, __UINT_LEAST32_MAX__, __UINT_LEAST64_MAX__,
514         __INT_FAST8_MAX__, __INT_FAST16_MAX__, __INT_FAST32_MAX__,
515         __INT_FAST64_MAX__, __UINT_FAST8_MAX__, __UINT_FAST16_MAX__,
516         __UINT_FAST32_MAX__, __UINT_FAST64_MAX__, __INTPTR_MAX__,
517         __UINTPTR_MAX__, __WCHAR_MIN__, __WINT_MIN__, __SIG_ATOMIC_MIN__,
518         __INT8_C, __INT16_C, __INT32_C, __INT64_C, __UINT8_C, __UINT16_C,
519         __UINT32_C, __UINT64_C, __INTMAX_C, __UINTMAX_C): Document.
520         * doc/tm.texi (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE,
521         INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
522         INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
523         INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
524         UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
525         INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
526         UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
527         UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Document.
528
529 2009-03-31  Bernd Schmidt  <bernd.schmidt@analog.com>
530
531         * loop-iv.c (suitable_set_for_replacement): Renamed from
532         simplify_using_assignment; changed to return bool and to accept new
533         args DEST and SRC.  Return true iff we find a source/destination pair
534         that can be used to make a replacement, and fill SRC and DEST if so.
535         Remove arg ALTERED.  Don't deal with altered regs here.  All callers
536         changed.
537         (simplify_using_initial_values): Deal with altered regs here and track
538         more precisely the effect they have on the validity of our expression.
539
540         * loop-iv.c (simplify_using_condition): A condition of the form
541         (EQ REG CONST) can be used to simply make a substitution.
542         (simplify_using_initial_values): Keep track of conditions we have seen
543         and keep using them to simplify new expressions, while applying the
544         same substitutions to them as to the expression.
545
546         * simplify-rtx.c (simplify_relational_operation_1): Simplify
547         (LTU (PLUS a C) C) or (LTU (PLUS a C) a) to (GEU a -C); likewise with
548         GEU/LTU reversed.
549
550         * loop-iv.c (determine_max_iter): New arg OLD_NITER.  All callers
551         changed.  Use this when trying to improve the upper bound.
552         Generate the comparison by using simplify_gen_relational.
553
554         * loop-iv.c (simple_rhs_p): Allow more kinds of expressions.
555
556         * loop-iv.c (replace_single_def_regs, replace_in_expr): New static
557         functions.
558         (simplify_using_assignment, simplify_using_initial_values): Call 
559         replace_in_expr to make replacements.  Call replace_single_def_regs
560         once on the initial version of the expression.
561
562 2009-03-31  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
563
564         PR target/27237
565         * doc/invoke.texi (ARM Options): Update documentation for -mthumb.
566         
567 2009-03-31  Richard Guenther  <rguenther@suse.de>
568
569         PR middle-end/31029
570         * fold-const.c (fold_binary): Fold X +- Y CMP X to Y CMP 0 for
571         equality comparisons.  Fold C - X CMP X if C % 2 == 1.
572
573 2009-03-31  Richard Guenther  <rguenther@suse.de>
574
575         * tree.h (div_if_zero_remainder): Declare.
576         * fold-const.c (div_if_zero_remainder): Export.
577         * tree-ssa-forwprop.c
578         (forward_propagate_addr_into_variable_array_index): Handle
579         constant array index addition outside of the variable index.
580
581 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
582
583         PR target/39592
584         * config/i386/i386.md (*floatunssi<mode>2_1, two unnamed
585         define_splits, floatunssi<mode>2): Require x87 conversions from
586         DImode to be permitted.
587
588 2009-03-31  Joseph Myers  <joseph@codesourcery.com>
589
590         PR preprocessor/15638
591         * c-common.c (c_cpp_error): Handle CPP_DL_FATAL.
592
593 2009-03-31  Richard Guenther  <rguenther@suse.de>
594
595         PR middle-end/23401
596         PR middle-end/27810
597         * tree.h (DECL_GIMPLE_FORMAL_TEMP_P): Remove.
598         (struct tree_decl_with_vis): Remove gimple_formal_temp member.
599         * tree-eh.c (lower_eh_constructs_2): Move LHS assignment to
600         a separate statement.
601         * gimplify.c (pop_gimplify_context): Remove formal temp handling.
602         (lookup_tmp_var): Likewise.
603         (is_gimple_formal_tmp_or_call_rhs): Remove.
604         (is_gimple_reg_or_call_rhs): Rename to ...
605         (is_gimple_reg_rhs_or_call): ... this.
606         (is_gimple_mem_or_call_rhs): Rename to ...
607         (is_gimple_mem_rhs_or_call): ... this.
608         (internal_get_tmp_var): Use is_gimple_reg_rhs_or_call.  Set
609         DECL_GIMPLE_REG_P only if is_formal is true.
610         (gimplify_compound_lval): Use is_gimple_reg.  Remove workaround
611         for non-proper post-modify expression gimplification.
612         (gimplify_self_mod_expr): For post-modify expressions gimplify
613         the lvalue to a minimal lvalue.
614         (rhs_predicate_for): Remove formal temp case.
615         (gimplify_modify_expr_rhs): Likewise.
616         (gimplify_addr_expr): Use is_gimple_reg.
617         (gimplify_expr): Remove formal temp cases.
618         (gimple_regimplify_operands): Likewise.
619         * tree-ssa-pre.c (get_or_alloc_expr_for): Treat EXC_PTR_EXPR
620         and FILTER_EXPR like constants.
621         * gimple.c (walk_gimple_op): Fix val_only initialization, use
622         is_gimple_reg.
623         (is_gimple_formal_tmp_rhs): Remove.
624         (is_gimple_reg_rhs): Remove special casing.
625         (is_gimple_mem_rhs): Fix.
626         (is_gimple_reg): Move DECL_GIMPLE_REG_P handling earlier.
627         (is_gimple_formal_tmp_var): Remove.
628         (is_gimple_formal_tmp_reg): Likewise.
629         (is_gimple_min_lval): Allow invariant component ref parts.
630         * gimple.h (is_gimple_formal_tmp_rhs, is_gimple_formal_tmp_var,
631         is_gimple_formal_tmp_reg): Remove declarations.
632         * tree-cfg.c (verify_expr): Verify that variables with address
633         taken do not have DECL_GIMPLE_REG_P set.
634         * tree-mudflap.c (mf_build_check_statement_for): Use
635         force_gimple_operand instead of gimplify_expr.
636
637 2009-03-31  Ayal Zaks  <zaks@il.ibm.com>
638
639         * modulo-sched.c (sms_schedule_by_order): Pass the actual
640         schedulable rows to compute_split_row.
641
642 2009-03-31  Ben Elliston  <bje@au.ibm.com>
643
644         PR target/31635
645         * config/rs6000/rs6000.c (rs6000_handle_option): Handle
646         OPT_mvrsave.
647
648 2009-03-31  Alan Modra  <amodra@bigpond.net.au>
649
650         * doc/invoke.texi (RS/6000 and PowerPC Options):Document mtls-markers.
651         * configure.ac (HAVE_AS_TLS_MARKERS): New gas feature check.
652         * configure: Regenerate.
653         * config.in: Regenerate.
654         * config/rs6000/rs6000.opt (mtls-markers): Add.
655         * config/rs6000/rs6000.h (TARGET_TLS_MARKERS): Define.
656         * config/rs6000/rs6000.md (tls_gd_aix, tls_gd_sysv): Add splitter.
657         (tls_ld_aix, tls_ld_sysv): Likewise.
658         (tls_gd, tls_gd_call_aix, tls_gd_call_sysv): New insns.
659         (tls_ld, tls_ld_call_aix, tls_ld_call_sysv): Likewise.
660
661 2009-03-31  Alan Modra  <amodra@bigpond.net.au>
662
663         * config/spu/spu.c (spu_expand_prologue): Delete redundant code.
664
665 2009-03-30  Jan Hubicka  <jh@suse.cz>
666
667         * tree-eh.c (make_eh_edges): Set probability 100% to first edge
668         out of RESX.
669         (tree_remove_unreachable_handlers): Cleanup EH predecestor
670         detection and label handling.
671
672 2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
673
674         * ira-int.h (ira_allocno): Rename left_conflicts_num to
675         left_conflicts_size.
676         (ALLOCNO_LEFT_CONFLICTS_NUM): Rename to
677         ALLOCNO_LEFT_CONFLICTS_SIZE.
678
679         * ira-color.c (allocno_spill_priority, push_allocno_to_stack,
680         remove_allocno_from_bucket_and_push,
681         allocno_spill_priority_compare, push_allocnos_to_stack,
682         setup_allocno_available_regs_num): Use ALLOCNO_LEFT_CONFLICTS_SIZE
683         instead of ALLOCNO_LEFT_CONFLICTS_NUM.
684         (setup_allocno_left_conflicts_num): Ditto.  Rename to
685         setup_allocno_left_conflicts_size.
686         (put_allocno_into_bucket): Use ALLOCNO_LEFT_CONFLICTS_SIZE
687         instead of ALLOCNO_LEFT_CONFLICTS_NUM and
688         setup_allocno_left_conflicts_size instead of
689         setup_allocno_left_conflicts_num.
690
691         * ira-build.c (ira_create_allocno): Use
692         ALLOCNO_LEFT_CONFLICTS_SIZE instead of
693         ALLOCNO_LEFT_CONFLICTS_NUM.
694                 
695 2009-03-30  Vladimir Makarov  <vmakarov@redhat.com>
696
697         * reload.c (push_reload, find_dummy_reload): Use df_get_live_out
698         instead of DF_LR_OUT.
699
700         * ira-lives.c (process_bb_node_lives): Ditto.
701
702         * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in}
703         instead of DF_LR_{OUT,IN}.
704
705         * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto.
706
707         * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto.
708
709 2009-03-30  Jan Hubicka  <jh@suse.cz>
710
711         * except.c (label_to_region_map): Fix thinko.
712
713 2009-03-30  Steve Ellcey  <sje@cup.hp.com>
714
715         PR middle-end/38237
716         * tree.h (tree_find_value): New declaration.
717         * tree.c (tree_find_value): New function.
718         * varasm.c (assemble_external): Avoid duplicate entries on lists.
719
720 2009-03-30  Jakub Jelinek  <jakub@redhat.com>
721
722         PR debug/39563
723         * c-decl.c (struct c_binding): Add locus field.
724         (bind): Add locus argument, set locus field from it.
725         (pop_scope): For b->nested VAR_DECL or FUNCTION_DECL,
726         add a DECL_EXTERNAL copy of b->decl to current BLOCK_VARS.
727         (push_file_scope, pushtag, pushdecl, pushdecl_top_level,
728         implicitly_declare, undeclared_variable, lookup_label,
729         declare_label, c_make_fname_decl, c_builtin_function,
730         c_builtin_function_ext_scope, store_parm_decls_newstyle): Adjust
731         bind callers.
732
733 2008-03-30  H.J. Lu  <hongjiu.lu@intel.com>
734
735         PR target/38781
736         * config/i386/i386.c (classify_argument): Check total size of
737         structure.
738
739 2009-03-30  Martin Jambor  <mjambor@suse.cz>
740
741         * ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN, IPA_CONST,
742         IPA_CONST_MEMBER_PTR, and IPA_PASS_THROUGH to IPA_JF_UNKNOWN,
743         IPA_JF_CONST, IPA_JF_CONST_MEMBER_PTR, and IPA_JF_PASS_THROUGH
744         respectively.
745
746         * tree-dfa.c (get_ref_base_and_extent): Return -1 maxsize if
747         seen_variable_array_ref while also traversing a union.
748
749         * tree-inline.c (optimize_inline_calls): Do not call
750         cgraph_node_remove_callees.
751         * cgraphbuild.c (remove_cgraph_callee_edges): New function.
752         (pass_remove_cgraph_callee_edges): New variable.
753         * passes.c (init_optimization_passes): Add
754         pass_remove_cgraph_callee_edges after early inlining and before all
755         late intraprocedural passes.
756
757         * omp-low.c (expand_omp_taskreg): Always set current_function_decl.
758
759 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
760
761         * config/sparc/sparc.md (*nand<V64mode>_vis, *nand<V32mode>_vis):
762         Fix typos in names.
763
764 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
765
766         * combine.c (simplify_comparison): Use have_insn_for.
767         * dojump.c (do_jump): Likewise.
768
769 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
770
771         * config/sparc/sparc.c (sparc_compare_emitted): Remove.
772         (gen_compare_reg, emit_v9_brxx_insn): Handle MODE_CC
773         sparc_compare_op0 like sparc_compare_emitted used to be handled.
774         (sparc_expand_compare_and_swap_12): Set sparc_compare_op0
775         instead of sparc_compare_emitted.
776         * config/sparc/sparc.h (sparc_compare_emitted): Remove.
777         * config/sparc/sparc.md (stack_protect_test): Set sparc_compare_op0
778         instead of sparc_compare_emitted.
779
780 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
781
782         * bb-reorder.c (partition_hot_cold_basic_blocks): Do not
783         enter/exit cfglayout mode.
784         (pass_partition_block): Require it.
785         * combine.c (find_single_use, reg_dead_at_p): Use CFG.
786         (combine_instructions): Track basic blocks instead of labels.
787         (update_cfg_for_uncondjump): New.
788         (try_combine): Use it.  Update jumps after rescanning.
789         (pass_combine): Require PROP_cfglayout.
790         * passes.c (pass_outof_cfg_layout_mode): Move after regmove.
791
792 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
793
794         * cfglayout.c (pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode):
795         Provide/destroy PROP_cfglayout respectively.
796         * gcse.c (pass_jump_bypass, pass_gcse): Require it.
797         * tree-pass.h (PROP_cfglayout): New.
798
799 2009-03-30  Paolo Bonzini  <bonzini@gnu.org>
800
801         * fold-const.c (const_binop, fold_convert_const_real_from_fixed,
802         fold_convert_const_fixed_from_fixed,
803         fold_convert_const_fixed_from_int,
804         fold_convert_const_fixed_from_real, fold_negate_const): Do not
805         set TREE_CONSTANT_OVERFLOW.
806         * tree.def: Remove mention of TREE_CONSTANT_OVERFLOW.
807         * tree.h (TREE_CONSTANT_OVERFLOW): Delete.
808
809 2009-03-30  Ira Rosen  <irar@il.ibm.com>
810
811         * tree-vect-loop-manip.c: New file.
812         * tree-vectorizer.c: Update documentation and included files.
813         (vect_loop_location): Make extern.
814         (rename_use_op): Move to tree-vect-loop-manip.c
815         (rename_variables_in_bb, rename_variables_in_loop, 
816         slpeel_update_phis_for_duplicate_loop, 
817         slpeel_update_phi_nodes_for_guard1,
818         slpeel_update_phi_nodes_for_guard2, slpeel_make_loop_iterate_ntimes,
819         slpeel_tree_duplicate_loop_to_edge_cfg, slpeel_add_loop_guard,
820         slpeel_can_duplicate_loop_p, slpeel_verify_cfg_after_peeling,
821         set_prologue_iterations, slpeel_tree_peel_loop_to_edge, 
822         find_loop_location): Likewise.
823         (new_stmt_vec_info): Move to tree-vect-stmts.c.
824         (init_stmt_vec_info_vec, free_stmt_vec_info_vec, free_stmt_vec_info,
825         get_vectype_for_scalar_type, vect_is_simple_use,
826         supportable_widening_operation, supportable_narrowing_operation):
827         Likewise.
828         (bb_in_loop_p): Move to tree-vect-loop.c.
829         (new_loop_vec_info, destroy_loop_vec_info, 
830         reduction_code_for_scalar_code, report_vect_op, 
831         vect_is_simple_reduction, vect_is_simple_iv_evolution): Likewise.
832         (vect_can_force_dr_alignment_p): Move to tree-vect-data-refs.c.
833         (vect_supportable_dr_alignment): Likewise.
834         * tree-vectorizer.h (tree-data-ref.h): Include.
835         (vect_loop_location): Declare.
836         Reorganize function declarations according to the new file structure.
837         * tree-vect-loop.c: New file.
838         * tree-vect-analyze.c: Remove. Move functions to tree-vect-data-refs.c, 
839         tree-vect-stmts.c, tree-vect-slp.c, tree-vect-loop.c.
840         * tree-vect-data-refs.c: New file.
841         * tree-vect-patterns.c (timevar.h): Don't include.
842         * tree-vect-stmts.c: New file.
843         * tree-vect-transform.c: Remove. Move functions to tree-vect-stmts.c, 
844         tree-vect-slp.c, tree-vect-loop.c.
845         * Makefile.in (OBJS-common): Remove tree-vect-analyze.o and 
846         tree-vect-transform.o. Add tree-vect-data-refs.o, tree-vect-stmts.o, 
847         tree-vect-loop.o, tree-vect-loop-manip.o, tree-vect-slp.o.
848         (tree-vect-analyze.o): Remove.
849         (tree-vect-transform.o): Likewise.
850         (tree-vect-data-refs.o): Add rule.
851         (tree-vect-stmts.o, tree-vect-loop.o, tree-vect-loop-manip.o, 
852         tree-vect-slp.o): Likewise.
853         (tree-vect-patterns.o): Remove redundant dependencies.
854         (tree-vectorizer.o): Likewise.
855         * tree-vect-slp.c: New file.
856
857 2009-03-30  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
858
859         * optc-gen.awk: Warn if an option flag has multiple different
860         help strings.
861
862 2009-03-30  Sebastian Pop  <sebastian.pop@amd.com>
863
864         * doc/invoke.texi (-floop-interchange, -floop-strip-mine,
865         -floop-block): Document dependences on PPL, CLooG and Graphite.
866
867 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
868
869         PR rtl-optimization/323
870         * c-common.c (c_fully_fold, convert_and_check,
871         c_common_truthvalue_conversion): Handle EXCESS_PRECISION_EXPR.
872         (c_fully_fold_internal): Disallow EXCESS_PRECISION_EXPR.
873         * c-common.def (EXCESS_PRECISION_EXPR): New.
874         * c-cppbuiltin.c (builtin_define_float_constants): Define
875         constants with enough digits for long double.
876         * c-lex.c (interpret_float): Interpret constant with excess
877         precision where appropriate.
878         * c-opts.c (c_common_post_options): Set
879         flag_excess_precision_cmdline.  Give an error for
880         -fexcess-precision=standard for C++ for processors where the
881         option is significant.
882         * c-parser.c (c_parser_conditional_expression): Handle excess
883         precision in condition.
884         * c-typeck.c (convert_arguments): Handle arguments with excess
885         precision.
886         (build_unary_op): Move excess precision outside operation.
887         (build_conditional_expr): Likewise.
888         (build_compound_expr): Likewise.
889         (build_c_cast): Do cast on operand of EXCESS_PRECISION_EXPR.
890         (build_modify_expr): Handle excess precision in RHS.
891         (convert_for_assignment): Handle excess precision in converted
892         value.
893         (digest_init, output_init_element, process_init_element): Handle
894         excess precision in initializer.
895         (c_finish_return): Handle excess precision in return value.
896         (build_binary_op): Handle excess precision in operands and add
897         excess precision as needed for operation.
898         * common.opt (-fexcess-precision=): New option.
899         * config/i386/i386.h (X87_ENABLE_ARITH, X87_ENABLE_FLOAT): New.
900         * config/i386/i386.md (float<SSEMODEI24:mode><X87MODEF:mode>2):
901         For standard excess precision, output explicit conversion to and
902         truncation from XFmode.
903         (*float<SSEMODEI24:mode><X87MODEF:mode>2_1,
904         *float<SSEMODEI24:mode><X87MODEF:mode>2_i387_with_temp,
905         *float<SSEMODEI24:mode><X87MODEF:mode>2_i387, two unnamed
906         define_splits, floatdi<X87MODEF:mode>2_i387_with_xmm, two unnamed
907         define_splits, *floatunssi<mode>2_1, two unnamed define_splits,
908         floatunssi<mode>2, add<mode>3, sub<mode>3, mul<mode>3, divdf3,
909         divsf3, *fop_<mode>_comm_i387, *fop_<mode>_1_i387,
910         *fop_<MODEF:mode>_2_i387, *fop_<MODEF:mode>_3_i387,
911         *fop_df_4_i387, *fop_df_5_i387, *fop_df_6_i387, two unnamed
912         define_splits, sqrt<mode>2): Disable where appropriate for
913         standard excess precision.
914         * convert.c (convert_to_real): Do not shorten arithmetic to type
915         for which excess precision would be used.
916         * defaults.h (TARGET_FLT_EVAL_METHOD_NON_DEFAULT): Define.
917         * doc/invoke.texi (-fexcess-precision=): Document option.
918         (-mfpmath=): Correct index entry.
919         * flags.h (enum excess_precision, flag_excess_precision_cmdline,
920         flag_excess_precision): New.
921         * langhooks.c (lhd_post_options): Set
922         flag_excess_precision_cmdline.
923         * opts.c (common_handle_option): Handle -fexcess-precision=.
924         * toplev.c (flag_excess_precision_cmdline, flag_excess_precision,
925         init_excess_precision): New.
926         (lang_dependent_init_target): Call init_excess_precision.
927         * tree.c (excess_precision_type): New.
928         * tree.h (excess_precision_type): Declare.
929
930 2009-03-30  Joseph Myers  <joseph@codesourcery.com>
931
932         PR c/35235
933         * c-typeck.c (build_component_ref): Do not copy qualifiers from
934         non-lvalue to component.
935
936 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
937
938         PR preprocessor/34695
939         * Makefile.in (c-opts.o): Depend on c-tree.h.
940         * c-common.c: Move down include of diagnostic.h.
941         (done_lexing, c_cpp_error): New.
942         * c-common.h (done_lexing): Declare.
943         * c-decl.c (c_write_global_declarations): Don't check cpp_errors
944         (parse_in).
945         * c-opts.c: Include c-tree.h.
946         (c_common_init_options): Set preprocessor error callback.
947         (c_common_handle_option): Do not set preprocessor
948         inhibit_warnings, warnings_are_errors, warn_system_headers,
949         pedantic_errors or inhibit_warnings flags.
950         (c_common_post_options): Do not check cpp_errors (parse_in).
951         (c_common_finish): Do not output dependencies if there were
952         errors.  Do not check return value of cpp_finish.
953         * c-ppoutput.c (pp_file_change): Set input_location.
954         * c-tree.h (c_cpp_error): Declare.
955         * diagnostic.c (diagnostic_set_info_translated): Also initialize
956         override_column.
957         (diagnostic_build_prefix): Check override_column.
958         * diagnostic.h (diagnostic_info): Add override_column field.
959         (diagnostic_override_column): Define.
960
961 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
962
963         * c-common.c (c_expand_expr, c_staticp): Remove.
964         * c-common.def (COMPOUND_LITERAL_EXPR): Delete.
965         * c-common.h (emit_local_var, c_staticp, COMPOUND_LITERAL_EXPR_DECL,
966         COMPOUND_LITERAL_EXPR_DECL_EXPR): Remove.
967         * c-gimplify.c (gimplify_compound_literal_expr,
968         optimize_compound_literals_in_ctor): Remove.
969         (c_gimplify_expr): Remove COMPOUND_LITERAL_EXPR handling.
970         * c-objc-common.h (LANG_HOOKS_STATICP): Remove.
971         * c-semantics.c (emit_local_var): Remove.
972
973         * langhooks-def.h (lhd_expand_expr): Remove.
974         * langhooks.c (lhd_expand_expr): Remove.
975         * langhooks.h (LANG_HOOKS_DEF): Remove LANG_HOOKS_EXPAND_EXPR.
976
977         * expr.c (expand_expr_real_1): Move COMPOUND_LITERAL_EXPR
978         handling from c-semantics.c; don't call into langhook.
979         (expand_expr_addr_expr_1): Check that we don't get non-GENERIC trees.
980         * gimplify.c (gimplify_compound_literal_expr,
981         optimize_compound_literals_in_ctor): Move from c-gimplify.c.
982         (gimplify_init_constructor): Call optimize_compound_literals_in_ctor.
983         (gimplify_modify_expr_rhs, gimplify_expr): Handle COMPOUND_LITERAL_EXPR
984         as was done in c-gimplify.c.
985         * tree.c (staticp): Move COMPOUND_LITERAL_EXPR handling from c_staticp.
986         * tree.h (COMPOUND_LITERAL_EXPR_DECL, COMPOUND_LITERAL_EXPR_DECL_EXPR):
987         Move from c-common.h.
988         * tree.def (COMPOUND_LITERAL_EXPR): Move from c-common.def.
989
990         * tree.c (staticp): Do not call langhook.
991         * langhooks.c (lhd_staticp): Delete.
992         * langhooks-def.h (lhd_staticp): Delete prototype.
993         (LANG_HOOKS_STATICP): Delete.
994         (LANG_HOOKS_INITIALIZER): Delete LANG_HOOKS_STATICP.
995
996         * doc/c-tree.texi (Expression nodes): Refer to DECL_EXPRs
997         instead of DECL_STMTs.
998
999 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
1000
1001         PR c/456
1002         PR c/5675
1003         PR c/19976
1004         PR c/29116
1005         PR c/31871
1006         PR c/35198
1007         * builtins.c (fold_builtin_sincos): Build COMPOUND_EXPR in
1008         void_type_node.
1009         (fold_call_expr): Return a NOP_EXPR from folding rather than the
1010         contained expression.
1011         * c-common.c (c_fully_fold, c_fully_fold_internal, c_save_expr): New.
1012         (c_common_truthvalue_conversion): Use c_save_expr.  Do not fold
1013         conditional expressions for C.
1014         (decl_constant_value_for_optimization): Move from
1015         decl_constant_value_for_broken_optimization in c-typeck.c.  Check
1016         whether optimizing and that the expression is a VAR_DECL not of
1017         array type instead of doing such checks in the caller.  Do not
1018         check pedantic.  Call gcc_unreachable for C++.
1019         * c-common.def (C_MAYBE_CONST_EXPR): New.
1020         * c-common.h (c_fully_fold, c_save_expr,
1021         decl_constant_value_for_optimization): New prototypes.
1022         (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR,
1023         C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST,
1024         EXPR_INT_CONST_OPERANDS): Define.
1025         * c-convert.c (convert): Strip nops from expression.
1026         * c-decl.c (groktypename): Take extra parameters expr and
1027         expr_const_operands.  Update call to grokdeclarator.
1028         (start_decl): Update call to grokdeclarator.  Add statement for
1029         expressions used in type of decl.
1030         (grokparm): Update call to grokdeclarator.
1031         (push_parm_decl): Update call to grokdeclarator.
1032         (build_compound_literal): Add parameter non_const and build a
1033         C_MAYBE_COSNT_EXPR if applicable.
1034         (grokdeclarator): Take extra parameters expr and
1035         expr_const_operands.  Track expressions used in declaration
1036         specifiers and declarators.  Fold array sizes and track whether
1037         they are constant expressions and whether they are integer
1038         constant expressions.
1039         (parser_xref_tag): Set expr and expr_const_operands fields in
1040         return value.
1041         (grokfield): Update call to grokdeclarator.
1042         (start_function): Update call to grokdeclarator.
1043         (build_null_declspecs): Set expr and expr_const_operands fields in
1044         return value.
1045         (declspecs_add_type): Handle expressions in typeof specifiers.
1046         * c-parser.c (c_parser_declspecs): Set expr and
1047         expr_const_operands fields for declaration specifiers.
1048         (c_parser_enum_specifier): Likewise.
1049         (c_parser_struct_or_union_specifier): Likewise.
1050         (c_parser_typeof_specifier): Likewise.  Update call to
1051         groktypename.  Fold expression as needed.  Return expressions with
1052         type instead of adding statements.
1053         (c_parser_attributes): Update calls to c_parser_expr_list.
1054         (c_parser_statement_after_labels): Fold expression before passing
1055         to objc_build_throw_stmt.
1056         (c_parser_condition): Fold expression.
1057         (c_parser_asm_operands): Fold expression.
1058         (c_parser_conditional_expression): Use c_save_expr.  Update call
1059         to build_conditional_expr.
1060         (c_parser_alignof_expression): Update call to groktypename.
1061         (c_parser_postfix_expression): Preserve C_MAYBE_CONST_EXPR as
1062         original_code.  Fold expression argument of va_arg.  Create
1063         C_MAYBE_CONST_EXPR to preserve side effects of expressions in type
1064         argument to va_arg.  Update calls to groktypename.  Fold array
1065         index for offsetof.  Verify that first argument to
1066         __builtin_choose_expr has integer type.
1067         (c_parser_postfix_expression_after_paren_type): Update calls to
1068         groktypename and build_compound_literal.  Handle expressions with
1069         side effects in type name.
1070         (c_parser_postfix_expression_after_primary): Update call to
1071         c_parser_expr_list.  Set original_code for calls to
1072         __builtin_constant_p.
1073         (c_parser_expr_list): Take extra parameter fold_p.  Fold
1074         expressions if requested.
1075         (c_parser_objc_type_name): Update call to groktypename.
1076         (c_parser_objc_synchronized_statement): Fold expression.
1077         (c_parser_objc_receiver): Fold expression.
1078         (c_parser_objc_keywordexpr): Update call to c_parser_expr_list.
1079         (c_parser_omp_clause_num_threads, c_parser_omp_clause_schedule,
1080         c_parser_omp_atomic, c_parser_omp_for_loop): Fold expressions.
1081         * c-tree.h (CONSTRUCTOR_NON_CONST): Define.
1082         (struct c_typespec): Add elements expr and expr_const_operands.
1083         (struct c_declspecs): Add elements expr and expr_const_operands.
1084         (groktypename, build_conditional_expr, build_compound_literal):
1085         Update prototypes.
1086         (in_late_binary_op): Declare.
1087         * c-typeck.c (note_integer_operands): New function.
1088         (in_late_binary_op): New variable.
1089         (decl_constant_value_for_broken_optimization): Move to c-common.c
1090         and rename to decl_constant_value_for_optimization.
1091         (default_function_array_conversion): Do not strip nops.
1092         (default_conversion): Do not call
1093         decl_constant_value_for_broken_optimization.
1094         (build_array_ref): Do not fold result.
1095         (c_expr_sizeof_expr): Fold operand.  Use C_MAYBE_CONST_EXPR for
1096         result when operand is a VLA.
1097         (c_expr_sizeof_type): Update call to groktypename.  Handle
1098         expressions included in type name.  Use C_MAYBE_CONST_EXPR for
1099         result when operand names a VLA type.
1100         (build_function_call): Update call to build_compound_literal.
1101         Only fold result for calls to __builtin_* functions.  Strip
1102         NOP_EXPR from INTEGER_CST returned from such functions.  Fold
1103         the function designator.
1104         (convert_arguments): Fold arguments.  Update call to
1105         convert_for_assignment.
1106         (build_unary_op): Handle increment and decrement of
1107         C_MAYBE_CONST_EXPR.  Move lvalue checks for increment and
1108         decrement earlier.  Fold operand of increment and decrement.
1109         Handle address of C_MAYBE_CONST_EXPR.  Only fold expression being
1110         built for integer operand.  Wrap returns that are INTEGER_CSTs
1111         without being integer constant expressions or that have integer
1112         constant operands without being INTEGER_CSTs.
1113         (lvalue_p): Handle C_MAYBE_CONST_EXPR.
1114         (build_conditional_expr): Add operand ifexp_bcp.  Track whether
1115         result is an integer constant expression or can be used in
1116         unevaluated parts of one and avoid folding and wrap as
1117         appropriate.  Fold operands before possibly doing -Wsign-compare
1118         warnings.
1119         (build_compound_expr): Wrap result for C99 if operands can be used
1120         in integer constant expressions.
1121         (build_c_cast): Update call to digest_init.  Do not ignore
1122         overflow from casting floating-point constants to integers.  Wrap
1123         results that could be confused with integer constant expressions,
1124         null pointer constants or floating-point constants.
1125         (c_cast_expr): Update call to groktypename.  Handle expressions
1126         included in type name.
1127         (build_modify_expr): Handle modifying a C_MAYBE_CONST_EXPR.  Fold
1128         lhs inside possible SAVE_EXPR.  Fold RHS before assignment.
1129         Update calls to convert_for_assignment.
1130         (convert_for_assignment): Take new parameter
1131         null_pointer_constant.  Do not strip nops or call
1132         decl_constant_value_for_broken_optimization.  Set
1133         in_late_binary_op for conversions to boolean.
1134         (store_init_value): Update call to digest_init.
1135         (digest_init): Take new parameter null_pointer_constant.  Do not
1136         call decl_constant_value_for_broken_optimization.  pedwarn for
1137         initializers not constant expressions.  Update calls to
1138         convert_for_assignment.
1139         (constructor_nonconst): New.
1140         (struct constructor_stack): Add nonconst element.
1141         (really_start_incremental_init, push_init_level, pop_init_level):
1142         Handle constructor_nonconst and nonconst element.
1143         (set_init_index): Call constant_expression_warning for array
1144         designators.
1145         (output_init_element): Fold value.  Set constructor_nonconst as
1146         applicable.  pedwarn for initializers not constant expressions.
1147         Update call to digest_init.  Call constant_expression_warning
1148         where constant initializers are required.
1149         (process_init_element): Use c_save_expr.
1150         (c_finish_goto_ptr): Fold expression.
1151         (c_finish_return): Fold return value.  Update call to
1152         convert_for_assignment.
1153         (c_start_case): Fold switch expression.
1154         (c_process_expr_stmt): Fold expression.
1155         (c_finish_stmt_expr): Create C_MAYBE_CONST_EXPR as needed to
1156         ensure statement expression is not evaluated in constant expression.
1157         (build_binary_op): Track whether results are integer constant
1158         expressions or may occur in such, disable folding and wrap results
1159         as applicable.  Fold operands for -Wsign-compare warnings unless
1160         in_late_binary_op.
1161         (c_objc_common_truthvalue_conversion): Handle results folded to
1162         integer constants that are not integer constant expressions.
1163         * doc/extend.texi: Document when typeof operands are evaluated,
1164         that condition of __builtin_choose_expr is an integer constant
1165         expression, and more about use of __builtin_constant_p in
1166         initializers.
1167
1168 2009-03-29  Richard Guenther  <rguenther@suse.de>
1169
1170         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Properly
1171         propagate addresses of array references.
1172
1173 2009-03-29  Steven Bosscher  <steven@gcc.gnu.org>
1174
1175         * regmove.c (perhaps_ends_bb_p): Remove.
1176         (optimize_reg_copy_1): Don't call perhaps_ends_bb_p.  Get basic block
1177         from INSN and check that the main loop stays within that basic block.
1178         (optimize_reg_copy_1, optimize_reg_copy_3, fixup_match_2): Likewise.
1179         (regmove_forward_pass): Split out from regmove_optimize.  Use
1180         FOR_EACH_BB and FOR_BB_INSNS instead of traversing the insns stream.
1181         (regmove_backward_pass): Split out from regmove_optimize.  Use
1182         FOR_EACH_BB_REVERSE and FOR_BB_INSNS_REVERS_SAFE.
1183         (regmove_optimize): Simplify.
1184
1185 2009-03-29  H.J. Lu  <hongjiu.lu@intel.com>
1186
1187         PR target/39545
1188         * config/i386/i386.c (classify_argument): Ignore flexible array
1189         member in struct and warn ABI change.
1190
1191 2009-03-29  H.J. Lu  <hongjiu.lu@intel.com>
1192
1193         * config/i386/i386-protos.h (ix86_agi_dependent): New.
1194
1195         * config/i386/i386.c (ix86_agi_dependent): Rewrite.
1196         (ix86_adjust_cost): Updated.
1197
1198 2009-03-29  Jan Hubicka  <jh@suse.cz>
1199
1200         PR middle-end/28850
1201         * tree-pass.h (pass_cleanup_eh): New function.
1202         (remove_unreachable_regions): Break code handling RTL
1203         to rtl_remove_unreachable_regions; remove ERT_MUST_NOT_THROW
1204         that can not be reached by runtime.
1205         (can_be_reached_by_runtime): New function.
1206         (label_to_region_map): New function.
1207         (num_eh_regions): New function.
1208         (rtl_remove_unreachable_regions): New function.
1209         (convert_from_eh_region_ranges): Call rtl_remove_unreachable_regions.
1210         (remove_eh_region): New function.
1211         * except.h: Include sbitmap and vecprim.
1212         (remove_eh_region, remove_unreachable_regions, label_to_region_map,
1213         num_eh_regions): Declare.
1214         * passes.c (init_optimization_passes): Schedule cleanup_eh.
1215         * Makefile.in (EXCEPT_H): New; replace all uses of except.h by it.
1216         * tree-eh.c (tree_remove_unreachable_handlers): New function.
1217         (tree_empty_eh_handler_p): New function.
1218         (cleanup_empty_eh): New function.
1219         (cleanup_eh): New function.
1220         (pass_cleanup_eh): New function.
1221
1222 2009-03-29  Jan Hubicka  <jh@suse.cz>
1223
1224         * except.c (verify_eh_tree): Fix handling of fun!=cfun; be ready
1225         for removed regions.
1226
1227 2009-03-29  Jan Hubicka  <jh@suse.cz>
1228
1229         * except.c (dump_eh_tree): Dump all datastructures.
1230
1231 2009-03-29  Jan Hubicka  <jh@suse.cz>
1232
1233         * except.c (duplicate_eh_regions_0): Handle AKA bitmap.
1234         (duplicate_eh_regions_1): Likewise.
1235         (duplicate_eh_regions): Likewise; cleanup code gorwing the region
1236         vector; call EH verification.
1237         (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1):
1238         Be ready for region being removed.
1239
1240 2009-03-29  Jan Hubicka  <jh@suse.cz>
1241
1242         * bitmap.c (bitmap_last_set_bit): New function.
1243         * bitmap.h (bitmap_last_set_bit): Declare.
1244
1245 2009-03-29  David Ayers  <ayers@fsfe.org>
1246
1247         PR objc/27377
1248         * c-typeck.c (build_conditional_expr): Emit ObjC warnings
1249         by calling objc_compare_types and surpress warnings about
1250         incompatible C pointers that are compatible ObjC pointers.
1251         
1252 2009-03-29  Adam Nemet  <anemet@caviumnetworks.com>
1253
1254         * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Don't
1255         call initialize_inline_failed.
1256         (initialize_inline_failed): Move it from here ...
1257         * cgraph.c (initialize_inline_failed): ... to here.
1258         (cgraph_create_edge): Call initialize_inline_failed rather than
1259         setting inline_failed directly.
1260
1261 2009-03-29  Ben Elliston  <bje@au.ibm.com>
1262
1263         PR target/32542
1264         * sysv4.opt (msdata): Improve comment.
1265         * linux64.h (ASM_SPEC32): Do not pass -memb when -msdata is given.
1266         * sysv4.h (SVR4_ASM_SPEC): Likewise.
1267
1268 2009-03-29  Ben Elliston  <bje@au.ibm.com>
1269
1270         PR target/30451
1271         * config/rs6000/rs6000.md (*movti_ppc64): Correct the order of
1272         load and store attributes.
1273
1274 2009-03-29  Ben Elliston  <bje@au.ibm.com>
1275
1276         * config/i386/i386.c (enum ix86_builtins): Add IX86_BUILTIN_HUGE_VALQ.
1277         (ix86_init_builtins): Add built-in function __builtin_huge_valq.
1278         (ix86_expand_builtin): Handle IX86_BUILTIN_HUGE_VALQ.
1279         * doc/extend.texi (X86 Built-in Functions): Add index entries for
1280         __builtin_infq and __builtin_huge_valq.
1281
1282 2009-03-28  Anatoly Sokolov  <aesok@post.ru>
1283
1284         * config/avr/avr.c (avr_mcu_t): Add atmega8c1, atmega16c1 and
1285         atmega8m1 devices.
1286         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
1287         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.)
1288
1289 2009-03-28  Xinliang David Li  <davidxl@google.com>
1290
1291         * tree-ssa-ccp.c (ccp_finalize): Add dbg_count support. 
1292         (do_dbg_cnt): New function.
1293
1294 2009-03-28  Jan Hubicka  <jh@suse.cz>
1295
1296         Merge from pretty-ipa:
1297
1298         2009-03-27  Jan Hubicka  <jh@suse.cz>
1299
1300         * cgraph.c (dump_cgraph_node): Add replace output flag by process.
1301         * tree-pass.h (function_called_by_processed_nodes_p): Declare.
1302         * passes.c (function_called_by_processed_nodes_p): New.
1303         * ipa-pure-const.c (check_call): Fix handling of operands.
1304         (analyze_function): Dump debug output for skipped bodies.
1305         (local_pure_const): Use function_called_by_processed_nodes_p.
1306         * dwarf2out.c (reference_to_unused): Use output.
1307         * passes.c (do_per_function_toporder): Likewise.
1308
1309         2008-11-12  Jan Hubicka  <jh@suse.cz>
1310
1311         * tree-pass.h (pass_fixup_cfg, pass_local_pure_const): Declare.
1312         * ipa-pure-const.c (funct_state_d): Add can throw field; make
1313         state_set_in_source enum
1314         (check_decl): Ignore memory tags; do not set fake looping flags;
1315         dump diagnostics.
1316         (check_operand, check_tree, check_rhs_var, check_lhs_var,
1317         get_asm_expr_operands, scan_function_op, scan_function_stmt): Remove.
1318         (check_call, analyze_function): Rewrite.
1319         (check_stmt): New.
1320         (add_new_function): Update call of analyze_function.
1321         (generate_summary): Add call of analyze_function.
1322         (propagate): Propagate can_throw; handle state_set_in_source correctly.
1323         (local_pure_const): New function.
1324         (pass_local_pure_const): New pass.
1325         * ipa-inline.c (inline_transform): Set after_inlining.
1326         * tree-eh.c (stmt_can_throw_external): New.
1327         * tree-optimize.c (execute_fixup_cfg): Do not set after_inlining;
1328         work with aliasing built.
1329         * tree-flow.h (stmt_can_throw_external): New.
1330         * passes.c (init_optimization_passes): Schedule fixup_cfg pass early;
1331         and local pure/const pass in early and late optimization queue.
1332
1333 2009-03-28  Martin Jambor  <mjambor@suse.cz>
1334
1335         * fold-const.c (get_pointer_modulus_and_residue): New parameter
1336         allow_func_align.
1337         (fold_binary): Allow function decl aligment consideration is the
1338         second argument is integer constant one.
1339         * tree-ssa-forwprop.c (simplify_bitwise_and): New function.
1340         (tree_ssa_forward_propagate_single_use_vars): Handle assing statements
1341         with BIT_AND_EXPR on the RHS by calling simplify_bitwise_and.
1342
1343 2009-03-28  Jan Hubicka  <jh@suse.cz>
1344
1345         * dwarf2out.c (dwarf2out_begin_prologue): Use crtl->nothrow
1346         * tree-eh.c (stmt_could_throw_p): Remove check for WEAK decls.
1347         * function.h (rtl_data): Add nothrow flag.
1348         * except.c (set_nothrow_function_flags): Use crtl->nothrow;
1349         set DECL_NOTHROW for AVAILABLE functions.
1350
1351 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
1352
1353         * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): If macro
1354         following vector keyword has expansion starting with pixel or bool
1355         keyword, expand vector to __vector and pixel or bool to __pixel or
1356         __bool.
1357
1358         PR c++/39554
1359         * opts.c (warning_disallowed_functions, warn_disallowed_functions,
1360         warn_if_disallowed_function_p): Removed.
1361         (common_handle_option): Don't handle OPT_Wdisallowed_function_list_.
1362         * c-parser.c (c_parser_postfix_expression_after_primary): Don't call
1363         warning_if_disallowed_function_p.
1364         * flags.h (warn_if_disallowed_function_p,
1365         warn_disallowed_functions): Removed.
1366         * common.opt (Wdisallowed-function-list=): Removed.
1367         * doc/invoke.texi (-Wdisallowed-function-list=): Removed.
1368
1369 2009-03-28  Richard Guenther  <rguenther@suse.de>
1370
1371         PR tree-optimization/38723
1372         * tree-ssa-pre.c (compute_avail): Add all default definitions to
1373         the entry block.
1374
1375 2009-03-28  Jan Hubicka  <jh@suse.cz>
1376
1377         * tree-ssa-structalias.c (ipa_pta_execute): Fix bogus node->analyzed
1378         test introduced by my previous patch.
1379
1380 2009-03-28  Richard Guenther  <rguenther@suse.de>
1381
1382         * tree-ssa-copy.c (copy_prop_visit_phi_node): Do not leave
1383         the PHIs value undefined.
1384
1385 2009-03-28  Jan Hubicka  <jh@suse.cz>
1386
1387         * tree-pass.h (pass_fixup_cfg): New pass.
1388         * ipa-inline.c (inline_transform): Set
1389         always_inline_functions_inlined/after_inlining.
1390         * tree-optimize.c (execute_fixup_cfg): Do not set them here.
1391         (pass_fixup_cfg): New pass.
1392         * passes.c (init_optimization_passes): Add fixup_cfg.
1393
1394 2009-03-28  Richard Guenther  <rguenther@suse.de>
1395
1396         PR tree-optimization/38458
1397         * tree-ssa-copy.c (copy_prop_visit_phi_node): For the first
1398         argument use the arguments copy-of value.
1399
1400 2009-03-28  Richard Guenther  <rguenther@suse.de>
1401
1402         PR tree-optimization/38180
1403         * tree-ssa-ccp.c (get_default_value): Simplify.
1404         (likely_value): Likewise.
1405         (surely_varying_stmt_p): Properly handle VOP case.
1406         (ccp_initialize): Likewise.
1407         (ccp_fold): Handle propagating through *&.
1408         (fold_const_aggregate_ref): Also handle decls.
1409
1410 2009-03-28  Jan Hubicka  <jh@suse.cz>
1411
1412         * cgraph.c (dump_cgraph_node): Add replace output flag by process.
1413         * cgraph.h (cgraph_node): Likewise.
1414         * cgraphunit.c (cgraph_process_new_functions): Set process flag.
1415         (cgraph_reset_node): Use process flag.
1416         (cgraph_mark_functions_to_output): Likewise.
1417         (cgraph_expand_function): Likewise.
1418         (cgraph_expand_all_functions): Likewise.
1419         (cgraph_output_in_order): Likewise.
1420         * dwarf2out.c (reference_to_unused): Likewise.
1421         * passes.c do_per_function_toporder): Likewise.
1422
1423 2009-03-28  Jan Hubicka  <jh@suse.cz>
1424
1425         Bring from lto-branch:
1426
1427         2008-09-03  Doug Kwan  <dougkwan@google.com>
1428
1429         * cgraphbuild.c (initialize_inline_failed): Use cgraph_inline_failed_t
1430         enums instead of reason strings.
1431         * cgraph.c (cgraph_create_edge): Same.
1432         (cgraph_inline_failed_string): New function.
1433         * cgraph.h (cgraph_inline_failed_t): New enum type.
1434         (cgraph_inline_failed_string): New prototype.
1435         (struct cgraph_edge): Change type of INLINED_FAILED from constant
1436         char pointer to cgraph_inline_failed_t.
1437         (cgraph_inline_p): Adjust prototype to use cgraph_inline_failed_t.
1438         (cgraph_default_inline_p): Ditto.
1439         * gcc/cgraphunit.c (cgraph_inline_p): Change type of parameter REASON
1440         to cgraph_inline_failed_t pointer.
1441         * cif-code.def: New file.
1442         * ipa-inline.c (cgraph_mark_inline_edge): Use an enum instead of a
1443         reason string.
1444         (cgraph_check_inline_limits): Change type of REASON to pointer to
1445         cgraph_inline_failed_t.  Replace reason strings with enums.
1446         (cgraph_default_inline_p): Ditto.
1447         (cgraph_recursive_inlining_p): Ditto.
1448         (update_caller_keys): Change type of FAILED_REASON to
1449         cgraph_inline_failed_t.
1450         (cgraph_set_inline_failed): Change type of REASON to pointer to
1451         cgraph_inline_failed_t.  Call cgraph_inline_failed_string to
1452         convert enums to strings for text output.
1453         (cgraph_decide_inlining_of_small_function): Change FAILED_REASON
1454         to be of type cgraph_inline_failed_t.  Replace reason strings with
1455         enums.  Call cgraph_inline_failed_string to covert enums
1456         to strings for text output.
1457         (cgraph_decide_inlining): Replace reason strings with enums.
1458         (cgraph_decide_inlining_incrementally): Change type of FAILED_REASON
1459         to cgraph_inline_failed_t type.  Call cgraph_inline_failed_string
1460         for text output.
1461         * tree-inline.c (expand_call_inline): Change type of REASON
1462         to cgraph_inline_failed_t.  Replace reason strings with enums.
1463         Call cgraph_inline_failed_string for text output.
1464         * Makefile.in (CGRAPH_H): Add cif-code.def to dependencies.
1465         (cgraph.o): Ditto.
1466
1467 2009-03-28  Jan Hubicka  <jh@suse.cz>
1468
1469         * cgraph.c (cgraph_node, cgraph_remove_node, dump_cgraph_node,
1470         cgraph_clone_node): Remove master clone handling.
1471         (cgraph_is_master_clone, cgraph_master_clone): Remove.
1472         * cgraph.h (master_clone): Remove.
1473         (cgraph_is_master_clone, cgraph_master_clone): Remove.
1474         * ipa-type-escape.c (type_escape_execute): Remove use of master clone.
1475         (tree-ssa-structalias.c (ipa_pta_execute): Likewise.
1476
1477 2009-03-28  Jan Hubicka  <jh@suse.cz>
1478
1479         * cgraph.c (cgraph_function_body_availability): Functions declared
1480         inline are always safe to assume that it is not going to be replaced.
1481
1482 2009-03-28  Richard Guenther  <rguenther@suse.de>
1483
1484         PR tree-optimization/38513
1485         * tree-ssa-pre.c (eliminate): Remove redundant stores.
1486         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle
1487         EXC_PTR_EXPR and FILTER_EXPR.
1488         (get_ref_from_reference_ops): Likewise.
1489
1490 2009-03-28  Richard Guenther  <rguenther@suse.de>
1491
1492         PR tree-optimization/38968
1493         * tree-vect-analyze.c (vect_compute_data_ref_alignment):
1494         Use FLOOR_MOD_EXPR to compute misalignment.
1495
1496 2009-03-28  Richard Guenther  <rguenther@suse.de>
1497
1498         PR tree-optimization/37795
1499         * tree.h (combine_comparisons): Declare.
1500         * fold-const.c (combine_comparisons): Export.
1501         * tree-ssa-ifcombine.c (ifcombine_ifandif): Optimize two successive
1502         comparisons.
1503         (ifcombine_iforif): Use combine_comparisons.
1504
1505 2009-03-28  Jan Hubicka  <jh@suse.cz>
1506
1507         * tree-eh.c (inlinable_call_p): New function.
1508         (make_eh_edges): Use it.
1509         (verify_eh_edges): Use it.
1510         (stmt_can_throw_external, stmt_can_throw_internal): Use it.
1511         * except.c (reachable_next_level): Add inlinable_function argument
1512         (sjlj_find_directly_reachable_regions): Update.
1513         (add_reachable_handler): Do not set saw_any_handlers.
1514         (reachable_next_level): Handle MUST_NOT_THROW more curefully.
1515         (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1):
1516         Add new inlinable call parameter.
1517         (can_throw_internal, can_throw_external): Update.
1518         * except.h (can_throw_internal_1, can_throw_external_1,
1519         foreach_reachable_handler): Update declaration.
1520
1521 2009-03-28  Joseph Myers  <joseph@codesourcery.com>
1522
1523         * config/arm/t-arm-coff, config/h8300/coff.h,
1524         config/i386/i386-aout.h, config/i386/i386-coff.h,
1525         config/libgloss.h, config/m68k/coff.h, config/m68k/m68k-aout.h,
1526         config/pdp11/2bsd.h, config/rs6000/aix41.h,
1527         config/rs6000/aix41.opt, config/rs6000/t-newas, config/sh/coff.h,
1528         fix-header.c, fixproto, gen-protos.c, protoize.c, scan-decls.c,
1529         scan-types.sh, scan.c, scan.h, sort-protos, sys-protos.h,
1530         sys-types.h: Remove.
1531         * Makefile.in: Remove protoize and fixproto support and references
1532         in comments.
1533         (SYSCALLS.c.X-warn, TARGET_GETGROUPS_T, STMP_FIXPROTO,
1534         PROTOIZE_INSTALL_NAME, UNPROTOIZE_INSTALL_NAME, FIXPROTO_DEFINES):
1535         Remove.
1536         (ALL_HOST_OBJS): Remove $(PROTO_OBJS).
1537         (MOSTLYCLEANFILES): Remove protoize$(exeext) and
1538         unprotoize$(exeext).
1539         (rest.encap): Don't depend on $(STMP_FIXPROTO)
1540         (.PHONY): Don't depend on proto.
1541         (libgcc-support): Don't depend on $(STMP_FIXPROTO).
1542         (proto, PROTO_OBJS, protoize$(exeext), unprotoize$(exeext),
1543         protoize.o, unprotoize.o, SYSCALLS.c.X, test-protoize-simple,
1544         deduced.h, GEN_PROTOS_OBJS, build/gen-protos$(build_exeext),
1545         build/gen-protos.o, build/scan.o, xsys-protos.h,
1546         build/fix-header$(build_exeext), build/fix-header.o,
1547         build/scan-decls.o, fixhdr.ready, stmp-fixproto,
1548         stmp-install-fixproto): Remove.
1549         (mostlyclean): Don't remove xsys-protos.hT, SYSCALLS.c.X,
1550         SYSCALLS.c or fixproto files.
1551         (install-common): Don't install protoize.
1552         (install-headers-tar, install-headers-cpio, install-headers-cp):
1553         Don't depend on $(STMP_FIXPROTO).
1554         (install-mkheaders): Don't depend on $(STMP_FIXPROTO).  Don't
1555         install fixproto files or write out fixproto settings.
1556         (uninstall): Don't uninstall protoize.
1557         * config.gcc (use_fixproto): Remove.
1558         (arm-*-coff*, armel-*-coff*, h8300-*-*, i[34567]86-*-aout*,
1559         i[34567]86-*-coff*, m68k-*-aout*, m68k-*-coff*, pdp11-*-bsd,
1560         rs6000-ibm-aix4.[12]*, powerpc-ibm-aix4.[12]*, sh-*-*): Remove.
1561         * config/m32r/t-linux (STMP_FIXPROTO): Remove.
1562         * config/m68k/m68k.c: Remove M68K_TARGET_COFF-conditional code.
1563         * config/mips/t-iris (FIXPROTO_DEFINES): Remove.
1564         * config/pa/t-pa-hpux (FIXPROTO_DEFINES): Remove.
1565         * config/pdp11/pdp11.c: Remove TWO_BSD-conditional code.
1566         * config/t-svr4 (FIXPROTO_DEFINES): Remove.
1567         * config/t-vxworks (STMP_FIXPROTO): Remove.
1568         * configure.ac (AC_TYPE_GETGROUPS, TARGET_GETGROUPS_T,
1569         STMP_FIXPROTO): Remove.
1570         * config.in, configure: Regenerate.
1571         * crtstuff.c (gid_t, uid_t): Don't undefine.
1572         * doc/install.texi: Change m68k-coff to m68k-elf in example.
1573         (arm-*-coff, arm-*-aout: Remove target entries.
1574         (*-ibm-aix*): Mention removal of support for AIX 4.2 and older.
1575         Remove mention of AIX 4.1.
1576         (m68k-*-*): Remove mention of m68k-*-aout and m68k-*-coff*.
1577         * doc/invoke.texi (Running Protoize): Remove.
1578         * doc/trouble.texi (Actual Bugs): Remove mention of fixproto.
1579         (Protoize Caveats): Remove.
1580         * tsystem.h: Update comments on headers assumed to exist.
1581
1582 2009-03-27  Vladimir Makarov  <vmakarov@redhat.com>
1583
1584         * genautomata.c: Add a new year to the copyright.  Add a new
1585         reference.
1586         (struct insn_reserv_decl): Add comments for member bypass_list.
1587         (find_bypass): Remove.
1588         (insert_bypass): New.
1589         (process_decls): Use insert_bypass.
1590         (output_internal_insn_latency_func): Output all bypasses with the
1591         same input insn in one switch case.
1592
1593         * rtl.def (define_bypass): Describe bypass choice.
1594         * doc/md.texi (define_bypass): Ditto.
1595
1596 2009-03-27  Richard Guenther  <rguenther@suse.de>
1597
1598         * gimplify.c (mark_addressable): Export.
1599         * tree-flow.h (mark_addressable): Declare.
1600         * tree-ssa-loop-manip.c (create_iv): Mark the base addressable.
1601         * tree-ssa.c (verify_phi_args): Verify that address taken
1602         variables have TREE_ADDRESSABLE set.
1603
1604 2009-03-27  Richard Guenther  <rguenther@suse.de>
1605
1606         * fold-const.c (build_fold_addr_expr_with_type_1): Rename back to ...
1607         (build_fold_addr_expr_with_type): ... this.  Remove in_fold handling.
1608         Do not mark decls TREE_ADDRESSABLE.
1609         (build_fold_addr_expr): Adjust.
1610         (fold_addr_expr): Remove.
1611         (fold_unary): Use build_fold_addr_expr.
1612         (fold_comparison): Likewise.
1613         (split_address_to_core_and_offset): Likewise.
1614         * coverage.c (tree_coverage_counter_addr): Mark the array decl
1615         TREE_ADDRESSABLE.
1616         * gimplify.c (mark_addressable): Do not exclude RESULT_DECLs.
1617         (gimplify_modify_expr_to_memcpy): Mark source and destination
1618         addressable.
1619         * omp-low.c (create_omp_child_function): Mark the object decl
1620         TREE_ADDRESSABLE.
1621         (lower_rec_input_clauses): Mark the var we take the address of
1622         TREE_ADDRESSABLE.
1623         (lower_omp_taskreg): Mark the sender decl TREE_ADDRESSABLE.
1624
1625 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1626
1627         PR middle-end/39315
1628         * cfgexpand.c (expand_one_stack_var_at): Change alignment
1629         limit to MAX_SUPPORTED_STACK_ALIGNMENT.
1630
1631 2009-03-27  Richard Guenther  <rguenther@suse.de>
1632
1633         PR tree-optimization/39120
1634         * tree-ssa-structalias.c (handle_rhs_call): Fill out return
1635         constraints.
1636         (handle_lhs_call): Process return constraints.  Add escape
1637         constraints if necessary.
1638         (handle_const_call): Fill out return constraints.  Make nested
1639         case more precise.  Avoid consttmp if possible.
1640         (handle_pure_call): Fill out return constraints.  Avoid
1641         callused if possible.
1642         (find_func_aliases): Simplify call handling.
1643
1644 2009-03-27  Richard Guenther  <rguenther@suse.de>
1645
1646         PR tree-optimization/39120
1647         * tree-ssa-structalias.c (do_sd_constraint): Do not use CALLUSED
1648         as a representative.
1649         (solve_graph): Do propagate CALLUSED.
1650         (handle_pure_call): Use a scalar constraint from CALLUSED for
1651         the return value.
1652         (find_what_p_points_to): CALLUSED shall not appear in poins-to
1653         solutions.
1654
1655 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1656
1657         PR c/39323
1658         * c-common.c (handle_aligned_attribute): Properly check alignment
1659         overflow.  Use (1U << i) instead of (1 << i).
1660
1661         * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for align.
1662
1663         * expr.h (get_mem_align_offset): Updated.
1664
1665         * tree.h (tree_decl_common): Change align to "unsigned int" and
1666         move it before pointer_alias_set.
1667
1668 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1669             Jakub Jelinek  <jakub@redhat.com>
1670
1671         PR target/38034
1672         * config/ia64/sync.md (cmpxchg_rel_<mode>): Replace input
1673         gr_register_operand with gr_reg_or_0_operand.
1674         (cmpxchg_rel_di): Likewise.
1675         (sync_lock_test_and_set<mode>): Likewise.
1676
1677 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1678
1679         * jump.c (rtx_renumbered_equal_p): Use subreg_get_info.
1680         (true_regnum): Likewise.
1681
1682         * rtlanal.c (subreg_info): Moved to ...
1683         * rtl.h (subreg_info): Here.  New.
1684         (subreg_get_info): New.
1685
1686         * rtlanal.c (subreg_get_info): Make it extern.
1687
1688 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1689
1690         PR target/39472
1691         * config/i386/i386.c (ix86_abi): New.
1692         (override_options): Handle -mabi=.
1693         (ix86_function_arg_regno_p): Replace DEFAULT_ABI with ix86_abi.
1694         (ix86_call_abi_override): Likewise.
1695         (init_cumulative_args): Likewise.
1696         (function_arg_advance): Likewise.
1697         (function_arg_64): Likewise.
1698         (function_arg): Likewise.
1699         (ix86_pass_by_reference): Likewise.
1700         (ix86_function_value_regno_p): Likewise.
1701         (ix86_build_builtin_va_list_abi): Likewise.
1702         (setup_incoming_varargs_64): Likewise.
1703         (is_va_list_char_pointer): Likewise.
1704         (ix86_init_machine_status): Likewise.
1705         (ix86_reg_parm_stack_space): Use enum calling_abi on call_abi.
1706         (ix86_function_type_abi): Return enum calling_abi.  Rewrite
1707         for 64bit.  Replace DEFAULT_ABI with ix86_abi.
1708         (ix86_function_abi): Make it static and return enum calling_abi.
1709         (ix86_cfun_abi): Return enum calling_abi.  Replace DEFAULT_ABI
1710         with ix86_abi.
1711         (ix86_fn_abi_va_list): Updated.
1712
1713         * config/i386/i386.h (ix86_abi): New.
1714         (STACK_BOUNDARY): Replace DEFAULT_ABI with ix86_abi.
1715         (CONDITIONAL_REGISTER_USAGE): Likewise.
1716         (CUMULATIVE_ARGS): Change call_abi type to enum calling_abi.
1717         (machine_function): Likewise.
1718
1719         * config/i386/i386.md (untyped_call): Replace DEFAULT_ABI
1720         with ix86_abi.
1721         * config/i386/cygming.h (TARGET_64BIT_MS_ABI): Likewise.
1722         (STACK_BOUNDARY): Likewise.
1723         * config/i386/mingw32.h (EXTRA_OS_CPP_BUILTINS): Likewise.
1724
1725         * config/i386/i386.opt (mabi=): New.
1726
1727         * config/i386/i386-protos.h (ix86_cfun_abi): Changed to
1728         return enum calling_abi.
1729         (ix86_function_type_abi): Likewise.
1730         (ix86_function_abi): Removed.
1731
1732         * doc/invoke.texi: Document -mabi= option for x86.
1733
1734 2009-03-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1735
1736         * builtins.c (real_dconstp): Delete.
1737         (fold_builtin_logarithm): Remove inaccurate log(e) special case.
1738
1739 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
1740             Jakub Jelinek  <jakub@redhat.com>
1741
1742         PR debug/37959
1743         * dwarf2out.c (dwarf_attr_name): Handle DW_AT_explicit attribute.
1744         (gen_subprogram_die): When a function is explicit, generate the
1745         DW_AT_explicit attribute.
1746         * langhooks.h (struct lang_hooks_for_decls): Add
1747         function_decl_explicit_p langhook.
1748         * langhooks-def.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
1749         (LANG_HOOKS_DECLS): Add LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P.
1750
1751 2009-03-27  Jakub Jelinek  <jakub@redhat.com>
1752
1753         * builtins.c (fold_builtin_memory_op): Optimize memmove
1754         into memcpy if we can prove source and destination don't overlap.
1755
1756         * tree-inline.c: Include gt-tree-inline.h.
1757         (clone_fn_id_num): New variable.
1758         (clone_function_name): New function.
1759         (tree_function_versioning): Use it.
1760         * Makefile.in (GTFILES): Add tree-inline.c.
1761
1762 2009-03-27  Mark Mitchell  <mark@codesourcery.com>
1763
1764         * BASE-VER: Change to 4.5.0.
1765
1766 2009-03-27  Xinliang David Li  <davidxl@google.com>
1767
1768         PR tree-optimization/39557
1769         * tree-ssa.c (warn_uninitialized_vars): free postdom info.
1770
1771 2009-03-27  Xinliang David Li  <davidxl@google.com>
1772
1773         PR tree-optimization/39548
1774         * tree-ssa-copy.c (copy_prop_visit_phi_node): Add copy 
1775         candidate check.
1776
1777 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1778
1779         * c-common.c (pointer_int_sum): Use %wd on return from
1780         tree_low_cst.
1781
1782 2009-03-27  H.J. Lu  <hongjiu.lu@intel.com>
1783
1784         * c-common.c (pointer_int_sum): Use HOST_WIDE_INT_PRINT_DEC
1785         on return from tree_low_cst.
1786
1787 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1788
1789         PR c++/36799
1790         * ginclude/stdarg.h (va_copy): Define also for
1791         __GXX_EXPERIMENTAL_CXX0X__.
1792
1793 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1794
1795         PR c++/35652
1796         * builtins.h (c_strlen): Do not warn here.
1797         * c-typeck.c (build_binary_op): Adjust calls to pointer_int_sum.
1798         * c-common.c (pointer_int_sum): Take an explicit location.
1799         Warn about offsets out of bounds.
1800         * c-common.h (pointer_int_sum): Adjust declaration.
1801
1802 2009-03-26  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1803
1804         * doc/invoke.texi (i386 and x86-64 Windows Options): Fix texinfo
1805         markup glitch.
1806
1807 2009-03-26  Jakub Jelinek  <jakub@redhat.com>
1808
1809         PR c++/39554
1810         * opts.c (warn_if_disallowed_function_p): Don't assume
1811         get_callee_fndecl must return non-NULL.
1812
1813 2009-03-26  Vladimir Makarov  <vmakarov@redhat.com>
1814
1815         PR rtl-optimization/39522
1816         * reload1.c (reload_as_needed): Invalidate reg_last_reload_reg too
1817         when reg_reloaded_valid is set.
1818
1819 2009-03-26  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1820
1821         * config/spu/divv2df3.c: New file.
1822         * config/spu/t-spu-elf (LIB2FUNCS_STATIC_EXTRA): Add it.
1823         (DPBIT_FUNCS): Filter out _div_df.
1824
1825 2009-03-26  Bernd Schmidt  <bernd.schmidt@analog.com>
1826
1827         * config/bfin/bfin.c (bfin_optimize_loop): If the LSETUP goes before
1828         a jump insn, count that jump in the distance to the loop start.
1829
1830 2009-03-25  Kaz Kojima  <kkojima@gcc.gnu.org>
1831
1832         PR target/39523
1833         * config/sh/sh.c (calc_live_regs): Fix condition for global
1834         registers except PIC_OFFSET_TABLE_REGNUM.
1835
1836 2009-03-25  Kai Tietz  <kai.tietz@onevision.com>
1837
1838         PR/39518
1839         * doc/invoke.texi (-mconsole): New.
1840         (-mcygwin): New.
1841         (-mno-cygwin): New.
1842         (-mdll): New.
1843         (-mnop-fun-dllimport): New.
1844         (-mthread): New.
1845         (-mwin32): New.
1846         (-mwindows): New.
1847         (sub section "i386 and x86-64 Windows Options"): New.
1848
1849 2009-03-25  Ralf Corsépius <ralf.corsepius@rtems.org>
1850
1851         * config/arm/rtems-elf.h: Remove LINK_GCC_C_SEQUENCE_SPEC.
1852         * config/rs6000/t-rtems: Remove MULTILIB_EXTRA_OPTS.
1853
1854 2009-03-25  Richard Guenther  <rguenther@suse.de>
1855
1856         PR middle-end/39497
1857         * Makefile.in (dfp.o-warn): Use -fno-strict-aliasing instead
1858         of -Wno-error.
1859
1860 2009-03-25  Andrey Belevantsev  <abel@ispras.ru>
1861
1862         * config/ia64/ia64.c (ia64_set_sched_flags): Zero spec_info->mask when
1863         neither of haifa/selective schedulers are working.
1864
1865 2009-03-25  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1866
1867         * doc/invoke.texi (Debugging Options): Fix description of
1868         -fno-merge-debug-strings.
1869
1870 2009-03-24  Hans-Peter Nilsson  <hp@axis.com>
1871
1872         * config/cris/libgcc.ver: New version-script.
1873         * config/cris/t-linux (SHLIB_MAPFILES): Use it.
1874
1875         * configure.ac <GAS features, nop mnemonic>: Add pattern
1876         crisv32-*-* for "nop".
1877         <GAS features, Thread-local storage>: Add item for CRIS and CRIS v32.
1878         * configure: Regenerate.
1879
1880 2009-03-24  Ira Rosen  <irar@il.ibm.com>
1881
1882         PR tree-optimization/39529
1883         * tree-vect-transform.c (vect_create_data_ref_ptr): Call
1884         mark_sym_for_renaming for the tag copied to the new vector
1885         pointer.
1886
1887 2009-03-24  Arthur Loiret  <aloiret@debian.org>
1888
1889         * config.host (alpha*-*-linux*): Use driver-alpha.o and alpha/x-alpha.
1890         * config/alpha/linux.h (host_detect_local_cpu): Declare, add to
1891         EXTRA_SPEC_FUNCTIONS.
1892         (MCPU_MTUNE_NATIVE_SPECS, DRIVER_SELF_SPECS): New macros.
1893         * config/alpha/driver-alpha.c, config/alpha/x-alpha: New.
1894         * doc/invoke.texi (DEC Alpha Options): Document 'native' value for
1895         -march and -mtune options.
1896
1897 2009-03-24  Ralf Corsépius <ralf.corsepius@rtems.org>
1898
1899         * config/m68k/t-rtems: Add m5329 multilib.
1900
1901 2009-03-24  Dodji Seketeli  <dodji@redhat.com>
1902             Jakub Jelinek  <jakub@redhat.com>
1903
1904         PR debug/39524
1905         * dwarf2out.c (gen_variable_die): Avoid adding duplicate declaration
1906         nodes.
1907
1908 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
1909
1910         PR c/39495
1911         * c-parser.c (c_parser_omp_for_loop): Call c_parser_binary_expression
1912         instead of c_parser_expression_conv, if original_code isn't one of the
1913         4 allowed comparison codes, fail.
1914
1915 2009-03-23  Richard Guenther  <rguenther@suse.de>
1916
1917         * cgraph.h (struct cgraph_node): Reorder fields for 64-bit hosts.
1918         * tree.h (struct tree_type): Likewise.
1919         * reload.h (struct insn_chain): Likewise.
1920         * dwarf2out.c (struct dw_loc_descr_struct): Likewise.
1921         * function.h (struct function): Likewise.
1922         * tree-ssa-structalias.c (struct equiv_class_label): Likewise.
1923
1924 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
1925
1926         PR tree-optimization/39516
1927         * lambda-code.c (perfect_nestify): Fix type of the uboundvar variable.
1928
1929 2009-03-23 Bingfeng Mei  <bmei@broadcom.com>
1930
1931         * config.gcc (need_64bit_hwint): Make clear that need_64bit_hwint 
1932         should be set true if BITS_PER_WORD of target is bigger than 32
1933
1934 2009-03-22  Hans-Peter Nilsson  <hp@axis.com>
1935
1936         * config/cris/linux.h (CRIS_LINK_SUBTARGET_SPEC):
1937         Translate -B-options to -rpath-link.  Correct existing
1938         rpath-link and conditionalize on !nostdlib.
1939
1940 2009-03-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1941
1942         * doc/extend.texi (Function Attributes, Variable Attributes):
1943         Fix typos.
1944         * doc/invoke.texi (Debugging Options, Optimize Options)
1945         (i386 and x86-64 Options, MCore Options): Likewise.
1946
1947 2009-03-20  Jakub Jelinek  <jakub@redhat.com>
1948
1949         PR debug/37890
1950         * dwarf2out.c (gen_namespace_die): Add context_die argument and use
1951         it for block local namespace aliases.
1952         (gen_decl_die): Pass context_die to gen_namespace_die.
1953
1954 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
1955
1956         PR c/39495
1957         * c-omp.c (c_finish_omp_for): Allow NE_EXPR with TREE_TYPE (decl)'s
1958         minimum or maximum value.
1959
1960 2009-03-19  Alexandre Oliva  <aoliva@redhat.com>
1961
1962         * reginfo.c (globalize_reg): Recompute derived reg sets.
1963
1964 2009-03-19  Ozkan Sezer <sezeroz@gmail.com>
1965
1966         PR target/39063
1967         * libgcc2.c (mprotect): Do not use signed arguments for
1968         VirtualProtect, use DWORD arguments.  Also fix the 'may
1969         be used uninitialized' warning for the np variable.
1970
1971 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
1972
1973         PR target/39496
1974         * config/i386/i386.c (ix86_function_regparm): Don't optimize local
1975         functions using regparm calling conventions when not optimizing.
1976         (ix86_function_sseregparm): Similarly for sseregparm calling
1977         conventions.
1978
1979 2009-03-19  Li Feng  <nemokingdom@gmail.com>
1980
1981         PR middle-end/39500
1982         * tree-data-ref.c (analyze_subscript_affine_affine): There is no
1983         dependence if the first conflict is after niter iterations.
1984
1985 2009-03-19  Hans-Peter Nilsson  <hp@axis.com>
1986
1987         PR middle-end/38609
1988         * config/cris/cris.h (FRAME_POINTER_REQUIRED): Force for all
1989         functions with dynamic stack-pointer adjustments.
1990
1991 2009-03-19  Ben Elliston  <bje@au.ibm.com>
1992
1993         * doc/invoke.texi (RS/6000 and PowerPC Options): Fix -msdata-data
1994         option; change to -msdata=data.
1995
1996 2009-03-18  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1997
1998         * c.opt: Unify help texts for -Wdeprecated, -Wsystem-headers,
1999         and -fopenmp.
2000
2001 2009-03-18  Eric Botcazou  <ebotcazou@adacore.com>
2002
2003         PR target/35180
2004         * config/sparc/sparc.md (do_builtin_setjmp_setup): Prettify asm output.
2005
2006 2009-03-18  Sandra Loosemore  <sandra@codesourcery.com>
2007
2008         * doc/invoke.texi (Code Gen Options): Expand discussion of
2009         -fno-common.
2010
2011 2009-03-18  Jakub Jelinek  <jakub@redhat.com>
2012
2013         * dse.c (struct group_info): Reorder fields for 64-bit hosts.
2014         * matrix-reorg.c (struct matrix_info): Likewise.
2015         * tree-ssa-loop-ivopts.c (struct ivopts_data): Likewise.
2016         * rtl.h (struct mem_attrs): Likewise.
2017         * df.h (struct df): Likewise.
2018         * tree-data-ref.h (struct data_dependence_relation): Likewise.
2019         * ira-int.h (struct ira_allocno): Likewise.
2020         * df-scan.c (struct df_collection_rec): Likewise.
2021         * ira.c (struct equivalence): Likewise.
2022         * function.c (struct temp_slot): Likewise.
2023         * cfgloop.h (struct loop): Likewise.
2024
2025         PR debug/39485
2026         * function.c (use_register_for_decl): When not optimizing, disregard
2027         register keyword for variables with types containing methods.
2028
2029 2009-03-18  Sebastian Pop  <sebastian.pop@amd.com>
2030
2031         PR middle-end/39447
2032         * graphite.c (exclude_component_ref): Renamed contains_component_ref_p.
2033         (is_simple_operand): Call contains_component_ref_p before calling data
2034         reference analysis that would fail on COMPONENT_REFs.
2035
2036         * tree-vrp.c (search_for_addr_array): Fix formatting.
2037
2038 2009-03-18  Richard Guenther  <rguenther@suse.de>
2039
2040         * tree-vect-transform.c (vect_loop_versioning): Fold the
2041         generated comparisons.
2042         * tree-vectorizer.c (set_prologue_iterations): Likewise.
2043         (slpeel_tree_peel_loop_to_edge): Likewise.
2044
2045 2009-03-17  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2046
2047         PR middle-end/37805
2048         * opts.c (print_specific_help): In addition to `undocumented',
2049         accept `separate' and `joined' flags if passed alone.  Describe
2050         output by the first matched one of those.
2051         (common_handle_option): Skip over empty strings.
2052         * gcc.c (display_help): Fix help string for `--help='.
2053         * doc/invoke.texi (Option Summary, Overall Options): With
2054         `--help=', classes and qualifiers can both be repeated, but
2055         only the latter can be negated.  One should not pass only
2056         negated qualifiers.  Fix markup and examples.
2057
2058         Revert
2059         2008-10-14  Jakub Jelinek  <jakub@redhat.com>
2060         PR middle-end/37805
2061         * opts.c (common_handle_option): Don't ICE on -fhelp=joined
2062         and -fhelp=separate.
2063
2064 2009-03-17  Jing Yu  <jingyu@google.com>
2065
2066         PR middle-end/39378
2067         * function.h (struct rtl_data): Move is_thunk from here...
2068         (struct function): ...to here.
2069         * cp/method.c (use_thunk): Change is_thunk from crtl to cfun.
2070         * varasm.c (assemble_start_function): Change is_thunk from crtl to
2071         cfun.
2072         * config/alpha/alpha.c (alpha_sa_mask): Change is_thunk from crtl to
2073         cfun.
2074         (alpha_does_function_need_gp, alpha_start_function): Likewise.
2075         (alpha_output_function_end_prologue): Likewise.
2076         (alpha_end_function, alpha_output_mi_thunk_osf): Likewise.
2077         * config/rs6000/rs6000.c (rs6000_ra_ever_killed): Likewise.
2078         (rs6000_output_function_epilogue): Likewise.
2079         * config/arm/arm.h (ARM_DECLARE_FUNCTION_NAME): Likewise.
2080
2081 2009-03-17  Uros Bizjak  <ubizjak@gmail.com>
2082
2083         PR target/39482
2084         * config/i386/i386.md (*truncdfsf_mixed): Avoid combining registers
2085         from different units in a single alternative.
2086         (*truncdfsf_i387): Ditto.
2087         (*truncxfsf2_mixed): Ditto.
2088         (*truncxfdf2_mixed): Ditto.
2089
2090 2009-03-17  Jakub Jelinek  <jakub@redhat.com>
2091
2092         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): Allow
2093         non-NAMESPACE_DECL IMPORTED_DECL_ASSOCIATED_DECL.
2094
2095         PR debug/39474
2096         * tree-ssa-live.c (remove_unused_locals): Don't remove local
2097         unused non-artificial variables when not optimizing.
2098
2099         PR debug/39471
2100         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): Emit
2101         DW_TAG_imported_module even if decl is IMPORTED_DECL with
2102         NAMESPACE_DECL in its DECL_INITIAL.
2103
2104         PR middle-end/39443
2105         * optabs.c (set_user_assembler_libfunc): New function.
2106         * expr.h (set_user_assembler_libfunc): New prototype.
2107         * c-common.c: Include libfuncs.h.
2108         (set_builtin_user_assembler_name): Call set_user_assembler_libfunc
2109         for memcmp, memset, memcpy, memmove and abort.
2110         * Makefile.in (c-common.o): Depend on libfuncs.h.
2111
2112         PR debug/39412
2113         * dwarf2out.c (gen_inlined_enumeration_type_die,
2114         gen_inlined_structure_type_die, gen_inlined_union_type_die,
2115         gen_tagged_type_instantiation_die): Removed.
2116         (gen_decl_die): For TYPE_DECL_IS_STUB with non-NULL decl_origin
2117         do nothing.
2118
2119 2009-03-17  Janis Johnson  <janis187@us.ibm.com>
2120
2121         PR testsuite/38526
2122         * Makefile.in (site.exp): Rename TEST_GCC_EXEC_PREFIX and comment
2123         its use.
2124         (check-%): Don't set GCC_EXEC_PREFIX when invoking runtest.
2125         (check-parallel-%): Ditto.
2126         (check-consistency): Ditto.
2127
2128 2009-03-17  Kai Tietz  <kai.tietz@onevision.com>
2129
2130         * ipa-struct-reorg.c (create_general_new_stmt): Initialize
2131         local variable rhs by NULL_TREE.
2132
2133 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
2134
2135         PR target/39477
2136         * doc/extend.texi: Correct register behavior for regparm on Intel 386.
2137
2138 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
2139
2140         PR target/39476
2141         * config/i386/i386.c (ix86_function_regparm): Rewrite for 64bit.
2142
2143 2009-03-17  H.J. Lu  <hongjiu.lu@intel.com>
2144
2145         PR target/39473
2146         * config/i386/i386.c (ix86_expand_call): Check extra clobbers
2147         for ms->sysv ABI calls only in 64bit mode.
2148
2149         * config/i386/i386.md (untyped_call): Support 32bit.
2150
2151 2009-03-16  H.J. Lu  <hongjiu.lu@intel.com>
2152
2153         * doc/extend.texi: Replace x86_65 with x86_64.
2154
2155 2009-03-16  Jakub Jelinek  <jakub@redhat.com>
2156
2157         PR tree-optimization/39455
2158         * tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Fix types
2159         mismatches for POINTER_TYPE_P (type).
2160         (number_of_iterations_le): Likewise.
2161
2162 2009-03-16  Hariharan Sandanagobalane <hariharan@picochip.com>
2163
2164         * config/picochip/picochip.c: Removed profiling support.
2165         * config/picochip/picochip.md: Removed profiling instruction.
2166         * config/picochip/picochip.h: Removed profiling builtin.
2167
2168 2009-03-16  Joseph Myers  <joseph@codesourcery.com>
2169
2170         * doc/install.texi (--with-host-libstdcxx): Document.
2171
2172 2009-03-14  Anatoly Sokolov  <aesok@post.ru>
2173
2174         PR target/34299
2175         * config/avr/avr.c (avr_handle_fndecl_attribute): Move code for
2176         generate a warning if the function name does not begin with
2177         "__vector" and the function has either the 'signal' or 'interrupt'
2178         attribute, from here to ...
2179         (avr_declare_function_name): ...here. New function.
2180         * config/avr/avr.h (ASM_DECLARE_FUNCTION_NAME): Redefine.
2181         * config/avr/avr-protos.h (avr_declare_function_name): Declare.
2182
2183 2009-03-14  Jakub Jelinek  <jakub@redhat.com>
2184
2185         PR bootstrap/39454
2186         * cse.c (fold_rtx): Don't modify original const_arg1 when
2187         canonicalizing SHIFT_COUNT_TRUNCATED shift count, do it on a
2188         separate variable instead.
2189         * rtlanal.c (nonzero_bits1) <case ASHIFTRT>: Don't assume anything
2190         from out of range shift counts.
2191         (num_sign_bit_copies1) <case ASHIFTRT, case ASHIFT>: Similarly.
2192
2193 2008-03-13  Catherine Moore  <clm@codesourcery.com>
2194
2195         * gcc/config/i386/x-mingw32 (host-mingw32.o): Replace
2196         diagnostic.h with $(DIAGNOSTIC_H).
2197
2198 2008-03-12  Jakub Jelinek  <jakub@redhat.com>
2199
2200         PR target/39431
2201         * config/i386/predicates.md (cmpxchg8b_pic_memory_operand): New
2202         predicate.
2203         * config/i386/sync.md (sync_compare_and_swap<mode>,
2204         sync_compare_and_swap_cc<mode>): For DImode with -m32 -fpic check
2205         if operands[1] is cmpxchg8b_pic_memory_operand, if not force address
2206         into a register.
2207         (sync_double_compare_and_swapdi_pic,
2208         sync_double_compare_and_swap_ccdi_pic): Require operand 1 to be
2209         cmpxchg8b_pic_memory_operand instead of just memory_operand.
2210
2211 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
2212
2213         PR target/39445
2214         * config/i386/i386.c (ix86_expand_push): Don't set memory alignment.
2215
2216 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
2217
2218         PR target/39327
2219         * config/i386/sse.md (avx_addsubv8sf3): Correct item bits.
2220         (avx_addsubv4df3): Likewise.
2221         (*avx_addsubv4sf3): Likewise.
2222         (sse3_addsubv4sf3): Likewise.
2223
2224 2009-03-12  H.J. Lu  <hongjiu.lu@intel.com>
2225
2226         PR target/38824
2227         * config/i386/i386.md: Compare REGNO on the new peephole2 patterns.
2228
2229 2009-03-12  Vladimir Makarov  <vmakarov@redhat.com>
2230
2231         PR debug/39432
2232         * ira-int.h (struct allocno): Fix comment for calls_crossed_num.
2233         * ira-conflicts.c (ira_build_conflicts): Prohibit call used
2234         registers for allocnos created from user-defined variables.
2235
2236 2009-03-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2237
2238         PR target/39181
2239         * config/spu/spu.c (spu_expand_mov): Handle invalid subregs
2240         of non-integer mode as well.
2241
2242 2009-03-11  Adam Nemet  <anemet@caviumnetworks.com>
2243
2244         * gimplify.c (gimplify_call_expr): Don't set CALL_CANNOT_INLINE_P
2245         for functions for which the parameter types are unknown.
2246
2247 2009-03-11  Jakub Jelinek  <jakub@redhat.com>
2248
2249         PR target/39137
2250         * cfgexpand.c (get_decl_align_unit): Use LOCAL_DECL_ALIGNMENT macro.
2251         * defaults.h (LOCAL_DECL_ALIGNMENT): Define if not yet defined.
2252         * config/i386/i386.h (LOCAL_DECL_ALIGNMENT): Define.
2253         * config/i386/i386.c (ix86_local_alignment): For
2254         -m32 -mpreferred-stack-boundary=2 use 32-bit alignment for
2255         long long variables on the stack to avoid dynamic realignment.
2256         Allow the first argument to be a decl rather than type.
2257         * doc/tm.texi (LOCAL_DECL_ALIGNMENT): Document.
2258
2259 2009-03-11  Nick Clifton  <nickc@redhat.com>
2260
2261         PR target/5362
2262         * config/mcore/mcore.opt: Remove deprecated m4align and m8align
2263         options.
2264         Add description to mno-lsim option.
2265         * config/mcore/mcore.h: Remove comment about deprecated m4align
2266         option.
2267         (TARGET_DEFAULT): Remove deprecated MASK_M8ALIGN.
2268         * doc/invoke.texi: Add description of mno-lsim and
2269         mstack-increment options.
2270
2271         * config/fr30/fr30.opt: Document the -mno-lsim option.
2272         * doc/invoke.texi: Add descriptions of the FR30's -msmall-model
2273         and -mno-lsim options.
2274
2275 2009-03-11  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2276
2277         * fold-const.c (fold_comparison): Only call fold_inf_compare
2278         if the mode supports infinities.
2279
2280 2009-03-11  Jason Merrill  <jason@redhat.com>
2281
2282         PR debug/39086
2283         * tree-nrv.c (tree_nrv): Don't do this optimization if the front
2284         end already did.  Notice GIMPLE_CALL modifications of the result.
2285         Don't copy debug information from an ignored decl or a decl from
2286         another function.
2287
2288 2009-03-10  Richard Guenther  <rguenther@suse.de>
2289             Nathan Froyd  <froydnj@codesourcery.com>
2290
2291         PR middle-end/37850
2292         * libgcc2.c (__mulMODE3): Use explicit assignments to form the result.
2293         (__divMODE3): Likewise.
2294
2295 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
2296
2297         PR tree-optimization/39394
2298         * gimplify.c (gimplify_type_sizes): Gimplify DECL_SIZE and
2299         DECL_SIZE_UNIT of variable length FIELD_DECLs.
2300
2301 2009-03-09  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2302
2303         * recog.c (verfiy_changes): Disallow renaming of hard regs in
2304         inline asms for register asm ("") declarations.
2305
2306 2009-03-09  Eric Botcazou  <ebotcazou@adacore.com>
2307
2308         * fold-const.c (fold_unary): Fix comment.
2309
2310 2009-03-07  Jan Hubicka  <jh@suse.cz>
2311
2312         PR target/39361
2313         * tree-inline.c (setup_one_parameter): Do replacement of const
2314         argument by constant in SSA form.
2315
2316 2009-03-07  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2317
2318         PR middle-end/38028
2319         * function.c (assign_parm_setup_stack): Use STACK_SLOT_ALIGNMENT to
2320         determine alignment passed to assign_stack_local.
2321         (assign_parms_unsplit_complex): Likewise.
2322         * except.c (sjlj_build_landing_pads): Likewise.
2323
2324 2009-03-06  Jakub Jelinek  <jakub@redhat.com>
2325
2326         PR middle-end/39360
2327         * tree-flow.h (add_referenced_var): Return bool instead of void.
2328         * tree-dfa.c (add_referenced_var): Return result of
2329         referenced_var_check_and_insert call.
2330         * tree-inline.c (expand_call_inline): Call add_referenced_var instead
2331         of referenced_var_check_and_insert.
2332
2333         PR debug/39372
2334         * dwarf2out.c (add_abstract_origin_attribute): Return origin_die.
2335         (gen_variable_die): Emit DW_AT_location on abstract static variable's
2336         DIE, don't emit it if abstract origin already has it.
2337         * tree-cfg.c (remove_useless_stmts_bind): GIMPLE_BINDs with any
2338         BLOCK_NONLOCALIZED_VARS in its gimple_bind_block aren't useless.
2339
2340 2009-03-06  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
2341
2342         * genpreds.c (needs_variable): Fix parentheses at variable name
2343         detection.
2344         (write_tm_constrs_h): Indent generated code.
2345
2346 2009-03-06  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
2347
2348         * doc/extend.texi (Function Attributes): Add documentation
2349         for isr attributes.
2350
2351 2009-03-06  Jakub Jelinek  <jakub@redhat.com>
2352
2353         PR debug/39387
2354         * dwarf2out.c (dwarf2out_imported_module_or_decl_1): For IMPORTED_DECL
2355         take locus from its DECL_SOURCE_LOCATION instead of input_location.
2356
2357 2009-03-05  Bernd Schmidt  <bernd.schmidt@analog.com>
2358
2359         * config/bfin/bfin.c (bfin_discover_loop): When retrying fails, mark
2360         the loop as bad.
2361
2362 2009-03-05  Jakub Jelinek  <jakub@redhat.com>
2363
2364         PR debug/39379
2365         * tree-cfg.c (remove_useless_stmts_bind): Don't remove GIMPLE_BINDs
2366         with blocks containing IMPORTED_DECLs in BLOCK_VARS.
2367
2368 2009-03-05  Uros Bizjak  <ubizjak@gmail.com>
2369
2370         * config/i386/i386.md (R8_REG, R9_REG): New constants.
2371         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Use named
2372         constants instead of magic numbers.
2373         (HARD_REGNO_CALLER_SAVE_MODE): Ditto.
2374         (QI_REG_P): Ditto.
2375         * config/i386/i386.c (x86_64_int_parameter_registers): Ditto.
2376         (x86_64_ms_abi_int_parameter_registers): Ditto.
2377         (x86_64_int_return_registers): Ditto.
2378         (ix86_maybe_switch_abi): Ditto.
2379         (ix86_expand_call): Ditto for clobbered_registers array.
2380         (ix86_hard_regno_mode_ok): Ditto.
2381         (x86_extended_QIreg_mentioned_p): Ditto.
2382
2383 2009-03-05  J"orn Rennecke  <joern.rennecke@arc.com>
2384
2385         PR tree-optimization/39349
2386         * cse.c (cse_insn): Fix loop to stop at VOIDmode.
2387
2388         * combine.c (gen_lowpart_for_combine): Use omode when generating
2389         clobber.
2390
2391 2009-03-04  J"orn Rennecke  <joern.rennecke@arc.com>
2392
2393         PR rtl-optimization/39235
2394         * loop-iv.c (get_simple_loop_desc): Use XCNEW.
2395
2396 2009-03-04  Zdenek Dvorak  <ook@ucw.cz>
2397
2398         * graphite.c (nb_reductions_in_loop): Update simple_iv arguments.
2399
2400 2009-03-04  Richard Guenther  <rguenther@suse.de>
2401
2402         PR tree-optimization/39362
2403         * tree-ssa-sccvn.c (visit_use): Stores and copies from SSA_NAMEs
2404         that occur in abnormal PHIs should be varying.
2405
2406 2009-03-04  Zdenek Dvorak  <ook@ucw.cz>
2407
2408         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop):
2409         Extend comments.
2410         (simple_iv):  Take loop as an argument instead of statement.
2411         * tree-scalar-evolution.h (simple_iv): Declaration changed.
2412         * tree-ssa-loop-niter.c (number_of_iterations_exit): Update calls
2413         to simple_iv.
2414         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev):
2415         Ditto.
2416         * tree-parloops.c (loop_parallel_p, canonicalize_loop_ivs): Ditto.
2417         * matrix-reorg.c (analyze_transpose): Ditto.
2418         * tree-data-ref.c (dr_analyze_innermost): Ditto.
2419         * tree-vect-analyze.c (vect_analyze_data_refs): Ditto.
2420         * tree-predcom.c (ref_at_iteration): Ditto.
2421         * tree-ssa-loop-prefetch.c (idx_analyze_ref): Ditto.
2422
2423 2009-03-04  Richard Guenther  <rguenther@suse.de>
2424
2425         PR tree-optimization/39358
2426         * tree-ssa-structalias.c (do_sd_constraint): Fix check for
2427         escaped_id and callused_id.
2428         (solve_graph): Likewise.
2429
2430 2009-03-04  Richard Guenther  <rguenther@suse.de>
2431
2432         PR tree-optimization/39339
2433         * tree-sra.c (try_instantiate_multiple_fields): Make it
2434         no longer ICE on the above.
2435
2436 2009-03-03  Joseph Myers  <joseph@codesourcery.com>
2437
2438         * emit-rtl.c (adjust_address_1): Reduce offset to a signed value
2439         that fits within Pmode.
2440
2441 2009-03-03  Steve Ellcey  <sje@cup.hp.com>
2442
2443         PR middle-end/10109
2444         * tm.texi (LIBCALL_VALUE): Update description.
2445
2446 2009-03-03  Steve Ellcey  <sje@cup.hp.com>
2447
2448         PR middle-end/34443
2449         * doc/extend.texi (section): Update description.
2450
2451 2009-03-03  H.J. Lu  <hongjiu.lu@intel.com>
2452
2453         PR middle-end/39345
2454         * tree-inline.c (remapped_type): New.
2455         (can_be_nonlocal): Call remapped_type instead of remap_type.
2456
2457 2009-03-03  Jakub Jelinek  <jakub@redhat.com>
2458
2459         PR fortran/39354
2460         * gimplify.c (goa_stabilize_expr): Handle tcc_comparison,
2461         TRUTH_ANDIF_EXPR and TRUTH_ORIF_EXPR.
2462
2463 2009-03-03  Richard Guenther  <rguenther@suse.de>
2464
2465         PR middle-end/39272
2466         * tree.c (tree_nonartificial_location): New function.
2467         * tree.h (tree_nonartificial_location): Declare.
2468         * builtins.c (expand_builtin_memory_chk): Provide location
2469         of the call location for artificial function pieces.
2470         (maybe_emit_chk_warning): Likewise.
2471         (maybe_emit_sprintf_chk_warning): Likewise.
2472         (maybe_emit_free_warning): Likewise.
2473         * expr.c (expand_expr_real_1): Likewise.
2474
2475 2009-03-03  Jakub Jelinek  <jakub@redhat.com>
2476
2477         PR tree-optimization/39343
2478         * tree-ssa-ccp.c (maybe_fold_offset_to_address): Don't check if
2479         COMPONENT_REF t has ARRAY_TYPE.
2480
2481 2009-03-02  Sebastian Pop  <sebastian.pop@amd.com>
2482
2483         PR middle-end/39335
2484         * tree-parloops.c (canonicalize_loop_ivs): Call fold_convert
2485         when the type precision of the induction variable should be
2486         larger than the type precision of nit.
2487         (gen_parallel_loop): Update use of canonicalize_loop_ivs.
2488         * graphite.c (graphite_loop_normal_form): Same.
2489         * tree-flow.h (canonicalize_loop_ivs): Update declaration.
2490
2491 2009-03-02  Uros Bizjak  <ubizjak@gmail.com>
2492
2493         * config/i386/i386.md (ST?_REG, MM?_REG): New constants.
2494         (*call_1_rex64_ms_sysv): Use named constants instead of magic
2495         numbers to describe clobbered registers.
2496         (*call_value_0_rex64_ms_sysv): Ditto.
2497         * config/i386/mmx.md (mmx_emms): Ditto.
2498         (mmx_femms): Ditto.
2499
2500 2009-03-02  Richard Sandiford  <rdsandiford@googlemail.com>
2501
2502         * config/mips/mips.c (mips_mdebug_abi_name): Fix the handling
2503         of ABI_64.
2504
2505 2009-03-02  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2506
2507         * config/spu/spu.c (TARGET_SECTION_TYPE_FLAGS): Define.
2508         (spu_section_type_flags): New function.
2509
2510 2009-03-02  Uros Bizjak  <ubizjak@gmail.com>
2511
2512         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Do not copy
2513         reg_class_contents of FLOAT_REGS into a temporary.
2514
2515 2009-03-02  Richard Guenther  <rguenther@suse.de>
2516             Ira Rosen  <irar@il.ibm.com>
2517
2518         PR tree-optimization/39318
2519         * tree-vect-transform.c (vectorizable_call): Transfer the EH region
2520         information to the vectorized statement.
2521
2522 2009-03-01  Uros Bizjak  <ubizjak@gmail.com>
2523
2524         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Do not shadow "i"
2525         variable.  Use defined names instead of magic constants for REX SSE
2526         registers.
2527
2528 2009-03-01  Richard Guenther  <rguenther@suse.de>
2529
2530         PR tree-optimization/39331
2531         * omp-low.c (lower_send_shared_vars): Do not receive new
2532         values for the reference of DECL_BY_REFERENCE parms or results.
2533
2534 2009-03-01  Jan Hubicka  <jh@suse.cz>
2535
2536         PR debug/39267
2537         * tree.h (BLOCK_NONLOCALIZED_VARS, BLOCK_NUM_NONLOCALIZED_VARS,
2538         BLOCK_NONLOCALIZED_VAR): New macros.
2539         (tree_block): Add nonlocalized_vars.
2540         * dwarf2out.c (gen_formal_parameter_die, gen_variable_die,
2541         gen_decl_die): Add origin argument.  Allow generation of die with
2542         origin at hand only.
2543         (gen_member_die, gen_type_die_with_usage, force_decl_die,
2544         declare_in_namespace, gen_namescpace_die, dwarf2out_decl): Update use
2545         of gen_*.
2546         (gen_block_die): Fix checking for unused blocks.
2547         (process_scope_var): Break out from .... ; work with origins only.
2548         (decls_for_scope) ... here; process nonlocalized list.
2549         (dwarf2out_ignore_block): Look for nonlocalized vars.
2550         * tree-ssa-live.c (remove_unused_scope_block_p): Look for nonlocalized
2551         vars.
2552         (dump_scope_block): Dump them.
2553         * tree-inline.c (remap_decls): Handle nonlocalized vars.
2554         (remap_block): Likewise.
2555         (can_be_nonlocal): New predicate.
2556         (copy_bind_expr, copy_gimple_bind): Update use of remap_block.
2557
2558 2009-03-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2559
2560         * configure: Regenerate.
2561
2562 2009-03-01  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2563
2564         * optc-gen.awk: No need to duplicate option flags twice.
2565         Reuse help texts for duplicate options which do not have any.
2566
2567         * gcc.c (display_help): Document --version.
2568
2569         * gcc.c (main): If print_help_list and verbose_flag, ensure
2570         driver output comes before subprocess output.
2571
2572         * optc-gen.awk: Assign all remaining fields to help string,
2573         space-separated, for multi-line help in *.opt.
2574
2575         * doc/invoke.texi (Warning Options): -Wsync-nand is C/C++ only.
2576         -Wno-pedantic-ms-format is for MinGW targets only.
2577
2578         * doc/options.texi (Option file format): Fix bad indentation,
2579         restoring dropped sentence.
2580
2581 2009-02-28  Jan Hubicka  <jh@suse.cz>
2582
2583         * tree-inline.c (tree_function_versioning): Output debug info.
2584
2585 2009-02-28  Jan Hubicka  <jh@suse.cz>
2586
2587         PR debug/39267
2588         * tree-inline.c (setup_one_parameter): Do not copy propagate
2589         arguments when not optimizing.
2590
2591 2009-02-28  H.J. Lu  <hongjiu.lu@intel.com>
2592
2593         PR target/39327
2594         * config/i386/sse.md (avx_addsubv8sf3): Correct item bits.
2595         (avx_addsubv4df3): Likewise.
2596         (*avx_addsubv4sf3): Likewise.
2597         (sse3_addsubv4sf3): Likewise.
2598         (*avx_addsubv2df3): Likewise.
2599         (sse3_addsubv2df3): Likewise.
2600         (avx_unpckhps256): Correct item selectors.
2601         (avx_unpcklps256): Likewise.
2602         (avx_unpckhpd256): Likewise.
2603         (avx_unpcklpd256): Likewise.
2604
2605 2009-02-28  Jan Hubicka  <jh@suse.cz>
2606
2607         * tree-inline.c (expand_call_inline): Avoid duplicate declarations of
2608         static vars.
2609         (copy_arguments_for_versioning): If var is declared don't declare it.
2610         (tree_function_versioning): First setup substitutions and then copy
2611         args.
2612
2613 2009-02-27  Jan Hubicka  <jh@suse.cz>
2614
2615         PR debug/39267
2616         * cgraph.h (varpool_output_debug_info): Remove.
2617         * cgraphunit.c (varpool_output_debug_info): Remove.
2618         * dwarf2out.c (deferred_locations_struct): New struct
2619         (deferred_locations): New type.
2620         (deferred_locations_list): New static var.
2621         (deffer_location): New function.
2622         (gen_variable_die): Use it.
2623         (decls_for_scope): Output info on local static vars.
2624         (dwarf2out_finish): Process deferred locations.
2625         * varpool.c (varpool_output_debug_info): Remove.
2626
2627 2009-02-27  Jan Hubicka  <jh@suse.cz>
2628
2629         PR debug/39267
2630         * tree.h (TREE_PROTECTED): Fix comment.
2631         (BLOCK_HANDLER_BLOCK): Remove.
2632         (struct tree_block): Remove handler_block add body_block.
2633         (inlined_function_outer_scope_p): New.
2634         (is_body_block): Remove.
2635         * dbxout.c (dbxout_block): Remove BLOCK_HANDLER_BLOCK.
2636         * dwarf2out.c (is_inlined_entry_point): Remove.
2637         (add_high_low_attributes): Use inlined_function_outer_scope_p.
2638         (gen_block_die): Use is_inlined_entry_point check.  Remove body block
2639         code.
2640         * langhooks.h (struct lang_hooks): Remove no_bodu_blocks.
2641         * gimplify.c (gimplify_expr): Gimplify body blocks.
2642         * tree-ssa-live.c (remove_unused_scope_block_p): Allow removing wrapper
2643         block with multiple subblocks.
2644         (dump_scope_block): Prettier output; dump more flags and info.
2645         (dump_scope_blocks): New.
2646         (remove_unused_locals): Use dump_scope_blocks.
2647         * tree-flow.h (dump_scope_blocks): Declare.
2648         * tree-cfg.c (execute_build_cfg): Dump scope blocks.
2649         * stmt.c (is_body_block): Remove.
2650         * tree-inline.c (remap_block): Copy BODY_BLOCK info.
2651         * langhooks-def.h (LANG_HOOKS_NO_BODY_BLOCKS): Remove.
2652
2653 2009-02-27  Sebastian Pop  <sebastian.pop@amd.com>
2654
2655         PR middle-end/39308
2656         * graphite.c (graphite_loop_normal_form): Do not call 
2657         number_of_iterations_exit from a gcc_assert.
2658
2659 2009-02-27  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
2660
2661         * gcc/config/s390/s390.c (s390_swap_cmp): Look for conditional
2662         jumps if COND is NULL.
2663         (find_cond_jump): New function.
2664         (s390_z10_optimize_cmp): Handling for reg-reg compares added.
2665         * gcc/config/s390/s390.md: Remove z10_cobra attribute value.
2666
2667 2009-02-26  Uros Bizjak  <ubizjak@gmail.com>
2668
2669         * config/alpha/alpha.h (alpha_expand_mov): Return false if
2670         force_const_mem returns NULL_RTX.
2671
2672 2009-02-26  Jan Hubicka  <jh@suse.cz>
2673
2674         PR debug/39267
2675         * cgraph.h (varpool_output_debug_info): Remove.
2676         * cgraphunit.c (varpool_output_debug_info): Remove.
2677         * dwarf2out.c (deferred_locations_struct): New struct
2678         (deferred_locations): New type.
2679         (deferred_locations_list): New static var.
2680         (deffer_location): New function.
2681         (gen_variable_die): Use it.
2682         (decls_for_scope): Output info on local static vars.
2683         (dwarf2out_finish): Process deferred locations.
2684         * varpool.c (varpool_output_debug_info): Remove.
2685
2686 2009-02-25  H.J. Lu  <hongjiu.lu@intel.com>
2687
2688         PR rtl-optimization/39241
2689         * jump.c (rtx_renumbered_equal_p): Remove 2 superfluous calls
2690         to subreg_offset_representable_p.
2691
2692 2009-02-25  Paolo Bonzini  <bonzini@gnu.org>
2693
2694         * regmove.c (regmove_optimize): Conform to struct rtl_opt_pass
2695         execute function prototype.  Get f and nregs from max_reg_num
2696         and get_insns.  Remove the first backward pass as it's dead,
2697         guard the forward pass by flag_expensive_optimizations.
2698         (rest_of_handle_regmove): Delete.
2699         (pass_regmove): Replace it with regmove_optimize.
2700
2701 2009-02-25  Martin Jambor  <mjambor@suse.cz>
2702
2703         PR tree-optimization/39259
2704         * tree-inline.c (initialize_cfun): Remove asserts for calls_setjmp and
2705         calls_alloca function flags.
2706         (copy_bb): Set calls_setjmp and alls_alloca function flags if such
2707         calls are detected.
2708
2709 2009-02-25  Paolo Bonzini  <bonzini@gnu.org>
2710
2711         * regmove.c (discover_flags_reg, flags_set_1, mark_flags_life_zones,
2712         flags_set_1_rtx, flags_set_1_set): Delete.
2713         (regmove_optimize): Do not call mark_flags_life_zones.
2714
2715 2009-02-24  Julian Brown  <julian@codesourcery.com>
2716
2717         PR target/35965
2718         * config/arm/arm.c (require_pic_register): Only set
2719         cfun->machine->pic_reg once per function.
2720
2721 2009-02-24  Sandra Loosemore  <sandra@codesourcery.com>
2722
2723         * doc/invoke.texi (Link Options): Document an easier way to pass
2724         options that take arguments to the GNU linker using -Xlinker and -Wl.
2725
2726 2009-02-24  Steve Ellcey  <sje@cup.hp.com>
2727
2728         PR target/33785
2729         * doc/tm.texi (TARGET_C99_FUNCTIONS): Fix description.
2730
2731 2009-02-24  Richard Guenther  <rguenther@suse.de>
2732
2733         PR debug/39285
2734         * dwarf2out.c (gen_enumeration_type_die): Handle CONST_DECLs.
2735
2736 2009-02-24  Richard Guenther  <rguenther@suse.de>
2737             Zdenek Dvorak  <ook@ucw.cz>
2738
2739         PR tree-optimization/39233
2740         * tree-ssa-loop-ivopts.c (add_candidate_1): Do not except pointers
2741         from converting them to a generic type.
2742
2743 2009-02-23  Sebastian Pop  <sebastian.pop@amd.com>
2744
2745         PR tree-optimization/39260
2746         * graphite.c (harmful_stmt_in_bb): Stop a SCoP when the basic block
2747         contains a condition with a real type.
2748         (build_scop_conditions_1): Conditions are always last_stmt of a bb.
2749
2750 2009-02-23  Jason Merrill  <jason@redhat.com>
2751
2752         PR c++/38880
2753         * varasm.c (initializer_constant_valid_p) [PLUS_EXPR]: Check
2754         narrowing_initializer_constant_valid_p.
2755         (narrowing_initializer_constant_valid_p): Don't return 
2756         null_pointer_node for adding a pointer to itself.
2757
2758 2009-02-23  Jan Hubicka  <jh@suse.cz>
2759
2760         PR c/12245
2761         * ggc.h (htab_create_ggc): Use ggc_free to free hashtable when
2762         resizing.
2763
2764 2009-02-23  Jan Hubicka  <jh@suse.cz>
2765
2766         PR tree-optimization/37709
2767         * tree.c (block_ultimate_origin): Move here from dwarf2out.
2768         * tree.h (block_ultimate_origin): Declare.
2769         * dwarf2out.c (block_ultimate_origin): Move to tree.c
2770         * tree-ssa-live.c (remove_unused_scope_block_p):
2771         Eliminate blocks containig no instructions nor live variables nor
2772         nested blocks.
2773         (dump_scope_block): New function.
2774         (remove_unused_locals): Enable removal of dead blocks by default;
2775         enable dumping at TDF_DETAILS.
2776
2777 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
2778
2779         * config/i386/i386.c (classify_argument): Don't allow COImode
2780         and OImode.
2781         (function_arg_advance_32): Don't allow OImode.
2782         (function_arg_32): Likewise.
2783         (function_value_32): Likewise.
2784         (return_in_memory_32): Likewise.
2785         (function_arg_64): Remove OImode comment.
2786
2787 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
2788
2789         PR target/39261
2790         * config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Use
2791         ix86_expand_vector_set for V4DImode in 64bit mode only.
2792         (ix86_expand_vector_init_one_var): Likewise.
2793
2794 2009-02-21  Sebastian Pop  <sebastian.pop@amd.com>
2795
2796         * graphite.c (graphite_trans_loop_block): Adjust tile size to 51.
2797
2798 2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
2799
2800         PR bootstrap/39257
2801         * loop-iv.c: Revert last change.
2802         * emit-rtl.c: Likewise.
2803
2804 2009-02-21  H.J. Lu  <hongjiu.lu@intel.com>
2805
2806         PR target/39256
2807         * config/i386/i386.c (type_natural_mode): Remove an extra
2808         space in the warning message.
2809         (function_value_32): Handle 32-byte vector modes.
2810         (return_in_memory_32): Likewise.
2811
2812 2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
2813
2814         * loop-iv.c (truncate_value): New function.
2815         (iv_subreg, get_iv_value, iv_number_of_iterations): Use it instead
2816         of lowpart_subreg.
2817         (lowpart_subreg): Move to...
2818         * emit-rtl.c: ...here.
2819
2820 2009-02-21  Danny Smith  <dannysmith@users.sourceforge.net>
2821
2822         * config/i386/winnt.c (i386_pe_asm_output_aligned_decl_common): Revert
2823         accidental and undocumented change at revision 140860.
2824
2825 2009-02-21  Joseph Myers  <joseph@codesourcery.com>
2826
2827         * config/arm/arm.c (arm_gimplify_va_arg_expr): Update prototype to
2828         take gimple_seq * arguments.
2829         (arm_mangle_type): Use CONST_CAST_TREE on type argument passed to
2830         types_compatible_p langhook.
2831
2832 2009-02-20  Mark Mitchell  <mark@codesourcery.com>
2833             Joseph Myers  <joseph@codesourcery.com>
2834
2835         * config/arm/arm.c (arm_builtin_va_list): New function.
2836         (arm_expand_builtin_va_start): Likewise.
2837         (arm_gimplify_va_arg_expr): Likewise.
2838         (TARGET_BUILD_BUILTIN_VA_LIST): Define.
2839         (TARGET_BUILD_BUILTIN_VA_START): Likewise.
2840         (TARGET_BUILD_BUILTIN_VA_ARG_EXPR): Likewise.
2841         (va_list_type): New variable.
2842         (arm_mangle_type): Mangle va_list_type appropriately.
2843
2844 2009-02-20  Jakub Jelinek  <jakub@redhat.com>
2845
2846         PR middle-end/39157
2847         * Makefile.in (loop-invariant.o): Depend on $(PARAMS_H).
2848         * params.h (LOOP_INVARIANT_MAX_BBS_IN_LOOP): Define.
2849         * params.def (loop-invariant-max-bbs-in-loop): New parameter.
2850         * opts.c (decode_options): Set loop-invariant-max-bbs-in-loop
2851         parameter to 1000 for -O1 by default.
2852         * doc/invoke.texi (loop-invariant-max-bbs-in-loop): Document new
2853         parameter.
2854         * loop-invariant.c: Include params.h.
2855         (move_loop_invariants): Don't call move_single_loop_invariants on
2856         very large loops.
2857
2858 2009-02-20  Jaka Mocnik  <jaka@xlab.si>
2859
2860         * calls.c (emit_library_call_value_1): Use slot_offset instead of
2861         offset when calculating bounds for indexing stack_usage_map.  Fixes
2862         a buffer overflow with certain target setups.
2863
2864 2009-02-20  Jakub Jelinek  <jakub@redhat.com>
2865
2866         PR target/39240
2867         * calls.c (expand_call): Clear try_tail_call if caller and callee
2868         disagree in promotion of function return value.
2869
2870 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
2871
2872         PR target/39175
2873         * c-common.c (c_determine_visibility): If visibility changed and
2874         DECL_RTL has been already set, call make_decl_rtl to update symbol
2875         flags.
2876
2877 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
2878
2879         PR c++/39188
2880         * varasm.c (assemble_variable): Don't check DECL_NAME when
2881         globalizing a variable.
2882
2883 2009-02-19  Joseph Myers  <joseph@codesourcery.com>
2884
2885         PR c/38483
2886         * builtins.c (gimplify_va_arg_expr): Evaluate the va_list
2887         expression before any __builtin_trap call.
2888         * c-typeck.c (build_function_call): Convert and check function
2889         arguments before generating a call to a trap.  Evaluate the
2890         function arguments before the trap.
2891
2892 2009-02-19  Uros Bizjak  <ubizjak@gmail.com>
2893
2894         PR target/39228
2895         * config/i386/i386.md (isinfxf2): Split from isinf<mode>2.
2896         (UNSPEC_FXAM_MEM): New unspec.
2897         (fxam<mode>2_i387_with_temp): New insn and split pattern.
2898         (isinf<mode>2): Use MODEF mode iterator.  Force operand[1] through
2899         memory using fxam<mode>2_i387_with_temp to remove excess precision.
2900
2901 2009-02-19  Richard Guenther  <rguenther@suse.de>
2902
2903         PR tree-optimization/39207
2904         PR tree-optimization/39074
2905         * tree-ssa-structalias.c (storedanything_id, var_storedanything,
2906         storedanything_tree): New.
2907         (do_ds_constraint): Simplify ANYTHING shortcutting.  Update
2908         the STOREDANYTHING solution if the lhs solution contains ANYTHING.
2909         (build_succ_graph): Add edges from STOREDANYTHING to all
2910         non-direct nodes.
2911         (init_base_vars): Initialize STOREDANYTHING.
2912         (compute_points_to_sets): Free substitution info after
2913         building the succ graph.
2914         (ipa_pta_execute): Likewise.
2915
2916         * tree-ssa-structalias.c (struct variable_info): Add may_have_pointers
2917         field.
2918         (do_ds_constraint): Do not add to special var or non-pointer
2919         field solutions.
2920         (type_could_have_pointers): Split out from ...
2921         (could_have_pointers): ... here.  For arrays use the element type.
2922         (create_variable_info_for): Initialize may_have_pointers.
2923         (new_var_info): Likewise.
2924         (handle_lhs_call): Make the HEAP variable unknown-sized.
2925         (intra_create_variable_infos): Use a type with pointers for
2926         PARM_NOALIAS, make it unknown-sized.
2927
2928 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
2929
2930         PR target/39224
2931         * config/i386/i386.c (ix86_return_in_memory): Properly check ABI.
2932
2933 2009-02-18  Jason Merrill  <jason@redhat.com>
2934
2935         PR target/39179
2936         * tree-ssa-ccp.c (get_symbol_constant_value): Don't assume zero
2937         value if DECL_EXTERNAL.
2938         * tree-sra.c (sra_walk_gimple_assign): Likewise.
2939         * target.h (gcc_target::binds_local_p): Clarify "module".
2940         * tree.h (TREE_PUBLIC): Clarify "module".
2941
2942 2009-02-17  Xuepeng Guo  <xuepeng.guo@intel.com>
2943
2944         PR target/38891
2945         * config/i386/i386.h (CONDITIONAL_REGISTER_USAGE): Move the hunk of
2946         initialization for MS_ABI prior to the hunk of !TARGET_MMX.
2947
2948 2009-02-17  H.J. Lu  <hongjiu.lu@intel.com>
2949
2950         PR target/39082
2951         * c.opt (Wabi): Support C and ObjC.
2952         (Wpsabi): New.
2953
2954         * c-opts.c (c_common_handle_option): Handle OPT_Wabi.
2955
2956         * config/i386/i386.c (classify_argument): Warn once about the ABI
2957         change when passing union with long double.
2958
2959         * doc/invoke.texi: Update -Wabi for warning psABI changes.
2960
2961 2009-02-18  Joseph Myers  <joseph@codesourcery.com>
2962
2963         PR c/35447
2964         * c-parser.c (c_parser_compound_statement): Always enter and leave
2965         a scope.
2966
2967 2009-02-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2968
2969         PR target/34587
2970         * config/darwin.h (SUPPORTS_INIT_PRIORITY): Define.
2971
2972 2009-02-18  Jakub Jelinek  <jakub@redhat.com>
2973
2974         PR tree-optimization/36922
2975         * tree-data-ref.c (initialize_matrix_A): Handle BIT_NOT_EXPR.
2976         * tree-scalar-evolution.c (interpret_rhs_expr, instantiate_scev_1):
2977         Likewise.
2978
2979 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
2980
2981         * config/mips/mips.c (mips_override_options): Set flag_dwarf2_cfi_asm
2982         to 0 for EABI64.
2983
2984 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
2985
2986         * config/mips/mips.md (type): Reclassify lui_movf as "unknown".
2987
2988 2009-02-17  Richard Sandiford  <rdsandiford@googlemail.com>
2989
2990         * config/mips/mips.c (mips_gimplify_va_arg_expr): Fix invalid
2991         tree sharing.
2992
2993 2009-02-17  Ruan Beihong  <ruanbeihong@gmail.com>
2994             Richard Sandiford  <rdsandiford@googlemail.com>
2995
2996         * config/mips/mips.c (CODE_FOR_loongson_biadd): Delete.
2997         * config/mips/loongson.md (reduc_uplus_<mode>): Rename to...
2998         (loongson_biadd): ...this.
2999
3000 2009-02-17  Richard Guenther  <rguenther@suse.de>
3001
3002         PR tree-optimization/39202
3003         * tree-ssa-structalias.c (do_structure_copy): Before collapsing
3004         a var make sure to follow existing collapses.
3005
3006 2009-02-17  Richard Guenther  <rguenther@suse.de>
3007
3008         PR middle-end/39214
3009         * langhooks.c (lhd_print_error_function): Check for NULL block.
3010
3011 2009-02-17  Richard Guenther  <rguenther@suse.de>
3012
3013         PR tree-optimization/39204
3014         * tree-ssa-pre.c (phi_translate_1): Lookup the value-number
3015         of the PHI arg.
3016
3017 2009-02-17  Uros Bizjak  <ubizjak@gmail.com>
3018
3019         * config/soft-fp/double.h: Update from glibc CVS.
3020
3021 2009-02-17  Richard Guenther  <rguenther@suse.de>
3022
3023         PR tree-optimization/39207
3024         * tree-ssa-structalias.c (find_what_p_points_to): Do not emit
3025         strict-aliasing warnings for pointers pointing to NULL.
3026
3027 2009-02-16  Joseph Myers  <joseph@codesourcery.com>
3028
3029         PR c/35446
3030         * c-parser.c (c_parser_braced_init): Call pop_init_level when
3031         skipping until next close brace.
3032
3033 2009-02-16  H.J. Lu  <hongjiu.lu@intel.com>
3034
3035         PR target/37049
3036         * config/i386/i386.c (ix86_expand_push): Set memory alignment
3037         to function argument boundary.
3038
3039 2009-02-16  Hariharan Sandanagobalane  <hariharan@picochip.com>
3040
3041         * config/picochip/picochip.md (lea_add): Allow any nonimmediate
3042         in the lea_add. Reload eventually constraints it properly.
3043         * config/picochip/constraints.md : Remove the target constraint
3044         "b", since it is not needed anymore.
3045
3046 2009-02-16  Jakub Jelinek  <jakub@redhat.com>
3047
3048         * gthr-dce.h: Uglify function parameter and local variable names.
3049         * gthr-gnat.h: Likewise.
3050         * gthr-mipssde.h: Likewise.
3051         * gthr-nks.h: Likewise.
3052         * gthr-posix95.h: Likewise.
3053         * gthr-posix.h: Likewise.
3054         * gthr-rtems.h: Likewise.
3055         * gthr-single.h: Likewise.
3056         * gthr-solaris.h: Likewise.
3057         * gthr-tpf.h: Likewise.
3058         * gthr-vxworks.h: Likewise.
3059         * gthr-win32.h: Likewise.
3060
3061 2009-02-15  H.J. Lu  <hongjiu.lu@intel.com>
3062
3063         PR target/39196
3064         * config/i386/i386.md: Restrict the new peephole2 to move
3065         between MMX/SSE registers.
3066
3067 2009-02-15  Richard Guenther  <rguenther@suse.de>
3068
3069         Revert
3070         2009-02-13  Richard Guenther  <rguenther@suse.de>
3071
3072         * configure.ac: Enable LFS.
3073         * configure: Re-generate.
3074         * config.in: Likewise.
3075
3076 2009-02-13  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
3077
3078         * config/spu/spu_internals.h (spu_sr, spu_sra, spu_srqw,
3079         spu_srqwbyte, spu_srqwbytebc): Define.
3080         * config/spu/spu-builtins.def (spu_sr, spu_sra, spu_srqw,
3081         spu_srqwbyte, spu_srqwbytebc): New overloaded builtins.
3082         * config/spu/spu.md ("shrqbybi_<mode>", "shrqbi_<mode>",
3083         "shrqby_<mode>"): New insn-and-split patterns.
3084         * config/spu/spu.c (expand_builtin_args): Determine and return
3085         number of operands using spu_builtin_description data.
3086         (spu_expand_builtin_1): Use it.
3087
3088 2009-02-13  Steve Ellcey  <sje@cup.hp.com>
3089
3090         PR target/38056
3091         * config/ia64/ia64.c (ia64_function_ok_for_sibcall): Check
3092         TARGET_CONST_GP.
3093
3094 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
3095
3096         PR target/39149
3097         * config/i386/i386.c (override_options): Correct warning
3098         messages for -malign-loops, -malign-jumps and -malign-functions.
3099
3100 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
3101
3102         PR target/39152
3103         * config/i386/i386.md: Restrict the new peephole2 to move
3104         between the general purpose registers.
3105
3106 2009-02-13  H.J. Lu  <hongjiu.lu@intel.com>
3107
3108         PR target/39162
3109         * config/i386/i386.c (type_natural_mode): Add a new argument.
3110         Return the original mode and warn ABI change if vector size is 32byte.
3111         (function_arg_advance): Updated.
3112         (function_arg): Likewise.
3113         (ix86_function_value): Likewise.
3114         (ix86_return_in_memory): Likewise.
3115         (ix86_sol10_return_in_memory): Likewise.
3116         (ix86_gimplify_va_arg): Likewise.
3117         (function_arg_32): Don't warn ABX ABI change here.
3118         (function_arg_64): Likewise.
3119
3120 2009-02-13  Bernd Schmidt  <bernd.schmidt@analog.com>
3121
3122         * loop-iv.c (implies_p): In the final case, test that operands 0
3123         of the two comparisons match.
3124
3125         * config/bfin/bfin.c (find_prev_insn_start): New function.
3126         (bfin_optimize_loop): Use it in some cases instead of PREV_INSN.
3127         (find_next_insn_start): Move.
3128
3129 2009-02-13  Richard Guenther  <rguenther@suse.de>
3130
3131         * configure.ac: Enable LFS.
3132         * configure: Re-generate.
3133         * config.in: Likewise.
3134
3135 2009-02-13  Joseph Myers  <joseph@codesourcery.com>
3136
3137         PR c/35444
3138         * c-parser.c (c_parser_parms_list_declarator): Discard pending
3139         sizes on syntax error after some arguments have been parsed.
3140
3141 2009-02-12  Jakub Jelinek  <jakub@redhat.com>
3142
3143         * doc/invoke.texi (-fira): Remove.
3144
3145 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
3146
3147         * caller-save.c: Replace regclass.c with reginfo.c in comments.
3148         * recog.c: Likewise.
3149         * rtl.h: Likewise.
3150
3151 2009-02-12  Uros Bizjak  <ubizjak@gmail.com>
3152
3153         * longlong.h (sub_ddmmss): New for ia64. Ported from GMP 4.2.
3154         (umul_ppmm): Likewise.
3155         (count_leading_zeros): Likewise.
3156         (count_trailing_zeros): Likewise.
3157         (UMUL_TIME): Likewise.
3158
3159 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
3160
3161         * config.gcc (ia64*-*-linux*): Add ia64/t-fprules-softfp and
3162         soft-fp/t-softfp to tmake_file.
3163
3164         * config/ia64/ia64.c (ia64_soft_fp_init_libfuncs): New.
3165         (ia64_expand_compare): Use HPUX library for TFmode only for HPUX.
3166         (ia64_builtins) [IA64_BUILTIN_COPYSIGNQ, IA64_BUILTIN_FABSQ,
3167         IA64_BUILTIN_INFQ]: New.
3168         (ia64_init_builtins): Initialize __builtin_infq,
3169         __builtin_fabsq and __builtin_copysignq if not HPUX.
3170         (ia64_expand_builtin): Handle IA64_BUILTIN_COPYSIGNQ,
3171         IA64_BUILTIN_FABSQ and IA64_BUILTIN_INFQ.
3172
3173         * config/ia64/lib1funcs.asm (__divtf3): Define only if
3174         SHARED is defined.
3175         (__fixtfti): Likewise.
3176         (__fixunstfti): Likewise.
3177         (__floattitf): Likewise.
3178
3179         * config/ia64/libgcc-glibc.ver: New.
3180         * config/ia64/t-fprules-softfp: Likewise.
3181         * config/ia64/sfp-machine.h: Likewise.
3182
3183         * config/ia64/linux.h (LIBGCC2_HAS_TF_MODE): New.
3184         (LIBGCC2_TF_CEXT): Likewise.
3185         (TF_SIZE): Likewise.
3186         (TARGET_INIT_LIBFUNCS): Likewise.
3187
3188         * config/ia64/t-glibc (SHLINB_MAPFILES):
3189         Add $(srcdir)/config/ia64/libgcc-glibc.ver.
3190
3191 2009-02-12  H.J. Lu  <hongjiu.lu@intel.com>
3192
3193         * config/i386/i386.c (construct_container): Rewrite processing
3194         BLKmode with X86_64_SSE_CLASS.
3195
3196 2009-02-12  Paolo Bonzini  <bonzini@gnu.org>
3197
3198         PR target/39152
3199         * config/i386/i386.md: Replace simplify_replace_rtx with
3200         replace_rtx in the new peephole2.
3201
3202 2009-02-12  Nathan Sidwell  <nathan@codesourcery.com>
3203
3204         * doc/invoke.texi (Optimize Options): Stop claiming inlining and
3205         loop unrolling do not happen at -O2.
3206
3207 2009-02-12  Michael Matz  <matz@suse.de>
3208
3209         * gcc.c (ASM_DEBUG_SPEC): Check for -g0.
3210
3211 2009-02-12  Jakub Jelinek  <jakub@redhat.com>
3212
3213         * dwarf2out.c (dwarf2out_finish): Force output of comp_unit_die
3214         for -g3.
3215
3216 2009-02-12  Ben Elliston  <bje@au.ibm.com>
3217
3218         * config/rs6000/rs6000.md (allocate_stack): Use _stack form of
3219         patterns when updating the back chain.  Missed in the 2009-02-10
3220         change.
3221
3222 2009-02-11  Janis Johnson  <janis187@us.ibm.com>
3223
3224         * doc/extend.texi (Decimal Floating Types): Update identifier of
3225         draft TR and list of missing support.
3226
3227 2009-02-11  Jakub Jelinek  <jakub@redhat.com>
3228
3229         PR middle-end/39154
3230         * gimplify.c (omp_notice_variable): If adding GOVD_SEEN
3231         bit to variable length decl's flags, add it also to its
3232         pointer replacement variable.
3233
3234 2009-02-11  Uros Bizjak  <ubizjak@gmail.com>
3235             Jakub Jelinek  <jakub@redhat.com>
3236
3237         PR target/39118
3238         * config/i386/i386.md (UNSPEC_MEMORY_BLOCKAGE): New constant.
3239         (memory_blockage): New expander.
3240         (*memory_blockage): New insn pattern.
3241         * config/i386/i386.c (ix86_expand_prologue): Use memory_blockage
3242         instead of general blockage at the end of function prologue when
3243         frame pointer is used to access red zone area.  Do not emit blockage
3244         when profiling, it is emitted in generic code.
3245         (ix86_expand_epilogue): Emit memory_blockage at the beginning of
3246         function epilogue when frame pointer is used to access red zone area.
3247
3248 2009-02-11  Paolo Bonzini  <bonzini@gnu.org>
3249
3250         PR target/38824
3251         * config/i386/i386.md: Add two new peephole2 to avoid mov followed
3252         by arithmetic with memory operands.
3253         * config/i386/predicates.md (commutative_operator): New.
3254
3255 2009-02-10  Janis Johnson  <janis187@us.ibm.com>
3256
3257         * doc/extend.texi (Fixed-Point Types): Break long paragraphs into
3258         bulleted lists.
3259
3260 2009-02-10  Eric Botcazou  <ebotcazou@adacore.com>
3261
3262         * alias.h (record_alias_subset): Declare.
3263         * alias.c (record_alias_subset): Make global.
3264
3265 2009-02-10  Nick Clifton  <nickc@redhat.com>
3266
3267         * tree-parloops.c: Change license to GPLv3.
3268         * ipa-struct-reorg.c: Change license to GPLv3.
3269         * ipa-struct-reorg.h: Change license to GPLv3.
3270
3271 2009-02-10  Steve Ellcey  <sje@cup.hp.com>
3272
3273         PR c/39084
3274         * c-decl.c (start_struct): Return NULL on error.
3275
3276 2009-02-10  Jakub Jelinek  <jakub@redhat.com>
3277
3278         PR middle-end/39124
3279         * cfgloopmanip.c (remove_path): Call remove_bbs after
3280         cancel_loop_tree, not before it.
3281
3282         PR target/39139
3283         * function.h (struct function): Add has_local_explicit_reg_vars bit.
3284         * gimplify.c (gimplify_bind_expr): Set it if local DECL_HARD_REGISTER
3285         VAR_DECLs were seen.
3286         * tree-ssa-live.c (remove_unused_locals): Recompute
3287         cfun->has_local_explicit_reg_vars.
3288         * tree-ssa-sink.c (statement_sink_location): Don't sink BLKmode
3289         copies or clearings if cfun->has_local_explicit_reg_vars.
3290
3291 2009-02-10  Uros Bizjak  <ubizjak@gmail.com>
3292
3293         PR target/39118
3294         * config/i386/i386.c (expand_prologue): Emit blockage at the end
3295         of function prologue when frame pointer is used to access
3296         red zone area.
3297
3298 2009-02-10  Richard Guenther  <rguenther@suse.de>
3299
3300         PR middle-end/39127
3301         * gimplify.c (gimple_regimplify_operands): Always look if
3302         we need to create a temporary.
3303
3304 2009-02-10  Richard Guenther  <rguenther@suse.de>
3305
3306         PR tree-optimization/39132
3307         * tree-loop-distribution.c (todo): New global var.
3308         (generate_memset_zero): Trigger TODO_rebuild_alias.
3309         (tree_loop_distribution): Return todo.
3310
3311 2009-02-10  H.J. Lu  <hongjiu.lu@intel.com>
3312
3313         PR target/39119
3314         * config/i386/i386.c (x86_64_reg_class): Remove X86_64_AVX_CLASS.
3315         (x86_64_reg_class_name): Removed.
3316         (classify_argument): Return 0 if bytes > 32.  Return 0 if the
3317         first one isn't X86_64_SSE_CLASS or any other ones aren't
3318         X86_64_SSEUP_CLASS when size > 16bytes.  Don't turn
3319         X86_64_SSEUP_CLASS into X86_64_SSE_CLASS if the preceded one
3320         is X86_64_SSEUP_CLASS.  Set AVX modes to 1 X86_64_SSE_CLASS
3321         and 3 X86_64_SSEUP_CLASS.
3322         (construct_container): Remove X86_64_AVX_CLASS.  Handle 4
3323         registers with 1 X86_64_SSE_CLASS and 3 X86_64_SSEUP_CLASS.
3324
3325 2009-02-10  Ben Elliston  <bje@au.ibm.com>
3326
3327         * config/rs6000/rs6000.md (allocate_stack): Always use an update
3328         form instruction to update the stack back chain word, even if the
3329         user has disabled the generation of update instructions.
3330         (movdi_<mode>_update_stack): New.
3331         (movsi_update_stack): Likewise.
3332         * config/rs6000/rs6000.c (rs6000_emit_allocate_stack): Likewise,
3333         always use an update form instruction to update the stack back
3334         chain word.
3335
3336 2009-02-09  Sebastian Pop  <sebastian.pop@amd.com>
3337
3338         PR middle-end/38953
3339         * graphite.c (if_region_set_false_region): After moving a region in
3340         the false branch of a condition, remove the empty dummy basic block.
3341         (gloog): Remove wrong fix for PR38953.
3342
3343 2009-02-09  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
3344
3345         * config/spu/spu.c (array_to_constant): Fix (latent) wrong-code
3346         generation due to implicit sign extension.
3347
3348 2009-02-09  Eric Botcazou  <ebotcazou@adacore.com>
3349
3350         PR middle-end/38981
3351         * tree-ssa-coalesce.c (add_coalesce): Cap the costs of coalesce pairs
3352         at MUST_COALESCE_COST-1 instead of MUST_COALESCE_COST.
3353
3354 2009-02-09  Richard Guenther  <rguenther@suse.de>
3355
3356         PR middle-end/35202
3357         * convert.c (convert_to_real): Disable (float)fn((double)x)
3358         to fnf(x) conversion if errno differences may occur and
3359         -fmath-errno is set.
3360
3361 2009-02-07  Anatoly Sokolov  <aesok@post.ru>
3362
3363         * config/avr/avr.c (avr_mcu_t): Add ata6289 device.
3364         * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
3365         * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
3366
3367 2009-02-06  Joseph Myers  <joseph@codesourcery.com>
3368
3369         PR c/35434
3370         * c-common.c (handle_alias_attribute): Disallow attribute for
3371         anything not a FUNCTION_DECL or VAR_DECL.
3372
3373 2009-02-06  Janis Johnson  <janis187@us.ibm.com>
3374
3375         PR c/39035
3376         * real.c (do_compare): Special-case compare of zero against
3377         decimal float value.
3378
3379 2009-02-06  Joseph Myers  <joseph@codesourcery.com>
3380
3381         PR c/36432
3382         * c-decl.c (grokdeclarator): Don't treat [] declarators in fields
3383         as indicating flexible array members unless the field itself is
3384         being declarared as the incomplete array.
3385
3386 2009-02-06  Jan Hubicka  <jh@suse.cz>
3387
3388         PR tree-optimization/38844
3389         * ipa-inline.c (try_inline): Stop inlining recursion when edge
3390         is already inlined.
3391
3392 2009-02-06  Richard Guenther  <rguenther@suse.de>
3393
3394         PR middle-end/38977
3395         * tree-cfg.c (need_fake_edge_p): Force a fake edge for
3396         fork because we may expand it as __gcov_fork.
3397
3398 2009-02-06  Nick Clifton  <nickc@redhat.com>
3399
3400         * config/m32c/m32c.h (PCC_BITFIELD_TYPE_MATTERS): Define to zero.
3401
3402 2009-02-06  Paolo Bonzini  <bonzini@gnu.org>
3403
3404         PR tree-optimization/35659
3405         * tree-ssa-sccvn.c (vn_constant_eq, vn_reference_eq, vn_nary_op_eq
3406         vn_phi_eq): Shortcut if hashcode does not match.
3407         (vn_reference_op_compute_hash): Do not call iterative_hash_expr for
3408         NULL operands.
3409         * tree-ssa-pre.c (pre_expr_hash): Look at hashcode if available,
3410         and avoid iterative_hash_expr.
3411         (FOR_EACH_VALUE_ID_IN_SET): New.
3412         (value_id_compare): Remove.
3413         (sorted_array_from_bitmap_set): Use FOR_EACH_VALUE_ID_IN_SET to
3414         sort expressions by value id.
3415
3416 2009-02-05  Kaz Kojima  <kkojima@gcc.gnu.org>
3417
3418         PR target/38991
3419         * config/sh/predicates.md (general_movsrc_operand): Don't check
3420         the subreg of system registers here.
3421
3422 2009-02-05  Jakub Jelinek  <jakub@redhat.com>
3423
3424         PR c++/39106
3425         * cgraphunit.c (cgraph_function_versioning): Clear also DECL_VIRTUAL_P
3426         on the copied decl.
3427
3428 2009-02-05  Paolo Bonzini  <bonzini@gnu.org>
3429
3430         PR rtl-optimization/39110
3431         * rtlanal.c (rtx_addr_can_trap_p_1): Shortcut unaligned
3432         addresses, not aligned ones.
3433
3434 2009-02-05  Daniel Berlin  <dberlin@dberlin.org>
3435             Richard Guenther  <rguenther@suse.de>
3436
3437         PR tree-optimization/39100
3438         * tree-ssa-structalias.c (do_ds_constraint): Actually do what the
3439         comment says and add edges.
3440
3441 2009-02-05  Joseph Myers  <joseph@codesourcery.com>
3442
3443         PR c/35435
3444         * c-common.c (handle_tls_model_attribute): Ignore attribute for
3445         non-VAR_DECLs without checking DECL_THREAD_LOCAL_P.
3446
3447 2009-02-04  Tobias Grosser  <grosser@fim.uni-passau.de> 
3448
3449         * graphite.c (bb_in_sese_p, sese_build_livein_liveouts_use,
3450         sese_build_livein_liveouts_bb, sese_build_livein_liveouts,
3451         register_bb_in_sese, new_sese, free_sese): Moved.
3452         (dot_scop_1, build_scop_loop_nests, build_loop_iteration_domains,
3453         outermost_loop_in_scop, build_scop_iteration_domain,
3454         expand_scalar_variables_ssa_name, get_vdef_before_scop,
3455         limit_scops): Use bb_in_sese_p instead of bb_in_scop_p.
3456         Use loop_in_sese_p instead of loop_in_scop_p.
3457         (new_graphite_bb, gloog): Do not initialize SCOP_BBS_B.
3458         (new_scop, free_scop): Remove SCOP_LOOP2CLOOG_LOOP and SCOP_BBS_B.
3459         (scopdet_basic_block_info): Fix bug in scop detection.
3460         (new_loop_to_cloog_loop_str, hash_loop_to_cloog_loop,
3461         eq_loop_to_cloog_loop): Remove.
3462         (nb_loops_around_loop_in_scop, nb_loop
3463         ref_nb_loops): Moved here...
3464         * graphite.h (ref_nb_loops): ... from here.
3465         (struct scop): Remove bbs_b bitmap and loop2cloog_loop.
3466         (loop_domain_dim, loop_iteration_vector_dim): Remove.
3467         (SCOP_BBS_B, bb_in_scop_p, loop_in_scop_p): Removed.
3468         * testsuite/gcc.dg/graphite/scop-19.c: New
3469
3470 2009-02-04  Paolo Bonzini  <bonzini@gnu.org>
3471             Hans-Peter Nilsson  <hp@axis.com>
3472
3473         PR rtl-optimization/37889
3474         * rtlanal.c (rtx_addr_can_trap_p_1): Add offset and size arguments.
3475         Move offset handling from PLUS to before the switch.  Use new
3476         arguments when considering SYMBOL_REFs too.
3477         (rtx_addr_can_trap_p): Pass dummy offset and size.
3478         (enum may_trap_p_flags): Remove.
3479         (may_trap_p_1): Pass size from MEM_SIZE.
3480
3481         PR rtl-optimization/38921
3482         * loop-invariant.c (find_invariant_insn): Use may_trap_or_fault_p.
3483         * rtl.h (may_trap_after_code_motion_p): Delete prototype.
3484         * rtlanal.c (may_trap_after_code_motion_p): Delete.
3485         (may_trap_p, may_trap_or_fault_p): Pass 0/1 as flags.
3486
3487 2009-02-04  H.J. Lu  <hongjiu.lu@intel.com>
3488
3489         AVX Programming Reference (January, 2009)
3490         * config/i386/sse.md (*vpclmulqdq): New.
3491
3492 2009-02-04  Jakub Jelinek  <jakub@redhat.com>
3493
3494         PR tree-optimization/38977
3495         PR gcov-profile/38292
3496         * calls.c (special_function_p): Disregard __builtin_ prefix.
3497
3498 2009-02-04  Hariharan Sandanagobalane  <hariharan@picochip.com>
3499
3500         * config/picochip/picochip.c (GO_IF_LEGITIMATE_ADDRESS): Disallow
3501         non-indexable addresses even before reload.
3502
3503 2009-02-03  Joseph Myers  <joseph@codesourcery.com>
3504
3505         PR c/29129
3506         * c-decl.c (grokdeclarator): Mark [*] arrays in field declarators
3507         as having variable size.  Do not give an error for unnamed
3508         parameters with [*] declarators.  Give a warning for type names
3509         with [*] declarators and mark them as variable size.
3510         * c-parser.c (c_parser_sizeof_expression): Do not give an error
3511         for sizeof applied to [*] type names.
3512
3513 2009-02-03  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3514
3515         PR C++/36607
3516         * convert.c (convert_to_integer): Treat OFFSET_TYPE like INTEGER_TYPE.
3517
3518 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
3519
3520         * gcc.c (process_command): Update copyright notice dates.
3521         * gcov.c (print_version): Likewise.
3522         * gcov-dump.c (print_version): Likewise.
3523         * mips-tfile.c (main): Likewise.
3524         * mips-tdump.c (main): Likewise.
3525
3526 2009-02-03  Joseph Myers  <joseph@codesourcery.com>
3527
3528         PR c/35433
3529         * c-typeck.c (composite_type): Set TYPE_SIZE and TYPE_SIZE_UNIT
3530         for composite type involving a zero-length array type.
3531
3532 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
3533
3534         PR target/35318
3535         * function.c (match_asm_constraints_1): Skip over
3536         initial optional % in the constraint.
3537
3538         PR inline-asm/39059
3539         * c-parser.c (c_parser_postfix_expression): If fixed point is not
3540         supported, don't accept FIXED_CSTs.
3541         * c-decl.c (finish_declspecs): Error if fixed point is not supported
3542         and _Sat is used without _Fract/_Accum.  Set specs->type to
3543         integer_type_node for cts_fract/cts_accum if fixed point is not
3544         supported.
3545
3546 2009-02-02  Catherine Moore  <clm@codesourcery.com>
3547
3548         * sde.h (SUBTARGET_ARM_SPEC): Don't assemble -fpic code as -mabicalls.
3549
3550 2009-02-02  Richard Sandiford  <rdsandiford@googlemail.com>
3551
3552         * config/mips/mips.h (FILE_HAS_64BIT_SYMBOLS): New macro.
3553         (ABI_HAS_64BIT_SYMBOLS): Use it.
3554         (DWARF2_ADDR_SIZE): Use it instead of ABI_HAS_64BIT_SYMBOLS.
3555
3556 2009-02-02  Paul Brook  <paul@codesourcery.com>
3557
3558         * config/arm/arm.md (arm_addsi3): Add r/r/k alternative.
3559
3560 2009-02-02  Jakub Jelinek  <jakub@redhat.com>
3561
3562         PR inline-asm/39058
3563         * recog.h (asm_operand_ok): Add constraints argument.
3564         * recog.c (asm_operand_ok): Likewise.  If it is set, for digits
3565         recurse on matching constraint.
3566         (check_asm_operands): Pass constraints as 3rd argument to
3567         asm_operand_ok.  Don't look up matching constraint here.
3568         * stmt.c (expand_asm_operands): Pass NULL as 3rd argument
3569         to asm_operand_ok.
3570
3571 2009-02-02  Ben Elliston  <bje@au.ibm.com>
3572
3573         * doc/tm.texi (Storage Layout): Fix TARGET_ALIGN_ANON_BITFIELD and
3574         TARGET_NARROW_VOLATILE_BITFIELD macro names.
3575
3576 2009-01-31  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3577
3578         * doc/install.texi (hppa*-hp-hpux*): Update binutils and linker
3579         information.  Remove some obsolete information.  Reorganize.
3580
3581         * config/pa/fptr.c: Revert license to GPL 2.
3582         * config/pa/milli64.S: Likewise.
3583
3584 2009-01-31  Dave Korn  <dave.korn.cygwin@gmail.com>
3585
3586         PR target/38904
3587         * mkmap-flat.awk (END):  Use pe_dll command-line arg to pass
3588         LIBRARY name in, instead of hard-coding it.
3589         * config.gcc (i[34567]86-*-pe | i[34567]86-*-cygwin*):  Add an
3590         extra target make frag to tmake_files according to EH model.
3591         (i[34567]86-*-mingw* | x86_64-*-mingw*):  Likewise.
3592         * config/i386/t-dw2-eh, config/i386/t-sjlj-eh:  Add new target
3593         frags that define makefile variable EH_MODEL appropriately.
3594         * config/i386/cygming.h (DWARF2_UNWIND_INFO):  Add comment.
3595         * config/i386/cygwin.h (LIBGCC_EH_EXTN):  Define to nothing or
3596         to "-sjlj" according to type of EH configured.
3597         (LIBGCC_SONAME):  Concatenate it to shared library base name.
3598         * config/i386/mingw32.h (LIBGCC_EH_EXTN):  Define to "_dw2" or
3599         to "_sjlj" according to type of EH configured.
3600         (LIBGCC_SONAME):  Concatenate it to shared library base name.
3601         * config/i386/t-cygming (SHLIB_SONAME):  Use EH_MODEL.
3602         (SHLIB_LINK):  Add missing semicolon to if-else construct.
3603         (SHLIB_MKMAP_OPTS):  Pass library name to mkmap-flat.awk as
3604         string value of "pe_dll" command-line option.
3605         * config/i386/t-cygwin (SHLIB_EH_EXTENSION):  New helper.
3606         (SHLIB_SONAME):  Use it when overriding t-cygming default.
3607         (SHLIB_IMPLIB):  Override t-cygming default.
3608         (SHLIB_MKMAP_OPTS):  Pass library name to mkmap-flat.awk as
3609         string value of "pe_dll" command-line option.
3610
3611 2009-01-31  Dave Korn  <dave.korn.cygwin@gmail.com>
3612
3613         PR target/38952
3614         * config/i386/i386.c (ix86_builtin_setjmp_frame_value): New.
3615         (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Override default to point at it.
3616
3617 2009-01-31  Richard Guenther  <rguenther@suse.de>
3618
3619         PR tree-optimization/38937
3620         * tree-ssa-structalias.c (do_sd_constraint): Do not shortcut
3621         computing the transitive closure.
3622
3623 2009-01-30  Richard Guenther  <rguenther@suse.de>
3624
3625         PR tree-optimization/39041
3626         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
3627         Propagate variable indices only if the types match for this stmt.
3628
3629 2009-01-30  Jakub Jelinek  <jakub@redhat.com>
3630
3631         PR target/39013
3632         * c-decl.c (pop_scope): Set DECL_EXTERNAL for functions declared
3633         inline but never defined.
3634
3635 2009-01-30  Wolfgang Gellerich  <gellerich@de.ibm.com>
3636
3637         * config/s390/s390.md (*insv<mode>_reg_extimm): Removed.
3638         (*insv_h_di_reg_extimm): New insn.
3639         (*insv_l<mode>_reg_extimm): New insn.
3640
3641 2009-01-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
3642
3643         * config/picochip/picochip.c (flag_conserve_stack): set
3644         PARAM_LARGE_STACK_FRAME and PARAM_STACK_FRAME_GROWTH to zero under
3645         fconserve-stack. Reduce call-overhead used by inliner.
3646
3647 2009-01-30  Hariharan Sandanagobalane  <hariharan@picochip.com>
3648
3649         PR/38157
3650         * common.opt (flag_conserve_stack): Initialised to zero.
3651
3652 2009-01-30  Kai Tietz  <kai.tietz@onevision.com>
3653
3654         PR/39002
3655         * config/i386/i386.c (ix86_can_use_return_insn_p): Check for nsseregs.
3656         (ix86_expand_epilogue): Take nsseregs in account to use proper restore
3657         method.
3658
3659 2009-01-29  H.J. Lu  <hongjiu.lu@intel.com>
3660
3661         * ira-color.c (allocno_reload_assign): Update comments.
3662         * regmove.c (regmove_optimize): Likewise.
3663
3664         * ra.h: Removed.
3665
3666 2009-01-29  Robert Millan  <rmh@aybabtu.com>
3667
3668         * gcc/config.gcc: Recognize GNU/kOpenSolaris (*-*-kopensolaris*-gnu).
3669         * gcc/config/i386/kopensolaris-gnu.h: New file.  Undefine
3670         `MD_UNWIND_SUPPORT'.
3671         * gcc/config/kopensolaris-gnu.h: New file (based on kfreebsd-gnu.h).
3672
3673 2009-01-29  Kazu Hirata  <kazu@codesourcery.com>
3674
3675         PR tree-optimization/39007
3676         * tree-loop-distribution.c (generate_builtin): Use
3677         recompute_dominator to compute the immediate dominator of the
3678         basic block just after the loop.
3679
3680 2009-01-29  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
3681
3682         * config/i386/sol2-10.h [!HAVE_AS_IX86_DIFF_SECT_DELTA]
3683         (ASM_OUTPUT_DWARF_PCREL): Define.
3684
3685 2009-01-29  Vladimir Makarov  <vmakarov@redhat.com>
3686
3687         * doc/tm.texi (TARGET_IRA_COVER_CLASSES): Modify description.
3688         * doc/passes.texi: Remove entries about regclass, local-alloc, and
3689         global.  Modify entries about regmove and IRA.
3690
3691         * ra-conflict.c: Remove the file.
3692
3693         * reload.c (push_reload, find_dummy_reload): Remove flag_ira.
3694
3695         * tree-pass.h (pass_local_alloc, pass_global_alloc): Remove.
3696         (pass_regclass_init): Rename to pass_reginfo_init.
3697
3698         * cfgloopanal.c (estimate_reg_pressure_cost): Remove flag_ira.
3699
3700         * toplev.h (flag_ira): Remove.
3701
3702         * caller-save.c (setup_save_areas): Remove flag_ira.
3703
3704         * ira-color.c (ira_reuse_stack_slot, ira_mark_new_stack_slot): Ditto.
3705
3706         * global.c: Remove the file.
3707
3708         * opts.c (decode_options): Remove flag_ira.
3709
3710         * hard-reg-set.h (losing_caller_save_reg_set): Remove.
3711
3712         * regmove.c: Modify file description.
3713         (find_use_as_address, try_auto_increment): Define them only if
3714         AUTO_INC_DEC is defined.
3715         (replacement_quality, replace_in_call_usage, fixup_match_1,
3716         stable_and_no_regs_but_for_p): Remove.
3717         (reg_set_in_bb): Make it static.
3718         (regmove_optimize): Remove flag_ira and code which worked for
3719         !flag_ira.
3720
3721         * local-alloc.c: Remove the file.
3722
3723         * common.opt (fira): Remove.
3724
3725         * ira.c: Include except.h.
3726         (eliminable_regset): Move from global.c.
3727         (mark_elimination): Ditto.  Remove flag_ira.
3728         (reg_renumber, struct equivalence, reg_equiv, equiv_mem,
3729         equiv_mem_modified, validate_equiv_mem_from_store,
3730         validate_equiv_mem, equiv_init_varies_p, equiv_init_movable_p,
3731         contains_replace_regs, memref_referenced_p, memref_used_between_p,
3732         no_equiv, recorded_label_ref): Move from local-alloc.c.
3733         (update_equiv_regs): Ditto.  Make it static.
3734         (print_insn_chain, print_insn_chains): Move it from global.c.
3735         (pseudo_for_reload_consideration_p): Ditto.  Remove flag_ira.
3736         (build_insn_chain): Ditto.  Make it static.
3737         (ra_init_live_subregs): Move from ra-conflict.c.  Make it static.
3738         Rename to init_live_subregs.
3739         (gate_ira): Remove flag_ira.
3740
3741         * regclass.c: Rename reginfo.c.  Change file description.
3742         (FORBIDDEN_INC_DEC_CLASSES): Remove.
3743         (reg_class_superclasses, forbidden_inc_dec_class, in_inc_dec): Remove.
3744         (init_reg_sets_1): Remove code for evaluation of
3745         reg_class_superclasses and losing_caller_save_reg_set.
3746         (init_regs): Remove init_reg_autoinc.
3747         (struct costs, costs, init_cost, ok_for_index_p_nonstrict,
3748         ok_for_base_p_nonstrict): Remove.
3749         (regclass_init): Rename to reginfo_init.  Don't initialize init_cost.
3750         (pass_regclass_init): Rename to pass_reginfo_init.  Modify
3751         corresponding entries.
3752         (dump_regclass, record_operand_costs, scan_one_insn,
3753         init_reg_autoinc, regclass, record_reg_classes, copy_cost,
3754         record_address_regs, auto_inc_dec_reg_p): Remove.
3755         (gt-regclass.h): Rename to gt-reginfo.h.
3756
3757         * rtl.h (dump_global_regs, retry_global_alloc,
3758         build_insn_chain, dump_local_alloc, update_equiv_regs): Remove.
3759
3760         * Makefile.in (RA_H): Remove.
3761         (OBJS-common): Remove global.o, local-alloc.o, and ra-conflict.o.
3762         Rename regclass.o to reginfo.o.
3763         (regclass.o): Rename to reginfo.o.  Rename gt-regclass.h to
3764         gt-reginfo.h.
3765         (global.o, local-alloc.o, ra-conflict.o): Remove entries.
3766         (GTFILES): Rename regclass.c to reginfo.c.
3767
3768         * passes.c (init_optimization_passes): Remove pass_local_alloc and
3769         pass_global_alloc.  Rename pass_regclass_init to pass_reginfo_init.
3770
3771         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
3772         count_spilled_pseudo, find_reg, alter_reg, delete_output_reload):
3773         Remove flag_ira.
3774         (finish_spills): Ditto.  Remove code for !flag_ira.
3775         
3776 2009-01-29  Kenneth Zadeck  <zadeck@naturalbridge.com>
3777
3778         PR middle-end/35854
3779         * doc/invoke.texi (rtl debug options): Complete rewrite.
3780         * auto-inc-dec.c (pass_inc_dec): Rename pass from "auto-inc-dec"
3781         to auto_inc_dec".
3782         * mode-switching.c (pass_mode_switching): Rename pass from
3783         "mode-sw" to "mode_sw".
3784         * except.c (pass_convert_to_eh_ranges): Rename pass from
3785         "eh-ranges" to "eh_ranges".
3786         * lower-subreg.c (pass_lower_subreg): Renamed pass from "subreg"
3787         to "subreg1".
3788                 
3789         
3790 2009-01-29  Andrey Belevantsev  <abel@ispras.ru>
3791             Alexander Monakov  <amonakov@ispras.ru>
3792
3793         PR middle-end/38857
3794         * sel-sched.c (count_occurrences_1): Check that *cur_rtx is a hard
3795         register.
3796         (move_exprs_to_boundary): Change return type and pass through
3797         should_move from move_op.  Relax assert.  Update usage ...
3798         (schedule_expr_on_boundary): ... here.  Use should_move instead of
3799         cant_move.
3800         (move_op_orig_expr_found): Indicate that insn was disconnected from
3801         stream.
3802         (code_motion_process_successors): Do not call after_merge_succs
3803         callback if original expression was not found when traversing any of
3804         the branches.
3805         (code_motion_path_driver): Change return type.  Update prototype.
3806         (move_op): Update comment.  Add a new parameter (should_move).  Update
3807         prototype.  Set *should_move based on indication provided by
3808         move_op_orig_expr_found.
3809
3810 2009-01-28  Pat Haugen  <pthaugen@us.ibm.com>
3811
3812         * doc/invoke.texi (avoid-indexed-addresses): Document new option.
3813         * config/rs6000/rs6000-protos.h (avoiding_indexed_address_p): Declare.
3814         * config/rs6000/rs6000.opt (avoid-indexed-addresses): New option.
3815         * config/rs6000/rs6000.c (rs6000_override_options): Default
3816         avoid-indexed-addresses on for Power6, off for everything else.
3817         (avoiding_indexed_address_p): New function.
3818         (rs6000_legitimize_address): Use it.
3819         (rs6000_legitimate_address): Likewise.
3820         * config/rs6000/rs6000.md (movXX_updateX): Likewise
3821
3822 2009-01-28  Kazu Hirata  <kazu@codesourcery.com>
3823
3824         PR tree-optimization/38997
3825         * tree-loop-distribution.c (generate_memset_zero): Use
3826         POINTER_PLUS_EXPR for a pointer addition.
3827
3828 2009-01-28  Andreas Krebbel  <krebbel1@de.ibm.com>
3829
3830         * config/s390/s390.md (bswap<mode>2): New pattern added.
3831
3832 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
3833
3834         * config/s390/s390.md (*tls_load_31): Added type attribute.
3835
3836 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
3837
3838         * config/s390/s390.md: Fix a few comments.
3839
3840 2009-01-28  Wolfgang Gellerich  <gellerich@de.ibm.com>
3841
3842         * config/s390/s390.md (*tmsi_reg): Fixed z10prop attribute.
3843         (*tm<mode>_full): Fixed z10prop attribute.
3844         (*tst<mode>_extimm): Fixed z10prop attribute.
3845         (*tst<mode>_cconly_extimm): Fixed z10prop attribute.
3846         (*tstqiCCT_cconly): Fixed z10prop attribute.
3847         (*cmpsi_ccu_zerohi_rlsi): Fixed z10prop attribute.
3848         (*movsi_larl): Fixed z10prop attribute.
3849         (*movsi_zarch): Fixed z10prop attribute.
3850         (*movsi_eas): Fixed z10prop attribute.
3851         (*movhi): Fixed z10prop attribute.
3852         (*movqi): Fixed z10prop attribute.
3853         (*movstrictqi): Fixed z10prop attribute.
3854         (*mov<mode>): Fixed z10prop attribute.
3855         (*movcc): Fixed z10prop attribute.
3856         (*sethighpartdi_64): Fixed z10prop attribute.
3857         (*zero_extendhi<mode>2_z10): Fixed z10prop attribute.
3858         (*negdi2_sign_cc): Fixed z10prop attribute.
3859         (*negdi2_sign): Fixed z10prop attribute.
3860         (*absdi2_sign_cc): Fixed z10prop attribute.
3861         (*absdi2_sign): Fixed z10prop attribute.
3862         (*negabsdi2_sign_cc): Fixed z10prop attribute.
3863         (*negabsdi2_sign): Fixed z10prop attribute.
3864         (*cmp_and_trap_signed_int<mode>): Fixed z10prop attribute.
3865         (*cmp_and_trap_unsigned_int<mode>): Fixed z10prop attribute.
3866         (doloop_si64): Fixed z10prop attribute.
3867         (doloop_si31): Fixed z10prop attribute.
3868         (doloop_long): Fixed z10prop attribute.
3869         (indirect_jump): Fixed z10prop attribute.
3870         (nop): Fixed z10prop attribute.
3871         (main_base_64): Fixed z10prop attribute.
3872         (reload_base_64): Fixed z10prop attribute.
3873
3874 2009-01-28  Jakub Jelinek  <jakub@redhat.com>
3875
3876         PR rtl-optimization/38740
3877         * reorg.c (gate_handle_delay_slots): Avoid dbr scheduling
3878         if !optimize.
3879         * config/mips/mips.c (mips_reorg): Likewise.
3880
3881 2009-01-28  Richard Guenther  <rguenther@suse.de>
3882
3883         PR tree-optimization/38926
3884         * tree-ssa-pre.c (add_to_value): Assert we add only expressions
3885         with the correct value id to a value.
3886         (do_regular_insertion): Use the value number of edoubleprime
3887         for the value number of the expr.
3888
3889         Revert
3890         2008-08-21  Richard Guenther  <rguenther@suse.de>
3891
3892         * tree-ssa-pre.c (insert_into_preds_of_block): Before inserting
3893         a PHI ask VN if it is already available.
3894         * tree-ssa-sccvn.h (vn_phi_lookup): Declare.
3895         * tree-ssa-sccvn.c (vn_phi_lookup): Export.
3896
3897 2009-01-28  Jakub Jelinek  <jakub@redhat.com>
3898
3899         PR middle-end/38934
3900         * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
3901         set to varying whenever max has TREE_OVERFLOW set, similarly
3902         for GE_EXPR and GT_EXPR and TREE_OVERFLOW min.
3903
3904 2009-01-28  Richard Guenther  <rguenther@suse.de>
3905
3906         PR middle-end/38908
3907         * tree-ssa.c (warn_uninitialized_var): Do not warn for seemingly
3908         uninitialized aggregate uses in call arguments.
3909
3910 2009-01-28  Paolo Bonzini  <bonzini@gnu.org>
3911
3912         PR tree-optimization/38984
3913         * tree-ssa-structalias.c (get_constraints_for_1): Do not use
3914         the nothing_id variable if -fno-delete-null-pointer-checks.
3915
3916 2009-01-28  Uros Bizjak  <ubizjak@gmail.com>
3917
3918         PR target/38988
3919         * config/i386/i386.md (set_rip_rex64): Wrap operand 1 in label_ref.
3920         (set_got_offset_rex64): Ditto.
3921
3922 2009-01-27  H.J. Lu  <hongjiu.lu@intel.com>
3923
3924         PR target/38941
3925         * doc/extend.texi: Improve local variable with asm reg.
3926
3927 2009-01-27  Adam Nemet  <anemet@caviumnetworks.com>
3928
3929         * c.opt (Wpacked-bitfield-compat): Change init value to -1.
3930         * c-opts.c (c_common_post_options): If -W*packed-bitfield-compat
3931         was not supplied then set warn_packed_bitfield_compat to the
3932         default value of 1.
3933         * stor-layout.c (place_field): Check warn_packed_bitfield_compat
3934         against 1.
3935
3936 2009-01-27  Richard Guenther  <rguenther@suse.de>
3937
3938         PR tree-optimization/38503
3939         * cfgexpand.c (expand_gimple_basic_block): Ignore
3940         GIMPLE_CHANGE_DYNAMIC_TYPE during expansion.
3941         * tree-ssa-structalias.c (set_uids_in_ptset): Do not prune
3942         variables that cannot have TBAA applied.
3943         (compute_points_to_sets): Do not remove GIMPLE_CHANGE_DYNAMIC_TYPE
3944         statements.
3945
3946 2009-01-27  Uros Bizjak  <ubizjak@gmail.com>
3947
3948         PR middle-end/38969
3949         * calls.c (initialize_argument_information): Do not wrap complex
3950         arguments in SAVE_EXPR.
3951
3952 2009-01-26  Andreas Tobler  <a.tobler@schweiz.org>
3953
3954         * config/t-vxworks (LIBGCC2_INCLUDES): Fix typo.
3955         (INSTALL_LIBGCC): Revert typo commit.
3956
3957 2009-01-26  Richard Guenther  <rguenther@suse.de>
3958
3959         PR tree-optimization/38745
3960         * tree-ssa-alias.c (update_alias_info_1): Exclude RESULT_DECL
3961         from special handling.
3962
3963 2009-01-26  Richard Guenther  <rguenther@suse.de>
3964
3965         PR tree-optimization/38745
3966         * tree-ssa.c (execute_update_addresses_taken): Do not include
3967         variables that cannot possibly be a register in not_reg_needs.
3968         Do not clear TREE_ADDRESSABLE on vars that may not become
3969         registers.
3970         * tree-ssa.c (update_alias_info_1): Include those in the set
3971         of addressable vars.
3972
3973 2009-01-26  Richard Guenther  <rguenther@suse.de>
3974
3975         PR middle-end/38851
3976         * Makefile.in (tree-ssa-dse.o): Add langhooks.h.
3977         * tree-ssa-dse.c: Include langhooks.h
3978         (execute_simple_dse): Remove stores with zero size.
3979
3980 2009-01-24  Jakub Jelinek  <jakub@redhat.com>
3981
3982         PR c/38957
3983         * c-typeck.c (c_finish_return): Handle POINTER_PLUS_EXPR the same way
3984         as PLUS_EXPR.
3985
3986 2009-01-24  Julian Brown  <julian@codesourcery.com>
3987
3988         * config/arm/t-linux-eabi (LIB2FUNCS_STATIC_EXTRA): Add
3989         config/arm/linux-atomic.c.
3990         * config/arm/linux-atomic.c: New.
3991
3992 2009-01-24  Eric Botcazou  <ebotcazou@adacore.com>
3993
3994         * config/sparc/linux.h (DBX_REGISTER_NUMBER): Delete.
3995         * config/sparc/linux64.h (DBX_REGISTER_NUMBER): Likewise.
3996         * config/sparc/sysv4.h (DBX_REGISTER_NUMBER): Likewise.
3997
3998 2009-01-24  H.J. Lu  <hongjiu.lu@intel.com>
3999
4000         PR c/38938
4001         * c-opts.c (c_common_handle_option): Update warn_pointer_sign
4002         properly.
4003
4004 2009-01-24  Sebastian Pop  <sebastian.pop@amd.com>
4005
4006         PR tree-optimization/38953
4007         * graphite.c (graphite_verify): Add a call to verify_loop_closed_ssa.
4008         (scop_adjust_phis_for_liveouts): Initialize false_i to zero.
4009         (gloog): Split the exit of the scop when the scop exit is a loop exit.
4010         (graphite_transform_loops): Only call cleanup_tree_cfg if gloog
4011         changed the CFG.
4012
4013 2009-01-24  Paul Brook  <paul@codesourcery.com>
4014
4015         * config/arm/neon.md (neon_type): Move to arm.md.
4016         (neon_mov<VSTRUCT>): Add neon_type attribute.
4017         * config/arm/arm.md (neon_type): Move to here.
4018         (conds): Add "unconditioal" and use as default for NEON insns.
4019
4020 2009-01-24  Ben Elliston  <bje@au.ibm.com>
4021
4022         * bitmap.h (BITMAP_FREE): Eliminate `implicit conversion from
4023         void *' warning from -Wc++-compat.
4024         * Makefile.in (dominance.o-warn): Remove.
4025
4026 2009-01-23  Paolo Bonzini  <bonzini@gnu.org>
4027
4028         PR tree-optimization/38932
4029         * fold-const.c (fold_unary_ignore_overflow): New.
4030         * tree.h (fold_unary_ignore_overflow): Declare.
4031         * tree-ssa-ccp.c (ccp_fold): Use fold_unary_ignore_overflow.
4032         * tree-ssa-sccvn.c (visit_reference_op_load,
4033         simplify_unary_expression): Likewise.
4034
4035 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
4036
4037         * c-decl.c (finish_struct): Move code to set DECL_PACKED after
4038         DECL_BIT_FIELD is alreay known.  Also inherit packed for bitfields
4039         regardless of their type.
4040         * c-common.c (handle_packed_attribute): Don't ignore packed on
4041         bitfields.
4042         * c.opt (Wpacked-bitfield-compat): New warning option.
4043         * stor-layout.c (place_field): Warn if offset of a field changed.
4044         * doc/extend.texi (packed): Mention the ABI change.
4045         * doc/invoke.texi (-Wpacked-bitfield-compat): Document.
4046         (Warning Options): Add it to the list.
4047
4048 2009-01-22  H.J. Lu  <hongjiu.lu@intel.com>
4049
4050         * c-opts.c (c_common_post_options): Fix a typo in comments.
4051
4052 2009-01-22  Steve Ellcey  <sje@cup.hp.com>
4053
4054         PR middle-end/38615
4055         * gimplify.c (gimplify_init_constructor): Fix promotion of const
4056         variables to static.
4057         * doc/invoke.texi (-fmerge-all-constants): Update description.
4058
4059 2009-01-22  Uros Bizjak  <ubizjak@gmail.com>
4060
4061         PR target/38931
4062         * config/i386/i386.md (*movsi_1): Use type "mmx" for alternative 2.
4063         (*movdi_1_rex64): Use type "mmx" for alternative 5.
4064
4065 2009-01-22  Richard Earnshaw  <rearnsha@arm.com>
4066
4067         * arm.h (DATA_ALIGNMENT): Align structures, unions and arrays to
4068         a word boundary.
4069         (LOCAL_ALIGNMENT): Similarly.
4070
4071 2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
4072             Joseph Myers  <joseph@codesourcery.com>
4073
4074         * config/arm/arm.c (all_architectures): Add iWMMXt2 entry.
4075         * config/arm/arm-cores.def: New ARM_CORE entry for iWMMXt2.
4076         * config/arm/arm-tune.md: Regenerate.
4077         * doc/invoke.texi (ARM Options): Document -mcpu=iwmmxt2 and
4078         -march=iwmmxt2.
4079
4080 2009-01-22  Mark Shinwell  <shinwell@codesourcery.com>
4081
4082         * config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Bump EABI
4083         version number to five.
4084
4085 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
4086
4087         PR c++/38930
4088         * c-decl.c (clone_underlying_type): Revert PR c++/26693 changes.
4089         * c-common.c (set_underlying_type): Likewise.
4090         (is_typedef_decl ): Likewise
4091         * tree.h: Likewise
4092         (set_underlying_type): Likewise.
4093         (is_typedef_type): Likewise.
4094
4095 2009-01-21  Vladimir Makarov  <vmakarov@redhat.com>
4096
4097         PR middle-end/38587
4098         * ira-color.c (coalesce_spill_slots): Don't coalesce allocnos
4099         crossing setjmps.
4100
4101 2009-01-21  Dave Korn  <dave.korn.cygwin@gmail.com>
4102
4103         PR bootstrap/37660
4104         * config/i386/cygwin.h (SHARED_LIBGCC_SPEC):  New helper macro.
4105         (LIBGCC_SPEC):  Don't define.
4106         (REAL_LIBGCC_SPEC):  Define instead, using SHARED_LIBGCC_SPEC.
4107
4108 2009-01-21  Uros Bizjak  <ubizjak@gmail.com>
4109
4110         PR rtl-optimization/38879
4111         * alias.c (base_alias_check): Unaligned access via AND address can
4112         alias all surrounding object types except those with sizes equal
4113         or wider than the size of unaligned access.
4114
4115 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
4116
4117         PR c++/26693
4118         * c-decl.c (clone_underlying_type): Move this ...
4119         * c-common.c (set_underlying_type): ... here.
4120         Also, make sure the function properly sets TYPE_STUB_DECL() on
4121         the newly created typedef variant type.
4122         (is_typedef_decl ): New entry point.
4123         * tree.h: Added a new member member_types_needing_access_check to
4124         struct tree_decl_non_common.
4125         (set_underlying_type): New entry point.
4126         (is_typedef_type): Likewise.
4127
4128 2009-01-21  Bingfeng Mei  <bmei@broadcom.com>
4129
4130         * alias.c (walk_mems_1, walk_mems_2, insn_alias_sets_conflict_p):
4131         Check whether two instructions have memory references that
4132         belong to conflicting alias sets.  walk_mems_1 and walk_mems_2
4133         are helper functions for traversing.
4134         * alias.h (insn_alias_sets_confilict_p): New prototypes.
4135         * ddg.c (add_inter_loop_mem_dep): Call insn_alias_sets_conflict_p
4136         not to draw dependency edge for instructions with non-conflicting
4137         alias sets.
4138
4139 2009-01-20  Joseph Myers  <joseph@codesourcery.com>
4140
4141         PR other/38758
4142         * longlong.h: Update copyright years.  Use soft-fp license notice.
4143         Sync __clz_tab declaration with glibc.
4144
4145 2009-01-20  Steve Ellcey  <sje@cup.hp.com>
4146
4147         PR target/30687
4148         * doc/extend.texi (syscall_linkage): New.
4149         (version_id): Modify.
4150
4151 2009-01-20  Andrew Pinski  <andrew_pinski@playstation.sony.com>
4152             Richard Guenther  <rguenther@suse.de>
4153
4154         PR tree-optimization/38747
4155         PR tree-optimization/38748
4156         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Disable the VCE
4157         conversion if the base address is an indirect reference and the
4158         aliasing sets could cause issues.
4159
4160 2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>
4161
4162         * common.opt (fgraphite, fgraphite-identity): Add comment for 
4163         explaining why these options are not documented.
4164
4165 2009-01-20  Sebastian Pop  <sebastian.pop@amd.com>
4166
4167         * graphite.c (stmt_simple_for_scop_p): Also handle cases when
4168         gimple_call_lhs is NULL.
4169
4170 2009-01-20  Paolo Bonzini  <bonzini@gnu.org>
4171
4172         PR target/38868
4173         * emit-rtl.c (adjust_address_1): Make sure memref is never
4174         overwritten.
4175
4176 2009-01-20  Ben Elliston  <bje@au.ibm.com>
4177
4178         * libgcov.c (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
4179         const qualifier from arg parameter. Remove unnecessary cast to char *.
4180         * gcov-io.h (__gcov_execl, __gcov_execlp, __gcov_execle): Remove
4181         const qualifier from arg 2.
4182
4183 2009-01-19  Iain Sandoe  <iain.sandoe@sandoe-acoustics.co.uk>
4184
4185         * config/darwin.h: Add static-libgfortran to LINK_SPEC.
4186
4187 2009-01-19  Vladimir Makarov  <vmakarov@redhat.com>
4188
4189         PR c/38869
4190         * rtl.h (reinit_regs): New prototype.
4191         * regclass.c: Include ira.h.
4192         (reinit_regs): New.
4193         * Makefile.in (regclass.o): Add ira.h.
4194         * config/i386/i386.c (ix86_maybe_switch_abi): Use reinit_regs.
4195
4196 2009-01-18  H.J. Lu  <hongjiu.lu@intel.com>
4197
4198         PR target/38736
4199         * c-common.c (handle_aligned_attribute): Use
4200         ATTRIBUTE_ALIGNED_VALUE instead of BIGGEST_ALIGNMENT for
4201         default alignment value.
4202
4203         * c-cppbuiltin.c (c_cpp_builtins): Define __BIGGEST_ALIGNMENT__.
4204
4205         * defaults.h (ATTRIBUTE_ALIGNED_VALUE): New.
4206         * config/i386/i386.h (ATTRIBUTE_ALIGNED_VALUE): Likewise.
4207
4208         * doc/extend.texi: Update __attribute__ ((aligned)).  Document
4209         __BIGGEST_ALIGNMENT__.
4210
4211         * doc/tm.texi: Document ATTRIBUTE_ALIGNED_VALUE.
4212
4213 2009-01-18  Richard Guenther  <rguenther@suse.de>
4214
4215         PR tree-optimization/38819
4216         * tree-flow.h (operation_could_trap_helper_p): Declare.
4217         * tree-eh.c (operation_could_trap_helper_p): Export.
4218         * tree-ssa-sccvn.h (vn_nary_may_trap): Declare.
4219         * tree-ssa-sccvn.c (vn_nary_may_trap): New function.
4220         * tree-ssa-pre.c (insert_into_preds_of_block): Check if we
4221         are about to insert a possibly trapping instruction and fail
4222         in this case.
4223
4224 2009-01-18  Andreas Schwab  <schwab@suse.de>
4225
4226         * doc/install.texi (Configuration): Remove obsolete paragraph
4227         about use of --with-gnu-ld with --with-gnu-as.
4228
4229 2009-01-18  Kazu Hirata  <kazu@codesourcery.com>
4230
4231         * doc/extend.texi, doc/gimple.texi, doc/invoke.texi,
4232         doc/md.texi, doc/sourcebuild.texi, doc/tm.texi: Fix typos.
4233         Follow spelling conventions.
4234
4235 2009-01-18  Ben Elliston  <bje@au.ibm.com>
4236
4237         * bitmap.c (bitmap_obstack_alloc_stat): Adjust cast to eliminate
4238         C++ warning about implicit conversion from void * to struct
4239         bitmap_head_def *.
4240         (bitmap_obstack_free): Likewise for bitmap_element *.
4241         * Makefile.in (bitmap.o-warn): Remove.
4242
4243 2009-01-17  Dave Korn  <dave.korn.cygwin@gmail.com>
4244
4245         * Makefile.in (BACKENDLIBS):  Reorder to match dependencies.
4246
4247 2009-01-17  Sebastian Pop  <sebastian.pop@amd.com>
4248             Tobias Grosser  <tobi.grosser@amd.com>
4249
4250         * graphite.c (graphite_trans_scop_block): Do not block single
4251         nested loops.
4252
4253 2009-01-16  Alexandre Oliva  <aoliva@redhat.com>
4254
4255         * ebitmap.h (ebitmap_iter_init): Initialize all fields.
4256         * ipa-struct-reorg.c (gen_struct_type): Replace known-true
4257         test with assertion.
4258
4259 2009-01-16  Richard Guenther  <rguenther@suse.de>
4260
4261         PR tree-optimization/38835
4262         PR middle-end/36227
4263         * fold-const.c (fold_binary): Remove PTR + INT -> (INT)(PTR p+ INT)
4264         and INT + PTR -> (INT)(PTR p+ INT) folding.
4265         * tree-ssa-address.c (create_mem_ref): Properly use POINTER_PLUS_EXPR.
4266
4267 2009-01-16  Adam Nemet  <anemet@caviumnetworks.com>
4268
4269         PR target/38554
4270         * expmed.c (expand_shift): With SHIFT_COUNT_TRUNCATED, don't lift
4271         the subreg from a lowpart subreg if it is also casting the value.
4272
4273 2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
4274             Tobias Grosser  <tobi.grosser@amd.com>
4275
4276         * graphite.c (compare_prefix_loops): New.
4277         (build_scop_canonical_schedules): Rewritten.
4278         (graphite_transform_loops): Move build_scop_canonical_schedules
4279         after build_scop_iteration_domain.
4280
4281 2009-01-16  Sebastian Pop  <sebastian.pop@amd.com>
4282             Tobias Grosser  <tobi.grosser@amd.com>
4283
4284         * graphite.c (add_conditions_to_domain): Add the loops to 
4285         the dimension of the iteration domain.  Do copy the domain
4286         only when it exists.
4287         (build_scop_conditions_1): Do not call add_conditions_to_domain.
4288         (add_conditions_to_constraints): New.
4289         (can_generate_code_stmt, can_generate_code): Removed.
4290         (gloog): Do not call can_generate_code.
4291         (graphite_transform_loops): Call add_conditions_to_constraints
4292         after building the iteration domain.
4293
4294 2009-01-16  Jakub Jelinek  <jakub@redhat.com>
4295
4296         PR tree-optimization/38789
4297         * tree-ssa-threadedge.c
4298         (record_temporary_equivalences_from_stmts_at_dest): Ignore calls to
4299         __builtin_constant_p.
4300
4301 2009-01-16  Kenneth Zadeck  <zadeck@naturalbridge.com>
4302
4303         * dce.c (delete_unmarked_insns): Reversed the order that insns are
4304         examined before deleting them.
4305         
4306 2009-01-16  Richard Earnshaw  <rearnsha@arm.com>
4307
4308         * function.c (aggregate_value_p): Correctly extract the function
4309         type from CALL_EXPR_FN lookup.
4310
4311 2009-01-16  Hariharan Sandanagobalane  <hariharan@picochip.com>
4312
4313         * config/picochip/picochip.c (picochip_override_options): Revert
4314         CFI asm flag disable commited previously.
4315
4316 2009-01-15  Sebastian Pop  <sebastian.pop@amd.com>
4317             Tobias Grosser  <tobi.grosser@amd.com>
4318             Jan Sjodin  <jan.sjodin@amd.com>
4319
4320         * graphite.c (scan_tree_for_params): On substractions negate
4321         all the coefficients of the term.
4322         (clast_to_gcc_expression_red): New.  Handle reduction expressions
4323         of more than two operands.
4324         (clast_to_gcc_expression): Call clast_to_gcc_expression_red.
4325         (get_vdef_before_scop): Handle also the case of default definitions.
4326
4327 2009-01-15  Richard Sandiford  <rdsandiford@googlemail.com>
4328
4329         * caller-save.c (add_used_regs_1, add_used_regs): New functions.
4330         (insert_one_insn): Use them instead of REG_DEAD and REG_INC notes.
4331         Also use them when walking CALL_INSN_FUNCTION_USAGE.
4332
4333 2009-01-15  H.J. Lu  <hongjiu.lu@intel.com>
4334             Joey Ye  <joey.ye@intel.com>
4335
4336         PR middle-end/37843
4337         * cfgexpand.c (expand_stack_alignment): Don't update stack
4338         boundary nor check incoming stack boundary here.
4339         (gimple_expand_cfg): Update stack boundary and check incoming
4340         stack boundary here.
4341
4342 2009-01-15  Kenneth Zadeck  <zadeck@naturalbridge.com>
4343
4344         * dce.c (find_call_stack_args, delete_unmarked_insns): Fixed comments.
4345         
4346 2009-01-14  Jakub Jelinek  <jakub@redhat.com>
4347
4348         PR rtl-optimization/38245
4349         * calls.c (expand_call): Add stack arguments to
4350         CALL_INSN_FUNCTION_USAGE even for pure calls (when
4351         ACCUMULATE_OUTGOING_ARGS) and even for args partially passed
4352         in regs and partially in memory or BLKmode arguments.
4353         (emit_library_call_value_1): Add stack arguments to
4354         CALL_INSN_FUNCTION_USAGE even for pure calls (when
4355         ACCUMULATE_OUTGOING_ARGS).
4356         * dce.c: Include tm_p.h.
4357         (find_call_stack_args): New function.
4358         (deletable_insn_p): Call it for CALL_P insns.  Add ARG_STORES
4359         argument.
4360         (mark_insn): Call find_call_stack_args for CALL_Ps.
4361         (prescan_insns_for_dce): Walk insns backwards in bb rather than
4362         forwards.  Allocate and free arg_stores bitmap if needed, pass it
4363         down to deletable_insn_p, don't mark stores set in arg_stores
4364         bitmap, clear the bitmap at the beginning of each bb.
4365         * Makefile.in (dce.o): Depend on $(TM_P_H).
4366
4367 2009-01-14  Michael Meissner  <gnu@the-meissners.org>
4368
4369         PR target/22599
4370         * config/i386/i386.c (print_operand): Add tests for 'D', 'C', 'F', 'f'
4371         to make sure the insn is a conditional test (bug 22599).  Reformat a
4372         few long lines.
4373
4374 2009-01-14  Sebastian Pop  <sebastian.pop@amd.com>
4375
4376         PR middle-end/38431
4377         * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New.
4378         (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi.
4379         (gloog): Do not call cleanup_tree_cfg.
4380         (graphite_transform_loops): Call cleanup_tree_cfg after all 
4381         scops have been code generated.
4382
4383 2009-01-14  Basile Starynkevitch  <basile@starynkevitch.net>
4384         * doc/gty.texi (Invoking the garbage collector): Added new node
4385         and section documenting ggc_collect.
4386
4387 2009-01-14  Richard Guenther  <rguenther@suse.de>
4388
4389         PR tree-optimization/38826
4390         PR middle-end/38477
4391         * tree-ssa-structalias.c (emit_alias_warning): Emit the pointer
4392         initialization notes only if we actually emitted a warning.
4393         (intra_create_variable_infos): Add constraints for a result decl
4394         that is passed by hidden reference.
4395         (build_pred_graph): Mark all related variables non-direct on
4396         address-taking.
4397
4398 2009-01-14  Nick Clifton  <nickc@redhat.com>
4399
4400         * ira-conflicts.c: Include addresses.h for the definition of
4401         base_reg_class.
4402         (ira_build_conflicts): Use base_reg_class instead of BASE_REG_CLASS.
4403         * Makefile.in: Add a dependency of ira-conflicts.o on addresses.h.
4404
4405 2009-01-13  Vladimir Makarov  <vmakarov@redhat.com>
4406
4407         PR target/38811
4408         * Makefile.in (ira-lives.o): Add except.h.
4409
4410         * ira-lives.c: Include except.h.
4411         (process_bb_node_lives): Process can_throw_internal.
4412
4413 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
4414
4415         PR rtl-optimization/38774
4416         * combine.c (simplify_set): When undoing cc_use change, don't do
4417         PUT_CODE on the newly created comparison, but instead put back the
4418         old comparison.
4419
4420 2009-01-13  Joseph Myers  <joseph@codesourcery.com>
4421
4422         * doc/invoke.texi (ARM Options): Update lists of -mcpu and -march
4423         values.  Remove duplicate arm8 entry.
4424
4425 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
4426
4427         PR tree-optimization/38786
4428         * graphite.c (expand_scalar_variables_ssa_name): New, outlined from
4429         the SSA_NAME case of expand_scalar_variables_expr.
4430         Set the type of an expression to the type of its assign statement.
4431         (expand_scalar_variables_expr): Also gather the scalar computation
4432         used to index the memory access.  Do not pass loop_p.
4433         Fix comment.  Stop recursion on tcc_constant or tcc_declaration.
4434         (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr
4435         the gimple_stmt_iterator where it inserts new code.
4436         Do not pass loop_p.
4437         (copy_bb_and_scalar_dependences): Do not pass loop_p.
4438         (translate_clast): Update call to copy_bb_and_scalar_dependences.
4439
4440 2009-01-13  Sebastian Pop  <sebastian.pop@amd.com>
4441
4442         * graphite.h (debug_value): Removed.
4443         * graphite.c (debug_value): Removed.
4444
4445 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
4446
4447         * config/arm/arm.c (output_move_double): Don't synthesize thumb-2
4448         ldrd/strd with two 32-bit instructions.
4449
4450 2009-01-13  Richard Earnshaw  <rearnsha@arm.com>
4451
4452         * config/arm/arm.c (struct processors): Pass for speed down into
4453         cost helper functions.
4454         (const_ok_for_op): Handle COMPARE and inequality nodes.
4455         (arm_rtx_costs_1): Rewrite.
4456         (arm_size_rtx_costs): Update prototype.
4457         (arm_rtx_costs): Pass speed down to helper functions.
4458         (arm_slowmul_rtx_costs): Rework cost calculations.
4459         (arm_fastmul_rtx_costs, arm_xscale_rtx_costs): Likewise.
4460         (arm_9e_rtx_costs): Likewise.
4461
4462 2009-01-13  Uros Bizjak  <ubizjak@gmail.com>
4463
4464         * config/alpha/alpha.c (alpha_legitimate_address_p): Explicit
4465         relocations of local symbols wider than UNITS_PER_WORD are not valid.
4466         (alpha_legitimize_address): Do not split local symbols wider than
4467         UNITS_PER_WORD into HIGH/LO_SUM parts.
4468
4469 2009-01-13  Danny Smith  <dannysmith@users.sourceforge.net>
4470
4471         PR bootstrap/38580
4472         * gcc.c (process_command): Replace call to execvp with calls
4473         to pex_one and exit.
4474
4475 2009-01-03  Anatoly Sokolov  <aesok@post.ru>
4476
4477         PR target/29141
4478         * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm.
4479         * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add
4480         variant for devices with 3-byte PC.
4481         (__tablejump_elpm__): New.
4482
4483 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
4484
4485         PR c/32041
4486         * c-parser.c (c_parser_postfix_expression): Allow `->' in
4487         offsetof member-designator, handle it as `[0].'.
4488
4489 2009-01-12  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4490
4491         * pa.c (pa_asm_output_mi_thunk): Use pc-relative branch to thunk
4492         function when not using named sections on targets with named sections
4493         if branch distance is less than 262132.
4494
4495 2009-01-12  Richard Earnshaw  <rearnsha@arm.com>
4496
4497         * combine.c (combine_instructions):  Recompute
4498         optimize_this_for_speed_p  for each BB in the main combine loop.
4499
4500 2009-01-12  Tomas Bily  <tbily@suse.cz>
4501
4502         PR middlend/38385
4503         * tree-loop-distribution.c (prop_phis): New function.
4504         (generate_builtin): Call prop_phis.
4505         * testsuite/gcc.dg/tree-ssa/pr38385.c: New file.
4506
4507 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
4508
4509         PR tree-optimization/38807
4510         * tree-ssa-reassoc.c (remove_visited_stmt_chain): Don't look at
4511         gimple_visited_p unless stmt is GIMPLE_ASSIGN.
4512
4513 2009-01-11  Adam Nemet  <anemet@caviumnetworks.com>
4514
4515         * expmed.c (store_bit_field_1): Properly truncate the paradoxical
4516         subreg of op0 to the original op0.
4517
4518 2009-01-11  Laurent GUERBY  <laurent@guerby.net>
4519
4520         * doc/sourcebuild.texi (Source Tree): Move up intl and fixinc.
4521         
4522 2009-01-11  Markus Schoepflin  <markus.schoepflin@comsoft.de>
4523
4524         PR debug/7055
4525         * gcc/mips-tfile.c (parse_def): Fix parsing of def strings
4526         starting with digits.
4527
4528 2009-01-10  Jakub Jelinek  <jakub@redhat.com>
4529
4530         PR target/38695
4531         * config/arm/arm.c (arm_is_long_call_p): Don't call
4532         arm_function_in_section_p if decl isn't a FUNCTION_DECL.
4533
4534 2009-01-09  Steven Bosscher  <steven@gcc.gnu.org>
4535
4536         * regrename.c (regrename_optimize): Fix dumping.
4537         (find_oldest_value_reg): Preserve REG_POINTER.
4538         (copy_hardreg_forward_1): Likewise.
4539
4540 2009-01-09  Diego Novillo  <dnovillo@google.com>
4541
4542         * gimple.h (struct gimple_statement_base) <uid>: Document
4543         the restrictions on its use.
4544         (gimple_uid): Tidy.
4545         (gimple_set_uid): Tidy.
4546
4547 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
4548
4549         * config/i386/i386.c (ix86_expand_movmem, ix86_expand_setmem): Add
4550         zero guard even if align_bytes != 0 and count is smaller than
4551         size_needed.
4552
4553 2009-01-09  Vladimir Makarov  <vmakarov@redhat.com>
4554
4555         PR rtl-optimization/38495
4556         * ira-emit.c (print_move_list, ira_debug_move_list): New functions.
4557         (add_range_and_copies_from_move_list): Print all added ranges.
4558         Add ranges to memory optimized destination.
4559
4560 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
4561
4562         PR target/38686
4563         PR target/38708
4564         * config/i386/i386.c (override_options): Reject
4565         -mstringop-strategy=rep_8byte with -m32.
4566         (ix86_expand_movmem): For size_needed == 1 set epilogue_size_needed
4567         to 1.  Do count comparison against epilogue_size_needed at compile
4568         time even when count_exp was constant forced into register.  For
4569         size_needed don't jump to epilogue, instead just avoid aligning
4570         and invoke the body algorithm.  If need_zero_guard, add zero guard
4571         even if count is non-zero, but smaller than size_needed + number of
4572         bytes that could be stored for alignment.
4573         (ix86_expand_setmem): For size_needed == 1 set epilogue_size_needed
4574         to 1.  If need_zero_guard, add zero guard even if count is non-zero,
4575         but smaller than size_needed + number of bytes that could be stored
4576         for alignment.  Compare size_needed with epilogue_size_needed instead
4577         of desired_align - align, don't adjust size_needed, pass
4578         epilogue_size_needed to the epilogue expanders.
4579
4580         PR c/35742
4581         * c-pretty-print.c (pp_c_expression): Handle GOTO_EXPR like BIND_EXPR.
4582
4583 2009-01-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4584
4585         * pa.c (last_address): Change to unsigned.
4586         (update_total_code_bytes): Change argument to unsigned.  Don't
4587         check if insn addresses are set.
4588         (pa_output_function_epilogue): Set last_address to UINT_MAX if insn
4589         addresses are not set.
4590         (pa_asm_output_mi_thunk): Handle wrap when updating last_address.
4591
4592 2009-01-09  Nick Clifton  <nickc@redhat.com>
4593
4594         * config/sh/symbian.c: Replace uses of DECL_INLINE with
4595         DECL_DECLARED_INLINE_P.
4596
4597 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
4598
4599         PR middle-end/38347
4600         * dojump.c (do_jump_by_parts_zero_rtx): Use mode instead of
4601         GET_MODE (op0) in operand_subword_force calls.
4602
4603         PR middle-end/38771
4604         * fold-const.c (fold_unary): For COMPOUND_EXPR and COND_EXPR,
4605         fold_convert arg0 operands to TREE_TYPE (op0) first.
4606
4607 2009-01-08  Vladimir Makarov  <vmakarov@redhat.com>
4608
4609         * params.def (ira-max-conflict-table-size): Decrease default value
4610         to 1000.
4611
4612 2009-01-08  Jakub Jelinek  <jakub@redhat.com>
4613
4614         PR tree-optimization/37031
4615         * lambda-code.c (lambda_collect_parameters): Call pointer_set_destroy
4616         on parameter_set.
4617         (build_access_matrix): Reserve correct size for AM_MATRIX vector,
4618         allocate it using gc instead of heap, use VEC_quick_push instead of
4619         VEC_safe_push.
4620         * graphite.c (build_access_matrix): Allocate AM_MATRIX vector using gc
4621         instead of heap, use VEC_quick_push instead of VEC_safe_push.
4622         * tree-data-ref.h (struct access_matrix): Change matrix to gc
4623         allocated vector from heap allocated.
4624         * lambda.h: Add DEF_VEC_ALLOC_P for gc allocated lambda_vector.
4625         * tree-loop-linear.c (linear_transform_loops): Allocate nest
4626         vector only after perfect_loop_nest_depth call.
4627
4628 2009-01-08  Sebastian Pop  <sebastian.pop@amd.com>
4629             Jan Sjodin  <jan.sjodin@amd.com>
4630
4631         PR tree-optimization/38559
4632         * graphite.c (debug_value, copy_constraint,
4633         swap_constraint_variables, scale_constraint_variable, ): New.
4634         (get_lower_bound, get_upper_bound): Removed.
4635         (graphite_trans_bb_strip_mine): Clean up this code that works
4636         only for constant number of iterations.  Fully copy upper and
4637         lower bound constraints, not only the constant part of them.
4638         * graphite.h (debug_value): Declared.
4639
4640 2009-01-08  Ira Rosen  <irar@il.ibm.com>
4641
4642         PR tree-optimization/37194
4643         * tree-vect-transform.c (vect_estimate_min_profitable_iters):
4644         Don't add the cost of cost model guard in prologue to scalar 
4645         outside cost in case of known number of iterations.
4646
4647 2009-01-07  Nathan Froyd  <froydnj@codesourcery.com>
4648             Alan Modra  <amodra@bigpond.net.au>
4649
4650         * config/rs6000/rs6000.c (rs6000_legitimize_address): Check for
4651         non-word-aligned REG+CONST addressing.
4652
4653 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
4654
4655         PR target/38706
4656         * config/alpha/alpha.c (alpha_end_function): For TARGET_ABI_OSF, call
4657         free_after_compilation when outputting a thunk.
4658         (alpha_output_mi_thunk_osf): Assert that we are processing a thunk.
4659         Do not call free_after_compilation here.
4660
4661 2009-01-07  Uros Bizjak  <ubizjak@gmail.com>
4662
4663         * config/i386/i386.c (ix86_target_string): Use ARRAY_SIZE.
4664         (ix86_valid_target_attribute_inner_p): Ditto.
4665
4666 2009-01-07  Jan Sjodin  <jan.sjodin@amd.com>
4667
4668         PR tree-optimization/38492
4669         PR tree-optimization/38498
4670         * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
4671         * tree-chrec.h (scev_is_linear_expression): Declared.
4672         * graphite.c (graphite_cannot_represent_loop_niter): New.
4673         (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
4674         (graphite_loop_normal_form): Use gcc_assert.
4675         (scan_tree_for_params): Use CASE_CONVERT.
4676         (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
4677         (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
4678         Use gcc_assert.  Discard scops that contain unhandled cases.
4679         (build_scop_conditions): Return a boolean status for unhandled cases.
4680         (strip_mine_profitable_p): Print the loop number, not its depth.
4681         (is_interchange_valid): Pass the depth of the loop nest, don't
4682         recompute it wrongly.
4683         (graphite_trans_bb_block): Same.
4684         (graphite_trans_bb_block): Print tentative of loop blocking.
4685         (graphite_trans_scop_block): Do not print that the loop has been
4686         blocked.
4687         (graphite_transform_loops): Do not handle scops that contain condition
4688         scalar phi nodes.
4689
4690 2009-01-07  H.J. Lu  <hongjiu.lu@intel.com>
4691
4692         AVX Programming Reference (December, 2008)
4693         * config/i386/avxintrin.h (_mm256_stream_si256): New.
4694         (_mm256_stream_pd): Likewise.
4695         (_mm256_stream_ps): Likewise.
4696
4697         * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVNTDQ256,
4698         IX86_BUILTIN_MOVNTPD256 and IX86_BUILTIN_MOVNTPS256.
4699         (ix86_special_builtin_type): Add VOID_FTYPE_PV4DI_V4DI.
4700         (bdesc_special_args): Add __builtin_ia32_movntdq256,
4701         __builtin_ia32_movntpd256 and __builtin_ia32_movntps256.
4702         (ix86_init_mmx_sse_builtins): Handle VOID_FTYPE_PV4DI_V4DI.
4703         (ix86_expand_special_args_builtin): Likewise.
4704
4705         * config/i386/sse.md (AVXMODEDI): New.
4706         (avx_movnt<mode>): Likewise.
4707         (avx_movnt<mode>): Likewise.
4708         (<sse>_movnt<mode>): Remove AVX support.
4709         (sse2_movntv2di): Likewise.
4710
4711 2009-01-07  Richard Guenther  <rguenther@suse.de>
4712
4713         PR middle-end/38751
4714         * fold-const.c (extract_muldiv): Remove obsolete comment.
4715         (fold_plusminus_mult_expr): Undo MINUS_EXPR
4716         to PLUS_EXPR canonicalization for the canonicalization.
4717
4718 2009-01-07  Gerald Pfeifer  <gerald@pfeifer.com>
4719
4720         * doc/install.texi (alpha*-dec-osf*): Remove note on 32-bit
4721         hosted cross-compilers generating less efficient code.
4722
4723 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
4724
4725         * function.h (rtl_data): Add a dbr_scheduled_p field.
4726         * reorg.c (dbr_schedule): Set it.
4727         (gate_handle_delay_slots): Check it.
4728         * config/mips/mips.c (mips_base_delayed_branch): Delete.
4729         (mips_reorg): Check flag_delayed_branch instead of
4730         mips_base_delayed_branch.
4731         (mips_override_options): Don't set mips_base_delayed_branch
4732         or flag_delayed_branch.
4733
4734 2009-01-06  Richard Sandiford  <rdsandiford@googlemail.com>
4735
4736         PR rtl-optimization/38426.
4737         * ira.c (ira): Set current_function_is_leaf earlier.
4738
4739 2009-01-06  Jakub Jelinek  <jakub@redhat.com>
4740
4741         PR rtl-optimization/38722
4742         * combine.c (try_combine): Don't modify PATTERN (i3) and notes
4743         too early, only set a flag and modify after last possible
4744         undo_all point.
4745
4746 2009-01-06  Janis Johnson  <janis187@us.ibm.com>
4747
4748         PR c/34252
4749         * ginclude/float.h: Rename DECnn_DEN to DECnn_SUBNORMAL_MIN.
4750         * real.c (decimal_single_format): Correct values of emin and emax.
4751         (decimal_double_format): Ditto.
4752         (decimal_quad_format): Ditto.
4753         * c-cppbuiltin.c (builtin_define_decimal_float_constants): Adjust
4754         computation of DECnn_MIN and DECnn_MAX for corrected values of
4755         emin and emax.  Define __DECnn_SUBNORMAL_MIN__ instead of
4756         __DECnn_MIN__, and adjust its computation for the corrected value
4757         of emin.
4758
4759 2009-01-06  Jan Hubicka  <jh@suse.cz>
4760
4761         PR target/38744
4762         * config/i386/i386.c (ix86_expand_call): Use ARRAY_SIZE.
4763
4764 2009-01-06  Gerald Pfeifer  <gerald@pfeifer.com>
4765
4766         * doc/contrib.texi (Contributors): Slightly adjust the end note.
4767         Add Robert Clark to the list of testers.
4768
4769 2009-01-06  Jan Hubicka  <jh@suse.cz>
4770             Kai Tietz  <kai.tietz@onevision.com>
4771
4772         * config/i386/i386.md (*msabi_syvabi): Add SSE regs clobbers.
4773         * config/i386/i386.c (ix86_expand_call): Add clobbers.
4774
4775 2009-01-06  Jan Hubicka  <jh@suse.cz>
4776             Kai Tietz  <kai.tietz@onevision.com>
4777
4778         * config/i386/i386.h (CONDITIONAL_CALL_USAGE): SSE regs are not used
4779         for w64 ABI.
4780         * config/i386/i386.c (struct ix86_frame): Add padding0 and nsseregs.
4781         (ix86_nsaved_regs): Count only general purpose regs.
4782         (ix86_nsaved_sseregs): New.
4783         (ix86_compute_frame_layout): Update nsseregs; set preferred alignment
4784         to 16 for w64; compute padding and size of sse reg save area.
4785         (ix86_emit_save_regs, ix86_emit_save_regs_using_mov): Save only
4786         general purpose regs.
4787         (ix86_emit_save_sse_regs_using_mov): New.
4788         (ix86_expand_prologue): Save SSE regs if needed.
4789         (ix86_emit_restore_regs_using_mov): Use only general purpose regs.
4790         (ix86_emit_restore_sse_regs_using_mov): New.
4791         (ix86_expand_epilogue): Save SSE regs if needed.
4792
4793 2009-01-06  Jan Hubicka  <jh@suse.cz>
4794             Kai Tietz  <kai.tietz@onevision.com>
4795
4796         * config/i386/i386.h (ACCUMULATE_OUTGOING_ARGS): Enable for MSABI
4797         * config/i386/i386.c (init_cumulative_args): Disallow calls of MSABI
4798         functions when accumulate outgoing args is off.
4799
4800 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
4801
4802         PR bootstrap/38742
4803         * ira-color.c (ira_reuse_stack_slot): Check ENABLE_IRA_CHECKING
4804         before using pseudos_have_intersected_live_ranges_p.
4805
4806         * ira-int.h (ira_assert): Always define.
4807
4808 2009-01-06  H.J. Lu  <hongjiu.lu@intel.com>
4809
4810         AVX Programming Reference (December, 2008)
4811         * config/i386/avxintrin.h (_mm_permute2_pd): Removed.
4812         (_mm256_permute2_pd): Likewise.
4813         (_mm_permute2_ps): Likewise.
4814         (_mm256_permute2_ps): Likewise.
4815         * config/i386/i386.md (UNSPEC_VPERMIL2): Likewise.
4816         * config/i386/sse.md (avx_vpermil2<mode>3): Likewise.
4817
4818         * config/i386/i386.c (ix86_builtins): Remove
4819         IX86_BUILTIN_VPERMIL2PD, IX86_BUILTIN_VPERMIL2PS,
4820         IX86_BUILTIN_VPERMIL2PD256 and IX86_BUILTIN_VPERMIL2PS256.
4821         (ix86_builtin_type): Remove V8SF_FTYPE_V8SF_V8SF_V8SI_INT,
4822         V4DF_FTYPE_V4DF_V4DF_V4DI_INT, V4SF_FTYPE_V4SF_V4SF_V4SI_INT
4823         and V2DF_FTYPE_V2DF_V2DF_V2DI_INT.
4824         (bdesc_args): Remove __builtin_ia32_vpermil2pd,
4825         __builtin_ia32_vpermil2ps, __builtin_ia32_vpermil2pd256 and
4826         __builtin_ia32_vpermil2ps256.
4827         (ix86_init_mmx_sse_builtins): Updated.
4828         (ix86_expand_args_builtin): Likewise.
4829
4830 2009-01-05  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
4831
4832         * pa.c (output_call): Relocate non-jump insns in the delay slot of
4833         long absolute calls when generating PA 2.0 code.
4834
4835 2009-01-05  Vladimir Makarov  <vmakarov@redhat.com>
4836
4837         PR rtl-optimization/38583
4838         * params.h (IRA_MAX_CONFLICT_TABLE_SIZE): New macro.
4839
4840         * params.def (ira-max-conflict-table-size): New.
4841
4842         * doc/invoke.texi (ira-max-conflict-table-size): Decribe.
4843         
4844         * ira.h (ira_conflicts_p): New external definition.
4845         
4846         * ira-conflicts.c (build_conflict_bit_table): Do not build too big
4847         table.  Report this.  Return result of building.
4848         (ira_build_conflicts): Use ira_conflicts_p.  Check result of
4849         building conflict table.
4850
4851         * ira-color.c (fast_allocation): Use num instead of ira_allocnos_num.
4852         (ira_color): Use ira_conflicts_p.
4853         
4854         * global.c: Include ira.h.
4855         (pseudo_for_reload_consideration_p, build_insn_chain): Use
4856         ira_conflicts_p.
4857
4858         * Makefile.in (global.o): Add ira.h.
4859         
4860         * ira-build.c (mark_all_loops_for_removal,
4861         propagate_some_info_from_allocno): New.
4862         (remove_unnecessary_allocnos): Call
4863         propagate_some_info_from_allocno.
4864         (remove_low_level_allocnos): New.
4865         (remove_unnecessary_regions): Add parameter.  Call
4866         mark_all_loops_for_removal and remove_low_level_allocnos.  Pass
4867         parameter to remove_unnecessary_regions.
4868         (ira_build): Remove all regions but root if the conflict table was
4869         not built.  Update conflict hard regs for allocnos crossing calls.
4870
4871         * ira.c (ira_conflicts_p): New global.
4872         (ira): Define and use ira_conflicts_p.
4873
4874         * reload1.c (compute_use_by_pseudos, reload, count_pseudo,
4875         count_spilled_pseudo, find_reg, alter_reg, finish_spills,
4876         emit_input_reload_insns, delete_output_reload): Use ira_conflicts_p.
4877         
4878 2009-01-06  Ben Elliston  <bje@au.ibm.com>
4879
4880         * gengtype-lex.l (YY_NO_INPUT): Define.
4881
4882 2009-01-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
4883
4884         PR c/34911
4885         * c-common.c (handle_vector_size_attribute): Also reject
4886         BOOLEAN_TYPE types.
4887
4888 2009-01-05  Sebastian Pop  <sebastian.pop@amd.com>
4889
4890         PR tree-optimization/38492
4891         * graphite.c (rename_map_elt, debug_rename_elt,
4892         debug_rename_map_1, debug_rename_map, new_rename_map_elt,
4893         rename_map_elt_info, eq_rename_map_elts,
4894         get_new_name_from_old_name, bb_in_sese_p): Moved around.
4895         (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
4896         (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
4897         (sese_build_livein_liveouts): New.
4898         (new_sese, free_sese): New.
4899         (new_scop): Call new_sese.
4900         (free_scop): Call free_sese.
4901         (rename_variables_from_edge, rename_phis_end_scop): Removed.
4902         (register_old_new_names): Renamed register_old_and_new_names.
4903         (register_scop_liveout_renames, add_loop_exit_phis,
4904         insert_loop_close_phis, struct igp,
4905         default_liveout_before_guard, add_guard_exit_phis,
4906         insert_guard_phis, copy_renames): New.
4907         (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
4908         (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
4909         (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
4910         (scop_adjust_phis_for_liveouts): New.
4911         (gloog): Call scop_adjust_phis_for_liveouts.
4912
4913         * graphite.h (struct sese): Documented.  Added fields liveout,
4914         num_ver and livein.
4915         (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
4916         (new_sese, free_sese, sese_build_livein_liveouts): Declared.
4917         (struct scop): Added field liveout_renames.
4918         (SCOP_LIVEOUT_RENAMES): New.
4919
4920 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
4921
4922         PR tree-optimization/38510
4923         * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
4924         (translate_clast): Call recompute_all_dominators before
4925         graphite_verify.
4926         (gloog): Call recompute_all_dominators before graphite_verify.
4927
4928 2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
4929             Jan Sjodin  <jan.sjodin@amd.com>
4930
4931         PR tree-optimization/38500
4932         * graphite.c (create_sese_edges): Call fix_loop_structure after
4933         splitting blocks.
4934
4935 2009-01-05  Joel Sherrill  <joel.sherrill@oarcorp.com>
4936
4937         * config.gcc: Add m32r*-*-rtems*.
4938         * config/m32r/rtems.h: New file.
4939
4940 2009-01-05  Ben Elliston  <bje@au.ibm.com>
4941
4942         * Makefile.in (.po.gmo): Use mkinstalldirs, not test -d || mkdir.
4943         (.po.pox): Likewise.
4944         (po/gcc.pot): Likewise.
4945
4946 2009-01-04  David S. Miller  <davem@davemloft.net>
4947
4948         * config/sparc/sparc.h (SECONDARY_MEMORY_NEEDED_RTX): Delete.
4949         (STARTING_FRAME_OFFSET): Always set to zero.
4950
4951 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
4952
4953         * tree.def (LSHIFT_EXPR, RSHIFT_EXPR): Add commentary.
4954         * tree-cfg.c (verify_gimple_assign_binary): Allow shifts of
4955         fixed-point types, and vectors of the same.
4956
4957 2009-01-04  Richard Sandiford  <rdsandiford@googlemail.com>
4958
4959         * config/mips/sync.md (*mb_barrier): Rename to...
4960         (*memory_barrier): ...this.
4961
4962 2009-01-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
4963
4964         * doc/extend.texi (Function Attributes): Move @cindex after @item
4965         for 'artificial' and 'flatten'. Fix grammar for 'externally_visible'
4966         and put in alphabetical order. Fix 'target' name and put in order.
4967         * doc/invoke.texi (-Wstrict-null-sentinel, -fipa-matrix-reorg): Fix
4968         typos.
4969
4970 2009-01-04  Uros Bizjak  <ubizjak@gmail.com>
4971
4972         * config/s390/s390.md (UNSPEC_MB): Rename from UNSPECV_MB.
4973         (memory_barrier): Expand as unspec instead of unspec_volatile.
4974         Remove mem:BLK from insn operands.  Use Pmode scratch register.
4975         (*memory_barrier): Define as unspec instead of unspec_volatile.
4976         Use (match_dup 0) as input operand.
4977
4978         * config/sparc/sparc.md (UNSPEC_MEMBAR): Rename from UNSPECV_MEMBAR.
4979         * config/sparc/sync.md (memory_barrier): Expand as unspec instead of
4980         unspec_volatile.  Remove mem:BLK from insn operands.  Use Pmode
4981         scratch register.  Remove operand 1.
4982         (*stbar): Define as unspec instead of unspec_volatile.
4983         Use (match_dup 0) as input operand, remove (const_int 8).
4984         (*membar): Define as unspec instead of unspec_volatile.
4985         Use (match_dup 0) as input operand, remove input operand 2.
4986
4987         * config/xtensa/xtensa.md (UNSPEC_MEMW): Rename from UNSPECV_MEMW.
4988         (memory_barrier): Expand as unspec instead of unspec_volatile.
4989         Remove mem:BLK from insn operands.  Use Pmode scratch register.
4990         (*memory_barrier): Define as unspec instead of unspec_volatile.
4991         Use (match_dup 0) as input operand.
4992
4993         * config/ia64/sync.md (memory_barrier): Redefine as expander pattern.
4994         Remove mem:BLK from insn operands.  Use Pmode scratch register.
4995         Set volatile flag on operand 0.
4996         (*memory_barrier): New insn pattern.
4997
4998         * config/rs6000/sync.md (memory_barrier): Remove mem:BLK from
4999         insn operands.
5000         (*memory_barrier): Use (match_dup 0) as input operand.
5001
5002         * config/mips/sync.md (memory_barrier): Redefine as expander pattern.
5003         Remove mem:BLK from insn operands.  Use Pmode scratch register.
5004         Set volatile flag on operand 0.
5005         (*mb_internal): New insn pattern.
5006
5007         * config/alpha/sync.md (*memory_barrier): Rename from *mb_internal.
5008
5009 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
5010
5011         PR middle-end/38586
5012         * function.c (struct temp_slot): Move to the section of the file
5013         that deals with temp slots.  Remove field 'address'.
5014         (temp_slot_address_table): New hash table of address -> temp slot.
5015         (struct temp_slot_address_entry): New struct, items for the table.
5016         (temp_slot_address_compute_hash, temp_slot_address_hash,
5017         temp_slot_address_eq, insert_temp_slot_address): Support functions
5018         for the new table.
5019         (find_temp_slot_from_address): Rewrite to use the new hash table.
5020         (remove_unused_temp_slot_addresses): Remove addresses of temp
5021         slots that have been made available.
5022         (remove_unused_temp_slot_addresses_1): Call-back for htab_traverse,
5023         worker function for remove_unused_temp_slot_addresses.
5024         (assign_stack_temp_for_type): Don't clear the temp slot address list.
5025         Add the temp slot address to the address -> temp slot map.
5026         (update_temp_slot_address): Update via insert_temp_slot_address.
5027         (free_temp_slots): Call remove_unused_temp_slot_addresses.
5028         (pop_temp_slots): Likewise.
5029         (init_temp_slots): Allocate the address -> temp slot map, or empty
5030         the map if it is already allocated.
5031         (prepare_function_start): Initialize temp slot processing.
5032
5033 2009-01-04  Steven Bosscher  <steven@gcc.gnu.org>
5034
5035         PR middle-end/38584
5036         * cfgexpand.c (estimate_stack_frame_size): Simplify the estimate:
5037         Calculate the size of all stack vars assuming no packing of stack
5038         vars will happen, replacing a quadratic algorithm with a linear one.
5039
5040 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
5041
5042         PR target/38707
5043         * expmed.c (store_bit_field_1): Don't modify op0 if movstrict insn
5044         can't be used.
5045
5046 2009-01-03  Diego Novillo  <dnovillo@google.com>
5047
5048         * doc/contrib.texi: Update contributions.
5049
5050 2009-01-03  Jakub Jelinek  <jakub@redhat.com>
5051
5052         PR c++/38705
5053         * builtins.c (fold_builtin_memory_op): Give up if either operand
5054         is volatile.  Set srctype or desttype to non-qualified version
5055         of the other type.
5056
5057         PR c/38700
5058         * builtins.c (fold_builtin_expect): Only check DECL_WEAK for VAR_DECLs
5059         and FUNCTION_DECLs.
5060
5061 2009-01-02  Kenneth Zadeck  <zadeck@naturalbridge.com>
5062
5063         PR rtl-optimization/35805
5064         * df-problems.c (df_lr_finalize): Add recursive call to resolve lr
5065         problem if fast dce is able to remove any instructions.
5066         * dce.c (dce_process_block): Fix dump message.
5067         
5068 2009-01-02  Mark Mitchell  <mark@codesourcery.com>
5069
5070         PR 33649
5071         * tree-ssa-pre.c (compute_antic): Correct loop bounds.
5072
5073 2009-01-02  Jakub Jelinek  <jakub@redhat.com>
5074
5075         PR middle-end/38690
5076         * tree-flow.h (op_code_prio, op_prio): New prototypes.
5077         * tree-pretty-print.c (op_code_prio): New function.
5078         (op_prio): No longer static.  Use op_code_prio.
5079         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs):
5080         Use op_prio and op_code_prio to determine if () should be
5081         printed around operand(s) or not.
5082
5083         * gimple-pretty-print.c (dump_unary_rhs, dump_binary_rhs,
5084         dump_gimple_call, dump_gimple_switch, dump_gimple_cond,
5085         dump_gimple_label, dump_gimple_try, dump_symbols, dump_gimple_phi,
5086         dump_gimple_mem_ops, dump_bb_header, dump_bb_end, pp_cfg_jump): Use
5087         pp_character instead of pp_string for single letter printing.
5088
5089 2009-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
5090
5091         * doc/extend.texi: Fix '#pragma GCC option' typo.
5092
5093 2009-01-02  Richard Guenther  <rguenther@suse.de>
5094
5095         * doc/install.texi (--enable-checking): Mention different
5096         default for stage1.
5097         (--enable-stage1-checking): Document.
5098
5099 2009-01-01  Andrew Pinski  <pinskia@gmail.com>
5100
5101         PR middle-end/30142
5102         * tree-cfg.c (verify_expr): Add INDIRECT_REF case.  Change MODIFY_EXPR
5103         case to be an error.
5104
5105 2009-01-02  Ben Elliston  <bje@au.ibm.com>
5106
5107         * config/fp-bit.h (pack_d): Constify argument.
5108         * config/fp-bit.c (makenan): Constify return type. Remove casts.
5109         (isnan): Constify argument.
5110         (isinf): Likewise.
5111         (iszero): Likewise.
5112         (pack_d): Likewise.
5113         (_fpadd_parts): Constify return type.
5114         (_fpmul_parts): Likewise.
5115         (_fpdiv_parts): Likewise.
5116
5117 2009-01-01  Jakub Jelinek  <jakub@redhat.com>
5118
5119         PR c/36489
5120         * c-typeck.c (add_pending_init): Add IMPLICIT argument.  Only
5121         warn about overwriting initializer with side-effects or
5122         -Woverride-init if !IMPLICIT.
5123         (output_init_element): Likewise.  Pass IMPLICIT down to
5124         add_pending_init.
5125         (process_init_element): Add IMPLICIT argument.  Pass it down
5126         to output_init_element.
5127         (push_init_element, pop_init_level, set_designator): Adjust
5128         process_init_element callers.
5129         (set_nonincremental_init, set_nonincremental_init_from_string):
5130         Adjust add_pending_init callers.
5131         (output_pending_init_elements): Adjust output_init_element callers.
5132         * c-tree.h (process_init_element): Adjust prototype.
5133         * c-parser.c (c_parser_initelt, c_parser_initval): Adjust
5134         process_init_element callers.