OSDN Git Service

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