1 2008-04-07 Kenneth Zadeck <zadeck@naturalbridge.com>
3 doc/rtl.texi: Rewrite of subreg section.
5 2008-04-07 Kai Tietz <kai.tietz@onevision.com>
8 * config/i386/i386.c (legitimize_pic_address): Add treating
9 of dllimport SYM_REF's.
10 (legitimize_dllimport_symbol): Add prototype.
12 2008-04-07 Eric Botcazou <ebotcazou@adacore.com>
14 * fold-const.c (fold) <ARRAY_REF>: New case. Try to fold constant
15 reference in constructor with non self-referential type.
17 2008-04-07 Eric Botcazou <ebotcazou@adacore.com>
19 Removal of Return with Depressed Stack Pointer support
20 * tree.h (TYPE_RETURNS_STACK_DEPRESSED): Delete.
21 (ECF_SP_DEPRESSED): Likewise.
22 (ECF_LIBCALL_BLOCK, ECF_NOVOPS): Adjust.
23 * calls.c (emit_call_1): Do not test ECF_SP_DEPRESSED.
24 (flags_from_decl_or_type): Do not test TYPE_RETURNS_STACK_DEPRESSED.
25 (expand_call): Do not test ECF_SP_DEPRESSED.
26 * dse.c (dse_step0): Do not test TYPE_RETURNS_STACK_DEPRESSED.
27 * function.c (keep_stack_depressed): Delete.
28 (handle_epilogue_set): Likewise.
29 (update_epilogue_consts): Likewise.
30 (emit_equiv_load): Likewise.
31 (thread_prologue_and_epilogue_insns): Remove support for Return with
32 Depressed Stack Pointer.
33 * print-tree.c (print_node): Do not test TYPE_RETURNS_STACK_DEPRESSED.
35 2008-04-06 Richard Guenther <rguenther@suse.de>
37 PR tree-optimization/35400
38 * tree-vrp.c (vrp_evaluate_conditional): Only query value-range
39 information from SSA_NAMEs.
41 2008-04-06 Anatoly Sokolov <aesok@post.ru>
43 * config/avr/avr.h (avr_mega_p): Remove declaration.
44 (AVR_MEGA): Remove macro.
45 * config/avr/avr.c (avr_mega_p): Remove variable.
46 (avr_override_options): Remove inicializion of avr_mega_p.
47 Use AVR_HAVE_JMP_CALL instead of AVR_MEGA.
48 (print_operand): Use AVR_HAVE_JMP_CALL instead of AVR_MEGA.
49 (avr_jump_mode): (Ditto.).
50 (avr_output_progmem_section_asm_op): (Ditto.).
51 (avr_asm_init_sections): (Ditto.).
52 (avr_asm_init_sections): (Ditto.).
53 (avr_rtx_costs): (Ditto.).
54 * config/avr/avr.md: (Ditto.).
55 * config/avr/avr.h: Use '__AVR_HAVE_JMP_CALL__' instead of
58 2008-04-06 Richard Guenther <rguenther@suse.de>
60 PR tree-optimization/35842
61 * tree-ssa-address.c (fixed_address_object_p): Adjust to match
62 is_gimple_invariant_address.
64 2008-04-06 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
66 * gcc.c (default_compilers): Sync Fortran extensions list with
67 that in fortran/lang-specs.h.
68 * doc/invoke.texi: Likewise.
69 * dbxout.c (get_lang_number): Use "GNU Fortran" in "GNU F95".
70 * dwarf2out.c (gen_compile_unit_die): Likewise.
72 2008-04-06 Tom G. Christensen <tgc@jupiterrise.com>
74 * gthr-posix95.h (__gthread_cond_wait_recursive): Add missing &.
76 2008-04-05 Uros Bizjak <ubizjak@gmail.com>
79 * config/i386/i386.c (ix86_function_regparm): Error if regparm(3)
80 attribute is used for nested functions.
82 2008-04-05 Jan Hubicka <jh@suse.cz>
84 * emit-rtl.c (init_emit): xcalloc regno_pointer_align.
86 * tree-dump.c (dump_enable_all): Remove prototype; do not accept
89 (enable_rtl_dump_file): Do not accept letter argument.
90 * tree-pass.h (dump_file_info): Remove letter argument.
91 * toplev.c (decode_d_option): Update -da handling.
92 * toplev.h (enable_rtl_dump_file): Update prototype.
93 * passes.c (register_one_dump_file): Do not accept IPA argument; work
94 it out based on pass type.
95 (register_dump_files_1): Likewise.
96 (init_optimization_passes): Update register_one_dump_file calls.
97 (execute_one_pass): Sanity check that IPA passes are called at IPA
98 level and RTL passes at RTL level.
99 (execute_pass_list): IPA pass can not be after or subpass of
101 (execute_ipa_pass_list): Handle IPA subpasses of IPA subpasses and
102 disallov RTL subpasses of IPA subpasses.
104 2008-04-05 Ben Elliston <bje@au.ibm.com>
106 * tree-cfg.c (need_fake_edge_p): Return false for calls to
107 builtins that return exactly once and do not throw. Cache call to
110 2008-04-04 Andy Hutchinson <hutchinsonandy@aim.com>
112 PR rtl-optimization/34916
114 * combine.c (create_log_links): Do not create duplicate LOG_LINKS
115 between instruction pairs.
117 2008-04-04 Naveen.H.S <naveen.hs@kpitcummins.com>
119 * doc/invoke.texi: Document -mbitops for SH.
120 * config/sh/constraints.md (K03, K12, Sbv, Sbw): New constraints.
121 * config/sh/predicates.md (bitwise_memory_operand): New predicate.
122 * config/sh/sh.c (print_operand): Add %t operand code.
123 * config/sh/sh.h (GO_IF_LEGITIMATE_INDEX): Add condition for SH2A.
124 * config/sh/sh.md (*iorsi3_compact): Fix condition for SH2A.
125 (extendqisi2_compact): Add the alternative for SH2A 4-byte mov.b.
126 (extendqihi2): Likewise.
128 (insv): Use bset, bclr and bst instructions for SH2A if possible.
129 (extv): Use bld instruction for SH2A if possible.
131 (bclr_m2a, bclrmem_m2a, bset_m2a, bsetmem_m2a, bst_m2a, bld_m2a,
132 bldsign_m2a, bld_reg, *bld_regqi, band_m2a, bandreg_m2a,
133 bor_m2a, borreg_m2a, bxor_m2a, bxorreg_m2a): New insns.
134 (bset.b, bclr.b): Define peepholes.
135 * config/sh/sh.opt (mbitops): New option.
137 2008-04-04 Janis Johnson <janis187@us.ibm.com>
140 * config/rs6000/rs6000.c (rs6000_check_sdmode): Handle indirect ref
141 and view convert expression.
143 2008-04-04 Jakub Jelinek <jakub@redhat.com>
146 * tree-cfg.c (remove_useless_stmts_1): Handle OMP_* containers.
148 2008-04-04 H.J. Lu <hongjiu.lu@intel.com>
150 * config.gcc (extra_headers): Add wmmintrin.h for x86 and x86-64.
152 * config/i386/cpuid.h (bit_AES): New.
153 (bit_PCLMUL): Likewise.
155 * config/i386/i386.c (pta_flags): Add PTA_AES and PTA_PCLMUL.
156 (override_options): Handle PTA_AES and PTA_PCLMUL. Enable
157 SSE2 if AES or PCLMUL is enabled.
158 (ix86_builtins): Add IX86_BUILTIN_AESENC128,
159 IX86_BUILTIN_AESENCLAST128, IX86_BUILTIN_AESDEC128,
160 IX86_BUILTIN_AESDECLAST128, IX86_BUILTIN_AESIMC128,
161 IX86_BUILTIN_AESKEYGENASSIST128 and IX86_BUILTIN_PCLMULQDQ128.
162 (bdesc_sse_3arg): Add IX86_BUILTIN_PCLMULQDQ128.
163 (bdesc_2arg): Add IX86_BUILTIN_AESENC128,
164 IX86_BUILTIN_AESENCLAST128, IX86_BUILTIN_AESDEC128,
165 IX86_BUILTIN_AESDECLAST128 and IX86_BUILTIN_AESKEYGENASSIST128.
166 (bdesc_1arg): Add IX86_BUILTIN_AESIMC128.
167 (ix86_init_mmx_sse_builtins): Define __builtin_ia32_aesenc128,
168 __builtin_ia32_aesenclast128, __builtin_ia32_aesdec128,
169 __builtin_ia32_aesdeclast128,__builtin_ia32_aesimc128,
170 __builtin_ia32_aeskeygenassist128 and
171 __builtin_ia32_pclmulqdq128.
172 * config/i386/i386.c (ix86_expand_binop_imm_builtin): New.
173 (ix86_expand_builtin): Use it for IX86_BUILTIN_PSLLDQI128 and
174 IX86_BUILTIN_PSRLDQI128. Handle IX86_BUILTIN_AESKEYGENASSIST128.
176 * config/i386/i386.h (TARGET_AES): New.
177 (TARGET_PCLMUL): Likewise.
178 (TARGET_CPU_CPP_BUILTINS): Handle TARGET_AES and TARGET_PCLMUL.
180 * config/i386/i386.md (UNSPEC_AESENC): New.
181 (UNSPEC_AESENCLAST): Likewise.
182 (UNSPEC_AESDEC): Likewise.
183 (UNSPEC_AESDECLAST): Likewise.
184 (UNSPEC_AESIMC): Likewise.
185 (UNSPEC_AESKEYGENASSIST): Likewise.
186 (UNSPEC_PCLMUL): Likewise.
188 * config/i386/i386.opt (maes): New.
191 * config/i386/sse.md (aesenc): New pattern.
192 (aesenclast): Likewise.
194 (aesdeclast): Likewise.
196 (aeskeygenassist): Likewise.
197 (pclmulqdq): Likewise.
199 * config/i386/wmmintrin.h: New.
201 * doc/extend.texi: Document AES and PCLMUL built-in function.
203 * doc/invoke.texi: Document -maes and -mpclmul.
205 2008-04-04 Paolo Bonzini <bonzini@gnu.org>
207 * function.c (free_after_parsing): Replace with
208 cxx_push_function_context from C++ front-end.
209 (allocate_struct_function): Don't call langhook.
210 * langhooks.h (struct lang_hooks_for_functions): Delete.
211 (struct lang_hooks): Add back missing_noreturn_ok_p here, delete
213 * langhooks-def.h (LANG_HOOKS_MISSING_NORETURN_OK_P): Add.
214 (LANG_HOOKS_FUNCTION_INIT, LANG_HOOKS_FUNCTION_FINAL,
215 LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P,
216 LANG_HOOKS_FUNCTION_INITIALIZER): Delete.
217 (LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_MISSING_NORETURN_OK_P,
218 remove LANG_HOOKS_FUNCTION_INITIALIZER.
219 * tree-cfg.c: Adjust call to missing_noreturn_ok_p langhook.
221 * c-objc-common.h (LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P):
222 Rename to LANG_HOOKS_MISSING_NORETURN_OK_P.
224 2008-04-04 Jakub Jelinek <jakub@redhat.com>
227 * c-pretty-print.c (pp_c_initializer_list): Handle CONSTRUCTOR
230 2008-04-04 Richard Guenther <rguenther@suse.de>
233 * fold-const.c (optimize_minmax_comparison): Use the correct
234 type for the constant in the simplified comparison.
236 2008-04-04 Zuxy Meng <zuxy.meng@gmail.com>
238 * config/i386/driver-i386.c (describe_cache): Add l2_sizekb argument.
239 Pass L2 size as "--param l2-cache-size" to the compiler.
240 (decode_l2_cache): New function to decode L2 cache parameters using
241 0x8000006 extended cpuid function.
242 (detect_caches_amd): Determine parameters of L2 cache using
243 decode_l2_caches function.
244 (decode_caches_intel): Decode L2 cache parameters.
245 (detect_caches_intel): Determine L2 cache parameters using
246 decode_caches_intel and decode_l2_caches functions.
248 2008-04-03 Bob Wilson <bob.wilson@acm.org>
250 * config/xtensa/xtensa.c (xtensa_secondary_reload_class): Use a
251 secondary input reload for subword loads from the constant pool.
253 2008-04-03 Janis Johnson <janis187@us.ibm.com>
256 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Use integer
257 constants of the appropriate size for runtime calculations.
260 * dfp.c (decimal_from_decnumber): Retain trailing zeroes for
261 decimal-float literal constant zero.
263 2008-04-03 Jakub Jelinek <jakub@redhat.com>
266 * c-parser.c (c_parser_omp_atomic): Call
267 default_function_array_conversion on the RHS.
270 * omp-low.c (scan_sharing_clauses) <case OMP_CLAUSE_SHARED>: Don't
271 call is_variable_sized if decl has incomplete type.
273 2008-04-03 H.J. Lu <hongjiu.lu@intel.com>
275 * config/i386/i386-protos.h (ix86_aligned_p): Removed.
277 2008-04-03 Adam Nemet <anemet@caviumnetworks.com>
279 * config/mips/mips.md (any_gt, any_ge, any_lt, any_le): New code
281 (u): Add attribute values for gt, gtu, ge, geu, lt, ltu, le and
283 (sgt<u>): Merge sgt and sgtu into new expander.
284 (sgt, sgtu): Remove expanders.
285 (*sgt<u>_<mode>): Merge *sgt_<mode> and *sgtu_<mode> into new
287 (*sgt_<mode>, *sgtu_<mode>): Remove patterns.
288 (*sgt<u>_<mode>_mips16): Merge *sgt_<mode>_mips16 and
289 *sgtu_<mode>_mips16 into new pattern.
290 (*sgt_<mode>_mips16, *sgtu_<mode>_mips16): Remove patterns.
291 (sge<u>): Merge sge and sgeu into new expander.
292 (sge, sgeu): Remove expanders.
293 (*sge<u>_<mode>): Merge *sge_<mode> and second *sge_<mode> into
295 (*sge_<mode>, second *sge_<mode>): Remove patterns.
296 (slt<u>): Merge slt and sltu into new expander.
297 (slt, sltu): Remove expanders.
298 (*slt<u>_<mode>): Merge *slt_<mode> and *sltu_<mode> into new
300 (*slt_<mode>, *sltu_<mode>): Remove patterns.
301 (*slt<u>_<mode>_mips16): Merge *slt_<mode>_mips16 and
302 *sltu_<mode>_mips16 into new pattern.
303 (*slt_<mode>_mips16, *sltu_<mode>_mips16): Remove patterns.
304 (sle<u>): Merge sle and sleu into new expander.
305 (sle, sleu): Remove expanders.
306 (*sle<u>_<mode>): Merge *sle_<mode> and *sleu_<mode> into new
308 (*sle_<mode>, *sleu_<mode>): Remove patterns.
309 (*sle<u>_<mode>_mips16): Merge *sle_<mode>_mips16 and
310 *sleu_<mode>_mips16 into new pattern.
311 (*sle_<mode>_mips16, *sleu_<mode>_mips16): Remove patterns.
313 2008-04-03 Jan Hubicka <jh@suse.cz>
315 PR tree-optimization/35795
316 * alpha/alpha.c (alpha_output_mi_thunk_osf): Free after compilation.
317 * sparc/sparc.c (sparc_output_mi_thunk): Likewise.
318 * ia64/ia64.c (ia64_output_mi_thunk): Likewise.
319 * m68k/m68k.c (m68k_output_mi_thunk): Likewise.
320 * score/score3.c (score3_output_mi_thunk): Likewise.
321 * score/score7.c (score7_output_mi_thunk): Likewise.
322 * mips/mips.c (mips_output_mi_thunk): Likewise.
324 2008-04-03 Richard Guenther <rguenther@suse.de>
326 * tree-vrp.c (extract_range_from_unary_expr): Handle all
327 conversions. Simplify code.
329 2008-04-03 Kaz Kojima <kkojima@gcc.gnu.org>
331 * config/sh/sh.c (sh_output_mi_thunk): Free cfun.
333 2008-04-03 Tom Tromey <tromey@redhat.com>
334 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
336 * config/m68k/t-uclinux (generated_files): Add sysroot-suffix.h.
337 * config/bfin/t-bfin-linux (generated_files): Add
338 linux-sysroot-suffix.h.
339 * doc/install.texi (Prerequisites): Require make 3.80.
340 * doc/sourcebuild.texi (Front End Directory): Document new
342 * Makefile.in (generated_files): New variable.
343 (ALL_HOST_OBJS): New variable.
344 ($(ALL_HOST_OBJS)): New target.
346 2008-04-03 Paolo Bonzini <bonzini@gnu.org>
348 * tree-inline.c (copy_generic_body, copy_decl_no_change): Export.
349 (remap_block): Call id->transform_lang_insert_block instead
351 (optimize_inline_calls, unsave_expr_now, tree_function_versioning):
352 Set id.transform_lang_insert_block to NULL.
353 (clone_body): Move to cp/optimize.c
354 * tree-inline.h (struct copy_body_data): Change
355 transform_lang_insert_block to function pointer.
356 (copy_generic_body, copy_decl_no_change): Export.
357 * langhooks.h (struct lang_hooks_for_decls): Kill insert_block.
358 * langhooks-def.h (LANG_HOOKS_INSERT_BLOCK): Kill.
359 (LANG_HOOKS_DECLS): Remove LANG_HOOKS_INSERT_BLOCK.
361 * c-tree.h (insert_block): Kill.
362 * c-decl.c (insert_block): Kill.
364 2008-04-03 Paolo Bonzini <bonzini@gnu.org>
366 * c-objc-common.h (LANG_HOOKS_FUNCTION_ENTER_NESTED,
367 LANG_HOOKS_FUNCTION_LEAVE_NESTED): Delete.
368 * c-tree.h (c_push_function_context, c_pop_function_context): Remove
370 * c-decl.c (c_push_function_context, c_pop_function_context): Remove
371 argument, call {push,pop}_function_context from here.
372 * c-parser.c: Use c_{push,pop}_function_context.
374 * function.c (push_function_context_to): Move meat ...
375 (push_function_context): ... here. Simplify.
376 * function.c (pop_function_context_from): Move meat ...
377 (pop_function_context): ... here. Simplify.
378 * langhooks.h (struct lang_hooks_for_functions): Remove enter_nested,
380 * langhooks-def.h (LANG_HOOKS_FUNCTION_ENTER_NESTED,
381 LANG_HOOKS_FUNCTION_LEAVE_NESTED): Delete.
382 (LANG_HOOKS_FUNCTION_INITIALIZER): Delete them from here.
383 * tree.h (push_function_context_to, pop_function_context_from): Remove.
385 2008-04-03 Ben Elliston <bje@au.ibm.com>
387 * expmed.c (extract_force_align_mem_bit_field): Remove.
389 2008-04-03 Richard Guenther <rguenther@suse.de>
392 * expr.h (try_casesi): Adjust prototype.
393 * expr.c (try_casesi): Take fallback label as extra parameter.
394 Use that for gen_casesi if default_label is NULL.
395 * stmt.c (expand_case): Pass fallback label to try_casesi,
396 make sure to fill gaps with a fallback label if default_label
399 2008-04-03 Dominique d'Humieres <dominiq@lps.ens.fr>
402 * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Free cfun.
404 2008-04-03 Ben Elliston <bje@au.ibm.com>
406 * expmed.c (extract_split_bit_field): Remove if (0) code.
407 * tree-ssa-structalias.c (do_sd_constraint): Likewise.
408 (do_ds_constraint): Likewise.
410 2008-04-02 Joseph Myers <joseph@codesourcery.com>
412 * doc/cppopts.texi (-dU): Document.
413 * c-common.h (flag_dump_macros): Update comment.
414 * c-opts.c (handle_OPT_d): Handle -dU.
415 * c-ppoutput.c (macro_queue, define_queue, undef_queue,
416 dump_queued_macros, cb_used_define, cb_used_undef): New.
417 (init_pp_output): Handle -dU.
418 (cb_line_change): Call dump_queued_macros.
419 * toplev.c (decode_d_option): Accept -dU as preprocessor option.
421 2008-04-02 Anatoly Sokolov <aesok@post.ru>
423 * config/avr/predicates.md (io_address_operand): New predicate.
424 * config/avr/avr-protos.h (avr_io_address_p): Remove declaration.
425 * config/avr/avr.c (avr_io_address_p): Remove function.
426 (out_movqi_r_mr): Use 'io_address_operand' predicate instead of
427 'avr_io_address_p' function.
428 (out_movhi_r_mr): (Ditto.).
429 (out_movqi_mr_r): (Ditto.).
430 (out_movhi_mr_r): (Ditto.).
431 (avr_address_cost): (Ditto.).
433 2008-04-02 Uros Bizjak <ubizjak@gmail.com>
435 * config/i386/i386.md (*float<SSEMODEI24:mode><X87MODEF:mode>2_1):
436 Emit gen_floatdi<X87MODEF:mode>2_i387_with_xmm for DImode values
437 in 32bit mode when XMM registers are available to avoid store
439 (floatdi<X87MODEF:mode>2_i387_with_xmm): New insn pattern and
440 corresponding post-reload splitters.
442 2008-04-02 H.J. Lu <hongjiu.lu@intel.com>
444 * config/i386/i386.c (bdesc_sse_3arg): Add __builtin_ia32_shufps
445 and __builtin_ia32_shufpd. Provide __builtin_ia32_roundsd and
446 __builtin_ia32_roundss.
447 (ix86_init_mmx_sse_builtins): Remove __builtin_ia32_shufps,
448 __builtin_ia32_shufpd, __builtin_ia32_roundsd and
449 __builtin_ia32_roundss.
450 (ix86_expand_builtin): Don't handle IX86_BUILTIN_SHUFPS and
451 IX86_BUILTIN_SHUFPD here.
453 2008-04-02 H.J. Lu <hongjiu.lu@intel.com>
455 * config/i386/i386.md (plogic): New.
456 (plogicprefix): Likewise.
458 * config/i386/mmx.md (mmx_<code><mode>3): New.
459 (mmx_and<mode>3): Removed.
460 (mmx_ior<mode>3): Likewise.
461 (mmx_xor<mode>3): Likewise.
463 * config/i386/sse.md (<code><mode>3): New.
464 (*<code><mode>3): Likewise.
465 (*<code><mode>3): Likewise.
466 (<code><mode>3): Likewise.
467 (*sse_<code><mode>3): Likewise.
468 (*sse2_<code><mode>3): Likewise.
469 (<code>tf3): Likewise.
470 (*<code>tf3): Likewise.
471 (and<mode>3): Likewise.
472 (*and<mode>3): Likewise.
473 (ior<mode>3): Removed.
474 (*ior<mode>3): Likewise.
475 (xor<mode>3): Likewise.
476 (*xor<mode>3): Likewise.
477 (*and<mode>3): Likewise.
478 (*ior<mode>3): Likewise.
479 (*xor<mode>3): Likewise.
480 (and<mode>3): Likewise.
481 (*sse_and<mode>3): Likewise.
482 (*sse2_and<mode>3): Likewise.
485 (ior<mode>3): Likewise.
486 (*sse_ior<mode>3): Likewise.
487 (*sse2_ior<mode>3): Likewise.
490 (xor<mode>3): Likewise.
491 (*sse_xor<mode>3): Likewise.
492 (*sse2_xor<mode>3): Likewise.
496 2008-04-02 Richard Guenther <rguenther@suse.de>
498 PR tree-optimization/14495
499 PR tree-optimization/34793
500 * tree-vrp.c (struct switch_update): New structure.
501 (to_remove_edges, to_update_switch_stmts): New VECs.
502 (simplify_switch_using_ranges): New function. Remove not taken
503 case labels and edges.
504 (simplify_stmt_using_ranges): Call it.
505 (identify_jump_threads): Mark edges we have queued for removal
506 so we don't thread them.
507 (execute_vrp): Remove edges queued for removal, update SWITCH_STMT
509 * tree-cfg.c (group_case_labels): Deal with missing default label.
510 (tree_verify_flow_info): Allow missing default label.
511 * stmt.c (emit_case_bit_tests): Deal with NULL default_label.
512 (emit_case_nodes): Likewise.
513 (expand_case): Do not rely on the default label to be present.
514 * expr.c (try_casesi): Deal with NULL default_label.
515 (do_tablejump): Likewise.
517 2008-04-02 Richard Guenther <rguenther@suse.de>
519 PR tree-optimization/14495
520 * tree-vrp.c (vrp_visit_cond_stmt): Do not handle
522 (vrp_visit_switch_stmt): ... but here (new function).
523 (find_case_label_index): New helper function.
524 (vrp_visit_stmt): Dispatch to vrp_visit_switch_stmt.
526 2008-04-02 Paolo Bonzini <bonzini@gnu.org>
528 * fwprop.c: Fix ISO-C99ism.
530 2008-04-02 Paolo Bonzini <bonzini@gnu.org>
533 * Makefile.in (objdir): Set it here.
534 * configure.ac: Not here. Find dynamic linker characteristics.
535 * exec-tool.in: Use them.
536 * aclocal.m4: Regenerate.
537 * configure: Regenerate.
539 2008-04-02 Paolo Bonzini <bonzini@gnu.org>
541 * expr.c (expand_var): Delete it.
542 * expr.h (expand_var): Delete prototype.
543 * function.c (expand_function_start): Use expand_decl instead.
544 * cfgexpand.c (expand_one_static_var, expand_one_var): Don't call
547 2008-04-02 Andy Hutchinson <hutchinsonamdy@aim.com>
549 PR rtl-optimization/35542
550 * fwprop.c (forward_propagate_and_simplify): Replace
551 loc_reg_mentioned_in_p with reg_mentioned_p.
553 2008-04-02 Paolo Bonzini <bonzini@gnu.org>
555 PR rtl-optimization/35281
556 * fwprop.c (PR_CAN_APPEAR, PR_HANDLE_MEM): New.
557 (propagate_rtx_1): Handle PR_HANDLE_MEM.
558 (propagate_rtx): Pass PR_HANDLE_MEM if appropriate.
559 (varying_mem_p): Move above propagate_rtx.
560 (all_uses_available_at): Do not check MEMs.
562 2008-04-02 Rafael Espindola <espindola@google.com>
564 * tree-vrp.c (extract_code_and_val_from_cond): Remove.
565 (register_edge_assert_for_2): Split the cond argument.
566 (register_edge_assert_for_1): Adjust for the change in
567 register_edge_assert_for_2.
568 (register_edge_assert_for): Split the cond argument.
569 (find_switch_asserts): Adjust for the change in
570 register_edge_assert_for.
572 2008-04-02 Kai Tietz <kai.tietz@onevision.com>
574 * config.gcc: Add for x86_64-*-mingw* the t-crtfm to tbuild.
575 * gcc/config/i386/cygming.h (ASM_OUTPUT_DWARF_OFFSET): Add 8 byte
576 offsets for 64-bit mingw.
577 * gcc/config/i386/i386.c (ix86_pass_by_reference): Correct calling
578 abi for x86_64-pc-mingw.
580 2008-04-02 Richard Guenther <rguenther@suse.de>
582 * tree-vrp.c (extract_range_from_assert): Make sure to not
583 produce range min/max with TREE_OVERFOW set.
584 If merging a anti-range and a range keep the anti-range if
585 the range covers all values of the type.
586 (register_edge_assert_for_2): Only allow sign-changing
587 conversions in detecting canonical range checks. Also
588 register an assert for the unsigned name if useful.
590 PR tree-optimization/35787
591 * tree-vrp.c (vrp_val_max): New function.
592 (vrp_val_min): Likewise.
593 (vrp_val_is_max): Move earlier, use vrp_val_{min,max}.
594 (vrp_val_is_min): Likewise.
595 (supports_overflow_infinity): Use vrp_val_{min,max}.
596 (negative_overflow_infinity): Likewise.
597 (positive_overflow_infinity): Likewise.
598 (is_negative_overflow_infinity): Use vrp_val_is_{min,max}.
599 (is_positive_overflow_infinity): Likewise.
600 (is_overflow_infinity): Likewise.
601 (avoid_overflow_infinity): Use vrp_val_{min,max} and
602 vrp_val_is_{min,max}.
603 (set_and_canonicalize_value_range): Canonicalize anti-ranges
604 to ranges if possible. Avoid empty ranges.
606 2008-04-01 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
609 * fold-const.c (get_pointer_modulus_and_residue): Return modulus 1 if
610 the expression is a function address.
612 2008-04-01 George Helffrich <george@gcc.gnu.org>
614 PR fortran/PR35154, fortran/PR23057
615 * fortran/trans-common.c (create_common): Add decl to function
616 chain to preserve identifier scope in debug output.
618 * dbxout.c: Emit .stabs debug info for Fortran COMMON block
619 variables as base symbol name + offset using N_BCOMM/N_ECOMM.
620 (is_fortran, dbxout_common_name, dbxout_common_check): New functions.
621 (dbxout_symbol_location): Transform N_LCSYM to N_GSYM for storage
623 (dbxout_syms): Check for COMMON-based symbol and wrap in
624 N_BCOMM/N_ECOMM stab bracket, including as many symbols as possible
625 in bracket for efficiency.
627 * dwarf2out.c: Emit DWARF debug info for Fortran COMMON block
628 using DW_TAG_common_block + member offset.
629 (add_pubname_string): New function.
630 (dw_expand_expr): New function to find block name and offset for
632 (common_check): New function to check whether symbol in Fortran COMMON.
633 (gen_variable_die): If COMMON, use DW_TAG_common_block.
635 * testsuite/gcc.dg/debug/pr35154.c: New test to check that non-Fortran
636 use of common is unchanged.
638 * testsuite/lib/gfortran-dg.exp: New harness to compile Fortran progs
639 with all combinations of debug options available on target.
640 * testsuite/gfortran.dg/debug/debug.exp: Ditto.
641 * testsuite/gfortran.dg/debug/trivial.f: Ditto.
642 * testsuite/gfortran.dg/debug/pr35154-stabs.f: New test case for
643 .stabs functionality.
644 * testsuite/gfortran.dg/debug/pr35154-dwarf2.f: New test case for
647 2008-04-01 Volker Reichelt <v.reichelt@netcologne.de>
650 * c-format.c (init_dynamic_gfc_info): Ignore invalid locus type.
652 2008-04-02 Ben Elliston <bje@au.ibm.com>
654 * config/v850/v850.md (casesi): Remove if (0) code.
655 * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Likewise.
656 * config/alpha/alpha.c (alpha_initialize_trampoline): Likewise.
658 2008-04-01 Uros Bizjak <ubizjak@gmail.com>
660 * config/i386/i386.md (rex64suffix): New mode attribute.
661 (floathi<mode>2): Disable expander for SSE math.
662 (*floathi<mode>2_1): New insn insn_and_split pattern.
663 (*floathi<mode>2_i387_with_temp): New macroized instruction pattern and
664 corresponding post-reload splitters.
665 (*floathi<mode>2_i387): New macroized insn pattern.
666 (float<SSEMODEI24:mode><X87MODEF:mode>2): New macroized expander.
667 (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): New macroized
668 insn_and_split pattern.
669 (*floatsi<mode>2_vector_mixed_with_temp, *floatsi<mode>2_vector_mixed):
670 New macroized instruction patterns and corresponding post-reload
672 (*floatsi<mode>2_mixed_with_temp): New macroized instruction pattern
673 and corresponding post-reload splitters.
674 (*floatsi<mode>2_mixed_interunit, *floatsi<mode>2_mixed_nointerunit):
675 New macroized instruction patterns.
676 (*floatsi<mode>2_vector_sse_with_temp, *floatsi<mode>2_vector_sse): New
677 macroized instruction patterns and corresponding post-reload splitters.
678 (*floatsi<mode>2_sse_with_temp): New macroized instruction pattern and
679 corresponding post-reload splitters.
680 (*floatsi<mode>2_sse_interunit, *floatsi<mode>2_mixed_nointerunit):
681 New macroized instruction patterns.
682 (*floatsi<mode>2_i387_with_temp): New macroized instruction pattern and
683 corresponding post-reload splitters.
684 (*floatsi<mode>2_i387): New macroized instruction patterns.
686 2008-04-01 H.J. Lu <hongjiu.lu@intel.com>
688 * config/i386/i386.md (smaxmin): New.
690 (maxminiprefix): Likewise.
691 (maxminfprefix): Likewise.
692 (<code><mode>3): Likewise.
693 (smin<mode>3): Removed.
694 (smax<mode>3): Likewise.
696 * config/i386/mmx.md (mmx_<code>v2sf3): New.
697 (mmx_<code>v4hi3): Likewise.
698 (mmx_<code>v8qi3): Likewise.
699 (mmx_smaxv2sf3): Removed.
700 (mmx_sminv2sf3): Likewise.
701 (mmx_umaxv8qi3): Likewise.
702 (mmx_smaxv4hi3): Likewise.
703 (mmx_uminv8qi3): Likewise.
704 (mmx_sminv4hi3): Likewise.
706 * config/i386/sse.md (<addsub><mode>3): New.
707 (*<addsub><mode>3): Likewise.
708 (<sse>_vm<addsub><mode>3): Likewise.
709 (<maxmin><mode>3): Likewise.
710 (*<maxmin><mode>3_finite): Likewise.
711 (*<maxmin><mode>3): Likewise.
712 (<sse>_vm<maxmin><mode>3): Likewise.
713 (sse3_h<addsub>v4sf3): Likewise.
714 (sse3_h<addsub>v2df3): Likewise.
715 (<maxmin>v16qi3): Likewise.
716 (*<maxmin>v16qi3): Likewise.
717 (<maxmin>v8hi3): Likewise.
718 (*<maxmin>v8hi3): Likewise.
719 (*sse4_1_<maxmin><mode>3): Likewise.
720 (*sse4_1_<maxmin><mode>3): Likewise.
721 (add<mode>3): Removed.
722 (*add<mode>3): Likewise.
723 (<sse>_vmadd<mode>3): Likewise.
724 (sub<mode>3): Likewise.
725 (*sub<mode>3): Likewise.
726 (<sse>_vmsub<mode>3): Likewise.
727 (smin<mode>3): Likewise.
728 (*smin<mode>3_finite): Likewise.
729 (*smin<mode>3): Likewise.
730 (<sse>_vmsmin<mode>3): Likewise.
731 (smax<mode>3): Likewise.
732 (*smax<mode>3_finite): Likewise.
733 (*smax<mode>3): Likewise.
734 (<sse>_vmsmax<mode>3): Likewise.
735 (sse3_haddv4sf3): Likewise.
736 (sse3_haddv2df3): Likewise.
737 (sse3_hsubv4sf3): Likewise.
738 (sse3_hsubv2df3): Likewise.
739 (umaxv16qi3): Likewise.
740 (*umaxv16qi3): Likewise.
741 (smaxv8hi3): Likewise.
742 (*smaxv8hi3): Likewise.
743 (*sse4_1_smax<mode>3): Likewise.
744 (*sse4_1_umax<mode>3): Likewise.
745 (uminv16qi3): Likewise.
746 (*uminv16qi3): Likewise.
747 (sminv8hi3): Likewise.
748 (*sminv8hi3): Likewise.
749 (*sse4_1_smin<mode>3): Likewise.
750 (*sse4_1_umin<mode>3): Likewise.
752 2008-04-01 Rafael Espindola <espindola@google.com>
754 * tree-cfg.c (verify_expr): remove in_phi.
755 (verify_stmt): Don't call walk_tree with verify_expr. Use
756 is_gimple_min_invariant instead of is_gimple_val.
758 2008-04-01 Joseph Myers <joseph@codesourcery.com>
760 * doc/include/gpl_v3.texi: Update for manpage generation.
761 * doc/gcc.texi, doc/gccint.texi: Include gpl_v3.texi instead of
763 * doc/sourcebuild.texi: Document gpl_v3.texi as well as gpl.texi.
764 * Makefile.in (TEXI_GCC_FILES, TEXI_GCCINT_FILES): Include
765 gpl_v3.texi instead of gpl.texi.
768 2008-04-01 Jakub Jelinek <jakub@redhat.com>
771 * c-pch.c (c_common_read_pch): On error close (fd) resp. fclose (f).
773 2008-04-01 Rafael Espindola <espindola@google.com>
775 * tree-vrp.c (extract_code_and_val_from_cond_with_ops): New.
776 (extract_code_and_val_from_cond): Use
777 extract_code_and_val_from_cond_with_ops.
779 2008-04-01 Jan Hubicka <jh@suse.cz>
781 * function.c (free_after_compilation): Free epilogue_delay_list.
782 (prepare_function_start): Assert that previous compilation was freed.
784 2008-04-01 Jan Hubicka <jh@suse.cz>
785 Jim Wilson <wilson@tuliptree.org>
786 Andreas Tobler <andreast@gcc.gnu.org>
789 * m32c/m32.c (m32c_leaf_function_p, m32c_function_needs_enter): Use
790 rtl.emit instead cfun->emit.
791 * sparc/sparc.h (INIT_EXPANDERS): Likewise.
792 * ia64/ia64.h (INIT_EXPANDERS): Likewise.
794 2008-04-01 Ben Elliston <bje@au.ibm.com>
796 * doc/c-tree.texi (Function Basics): Fix grammatical error.
798 2008-03-31 Seongbae Park <seongbae.park@gmail.com>
800 * common.opt (fprofile-dir=, fprofile-use=, fprofile-generate=):
802 (fprofile-use): Add var flag_profile_use
803 * coverage.c (coverage_begin_output): Do not open a gcno file for
804 output only if -ftest-coverage is set.
805 Do not add getpwd() to gcda file path.
806 (build_gcov_info): Check the new flag
807 flag_profile_datafile_relative_path.
808 (coverage_init): Use profile_data_prefix.
809 Read profile counter only if flag_profile_use is set.
810 * opts.c (common_handle_option): New option fprofile-use=,
811 fprofile-dir=, fprofile-generate=.
812 * toplev.c (profile_data_prefix): New variable definition.
813 * toplev.h (profile_data_prefix): New declaration.
814 * doc/invoke.tex (Option Summary, Optimization Options):
817 2008-03-31 James E. Wilson <wilson@tuliptree.org>
819 * varasm.c (output_constant_pool_1): In LABEL_REF check,
820 use tmp consistently.
823 * config/ia64/div.md (recip_approx_rf): Use UNSPEC not DIV.
824 * config/ia64/ia64.c (rtx_needs_barrier): Handle
825 UNSPEC_FR_RECIP_APPROX_RES.
826 * config/ia64/ia64.md (UNSPEC_FR_RECIP_APPROX_RES): Define.
828 2008-03-31 Volker Reichelt <v.reichelt@netcologne.de>
831 * c-decl.c (store_parm_decls_oldstyle): Skip invalid parameters.
833 2008-03-31 Andrew Pinski <andrew_pinski@playstation.sony.com>
836 * fold-const.c (fold_indirect_ref_1): Support accessing non first
837 element of the vector via a pointer.
839 2008-03-31 Ian Lance Taylor <iant@google.com>
841 * tlink.c (scan_linker_output): Look for symbol name in single quotes.
843 2008-03-31 Jan Hubicka <jh@suse.cz>
845 * builtins.c (expand_builtin_setjmp_receiver): Update call of
846 get_arg_pointer_save_area.
847 * expr.c (init_expr): Just clear out rtl.expr.
848 * function.c (free_after_compilation): Clear out whole RTL structure.
849 (get_func_frame_size): Merge into ...
850 (get_frame_size): ... this one.
851 (assign_stack_local_1): Merge into ...
852 (assign_stack_local): ... this one.
853 (expand_function_end): Update call of get_arg_pointer_save_area.
854 (get_art_pointer_save_area): Remove cfun argument.
855 * function.h (emit_status): regno_pointer_align does not need length
856 attribute. Move x_regno_reg_rtx to ...
857 (regno_reg_rtx): ... new global array.
858 (reg_rtx_no, seq_stack, REGNO_POINTER_ALIGN): Update accestors.
859 (pending_stack_adjust, inhibit_defer_pop, saveregs_value,
860 apply_args_value, forced_labels, stack_pointer_delta):
862 (struct varasm_status): Move here from varasm.c
863 (struct rtl_data): New. Move here some fields from struct function.
864 (return_label, naked_return_label, stack_slot_list, parm_birth_insn,
865 frame_offset, stack_check_probe_note, arg_pointer_save_area,
866 used_temp_slots avail_temp_slots, temp_slot_level,
867 nonlocal_goto_handler_labels): Update accesstors.
868 (rtl): New global variable.
869 (struct function): Move some fileds to rtl_data.
870 (get_arg_pointer_save_area): Update prototype.
871 * emit-rtl.c (rtl): Declare.
872 (regno_reg_rtx): Declare.
873 (first_insn, last_insn, cur_insn_uid, last_location, first_label_num):
875 (gen_reg_rtx): Update.
876 (init_virtual_regs): Do not tate emit_status argument.
877 (init_emit): Do not allocate emit.
878 * varasm.c (varasm_statuc): Move to function.h.
879 (n_deferred_constatns): Update accestor.
880 (init_varasm_status): Do not allocate varasm_status.
881 (force_const_mem, get_pool_size, output_constant_pool): Update.
882 * stmt.c (force_label_rtx): Do not use x_ prefixes.
883 (expand_nl_goto_receiver): Update get_arg_pointer_save_area.
885 2008-03-31 Zdenek Dvorak <ook@ucw.cz>
887 PR rtl-optimization/35729
888 * loop-invariant.c (check_maybe_invariant): Disallow volatile memory
891 2008-03-31 H.J. Lu <hongjiu.lu@intel.com>
894 * config/i386/i386.md (*movti_internal): Emit unaligned SSE
895 load/store if memory is unaligned.
896 (*movti_rex64): Likewise.
898 * config/i386/predicates.md (misaligned_operand): New.
900 2008-03-31 Andrew Pinski <pinskia@gmail.com>
903 * tree-ssa-phiopt.c (conditional_replacement): Return early for
906 2008-03-31 Jan Beulich <jbeulich@novell.com>
908 * config/ia64/constraints.md: Add 'j' constraint.
909 * config/ia64/ia64.md (movsi_internal): Add addp4 case.
910 (movdi_internal): Likewise.
912 2008-03-30 Volker Reichelt <v.reichelt@netcologne.de>
915 * c-typeck.c (build_c_cast): Skip invalid fields in unions.
917 2008-03-30 H.J. Lu <hongjiu.lu@intel.com>
920 * config/i386/i386.c (ix86_expand_sse_4_operands_builtin): Issue
921 proper error message for the third argument on blendpd and
924 * config/i386/sse.md (blendbits): New.
925 (sse4_1_blendp<ssemodesuffixf2c>): Use it.
927 2008-03-30 Eric Botcazou <ebotcazou@adacore.com>
929 * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Add missing conversions.
931 2008-03-30 Richard Guenther <rguenther@suse.de>
934 * fold-const.c (fold_sign_changed_comparison): Do leave
935 conversions to base-types alone.
937 2008-03-29 Andrew Pinski <andrew_pinski@playstation.sony.com>
939 * config/rs6000/rs6000.c (rs6000_stack_info): Don't force saving of
940 the link register if one altivec register is be saved.
942 2008-03-30 Ben Elliston <bje@au.ibm.com>
944 * final.c (final_scan_insn): Remove if (0) code.
946 2008-03-28 Volker Reichelt <v.reichelt@netcologne.de>
948 * c-parser.c (c_parser_next_token_is_keyword): Simplify.
950 2008-03-28 H.J. Lu <hongjiu.lu@intel.com>
952 * config/i386/sse.md (*and<mode>3): Pass <MODE>mode instead
953 of V4SFmode to ix86_binary_operator_ok.
955 2008-03-28 Uros Bizjak <ubizjak@gmail.com>
957 * config/i386/i386.c (override_options): Initialize
958 ix86_veclib_handler to ix86_veclibabi_svml when
959 -mveclibabi=svml is used.
960 (ix86_veclibabi_svml): New function for SVML ABI style
961 vectorization support.
962 * doc/invoke.texi (-mveclibabi) [svml]: Document new target option.
964 2008-03-28 Rafael Espindola <espindola@google.com>
966 * fold-const.c (tree_unary_nonnegative_warnv_p): Make it public.
967 (tree_binary_nonnegative_warnv_p): Make it public.
968 (tree_single_nonnegative_warnv_p): Make it public.
969 (tree_invalid_nonnegative_warnv_p): Make it public.
970 (tree_unary_nonzero_warnv_p): Make it public.
971 (tree_binary_nonzero_warnv_p): Make it public
972 (tree_single_nonzero_warnv_p): Make it public.
973 * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops): New function.
974 (extract_range_from_binary_expr): Split the expr argument.
975 (extract_range_from_unary_expr): Split the expr argument.
976 (extract_range_from_comparison): Split the expr argument.
977 (extract_range_from_expr): Use the new aux functions.
978 (vrp_evaluate_conditional_warnv): Use
979 vrp_evaluate_conditional_warnv_with_ops.
980 * tree.h (tree_unary_nonzero_warnv_p): Declare.
981 (tree_binary_nonzero_warnv_p): Declare.
982 (tree_single_nonzero_warnv_p): Declare.
983 (tree_expr_nonzero_warnv_p): Declare.
984 (tree_unary_nonnegative_warnv_p): Declare.
985 (tree_binary_nonnegative_warnv_p): Declare.
986 (tree_single_nonnegative_warnv_p): Declare.
987 (tree_invalid_nonnegative_warnv_p): Declare.
989 2008-03-28 Richard Guenther <rguenther@suse.de>
991 PR tree-optimization/30317
992 PR tree-optimization/30911
993 PR tree-optimization/34793
994 * tree-vrp.c (set_and_canonicalize_value_range): New function.
995 (struct assert_locus_d): New member EXPR.
996 (register_new_assert_for): Add EXPR parameter to support
997 ASSERT_EXPR <name, expr OP limit>.
998 (register_edge_assert_for_1): Adjust callers.
999 (find_assert_locations): Likewise.
1000 (process_assert_insertions_for): Build condition from expression.
1001 (extract_range_from_assert): Handle ASSERT_EXPRs
1002 of the form ASSERT_EXPR <name, expr OP limit>.
1003 (register_edge_assert_for_2): New helper registering
1004 asserts for comparisons. Recognize range tests of the form
1005 (unsigned)i - CST1 OP CST2.
1006 (register_edge_assert_for_1): Use it.
1007 (register_edge_assert_for): Likewise.
1008 (needs_overflow_infinity): Integer sub-types
1009 do not need overflow infinities.
1010 (vrp_val_is_max): The extreme values of integer sub-types
1011 are those of the base type.
1012 (vrp_val_is_min): Likewise.
1013 * tree.def (ASSERT_EXPR): Document extra allowed conditional
1016 2008-03-28 Nick Clifton <nickc@redhat.com>
1018 * config/mn10300/mn10300.c (mn10300_secondary_reload_class):
1019 Return GENERAL_REGS for stack adjustment reloads.
1021 2008-03-28 Andrew Pinski <andrew_pinski@playstation.sony.com>
1024 * config/rs6000/rs6000.c (rs6000_expand_vector_init): Create a
1025 const_vector when all the vectors are constant.
1027 2008-03-27 Bob Wilson <bob.wilson@acm.org>
1029 * config/xtensa/xtensa.c (gen_float_relational): Handle unordered
1031 * config/xtensa/xtensa.md (any_cond): Add unordered comparisons.
1032 (any_scc_sf): Add uneq, unlt, unle and unordered operators.
1034 (s<code>_sf): Use new scc_sf attribute for opcode names.
1036 2008-03-27 Tom Tromey <tromey@redhat.com>
1038 * doc/sourcebuild.texi, doc/install.texi, configure, aclocal.m4,
1039 configure.ac, Makefile.in, config/t-darwin, config/m32c/t-m32c,
1040 config/spu/t-spu-elf, config/i386/t-interix,
1041 config/i386/t-cygming, config/i386/x-i386, config/i386/t-cygwin,
1042 config/i386/x-darwin, config/i386/x-mingw32,
1043 config/i386/t-netware, config/i386/x-cygwin, config/i386/t-nwld,
1044 config/sh/t-sh, config/sh/t-symbian, config/x-linux,
1045 config/t-sol2, config/x-hpux, config/x-darwin, config/ia64/t-ia64,
1046 config/x-solaris, config/t-vxworks, config/m68k/t-uclinux,
1047 config/rs6000/x-rs6000, config/rs6000/x-darwin64,
1048 config/rs6000/x-darwin, config/rs6000/t-rs6000,
1049 config/score/t-score-elf, config/arm/t-strongarm-pe,
1050 config/arm/t-pe, config/arm/t-arm, config/arm/t-wince-pe,
1051 config/v850/t-v850, config/v850/t-v850e, config/bfin/t-bfin-linux:
1052 Revert automatic dependency patch.
1054 2008-03-27 H.J. Lu <hongjiu.lu@intel.com>
1057 * config/i386/i386.c (ix86_function_arg_boundary): Align
1058 decimal floating point to its natural boundary.
1060 2008-03-27 Richard Guenther <rguenther@suse.de>
1063 * fold-const.c (fold_comparison): Restrict distinct decl
1064 comparison folding to VAR_DECLs and PARM_DECLs. Do not
1065 solely rely on operand_equal_p.
1067 2008-03-27 Richard Guenther <rguenther@suse.de>
1070 * c-common.c (handle_weak_attribute): Reject combination of
1073 2008-03-27 Richard Guenther <rguenther@suse.de>
1075 PR tree-optimization/32810
1076 * tree-ssa-ccp.c (get_symbol_constant_value): Strip useless
1077 conversions from DECL_INITIAL.
1078 (fold_const_aggregate_ref): Likewise from constructor elements.
1080 2008-03-27 Zdenek Dvorak <ook@ucw.cz>
1082 * tree-affine.h (aff_combination_expand): Declare.
1083 (get_inner_reference_aff): Likewise.
1084 * tree-affine.c (aff_combination_expand): Split out from
1085 tree_to_aff_combination_expand.
1086 (get_inner_reference_aff): New function.
1087 * tree-parloops.c (loop_parallel_p): Free vectorizer info.
1088 * tree-ssa-loop-im.c: Include tree-affine.h and pointer-set.h.
1089 (struct lim_aux_data): sm_done field removed.
1090 (mem_ref_loc_p, mem_ref_locs_p): New types.
1091 (struct mem_ref): Added id, stored, accesses_in_loop,
1092 indep_loop, dep_loop, indep_ref, dep_ref fields.
1093 Removed is_stored, locs and next fields.
1094 (memory_accesses): New variable.
1095 (movement_possibility): Do not allow moving statements
1096 that store to memory.
1097 (outermost_indep_loop, simple_mem_ref_in_stmt, mem_ref_in_stmt):
1099 (determine_max_movement): For statements with memory references,
1100 find the outermost loop in that the reference is independent.
1101 (move_computations_stmt): Mark the virtual operands for renaming.
1102 (memref_free, mem_ref_alloc, mem_ref_locs_alloc, mark_ref_stored,
1103 gather_mem_refs_stmt, gather_mem_refs_in_loops, vtoe_hash, vtoe_eq,
1104 vtoe_free, record_vop_access, get_vop_accesses, get_vop_stores,
1105 add_vop_ref_mapping, create_vop_ref_mapping_loop,
1106 create_vop_ref_mapping, analyze_memory_references,
1107 cannot_overlap_p, mem_refs_may_alias_p, rewrite_mem_ref_loc,
1108 get_all_locs_in_loop, ref_always_accessed_p,
1109 refs_independent_p, record_indep_loop, ref_indep_loop_p_1,
1110 ref_indep_loop_p, can_sm_ref_p, find_refs_for_sm,
1111 store_motion_loop, store_motion): New functions.
1112 (struct vop_to_refs_elt): New type.
1113 (record_mem_ref_loc, free_mem_ref_locs, rewrite_mem_refs,
1114 memref_hash, memref_eq, hoist_memory_references): Rewritten.
1115 (schedule_sm): Replaced by...
1116 (execute_sm): ... this.
1117 (determine_lsm_ref, hoist_memory_references,
1118 loop_suitable_for_sm, gather_mem_refs_stmt, gather_mem_refs,
1119 find_more_ref_vops, free_mem_ref, free_mem_refs,
1120 determine_lsm_loop, determine_lsm): Removed.
1121 (tree_ssa_lim_finalize): Free data structures used by store motion.
1122 (tree_ssa_lim): Call analyze_memory_references. Use
1123 store_motion instead of determine_lsm.
1125 2008-03-27 Paolo Bonzini <bonzini@gnu.org>
1127 * config.cc (m68hc11, m6811, m68hc12, m6812): Add usegas.h,
1128 rename tmake_file to m68hc11/t-m68hc11.
1129 (mcore): Set inhibit_libc to true.
1130 * config.host (alpha*-dec-*vms*): Set extra_programs.
1131 (interix3*): Don't use host_xmake_file.
1132 * configure.ac: Let config.gcc override inhibit_libc.
1133 * configure: Regenerate.
1135 * config/alpha/x-vms (EXTRA_PROGRAMS): Remove.
1136 * config/t-openbsd-thread: Remove commented out lines.
1138 * config/x-interix: Remove.
1140 * config/m68hc11/t-m68hc11-gas: Rename to...
1141 * config/m68hc11/t-m68hc11: ... this. Remove T_CPPFLAGS.
1143 * config/mcore/t-mcore: Remove T_CFLAGS.
1144 * config/mcore/t-mcore-pe: Likewise.
1146 2008-03-27 Paolo Bonzini <bonzini@gnu.org>
1148 * configure.ac: Replace custom __GNU_SOURCE test with
1149 AC_USE_SYSTEM_EXTENSIONS. Move it earlier.
1150 * aclocal.m4: Regenerate.
1151 * configure: Regenerate.
1152 * config.in: Regenerate.
1154 2008-03-27 Richard Guenther <rguenther@suse.de>
1156 * fold-const.c (target.h): Include.
1157 (fold_comparison): Fold comparison of addresses of decls
1158 that bind locally or of constants. Consolidate address folding code.
1159 * tree-vrp.c (operand_less_p): Deal with non-INTEGER_CST
1160 results from fold_binary_to_constant.
1161 (compare_values_warnv): Likewise.
1163 2008-03-27 Andrew Pinski <pinskia@gmail.com>
1166 * fold-const.c (fold_truthop): Check for integeral types when folding
1167 a == 0 && b == 0 and a != 0 || b != 0 .
1169 2008-03-26 Eric Botcazou <ebotcazou@adacore.com>
1171 * tree.c (get_unwidened): Remove code fiddling with COMPONENT_REF.
1173 2008-03-26 Andreas Schwab <schwab@suse.de>
1175 * doc/invoke.texi: Fix use of @item vs. @itemx.
1177 2008-03-26 Tom Tromey <tromey@redhat.com>
1179 * Makefile.in (build/gensupport.o, build/print-rtl.o,
1180 build/read-rtl.o, build/rtl.o, build/gencondmd.o, build/genattr.o,
1181 build/genattrtab.o, build/genautomata.o, build/gencheck.o,
1182 build/gencodes.o, build/genconditions.o, build/genconfig.o,
1183 build/genconstants.o, build/genemit.o, build/genextract.o,
1184 build/genflags.o, build/genmddeps.o, build/genopinit.o,
1185 build/genoutput.o, build/genpeep.o, build/genrecog.o): Depend on
1188 2008-03-26 Richard Guenther <rguenther@suse.de>
1191 2008-03-26 Richard Guenther <rguenther@suse.de>
1193 * fold-const.c (target.h): Include.
1194 (fold_comparison): Fold comparison of addresses of two decls
1195 that bind locally. Consolidate address folding code.
1197 2008-03-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1199 * builtins.c (expand_builtin_pow, fold_builtin_cabs,
1200 fold_builtin_sqrt, fold_builtin_cbrt, fold_builtin_logarithm,
1201 fold_builtin_hypot, fold_builtin_pow): Remove uses of dconst3,
1202 dconstsqrt2, dconstthird, dconste and/or dconst10.
1203 * config/i386/i386.c (ix86_emit_swsqrtsf): Likewise.
1204 * emit-rtl.c (dconst3, dconst10, dconstm2, dconstthird,
1205 dconstsqrt2, dconste): Delete.
1206 (init_emit_once): Likewise. Simplify initializing dconstm1.
1208 * real.c (get_real_const): New.
1209 * real.h (dconst3, dconst10, dconstm2, dconstthird,
1210 dconstsqrt2, dconste): Delete.
1211 (real_value_const, get_real_const): New.
1213 2008-03-26 H.J. Lu <hongjiu.lu@intel.com>
1215 * config/i386/cygming.h (BIGGEST_ALIGNMENT): Removed.
1217 * config/i386/i386.c (ix86_function_arg_boundary): Check
1218 BIGGEST_ALIGNMENT instead of 128.
1219 (setup_incoming_varargs_64): Likewise.
1221 2008-03-26 Tom Tromey <tromey@redhat.com>
1223 * Makefile.in (DEPFILES): Add missing '/'.
1225 2008-03-26 Richard Guenther <rguenther@suse.de>
1227 * fold-const.c (target.h): Include.
1228 (fold_comparison): Fold comparison of addresses of two decls
1229 that bind locally. Consolidate address folding code.
1231 2008-03-26 Nick Clifton <nickc@redhat.com>
1234 * config/stormy16/stormy16.c (xstormy16_legitimate_address_p): Do
1235 not allow INT+INT as a legitimate addressing mode.
1237 2008-03-26 Richard Guenther <rguenther@suse.de>
1239 * tree-flow.h (widen_bitfield): Remove declaration.
1240 * tree-ssa-ccp.c (visit_assignment): Remove unneeded code.
1241 (widen_bitfield): Remove function.
1242 * tree-ssa-dom.c (record_equivalences_from_stmt): Remove unneeded
1245 2008-03-25 Andrew Pinski <andrew_pinski@playstation.sony.com>
1248 * config/rs6000/rs6000-c.c (rs6000_builtin_type_compatible): Handle
1251 2008-03-25 Richard Sandiford <rsandifo@nildram.co.uk>
1253 PR rtl-optimization/35232
1254 * reload1.c (reg_reloaded_call_part_clobbered): Clarify comment.
1255 (forget_old_reloads_1, forget_marked_reloads): Don't clear
1256 reg_reloaded_call_part_clobbered here.
1257 (reload_regs_reach_end_p): New function.
1258 (reload_reg_rtx_for_input): New variable.
1259 (reload_reg_rtx_for_output): Likewise.
1260 (emit_input_reload_insns): Use reloadreg rather than rl->reg_rtx
1261 when reassigning a pseudo register. Load reloadreg from
1262 reload_reg_rtx_for_input, moving the mode and register
1264 (do_input_reload): ...here. Use the mode-adjusted reg_rtx
1265 instead of the original when deciding whether an input reload
1266 would be a no-op or whether an output reload can be deleted.
1267 (emit_output_reload_insns): Use the mode-adjusted reg_rtx
1268 when setting up new_spill_reg_store. Load it from
1269 reload_reg_rtx_for_output, moving the mode and register
1271 (do_output_reload): ...here. Use the mode-adjusted reg_rtx
1272 instead of the original when deciding whether an output reload
1273 would be a no-op. Do the same when modifying insn notes.
1274 Use rtx_equal_p instead of == to compare the registers.
1275 (inherit_piecemeal_p): Take a mode and two register numbers
1277 (emit_reload_insns): Clear new_spill_reg_store for every hard
1278 register in the reload register. Remove spill registers
1279 from reg_reloaded_valid before considering whether to record
1280 inheritance information for them. Use reload_reg_rtx_for_output
1281 instead of reg_rtx when recording output reloads. Use
1282 reload_reg_rtx_for_input instead of reg_rtx when recording
1283 input reloads. Set or clear reg_reloaded_call_part_clobbered
1284 at the same time as setting reg_reloaded_valid.
1285 (delete_output_reload): Add a new_reload_reg parameter and use it
1286 instead of rld[j].reg_rtx.
1287 (emit_input_reload_insns, do_input_reload, do_output_reload): Adjust
1290 2008-03-25 Tom Tromey <tromey@redhat.com>
1292 * Makefile.in (build/gensupport.o): Depend on insn-modes.h.
1293 (build/genattr.o): Likewise.
1294 (build/genattrtab.o): Likewise.
1295 (build/gencodes.o): Likewise.
1296 (build/genconfig.o): Likewise.
1297 (build/genconstants.o): Likewise.
1298 (build/genemit.o): Likewise.
1299 (build/genextract.o): Likewise.
1300 (build/genflags.o): Likewise.
1302 2008-03-25 Bob Wilson <bob.wilson@acm.org>
1304 * config/xtensa/xtensa.c (xtensa_va_start): Use build_int_cst
1305 instead of size_int for integer types.
1306 (xtensa_gimplify_va_arg_expr): Likewise. Convert index to sizetype
1307 to match type of MINUS_EXPR.
1309 2008-03-25 Tom Tromey <tromey@redhat.com>
1311 * configure: Rebuilt.
1312 * configure.ac (BUILD_DEPMODE): Extract CCDEPMODE from temporary
1315 2008-03-25 Tom Tromey <tromey@redhat.com>
1317 * config/x-solaris (host-solaris.o): Update.
1318 * config/x-linux (host-linux.o): Update.
1319 * config/x-hpux (host-hpux.o): Update.
1320 * config/x-darwin (host-darwin.o): Update.
1321 * config/v850/t-v850e (v850-c.o): Update.
1322 * config/v850/t-v850 (v850-c.o): Update.
1323 * config/t-vxworks (vxworks.o): Update.
1324 * config/t-sol2 (sol2-c.o, sol2.o): Update.
1325 * config/t-darwin (darwin.o, darwin-c.o, darwin-driver.o): Update.
1326 * config/spu/t-spu-elf (spu-c.o): Update.
1328 * config/sh/t-symbian (sh-c.o): Update.
1329 (symbian.o): Update.
1330 * config/sh/t-sh (sh-c.o): Update.
1331 * config/score/t-score-elf (score7.o, score3.o): Update.
1332 * config/rs6000/x-rs6000 (driver-rs6000.o): Update.
1333 * config/rs6000/x-darwin64 (host-ppc64-darwin.o): Update.
1334 * config/rs6000/x-darwin (host-ppc-darwin.o): Update.
1335 * config/rs6000/t-rs6000 (rs6000-c.o): Update.
1337 * config/m68k/t-uclinux (generated_files): Add sysroot-suffix.h.
1338 * config/m32c/t-m32c (m32c-pragma.o): Update.
1339 * config/ia64/t-ia64 (ia64-c.o): Update.
1340 * config/i386/x-mingw32 (host-mingw32.o): Update.
1341 * config/i386/x-i386 (driver-i386.o): Update.
1342 * config/i386/x-darwin (host-i386-darwin.o): Update.
1343 * config/i386/x-cygwin (host-cygwin.o): Update.
1344 * config/i386/t-nwld (nwld.o): Update.
1345 * config/i386/t-netware (netware.o): Update.
1346 * config/i386/t-interix (winnt.o): Update.
1347 * config/i386/t-cygwin (cygwin1.o, cygwin2.o): Update.
1348 * config/i386/t-cygming (winnt.o, winnt-cxx.o, winnt-stubs.o,
1349 msformat-c.o): Update.
1350 * config/bfin/t-bfin-linux (generated_files): Add
1351 linux-sysroot-suffix.h.
1352 * config/arm/t-wince-pe (pe.o): Update.
1353 * config/arm/t-strongarm-pe (pe.o): Update.
1354 * config/arm/t-pe (pe.o): Update.
1355 * config/arm/t-arm (arm-c.o): Update.
1356 * doc/install.texi (Prerequisites): Require make 3.80.
1357 * Makefile.in: Remove .o targets.
1358 (CCDEPMODE, DEPDIR, depcomp, BUILD_DEPMODE): New variables.
1359 (OBSTACK_H, FIBHEAP_H, PARTITION_H, MD5_H, BCONFIG_H): Remove.
1360 (simple_generated_h, simple_generated_c): Move earlier.
1361 (generated_files): New variable.
1362 (TARGET_H, MACHMODE_H, HOOKS_H, HOSTHOOKS_DEF_H, LANGHOOKS_DEF_H,
1363 TARGET_DEF_H, RTL_BASE_H, RTL_H, PARAMS_H, BUILTINS_DEF, TREE_H,
1364 BASIC_BLOCK_H, GCOV_IO_H, COVERAGE_H, DEMANGLE_H, RECOG_H,
1365 ALIAS_H, EMIT_RTL_H, FLAGS_H, FUNCTION_H, EXPR_H, OPTABS_H,
1366 REGS_H, RA_H, RESOURCE_H, SCHED_INT_H, INTEGRATE_H, CFGLAYOUT_H,
1367 CFGLOOP_H, IPA_UTILS_H, IPA_REFERENCE_H, IPA_TYPE_ESCAPE_H,
1368 CGRAPH_H, DF_H, RESOURCE_H, DDG_H, GCC_H, GGC_H, TIMEVAR_H,
1369 INSN_ATTR_H, C_COMMON_H, C_PRAGMA_H, C_TREE_H, SYSTEM_H,
1370 PREDICT_H, DECNUM_H, MKDEPS_H, SYMTAB_H, TREE_DUMP_H,
1371 TREE_GIMPLE_H, TREE_FLOW_H, TREE_SSA_LIVE_H, PRETTY_PRINT_H,
1372 DIAGNOSTIC_H, C_PRETTY_PRINT_H, SCEV_H, LAMBDA_H, TREE_DATA_REF_H,
1373 VARRAY_H, TREE_INLINE_H, REAL_H, DBGCNT_H, EBIMAP_H): Remove.
1375 (COMPILE.base, COMPILE): New variables.
1376 (%.o): New pattern rule.
1377 (ALL_HOST_OBJS): New variable.
1378 (xgcc$(exeext), cpp$(exeext)): Remove extra version.o.
1379 (dummy-checksum.o, cc1-checksum.o): Remove.
1380 (DRIVER_SHLIB): New variable.
1381 (DRIVER_DEFINES): Use it.
1382 (gencondmd.c): Move out of build/.
1383 (s-conditions): Update.
1384 (BUILDCOMPILE.base, BUILDCOMPILE): New variables.
1385 (ALL_BUILD_OBJS): Likewise.
1386 (build/%.o): Use BUILDCOMPILE.
1387 (build/ggc-none.o, build/ggc-none.o, build/min-insn-modes.o,
1388 build/print-rtl.o, build/read-rtl.o, build/rtl.o, build/vec.o,
1389 build/gencondmd.o, build/genattrtab.o, build/genautomata.o,
1390 build/gencheck.o, build/gencodes.o, build/genconditions.o,
1391 build/genconfig.o, build/genconstants.o, build/genemit.o,
1392 build/genextract.o, build/genflags.o, build/genmddeps.o,
1393 build/genopinit.o, build/genoutput.o, build/genpeep.o,
1394 build/genpreds.o, build/genrecog.o, build/gcov-iov.o,
1395 build/gen-protos.o, build/scan.o, build/fix-header.o,
1396 build/scan-decls.o): Simplify.
1397 (collect2.o, c-opts.o, gcc.o, gccspec.o, gcc-options.o,
1398 cppdefault.o, protoize.o, unprotoize.o, intl.o, version.o,
1399 prefix.o, toplev.o): Reduce to variable setting.
1400 (libbackend.o): Use COMPILE. Remove most dependencies. Move later.
1401 ($(out_object_file), gcc-options.o): New targets.
1402 ($(ALL_HOST_OBJS)): New target. Include dependency files.
1403 * configure: Rebuilt.
1404 * configure.ac: Call ZW_CREATE_DEPDIR, ZW_PROG_COMPILER_DEPENDENCIES.
1405 * doc/sourcebuild.texi (Front End Directory): Document new variable.
1407 2008-03-25 Douglas Gregor <doug.gregor@gmail.com>
1409 * c-common.c (c_sizeof_or_alignof_type): If we're not allowed to
1410 complain when we hit an error, return ERROR_MARK_NODE.
1412 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
1414 * config/sh/constraints.md (Pso, Psz): New constraints.
1415 * config/sh/sh.c (print_operand): Add %V and %W operand codes.
1416 * config/sh/sh.md (*andsi3_bclr, *iorsi3_bset): New insns.
1418 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
1420 * config/sh/sh.c (sh_expand_t_scc): Emit movrt for SH2A if possible.
1421 * config/sh/sh.md (xorsi3_movrt, movrt): New insns.
1423 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
1425 * config/sh/sh.md (prefetch): Add condition for SH2A target.
1426 (prefetch_sh2a): New.
1428 2008-03-25 Jayant Sonar <Jayant.sonar@kpitcummins.com>
1429 Naveen.H.S <naveen.hs@kpitcummins.com>
1431 * config/sh/constraints.md (I28): New constraint.
1432 * config/sh/sh.c (broken_move): Add support for movi20s.
1433 * config/sh/sh.md (movsi_ie): Add the alternative for movi20s.
1435 2008-03-25 Anil Paranjape <anil.paranjape@kpitcummins.com>
1436 Jayant Sonar <Jayant.sonar@kpitcummins.com>
1437 Naveen.H.S <naveen.hs@kpitcummins.com>
1439 * config/sh/sh.c (SH_ATTRIBUTES): Define.
1440 (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
1441 (print_operand): Handle resbank in %@ operand code.
1442 (sh_encode_section_info): New.
1443 (push_regs): Add conditions for resbank.
1444 (sh_expand_epilogue): Likewise.
1445 (sh_insert_attributes): Likewise.
1446 (sh_attribute_table): Likewise.
1447 (sh_handle_resbank_handler_attribute): New.
1448 (sh2a_handle_function_vector_handler_attribute): New.
1449 (sh2a_is_function_vector_call): New.
1450 (sh2a_get_function_vector_number): New.
1451 (sh2a_function_vector_p): New.
1452 (sh_cfun_resbank_handler_p): New.
1453 * config/sh/sh.md (calli): Emit jsr/n if possible.
1454 (calli_tbr_rel): New.
1455 (calli_pcrel): Emit jsr/n if possible.
1456 (return_i): Emit rts/n if possible.
1457 (call_valuei_tbr_rel): New.
1458 (call_valuei_pcrel): Add condition for SH2A target.
1459 (call_value): Likewise.
1460 * config/sh/sh-protos.h (sh_cfun_resbank_handler_p): Declare.
1461 (sh2a_get_function_vector_number): Likewise.
1462 (sh2a_is_function_vector_call): Likewise.
1463 * doc/extend.texi: Document TBR relative addressing of SH2A.
1464 (resbank): Add description for SH2A.
1466 2008-03-24 Richard Guenther <rguenther@suse.de>
1469 * gimplify.c (gimplify_modify_expr): For frontend type-correct
1470 pointer assignments change conversions according to middle-end rules.
1471 (gimplify_modify_expr_rhs): Deal with NULL TARGET_EXPR_INITIAL.
1472 * configure.ac: Include type checking in yes.
1473 * configure: Regenerate.
1475 2008-03-24 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1477 * diagnostic.c (diagnostic_count_diagnostic): Delete.
1478 (diagnostic_report_diagnostic): Update. Handle ICEs here.
1480 2008-03-24 Nathan Sidwell <nathan@codesourcery.com>
1482 * gthr-vxworks.h (UNUSED): Define.
1484 2008-03-23 H.J. Lu <hongjiu.lu@intel.com>
1486 * config/i386/i386.h (STATIC_CHAIN_REGNUM): Use R10_REG and CX_REG.
1488 2008-03-23 Zuxy Meng <zuxy.meng@gmail.com>
1490 * doc/extend.texi (Function Attributes): Add missing comma in the
1491 example of the "alloc_size" attribute.
1493 2008-03-23 Uros Bizjak <ubizjak@gmail.com>
1496 2008-03-05 H.J. Lu <hongjiu.lu@intel.com>
1498 * config/i386/i386-modes.def: Use 4 byte alignment on DI for
1501 2008-03-19 Uros Bizjak <ubizjak@gmail.com>
1504 * stor-layout.c (update_alignment_for_field): Set minimum alignment
1505 of the underlying type of a MS bitfield layout to the natural
1506 alignment of the type.
1508 2008-03-22 Uros Bizjak <ubizjak@gmail.com>
1510 * config/i386/i386.c (assign_386_stack_local): Align DImode slots
1511 to their natural alignment to avoid store forwarding stalls.
1513 2008-03-22 Richard Guenther <rguenther@suse.de>
1515 * tree-cfg.c (verify_expr): Recurse again for invariant addresses.
1516 For PHI nodes verify the address is invariant.
1517 * tree-ssa-ccp.c (ccp_decl_initial_min_invariant): Remove.
1518 (get_symbol_constant_value): Use is_gimple_min_invariant.
1519 (maybe_fold_stmt_indirect): Likewise.
1521 2008-03-22 Richard Sandiford <rsandifo@nildram.co.uk>
1523 PR rtl-optimization/33927
1524 * Makefile.in (dse.o): Depend on $(TM_P_H).
1525 * expr.h (extract_low_bits): Declare.
1526 * expmed.c (extract_low_bits): New function.
1527 * rtlhooks.c (gen_lowpart_general): Generalize SUBREG handling.
1528 * dse.c: Include tm_p.h.
1529 (find_shift_sequence): Remove the read_reg argument and return the
1530 read value. Emit the instructions instead of returning them.
1531 Iterate on new_mode rather than calculating it each time.
1532 Check MODES_TIEABLE_P. Use simplify_gen_subreg to convert the
1533 source to NEW_MODE and extract_low_bits to convert the shifted
1535 (replace_read): Allow the load and store to have different mode
1536 classes. Use extract_low_bits when SHIFT == 0. Create the shift
1537 or extraction instructions before trying the replacement. Update
1538 dump-file code accordingly, avoiding use of REGNO (store_info->rhs).
1540 2008-03-22 Uros Bizjak <ubizjak@gmail.com>
1542 * config/i386/i386.c (assign_386_stack_local): Align DImode slots
1543 to their natural alignment to avoid store forwarding stalls.
1545 2008-03-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
1548 * config/rs6000/rs6000.md (floatdidf2): Discouraging fprs and
1549 encouraging but not allowing gprs for input;
1550 change the input constraint to !f#r.
1551 (fix_truncdfdi2): Discouraging fprs and encouraging but not allowing
1553 change the output constraint to !f#r.
1555 2008-03-21 Uros Bizjak <ubizjak@gmail.com>
1558 * config/i386/i386.md ("*floatunssi<mode2>_1"): New pattern with
1559 corresponding post-reload splitters.
1560 ("floatunssi<mode>2"): Expand to unsigned_float x87 insn pattern
1561 when x87 FP math is selected.
1562 * config/i386/i386-protos.h (ix86_expand_convert_uns_sixf_sse):
1563 New function prototype.
1564 * config/i386/i386.c (ix86_expand_convert_uns_sixf_sse): New
1565 unreachable function to ease macroization of insn patterns.
1567 2008-03-21 Martin Jambor <mjambor@suse.cz>
1569 * tree-data-ref.c (dump_data_dependence_relation): Avoid data
1570 reference dumps if ddr is NULL or dependence is unknown.
1572 2008-03-20 Kaz Kojima <kkojima@gcc.gnu.org>
1574 * config/sh/linux-atomic.asm (ATOMIC_TEST_AND_SET): Take
1575 unsigned extension into account.
1576 (ATOMIC_COMPARE_AND_SWAP): Likewise.
1577 (ATOMIC_FETCH_AND_OP, ATOMIC_FETCH_AND_COMBOP): Likewise.
1578 Do computations on a scratch register.
1580 2008-03-21 Richard Guenther <rguenther@suse.de>
1582 * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
1583 Use is_gimple_min_invariant instead of TREE_INVARIANT.
1584 * tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Likewise.
1585 * tree-ssa-dom.c (record_equality): Likewise.
1586 * tree-inline.c (copy_body_r): Likewise.
1587 * tree-ssa-pre.c (make_values_for_stmt): Remove test for
1590 2008-03-20 Kaz Kojima <kkojima@gcc.gnu.org>
1592 * config/sh/sh.c (split_branches): Pass zero to redirect_jump
1593 as 'delete_unused' argument.
1595 2008-03-20 Richard Guenther <rguenther@suse.de>
1597 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
1598 special casing of constant qualifiers.
1599 * tree-ssa.c (useless_type_conversion_p_1): Instead do not
1600 care about them in general.
1601 * tree-ssa-ccp.c (ccp_fold): Addresses are constant or not
1602 regardless of their type.
1603 (fold_stmt_r): Forcefully fold *& if we end up with that.
1605 2008-03-20 Paul Brook <paul@codesourcery.com>
1607 * config.gcc (arm*-*-uclinux*): Remove duplicate arm/uclinux-elf.h.
1608 * config/arm/uclinux-eabi.h (SUBTARGET_EXTRA_LINK_SPEC): Add extra
1610 * config/arm/bpabi.h (SUBTARGET_EXTRA_LINK_SPEC): Provide default
1612 (LINK_SPEC): Use SUBTARGET_EXTRA_LINK_SPEC.
1613 * config/arm/unwind-arm.h (_Unwind_decode_target2): Add uClinux.
1615 2008-03-20 Volker Reichelt <v.reichelt@netcologne.de>
1617 * common.opt (Wmudflap): New option.
1618 * tree-mudflap.c (mf_xform_derefs_1): Guard warning by OPT_Wmudflap.
1619 (mx_register_decls): Likewise.
1620 (mudflap_finish_file): Likewise.
1621 * doc/invoke.texi: Document -Wno-mudflap.
1623 2008-03-20 Kai Tietz <kai.tietz@onevision.com>
1625 * c-format.c (replace_format_name_to_system_name): New.
1627 (convert_format_name_to_system_name): New.
1628 (decode_format_attr): Add use of convert_format_name_to_system_name.
1629 (format_types_orig): Add gnu_ prefix to names.
1630 (check_format_info_main): Special treating of \0 escaped names for
1631 supporting multi-character format specifiers as I32, I64.
1632 (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): Use of user defined attributes.
1633 (gnu_target_overrides_format_attributes): New.
1634 * c-format.h: Add structure target_ovr_attr to hold
1635 system specific formatter names.
1636 * config.gcc: Add for x86&x86_64 cygwin and mingw32 targets the
1637 msformat-c.o file to c_target_objs and cxx_target_objs.
1638 * config/i386/mingw32.h (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New.
1639 (TARGET_OVERRIDES_FORMAT_ATTRIBUTES_COUNT): New.
1640 (TARGET_N_FORMAT_TYPES): New.
1641 * config/i386/msformat-c.c: New.
1642 * config/i386/t-cygming: Add build rule for msformat-c.o.
1643 * doc/extend.texi: Add new format names gnu_* and ms_* and
1645 * doc/tm.texi: (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New.
1647 2008-03-20 Ira Rosen <irar@il.ibm.com>
1649 * doc/invoke.texi (-O3): Add -ftree-vectorize to the list of
1650 optimizations turned on under -O3.
1651 (ftree-vectorize): Add that the flag is turned on with -O3.
1653 2008-03-20 Ben Elliston <bje@au.ibm.com>
1655 * regmove.c (try_auto_increment): Fix spelling error in comment.
1656 * final.c (final_scan_insn): Likewise.
1658 2008-03-20 Uros Bizjak <ubizjak@gmail.com>
1661 * config/i386/mmx.md (*mov<mode>_internal_rex64"): Adjust register
1662 allocator preferences for "y" and "r" class registers.
1663 ("*mov<mode>_internal"): Ditto.
1664 ("*movv2sf_internal_rex64"): Ditto.
1665 ("*movv2sf_internal"): Ditto.
1667 2008-03-19 Michael Matz <matz@suse.de>
1670 * calls.c (expand_call): Check overlap of arguments with call
1671 address for sibcalls.
1673 2008-03-19 Uros Bizjak <ubizjak@gmail.com>
1676 * stor-layout.c (update_alignment_for_field): Set minimum alignment
1677 of the underlying type of a MS bitfield layout to the natural
1678 alignment of the type.
1680 2008-03-19 Jan Hubicka <jh@suse.cz>
1683 * toplev.c (decode_d_option): Handle all CPP flags.
1684 * tree-vrp.c: Update tree_pass descriptors.
1685 * regrename.c: Update tree_pass descriptors.
1686 * fwprop.c: Update tree_pass descriptors.
1687 * doc/invoke.texi: Remove documentation of dropped -d? flags.
1688 * tree-into-ssa.c: Update tree_pass descriptors.
1689 * tree-dump.c: Update tree_pass descriptors.
1690 * tree-complex.c: Update tree_pass descriptors.
1691 * tree-dump.h: Update tree_pass descriptors.
1692 * see.c: Update tree_pass descriptors.
1693 * cgraphbuild.c: Update tree_pass descriptors.
1694 * tracer.c: Update tree_pass descriptors.
1695 * tree-loop-distribution.c: Update tree_pass descriptors.
1696 * cgraph.c: Update tree_pass descriptors.
1697 * postreload-gcse.c: Update tree_pass descriptors.
1698 * postreload.c: Update tree_pass descriptors.
1699 * tree-ssa-loop-ch.c: Update tree_pass descriptors.
1700 * tree-tailcall.c: Update tree_pass descriptors.
1701 * tree-pass.h (tree_opt_pass): Rename to ...
1702 (opt_pass) ... this one; add "type" field and remove letter field.
1703 (gimple_opt_pass, rtl_opt_pass, simple_ipa_opt_pass): New.
1704 (execute_pass_list, execute_ipa_pass_list, all_passes, all_ipa_passes,
1705 all_lowering_passes): Update declaration.
1706 * ipa-cp.c: Update tree_pass descriptors.
1707 * final.c: Update tree_pass descriptors.
1708 * omp-low.c: Update tree_pass descriptors.
1709 * tree-ssa-dse.c: Update tree_pass descriptors.
1710 * ipa-reference.c: Update tree_pass descriptors.
1711 * tree-ssa-uncprop.c: Update tree_pass descriptors.
1712 * auto-inc-dec.c: Update tree_pass descriptors.
1713 * reorg.c: Update tree_pass descriptors.
1714 * cgraphunit.c: Update tree_pass descriptors.
1715 * tree-ssa-copyrename.c: Update tree_pass descriptors.
1716 * tree-ssa-ccp.c: Update tree_pass descriptors.
1717 * df-core.c: Update tree_pass descriptors.
1718 * mode-switching.c: Update tree_pass descriptors.
1719 * tree-nomudflap.c: Update tree_pass descriptors.
1720 * modulo-sched.c: Update tree_pass descriptors.
1721 * ipa-pure-const.c: Update tree_pass descriptors.
1722 * cse.c: Update tree_pass descriptors.
1723 * web.c: Update tree_pass descriptors.
1724 * tree-stdarg.c: Update tree_pass descriptors.
1725 * tree-ssa-math-opts.c: Update tree_pass descriptors.
1726 * tree-ssa-dom.c: Update tree_pass descriptors.
1727 * tree-nrv.c: Update tree_pass descriptors.
1728 * tree-ssa-alias.c: Update tree_pass descriptors.
1729 * loop-init.c: Update tree_pass descriptors.
1730 * gimple-low.c: Update tree_pass descriptors.
1731 * ipa-inline.c: Update tree_pass descriptors.
1732 * tree-ssa-sink.c: Update tree_pass descriptors.
1733 * global.c: Update tree_pass descriptors.
1734 * ifcvt.c: Update tree_pass descriptors.
1735 * jump.c: Update tree_pass descriptors.
1736 * predict.c: Update tree_pass descriptors.
1737 * tree-ssa-loop.c: Update tree_pass descriptors.
1738 * recog.c: Update tree_pass descriptors.
1739 * dse.c: Update tree_pass descriptors.
1740 * tree-ssa-ifcombine.c: Update tree_pass descriptors.
1741 * tree-eh.c: Update tree_pass descriptors.
1742 * regmove.c: Update tree_pass descriptors.
1744 * function.c: Update tree_pass descriptors.
1745 * tree-vectorizer.c: Update tree_pass descriptors.
1746 * gcse.c: Update tree_pass descriptors.
1747 * ipa-type-escape.c: Update tree_pass descriptors.
1748 * tree-if-conv.c: Update tree_pass descriptors.
1749 * init-regs.c: Update tree_pass descriptors.
1750 * ipa.c: Update tree_pass descriptors.
1751 * tree-ssa-phiopt.c: Update tree_pass descriptors.
1752 * rtl-factoring.c: Update tree_pass descriptors.
1753 * lower-subreg.c: Update tree_pass descriptors.
1754 * bt-load.c: Update tree_pass descriptors.
1755 * tree-dfa.c: Update tree_pass descriptors.
1756 * except.c: Update tree_pass descriptors.
1757 * emit-rtl.c: Update tree_pass descriptors.
1758 * cfgexpand.c: Update tree_pass descriptors.
1759 * tree-cfgcleanup.c: Update tree_pass descriptors.
1760 * cfgcleanup.c: Update tree_pass descriptors.
1761 * tree-ssa-pre.c: Update tree_pass descriptors.
1762 * tree-sra.c: Update tree_pass descriptors.
1763 * tree-mudflap.c: Update tree_pass descriptors.
1764 * tree-ssa-copy.c: Update tree_pass descriptors.
1765 * cfglayout.c: Update tree_pass descriptors.
1766 * tree-ssa-forwprop.c: Update tree_pass descriptors.
1767 * tree-ssa-dce.c: Update tree_pass descriptors.
1768 * tree-ssa.c: Update tree_pass descriptors.
1769 * regclass.c: Update tree_pass descriptors.
1770 * integrate.c: Update tree_pass descriptors.
1771 * tree-optimize.c: Update tree_pass descriptors.
1772 * tree-ssa-phiprop.c: Update tree_pass descriptors.
1773 * tree-object-size.c: Update tree_pass descriptors.
1774 * combine.c: Update tree_pass descriptors.
1775 * tree-outof-ssa.c: Update tree_pass descriptors.
1776 * bb-reorder.c: Update tree_pass descriptors.
1777 * stack-ptr-mod.c: Update tree_pass descriptors.
1778 * var-tracking.c: Update tree_pass descriptors.
1779 * tree-profile.c: Update tree_pass descriptors.
1780 * tree-vect-generic.c: Update tree_pass descriptors.
1781 * reg-stack.c: Update tree_pass descriptors.
1782 * sched-rgn.c: Update tree_pass descriptors.
1783 * tree-ssa-structalias.c: Update tree_pass descriptors.
1784 * tree-cfg.c: Update tree_pass descriptors.
1785 * passes.c (current_pass): Update declaration.
1786 (finish_optimization_passes): Update.
1787 (all_passes, all_ipa_passes, all_lowering_passes): Update declaration.
1788 (register_one_dump_file, register_dump_files_1, next_pass_1):
1790 (init_optimization_passes): Update handling of new types.
1791 (execute_one_pass, execute_pass_list, execute_ipa_pass_list): Update.
1792 * ipa-struct-reorg.c: Update tree_pass descriptors.
1793 * tree-ssa-reassoc.c: Update tree_pass descriptors.
1794 * combine-stack-adj.c: Update tree_pass descriptors.
1795 * cfgrtl.c: Update tree_pass descriptors.
1796 * dce.c: Update tree_pass descriptors.
1797 * tree-ssanames.c: Update tree_pass descriptors.
1799 2008-03-19 Richard Guenther <rguenther@suse.de>
1802 * tree-ssa.c (walk_data): New structure.
1803 (warn_uninitialized_var): If not always_executed warn with "maybe"
1805 (execute_early_warn_uninitialized): Compute post-dominators.
1806 Initialize always_executed before processing each basic block.
1808 2008-03-18 Mikulas Patocka <mikulas@artax.karlin.mff.cuni.cz>
1811 * config/i386/i386.c (x86_this_parameter): Calculate correct location
1812 of "this" pointer when "regparm = N" or "fastcall" is in effect.
1814 2008-03-18 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1816 * doc/include/texinfo.tex: Update to version 2008-03-17.10.
1818 2008-03-18 Paolo Bonzini <bonzini@gnu.org>
1820 * expr.c (store_expr): Assume lang_hooks.reduce_bit_field_operations
1822 (expand_expr_real_1) <REDUCE_BIT_FIELD>: Don't look at ignore.
1823 (expand_expr_real_1): Assume lang_hooks.reduce_bit_field_operations
1824 is true. Add "&& !ignore" condition to reduce_bit_field. Modify
1825 target after ignore has been set, and move there also the commputation
1826 of subtarget and original_target.
1827 * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
1828 (LANG_HOOKS_INITIALIZER): Remove it.
1829 * langhooks.h (struct lang_hooks): Remove reduce_bit_field_operations.
1831 2008-03-18 Richard Guenther <rguenther@suse.de>
1833 * tree-ssa-sccvn.c (visit_reference_op_load): If the lookup
1834 found an expression with constants, note that in the VN for the lhs.
1835 * tree-ssa-pre.c (eliminate): Visit COND_EXPR statements and
1836 fold them to constants if possible. Run cleanup_cfg if done so.
1837 (execute_pre): Return todo.
1839 (execute_fre): Likewise.
1840 * tree-ssa-forwprop.c (can_propagate_from): Allow propagation
1842 (get_prop_source_stmt): Look through pointer conversions.
1844 2008-03-18 Jan Hubicka <jh@suse.cz>
1846 * tree-pretty-print.c: Include predict.h.
1847 (dump_generic_node): Dump predictor.
1848 * tree.h (PREDICT_EXPR_OUTCOME, PREDICT_EXPR_PREDICTION): Update.
1849 * tree-gimple.c (is_gimple_stmt): Add PREDICT_EXPR.
1850 * gimple-low.c (lower_stmt): Likewise.
1851 * expr.c (expand_expr_real): Likewise.
1852 * predict.c (tree_bb_level_predictions): Use PREDICT_EXPRs and remove
1854 (build_predict_expr, build_predict_expr): New.
1855 * predict.h (predictor_name, build_predict_expr): Update.
1856 * c-typeck.c (c_finish_bc_stmt): Add prediction.
1857 * gimplify.c (gimplify_expr): Add PREDICT_EXPR.
1858 * predict.def (PRED_CONTINUE): Update hitrate.
1859 * tree.def (PREDICT_EXPR): Define.
1860 * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Mark PREDICT_EXPR;
1861 do not handle BIND_EXPR.
1862 * tree-inline.c (estimate_num_insns_1): PREDICT_EXPR is free.
1863 * tree-cfg.c (verify_gimple_stmt): PREDICT_EXPR is valid.
1864 * tree-ssa-operands.c (get_expr_operands): PREDICT_EXPR takes no
1867 2008-03-18 Michael Matz <matz@suse.de>
1869 * gcov-io.h (__gcov_merge_ior, __gcov_fork): Mark hidden.
1871 2008-03-18 Richard Guenther <rguenther@suse.de>
1873 * tree-gimple.h (is_gimple_invariant_address): Declare.
1874 (is_gimple_constant): Likewise.
1875 * tree-gimple.c (is_gimple_constant): New function.
1876 (is_gimple_invariant_address): Likewise.
1877 (is_gimple_min_invariant): Implement in terms of is_gimple_constant
1878 and is_gimple_invariant_address.
1879 * tree-ssa-loop-niter.c (expand_simple_operations): Revert
1881 * tree-data-ref.c (get_references_in_stmt): A SSA_NAME is not
1882 an addressable base.
1884 2008-03-18 Jakub Jelinek <jakub@redhat.com>
1887 * gimplify.c (gimplify_expr): Gimplify second operand of
1890 2008-03-17 Richard Guenther <rguenther@suse.de>
1892 PR tree-optimization/19637
1893 * fold-const.c (fold_unary): Remove restrictions of removing
1894 intermediate pointer-conversions (P2)(P1)P0.
1895 * tree-ssa-ccp.c (maybe_fold_stmt_addition): Recover from
1896 conversion to void pointer.
1897 (get_maxval_strlen): Handle addresses of the form &(*p)[0].
1899 2008-03-16 James E. Wilson <wilson@tuliptree.org>
1902 * dbxout.c (dbxout_expand_expr, case VAR_DECL): Return NULL for
1903 emulated thread local variables.
1905 2008-03-16 Richard Guenther <rguenther@suse.de>
1908 * tree-ssa-loop-niter.c (expand_simple_operations): Do not
1909 expand TREE_INVARIANT operations that are not gimple invariant.
1911 2008-03-16 Hans-Peter Nilsson <hp@axis.com>
1913 * doc/extend.texi (Alignment): Say that the ABI controls
1914 the __alignof__ for non-strict-alignment targets rather
1915 than being a recommendation.
1917 2008-03-15 Paul Brook <paul@codesourcery.com>
1919 * config/arm/arm.c (arm_unwind_emit): Suppress unused unwinding
1921 (arm_output_fn_unwind): Mark functions that can not be unwound.
1923 2008-03-15 Paul Brook <paul@codesourcery.com>
1925 * config/arm/arm.c (arm_rtx_costs_1): Add costs for ARMv6 value
1926 extension instructions.
1928 2008-03-15 Richard Guenther <rguenther@suse.de>
1930 * tree-ssa-ccp.c (ccp_fold): Also read from constant values
1931 and fold constant aggregate refs.
1932 (fold_const_aggregate_ref): Handle string constants
1933 and constructors in ARRAY_REFs. Handle INDIRECT_REF.
1934 (evaluate_stmt): Simplify now that ccp_fold folds constant
1937 2008-03-15 Paul Brook <paul@codesourcery.com>
1939 * config/arm/arm.md (insv): Use gen_insv_t2 and gen_insv_zero.
1940 (extzv): Use gen_extzv_t2.
1941 (insv_t2, insv_zero, extv, extzv_t2): New patterns.
1943 2008-03-15 Richard Guenther <rguenther@suse.de>
1945 * tree-ssa-ccp.c (get_symbol_constant_value): Export.
1946 (fold_const_aggregate_ref): Likewise.
1947 (get_value): Return NULL if we don't have any values.
1948 (ccp_finalize): Set const_val to NULL after freeing it.
1949 * tree-flow.h (get_symbol_constant_value): Declare.
1950 (fold_const_aggregate_ref): Likewise.
1951 * tree-ssa-sccvn.c (try_to_simplify): Use them.
1953 2008-03-15 Richard Guenther <rguenther@suse.de>
1956 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make sure
1957 to not produce negative array indices if not allowed. Add
1958 parameter to indicate that.
1959 (maybe_fold_offset_to_component_ref): Allow negative array
1960 indices only for the first member of a structure.
1961 (maybe_fold_offset_to_reference): Allow negative array indices.
1962 (maybe_fold_stmt_addition): Likewise.
1964 2008-03-15 Bjoern Haase <bjoern.m.haase@web.de>
1965 Anatoly Sokolov <aesok@post.ru>
1967 * gcc/gcc/config/avr/avr.c (avr_arch_types): Add avr6 entry.
1968 (avr_arch): Add ARCH_AVR6.
1969 (avr_mcu_types): Add 'atmega2560' and 'atmega2561' entry.
1970 (initial_elimination_offset): Initialize and use 'avr_pc_size'
1971 instead of fixed value 2.
1972 (print_operand_address): Use gs() asm specifier instead of pm().
1973 (avr_assemble_integer): (Ditto.).
1974 (avr_output_addr_vec_elt): (Ditto.).
1975 (print_operand): Handle "!" code.
1976 * gcc/gcc/config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Add
1977 __AVR_3_BYTE_PC__, __AVR_2_BYTE_PC__ and __AVR_HAVE_JMP_CALL__.
1978 (AVR_HAVE_EIJMP_EICALL): Define.
1979 (AVR_3_BYTE_PC): Redefine.
1980 (AVR_2_BYTE_PC): (Ditto.).
1981 (PRINT_OPERAND_PUNCT_VALID_P): Add '!' code.
1982 (LINK_SPEC): Add atmega2560 and atmega2561.
1983 (CRT_BINUTILS_SPEC): Add atmega2560 (crtm2560.o) and atmega2561
1985 * gcc/gcc/config/avr/avr.md (call_insn): Use eicall instead of icall
1986 for 3 byte PC devices.
1987 (call_value_insn): (Ditto.).
1988 (*tablejump_enh): Use eijmp instead of ijmp for 3 byte PC devices.
1989 (indirect_jump): Use only for for 2 byte PC devices.
1990 (*tablejump): (Ditto.).
1991 (*indirect_jump_avr6): Add insn.
1992 (*tablejump_rjmp): Don't use for 3 byte PC devices.
1993 * gcc/gcc/config/avr/libgcc.S (__prologue_saves__): Use eijmp
1994 instead of ijmp for 3 byte PC devices.
1995 (__tablejump2__): (Ditto.).
1996 * gcc/gcc/config/avr/t-avr (MULITLIB_OPTIONS): Add avr6 architecture.
1997 (MULITLIB_DIRNAMES): (Ditto.).
1998 (MULTILIB_MATCHES): Add atmega2560 and atmega2561 to list.
2000 2008-03-15 Uros Bizjak <ubizjak@gmail.com>
2002 * config/i386/mmx.md ("sse2_umulv1siv2di3"): Rename from
2003 "sse2_umulsidi3". Use V1DI mode for operand 0.
2004 ("mmx_psadbw"): Use V1DI mode for operand 0.
2005 * config/i386/i386-modes.def (V1SI): New vector mode.
2006 * config/i386/i386.c (struct builtin_description)
2007 [IX86_BUILTIN_PMULUDQ]: Use CODE_FOR_sse2_umulv1siv1di3.
2008 (v1di_ftype_v8qi_v8qi): Rename from di_ftype_v8qi_v8qi.
2009 (v1di_ftype_v2si_v2si): Rename from di_ftype_v2si_v2si.
2010 (ix86_init_mmx_sse_builtins) [__builtin_ia32_psadbw]: Use
2011 v1di_ftype_v8qi_v8qi type.
2012 [__builtin_ia32_pmuludq]: Use v1di_ftype_v2si_v2si type.
2014 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psadbw,
2015 __builtin_ia32_pmuludq]: Fix the mode of return value.
2017 2008-03-15 Richard Guenther <rguenther@suse.de>
2020 * tree-ssa-pre.c (bitmap_find_leader): Handle expression
2023 2008-03-14 Bob Wilson <bob.wilson@acm.org>
2025 * doc/invoke.texi (Option Summary, Xtensa Options): Document
2026 -mserialize-volatile and -mno-serialize-volatile Xtensa options.
2027 * config/xtensa/xtensa.c (print_operand): Do not emit MEMW instructions
2028 unless TARGET_SERIALIZE_VOLATILE is enabled.
2029 * config/xtensa/xtensa.md (*lsiu, *ssiu): Likewise.
2030 * config/xtensa/xtensa.h (TARGET_DEFAULT): Add MASK_SERIALIZE_VOLATILE.
2031 * config/xtensa/xtensa.opt (mserialize_volatile): New option.
2033 2008-03-14 Richard Guenther <rguenther@suse.de>
2035 PR tree-optimization/34172
2036 * tree-flow.h (refs_may_alias_p): Declare.
2037 (get_single_def_stmt): Likewise.
2038 (get_single_def_stmt_from_phi): Likewise.
2039 (get_single_def_stmt_with_phi): Likewise.
2040 * tree-dfa.c (refs_may_alias_p): New function.
2041 (get_single_def_stmt): Likewise.
2042 (get_single_def_stmt_from_phi): Likewise.
2043 (get_single_def_stmt_with_phi): Likewise.
2044 * tree-ssa-sccvn.c (get_def_ref_stmt_vuses): New function.
2045 (vn_reference_lookup_1): New helper function.
2046 (vn_reference_lookup): Walk the virtual use-def chain to
2047 continue searching for a match if the def does not alias the
2048 reference we are looking for.
2050 2008-03-14 David Edelsohn <edelsohn@gnu.org>
2052 * doc/install.texi (Binaries): Remove UCLA archive. Add HVCC
2053 archive and Perzl. Update The Written Word listing.
2055 2008-03-14 Richard Guenther <rguenther@suse.de>
2057 PR tree-optimization/34043
2058 PR tree-optimization/33989
2059 * tree-ssa-pre.c (execute_pre): Allow SCCVN to do insertion
2061 (bitmap_find_leader): Use extra argument to verify dominance
2062 relationship inside a basic-block.
2063 (can_PRE_operation): Add VIEW_CONVERT_EXPR.
2064 (find_leader_in_sets): Adjust.
2065 (create_component_ref_by_pieces): Take extra argument for
2066 dominance check, handle lookup failures.
2067 (find_or_generate_expression): Likewise.
2068 (create_expression_by_pieces): Likewise.
2069 (insert_into_preds_of_block): Adjust.
2070 (create_value_expr_from): If asked for, verify all operands
2071 are in the blocks AVAIL_OUT set.
2072 (make_values_for_stmt): Check for SSA_NAMEs that are life
2073 over an abnormal edge.
2074 (compute_avail): Remove such check.
2075 (do_SCCVN_insertion): New function.
2076 (eliminate): If we do not find a leader suitable for replacement
2077 insert a replacement expression from SCCVN if available.
2078 * tree-ssa-sccvn.h (run_scc_vn): Update prototype.
2079 (struct vn_ssa_aux): Add needs_insertion flag.
2080 * tree-ssa-sccvn.c (may_insert): New global flag.
2081 (copy_reference_ops_from_ref): Value-number union member access
2082 based on its size, not type and member if insertion is allowed.
2083 (visit_reference_op_load): For a weak match from union type
2084 punning lookup a view-converted value and insert a SSA_NAME
2085 for that value if that is not found.
2086 (visit_use): Make dumps shorter. Do not disallow value numbering
2087 SSA_NAMEs that are life over an abnormal edge to constants.
2088 (free_scc_vn): Release inserted SSA_NAMEs.
2089 (run_scc_vn): New flag to specify whether insertion is allowed.
2090 Process SSA_NAMEs in forward order.
2091 * tree-ssa-loop-im.c (for_each_index): Handle invariant
2092 ADDR_EXPRs inside VIEW_CONVERT_EXPR.
2093 * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPRs from/to
2094 pointer type to/from integral types that do not change the
2095 precision to regular conversions.
2097 2008-03-13 Uros Bizjak <ubizjak@gmail.com>
2099 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
2100 __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i,
2101 __builtin_ia32_psrl?i, __builtin_ia32_psra?i, __builtin_ia32_psll?128,
2102 __builtin_ia32_psrl?128, __builtin_ia32_psra?128]: Fix the mode of
2103 input arguments and the mode of return value. Built-in functions
2104 that operate on whole 64-bit MMX register now use V1DI mode.
2106 2008-03-13 Alon Dayan <alond@il.ibm.com>
2107 Olga Golovanevsky <olga@il.ibm.com>
2109 PR tree-optimization/35041
2110 * ipa-struct-reorg.c (find_pos_in_stmt_1): Add another option
2111 to locate the right position in a statement.
2113 2008-03-13 Uros Bizjak <ubizjak@gmail.com>
2117 * config/i386/xmmintrin.h: Change all static inline functions to
2118 extern inline and add __gnu_inline__ attribute.
2119 * config/i386/bmintrin.h: Ditto.
2120 * config/i386/smmintrin.h: Ditto.
2121 * config/i386/tmmintrin.h: Ditto.
2122 * config/i386/mmintrin-common.h: Ditto.
2123 * config/i386/ammintrin.h: Ditto.
2124 * config/i386/emmintrin.h: Ditto.
2125 * config/i386/pmmintrin.h: Ditto.
2126 * config/i386/mmintrin.h: Ditto.
2127 * config/i386/mm3dnow.h: Ditto.
2129 2008-03-13 Jakub Jelinek <jakub@redhat.com>
2132 * omp-low.c (lower_regimplify, init_tmp_var, save_tmp_var): Removed.
2133 (lower_omp_2): New function.
2134 (lower_omp_1, lower_omp): Rewritten.
2136 2008-03-13 Danny Smith <dannysmith@users.sourceforge.net>
2139 * doc/extend.texi (Structure-Packing Pragmas): Replace "Win32"
2140 with the phrase "Microsoft Windows compilers".
2141 (Push/Pop Macro Pragmas): New subsection. Document
2142 #pragma push_macro and pragma pop_macro.
2144 2008-03-12 Paul Brook <paul@codesourcery.com>
2146 * config/arm/arm.c (output_move_double): Prefer LDRD to LDM.
2148 2008-03-12 Paul Brook <paul@codesourcery.com>
2150 * config/arm/thumb2.md: Extend peephole to cover 3-arg subs.
2151 (thumb2_alusi3_short): Exclude PLUS and MINUS.
2152 (thumb2_addsi_shortim): Rename ...
2153 (thumb2_addsi_short): ... to this. Allow register operands.
2154 (thumb2_subsi_short): New pattern.
2155 (thumb2_one_cmplsi2_short,
2156 thumb2_negsi2_short): New patterns and peepholes.
2158 2008-03-12 Paul Brook <paul@codesourcery.com>
2160 * config/arm/arm.c (arm_size_rtx_costs): Use ARM costs for Thumb-2.
2162 2008-03-12 Uros Bizjak <ubizjak@gmail.com>
2164 * config/i386/i386.md (int_cond): New code iterator.
2166 ("s<code>"): Macroize expander from seq, sne, sgt, sgtu, slt, sltu,
2167 sge, sgeu, sle and sleu expanders usign int_cond code iterator.
2168 ("s<code>"): Macroize expander from sunordered, sordered, suneq, sunge,
2169 sungt, sunle, sunlt and sltgt expanders usign fp_cond code iterator.
2170 ("b<code>"): Macroize expander from beq, bne, bgt, bgtu, blt, bltu,
2171 bge, bgeu, ble and bleu expanders usign int_cond code iterator.
2172 ("b<code>"): Macroize expander from bunordered, bordered, buneq, bunge,
2173 bungt, bunle, bunlt and bltgt expanders usign fp_cond code iterator.
2175 2008-03-12 Paul Brook <paul@codesourcery.com>
2177 * config/arm/arm.c (use_return_insn): Use offsets->saved_regs_mask
2178 instead of {arm,thumb}_compute_save_reg_mask.
2179 (output_return_instruction): Ditto.
2180 (thumb_unexpanded_epilogue): Ditto.
2181 (thumb1_expand_prologue): Ditto.
2182 (thumb1_output_function_prologue): Ditto.
2183 (arm_set_return_address): Ditto.
2184 (thumb_set_return_address): Ditto.
2185 (arm_get_frame_offsets): Set offsets->saved_regs_mask. Push extra
2186 regs to achieve stack alignment.
2187 (thumb1_compute_save_reg_mask): Fix compiler warning.
2188 (arm_output_epilogue): Use offsets->saved_regs_mask.
2189 Adjust stack pointer by poping call clobered registers.
2190 (arm_expand_prologue): Use offsets->saved_regs_mask.
2191 Adjust stack pointer by pushing extra registers.
2192 * config/arm.h (arm_stack_offsets): Add saved_regs_mask.
2194 2008-03-12 Paolo Bonzini <bonzini@gnu.org>
2197 * fold-const.c (fold_unary) <NOP_EXPR>: Distribute a narrowing
2198 conversion to the operands of a multiplication.
2200 2008-03-12 Richard Guenther <rguenther@suse.de>
2202 * Makefile.in (OBJS-common): Add tree-ssa-phiprop.o
2203 (tree-ssa-phiprop.o): Copy dependencies from tree-ssa-forwprop.o.
2204 * timevar.def (TV_TREE_PHIPROP): Add.
2205 * tree-ssa-phiprop.c: Split from tree-ssa-forwprop.c, added
2206 pass description. Use TV_TREE_PHIPROP.
2207 * tree-ssa-forwprop.c: Remove phiprop code.
2209 2008-03-12 Jakub Jelinek <jakub@redhat.com>
2212 * omp-low.c (maybe_lookup_decl): Constify first argument.
2213 (use_pointer_for_field): Change last argument from bool to
2214 omp_context *. Disallow shared copy-in/out in nested
2215 parallel if decl is shared in outer parallel too.
2216 (build_outer_var_ref, scan_sharing_clauses,
2217 lower_rec_input_clauses, lower_copyprivate_clauses,
2218 lower_send_clauses, lower_send_shared_vars): Adjust callers.
2220 2008-03-12 Victor Kaplansky <victork@il.ibm.com>
2221 Ira Rosen <irar@il.ibm.com>
2223 * tree-vectorizer.c (free_stmt_vec_info): New function.
2224 (destroy_loop_vec_info): Move code to free_stmt_vec_info().
2225 Call free_stmt_vec_info(). Free LOOP_VINFO_STRIDED_STORES..
2226 * tree-vectorizer.h (free_stmt_vec_info): Declare.
2227 * tree-vect-transform.c (vectorizable_conversion): Free
2228 vec_oprnds0 if it was allocated.
2229 (vect_permute_store_chain): Remove unused VECs.
2230 (vectorizable_store): Free VECs that are allocated in the..
2232 (vect_transform_strided_load, vectorizable_load): Likewise.
2233 (vect_remove_stores): Simplify the code.
2234 (vect_transform_loop): Move code to vect_remove_stores().
2235 Call vect_remove_stores() and free_stmt_vec_info().
2237 2008-03-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2239 * pa.h (TARGET_LONG_PIC_SDIFF_CALL): Conditionalize define on
2240 TARGET_HPUX. Revise comment.
2241 (TARGET_LONG_PIC_PCREL_CALL): Revise comment.
2242 * pa.c (output_call): Update for revised TARGET_LONG_PIC_SDIFF_CALL.
2243 Use sr4 variant of `be' instruction when not generating PIC code.
2244 (attr_length_call): Adjust for above change.
2246 2008-03-11 Andrew Pinski <andrew_pinski@playstation.sony.com>
2248 * ipa-reference.c (static_execute): Remove module_statics_const and
2249 associated setting code.
2251 2008-03-11 Uros Bizjak <ubizjak@gmail.com>
2254 * config/i386/i386.md (paritysi2, paritydi2): Use register_operand
2255 predicate for operand 1.
2256 (paritysi2_cmp): Use register_operand predicate for operand 2.
2257 Use earlyclobber modifier for operand 1. Remove support for
2259 (paritydi2_cmp): Use register_operand predicate for operand 3.
2260 Use earlyclobber modifier for operand 1. Remove support for
2263 2008-03-11 Paul Brook <paul@codesourcery.com>
2264 Vladimir Prus <vladimir@codesourcery.com>
2266 * config/arm/arm.c (use_return_insn): Check TARGET_APCS_FRAME.
2267 (arm_compute_save_reg0_reg12_mask): Always
2268 check if register 11 must be saved. Always safe hard frame pointer
2269 when frame_pointer_needeed.
2270 (arm_compute_save_reg_mask): Save IP and PC
2271 only with apcs frames.
2272 (arm_output_epilogue): Adjust Thumb2 codepath to
2273 be also invoked and work for ARM non-apcs frames.
2274 (arm_expand_prologue): Don't bother saving IP
2275 for non-apcs frame, since it's not clobbered by
2276 prologue code. Implement non-apcs frame
2279 2008-03-11 Paolo Bonzini <bonzini@gnu.org>
2281 PR rtl-optimization/35281
2282 * expr.c (convert_move): Use a new pseudo for the intermediate
2283 from_mode->word_mode result.
2285 2008-03-11 Paolo Bonzini <bonzini@gnu.org>
2287 * langhooks-def.h (LANG_HOOKS_CLEAR_BINDING_STACK): Delete.
2288 * langhooks.h (struct lang_hooks): Delete clear_binding_stack member.
2289 * toplev.c (compile_file): Don't call it.
2291 2008-03-11 Uros Bizjak <ubizjak@gmail.com>
2294 * expr.c (store_expr): Call emit_block_move if the mode
2295 of "temp" RTX is BLKmode.
2297 2008-03-11 Andrew Pinski <andrew_pinski@playstation.sony.com>
2298 Richard Guenther <rguenther@suse.de>
2300 PR tree-optimization/31358
2301 * tree-ssa-loop-manip.c (create_iv): Call force_gimple_operand for
2302 the step with a NULL_TREE.
2303 * tree-ssa-loop-ivopts.c (find_bivs): Convert the step
2304 to sizetype if type is a pointer type.
2305 (add_candidate_1): Don't convert the base and step to
2306 the generic type if the orginal type is a pointer type.
2307 (add_iv_value_candidates): Use sizetype for the step
2308 if type is a pointer type.
2309 (cand_value_at): Likewise.
2310 * tree-ssa-address.c (add_to_parts): Use POINTER_PLUS_EXPR
2312 * tree-affine.c (tree_to_aff_combination <POINTER_PLUS_EXPR>):
2313 Don't convert the tem affine to the type.
2314 (add_elt_to_tree): Use sizetype for the step if a pointer.
2315 Use POINTER_PLUS_EXPR for pointers.
2316 (aff_combination_to_tree): Use sizetype for the step if a
2319 2008-03-10 Vladimir Makarov <vmakarov@redhat.com>
2321 * config/i386/sse.md (ssse3_pmaddubswv8hi3, ssse3_pmaddubswv4hi3):
2322 Remove commutativity hint.
2324 2008-03-10 Jakub Jelinek <jakub@redhat.com>
2328 * c-parser.c (c_parser_omp_threadprivate): Don't add vars with
2329 errorneous type. Check that v is a VAR_DECL.
2332 * tree-cfg.c (new_label_mapper): Update cfun->last_label_uid.
2334 2008-03-10 H.J. Lu <hongjiu.lu@intel.com>
2336 PR tree-optimization/35494
2337 * tree-ssa-ccp.c (get_symbol_constant_value): Check if value
2338 may be overriden at link and run time.
2340 2008-03-10 Richard Guenther <rguenther@suse.de>
2342 PR tree-optimization/34677
2343 * tree-ssa-pre.c (modify_expr_node_pool): Remove.
2344 (poolify_tree): Likewise.
2345 (modify_expr_template): Likewise.
2346 (poolify_modify_stmt): Likewise.
2347 (insert_fake_stores): Handle all component-ref style stores
2348 in addition to INDIRECT_REF. Also handle complex types.
2349 Do not poolify the inserted load.
2350 (realify_fake_stores): Do not rebuild the tree but only
2351 make it a SSA_NAME copy.
2352 (init_pre): Remove initialzation of modify_expr_template.
2353 Do not allocate modify_expr_node_pool.
2354 (fini_pre): Do not free modify_expr_node_pool.
2356 2008-03-10 Paul Brook <paul@codesourcery.com>
2358 * config/arm/arm.md (UNSPEC_STACK_ALIGN, UNSPEC_PIC_OFFSET): Renumber
2361 2008-03-10 Paul Brook <paul@codesourcery.com>
2362 Mark Shinwell <shinwell@codesourcery.com>
2364 * config/arm/cortex-r4.md: New.
2365 * config/arm/thumb2.md (divsi3, udivsi3): Annotate with
2367 * config/arm/arm.md: Include cortex-r4.md.
2368 (insn): Add smmls, sdiv and udiv values.
2369 (generic_sched): Don't use generic scheduling for Cortex-R4.
2370 (arm_issue_rate): New function.
2371 (TARGET_SCHED_ISSUE_RATE): Define.
2373 2008-03-10 Sebastian Pop <sebastian.pop@amd.com>
2375 * doc/invoke.texi (-ftree-loop-distribution): Add an example.
2377 2008-03-10 Richard Guenther <rguenther@suse.de>
2379 * tree-ssa-pre.c (get_sccvn_value): Simplify.
2380 (compute_avail): Do not add stmt uses to AVAIL_OUT.
2382 2008-03-10 Paolo Bonzini <bonzini@gnu.org>
2384 * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS):
2385 Set default to true.
2387 2008-03-09 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
2389 * c.opt (Wsynth): Deprecate.
2390 * doc/invoke.texi (Option Summary, Warning Options): Document
2391 -Wno-format-contains-nul.
2393 2008-03-09 Uros Bizjak <ubizjak@gmail.com>
2396 * config/i386/i386.c (ix86_constant_alignment): Compute alignment using
2397 ALIGN_MODE_128 for VECTOR_CST and INTEGER_CST in addition to REAL_CST.
2399 2008-03-09 Ira Rosen <irar@il.ibm.com>
2401 * config/rs6000/rs6000.c (builtin_description): Rename vector
2402 left shift operations.
2403 * config/rs6000/altivec.md (UNSPEC_VSL): Remove.
2404 (altivec_vsl<VI_char>): Rename to ...
2405 (ashl<mode>3): ... new name.
2406 (mulv4sf3, mulv4si3, negv4sf2): Replace gen_altivec_vslw with
2408 (absv4sf2): Convert to use ashift:V4SI instead of UNSPEC_VSL.
2410 2008-03-08 Richard Guenther <rguenther@suse.de>
2412 * coverage.h (tree_coverage_counter_addr): Declare.
2413 * coverage.c (tree_coverage_counter_addr): New function.
2414 * tree-profile.c (tree_gen_edge_profiler): Unshare counter
2416 (tree_gen_pow2_profiler): Use tree_coverage_counter_addr.
2417 (tree_gen_one_value_profiler): Likewise.
2418 (tree_gen_ic_profiler): Likewise.
2419 (tree_gen_average_profiler): Likewise.
2420 (tree_gen_ior_profiler): Likewise.
2422 2008-03-08 Richard Guenther <rguenther@suse.de>
2424 * tree-ssa-sccvn.h (vn_binary_op_lookup): Remove.
2425 (vn_binary_op_insert): Likewise.
2426 (vn_unary_op_lookup): Likewise.
2427 (vn_unary_op_insert): Likewise.
2428 (vn_nary_op_lookup): Declare.
2429 (vn_nary_op_insert): Likewise.
2430 * tree-ssa-sccvn.c (struct vn_tables_s): Merge unary
2431 and binary hashes, use a single obstack for unary_op_pool
2433 (struct vn_binary_op_s, struct vn_unary_op_s): Replace with
2434 a single struct vn_nary_op_s. Store tree code length and
2435 a variable number of operands.
2436 (struct vn_reference_op_struct): Remove unused op2.
2437 (vn_reference_op_eq): Do not compare op2.
2438 (vn_reference_op_compute_hash): Do not compute hash of op2.
2439 (vn_unary_op_hash, vn_binary_op_hash): Replace with vn_nary_op_hash.
2440 (vn_unary_op_compute_hash, vn_binary_op_compute_hash): Replace
2441 with vn_nary_op_compute_hash.
2442 (vn_unary_op_eq, vn_binary_op_eq): Replace with vn_nary_op_eq.
2443 (vn_unary_op_lookup, vn_binary_op_lookup): Replace with
2445 (vn_unary_op_insert, vn_binary_op_insert): Replace with
2447 (visit_unary_op): Call nary functions.
2448 (visit_binary_op): Likewise.
2449 (process_scc): Adjust for struct vn_tables_s changes.
2450 (allocate_vn_table): Likewise.
2451 (free_vn_table): Likewise.
2452 * tree-vn.c (vn_add): Call nary functions.
2453 (vn_lookup): Likewise.
2455 2008-03-08 Jakub Jelinek <jakub@redhat.com>
2458 * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): Shift
2459 wdst back after sync_compare_and_swapqhi_internal.
2461 2008-03-08 Uros Bizjak <ubizjak@gmail.com>
2464 * config/i386/i386-modes.def (V1DI): New vector mode.
2465 * config/i386/i386.h (VALID_MMX_REG_MODE): Add V1DImode.
2466 * config/i386/mmx.md (MMXMODEI8): New mode iterator.
2467 (MMXMODE248): Ditto.
2468 (MMXMODE): Add V1DI mode.
2469 (mmxvecsize): Change DI mode to V1DI mode.
2470 ("mov<mode>): Use MMXMODEI8 mode iterator.
2471 ("*mov<mode>_internal_rex64"): Ditto.
2472 ("*mov<mode>_internal"): Ditto.
2473 ("mmx_add<mode>3"): Ditto. Handle V1DImode for TARGET_SSE2.
2474 ("mmx_sub<mode>3"): Ditto.
2475 ("mmx_adddi3"): Remove insn pattern.
2476 ("mmx_subdi3"): Ditto.
2477 ("mmx_ashr<mode>3"): Use SImode and "yN" constraint for operand 2.
2478 ("mmx_lshr<mode>3"): Ditto. Use MMXMODE248 mode iterator.
2479 ("mmx_ashl<mode>3"): Ditto.
2480 ("mmx_lshrdi3"): Remove insn pattern.
2481 ("mmx_ashldi3"): Ditto.
2482 * config/i386/i386.c (classify_argument): Handle V1DImode.
2483 (function_arg_advance_32): Ditto.
2484 (function_arg_32): Ditto.
2485 (struct builtin_description) [IX86_BUILTIN_PADDQ]: Use
2486 mmx_addv1di3 insn pattern.
2487 [IX86_BUILTIN_PSUBQ]: Use mmx_subv1di3 insn pattern.
2488 [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?, IX86_BUILTIN_PSRA?,
2489 IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I, IX86_BUILTIN_PSRA?I,
2490 IX86_BUILTIN_PSLL?I128, IX86_BUILTIN_PSRL?I128, IX86_BUILTIN_PSRA?I128]:
2491 Remove definitions of built-in functions.
2492 (V1DI_type_node): New node.
2493 (v1di_ftype_v1di_int): Ditto.
2494 (v1di_ftype_v1di_v1di): Ditto.
2495 (v2si_ftype_v2si_si): Ditto.
2496 (v4hi_ftype_v4hi_di): Remove node.
2497 (v2si_ftype_v2si_di): Ditto.
2498 (ix86_init_mmx_sse_builtins): Handle V1DImode.
2499 (__builtin_ia32_psll?, __builtin_ia32_psrl?, __builtin_ia32_psra?):
2500 Redefine builtins using def_builtin_const with *_ftype_*_int node.
2501 (__builtin_ia32_psll?i, __builtin_ia32_psrl?i, __builtin_ia32_psra?i):
2502 Add new builtins using def_builtin_const.
2503 (ix86_expand_builtin) [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?,
2504 IX86_BUILTIN_PSRA?, IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I,
2505 IX86_BUILTIN_PSRA?I]: Handle builtin definitions.
2506 * config/i386/mmintrin.h (__v1di): New typedef.
2507 (_mm_add_si64): Cast arguments to __v1di type.
2508 (_mm_sub_si64): Ditto.
2509 (_mm_sll_pi16): Cast __count to __v4hi type.
2510 (_mm_sll_pi32): Cast __count to __v2si type.
2511 (_mm_sll_si64): Cast arguments to __v1di type.
2512 (_mm_srl_pi16): Cast __count to __v4hi type.
2513 (_mm_srl_pi32): Cast __count to __v2si type.
2514 (_mm_srl_si64): Cast arguments to __v1di type.
2515 (_mm_sra_pi16): Cast __count to __v4hi type.
2516 (_mm_sra_pi32): Cast __count to __v2si type.
2517 (_mm_slli_pi16): Use __builtin_ia32_psllwi.
2518 (_mm_slli_pi32): Use __builtin_ia32_pslldi.
2519 (_mm_slli_si64): Use __builtin_ia32_psllqi. Cast __m to __v1di type.
2520 (_mm_srli_pi16): Use __builtin_ia32_psrlwi.
2521 (_mm_srli_pi32): Use __builtin_ia32_psrldi.
2522 (_mm_srli_si64): Use __builtin_ia32_psrlqi. Cast __m to __v1di type.
2523 (_mm_srai_pi16): Use __builtin_ia32_psrawi.
2524 (_mm_srai_pi32): Use __builtin_ia32_psradi.
2525 * config/i386/i386.md (UNSPEC_NOP): Remove unspec definition.
2526 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
2527 __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i,
2528 __builtin_ia32_psrl?i, __builtin_ia32_psra?i]: Add new builtins.
2530 2008-03-07 Joseph Myers <joseph@codesourcery.com>
2532 * doc/include/texinfo.tex: Update to version 2008-03-07.10.
2534 2008-03-07 Peter Bergner <bergner@vnet.ibm.com>
2537 * config/rs6000/rs6000.c (rs6000_legitimize_address): Don't generate
2538 reg+const addressing for Altivec modes. Don't generate reg+reg
2539 addressing for TFmode or TDmode quantities.
2541 2008-03-07 Paolo Bonzini <bonzini@gnu.org>
2543 * c-common.c (vector_types_convertible_p): Call langhook
2544 instead of comptypes.
2546 2008-03-06 Andrew Pinski <andrew_pinski@playstation.sony.com>
2549 * tree-ssa-ccp.c (get_symbol_constant_value): Handle
2550 integral and scalar float variables which have a
2553 2008-03-06 Nathan Froyd <froydnj@codesourcery.com>
2555 * dwarf2out.c (dwarf2out_frame_debug_expr): Consult the
2556 dwarf_register_span hook when emitting unwind information for
2557 register-to-memory saves.
2558 * config/rs6000/rs6000.c (spe_synthesize_frame): Delete.
2559 (rs6000_frame_related): Remove call to spe_synthesize_frame.
2561 2008-03-06 Jakub Jelinek <jakub@redhat.com>
2563 * gimplify.c (goa_lhs_expr_p): Allow different ADDR_EXPR nodes
2564 for the same VAR_DECL.
2566 2008-03-06 Tom Tromey <tromey@redhat.com>
2569 * doc/standards.texi (Standards): Don't mention treelang.
2570 * doc/invoke.texi (Overall Options): Don't mention treelang.
2571 * doc/install.texi (Prerequisites): Don't mention bison or
2573 (Configuration): Don't mention treelang.
2574 (Building): Likewise.
2575 * doc/frontends.texi (G++ and GCC): Don't mention treelang.
2577 2008-03-06 Paolo Bonzini <bonzini@gnu.org>
2579 * simplify-rtx.c (simplify_subreg): Remove useless shifts from
2580 word-extractions out of a multi-word object.
2582 2008-03-06 Richard Guenther <rguenther@suse.de>
2584 * tree.def (BIT_FIELD_REF): Constrain result type and its precision.
2585 * tree-cfg.c (verify_expr): Verify BIT_FIELD_REF constraints on
2586 result type and precision.
2587 * expr.c (get_inner_reference): Set unsignedp based on the result
2588 type of BIT_FIELD_REF.
2589 * tree.h (BIT_FIELD_REF_UNSIGNED): Remove.
2590 * tree-sra.c (instantiate_element): Do not set BIT_FIELD_REF_UNSIGNED.
2591 (try_instantiate_multiple_fields): Likewise. Use the correct type
2593 (sra_build_assignment): Likewise.
2594 (sra_build_elt_assignment): Likewise.
2595 (sra_explode_bitfield_assignment): Likewise.
2596 * print-tree.c (print_node): Do not check BIT_FIELD_REF_UNSIGNED.
2597 * tree-vect-transform.c (vect_create_epilog_for_reduction): Do not
2598 set BIT_FIELD_REF_UNSIGNED.
2599 (vectorizable_load): Likewise.
2601 2008-03-06 Andreas Krebbel <krebbel1@de.ibm.com>
2603 * cse.c (cse_extended_basic_block): Invalidate artificial defs
2606 2008-03-06 Richard Guenther <rguenther@suse.de>
2608 * alias.c (struct alias_set_entry): Move has_zero_child field
2609 to pack with alias_set.
2611 2008-03-05 H.J. Lu <hongjiu.lu@intel.com>
2613 * config/i386/i386-modes.def: Use 4 byte alignment on DI for
2616 2008-03-05 Ian Lance Taylor <iant@google.com>
2618 * alias.h (alias_set_type): Change from HOST_WIDE_INT to int.
2620 2008-03-05 Kenneth Zadeck <zadeck@naturalbridge.com>
2622 * fwprop.c (update_df): Support width and offset parameters of
2624 * ra-conflict.c (mark_reg_store, clear_reg_in_live,
2625 global_conflicts): Change DF_REF_EXTRACT to either
2626 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
2627 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
2628 * df-scan.c (df_ref_record, df_defs_record,
2629 df_ref_create_structure, df_def_record_1, df_uses_record,
2630 df_get_conditional_uses, df_get_call_refs, df_insn_refs_collect,
2631 df_bb_refs_collect, df_entry_block_defs_collect,
2632 df_exit_block_uses_collect): Support new width and offset fields.
2633 (ref_extract_pool): New storage pool.
2634 (df_free_ref): New function.
2635 (df_reg_chain_unlink, df_free_collection_rec,
2636 df_sort_and_compress_refs): Call df_free_ref.
2637 (df_ref_equal_p, df_ref_compare): Compare offset and width fields
2639 (df_ref_create_structure): Allocate df_ref_extract if offset and
2640 width fields are used.
2641 (df_def_record_1): Get offset and width from ZERO_EXTRACT.
2642 (df_uses_record): Get offset and width from ZERO_EXTRACT
2644 * global.c (build_insn_chain): Change DF_REF_EXTRACT to either
2645 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
2646 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
2647 * df.h (df_ref_flags): Change DF_REF_EXTRACT to either
2648 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
2649 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
2650 (df_ref_extract): New structure.
2651 (DF_REF_WIDTH, DF_REF_OFFSET): New macros.
2652 (df_ref_create): Add width and offset parameters.
2654 2008-03-05 Richard Guenther <rguenther@suse.de>
2656 * tree-ssa-structalias.c (get_constraint_for_component_ref):
2657 Use ranges_overlap_p.
2658 (offset_overlaps_with_access): Rename
2659 to ranges_overlap_p and move ...
2660 * tree-flow-inline.h (ranges_overlap_p): ... here.
2662 * tree.h (get_inner_reference, handled_component_p): Update
2665 * tree.h (record_component_aliases, get_alias_set,
2666 alias_sets_conflict_p, alias_sets_must_conflict_p,
2667 objects_must_conflict_p): Move declarations ...
2668 * alias.h (record_component_aliases, get_alias_set,
2669 alias_sets_conflict_p, alias_sets_must_conflict_p,
2670 objects_must_conflict_p): ... here.
2671 Include coretypes.h.
2672 * Makefile.in (ALIAS_H): Add coretypes.h dependency.
2674 2008-03-05 Aldy Hernandez <aldyh@redhat.com>
2676 * cfg.c: Include tree-flow.h.
2677 (remove_edge_raw): Call redirect_edge_var_map_clear.
2678 (redirect_edge_succ_nodup): Call redirect_edge_var_map_dup.
2679 * tree-flow-inline.h (redirect_edge_var_map_def): New.
2680 (redirect_edge_var_map_result): New.
2681 * tree-cfgcleanup.c (remove_forwarder_block_with_phi): Replace
2682 PENDING_STMT use with redirect_edge_var_map_*.
2683 * tree-ssa.c (edge_var_maps): New definition.
2684 (redirect_edge_var_map_add): New.
2685 (redirect_edge_var_map_clear): New.
2686 (redirect_edge_var_map_dup): New.
2687 (redirect_edge_var_map_vector): New.
2688 (redirect_edge_var_map_destroy): New.
2689 (ssa_redirect_edge): Replace PENDING_STMT use with
2690 redirect_edge_var_map_*.
2691 (flush_pending_stmts): Same.
2692 (delete_tree_ssa): Destroy edge var map.
2693 * tree-flow.h (struct _edge_var_map): New.
2694 Define edge_var_map vector type.
2695 Declare redirect_edge_var_map_* prototypes.
2696 * Makefile.in (cfg.o): Depend on TREE_FLOW_H.
2697 * tree-cfg.c (reinstall_phi_args): Replace
2698 PENDING_STMT use with redirect_edge_var_map_*.
2700 2008-03-05 Richard Guenther <rguenther@suse.de>
2702 PR tree-optimization/35472
2703 * tree-ssa-dse.c (dse_optimize_stmt): Do not delete a store
2704 whose single use_stmt has a overlapping set of loaded and
2705 stored symbols as that use_stmt might be a noop assignment then.
2707 2008-03-05 Joel Sherrill <joel.sherrill@oarcorp.com>
2709 * gthr-rtems.h: Implement __gthread_mutex_destroy.
2711 2008-03-05 Richard Guenther <rguenther@suse.de>
2714 * tree.def (BIT_FIELD_REF): Document that operands 1 and 2
2715 should be constants.
2716 * tree-cfg.c (verify_expr): Verify it.
2717 * fold-const.c (fold_truthop): Remove code generating
2718 BIT_FIELD_REFs of structure bases.
2719 (fold_binary): Likewise.
2720 (fold_ternary): Position and size of BIT_FIELD_REFs are
2721 always host integers.
2722 (make_bit_field_ref): Remove.
2723 (optimize_bit_field_compare): Remove.
2724 (all_ones_mask_p): Remove.
2726 2008-03-05 Gabor Loki <loki@gcc.gnu.org>
2729 * rtl-factoring.c (clear_regs_live_in_seq): Fix backward steps.
2730 (split_block_and_df_analyze): New. Split basic block and rebuild
2732 (block_label_after): Use SPLIT_BLOCK_AND_DF_ANALYZE instead of
2734 (split_pattern_seq): Likewise.
2735 (erase_matching_seqs): Likewise.
2736 (split_pattern_seq): Skip return insn in case of REG_NORETURN note.
2738 2008-03-04 Geoff Keating <geoffk@apple.com>
2740 * fold-const.c (tree_single_nonnegative_warnv_p): Fix mixed
2741 declaration and code.
2742 (tree_invalid_nonnegative_warnv_p): Likewise.
2744 2008-03-05 Serge Belyshev <belyshev@depni.sinp.msu.ru>
2746 * doc/install.texi (Testing): Correct quoting for the RUNTESTFLAGS
2747 examples. Truncate option-names then causing overfull hbox.
2749 2008-03-04 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2752 * configure.ac (CONFIG_SJLJ_EXCEPTIONS): Force SJLJ exceptions
2754 * configure: Rebuilt.
2756 2008-03-04 Rafael Espindola <espindola@google.com>
2758 * fold-const.c (tree_simple_nonnegative_warnv_p): New.
2759 (tree_unary_nonnegative_warnv_p): New.
2760 (tree_binary_nonnegative_warnv_p): New.
2761 (tree_single_nonnegative_warnv_p): New.
2762 (tree_invalid_nonnegative_warnv_p): New.
2763 (tree_expr_nonnegative_warnv_p): Redefine in term of the new functions.
2765 2008-03-04 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2768 * opts.c (handle_option): Postpone 'unknown option' errors only for
2771 2008-03-04 H.J. Lu <hongjiu.lu@intel.com>
2774 * config/i386/smmintrin.h (SIDD_XXX): Renamed to ...
2777 2008-03-04 Rafael Espindola <espindola@google.com>
2779 * fold-const.c (tree_unary_nonzero_warnv_p): New.
2780 (tree_binary_nonzero_warnv_p): New.
2781 (tree_single_nonzero_warnv_p): New.
2782 (tree_expr_nonzero_warnv_p): Redefine using the new functions.
2784 2008-03-04 Uros Bizjak <ubizjak@gmail.com>
2787 * fold-const.c (fold_cond_expr_with_comparison): Prevent
2788 transformations for modes that have signed zeros.
2789 * ifcvt.c (noce_try_abs): Ditto.
2791 2008-03-04 Joseph Myers <joseph@codesourcery.com>
2793 * config/i386/i386.c (override_options): Force
2794 -maccumulate-outgoing-args on if TARGET_STACK_PROBE.
2796 2008-03-04 Jan Hubicka <jh@suse.cz>
2799 * ipa-inline.c (cgraph_decide_inlining_of_small_function): Fix typo
2802 2008-03-04 Danny Smith <dannysmith@users.sourceforge.net>
2804 * config/i386/i386.md (allocate_stack_worker_32): Use __chkstk
2805 label to probe the stack.
2807 2008-03-04 Danny Smith <dannysmith@users.sourceforge.net>
2809 * gthr-win32.h [__GTHREAD_HIDE_WIN32API]
2810 (__gthr_win32_mutex_destroy): Declare.
2811 [__GTHREAD_HIDE_WIN32API] (__gthread_mutex_destroy): Use
2812 __gthr_win32_mutex_destroy.
2813 * config/i386/gthr-win32.c (__gthr_win32_mutex_destroy): Define.
2815 2008-03-03 Jan Hubicka <jh@suse.cz>
2818 * ipa-inline.c (cgraph_decide_inlining_of_small_function): Be more
2819 aggressive on inlining cold calls.
2821 2008-03-03 Richard Guenther <rguenther@suse.de>
2823 * tree-ssa-sccvn.c (visit_reference_op_store): Do not insert
2824 struct copies into the expression table.
2825 (simplify_unary_expression): Handle VIEW_CONVERT_EXPR.
2826 (try_to_simplify): Likewise.
2827 * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPR of
2828 integral and pointer arguments which do not change the
2829 precision to NOP_EXPRs.
2830 * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Adjust
2831 VIEW_CONVERT_EXPR case.
2833 2008-03-02 Sebastian Pop <sebastian.pop@amd.com>
2835 * tree-scalar-evolution.c (instantiate_parameters_1): An SSA_NAME
2836 defined in a loop at depth 0 is invariant.
2837 * tree-chrec.c (evolution_function_is_invariant_rec_p): Ditto.
2838 * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Should never
2839 be called at loop depth 0.
2841 2008-03-02 Jakub Jelinek <jakub@redhat.com>
2844 * gcc.c (process_command): Update copyright notice dates.
2845 * gcov.c (print_version): Likewise.
2846 * gcov-dump.c (print_version): Likewise.
2847 * mips-tfile.c (main): Likewise.
2848 * mips-tdump.c (main): Likewise.
2850 2008-03-02 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2853 * c-common.c (flag_permissive): Delete.
2854 (constant_expression_warnings): Check flags first.
2855 (constant_expression_error): New.
2856 * c-common.h (flag_permissive): Delete.
2857 (constant_expression_error): Declare.
2858 * flags.h (flag_permissive): Declare. Update description.
2859 * diagnostic.c (pedwarn): Update.
2861 * diagnostic.h: (pedantic_error_kind): Rename as pedantic_warning_kind.
2862 (permissive_error_kind): New.
2863 * toplev.c (flag_permissive): Define. Update description.
2864 * toplev.h (permissive_error_kind): Declare.
2865 * c-errors.c (pedwarn_c99): Use pedantic_warning_kind.
2866 (pedwarn_c90): Use pedantic_warning_kind.
2867 * c-opts.c (c_common_post_options): flag_permissive does not affect
2868 flag_pedantic_errors.
2870 2008-03-02 Joseph Myers <joseph@codesourcery.com>
2872 * libgcc2.c (__addvSI3, __addvsi3, __addvDI3, __subvSI3,
2873 __subvsi3, __subvDI3, __negvSI2, __negvsi2, __negvDI2, __absvSI2,
2874 __absvsi2, __absvDI2): Use unsigned arithmetic.
2876 2008-03-02 Andi Kleen <ak@suse.de>
2877 Richard Guenther <rguenther@suse.de>
2879 * struct-equiv.c: Remove file.
2880 * cfg_cleanup.c (condjump_equiv_p): Remove.
2881 * Makefile.in (OBJS-common): Remove struct-equiv.o.
2882 (struct-equiv.o): Remove rule.
2883 * basic-block.h (struct_equiv_checkpoint, STRUCT_EQUIV_*,
2884 insns_match_p, struct_equiv_block_eq, struct_equiv_init,
2885 rtx_equiv_p, condjump_equiv_p): Remove prototypes.
2887 2008-03-01 Alexandre Oliva <aoliva@redhat.com>
2889 * ifcvt.c (noce_process_if_block): Try to handle only the then
2890 block if the else block exists but isn't suitable.
2892 2008-03-01 Janne Blomqvist <jb@gcc.gnu.org>
2895 * gthr-posix.h (__gthread_mutex_destroy): Remove extra declarations.
2896 * gthr-posix95.h (__gthread_mutex_destroy): Likewise. Note this fixes
2897 regression from previous patch.
2899 2008-03-01 Janne Blomqvist <jb@gcc.gnu.org>
2902 * gthr.h: Add __gthread_mutex_destroy as a function that must be
2904 * gthr-vxworks.h (__gthread_mutex_destroy): Null implementation.
2905 * gthr-single.h (__gthread_mutex_destroy): Likewise.
2906 * gthr-rtems.h (__gthread_mutex_destroy): Likewise.
2907 * gthr-mipssde.h (__gthread_mutex_destroy): Likewise.
2908 * gthr-nks.h (__gthread_mutex_destroy): Likewise.
2909 * gthr-solaris.h (__gthread_mutex_destroy): Call mutex_destroy.
2910 * gthr-win32.h (__GTHREAD_MUTEX_DESTROY_FUNCTION): Remove.
2911 (__gthread_mutex_destroy_function): Rename to
2912 __gthread_mutex_destroy.
2913 * gthr-dce.h (__gthread_mutex_destroy): Call
2914 pthread_mutex_destroy.
2915 * gthr-tpf.h (__gthread_mutex_destroy): Likewise.
2916 * gthr-posix.h (__gthread_mutex_destroy): Likewise.
2917 * gthr-posix95.h (__gthread_mutex_destroy): Likewise.
2919 2008-03-01 Alexandre Oliva <aoliva@redhat.com>
2921 * df-scan.c (df_ref_chain_change_bb): Simplify.
2922 (df_insn_change_bb): Add new_bb argument. Simplify. Call
2923 set_block_for_insn if there's any change.
2924 * df.h ((df_insn_change_bb): Fix prototype.
2925 * cfgrtl.c (update_bb_for_insn_chain): Pass bb to
2926 df_insn_change_bb, don't call set_block_for_insn.
2927 * emit-rtl.c (reorder_insns): Likewise.
2928 * haifa-sched.c (move_insn): Likewise.
2930 2008-03-01 Alexandre Oliva <aoliva@redhat.com>
2932 * rtlanal.c (loc_mentioned_in_p): Test XVECEXPs correctly.
2934 2008-03-01 Alexandre Oliva <aoliva@redhat.com>
2936 * tree-flow-inline.h (next_readonly_imm_use): Return
2937 NULL_USE_OPERAND_P after the end.
2939 2008-03-01 Richard Guenther <rguenther@suse.de>
2941 PR tree-optimization/35411
2942 * tree-sra.c (sra_build_assignment): Split conversion to
2943 final type to a separate statement if we are not assigning
2946 2008-02-29 Francois-Xavier Coudert <coudert@clipper.ens.fr>
2948 * fold-const.c (fold_convertible_p): Correct the logic to follow
2949 that in fold_convert().
2951 2008-02-29 Douglas Gregor <doug.gregor@gmail.com>
2954 * tree-inline.c (build_duplicate_type): When we make a
2955 duplicate type, make it unique in the canonical types system.
2957 2008-02-29 Tom Tromey <tromey@redhat.com>
2959 * toplev.c (input_file_stack, input_file_stack_tick, fs_p,
2960 input_file_stack_history, input_file_stack_restored): Remove.
2961 (push_srcloc, pop_srcloc, restore_input_file_stack): Likewise.
2962 * input.h (struct file_stack): Remove.
2963 (push_srcloc, pop_srcloc, restore_input_file_stack): Likewise.
2964 (input_file_stack, input_file_stack_tick, INPUT_FILE_STACK_BITS):
2966 * diagnostic.h (struct diagnostic_context) <last_module>: Change
2968 (diagnostic_last_module_changed): Add 'map' argument.
2969 (diagnostic_set_last_function): Likewise.
2970 * diagnostic.c (undiagnostic_report_current_module): Iterate using
2971 line map, not input_file_stack.
2972 * c-lex.c (fe_file_change): Don't use push_srcloc or pop_srcloc.
2974 2008-02-29 Paul Brook <paul@codesourcery.com>
2976 * config/arm/arm.md (arm_addsi3): Add r/k/n alternative.
2978 2008-02-29 Paul Brook <paul@codesourcery.com>
2980 * config/arm/ieee754-df.S (muldf3): Use RET macros.
2982 2008-02-29 Richard Guenther <rguenther@suse.de>
2984 * tree-ssa-pre.c (get_sccvn_value): Create missing VNs via
2986 * tree-ssa-sccnv.c (visit_reference_op_store): Use the rhs
2987 value for comparing for a store match.
2988 (simplify_unary_expression): Do nothing for SSA_NAMEs.
2989 (try_to_simplify): Do not do a full-blown reference lookup.
2991 2008-02-29 Kaz Kojima <kkojima@gcc.gnu.org>
2993 * config/sh/sh.c (sh_scalar_mode_supported_p): New function.
2994 (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
2996 * config/sh/sh.h (OVERRIDE_OPTIONS): Don't warn for profiling.
2998 2008-02-29 Sebastian Pop <sebastian.pop@amd.com>
3000 * tree-loop-linear.c (try_interchange_loops): Compare memory access
3001 strides against cache sizes.
3003 2008-02-29 Kaz Kojima <kkojima@gcc.gnu.org>
3005 * config/sh/sh.c (sh_secondary_reload): Handle loading a float
3008 2008-02-28 Richard Sandiford <rsandifo@nildram.co.uk>
3010 * simplify-rtx.c (simplify_unary_operation_1): Extend the handling
3011 of SUBREG_PROMOTED_VAR_P to cope with cases where the extended value
3012 is smaller than the original promoted value.
3013 (simplify_subreg): If OP is a SUBREG, try to preserve its
3014 SUBREG_PROMOTED_VAR_P information.
3016 2008-02-28 Steven Bosscher <stevenb.gcc@gmail.com>
3018 * tree-ssa-sccvn (vn_ssa_aux_obstack): New obstack.
3019 (VN_INFO_GET): Allocate new objects on the obstack.
3020 (init_scc_vn): Initialize the obstack. Use XDELETE instead of free
3021 for rpo_numbers_temp, for consistency.
3022 (free_scc_vn): Free the obstack.
3024 2008-02-28 Sebastian Pop <sebastian.pop@amd.com>
3026 * doc/invoke.texi: Document -ftree-loop-distribution.
3027 * tree-loop-distribution.c: New.
3028 * tree-pass.h (pass_loop_distribution): New.
3029 * graphds.h (struct graph): Add htab_t indices.
3030 * timevar.def (TV_TREE_LOOP_DISTRIBUTION): New.
3031 * tree-vectorizer.c (rename_variables_in_loop): Extern.
3032 (slpeel_tree_duplicate_loop_to_edge_cfg): Init PENDING_STMT to NULL.
3033 * tree-vectorizer.h (tree_duplicate_loop_on_edge): Declared.
3034 * tree-data-ref.c (debug_data_dependence_relations): New.
3035 (dump_data_dependence_relation): Also print data references.
3036 (free_data_ref): Extern.
3037 (same_access_functions): Moved...
3038 (find_vertex_for_stmt): Renamed rdg_vertex_for_stmt.
3039 (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
3040 debug_rdg_component, dump_rdg, debug_rdg, dot_rdg_1, dot_rdg,
3041 struct rdg_vertex_info, rdg_vertex_for_stmt): New.
3042 (create_rdg_edge_for_ddr, create_rdg_vertices): Cleaned up.
3043 (stmts_from_loop): Skip LABEL_EXPR.
3044 (hash_stmt_vertex_info, eq_stmt_vertex_info, hash_stmt_vertex_del):
3046 (build_rdg): Initialize rdg->indices htab.
3047 (free_rdg, stores_from_loop, ref_base_address,
3048 rdg_defs_used_in_other_loops_p, have_similar_memory_accesses,
3049 have_similar_memory_accesses_1, ref_base_address_1,
3050 remove_similar_memory_refs): New.
3051 * tree-data-ref.h: Depend on tree-chrec.h.
3052 (debug_data_dependence_relations, free_data_ref): Declared.
3053 (same_access_functions): ... here.
3054 (ddr_is_anti_dependent, ddrs_have_anti_deps, ddr_dependence_level):
3056 (struct rdg_vertex): Add has_mem_write and has_mem_reads.
3057 (RDGV_HAS_MEM_WRITE, RDGV_HAS_MEM_READS, RDG_STMT,
3058 RDG_MEM_WRITE_STMT, RDG_MEM_READS_STMT): New.
3059 (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
3060 debug_rdg_component, dump_rdg, debug_rdg, dot_rdg,
3061 rdg_vertex_for_stmt): Declared.
3062 (struct rdg_edge): Add level.
3064 (free_rdg, stores_from_loop, remove_similar_memory_refs,
3065 rdg_defs_used_in_other_loops_p, have_similar_memory_accesses):
3067 (rdg_has_similar_memory_accesses): New.
3068 * tree-vect-analyze.c: Remove unused static decls.
3069 * lambda.h (dependence_level): New.
3070 * common.opt (ftree-loop-distribution): New.
3071 * tree-flow.h (mark_virtual_ops_in_bb,
3072 slpeel_tree_duplicate_loop_to_edge_cfg,
3073 rename_variables_in_loop): Declared.
3074 * Makefile.in (TREE_DATA_REF_H): Depend on tree-chrec.h.
3075 (OBJS-common): Add tree-loop-distribution.o.
3076 (tree-loop-distribution.o): New rule.
3077 * tree-cfg.c (mark_virtual_ops_in_bb): New.
3078 (mark_virtual_ops_in_region): Use mark_virtual_ops_in_bb.
3079 * passes.c (init_optimization_passes): Schedule pass_loop_distribution.
3081 2008-02-28 Joseph Myers <joseph@codesourcery.com>
3084 * tree.c (handle_dll_attribute): Disallow TYPE_DECLs for types
3085 other than structures and unions.
3087 2008-02-28 Richard Guenther <rguenther@suse.de>
3090 2008-02-26 Richard Guenther <rguenther@suse.de>
3092 * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
3093 * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
3094 (lookup_decl_from_uid): Declare.
3095 (remove_decl_from_map): Likewise.
3096 * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
3097 * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
3098 (decl_for_uid_map): New global hashtable mapping DECL_UID
3100 (init_ttree): Allocate it.
3101 (insert_decl_to_uid_decl_map): New helper function.
3102 (make_node_stat): Insert new decls into the map.
3103 (copy_node_stat): Likewise.
3104 (lookup_decl_from_uid): New function.
3105 (remove_decl_from_map): Likewise.
3106 (print_decl_for_uid_map_statistics): New helper.
3107 (dump_tree_statistics): Call it.
3109 * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
3110 (referenced_var_iterator): Adjust.
3111 (FOR_EACH_REFERENCED_VAR): Adjust.
3112 (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
3113 (num_referenced_vars): Adjust.
3114 * tree-flow-inline.h (gimple_referenced_vars): Adjust.
3115 (first_referenced_var): Remove.
3116 (end_referenced_vars_p): Likewise.
3117 (next_referenced_var): Likewise.
3118 (referenced_var_iterator_set): New helper function.
3119 * tree-dfa.c (referenced_var_lookup): Adjust.
3120 (referenced_var_check_and_insert): Likewise.
3121 (remove_referenced_var): Likewise.
3122 * tree-ssa.c (verify_flow_insensitive_alias_info): Use
3123 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
3124 (verify_call_clobbering): Likewise.
3125 (verify_memory_partitions): Likewise.
3126 (init_tree_ssa): Allocate bitmap instead of hashtable for
3128 (delete_tree_ssa): Adjust.
3129 * tree-ssa-alias.c (mark_aliases_call_clobbered): Use
3130 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
3131 (compute_tag_properties): Likewise.
3132 (set_initial_properties): Likewise.
3133 (find_partition_for): Likewise.
3134 (update_reference_counts): Likewise.
3135 (dump_may_aliases_for): Likewise.
3136 * tree-ssa-operands.c (add_virtual_operand): Likewise.
3137 (add_call_clobber_ops): Likewise.
3138 (add_call_read_ops): Likewise.
3139 (get_asm_expr_operands): Likewise.
3140 * tree-into-ssa.c (dump_decl_set): Likewise.
3141 (update_ssa): Likewise.
3142 * tree-sra.c (scan_function): Likewise.
3143 (decide_instantiations): Likewise.
3144 (scalarize_parms): Likewise.
3145 * tree-ssa-alias-warnings.c (build_reference_table): Likewise.
3146 (dsa_named_for): Likewise.
3147 * tree-ssa-structalias.c (update_alias_info): Likewise.
3148 (merge_smts_into): Likewise.
3150 2008-02-27 David Daney <ddaney@avtrex.com>
3153 * config/mips/iris.h (MIPS_DEBUGGING_INFO): Define.
3154 * config/mips/openbsd.h (MIPS_DEBUGGING_INFO): Same.
3155 * config/mips/sde.h (MIPS_DEBUGGING_INFO): Remove undef.
3156 * config/mips/vxworks.h (MIPS_DEBUGGING_INFO): Same.
3157 * config/mips/mips.h (MIPS_DEBUGGING_INFO): Remove define.
3159 2008-02-27 Uros Bizjak <ubizjak@gmail.com>
3162 * config/darwin-ppc-ldouble-patch.def (BUILT_IN_NANL): Add.
3163 (BUILT_IN_NEXTTOWARD): Remove.
3164 (BUILT_IN_NEXTTOWARDF): Ditto.
3165 * config/darwin.c (darwin_patch_builtin): Use ACONCAT instead of
3166 alloca/strcpy/strcat. Remove commented-out code. Fix whitespace.
3168 2008-02-27 Tom Tromey <tromey@redhat.com>
3170 * tree-dump.c (dequeue_and_dump) <FUNCTION_DECL>: Check
3171 DECL_SAVED_TREE, not DECL_LANG_SPECIFIC, when dumping body.
3173 2008-02-27 Jan Beulich <jbeulich@novell.com>
3175 * c-decl.c (merge_decls): Use DECL_USER_ALIGN() on olddecl to
3176 update the respective field on newdecl.
3178 2008-02-27 Revital Eres <eres@il.ibm.com>
3180 PR rtl-optimization/34999
3181 * bb-reorder.c (add_labels_and_missing_jumps): Do not handle
3182 crossing edges that ends with a call insn.
3183 (fix_up_fall_thru_edges): Handle crossing edges that ends with a
3184 call insn and clear the EDGE_CROSSING flag of the crossing edge
3185 when fixing fallthru edges.
3187 2008-02-27 Richard Guenther <rguenther@suse.de>
3190 * fold-const.c (fold_unary): Return the correct argument,
3191 converted to the result type.
3193 2008-02-27 Richard Guenther <rguenther@suse.de>
3196 * expr.c (expand_expr_real_1): Assert on rotates that operate
3198 * fold-const.c (fold_binary): Use the types precision, not the
3199 bitsize of the mode if folding rotate expressions. Build rotates
3200 only for full modes.
3202 2008-02-27 Jakub Jelinek <jakub@redhat.com>
3204 * c-ppoutput.c (scan_translation_unit): Handle CPP_PRAGMA
3206 * c-pragma.c (pragma_ns_name): New typedef.
3207 (registered_pp_pragmas): New variable.
3208 (c_pp_lookup_pragma): New function.
3209 (c_register_pragma_1): If flag_preprocess_only, do nothing
3210 for non-expanded pragmas, for expanded ones push pragma's
3211 namespace and name into registered_pp_pragmas vector.
3212 (c_invoke_pragma_handler): Register OpenMP pragmas even when
3213 flag_preprocess_only, don't register GCC pch_preprocess
3214 pragma if flag_preprocess_only.
3215 * c-opts.c (c_common_init): Call init_pragma even if
3216 flag_preprocess_only.
3217 * c-pragma.c (c_pp_lookup_pragma): New prototype.
3218 * config/darwin.h (DARWIN_REGISTER_TARGET_PRAGMAS): Don't call
3219 cpp_register_pragma if flag_preprocess_only.
3221 2008-02-26 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
3224 * c-parser.c (c_parser_translation_unit): Warn for empty
3225 translation unit, not empty source file.
3227 2008-02-26 Paul Brook <paul@codesourcery.com>
3229 * config/arm/arm.c (thumb_set_frame_pointer): Ensure SP is first
3230 operand for Thumb-2.
3231 * config/arm/arm.h (reg_class): Add CORE_REGS.
3232 (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Ditto.
3233 (BASE_REG_CLASS): Use CORE_REGS.
3234 (PREFERRED_RELOAD_CLASS): Add STACK_REG.
3235 (REGNO_MODE_OK_FOR_REG_BASE_P): Use REGNO_MODE_OK_FOR_BASE_P.
3236 (REGNO_OK_FOR_INDEX_P): Exclude SP.
3237 (ARM_REG_OK_FOR_INDEX_P): Always define. Use
3238 ARM_REGNO_OK_FOR_INDEX_P.
3239 (ARM_PRINT_OPERAND_ADDRESS): Swap operands for [reg, sp].
3240 * config/arm/arm.md (arm_addsi3, thumb1_addsi3, arm_subsi3_insn,
3241 arm_movsi_insn, thumb1_movsi_insni, stack_tie): Add "k" alternatives.
3242 (ldm/stm peepholes): Ditto.
3243 * config/arm/thumb2.md (thumb2_movdi): Add "k" alternatives.
3244 * config/arm/vfp.md (arm_movsi_vfp, thumb2_movsi_vfp): Ditto.
3245 * config/arm/iwmmxt.md (iwmmxt_movsi_insn): Ditto.
3246 * config/arm/constraints.md: Enable "k" constraint on ARM.
3248 2008-02-27 Ben Elliston <bje@au.ibm.com>
3250 * config/rs6000/rs6000.c: Annotate cache line size field in all
3251 instances of struct processor_costs.
3253 2008-02-26 David Edelsohn <edelsohn@gnu.org>
3255 * dbgcnt.def (cfg_cleanup, cprop1, cprop2, dce_fast, dce_ud, dse1,
3256 dse2, gcse, if_conversion, if_after_combine, if_after_reload,
3257 jump_bypass): New counters.
3258 * cfgcleanup.c (cleanup_cfg): Add dbg_cnt.
3259 * dce.c (gate_ud_dce): Same.
3260 (gate_fast_dce): Same.
3261 * dse.c (gate_dse1): New function.
3262 (gate_dse2): New function.
3263 (gate_dse): Merge results of new gate functions.
3264 * gcse.c (gcse_main): Bracket cprop1 and cprop2 with dbg_cnt.
3265 (gate_handle_jump_bypass): Add dbg_cnt.
3266 (gate_handle_gcse): Add dbg_cnt.
3267 * ifcvt.c (gate_handle_if_conversion): Same.
3268 (gate_handle_if_after_combine): Same.
3269 (gate_handle_if_after_reload): Same.
3270 * Makefile.in: Add DBGCNT_H to cfgcleanup.o and ifcvt.o.
3272 2008-02-26 Edmar Wienskoski <edmar@freescale.com>
3274 * config/rs6000/rs6000.c (processor_costs): Update e300 cache
3276 * doc/invoke.texi: Add e300c2 and e300c3 to list of cpus.
3278 2008-02-26 Jason Merrill <jason@redhat.com>
3281 * attribs.c (decl_attributes): Leave ATTR_FLAG_TYPE_IN_PLACE
3282 alone if it's the naming decl for the type's main variant.
3284 2008-02-26 Tom Tromey <tromey@redhat.com>
3286 * system.h (USE_MAPPED_LOCATION): Poison.
3287 * Makefile.in (GTFILES): Put CPP_ID_DATA_H first.
3288 * tree-cfg.c (make_cond_expr_edges): Remove old location code.
3289 (make_goto_expr_edges): Likewise.
3290 (remove_bb): Likewise.
3291 (execute_warn_function_return): Likewise.
3292 * basic-block.h (struct edge_def) <goto_locus>: Change type to
3294 * c-common.c (fname_decl): Remove old location code.
3295 * tree-vect-transform.c (vect_finish_stmt_generation): Remove old
3297 * rtl.h (ASM_OPERANDS_SOURCE_LOCATION): Remove old-location
3299 (ASM_INPUT_SOURCE_LOCATION): Likewise.
3300 (gen_rtx_ASM_INPUT): Likewise.
3301 (gen_rtx_ASM_INPUT_loc): Likewise.
3302 (get_rtx_asm_OPERANDS): Remove.
3303 * cfglayout.c (insn_locators_alloc): Remove old location code.
3304 (set_curr_insn_source_location): Likewise.
3305 (curr_insn_locator): Likewise.
3306 * print-tree.c (print_node): Remove old location code.
3307 * tree-mudflap.c (mf_varname_tree): Remove old location code.
3308 (mf_file_function_line_tree): Remove test of USE_MAPPED_LOCATION.
3309 * cfgexpand.c (expand_gimple_cond_expr): Don't use
3310 location_from_locus.
3311 (construct_exit_block): Remove old location code.
3312 * emit-rtl.c (force_next_line_note): Remove old location code.
3313 * profile.c (branch_prob): Remove old location code.
3314 * tree-vectorizer.h (LOC, UNKNOWN_LOC, EXPR_LOC, LOC_FILE,
3315 LOC_LINE): Remove old-location variants.
3316 * langhooks.c (lhd_print_error_function): Remove old location
3318 * configure, config.in: Rebuilt.
3319 * configure.ac (--enable-mapped-location): Remove.
3320 * c-decl.c (c_init_decl_processing): Remove old location code.
3321 (finish_function): Likewise.
3322 * recog.c (decode_asm_operands): Remove old location code.
3323 * c-pch.c (c_common_read_pch): Remove old location code.
3324 * rtl.def (ASM_INPUT, ASM_OPERANDS): Remove old location
3326 * gimple-low.c (lower_function_body): Remove old location code.
3327 * toplev.c (unknown_location): Remove.
3328 (push_srcloc): Remove old-location variant.
3329 (process_options): Remove old location code.
3330 (lang_dependent_init): Likewise.
3331 * input.h (UNKNOWN_LOCATION): Move definition.
3332 (location_t): Undeprecate.
3333 (source_locus): Remove.
3334 (location_from_locus): Remove.
3335 (struct location_s): Remove.
3336 Remove all old-location code.
3337 (input_line, input_filename): Remove.
3338 * final.c (final_scan_insn): Remove old location code.
3339 * diagnostic.c (diagnostic_build_prefix): Remove
3340 USE_MAPPED_LOCATION test.
3341 * tree.h (gimple_stmt) <locus>: Now a location_t.
3342 (tree_exp) <locus>: Likewise.
3343 (DECL_IS_BUILTIN): Remove old-location variant.
3344 (annotate_with_file_line, annotate_with_locus): Likewise.
3345 (expr_locus, set_expr_locus): Update.
3346 * tree.c (build1_stat): Remove old location code.
3347 (last_annotated_node): Remove.
3348 (annotate_with_file_line): Remove old-location variant.
3349 (annotate_with_locus): Likewise.
3350 (expr_location): Remove old location code.
3351 (set_expr_location): Likewise.
3352 (expr_has_location): Likewise.
3353 (expr_locus): Likewise.
3354 (set_expr_locus): Likewise.
3355 (expr_filename): Don't use location_from_locus.
3356 (expr_lineno): Likewise.
3357 * rtl-error.c (location_for_asm): Remove old location code.
3358 * c-lex.c (cb_line_change): Remove old location code.
3359 (fe_file_change): Likewise.
3360 (cb_def_pragma): Likewise.
3361 (c_lex_with_flags): Likewise.
3362 * gengtype.c (do_typedef): Don't special-case location types.
3363 (define_location_structures): Remove.
3364 (main): Don't call define_location_structures.
3365 * tree-pretty-print.c (dump_implicit_edges): Remove old location
3368 2008-02-26 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3371 * builtins.def (BUILT_IN_STDARG_START): Remove.
3372 * builtins.c (expand_builtin): Remove BUILT_IN_STDARG_START.
3373 * tree-stdarg.c (execute_optimize_stdarg): Likewise.
3374 * tree-inline.c (inline_forbidden_p_1): Likewise.
3376 2008-02-26 Richard Guenther <rguenther@suse.de>
3378 * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ...
3379 * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here.
3380 (lookup_decl_from_uid): Declare.
3381 (remove_decl_from_map): Likewise.
3382 * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ...
3383 * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here.
3384 (decl_for_uid_map): New global hashtable mapping DECL_UID
3386 (init_ttree): Allocate it.
3387 (insert_decl_to_uid_decl_map): New helper function.
3388 (make_node_stat): Insert new decls into the map.
3389 (copy_node_stat): Likewise.
3390 (lookup_decl_from_uid): New function.
3391 (remove_decl_from_map): Likewise.
3392 (print_decl_for_uid_map_statistics): New helper.
3393 (dump_tree_statistics): Call it.
3395 * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap.
3396 (referenced_var_iterator): Adjust.
3397 (FOR_EACH_REFERENCED_VAR): Adjust.
3398 (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator.
3399 (num_referenced_vars): Adjust.
3400 * tree-flow-inline.h (gimple_referenced_vars): Adjust.
3401 (first_referenced_var): Remove.
3402 (end_referenced_vars_p): Likewise.
3403 (next_referenced_var): Likewise.
3404 (referenced_var_iterator_set): New helper function.
3405 * tree-dfa.c (referenced_var_lookup): Adjust.
3406 (referenced_var_check_and_insert): Likewise.
3407 (remove_referenced_var): Likewise.
3408 * tree-ssa.c (verify_flow_insensitive_alias_info): Use
3409 FOR_EACH_REFERENCED_VAR_IN_BITMAP.
3410 (verify_call_clobbering): Likewise.
OSDN Git Service
