1 2008-04-16 Uros Bizjak <ubizjak@gmail.com>
4 * config/i386/i386.md (fmodxf3): Copy operand 1 and operand 2 into
5 temporary registers. Change operand predicate to general_operand.
8 2008-04-16 Richard Guenther <rguenther@suse.de>
10 * Makefile.in (tree-affine.o): Add $(FLAGS_H) dependency.
11 * tree-affine.c (aff_combination_expand): Look through some
14 2008-04-15 Doug Kwan <dougkwan@google.com>
16 * dwarf2asm.c (dw2_assemble_integer): Cast to unsigned HOST_WIDE_INT
18 * tree-pretty-print.c (dump_generic_node): Ditto.
19 * final.c (output_addr_const): Ditto.
20 * dwarf2out.c (output_cfi): Ditto.
21 * c-pretty-print.c (pp_c_integer_constant): Ditto.
22 * print-rtl.c (print_rtx): Ditto.
23 * print-tree.c (print_node_brief, print_node): Ditto.
24 * c-common.c (match_case_to_enum_1): Ditto.
25 * sched-vis.c (print_value): Ditto.
26 * config/i386/i386.c (print_operand): Cast to long unsigned int
29 2008-04-15 Danny Smith <dannysmith@users.sourceforge.net>
30 * libgcc2.c [L_trampoline]: Remove unnecessary prototype for
31 MS Windows VirtualProtect function.
33 2008-04-15 Jan Hubicka <jh@suse.cz>
35 * gengtype.c (write_root): Param_is argument is OK.
36 * expr.c (expand_expr_real_1): Update call of get_exception_*.
37 * function.h: Include varray.h
38 (rtl_eh): New stucture based on except.c one.
39 (call_site_record): New forward declaration and vector type.
40 * calls.c (emit_call_1): Do not call
41 note_current_region_may_contain_throw.
42 * except.c (eh_status): Remove cur_region, try_region since they are
44 Move filter, exc_ptr, ttype_data, ehspec_data, action_record_data and
45 exception_handler_label_map, ehr_stackadj, ehr_handler, ehr_label,
46 sjlj_fc, sjlj_exit_after to rth_eh in function.h.
47 Remove call_site_data_used, call_site_data_size.
48 Turn call_site_record into vector in function.h.
49 (note_current_region_may_contain_throw): Remove.
50 (get_exception_pointer, get_exception_filter): Do not take struct
51 function argument; update.
52 (add_ehl_entry, find_exception_handler_labels, ehspec_filter_hash,
53 add_ttypes_entry, add_ehspec_entry, assign_filter_values,
54 build_post_landing_pads, dw2_build_landing_pads,
55 sjlj_assign_call_site_values, sjlj_mark_call_sites,
56 sjlj_emit_function_enter, sjlj_emit_function_enter,
57 sjlj_emit_function_exit, sjlj_emit_dispatch_table,
58 sjlj_build_landing_pads, finish_eh_generation,
59 remove_exception_handler_label, remove_eh_handler,
60 maybe_remove_eh_handler, add_reachable_handler,
61 reachable_handlers, expand_builtin_eh_return, expand_eh_return,
62 add_action_record, collect_one_action_chain, add_call_site,
63 convert_to_eh_region_ranges, sjlj_size_of_call_site_table,
64 sjlj_output_call_site_table, output_function_exception_table,
65 * except.h (note_current_region_may_contain_throw): Remove
66 (get_exception_pointer, get_exception_filter): Do not take struct
68 * Makefile.in (GTFILES): Put varargs before struct function.
70 2008-04-15 Eric Botcazou <ebotcazou@adacore.com>
72 * tree-ssa-structalias.c (get_constraint_for_component_ref): Do not
74 (get_constraint_for): Deal with STRING_CST here instead.
76 2008-04-15 Richard Guenther <rguenther@suse.de>
78 * tree-ssa-propagate.c (substitute_and_fold): Substitute
79 statements in a basic-block with a backward walk. Do not
80 substitute into dead statements but instead remove those.
82 2008-04-15 Richard Guenther <rguenther@suse.de>
84 * params.def (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE): Set default
85 to zero, thus disable creation of SFTs.
87 2008-04-15 Eric Botcazou <ebotcazou@adacore.com>
89 * tree-predcom.c (suitable_reference_p): Return false if the
92 2008-04-15 Jakub Jelinek <jakub@redhat.com>
95 * c-decl.c (finish_decl): If extern or static var has variable
96 size, set TREE_TYPE (decl) to error_mark_node.
98 2008-04-15 Rafael Espindola <espindola@google.com>
100 * fold-const.c (tree_call_nonnegative_warnv_p): Remove local
103 2008-04-15 Richard Guenther <rguenther@suse.de>
105 * tree-ssa-sccvn.h (vn_reference_lookup): Adjust prototype.
106 * tree-ssa-sccvn.c (vn_reference_lookup): New parameter maywalk.
107 (visit_reference_op_load): Do walk vuse-vdef chains on
109 (visit_reference_op_store): But do not here.
110 * tree-vn.c (vn_lookup): Do not walk vuse-vdef chains on
112 (vn_lookup_with_vuses): But do so here.
114 2008-04-14 Ian Lance Taylor <iant@google.com>
116 * fold-const.c (fold_overflow_warning): Remove assertion.
118 2008-04-15 Ben Elliston <bje@au.ibm.com>
120 * config/alpha/alpha.c (alpha_initialize_trampoline): Remove temp,
121 temp1 local variables.
123 2008-04-15 Zuxy Meng <zuxy.meng@gmail.com>
126 * config/i386/winnt.c (i386_pe_section_type_flags): Mark
127 ".text.unlikely" section as executable.
129 2008-04-14 James E. Wilson <wilson@tuliptree.org>
131 * config/ia64/ia64.c (rtx_needs_barrier): Handle
132 UNSPEC_FR_SQRT_RECIP_APPROX_RES.
133 * config/ia64/ia64.c (UNSPEC_FR_SQRT_RECIP_APPROX_RES): Define.
134 (divsi3_internal, divdi3_internal_lat, divdi3_internal_thr,
135 divsf3_internal_lat, sqrt_approx, sqrtsf2_internal_thr,
136 divdf3_internal_lat, sqrtdf2_internal_thr, divxf3_internal_lat,
137 divxf3_internal_thr, sqrtxf2_internal_thr, recip_approx): Use it.
139 2008-04-14 Ian Lance Taylor <iant@google.com>
141 * flags.h (POINTER_TYPE_OVERFLOW_UNDEFINED): Define.
142 * fold-const.c (fold_comparison): If appropriate, test
143 POINTER_TYPE_OVERFLOW_UNDEFINED, and issue an overflow warning.
144 (fold_binary): Test POINTER_TYPE_OVERFLOW_UNDEFINED when
145 reassociating a pointer type.
146 * doc/invoke.texi (Optimize Options): Document that
147 -fstrict-overflow applies to pointer wraparound.
149 2008-04-13 Jan Hubicka <jh@suse.cz>
151 * m32.c (m32c_pushm_popm): Use crtl->retrun_rtx.
153 2008-04-12 Andrew Pinski <pinskia@gmail.com>
155 * config/rs6000/rs6000.c (compute_save_world_info): Set lr_save_p if
156 we are going to "save the world".
158 2008-04-13 Hans-Peter Nilsson <hp@axis.com>
160 * config/cris/cris.md ("*andhi_lowpart_non_v32", "*andhi_lowpart_v32")
161 ("*andqi_lowpart_non_v32", "*andqi_lowpart_v32"): Use "+" for the
162 operand 0 constraint, not "=".
164 2008-04-11 James E. Wilson <wilson@tuliptree.org>
166 * system.h: Change ASSERT_CHECKING to ENABLE_ASSERT_CHECKING.
168 2008-04-11 H.J. Lu <hongjiu.lu@intel.com>
170 * dse.c (record_store): Use HOST_BITS_PER_WIDE_INT instead
171 of size of positions_needed * CHAR_BIT.
173 2008-04-11 H.J. Lu <hongjiu.lu@intel.com>
176 * dse.c (store_info): Change positions_needed to unsigned
178 (lowpart_bitmask): New.
179 (record_store): Cast to unsigned HOST_WIDE_INT for
180 positions_needed. Assert width <= size of positions_needed *
181 CHAR_BIT. Call lowpart_bitmask to initialize positions_needed.
182 (check_mem_read_rtx): Use unsigned HOST_WIDE_INT on mask. Call
183 lowpart_bitmask to set mask.
185 2008-04-11 Bernd Schmidt <bernd.schmidt@analog.com>
187 * config/bfin/constraints.md: New file.
188 * config/bfin/bfin.md: Include it.
189 (adddi3): Use satisfies_constraint functions instead of the old macros.
190 * config/bfin/bfin.h (REG_CLASS_FROM_LETTER, CONSTRAINT_LEN,
191 CONST_18UBIT_IMM_P, CONST_16BIT_IMM_P, CONST_16UBIT_IMM_P,
192 CONST_7BIT_IMM_P, CONST_7NBIT_IMM_P, CONST_5UBIT_IMM_P,
193 CONST_4BIT_IMM_P, CONST_4UBIT_IMM_P, CONST_3BIT_IMM_P,
194 CONST_3UBIT_IMM_P, CONST_OK_FOR_K, CONST_OK_FOR_P, CONST_OK_FOR_M,
195 CONST_OK_FOR_CONSTRAINT_P, CONST_DOUBLE_OK_FOR_LETTER,
196 EXTRA_CONSTRAINT): Delete.
197 * config/bfin/predicates.md (highbits_operand, reg_or_7bit_operand,
198 reg_or_neg7bit_operand): Use satisfies_constraint functions instead
200 * config/bfin/bfin.c: Include "tm-constrs.h".
201 (bfin_secondary_reload, split_load_immediate, bfin_rtx_costs):
202 Use satisfies_constraint functions instead of the old macros.
203 * doc/md.texi (Blackfin Constraints): Update file name reference.
205 2008-04-11 Richard Guenther <rguenther@suse.de>
207 PR tree-optimization/35869
208 * tree-vrp.c (execute_vrp): Move switch statement update after
209 jump threading. Schedule another cfg cleanup run.
211 2008-04-11 Volker Reichelt <v.reichelt@netcologne.de>
214 * attribs.c (decl_attributes): Return early on errorneous node.
216 2008-04-10 Oleg Ryjkov <olegr@google.com>
218 * tree.h (struct tree_base): Added a new flag default_def_flag.
219 (SSA_NAME_IS_DEFAULT_DEF): Changed to use the new flag.
221 2008-04-11 Kaz Kojima <kkojima@gcc.gnu.org>
223 * config.gcc (need_64bit_hwint): Need 64bit hwint for sh-*-*.
225 2008-04-10 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
228 * pa.md: Define mode iterator P. Define mode attribute dwc.
229 (dcacheflush): Update pattern to use iterator P and attribute dwc.
230 (icacheflush): Likewise.
231 * pa.h (INITIALIZE_TRAMPOLINE): Use dcacheflushsi/icacheflushsi if
232 !TARGET_64BIT, and dcacheflushdi/icacheflushdi if TARGET_64BIT.
234 2008-04-11 Ben Elliston <bje@au.ibm.com>
236 * config/spu/spu.c (spu_init_builtins): Mark builtins as nothrow.
238 2008-04-10 Rafael Espindola <espindola@google.com>
240 * tree-vrp.c (extract_range_from_binary_expr): Don't handle
241 TRUTH_ANDIF_EXPR or TRUTH_ORIF_EXPR.
242 (extract_range_from_expr): The same.
244 2008-04-10 Adam Nemet <anemet@caviumnetworks.com>
246 * config/mips/mips.md (GPR2): New mode iterator.
248 (*seq_<mode>, *seq_<mode>_mips16, *sne_<mode>, *sgt<u>_<mode>,
249 *sgt<u>_<mode>_mips16, *sge<u>_<mode>, *slt<u>_<mode>,
250 *slt<u>_<mode>_mips16 *sle<u>_<mode>, *sle<u>_<mode>_mips16):
251 Rewrite these to take two modes, the mode of comparison and the
252 mode of the destination.
253 * config/mips/mips.c (mips_expand_scc): Instead of having
254 paradoxical subreg as destination, expand "narrowing" scc if mode
255 of comparison is SI and target is requested in DI mode.
256 (mips_emit_int_order_test): Update comment. Make mode of
257 comparison match CMP0 rather than TARGET. When creating inverse
258 target use mode of TARGET.
260 2008-04-10 Adam Nemet <anemet@caviumnetworks.com>
262 * gcov-dump.c (tag_summary): Only print summaries for the first
263 GCOV_COUNTERS_SUMMABLE counters.
265 2008-04-10 Uros Bizjak <ubizjak@gmail.com>
267 * config/i386/i386.md (absneg): New code iterator.
268 (absnegprefix): New code attribute.
269 (<code><mode>2): Macroize expander from abs<mode>2 and neg<mode>2
270 patterns using absneg code iterator.
271 (<code>tf2): Macroize expander from abstf2 and negtf2 patterns
272 using absneg code iterator.
273 (*<code><mode>2_1): Macroize insn pattern from *abs<mode>2_1 and
274 *neg<mode>2 patterns using absneg code iterator.
275 (*<code>extendsfdf2): Macroize insn pattern from *absextendsfdf2 and
276 *negextendsfdf2 patterns using absneg code iterator.
277 (*<code>extendsfxf2): Macroize insn pattern from *absextendsfxf2 and
278 *negextendsfxf2 patterns using absneg code iterator.
279 (*<code>extendsfdf2): Macroize insn pattern from *absextendsfdf2 and
280 *negextendsfdf2 patterns using absneg code iterator.
281 * config/i386/sse.md (<code><mode>2): Macroize expander from
282 abs<mode>2 and neg<mode>2 patterns using absneg code iterator.
284 2008-04-10 Andreas Krebbel <krebbel1@de.ibm.com>
286 * config/s390/s390.h: Remove the remains of the recent search
287 & replace action of current_function_outgoing_args_size.
289 2008-04-10 Ira Rosen <irar@il.ibm.com>
291 PR tree-optimization/35821
292 * tree-vect-transform.c (vect_create_data_ref_ptr): Add check that
293 NEW_STMT_LIST is not NULL.
295 2008-04-09 David Edelsohn <edelsohn@gnu.org>
298 * toplev.c (process_options): Remove -ffunction-sections debugging
301 2008-04-09 Peter Bergner <bergner@vnet.ibm.com>
303 PR middle-end/PR28690
304 * explow.c (break_out_memory_refs): Use simplify_gen_binary rather
305 than gen_rtx_fmt_ee to perform more canonicalizations.
307 2008-04-08 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
310 * collect2.c (write_c_file): Don't wrap in "#ifdef __cplusplus".
312 2008-04-09 Richard Guenther <rguenther@suse.de>
314 * tree-cfg.c (verify_stmt): Print complete bogus stmt.
315 (dump_function_to_file): Dump function arguments with types.
317 2008-04-08 Richard Guenther <rguenther@suse.de>
319 * fold-const.c (fold_widened_comparison): Do not allow
320 sign-changes that change the result.
322 2008-04-08 Janis Johnson <janis187@us.ibm.com>
325 * config/rs6000/rs6000.c (rs6000_check_sdmode): Handle additional
326 kinds of indirect references.
328 2008-04-08 David Edelsohn <edelsohn@gnu.org>
330 * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Update
331 GNU Fortran language string.
333 2008-04-08 Rafael Espindola <espindola@google.com>
335 * fold-canst.c (tree_call_nonnegative_warnv_p): New.
336 (tree_invalid_nonnegative_warnv_p): Use tree_call_nonnegative_warnv_p.
337 * tree.h (tree_call_nonnegative_warnv_p): New.
339 2008-04-08 Jan Hubicka <jh@suse.cz>
341 * function.c (free_after_compilation): Clear out regno_reg_rtx
344 2008-04-08 Peter Bergner <bergner@vnet.ibm.com>
347 2008-04-07 Peter Bergner <bergner@vnet.ibm.com>
349 PR middle-end/PR28690
350 * rtlanal.c: (commutative_operand_precedence): Give SYMBOL_REF's the
351 same precedence as REG_POINTER and MEM_POINTER operands.
353 2008-04-08 Richard Guenther <rguenther@suse.de>
356 * tree-ssa-address.c (create_mem_ref): Use POINTER_PLUS_EXPR
357 for adding index to base.
359 2008-04-08 Kai Tietz <kai.tietz@onevision.com>
361 * config/i386/mingw32.h (ENABLE_EXECUTE_STACK): New.
362 (MINGW_ENABLE_EXECUTE_STACK): New.
363 (IN_LIBGCC2): For libgcc include windows.h file for
364 function declarations.
366 2008-04-08 Hans-Peter Nilsson <hp@axis.com>
368 * config/cris/cris.c (cris_address_cost): For a PLUS, swap tem1
369 and tem2 if tem1 is not a REG or MULT.
371 2008-04-08 Jan Hubicka <jh@suse.cz>
373 * function.h (incomming_args): Break out of struct function.
374 (function_subsections): Break out of struct function.
375 (rtl_data): Add args, subsections fields. Break out outgoing_args_size,
376 return_rtx and hard_reg_initial_vals from struct function.
377 Kill inl_max_label_num.
378 (current_function_pops_args, current_function_args_info,
379 current_function_args_size, current_function_args_size,
380 current_function_pretend_args_size,
381 current_function_outgoing_args_size,
382 current_function_internal_arg_pointer, current_function_return_rtx):
383 Kill compatibility accestor macros.
384 * builtins.c (expand_builtin_apply_args_1): Update.
385 (expand_builtin_next_arg): Update.
386 * df-scan.c (df_get_call_refs): Update.
387 * dbxout.c (dbxout_function_end): Update.
388 * dwarf2out.c (dwarf2out_switch_text_section): Update.
389 (output_line_info): Update.
390 (secname_for_decl): Update.
391 (dwarf2out_var_location): Update.
392 * function.c (free_after_compilation): Update.
393 (assign_parm_find_stack_rtl): Update.
394 (assign_parms): Update.
395 (expand_dummy_function_end): Update.
396 (expand_function_end): Update.
397 * calls.c (mem_overlaps_already_clobbered_arg_p): Update.
398 (expand_call): Update.
399 (emit_library_call_value_1): Update.
400 (store_one_arg): Update.
401 * varasm.c (initialize_cold_section_name): Update.
402 (unlikely_text_section): Update.
403 (unlikely_text_section_p): Update.
404 (assemble_start_function): Update.
405 (assemble_end_function): Update.
406 (default_section_type_flags): Update.
407 (switch_to_section): Update.
408 * integrate.c (set_decl_abstract_flags): Update.
409 (get_hard_reg_initial_val): Update.
410 (has_hard_reg_initial_val): Update.
411 (allocate_initial_values): Update.
412 * resource.c (init_resource_info): Update.
413 * config/alpha/alpha.c (NUM_ARGS): Update.
414 (direct_return): Update.
415 (alpha_va_start): Update.
416 (alpha_sa_size): Update.
417 (alpha_initial_elimination_offset): Update.
418 (alpha_expand_prologue): Update.
419 (alpha_start_function): Update.
420 (alpha_expand_epilogue): Update.
421 (unicosmk_initial_elimination_offset):
422 * config/alpha/alpha.md (call expander): Update.
423 * config/s390/s390.c (s390_register_info): Update.
424 (s390_register_info): Update.
425 (s390_frame_info): Update.
426 (s390_initial_elimination_offset): Update.
427 (s390_build_builtin_va_list): Update.
428 (s390_va_start): Update.
429 * config/spu/spu.c (direct_return): Update.
430 (spu_expand_prologue): Update.
431 (spu_initial_elimination_offset): Update.
432 (spu_build_builtin_va_list): Update.
433 (spu_va_start): Update.
434 * config/sparc/sparc.c (sparc_init_modes): Update.
435 (sparc_compute_frame_size): Update.
436 (function_value): Update.
437 * config/m32r/m32r.c (m32r_compute_frame_size): Update.
438 * config/i386/i386.md (return expander): Update.
439 * config/i386/i386.c (ix86_va_start): Update.
440 (ix86_can_use_return_insn_p): Update.
441 (ix86_compute_frame_layout): Update.
442 (ix86_expand_epilogue): Update.
443 * config/sh/sh.c (output_stack_adjust): Update.
444 (calc_live_regs): Update.
445 (sh_expand_prologue): Update.
446 (sh_builtin_saveregs): Update.
447 (sh_va_start): Update.
448 (initial_elimination_offset): Update.
449 (sh_allocate_initial_value): Update.
450 (sh_function_ok_for_sibcall): Update.
451 (sh_get_pr_initial_val): Update.
452 * config/sh/sh.md (return expander): Update.
453 * config/avr/avr.c (frame_pointer_required_p): UPdate.
454 * config/crx/crx.c (crx_compute_frame): UPdate.
455 (crx_initial_elimination_offset): UPdate.
456 * config/xtensa/xtensa.c (compute_frame_size): Update
457 (xtensa_builtin_saveregs): Update.
458 (xtensa_va_start): Update.
459 (order_regs_for_local_alloc): Update.
460 * config/stormy16/stormy16.c (xstormy16_compute_stack_layout): Update.
461 (xstormy16_expand_builtin_va_start): Update.
462 * config/fr30/fr30.c (fr30_compute_frame_size): Update.
463 * config/m68hc11/m68hc11.md (return expanders): Update.
464 * config/m68hc11/m68hc11.c (expand_prologue): Update.
465 (expand_epilogue): Update.
466 * config/cris/cris.c (cris_initial_frame_pointer_offset): Update.
467 (cris_simple_epilogue): Update.
468 (cris_expand_prologue): Update.
469 (cris_expand_epilogue): Update.
470 * config/iq2000/iq2000.c (iq2000_va_start): Update.
471 (compute_frame_size): Update.
472 * config/mt/mt.c (mt_compute_frame_size): Update.
473 * config/mn10300/mn10300.c (expand_prologue): Update.
474 (expand_epilogue): Update.
475 (initial_offset): Update.
476 (mn10300_builtin_saveregs):
477 * config/mn10300/mn10300.md (return expander): Update.
478 * config/ia64/ia64.c (ia64_compute_frame_size): Update.
479 (ia64_initial_elimination_offset): Update.
480 (ia64_initial_elimination_offset): Update.
481 (ia64_expand_prologue): Update.
482 * config/m68k/m68k.md (return expander): Update.
483 * config/rs6000/rs6000.c (rs6000_va_start): Update.
484 (rs6000_stack_info): Update.
485 * config/mcore/mcore.c (layout_mcore_frame): Update.
486 (mcore_expand_prolog): Update.
487 * config/arc/arc.c (arc_compute_frame_size): Update.
488 * config/score/score3.c (score3_compute_frame_size): Update.
489 * config/score/score7.c (score7_compute_frame_size): Update.
490 * config/arm/arm.c (use_return_insn): Update.
491 (thumb_find_work_register): Update.
492 (arm_compute_save_reg_mask): Update.
493 (arm_output_function_prologue): Update.
494 (arm_output_epilogue): Update.
495 (arm_size_return_regs): Update.
496 (arm_get_frame_offsets): Update.
497 (arm_expand_prologue): Update.
498 (thumb_exit): Update.
499 (thumb_unexpanded_epilogue): Update.
500 (thumb1_output_function_prologue): Update.
501 * config/pa/pa.md (return expander): Update.
502 * config/pa/pa.c (compute_frame_size): Update.
503 (hppa_builtin_saveregs): Update.
504 * config/mips/mips.c (mips_va_start): Update.
505 (mips16_build_function_stub): Update.
506 (mips_compute_frame_info): Update.
507 (mips_restore_gp): Update.
508 (mips_output_function_prologue): Update.
509 (mips_expand_prologue): Update.
510 * config/v850/v850.c (compute_frame_size): Update.
511 (expand_prologue): * config/mmix/mmix.c (along): update.
512 (mmix_initial_elimination_offset): update.
513 (mmix_reorg): update.
514 (mmix_use_simple_return): update.
515 (mmix_expand_prologue): update.
516 (mmix_expand_epilogue): Update.
517 * config/bfin/bfin.c (bfin_initial_elimination_offset): Update.
518 (emit_link_insn): Update.
520 2008-04-08 Anatoly Sokolov <aesok@post.ru>
522 * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Define
523 __AVR_HAVE_EIJMP_EICALL__ macro if device have EIJMP and EICALL
525 * config/avr/avr.c (avr_mcu_types): Set AVR31 architecture for
528 2008-04-07 Jan Hubicka <jh@suse.cz>
530 * function.h (rtl): Rename to x_rtl.
532 (return_label, naked_return_label, stack_slot_list, parm_birth_insn,
533 frame_offset, stack_check_probe_note, arg_pointer_save_area,
534 used_temp_slots avail_temp_slots, temp_slot_level,
535 nonlocal_goto_handler_labels): Update accesstors.
536 (rtl): New global variable.
537 (struct function): Move some fileds to rtl_data.
538 (get_arg_pointer_save_area): Update prototype.
539 * builtins.c (expand_builtin_setjmp_receiver): Update call of
540 get_arg_pointer_save_area.
541 * expr.c (init_expr): Update
542 * function.c (get_frame_size): Update
543 (assign_stack_local): Update
544 (expand_function_end): Update.
545 (get_art_pointer_save_area): Update
547 * emit-rtl.c (rtl): Declare.
548 (regno_reg_rtx): Declare.
549 (first_insn, last_insn, cur_insn_uid, last_location, first_label_num):
551 (gen_reg_rtx): Update.
552 * varasm.c (n_deferred_constatns): Update accestor.
553 (init_varasm_status): Do not allocate varasm_status.
554 (force_const_mem, get_pool_size, output_constant_pool): Update.
555 * stmt.c (force_label_rtx): Do not use x_ prefixes.
556 (expand_nl_goto_receiver): Update get_arg_pointer_save_area.
557 * m32c/m32.c (m32c_leaf_function_p, m32c_function_needs_enter): Update.
558 * sparc/sparc.h (INIT_EXPANDERS): Update.
559 * ia64/ia64.h (INIT_EXPANDERS): Update.
561 2008-04-07 James E. Wilson <wilson@tuliptree.org>
563 * reload.c (push_secondary_reload): Add missing break to for loop.
565 2008-04-07 Peter Bergner <bergner@vnet.ibm.com>
567 PR middle-end/PR28690
568 * rtlanal.c: Update copyright years.
569 (commutative_operand_precedence): Give SYMBOL_REF's the same precedence
570 as REG_POINTER and MEM_POINTER operands.
571 * emit-rtl.c (gen_reg_rtx_and_attrs): New function.
572 (set_reg_attrs_from_value): Call mark_reg_pointer as appropriate.
573 * rtl.h (gen_reg_rtx_and_attrs): Add prototype for new function.
574 * gcse.c: Update copyright years.
575 (pre_delete): Call gen_reg_rtx_and_attrs.
576 (hoist_code): Likewise.
577 (build_store_vectors): Likewise.
578 (delete_store): Likewise.
579 * loop-invariant.c (move_invariant_reg): Likewise.
580 Update copyright years.
582 2008-04-07 Uros Bizjak <ubizjak@gmail.com>
584 * config/i386/i386.md ("*sse_prologue_save_insn"): Use braced output
585 control string instead of quoted.
587 2008-04-07 Kenneth Zadeck <zadeck@naturalbridge.com>
589 * doc/rtl.texi: Rewrite of subreg section.
591 2008-04-07 Kai Tietz <kai.tietz@onevision.com>
594 * config/i386/i386.c (legitimize_pic_address): Add treating
595 of dllimport SYM_REF's.
596 (legitimize_dllimport_symbol): Add prototype.
598 2008-04-07 Eric Botcazou <ebotcazou@adacore.com>
600 * fold-const.c (fold) <ARRAY_REF>: New case. Try to fold constant
601 reference in constructor with non self-referential type.
603 2008-04-07 Eric Botcazou <ebotcazou@adacore.com>
605 Removal of Return with Depressed Stack Pointer support
606 * tree.h (TYPE_RETURNS_STACK_DEPRESSED): Delete.
607 (ECF_SP_DEPRESSED): Likewise.
608 (ECF_LIBCALL_BLOCK, ECF_NOVOPS): Adjust.
609 * calls.c (emit_call_1): Do not test ECF_SP_DEPRESSED.
610 (flags_from_decl_or_type): Do not test TYPE_RETURNS_STACK_DEPRESSED.
611 (expand_call): Do not test ECF_SP_DEPRESSED.
612 * dse.c (dse_step0): Do not test TYPE_RETURNS_STACK_DEPRESSED.
613 * function.c (keep_stack_depressed): Delete.
614 (handle_epilogue_set): Likewise.
615 (update_epilogue_consts): Likewise.
616 (emit_equiv_load): Likewise.
617 (thread_prologue_and_epilogue_insns): Remove support for Return with
618 Depressed Stack Pointer.
619 * print-tree.c (print_node): Do not test TYPE_RETURNS_STACK_DEPRESSED.
621 2008-04-06 Richard Guenther <rguenther@suse.de>
623 PR tree-optimization/35400
624 * tree-vrp.c (vrp_evaluate_conditional): Only query value-range
625 information from SSA_NAMEs.
627 2008-04-06 Anatoly Sokolov <aesok@post.ru>
629 * config/avr/avr.h (avr_mega_p): Remove declaration.
630 (AVR_MEGA): Remove macro.
631 * config/avr/avr.c (avr_mega_p): Remove variable.
632 (avr_override_options): Remove inicializion of avr_mega_p.
633 Use AVR_HAVE_JMP_CALL instead of AVR_MEGA.
634 (print_operand): Use AVR_HAVE_JMP_CALL instead of AVR_MEGA.
635 (avr_jump_mode): (Ditto.).
636 (avr_output_progmem_section_asm_op): (Ditto.).
637 (avr_asm_init_sections): (Ditto.).
638 (avr_asm_init_sections): (Ditto.).
639 (avr_rtx_costs): (Ditto.).
640 * config/avr/avr.md: (Ditto.).
641 * config/avr/avr.h: Use '__AVR_HAVE_JMP_CALL__' instead of
644 2008-04-06 Richard Guenther <rguenther@suse.de>
646 PR tree-optimization/35842
647 * tree-ssa-address.c (fixed_address_object_p): Adjust to match
648 is_gimple_invariant_address.
650 2008-04-06 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
652 * gcc.c (default_compilers): Sync Fortran extensions list with
653 that in fortran/lang-specs.h.
654 * doc/invoke.texi: Likewise.
655 * dbxout.c (get_lang_number): Use "GNU Fortran" in "GNU F95".
656 * dwarf2out.c (gen_compile_unit_die): Likewise.
658 2008-04-06 Tom G. Christensen <tgc@jupiterrise.com>
660 * gthr-posix95.h (__gthread_cond_wait_recursive): Add missing &.
662 2008-04-05 Uros Bizjak <ubizjak@gmail.com>
665 * config/i386/i386.c (ix86_function_regparm): Error if regparm(3)
666 attribute is used for nested functions.
668 2008-04-05 Jan Hubicka <jh@suse.cz>
670 * emit-rtl.c (init_emit): xcalloc regno_pointer_align.
672 * tree-dump.c (dump_enable_all): Remove prototype; do not accept
674 (dump_files): Update.
675 (enable_rtl_dump_file): Do not accept letter argument.
676 * tree-pass.h (dump_file_info): Remove letter argument.
677 * toplev.c (decode_d_option): Update -da handling.
678 * toplev.h (enable_rtl_dump_file): Update prototype.
679 * passes.c (register_one_dump_file): Do not accept IPA argument; work
680 it out based on pass type.
681 (register_dump_files_1): Likewise.
682 (init_optimization_passes): Update register_one_dump_file calls.
683 (execute_one_pass): Sanity check that IPA passes are called at IPA
684 level and RTL passes at RTL level.
685 (execute_pass_list): IPA pass can not be after or subpass of
687 (execute_ipa_pass_list): Handle IPA subpasses of IPA subpasses and
688 disallov RTL subpasses of IPA subpasses.
690 2008-04-05 Ben Elliston <bje@au.ibm.com>
692 * tree-cfg.c (need_fake_edge_p): Return false for calls to
693 builtins that return exactly once and do not throw. Cache call to
696 2008-04-04 Andy Hutchinson <hutchinsonandy@aim.com>
698 PR rtl-optimization/34916
700 * combine.c (create_log_links): Do not create duplicate LOG_LINKS
701 between instruction pairs.
703 2008-04-04 Naveen.H.S <naveen.hs@kpitcummins.com>
705 * doc/invoke.texi: Document -mbitops for SH.
706 * config/sh/constraints.md (K03, K12, Sbv, Sbw): New constraints.
707 * config/sh/predicates.md (bitwise_memory_operand): New predicate.
708 * config/sh/sh.c (print_operand): Add %t operand code.
709 * config/sh/sh.h (GO_IF_LEGITIMATE_INDEX): Add condition for SH2A.
710 * config/sh/sh.md (*iorsi3_compact): Fix condition for SH2A.
711 (extendqisi2_compact): Add the alternative for SH2A 4-byte mov.b.
712 (extendqihi2): Likewise.
714 (insv): Use bset, bclr and bst instructions for SH2A if possible.
715 (extv): Use bld instruction for SH2A if possible.
717 (bclr_m2a, bclrmem_m2a, bset_m2a, bsetmem_m2a, bst_m2a, bld_m2a,
718 bldsign_m2a, bld_reg, *bld_regqi, band_m2a, bandreg_m2a,
719 bor_m2a, borreg_m2a, bxor_m2a, bxorreg_m2a): New insns.
720 (bset.b, bclr.b): Define peepholes.
721 * config/sh/sh.opt (mbitops): New option.
723 2008-04-04 Janis Johnson <janis187@us.ibm.com>
726 * config/rs6000/rs6000.c (rs6000_check_sdmode): Handle indirect ref
727 and view convert expression.
729 2008-04-04 Jakub Jelinek <jakub@redhat.com>
732 * tree-cfg.c (remove_useless_stmts_1): Handle OMP_* containers.
734 2008-04-04 H.J. Lu <hongjiu.lu@intel.com>
736 * config.gcc (extra_headers): Add wmmintrin.h for x86 and x86-64.
738 * config/i386/cpuid.h (bit_AES): New.
739 (bit_PCLMUL): Likewise.
741 * config/i386/i386.c (pta_flags): Add PTA_AES and PTA_PCLMUL.
742 (override_options): Handle PTA_AES and PTA_PCLMUL. Enable
743 SSE2 if AES or PCLMUL is enabled.
744 (ix86_builtins): Add IX86_BUILTIN_AESENC128,
745 IX86_BUILTIN_AESENCLAST128, IX86_BUILTIN_AESDEC128,
746 IX86_BUILTIN_AESDECLAST128, IX86_BUILTIN_AESIMC128,
747 IX86_BUILTIN_AESKEYGENASSIST128 and IX86_BUILTIN_PCLMULQDQ128.
748 (bdesc_sse_3arg): Add IX86_BUILTIN_PCLMULQDQ128.
749 (bdesc_2arg): Add IX86_BUILTIN_AESENC128,
750 IX86_BUILTIN_AESENCLAST128, IX86_BUILTIN_AESDEC128,
751 IX86_BUILTIN_AESDECLAST128 and IX86_BUILTIN_AESKEYGENASSIST128.
752 (bdesc_1arg): Add IX86_BUILTIN_AESIMC128.
753 (ix86_init_mmx_sse_builtins): Define __builtin_ia32_aesenc128,
754 __builtin_ia32_aesenclast128, __builtin_ia32_aesdec128,
755 __builtin_ia32_aesdeclast128,__builtin_ia32_aesimc128,
756 __builtin_ia32_aeskeygenassist128 and
757 __builtin_ia32_pclmulqdq128.
758 * config/i386/i386.c (ix86_expand_binop_imm_builtin): New.
759 (ix86_expand_builtin): Use it for IX86_BUILTIN_PSLLDQI128 and
760 IX86_BUILTIN_PSRLDQI128. Handle IX86_BUILTIN_AESKEYGENASSIST128.
762 * config/i386/i386.h (TARGET_AES): New.
763 (TARGET_PCLMUL): Likewise.
764 (TARGET_CPU_CPP_BUILTINS): Handle TARGET_AES and TARGET_PCLMUL.
766 * config/i386/i386.md (UNSPEC_AESENC): New.
767 (UNSPEC_AESENCLAST): Likewise.
768 (UNSPEC_AESDEC): Likewise.
769 (UNSPEC_AESDECLAST): Likewise.
770 (UNSPEC_AESIMC): Likewise.
771 (UNSPEC_AESKEYGENASSIST): Likewise.
772 (UNSPEC_PCLMUL): Likewise.
774 * config/i386/i386.opt (maes): New.
777 * config/i386/sse.md (aesenc): New pattern.
778 (aesenclast): Likewise.
780 (aesdeclast): Likewise.
782 (aeskeygenassist): Likewise.
783 (pclmulqdq): Likewise.
785 * config/i386/wmmintrin.h: New.
787 * doc/extend.texi: Document AES and PCLMUL built-in function.
789 * doc/invoke.texi: Document -maes and -mpclmul.
791 2008-04-04 Paolo Bonzini <bonzini@gnu.org>
793 * function.c (free_after_parsing): Replace with
794 cxx_push_function_context from C++ front-end.
795 (allocate_struct_function): Don't call langhook.
796 * langhooks.h (struct lang_hooks_for_functions): Delete.
797 (struct lang_hooks): Add back missing_noreturn_ok_p here, delete
799 * langhooks-def.h (LANG_HOOKS_MISSING_NORETURN_OK_P): Add.
800 (LANG_HOOKS_FUNCTION_INIT, LANG_HOOKS_FUNCTION_FINAL,
801 LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P,
802 LANG_HOOKS_FUNCTION_INITIALIZER): Delete.
803 (LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_MISSING_NORETURN_OK_P,
804 remove LANG_HOOKS_FUNCTION_INITIALIZER.
805 * tree-cfg.c: Adjust call to missing_noreturn_ok_p langhook.
807 * c-objc-common.h (LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P):
808 Rename to LANG_HOOKS_MISSING_NORETURN_OK_P.
810 2008-04-04 Jakub Jelinek <jakub@redhat.com>
813 * c-pretty-print.c (pp_c_initializer_list): Handle CONSTRUCTOR
816 2008-04-04 Richard Guenther <rguenther@suse.de>
819 * fold-const.c (optimize_minmax_comparison): Use the correct
820 type for the constant in the simplified comparison.
822 2008-04-04 Zuxy Meng <zuxy.meng@gmail.com>
824 * config/i386/driver-i386.c (describe_cache): Add l2_sizekb argument.
825 Pass L2 size as "--param l2-cache-size" to the compiler.
826 (decode_l2_cache): New function to decode L2 cache parameters using
827 0x8000006 extended cpuid function.
828 (detect_caches_amd): Determine parameters of L2 cache using
829 decode_l2_caches function.
830 (decode_caches_intel): Decode L2 cache parameters.
831 (detect_caches_intel): Determine L2 cache parameters using
832 decode_caches_intel and decode_l2_caches functions.
834 2008-04-03 Bob Wilson <bob.wilson@acm.org>
836 * config/xtensa/xtensa.c (xtensa_secondary_reload_class): Use a
837 secondary input reload for subword loads from the constant pool.
839 2008-04-03 Janis Johnson <janis187@us.ibm.com>
842 * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Use integer
843 constants of the appropriate size for runtime calculations.
846 * dfp.c (decimal_from_decnumber): Retain trailing zeroes for
847 decimal-float literal constant zero.
849 2008-04-03 Jakub Jelinek <jakub@redhat.com>
852 * c-parser.c (c_parser_omp_atomic): Call
853 default_function_array_conversion on the RHS.
856 * omp-low.c (scan_sharing_clauses) <case OMP_CLAUSE_SHARED>: Don't
857 call is_variable_sized if decl has incomplete type.
859 2008-04-03 H.J. Lu <hongjiu.lu@intel.com>
861 * config/i386/i386-protos.h (ix86_aligned_p): Removed.
863 2008-04-03 Adam Nemet <anemet@caviumnetworks.com>
865 * config/mips/mips.md (any_gt, any_ge, any_lt, any_le): New code
867 (u): Add attribute values for gt, gtu, ge, geu, lt, ltu, le and leu.
868 (sgt<u>): Merge sgt and sgtu into new expander.
869 (sgt, sgtu): Remove expanders.
870 (*sgt<u>_<mode>): Merge *sgt_<mode> and *sgtu_<mode> into new pattern.
871 (*sgt_<mode>, *sgtu_<mode>): Remove patterns.
872 (*sgt<u>_<mode>_mips16): Merge *sgt_<mode>_mips16 and
873 *sgtu_<mode>_mips16 into new pattern.
874 (*sgt_<mode>_mips16, *sgtu_<mode>_mips16): Remove patterns.
875 (sge<u>): Merge sge and sgeu into new expander.
876 (sge, sgeu): Remove expanders.
877 (*sge<u>_<mode>): Merge *sge_<mode> and second *sge_<mode> into
879 (*sge_<mode>, second *sge_<mode>): Remove patterns.
880 (slt<u>): Merge slt and sltu into new expander.
881 (slt, sltu): Remove expanders.
882 (*slt<u>_<mode>): Merge *slt_<mode> and *sltu_<mode> into new pattern.
883 (*slt_<mode>, *sltu_<mode>): Remove patterns.
884 (*slt<u>_<mode>_mips16): Merge *slt_<mode>_mips16 and
885 *sltu_<mode>_mips16 into new pattern.
886 (*slt_<mode>_mips16, *sltu_<mode>_mips16): Remove patterns.
887 (sle<u>): Merge sle and sleu into new expander.
888 (sle, sleu): Remove expanders.
889 (*sle<u>_<mode>): Merge *sle_<mode> and *sleu_<mode> into new pattern.
890 (*sle_<mode>, *sleu_<mode>): Remove patterns.
891 (*sle<u>_<mode>_mips16): Merge *sle_<mode>_mips16 and
892 *sleu_<mode>_mips16 into new pattern.
893 (*sle_<mode>_mips16, *sleu_<mode>_mips16): Remove patterns.
895 2008-04-03 Jan Hubicka <jh@suse.cz>
897 PR tree-optimization/35795
898 * alpha/alpha.c (alpha_output_mi_thunk_osf): Free after compilation.
899 * sparc/sparc.c (sparc_output_mi_thunk): Likewise.
900 * ia64/ia64.c (ia64_output_mi_thunk): Likewise.
901 * m68k/m68k.c (m68k_output_mi_thunk): Likewise.
902 * score/score3.c (score3_output_mi_thunk): Likewise.
903 * score/score7.c (score7_output_mi_thunk): Likewise.
904 * mips/mips.c (mips_output_mi_thunk): Likewise.
906 2008-04-03 Richard Guenther <rguenther@suse.de>
908 * tree-vrp.c (extract_range_from_unary_expr): Handle all
909 conversions. Simplify code.
911 2008-04-03 Kaz Kojima <kkojima@gcc.gnu.org>
913 * config/sh/sh.c (sh_output_mi_thunk): Free cfun.
915 2008-04-03 Tom Tromey <tromey@redhat.com>
916 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
918 * config/m68k/t-uclinux (generated_files): Add sysroot-suffix.h.
919 * config/bfin/t-bfin-linux (generated_files): Add
920 linux-sysroot-suffix.h.
921 * doc/install.texi (Prerequisites): Require make 3.80.
922 * doc/sourcebuild.texi (Front End Directory): Document new
924 * Makefile.in (generated_files): New variable.
925 (ALL_HOST_OBJS): New variable.
926 ($(ALL_HOST_OBJS)): New target.
928 2008-04-03 Paolo Bonzini <bonzini@gnu.org>
930 * tree-inline.c (copy_generic_body, copy_decl_no_change): Export.
931 (remap_block): Call id->transform_lang_insert_block instead
933 (optimize_inline_calls, unsave_expr_now, tree_function_versioning):
934 Set id.transform_lang_insert_block to NULL.
935 (clone_body): Move to cp/optimize.c
936 * tree-inline.h (struct copy_body_data): Change
937 transform_lang_insert_block to function pointer.
938 (copy_generic_body, copy_decl_no_change): Export.
939 * langhooks.h (struct lang_hooks_for_decls): Kill insert_block.
940 * langhooks-def.h (LANG_HOOKS_INSERT_BLOCK): Kill.
941 (LANG_HOOKS_DECLS): Remove LANG_HOOKS_INSERT_BLOCK.
943 * c-tree.h (insert_block): Kill.
944 * c-decl.c (insert_block): Kill.
946 2008-04-03 Paolo Bonzini <bonzini@gnu.org>
948 * c-objc-common.h (LANG_HOOKS_FUNCTION_ENTER_NESTED,
949 LANG_HOOKS_FUNCTION_LEAVE_NESTED): Delete.
950 * c-tree.h (c_push_function_context, c_pop_function_context): Remove
952 * c-decl.c (c_push_function_context, c_pop_function_context): Remove
953 argument, call {push,pop}_function_context from here.
954 * c-parser.c: Use c_{push,pop}_function_context.
956 * function.c (push_function_context_to): Move meat ...
957 (push_function_context): ... here. Simplify.
958 * function.c (pop_function_context_from): Move meat ...
959 (pop_function_context): ... here. Simplify.
960 * langhooks.h (struct lang_hooks_for_functions): Remove enter_nested,
962 * langhooks-def.h (LANG_HOOKS_FUNCTION_ENTER_NESTED,
963 LANG_HOOKS_FUNCTION_LEAVE_NESTED): Delete.
964 (LANG_HOOKS_FUNCTION_INITIALIZER): Delete them from here.
965 * tree.h (push_function_context_to, pop_function_context_from): Remove.
967 2008-04-03 Ben Elliston <bje@au.ibm.com>
969 * expmed.c (extract_force_align_mem_bit_field): Remove.
971 2008-04-03 Richard Guenther <rguenther@suse.de>
974 * expr.h (try_casesi): Adjust prototype.
975 * expr.c (try_casesi): Take fallback label as extra parameter.
976 Use that for gen_casesi if default_label is NULL.
977 * stmt.c (expand_case): Pass fallback label to try_casesi,
978 make sure to fill gaps with a fallback label if default_label
981 2008-04-03 Dominique d'Humieres <dominiq@lps.ens.fr>
984 * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Free cfun.
986 2008-04-03 Ben Elliston <bje@au.ibm.com>
988 * expmed.c (extract_split_bit_field): Remove if (0) code.
989 * tree-ssa-structalias.c (do_sd_constraint): Likewise.
990 (do_ds_constraint): Likewise.
992 2008-04-02 Joseph Myers <joseph@codesourcery.com>
994 * doc/cppopts.texi (-dU): Document.
995 * c-common.h (flag_dump_macros): Update comment.
996 * c-opts.c (handle_OPT_d): Handle -dU.
997 * c-ppoutput.c (macro_queue, define_queue, undef_queue,
998 dump_queued_macros, cb_used_define, cb_used_undef): New.
999 (init_pp_output): Handle -dU.
1000 (cb_line_change): Call dump_queued_macros.
1001 * toplev.c (decode_d_option): Accept -dU as preprocessor option.
1003 2008-04-02 Anatoly Sokolov <aesok@post.ru>
1005 * config/avr/predicates.md (io_address_operand): New predicate.
1006 * config/avr/avr-protos.h (avr_io_address_p): Remove declaration.
1007 * config/avr/avr.c (avr_io_address_p): Remove function.
1008 (out_movqi_r_mr): Use 'io_address_operand' predicate instead of
1009 'avr_io_address_p' function.
1010 (out_movhi_r_mr): (Ditto.).
1011 (out_movqi_mr_r): (Ditto.).
1012 (out_movhi_mr_r): (Ditto.).
1013 (avr_address_cost): (Ditto.).
1015 2008-04-02 Uros Bizjak <ubizjak@gmail.com>
1017 * config/i386/i386.md (*float<SSEMODEI24:mode><X87MODEF:mode>2_1):
1018 Emit gen_floatdi<X87MODEF:mode>2_i387_with_xmm for DImode values
1019 in 32bit mode when XMM registers are available to avoid store
1021 (floatdi<X87MODEF:mode>2_i387_with_xmm): New insn pattern and
1022 corresponding post-reload splitters.
1024 2008-04-02 H.J. Lu <hongjiu.lu@intel.com>
1026 * config/i386/i386.c (bdesc_sse_3arg): Add __builtin_ia32_shufps
1027 and __builtin_ia32_shufpd. Provide __builtin_ia32_roundsd and
1028 __builtin_ia32_roundss.
1029 (ix86_init_mmx_sse_builtins): Remove __builtin_ia32_shufps,
1030 __builtin_ia32_shufpd, __builtin_ia32_roundsd and
1031 __builtin_ia32_roundss.
1032 (ix86_expand_builtin): Don't handle IX86_BUILTIN_SHUFPS and
1033 IX86_BUILTIN_SHUFPD here.
1035 2008-04-02 H.J. Lu <hongjiu.lu@intel.com>
1037 * config/i386/i386.md (plogic): New.
1038 (plogicprefix): Likewise.
1040 * config/i386/mmx.md (mmx_<code><mode>3): New.
1041 (mmx_and<mode>3): Removed.
1042 (mmx_ior<mode>3): Likewise.
1043 (mmx_xor<mode>3): Likewise.
1045 * config/i386/sse.md (<code><mode>3): New.
1046 (*<code><mode>3): Likewise.
1047 (*<code><mode>3): Likewise.
1048 (<code><mode>3): Likewise.
1049 (*sse_<code><mode>3): Likewise.
1050 (*sse2_<code><mode>3): Likewise.
1051 (<code>tf3): Likewise.
1052 (*<code>tf3): Likewise.
1053 (and<mode>3): Likewise.
1054 (*and<mode>3): Likewise.
1055 (ior<mode>3): Removed.
1056 (*ior<mode>3): Likewise.
1057 (xor<mode>3): Likewise.
1058 (*xor<mode>3): Likewise.
1059 (*and<mode>3): Likewise.
1060 (*ior<mode>3): Likewise.
1061 (*xor<mode>3): Likewise.
1062 (and<mode>3): Likewise.
1063 (*sse_and<mode>3): Likewise.
1064 (*sse2_and<mode>3): Likewise.
1066 (*andtf3): Likewise.
1067 (ior<mode>3): Likewise.
1068 (*sse_ior<mode>3): Likewise.
1069 (*sse2_ior<mode>3): Likewise.
1071 (*iortf3): Likewise.
1072 (xor<mode>3): Likewise.
1073 (*sse_xor<mode>3): Likewise.
1074 (*sse2_xor<mode>3): Likewise.
1076 (*xortf3): Likewise.
1078 2008-04-02 Richard Guenther <rguenther@suse.de>
1080 PR tree-optimization/14495
1081 PR tree-optimization/34793
1082 * tree-vrp.c (struct switch_update): New structure.
1083 (to_remove_edges, to_update_switch_stmts): New VECs.
1084 (simplify_switch_using_ranges): New function. Remove not taken
1085 case labels and edges.
1086 (simplify_stmt_using_ranges): Call it.
1087 (identify_jump_threads): Mark edges we have queued for removal
1088 so we don't thread them.
1089 (execute_vrp): Remove edges queued for removal, update SWITCH_STMT
1091 * tree-cfg.c (group_case_labels): Deal with missing default label.
1092 (tree_verify_flow_info): Allow missing default label.
1093 * stmt.c (emit_case_bit_tests): Deal with NULL default_label.
1094 (emit_case_nodes): Likewise.
1095 (expand_case): Do not rely on the default label to be present.
1096 * expr.c (try_casesi): Deal with NULL default_label.
1097 (do_tablejump): Likewise.
1099 2008-04-02 Richard Guenther <rguenther@suse.de>
1101 PR tree-optimization/14495
1102 * tree-vrp.c (vrp_visit_cond_stmt): Do not handle
1103 SWITCH_EXPR here ...
1104 (vrp_visit_switch_stmt): ... but here (new function).
1105 (find_case_label_index): New helper function.
1106 (vrp_visit_stmt): Dispatch to vrp_visit_switch_stmt.
1108 2008-04-02 Paolo Bonzini <bonzini@gnu.org>
1110 * fwprop.c: Fix ISO-C99ism.
1112 2008-04-02 Paolo Bonzini <bonzini@gnu.org>
1115 * Makefile.in (objdir): Set it here.
1116 * configure.ac: Not here. Find dynamic linker characteristics.
1117 * exec-tool.in: Use them.
1118 * aclocal.m4: Regenerate.
1119 * configure: Regenerate.
1121 2008-04-02 Paolo Bonzini <bonzini@gnu.org>
1123 * expr.c (expand_var): Delete it.
1124 * expr.h (expand_var): Delete prototype.
1125 * function.c (expand_function_start): Use expand_decl instead.
1126 * cfgexpand.c (expand_one_static_var, expand_one_var): Don't call
1129 2008-04-02 Andy Hutchinson <hutchinsonamdy@aim.com>
1131 PR rtl-optimization/35542
1132 * fwprop.c (forward_propagate_and_simplify): Replace
1133 loc_reg_mentioned_in_p with reg_mentioned_p.
1135 2008-04-02 Paolo Bonzini <bonzini@gnu.org>
1137 PR rtl-optimization/35281
1138 * fwprop.c (PR_CAN_APPEAR, PR_HANDLE_MEM): New.
1139 (propagate_rtx_1): Handle PR_HANDLE_MEM.
1140 (propagate_rtx): Pass PR_HANDLE_MEM if appropriate.
1141 (varying_mem_p): Move above propagate_rtx.
1142 (all_uses_available_at): Do not check MEMs.
1144 2008-04-02 Rafael Espindola <espindola@google.com>
1146 * tree-vrp.c (extract_code_and_val_from_cond): Remove.
1147 (register_edge_assert_for_2): Split the cond argument.
1148 (register_edge_assert_for_1): Adjust for the change in
1149 register_edge_assert_for_2.
1150 (register_edge_assert_for): Split the cond argument.
1151 (find_switch_asserts): Adjust for the change in
1152 register_edge_assert_for.
1154 2008-04-02 Kai Tietz <kai.tietz@onevision.com>
1156 * config.gcc: Add for x86_64-*-mingw* the t-crtfm to tbuild.
1157 * config/i386/cygming.h (ASM_OUTPUT_DWARF_OFFSET): Add 8 byte
1158 offsets for 64-bit mingw.
1159 * config/i386/i386.c (ix86_pass_by_reference): Correct calling
1160 abi for x86_64-pc-mingw.
1162 2008-04-02 Richard Guenther <rguenther@suse.de>
1164 * tree-vrp.c (extract_range_from_assert): Make sure to not
1165 produce range min/max with TREE_OVERFOW set.
1166 If merging a anti-range and a range keep the anti-range if
1167 the range covers all values of the type.
1168 (register_edge_assert_for_2): Only allow sign-changing
1169 conversions in detecting canonical range checks. Also
1170 register an assert for the unsigned name if useful.
1172 PR tree-optimization/35787
1173 * tree-vrp.c (vrp_val_max): New function.
1174 (vrp_val_min): Likewise.
1175 (vrp_val_is_max): Move earlier, use vrp_val_{min,max}.
1176 (vrp_val_is_min): Likewise.
1177 (supports_overflow_infinity): Use vrp_val_{min,max}.
1178 (negative_overflow_infinity): Likewise.
1179 (positive_overflow_infinity): Likewise.
1180 (is_negative_overflow_infinity): Use vrp_val_is_{min,max}.
1181 (is_positive_overflow_infinity): Likewise.
1182 (is_overflow_infinity): Likewise.
1183 (avoid_overflow_infinity): Use vrp_val_{min,max} and
1184 vrp_val_is_{min,max}.
1185 (set_and_canonicalize_value_range): Canonicalize anti-ranges
1186 to ranges if possible. Avoid empty ranges.
1188 2008-04-01 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1191 * fold-const.c (get_pointer_modulus_and_residue): Return modulus 1 if
1192 the expression is a function address.
1194 2008-04-01 George Helffrich <george@gcc.gnu.org>
1196 PR fortran/PR35154, fortran/PR23057
1197 * fortran/trans-common.c (create_common): Add decl to function
1198 chain to preserve identifier scope in debug output.
1200 * dbxout.c: Emit .stabs debug info for Fortran COMMON block
1201 variables as base symbol name + offset using N_BCOMM/N_ECOMM.
1202 (is_fortran, dbxout_common_name, dbxout_common_check): New functions.
1203 (dbxout_symbol_location): Transform N_LCSYM to N_GSYM for storage
1205 (dbxout_syms): Check for COMMON-based symbol and wrap in
1206 N_BCOMM/N_ECOMM stab bracket, including as many symbols as possible
1207 in bracket for efficiency.
1209 * dwarf2out.c: Emit DWARF debug info for Fortran COMMON block
1210 using DW_TAG_common_block + member offset.
1211 (add_pubname_string): New function.
1212 (dw_expand_expr): New function to find block name and offset for
1214 (common_check): New function to check whether symbol in Fortran COMMON.
1215 (gen_variable_die): If COMMON, use DW_TAG_common_block.
1217 * testsuite/gcc.dg/debug/pr35154.c: New test to check that non-Fortran
1218 use of common is unchanged.
1220 * testsuite/lib/gfortran-dg.exp: New harness to compile Fortran progs
1221 with all combinations of debug options available on target.
1222 * testsuite/gfortran.dg/debug/debug.exp: Ditto.
1223 * testsuite/gfortran.dg/debug/trivial.f: Ditto.
1224 * testsuite/gfortran.dg/debug/pr35154-stabs.f: New test case for
1225 .stabs functionality.
1226 * testsuite/gfortran.dg/debug/pr35154-dwarf2.f: New test case for
1227 DWARF functionality.
1229 2008-04-01 Volker Reichelt <v.reichelt@netcologne.de>
1232 * c-format.c (init_dynamic_gfc_info): Ignore invalid locus type.
1234 2008-04-02 Ben Elliston <bje@au.ibm.com>
1236 * config/v850/v850.md (casesi): Remove if (0) code.
1237 * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Likewise.
1238 * config/alpha/alpha.c (alpha_initialize_trampoline): Likewise.
1240 2008-04-01 Uros Bizjak <ubizjak@gmail.com>
1242 * config/i386/i386.md (rex64suffix): New mode attribute.
1243 (floathi<mode>2): Disable expander for SSE math.
1244 (*floathi<mode>2_1): New insn insn_and_split pattern.
1245 (*floathi<mode>2_i387_with_temp): New macroized instruction pattern and
1246 corresponding post-reload splitters.
1247 (*floathi<mode>2_i387): New macroized insn pattern.
1248 (float<SSEMODEI24:mode><X87MODEF:mode>2): New macroized expander.
1249 (*float<SSEMODEI24:mode><X87MODEF:mode>2_1): New macroized
1250 insn_and_split pattern.
1251 (*floatsi<mode>2_vector_mixed_with_temp, *floatsi<mode>2_vector_mixed):
1252 New macroized instruction patterns and corresponding post-reload
1254 (*floatsi<mode>2_mixed_with_temp): New macroized instruction pattern
1255 and corresponding post-reload splitters.
1256 (*floatsi<mode>2_mixed_interunit, *floatsi<mode>2_mixed_nointerunit):
1257 New macroized instruction patterns.
1258 (*floatsi<mode>2_vector_sse_with_temp, *floatsi<mode>2_vector_sse): New
1259 macroized instruction patterns and corresponding post-reload splitters.
1260 (*floatsi<mode>2_sse_with_temp): New macroized instruction pattern and
1261 corresponding post-reload splitters.
1262 (*floatsi<mode>2_sse_interunit, *floatsi<mode>2_mixed_nointerunit):
1263 New macroized instruction patterns.
1264 (*floatsi<mode>2_i387_with_temp): New macroized instruction pattern and
1265 corresponding post-reload splitters.
1266 (*floatsi<mode>2_i387): New macroized instruction patterns.
1268 2008-04-01 H.J. Lu <hongjiu.lu@intel.com>
1270 * config/i386/i386.md (smaxmin): New.
1271 (umaxmin): Likewise.
1272 (maxminiprefix): Likewise.
1273 (maxminfprefix): Likewise.
1274 (<code><mode>3): Likewise.
1275 (smin<mode>3): Removed.
1276 (smax<mode>3): Likewise.
1278 * config/i386/mmx.md (mmx_<code>v2sf3): New.
1279 (mmx_<code>v4hi3): Likewise.
1280 (mmx_<code>v8qi3): Likewise.
1281 (mmx_smaxv2sf3): Removed.
1282 (mmx_sminv2sf3): Likewise.
1283 (mmx_umaxv8qi3): Likewise.
1284 (mmx_smaxv4hi3): Likewise.
1285 (mmx_uminv8qi3): Likewise.
1286 (mmx_sminv4hi3): Likewise.
1288 * config/i386/sse.md (<addsub><mode>3): New.
1289 (*<addsub><mode>3): Likewise.
1290 (<sse>_vm<addsub><mode>3): Likewise.
1291 (<maxmin><mode>3): Likewise.
1292 (*<maxmin><mode>3_finite): Likewise.
1293 (*<maxmin><mode>3): Likewise.
1294 (<sse>_vm<maxmin><mode>3): Likewise.
1295 (sse3_h<addsub>v4sf3): Likewise.
1296 (sse3_h<addsub>v2df3): Likewise.
1297 (<maxmin>v16qi3): Likewise.
1298 (*<maxmin>v16qi3): Likewise.
1299 (<maxmin>v8hi3): Likewise.
1300 (*<maxmin>v8hi3): Likewise.
1301 (*sse4_1_<maxmin><mode>3): Likewise.
1302 (*sse4_1_<maxmin><mode>3): Likewise.
1303 (add<mode>3): Removed.
1304 (*add<mode>3): Likewise.
1305 (<sse>_vmadd<mode>3): Likewise.
1306 (sub<mode>3): Likewise.
1307 (*sub<mode>3): Likewise.
1308 (<sse>_vmsub<mode>3): Likewise.
1309 (smin<mode>3): Likewise.
1310 (*smin<mode>3_finite): Likewise.
1311 (*smin<mode>3): Likewise.
1312 (<sse>_vmsmin<mode>3): Likewise.
1313 (smax<mode>3): Likewise.
1314 (*smax<mode>3_finite): Likewise.
1315 (*smax<mode>3): Likewise.
1316 (<sse>_vmsmax<mode>3): Likewise.
1317 (sse3_haddv4sf3): Likewise.
1318 (sse3_haddv2df3): Likewise.
1319 (sse3_hsubv4sf3): Likewise.
1320 (sse3_hsubv2df3): Likewise.
1321 (umaxv16qi3): Likewise.
1322 (*umaxv16qi3): Likewise.
1323 (smaxv8hi3): Likewise.
1324 (*smaxv8hi3): Likewise.
1325 (*sse4_1_smax<mode>3): Likewise.
1326 (*sse4_1_umax<mode>3): Likewise.
1327 (uminv16qi3): Likewise.
1328 (*uminv16qi3): Likewise.
1329 (sminv8hi3): Likewise.
1330 (*sminv8hi3): Likewise.
1331 (*sse4_1_smin<mode>3): Likewise.
1332 (*sse4_1_umin<mode>3): Likewise.
1334 2008-04-01 Rafael Espindola <espindola@google.com>
1336 * tree-cfg.c (verify_expr): remove in_phi.
1337 (verify_stmt): Don't call walk_tree with verify_expr. Use
1338 is_gimple_min_invariant instead of is_gimple_val.
1340 2008-04-01 Joseph Myers <joseph@codesourcery.com>
1342 * doc/include/gpl_v3.texi: Update for manpage generation.
1343 * doc/gcc.texi, doc/gccint.texi: Include gpl_v3.texi instead of
1345 * doc/sourcebuild.texi: Document gpl_v3.texi as well as gpl.texi.
1346 * Makefile.in (TEXI_GCC_FILES, TEXI_GCCINT_FILES): Include
1347 gpl_v3.texi instead of gpl.texi.
1350 2008-04-01 Jakub Jelinek <jakub@redhat.com>
1353 * c-pch.c (c_common_read_pch): On error close (fd) resp. fclose (f).
1355 2008-04-01 Rafael Espindola <espindola@google.com>
1357 * tree-vrp.c (extract_code_and_val_from_cond_with_ops): New.
1358 (extract_code_and_val_from_cond): Use
1359 extract_code_and_val_from_cond_with_ops.
1361 2008-04-01 Jan Hubicka <jh@suse.cz>
1363 * function.c (free_after_compilation): Free epilogue_delay_list.
1364 (prepare_function_start): Assert that previous compilation was freed.
1366 2008-04-01 Jan Hubicka <jh@suse.cz>
1367 Jim Wilson <wilson@tuliptree.org>
1368 Andreas Tobler <andreast@gcc.gnu.org>
1371 * m32c/m32.c (m32c_leaf_function_p, m32c_function_needs_enter): Use
1372 rtl.emit instead cfun->emit.
1373 * sparc/sparc.h (INIT_EXPANDERS): Likewise.
1374 * ia64/ia64.h (INIT_EXPANDERS): Likewise.
1376 2008-04-01 Ben Elliston <bje@au.ibm.com>
1378 * doc/c-tree.texi (Function Basics): Fix grammatical error.
1380 2008-03-31 Seongbae Park <seongbae.park@gmail.com>
1382 * common.opt (fprofile-dir=, fprofile-use=, fprofile-generate=):
1384 (fprofile-use): Add var flag_profile_use
1385 * coverage.c (coverage_begin_output): Do not open a gcno file for
1386 output only if -ftest-coverage is set.
1387 Do not add getpwd() to gcda file path.
1388 (build_gcov_info): Check the new flag
1389 flag_profile_datafile_relative_path.
1390 (coverage_init): Use profile_data_prefix.
1391 Read profile counter only if flag_profile_use is set.
1392 * opts.c (common_handle_option): New option fprofile-use=,
1393 fprofile-dir=, fprofile-generate=.
1394 * toplev.c (profile_data_prefix): New variable definition.
1395 * toplev.h (profile_data_prefix): New declaration.
1396 * doc/invoke.tex (Option Summary, Optimization Options):
1399 2008-03-31 James E. Wilson <wilson@tuliptree.org>
1401 * varasm.c (output_constant_pool_1): In LABEL_REF check,
1402 use tmp consistently.
1405 * config/ia64/div.md (recip_approx_rf): Use UNSPEC not DIV.
1406 * config/ia64/ia64.c (rtx_needs_barrier): Handle
1407 UNSPEC_FR_RECIP_APPROX_RES.
1408 * config/ia64/ia64.md (UNSPEC_FR_RECIP_APPROX_RES): Define.
1410 2008-03-31 Volker Reichelt <v.reichelt@netcologne.de>
1413 * c-decl.c (store_parm_decls_oldstyle): Skip invalid parameters.
1415 2008-03-31 Andrew Pinski <andrew_pinski@playstation.sony.com>
1418 * fold-const.c (fold_indirect_ref_1): Support accessing non first
1419 element of the vector via a pointer.
1421 2008-03-31 Ian Lance Taylor <iant@google.com>
1423 * tlink.c (scan_linker_output): Look for symbol name in single quotes.
1425 2008-03-31 Jan Hubicka <jh@suse.cz>
1427 * builtins.c (expand_builtin_setjmp_receiver): Update call of
1428 get_arg_pointer_save_area.
1429 * expr.c (init_expr): Just clear out rtl.expr.
1430 * function.c (free_after_compilation): Clear out whole RTL structure.
1431 (get_func_frame_size): Merge into ...
1432 (get_frame_size): ... this one.
1433 (assign_stack_local_1): Merge into ...
1434 (assign_stack_local): ... this one.
1435 (expand_function_end): Update call of get_arg_pointer_save_area.
1436 (get_art_pointer_save_area): Remove cfun argument.
1437 * function.h (emit_status): regno_pointer_align does not need length
1438 attribute. Move x_regno_reg_rtx to ...
1439 (regno_reg_rtx): ... new global array.
1440 (reg_rtx_no, seq_stack, REGNO_POINTER_ALIGN): Update accestors.
1441 (pending_stack_adjust, inhibit_defer_pop, saveregs_value,
1442 apply_args_value, forced_labels, stack_pointer_delta):
1444 (struct varasm_status): Move here from varasm.c
1445 (struct rtl_data): New. Move here some fields from struct function.
1446 (return_label, naked_return_label, stack_slot_list, parm_birth_insn,
1447 frame_offset, stack_check_probe_note, arg_pointer_save_area,
1448 used_temp_slots avail_temp_slots, temp_slot_level,
1449 nonlocal_goto_handler_labels): Update accesstors.
1450 (rtl): New global variable.
1451 (struct function): Move some fileds to rtl_data.
1452 (get_arg_pointer_save_area): Update prototype.
1453 * emit-rtl.c (rtl): Declare.
1454 (regno_reg_rtx): Declare.
1455 (first_insn, last_insn, cur_insn_uid, last_location, first_label_num):
1457 (gen_reg_rtx): Update.
1458 (init_virtual_regs): Do not tate emit_status argument.
1459 (init_emit): Do not allocate emit.
1460 * varasm.c (varasm_statuc): Move to function.h.
1461 (n_deferred_constatns): Update accestor.
1462 (init_varasm_status): Do not allocate varasm_status.
1463 (force_const_mem, get_pool_size, output_constant_pool): Update.
1464 * stmt.c (force_label_rtx): Do not use x_ prefixes.
1465 (expand_nl_goto_receiver): Update get_arg_pointer_save_area.
1467 2008-03-31 Zdenek Dvorak <ook@ucw.cz>
1469 PR rtl-optimization/35729
1470 * loop-invariant.c (check_maybe_invariant): Disallow volatile memory
1473 2008-03-31 H.J. Lu <hongjiu.lu@intel.com>
1476 * config/i386/i386.md (*movti_internal): Emit unaligned SSE
1477 load/store if memory is unaligned.
1478 (*movti_rex64): Likewise.
1480 * config/i386/predicates.md (misaligned_operand): New.
1482 2008-03-31 Andrew Pinski <pinskia@gmail.com>
1485 * tree-ssa-phiopt.c (conditional_replacement): Return early for
1488 2008-03-31 Jan Beulich <jbeulich@novell.com>
1490 * config/ia64/constraints.md: Add 'j' constraint.
1491 * config/ia64/ia64.md (movsi_internal): Add addp4 case.
1492 (movdi_internal): Likewise.
1494 2008-03-30 Volker Reichelt <v.reichelt@netcologne.de>
1497 * c-typeck.c (build_c_cast): Skip invalid fields in unions.
1499 2008-03-30 H.J. Lu <hongjiu.lu@intel.com>
1502 * config/i386/i386.c (ix86_expand_sse_4_operands_builtin): Issue
1503 proper error message for the third argument on blendpd and
1506 * config/i386/sse.md (blendbits): New.
1507 (sse4_1_blendp<ssemodesuffixf2c>): Use it.
1509 2008-03-30 Eric Botcazou <ebotcazou@adacore.com>
1511 * fold-const.c (fold_binary) <BIT_IOR_EXPR>: Add missing conversions.
1513 2008-03-30 Richard Guenther <rguenther@suse.de>
1516 * fold-const.c (fold_sign_changed_comparison): Do leave
1517 conversions to base-types alone.
1519 2008-03-29 Andrew Pinski <andrew_pinski@playstation.sony.com>
1521 * config/rs6000/rs6000.c (rs6000_stack_info): Don't force saving of
1522 the link register if one altivec register is be saved.
1524 2008-03-30 Ben Elliston <bje@au.ibm.com>
1526 * final.c (final_scan_insn): Remove if (0) code.
1528 2008-03-28 Volker Reichelt <v.reichelt@netcologne.de>
1530 * c-parser.c (c_parser_next_token_is_keyword): Simplify.
1532 2008-03-28 H.J. Lu <hongjiu.lu@intel.com>
1534 * config/i386/sse.md (*and<mode>3): Pass <MODE>mode instead
1535 of V4SFmode to ix86_binary_operator_ok.
1537 2008-03-28 Uros Bizjak <ubizjak@gmail.com>
1539 * config/i386/i386.c (override_options): Initialize
1540 ix86_veclib_handler to ix86_veclibabi_svml when
1541 -mveclibabi=svml is used.
1542 (ix86_veclibabi_svml): New function for SVML ABI style
1543 vectorization support.
1544 * doc/invoke.texi (-mveclibabi) [svml]: Document new target option.
1546 2008-03-28 Rafael Espindola <espindola@google.com>
1548 * fold-const.c (tree_unary_nonnegative_warnv_p): Make it public.
1549 (tree_binary_nonnegative_warnv_p): Make it public.
1550 (tree_single_nonnegative_warnv_p): Make it public.
1551 (tree_invalid_nonnegative_warnv_p): Make it public.
1552 (tree_unary_nonzero_warnv_p): Make it public.
1553 (tree_binary_nonzero_warnv_p): Make it public
1554 (tree_single_nonzero_warnv_p): Make it public.
1555 * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops): New function.
1556 (extract_range_from_binary_expr): Split the expr argument.
1557 (extract_range_from_unary_expr): Split the expr argument.
1558 (extract_range_from_comparison): Split the expr argument.
1559 (extract_range_from_expr): Use the new aux functions.
1560 (vrp_evaluate_conditional_warnv): Use
1561 vrp_evaluate_conditional_warnv_with_ops.
1562 * tree.h (tree_unary_nonzero_warnv_p): Declare.
1563 (tree_binary_nonzero_warnv_p): Declare.
1564 (tree_single_nonzero_warnv_p): Declare.
1565 (tree_expr_nonzero_warnv_p): Declare.
1566 (tree_unary_nonnegative_warnv_p): Declare.
1567 (tree_binary_nonnegative_warnv_p): Declare.
1568 (tree_single_nonnegative_warnv_p): Declare.
1569 (tree_invalid_nonnegative_warnv_p): Declare.
1571 2008-03-28 Richard Guenther <rguenther@suse.de>
1573 PR tree-optimization/30317
1574 PR tree-optimization/30911
1575 PR tree-optimization/34793
1576 * tree-vrp.c (set_and_canonicalize_value_range): New function.
1577 (struct assert_locus_d): New member EXPR.
1578 (register_new_assert_for): Add EXPR parameter to support
1579 ASSERT_EXPR <name, expr OP limit>.
1580 (register_edge_assert_for_1): Adjust callers.
1581 (find_assert_locations): Likewise.
1582 (process_assert_insertions_for): Build condition from expression.
1583 (extract_range_from_assert): Handle ASSERT_EXPRs
1584 of the form ASSERT_EXPR <name, expr OP limit>.
1585 (register_edge_assert_for_2): New helper registering
1586 asserts for comparisons. Recognize range tests of the form
1587 (unsigned)i - CST1 OP CST2.
1588 (register_edge_assert_for_1): Use it.
1589 (register_edge_assert_for): Likewise.
1590 (needs_overflow_infinity): Integer sub-types
1591 do not need overflow infinities.
1592 (vrp_val_is_max): The extreme values of integer sub-types
1593 are those of the base type.
1594 (vrp_val_is_min): Likewise.
1595 * tree.def (ASSERT_EXPR): Document extra allowed conditional
1598 2008-03-28 Nick Clifton <nickc@redhat.com>
1600 * config/mn10300/mn10300.c (mn10300_secondary_reload_class):
1601 Return GENERAL_REGS for stack adjustment reloads.
1603 2008-03-28 Andrew Pinski <andrew_pinski@playstation.sony.com>
1606 * config/rs6000/rs6000.c (rs6000_expand_vector_init): Create a
1607 const_vector when all the vectors are constant.
1609 2008-03-27 Bob Wilson <bob.wilson@acm.org>
1611 * config/xtensa/xtensa.c (gen_float_relational): Handle unordered
1613 * config/xtensa/xtensa.md (any_cond): Add unordered comparisons.
1614 (any_scc_sf): Add uneq, unlt, unle and unordered operators.
1616 (s<code>_sf): Use new scc_sf attribute for opcode names.
1618 2008-03-27 Tom Tromey <tromey@redhat.com>
1620 * doc/sourcebuild.texi, doc/install.texi, configure, aclocal.m4,
1621 configure.ac, Makefile.in, config/t-darwin, config/m32c/t-m32c,
1622 config/spu/t-spu-elf, config/i386/t-interix,
1623 config/i386/t-cygming, config/i386/x-i386, config/i386/t-cygwin,
1624 config/i386/x-darwin, config/i386/x-mingw32,
1625 config/i386/t-netware, config/i386/x-cygwin, config/i386/t-nwld,
1626 config/sh/t-sh, config/sh/t-symbian, config/x-linux,
1627 config/t-sol2, config/x-hpux, config/x-darwin, config/ia64/t-ia64,
1628 config/x-solaris, config/t-vxworks, config/m68k/t-uclinux,
1629 config/rs6000/x-rs6000, config/rs6000/x-darwin64,
1630 config/rs6000/x-darwin, config/rs6000/t-rs6000,
1631 config/score/t-score-elf, config/arm/t-strongarm-pe,
1632 config/arm/t-pe, config/arm/t-arm, config/arm/t-wince-pe,
1633 config/v850/t-v850, config/v850/t-v850e, config/bfin/t-bfin-linux:
1634 Revert automatic dependency patch.
1636 2008-03-27 H.J. Lu <hongjiu.lu@intel.com>
1639 * config/i386/i386.c (ix86_function_arg_boundary): Align
1640 decimal floating point to its natural boundary.
1642 2008-03-27 Richard Guenther <rguenther@suse.de>
1645 * fold-const.c (fold_comparison): Restrict distinct decl
1646 comparison folding to VAR_DECLs and PARM_DECLs. Do not
1647 solely rely on operand_equal_p.
1649 2008-03-27 Richard Guenther <rguenther@suse.de>
1652 * c-common.c (handle_weak_attribute): Reject combination of
1655 2008-03-27 Richard Guenther <rguenther@suse.de>
1657 PR tree-optimization/32810
1658 * tree-ssa-ccp.c (get_symbol_constant_value): Strip useless
1659 conversions from DECL_INITIAL.
1660 (fold_const_aggregate_ref): Likewise from constructor elements.
1662 2008-03-27 Zdenek Dvorak <ook@ucw.cz>
1664 * tree-affine.h (aff_combination_expand): Declare.
1665 (get_inner_reference_aff): Likewise.
1666 * tree-affine.c (aff_combination_expand): Split out from
1667 tree_to_aff_combination_expand.
1668 (get_inner_reference_aff): New function.
1669 * tree-parloops.c (loop_parallel_p): Free vectorizer info.
1670 * tree-ssa-loop-im.c: Include tree-affine.h and pointer-set.h.
1671 (struct lim_aux_data): sm_done field removed.
1672 (mem_ref_loc_p, mem_ref_locs_p): New types.
1673 (struct mem_ref): Added id, stored, accesses_in_loop,
1674 indep_loop, dep_loop, indep_ref, dep_ref fields.
1675 Removed is_stored, locs and next fields.
1676 (memory_accesses): New variable.
1677 (movement_possibility): Do not allow moving statements
1678 that store to memory.
1679 (outermost_indep_loop, simple_mem_ref_in_stmt, mem_ref_in_stmt):
1681 (determine_max_movement): For statements with memory references,
1682 find the outermost loop in that the reference is independent.
1683 (move_computations_stmt): Mark the virtual operands for renaming.
1684 (memref_free, mem_ref_alloc, mem_ref_locs_alloc, mark_ref_stored,
1685 gather_mem_refs_stmt, gather_mem_refs_in_loops, vtoe_hash, vtoe_eq,
1686 vtoe_free, record_vop_access, get_vop_accesses, get_vop_stores,
1687 add_vop_ref_mapping, create_vop_ref_mapping_loop,
1688 create_vop_ref_mapping, analyze_memory_references,
1689 cannot_overlap_p, mem_refs_may_alias_p, rewrite_mem_ref_loc,
1690 get_all_locs_in_loop, ref_always_accessed_p,
1691 refs_independent_p, record_indep_loop, ref_indep_loop_p_1,
1692 ref_indep_loop_p, can_sm_ref_p, find_refs_for_sm,
1693 store_motion_loop, store_motion): New functions.
1694 (struct vop_to_refs_elt): New type.
1695 (record_mem_ref_loc, free_mem_ref_locs, rewrite_mem_refs,
1696 memref_hash, memref_eq, hoist_memory_references): Rewritten.
1697 (schedule_sm): Replaced by...
1698 (execute_sm): ... this.
1699 (determine_lsm_ref, hoist_memory_references,
1700 loop_suitable_for_sm, gather_mem_refs_stmt, gather_mem_refs,
1701 find_more_ref_vops, free_mem_ref, free_mem_refs,
1702 determine_lsm_loop, determine_lsm): Removed.
1703 (tree_ssa_lim_finalize): Free data structures used by store motion.
1704 (tree_ssa_lim): Call analyze_memory_references. Use
1705 store_motion instead of determine_lsm.
1707 2008-03-27 Paolo Bonzini <bonzini@gnu.org>
1709 * config.cc (m68hc11, m6811, m68hc12, m6812): Add usegas.h,
1710 rename tmake_file to m68hc11/t-m68hc11.
1711 (mcore): Set inhibit_libc to true.
1712 * config.host (alpha*-dec-*vms*): Set extra_programs.
1713 (interix3*): Don't use host_xmake_file.
1714 * configure.ac: Let config.gcc override inhibit_libc.
1715 * configure: Regenerate.
1717 * config/alpha/x-vms (EXTRA_PROGRAMS): Remove.
1718 * config/t-openbsd-thread: Remove commented out lines.
1720 * config/x-interix: Remove.
1722 * config/m68hc11/t-m68hc11-gas: Rename to...
1723 * config/m68hc11/t-m68hc11: ... this. Remove T_CPPFLAGS.
1725 * config/mcore/t-mcore: Remove T_CFLAGS.
1726 * config/mcore/t-mcore-pe: Likewise.
1728 2008-03-27 Paolo Bonzini <bonzini@gnu.org>
1730 * configure.ac: Replace custom __GNU_SOURCE test with
1731 AC_USE_SYSTEM_EXTENSIONS. Move it earlier.
1732 * aclocal.m4: Regenerate.
1733 * configure: Regenerate.
1734 * config.in: Regenerate.
1736 2008-03-27 Richard Guenther <rguenther@suse.de>
1738 * fold-const.c (target.h): Include.
1739 (fold_comparison): Fold comparison of addresses of decls
1740 that bind locally or of constants. Consolidate address folding code.
1741 * tree-vrp.c (operand_less_p): Deal with non-INTEGER_CST
1742 results from fold_binary_to_constant.
1743 (compare_values_warnv): Likewise.
1745 2008-03-27 Andrew Pinski <pinskia@gmail.com>
1748 * fold-const.c (fold_truthop): Check for integeral types when folding
1749 a == 0 && b == 0 and a != 0 || b != 0 .
1751 2008-03-26 Eric Botcazou <ebotcazou@adacore.com>
1753 * tree.c (get_unwidened): Remove code fiddling with COMPONENT_REF.
1755 2008-03-26 Andreas Schwab <schwab@suse.de>
1757 * doc/invoke.texi: Fix use of @item vs. @itemx.
1759 2008-03-26 Tom Tromey <tromey@redhat.com>
1761 * Makefile.in (build/gensupport.o, build/print-rtl.o,
1762 build/read-rtl.o, build/rtl.o, build/gencondmd.o, build/genattr.o,
1763 build/genattrtab.o, build/genautomata.o, build/gencheck.o,
1764 build/gencodes.o, build/genconditions.o, build/genconfig.o,
1765 build/genconstants.o, build/genemit.o, build/genextract.o,
1766 build/genflags.o, build/genmddeps.o, build/genopinit.o,
1767 build/genoutput.o, build/genpeep.o, build/genrecog.o): Depend on
1770 2008-03-26 Richard Guenther <rguenther@suse.de>
1773 2008-03-26 Richard Guenther <rguenther@suse.de>
1775 * fold-const.c (target.h): Include.
1776 (fold_comparison): Fold comparison of addresses of two decls
1777 that bind locally. Consolidate address folding code.
1779 2008-03-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1781 * builtins.c (expand_builtin_pow, fold_builtin_cabs,
1782 fold_builtin_sqrt, fold_builtin_cbrt, fold_builtin_logarithm,
1783 fold_builtin_hypot, fold_builtin_pow): Remove uses of dconst3,
1784 dconstsqrt2, dconstthird, dconste and/or dconst10.
1785 * config/i386/i386.c (ix86_emit_swsqrtsf): Likewise.
1786 * emit-rtl.c (dconst3, dconst10, dconstm2, dconstthird,
1787 dconstsqrt2, dconste): Delete.
1788 (init_emit_once): Likewise. Simplify initializing dconstm1.
1790 * real.c (get_real_const): New.
1791 * real.h (dconst3, dconst10, dconstm2, dconstthird,
1792 dconstsqrt2, dconste): Delete.
1793 (real_value_const, get_real_const): New.
1795 2008-03-26 H.J. Lu <hongjiu.lu@intel.com>
1797 * config/i386/cygming.h (BIGGEST_ALIGNMENT): Removed.
1799 * config/i386/i386.c (ix86_function_arg_boundary): Check
1800 BIGGEST_ALIGNMENT instead of 128.
1801 (setup_incoming_varargs_64): Likewise.
1803 2008-03-26 Tom Tromey <tromey@redhat.com>
1805 * Makefile.in (DEPFILES): Add missing '/'.
1807 2008-03-26 Richard Guenther <rguenther@suse.de>
1809 * fold-const.c (target.h): Include.
1810 (fold_comparison): Fold comparison of addresses of two decls
1811 that bind locally. Consolidate address folding code.
1813 2008-03-26 Nick Clifton <nickc@redhat.com>
1816 * config/stormy16/stormy16.c (xstormy16_legitimate_address_p): Do
1817 not allow INT+INT as a legitimate addressing mode.
1819 2008-03-26 Richard Guenther <rguenther@suse.de>
1821 * tree-flow.h (widen_bitfield): Remove declaration.
1822 * tree-ssa-ccp.c (visit_assignment): Remove unneeded code.
1823 (widen_bitfield): Remove function.
1824 * tree-ssa-dom.c (record_equivalences_from_stmt): Remove unneeded
1827 2008-03-25 Andrew Pinski <andrew_pinski@playstation.sony.com>
1830 * config/rs6000/rs6000-c.c (rs6000_builtin_type_compatible): Handle
1833 2008-03-25 Richard Sandiford <rsandifo@nildram.co.uk>
1835 PR rtl-optimization/35232
1836 * reload1.c (reg_reloaded_call_part_clobbered): Clarify comment.
1837 (forget_old_reloads_1, forget_marked_reloads): Don't clear
1838 reg_reloaded_call_part_clobbered here.
1839 (reload_regs_reach_end_p): New function.
1840 (reload_reg_rtx_for_input): New variable.
1841 (reload_reg_rtx_for_output): Likewise.
1842 (emit_input_reload_insns): Use reloadreg rather than rl->reg_rtx
1843 when reassigning a pseudo register. Load reloadreg from
1844 reload_reg_rtx_for_input, moving the mode and register
1846 (do_input_reload): ...here. Use the mode-adjusted reg_rtx
1847 instead of the original when deciding whether an input reload
1848 would be a no-op or whether an output reload can be deleted.
1849 (emit_output_reload_insns): Use the mode-adjusted reg_rtx
1850 when setting up new_spill_reg_store. Load it from
1851 reload_reg_rtx_for_output, moving the mode and register
1853 (do_output_reload): ...here. Use the mode-adjusted reg_rtx
1854 instead of the original when deciding whether an output reload
1855 would be a no-op. Do the same when modifying insn notes.
1856 Use rtx_equal_p instead of == to compare the registers.
1857 (inherit_piecemeal_p): Take a mode and two register numbers
1859 (emit_reload_insns): Clear new_spill_reg_store for every hard
1860 register in the reload register. Remove spill registers
1861 from reg_reloaded_valid before considering whether to record
1862 inheritance information for them. Use reload_reg_rtx_for_output
1863 instead of reg_rtx when recording output reloads. Use
1864 reload_reg_rtx_for_input instead of reg_rtx when recording
1865 input reloads. Set or clear reg_reloaded_call_part_clobbered
1866 at the same time as setting reg_reloaded_valid.
1867 (delete_output_reload): Add a new_reload_reg parameter and use it
1868 instead of rld[j].reg_rtx.
1869 (emit_input_reload_insns, do_input_reload, do_output_reload): Adjust
1872 2008-03-25 Tom Tromey <tromey@redhat.com>
1874 * Makefile.in (build/gensupport.o): Depend on insn-modes.h.
1875 (build/genattr.o): Likewise.
1876 (build/genattrtab.o): Likewise.
1877 (build/gencodes.o): Likewise.
1878 (build/genconfig.o): Likewise.
1879 (build/genconstants.o): Likewise.
1880 (build/genemit.o): Likewise.
1881 (build/genextract.o): Likewise.
1882 (build/genflags.o): Likewise.
1884 2008-03-25 Bob Wilson <bob.wilson@acm.org>
1886 * config/xtensa/xtensa.c (xtensa_va_start): Use build_int_cst
1887 instead of size_int for integer types.
1888 (xtensa_gimplify_va_arg_expr): Likewise. Convert index to sizetype
1889 to match type of MINUS_EXPR.
1891 2008-03-25 Tom Tromey <tromey@redhat.com>
1893 * configure: Rebuilt.
1894 * configure.ac (BUILD_DEPMODE): Extract CCDEPMODE from temporary
1897 2008-03-25 Tom Tromey <tromey@redhat.com>
1899 * config/x-solaris (host-solaris.o): Update.
1900 * config/x-linux (host-linux.o): Update.
1901 * config/x-hpux (host-hpux.o): Update.
1902 * config/x-darwin (host-darwin.o): Update.
1903 * config/v850/t-v850e (v850-c.o): Update.
1904 * config/v850/t-v850 (v850-c.o): Update.
1905 * config/t-vxworks (vxworks.o): Update.
1906 * config/t-sol2 (sol2-c.o, sol2.o): Update.
1907 * config/t-darwin (darwin.o, darwin-c.o, darwin-driver.o): Update.
1908 * config/spu/t-spu-elf (spu-c.o): Update.
1910 * config/sh/t-symbian (sh-c.o): Update.
1911 (symbian.o): Update.
1912 * config/sh/t-sh (sh-c.o): Update.
1913 * config/score/t-score-elf (score7.o, score3.o): Update.
1914 * config/rs6000/x-rs6000 (driver-rs6000.o): Update.
1915 * config/rs6000/x-darwin64 (host-ppc64-darwin.o): Update.
1916 * config/rs6000/x-darwin (host-ppc-darwin.o): Update.
1917 * config/rs6000/t-rs6000 (rs6000-c.o): Update.
1919 * config/m68k/t-uclinux (generated_files): Add sysroot-suffix.h.
1920 * config/m32c/t-m32c (m32c-pragma.o): Update.
1921 * config/ia64/t-ia64 (ia64-c.o): Update.
1922 * config/i386/x-mingw32 (host-mingw32.o): Update.
1923 * config/i386/x-i386 (driver-i386.o): Update.
1924 * config/i386/x-darwin (host-i386-darwin.o): Update.
1925 * config/i386/x-cygwin (host-cygwin.o): Update.
1926 * config/i386/t-nwld (nwld.o): Update.
1927 * config/i386/t-netware (netware.o): Update.
1928 * config/i386/t-interix (winnt.o): Update.
1929 * config/i386/t-cygwin (cygwin1.o, cygwin2.o): Update.
1930 * config/i386/t-cygming (winnt.o, winnt-cxx.o, winnt-stubs.o,
1931 msformat-c.o): Update.
1932 * config/bfin/t-bfin-linux (generated_files): Add
1933 linux-sysroot-suffix.h.
1934 * config/arm/t-wince-pe (pe.o): Update.
1935 * config/arm/t-strongarm-pe (pe.o): Update.
1936 * config/arm/t-pe (pe.o): Update.
1937 * config/arm/t-arm (arm-c.o): Update.
1938 * doc/install.texi (Prerequisites): Require make 3.80.
1939 * Makefile.in: Remove .o targets.
1940 (CCDEPMODE, DEPDIR, depcomp, BUILD_DEPMODE): New variables.
1941 (OBSTACK_H, FIBHEAP_H, PARTITION_H, MD5_H, BCONFIG_H): Remove.
1942 (simple_generated_h, simple_generated_c): Move earlier.
1943 (generated_files): New variable.
1944 (TARGET_H, MACHMODE_H, HOOKS_H, HOSTHOOKS_DEF_H, LANGHOOKS_DEF_H,
1945 TARGET_DEF_H, RTL_BASE_H, RTL_H, PARAMS_H, BUILTINS_DEF, TREE_H,
1946 BASIC_BLOCK_H, GCOV_IO_H, COVERAGE_H, DEMANGLE_H, RECOG_H,
1947 ALIAS_H, EMIT_RTL_H, FLAGS_H, FUNCTION_H, EXPR_H, OPTABS_H,
1948 REGS_H, RA_H, RESOURCE_H, SCHED_INT_H, INTEGRATE_H, CFGLAYOUT_H,
1949 CFGLOOP_H, IPA_UTILS_H, IPA_REFERENCE_H, IPA_TYPE_ESCAPE_H,
1950 CGRAPH_H, DF_H, RESOURCE_H, DDG_H, GCC_H, GGC_H, TIMEVAR_H,
1951 INSN_ATTR_H, C_COMMON_H, C_PRAGMA_H, C_TREE_H, SYSTEM_H,
1952 PREDICT_H, DECNUM_H, MKDEPS_H, SYMTAB_H, TREE_DUMP_H,
1953 TREE_GIMPLE_H, TREE_FLOW_H, TREE_SSA_LIVE_H, PRETTY_PRINT_H,
1954 DIAGNOSTIC_H, C_PRETTY_PRINT_H, SCEV_H, LAMBDA_H, TREE_DATA_REF_H,
1955 VARRAY_H, TREE_INLINE_H, REAL_H, DBGCNT_H, EBIMAP_H): Remove.
1957 (COMPILE.base, COMPILE): New variables.
1958 (%.o): New pattern rule.
1959 (ALL_HOST_OBJS): New variable.
1960 (xgcc$(exeext), cpp$(exeext)): Remove extra version.o.
1961 (dummy-checksum.o, cc1-checksum.o): Remove.
1962 (DRIVER_SHLIB): New variable.
1963 (DRIVER_DEFINES): Use it.
1964 (gencondmd.c): Move out of build/.
1965 (s-conditions): Update.
1966 (BUILDCOMPILE.base, BUILDCOMPILE): New variables.
1967 (ALL_BUILD_OBJS): Likewise.
1968 (build/%.o): Use BUILDCOMPILE.
1969 (build/ggc-none.o, build/ggc-none.o, build/min-insn-modes.o,
1970 build/print-rtl.o, build/read-rtl.o, build/rtl.o, build/vec.o,
1971 build/gencondmd.o, build/genattrtab.o, build/genautomata.o,
1972 build/gencheck.o, build/gencodes.o, build/genconditions.o,
1973 build/genconfig.o, build/genconstants.o, build/genemit.o,
1974 build/genextract.o, build/genflags.o, build/genmddeps.o,
1975 build/genopinit.o, build/genoutput.o, build/genpeep.o,
1976 build/genpreds.o, build/genrecog.o, build/gcov-iov.o,
1977 build/gen-protos.o, build/scan.o, build/fix-header.o,
1978 build/scan-decls.o): Simplify.
1979 (collect2.o, c-opts.o, gcc.o, gccspec.o, gcc-options.o,
1980 cppdefault.o, protoize.o, unprotoize.o, intl.o, version.o,
1981 prefix.o, toplev.o): Reduce to variable setting.
1982 (libbackend.o): Use COMPILE. Remove most dependencies. Move later.
1983 ($(out_object_file), gcc-options.o): New targets.
1984 ($(ALL_HOST_OBJS)): New target. Include dependency files.
1985 * configure: Rebuilt.
1986 * configure.ac: Call ZW_CREATE_DEPDIR, ZW_PROG_COMPILER_DEPENDENCIES.
1987 * doc/sourcebuild.texi (Front End Directory): Document new variable.
1989 2008-03-25 Douglas Gregor <doug.gregor@gmail.com>
1991 * c-common.c (c_sizeof_or_alignof_type): If we're not allowed to
1992 complain when we hit an error, return ERROR_MARK_NODE.
1994 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
1996 * config/sh/constraints.md (Pso, Psz): New constraints.
1997 * config/sh/sh.c (print_operand): Add %V and %W operand codes.
1998 * config/sh/sh.md (*andsi3_bclr, *iorsi3_bset): New insns.
2000 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
2002 * config/sh/sh.c (sh_expand_t_scc): Emit movrt for SH2A if possible.
2003 * config/sh/sh.md (xorsi3_movrt, movrt): New insns.
2005 2008-03-25 Naveen.H.S <naveen.hs@kpitcummins.com>
2007 * config/sh/sh.md (prefetch): Add condition for SH2A target.
2008 (prefetch_sh2a): New.
2010 2008-03-25 Jayant Sonar <Jayant.sonar@kpitcummins.com>
2011 Naveen.H.S <naveen.hs@kpitcummins.com>
2013 * config/sh/constraints.md (I28): New constraint.
2014 * config/sh/sh.c (broken_move): Add support for movi20s.
2015 * config/sh/sh.md (movsi_ie): Add the alternative for movi20s.
2017 2008-03-25 Anil Paranjape <anil.paranjape@kpitcummins.com>
2018 Jayant Sonar <Jayant.sonar@kpitcummins.com>
2019 Naveen.H.S <naveen.hs@kpitcummins.com>
2021 * config/sh/sh.c (SH_ATTRIBUTES): Define.
2022 (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
2023 (print_operand): Handle resbank in %@ operand code.
2024 (sh_encode_section_info): New.
2025 (push_regs): Add conditions for resbank.
2026 (sh_expand_epilogue): Likewise.
2027 (sh_insert_attributes): Likewise.
2028 (sh_attribute_table): Likewise.
2029 (sh_handle_resbank_handler_attribute): New.
2030 (sh2a_handle_function_vector_handler_attribute): New.
2031 (sh2a_is_function_vector_call): New.
2032 (sh2a_get_function_vector_number): New.
2033 (sh2a_function_vector_p): New.
2034 (sh_cfun_resbank_handler_p): New.
2035 * config/sh/sh.md (calli): Emit jsr/n if possible.
2036 (calli_tbr_rel): New.
2037 (calli_pcrel): Emit jsr/n if possible.
2038 (return_i): Emit rts/n if possible.
2039 (call_valuei_tbr_rel): New.
2040 (call_valuei_pcrel): Add condition for SH2A target.
2041 (call_value): Likewise.
2042 * config/sh/sh-protos.h (sh_cfun_resbank_handler_p): Declare.
2043 (sh2a_get_function_vector_number): Likewise.
2044 (sh2a_is_function_vector_call): Likewise.
2045 * doc/extend.texi: Document TBR relative addressing of SH2A.
2046 (resbank): Add description for SH2A.
2048 2008-03-24 Richard Guenther <rguenther@suse.de>
2051 * gimplify.c (gimplify_modify_expr): For frontend type-correct
2052 pointer assignments change conversions according to middle-end rules.
2053 (gimplify_modify_expr_rhs): Deal with NULL TARGET_EXPR_INITIAL.
2054 * configure.ac: Include type checking in yes.
2055 * configure: Regenerate.
2057 2008-03-24 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2059 * diagnostic.c (diagnostic_count_diagnostic): Delete.
2060 (diagnostic_report_diagnostic): Update. Handle ICEs here.
2062 2008-03-24 Nathan Sidwell <nathan@codesourcery.com>
2064 * gthr-vxworks.h (UNUSED): Define.
2066 2008-03-23 H.J. Lu <hongjiu.lu@intel.com>
2068 * config/i386/i386.h (STATIC_CHAIN_REGNUM): Use R10_REG and CX_REG.
2070 2008-03-23 Zuxy Meng <zuxy.meng@gmail.com>
2072 * doc/extend.texi (Function Attributes): Add missing comma in the
2073 example of the "alloc_size" attribute.
2075 2008-03-23 Uros Bizjak <ubizjak@gmail.com>
2078 2008-03-05 H.J. Lu <hongjiu.lu@intel.com>
2080 * config/i386/i386-modes.def: Use 4 byte alignment on DI for
2083 2008-03-19 Uros Bizjak <ubizjak@gmail.com>
2086 * stor-layout.c (update_alignment_for_field): Set minimum alignment
2087 of the underlying type of a MS bitfield layout to the natural
2088 alignment of the type.
2090 2008-03-22 Uros Bizjak <ubizjak@gmail.com>
2092 * config/i386/i386.c (assign_386_stack_local): Align DImode slots
2093 to their natural alignment to avoid store forwarding stalls.
2095 2008-03-22 Richard Guenther <rguenther@suse.de>
2097 * tree-cfg.c (verify_expr): Recurse again for invariant addresses.
2098 For PHI nodes verify the address is invariant.
2099 * tree-ssa-ccp.c (ccp_decl_initial_min_invariant): Remove.
2100 (get_symbol_constant_value): Use is_gimple_min_invariant.
2101 (maybe_fold_stmt_indirect): Likewise.
2103 2008-03-22 Richard Sandiford <rsandifo@nildram.co.uk>
2105 PR rtl-optimization/33927
2106 * Makefile.in (dse.o): Depend on $(TM_P_H).
2107 * expr.h (extract_low_bits): Declare.
2108 * expmed.c (extract_low_bits): New function.
2109 * rtlhooks.c (gen_lowpart_general): Generalize SUBREG handling.
2110 * dse.c: Include tm_p.h.
2111 (find_shift_sequence): Remove the read_reg argument and return the
2112 read value. Emit the instructions instead of returning them.
2113 Iterate on new_mode rather than calculating it each time.
2114 Check MODES_TIEABLE_P. Use simplify_gen_subreg to convert the
2115 source to NEW_MODE and extract_low_bits to convert the shifted
2117 (replace_read): Allow the load and store to have different mode
2118 classes. Use extract_low_bits when SHIFT == 0. Create the shift
2119 or extraction instructions before trying the replacement. Update
2120 dump-file code accordingly, avoiding use of REGNO (store_info->rhs).
2122 2008-03-22 Uros Bizjak <ubizjak@gmail.com>
2124 * config/i386/i386.c (assign_386_stack_local): Align DImode slots
2125 to their natural alignment to avoid store forwarding stalls.
2127 2008-03-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
2130 * config/rs6000/rs6000.md (floatdidf2): Discouraging fprs and
2131 encouraging but not allowing gprs for input;
2132 change the input constraint to !f#r.
2133 (fix_truncdfdi2): Discouraging fprs and encouraging but not allowing
2135 change the output constraint to !f#r.
2137 2008-03-21 Uros Bizjak <ubizjak@gmail.com>
2140 * config/i386/i386.md ("*floatunssi<mode2>_1"): New pattern with
2141 corresponding post-reload splitters.
2142 ("floatunssi<mode>2"): Expand to unsigned_float x87 insn pattern
2143 when x87 FP math is selected.
2144 * config/i386/i386-protos.h (ix86_expand_convert_uns_sixf_sse):
2145 New function prototype.
2146 * config/i386/i386.c (ix86_expand_convert_uns_sixf_sse): New
2147 unreachable function to ease macroization of insn patterns.
2149 2008-03-21 Martin Jambor <mjambor@suse.cz>
2151 * tree-data-ref.c (dump_data_dependence_relation): Avoid data
2152 reference dumps if ddr is NULL or dependence is unknown.
2154 2008-03-20 Kaz Kojima <kkojima@gcc.gnu.org>
2156 * config/sh/linux-atomic.asm (ATOMIC_TEST_AND_SET): Take
2157 unsigned extension into account.
2158 (ATOMIC_COMPARE_AND_SWAP): Likewise.
2159 (ATOMIC_FETCH_AND_OP, ATOMIC_FETCH_AND_COMBOP): Likewise.
2160 Do computations on a scratch register.
2162 2008-03-21 Richard Guenther <rguenther@suse.de>
2164 * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
2165 Use is_gimple_min_invariant instead of TREE_INVARIANT.
2166 * tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Likewise.
2167 * tree-ssa-dom.c (record_equality): Likewise.
2168 * tree-inline.c (copy_body_r): Likewise.
2169 * tree-ssa-pre.c (make_values_for_stmt): Remove test for
2172 2008-03-20 Kaz Kojima <kkojima@gcc.gnu.org>
2174 * config/sh/sh.c (split_branches): Pass zero to redirect_jump
2175 as 'delete_unused' argument.
2177 2008-03-20 Richard Guenther <rguenther@suse.de>
2179 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
2180 special casing of constant qualifiers.
2181 * tree-ssa.c (useless_type_conversion_p_1): Instead do not
2182 care about them in general.
2183 * tree-ssa-ccp.c (ccp_fold): Addresses are constant or not
2184 regardless of their type.
2185 (fold_stmt_r): Forcefully fold *& if we end up with that.
2187 2008-03-20 Paul Brook <paul@codesourcery.com>
2189 * config.gcc (arm*-*-uclinux*): Remove duplicate arm/uclinux-elf.h.
2190 * config/arm/uclinux-eabi.h (SUBTARGET_EXTRA_LINK_SPEC): Add extra
2192 * config/arm/bpabi.h (SUBTARGET_EXTRA_LINK_SPEC): Provide default
2194 (LINK_SPEC): Use SUBTARGET_EXTRA_LINK_SPEC.
2195 * config/arm/unwind-arm.h (_Unwind_decode_target2): Add uClinux.
2197 2008-03-20 Volker Reichelt <v.reichelt@netcologne.de>
2199 * common.opt (Wmudflap): New option.
2200 * tree-mudflap.c (mf_xform_derefs_1): Guard warning by OPT_Wmudflap.
2201 (mx_register_decls): Likewise.
2202 (mudflap_finish_file): Likewise.
2203 * doc/invoke.texi: Document -Wno-mudflap.
2205 2008-03-20 Kai Tietz <kai.tietz@onevision.com>
2207 * c-format.c (replace_format_name_to_system_name): New.
2209 (convert_format_name_to_system_name): New.
2210 (decode_format_attr): Add use of convert_format_name_to_system_name.
2211 (format_types_orig): Add gnu_ prefix to names.
2212 (check_format_info_main): Special treating of \0 escaped names for
2213 supporting multi-character format specifiers as I32, I64.
2214 (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): Use of user defined attributes.
2215 (gnu_target_overrides_format_attributes): New.
2216 * c-format.h: Add structure target_ovr_attr to hold
2217 system specific formatter names.
2218 * config.gcc: Add for x86&x86_64 cygwin and mingw32 targets the
2219 msformat-c.o file to c_target_objs and cxx_target_objs.
2220 * config/i386/mingw32.h (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New.
2221 (TARGET_OVERRIDES_FORMAT_ATTRIBUTES_COUNT): New.
2222 (TARGET_N_FORMAT_TYPES): New.
2223 * config/i386/msformat-c.c: New.
2224 * config/i386/t-cygming: Add build rule for msformat-c.o.
2225 * doc/extend.texi: Add new format names gnu_* and ms_* and
2227 * doc/tm.texi: (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New.
2229 2008-03-20 Ira Rosen <irar@il.ibm.com>
2231 * doc/invoke.texi (-O3): Add -ftree-vectorize to the list of
2232 optimizations turned on under -O3.
2233 (ftree-vectorize): Add that the flag is turned on with -O3.
2235 2008-03-20 Ben Elliston <bje@au.ibm.com>
2237 * regmove.c (try_auto_increment): Fix spelling error in comment.
2238 * final.c (final_scan_insn): Likewise.
2240 2008-03-20 Uros Bizjak <ubizjak@gmail.com>
2243 * config/i386/mmx.md (*mov<mode>_internal_rex64"): Adjust register
2244 allocator preferences for "y" and "r" class registers.
2245 ("*mov<mode>_internal"): Ditto.
2246 ("*movv2sf_internal_rex64"): Ditto.
2247 ("*movv2sf_internal"): Ditto.
2249 2008-03-19 Michael Matz <matz@suse.de>
2252 * calls.c (expand_call): Check overlap of arguments with call
2253 address for sibcalls.
2255 2008-03-19 Uros Bizjak <ubizjak@gmail.com>
2258 * stor-layout.c (update_alignment_for_field): Set minimum alignment
2259 of the underlying type of a MS bitfield layout to the natural
2260 alignment of the type.
2262 2008-03-19 Jan Hubicka <jh@suse.cz>
2265 * toplev.c (decode_d_option): Handle all CPP flags.
2266 * tree-vrp.c: Update tree_pass descriptors.
2267 * regrename.c: Update tree_pass descriptors.
2268 * fwprop.c: Update tree_pass descriptors.
2269 * doc/invoke.texi: Remove documentation of dropped -d? flags.
2270 * tree-into-ssa.c: Update tree_pass descriptors.
2271 * tree-dump.c: Update tree_pass descriptors.
2272 * tree-complex.c: Update tree_pass descriptors.
2273 * tree-dump.h: Update tree_pass descriptors.
2274 * see.c: Update tree_pass descriptors.
2275 * cgraphbuild.c: Update tree_pass descriptors.
2276 * tracer.c: Update tree_pass descriptors.
2277 * tree-loop-distribution.c: Update tree_pass descriptors.
2278 * cgraph.c: Update tree_pass descriptors.
2279 * postreload-gcse.c: Update tree_pass descriptors.
2280 * postreload.c: Update tree_pass descriptors.
2281 * tree-ssa-loop-ch.c: Update tree_pass descriptors.
2282 * tree-tailcall.c: Update tree_pass descriptors.
2283 * tree-pass.h (tree_opt_pass): Rename to ...
2284 (opt_pass) ... this one; add "type" field and remove letter field.
2285 (gimple_opt_pass, rtl_opt_pass, simple_ipa_opt_pass): New.
2286 (execute_pass_list, execute_ipa_pass_list, all_passes, all_ipa_passes,
2287 all_lowering_passes): Update declaration.
2288 * ipa-cp.c: Update tree_pass descriptors.
2289 * final.c: Update tree_pass descriptors.
2290 * omp-low.c: Update tree_pass descriptors.
2291 * tree-ssa-dse.c: Update tree_pass descriptors.
2292 * ipa-reference.c: Update tree_pass descriptors.
2293 * tree-ssa-uncprop.c: Update tree_pass descriptors.
2294 * auto-inc-dec.c: Update tree_pass descriptors.
2295 * reorg.c: Update tree_pass descriptors.
2296 * cgraphunit.c: Update tree_pass descriptors.
2297 * tree-ssa-copyrename.c: Update tree_pass descriptors.
2298 * tree-ssa-ccp.c: Update tree_pass descriptors.
2299 * df-core.c: Update tree_pass descriptors.
2300 * mode-switching.c: Update tree_pass descriptors.
2301 * tree-nomudflap.c: Update tree_pass descriptors.
2302 * modulo-sched.c: Update tree_pass descriptors.
2303 * ipa-pure-const.c: Update tree_pass descriptors.
2304 * cse.c: Update tree_pass descriptors.
2305 * web.c: Update tree_pass descriptors.
2306 * tree-stdarg.c: Update tree_pass descriptors.
2307 * tree-ssa-math-opts.c: Update tree_pass descriptors.
2308 * tree-ssa-dom.c: Update tree_pass descriptors.
2309 * tree-nrv.c: Update tree_pass descriptors.
2310 * tree-ssa-alias.c: Update tree_pass descriptors.
2311 * loop-init.c: Update tree_pass descriptors.
2312 * gimple-low.c: Update tree_pass descriptors.
2313 * ipa-inline.c: Update tree_pass descriptors.
2314 * tree-ssa-sink.c: Update tree_pass descriptors.
2315 * global.c: Update tree_pass descriptors.
2316 * ifcvt.c: Update tree_pass descriptors.
2317 * jump.c: Update tree_pass descriptors.
2318 * predict.c: Update tree_pass descriptors.
2319 * tree-ssa-loop.c: Update tree_pass descriptors.
2320 * recog.c: Update tree_pass descriptors.
2321 * dse.c: Update tree_pass descriptors.
2322 * tree-ssa-ifcombine.c: Update tree_pass descriptors.
2323 * tree-eh.c: Update tree_pass descriptors.
2324 * regmove.c: Update tree_pass descriptors.
2326 * function.c: Update tree_pass descriptors.
2327 * tree-vectorizer.c: Update tree_pass descriptors.
2328 * gcse.c: Update tree_pass descriptors.
2329 * ipa-type-escape.c: Update tree_pass descriptors.
2330 * tree-if-conv.c: Update tree_pass descriptors.
2331 * init-regs.c: Update tree_pass descriptors.
2332 * ipa.c: Update tree_pass descriptors.
2333 * tree-ssa-phiopt.c: Update tree_pass descriptors.
2334 * rtl-factoring.c: Update tree_pass descriptors.
2335 * lower-subreg.c: Update tree_pass descriptors.
2336 * bt-load.c: Update tree_pass descriptors.
2337 * tree-dfa.c: Update tree_pass descriptors.
2338 * except.c: Update tree_pass descriptors.
2339 * emit-rtl.c: Update tree_pass descriptors.
2340 * cfgexpand.c: Update tree_pass descriptors.
2341 * tree-cfgcleanup.c: Update tree_pass descriptors.
2342 * cfgcleanup.c: Update tree_pass descriptors.
2343 * tree-ssa-pre.c: Update tree_pass descriptors.
2344 * tree-sra.c: Update tree_pass descriptors.
2345 * tree-mudflap.c: Update tree_pass descriptors.
2346 * tree-ssa-copy.c: Update tree_pass descriptors.
2347 * cfglayout.c: Update tree_pass descriptors.
2348 * tree-ssa-forwprop.c: Update tree_pass descriptors.
2349 * tree-ssa-dce.c: Update tree_pass descriptors.
2350 * tree-ssa.c: Update tree_pass descriptors.
2351 * regclass.c: Update tree_pass descriptors.
2352 * integrate.c: Update tree_pass descriptors.
2353 * tree-optimize.c: Update tree_pass descriptors.
2354 * tree-ssa-phiprop.c: Update tree_pass descriptors.
2355 * tree-object-size.c: Update tree_pass descriptors.
2356 * combine.c: Update tree_pass descriptors.
2357 * tree-outof-ssa.c: Update tree_pass descriptors.
2358 * bb-reorder.c: Update tree_pass descriptors.
2359 * stack-ptr-mod.c: Update tree_pass descriptors.
2360 * var-tracking.c: Update tree_pass descriptors.
2361 * tree-profile.c: Update tree_pass descriptors.
2362 * tree-vect-generic.c: Update tree_pass descriptors.
2363 * reg-stack.c: Update tree_pass descriptors.
2364 * sched-rgn.c: Update tree_pass descriptors.
2365 * tree-ssa-structalias.c: Update tree_pass descriptors.
2366 * tree-cfg.c: Update tree_pass descriptors.
2367 * passes.c (current_pass): Update declaration.
2368 (finish_optimization_passes): Update.
2369 (all_passes, all_ipa_passes, all_lowering_passes): Update declaration.
2370 (register_one_dump_file, register_dump_files_1, next_pass_1):
2372 (init_optimization_passes): Update handling of new types.
2373 (execute_one_pass, execute_pass_list, execute_ipa_pass_list): Update.
2374 * ipa-struct-reorg.c: Update tree_pass descriptors.
2375 * tree-ssa-reassoc.c: Update tree_pass descriptors.
2376 * combine-stack-adj.c: Update tree_pass descriptors.
2377 * cfgrtl.c: Update tree_pass descriptors.
2378 * dce.c: Update tree_pass descriptors.
2379 * tree-ssanames.c: Update tree_pass descriptors.
2381 2008-03-19 Richard Guenther <rguenther@suse.de>
2384 * tree-ssa.c (walk_data): New structure.
2385 (warn_uninitialized_var): If not always_executed warn with "maybe"
2387 (execute_early_warn_uninitialized): Compute post-dominators.
2388 Initialize always_executed before processing each basic block.
2390 2008-03-18 Mikulas Patocka <mikulas@artax.karlin.mff.cuni.cz>
2393 * config/i386/i386.c (x86_this_parameter): Calculate correct location
2394 of "this" pointer when "regparm = N" or "fastcall" is in effect.
2396 2008-03-18 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
2398 * doc/include/texinfo.tex: Update to version 2008-03-17.10.
2400 2008-03-18 Paolo Bonzini <bonzini@gnu.org>
2402 * expr.c (store_expr): Assume lang_hooks.reduce_bit_field_operations
2404 (expand_expr_real_1) <REDUCE_BIT_FIELD>: Don't look at ignore.
2405 (expand_expr_real_1): Assume lang_hooks.reduce_bit_field_operations
2406 is true. Add "&& !ignore" condition to reduce_bit_field. Modify
2407 target after ignore has been set, and move there also the commputation
2408 of subtarget and original_target.
2409 * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
2410 (LANG_HOOKS_INITIALIZER): Remove it.
2411 * langhooks.h (struct lang_hooks): Remove reduce_bit_field_operations.
2413 2008-03-18 Richard Guenther <rguenther@suse.de>
2415 * tree-ssa-sccvn.c (visit_reference_op_load): If the lookup
2416 found an expression with constants, note that in the VN for the lhs.
2417 * tree-ssa-pre.c (eliminate): Visit COND_EXPR statements and
2418 fold them to constants if possible. Run cleanup_cfg if done so.
2419 (execute_pre): Return todo.
2421 (execute_fre): Likewise.
2422 * tree-ssa-forwprop.c (can_propagate_from): Allow propagation
2424 (get_prop_source_stmt): Look through pointer conversions.
2426 2008-03-18 Jan Hubicka <jh@suse.cz>
2428 * tree-pretty-print.c: Include predict.h.
2429 (dump_generic_node): Dump predictor.
2430 * tree.h (PREDICT_EXPR_OUTCOME, PREDICT_EXPR_PREDICTION): Update.
2431 * tree-gimple.c (is_gimple_stmt): Add PREDICT_EXPR.
2432 * gimple-low.c (lower_stmt): Likewise.
2433 * expr.c (expand_expr_real): Likewise.
2434 * predict.c (tree_bb_level_predictions): Use PREDICT_EXPRs and remove
2436 (build_predict_expr, build_predict_expr): New.
2437 * predict.h (predictor_name, build_predict_expr): Update.
2438 * c-typeck.c (c_finish_bc_stmt): Add prediction.
2439 * gimplify.c (gimplify_expr): Add PREDICT_EXPR.
2440 * predict.def (PRED_CONTINUE): Update hitrate.
2441 * tree.def (PREDICT_EXPR): Define.
2442 * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Mark PREDICT_EXPR;
2443 do not handle BIND_EXPR.
2444 * tree-inline.c (estimate_num_insns_1): PREDICT_EXPR is free.
2445 * tree-cfg.c (verify_gimple_stmt): PREDICT_EXPR is valid.
2446 * tree-ssa-operands.c (get_expr_operands): PREDICT_EXPR takes no
2449 2008-03-18 Michael Matz <matz@suse.de>
2451 * gcov-io.h (__gcov_merge_ior, __gcov_fork): Mark hidden.
2453 2008-03-18 Richard Guenther <rguenther@suse.de>
2455 * tree-gimple.h (is_gimple_invariant_address): Declare.
2456 (is_gimple_constant): Likewise.
2457 * tree-gimple.c (is_gimple_constant): New function.
2458 (is_gimple_invariant_address): Likewise.
2459 (is_gimple_min_invariant): Implement in terms of is_gimple_constant
2460 and is_gimple_invariant_address.
2461 * tree-ssa-loop-niter.c (expand_simple_operations): Revert
2463 * tree-data-ref.c (get_references_in_stmt): A SSA_NAME is not
2464 an addressable base.
2466 2008-03-18 Jakub Jelinek <jakub@redhat.com>
2469 * gimplify.c (gimplify_expr): Gimplify second operand of
2472 2008-03-17 Richard Guenther <rguenther@suse.de>
2474 PR tree-optimization/19637
2475 * fold-const.c (fold_unary): Remove restrictions of removing
2476 intermediate pointer-conversions (P2)(P1)P0.
2477 * tree-ssa-ccp.c (maybe_fold_stmt_addition): Recover from
2478 conversion to void pointer.
2479 (get_maxval_strlen): Handle addresses of the form &(*p)[0].
2481 2008-03-16 James E. Wilson <wilson@tuliptree.org>
2484 * dbxout.c (dbxout_expand_expr, case VAR_DECL): Return NULL for
2485 emulated thread local variables.
2487 2008-03-16 Richard Guenther <rguenther@suse.de>
2490 * tree-ssa-loop-niter.c (expand_simple_operations): Do not
2491 expand TREE_INVARIANT operations that are not gimple invariant.
2493 2008-03-16 Hans-Peter Nilsson <hp@axis.com>
2495 * doc/extend.texi (Alignment): Say that the ABI controls
2496 the __alignof__ for non-strict-alignment targets rather
2497 than being a recommendation.
2499 2008-03-15 Paul Brook <paul@codesourcery.com>
2501 * config/arm/arm.c (arm_unwind_emit): Suppress unused unwinding
2503 (arm_output_fn_unwind): Mark functions that can not be unwound.
2505 2008-03-15 Paul Brook <paul@codesourcery.com>
2507 * config/arm/arm.c (arm_rtx_costs_1): Add costs for ARMv6 value
2508 extension instructions.
2510 2008-03-15 Richard Guenther <rguenther@suse.de>
2512 * tree-ssa-ccp.c (ccp_fold): Also read from constant values
2513 and fold constant aggregate refs.
2514 (fold_const_aggregate_ref): Handle string constants
2515 and constructors in ARRAY_REFs. Handle INDIRECT_REF.
2516 (evaluate_stmt): Simplify now that ccp_fold folds constant
2519 2008-03-15 Paul Brook <paul@codesourcery.com>
2521 * config/arm/arm.md (insv): Use gen_insv_t2 and gen_insv_zero.
2522 (extzv): Use gen_extzv_t2.
2523 (insv_t2, insv_zero, extv, extzv_t2): New patterns.
2525 2008-03-15 Richard Guenther <rguenther@suse.de>
2527 * tree-ssa-ccp.c (get_symbol_constant_value): Export.
2528 (fold_const_aggregate_ref): Likewise.
2529 (get_value): Return NULL if we don't have any values.
2530 (ccp_finalize): Set const_val to NULL after freeing it.
2531 * tree-flow.h (get_symbol_constant_value): Declare.
2532 (fold_const_aggregate_ref): Likewise.
2533 * tree-ssa-sccvn.c (try_to_simplify): Use them.
2535 2008-03-15 Richard Guenther <rguenther@suse.de>
2538 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make sure
2539 to not produce negative array indices if not allowed. Add
2540 parameter to indicate that.
2541 (maybe_fold_offset_to_component_ref): Allow negative array
2542 indices only for the first member of a structure.
2543 (maybe_fold_offset_to_reference): Allow negative array indices.
2544 (maybe_fold_stmt_addition): Likewise.
2546 2008-03-15 Bjoern Haase <bjoern.m.haase@web.de>
2547 Anatoly Sokolov <aesok@post.ru>
2549 * config/avr/avr.c (avr_arch_types): Add avr6 entry.
2550 (avr_arch): Add ARCH_AVR6.
2551 (avr_mcu_types): Add 'atmega2560' and 'atmega2561' entry.
2552 (initial_elimination_offset): Initialize and use 'avr_pc_size'
2553 instead of fixed value 2.
2554 (print_operand_address): Use gs() asm specifier instead of pm().
2555 (avr_assemble_integer): (Ditto.).
2556 (avr_output_addr_vec_elt): (Ditto.).
2557 (print_operand): Handle "!" code.
2558 * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Add
2559 __AVR_3_BYTE_PC__, __AVR_2_BYTE_PC__ and __AVR_HAVE_JMP_CALL__.
2560 (AVR_HAVE_EIJMP_EICALL): Define.
2561 (AVR_3_BYTE_PC): Redefine.
2562 (AVR_2_BYTE_PC): (Ditto.).
2563 (PRINT_OPERAND_PUNCT_VALID_P): Add '!' code.
2564 (LINK_SPEC): Add atmega2560 and atmega2561.
2565 (CRT_BINUTILS_SPEC): Add atmega2560 (crtm2560.o) and atmega2561
2567 * config/avr/avr.md (call_insn): Use eicall instead of icall
2568 for 3 byte PC devices.
2569 (call_value_insn): (Ditto.).
2570 (*tablejump_enh): Use eijmp instead of ijmp for 3 byte PC devices.
2571 (indirect_jump): Use only for for 2 byte PC devices.
2572 (*tablejump): (Ditto.).
2573 (*indirect_jump_avr6): Add insn.
2574 (*tablejump_rjmp): Don't use for 3 byte PC devices.
2575 * config/avr/libgcc.S (__prologue_saves__): Use eijmp
2576 instead of ijmp for 3 byte PC devices.
2577 (__tablejump2__): (Ditto.).
2578 * config/avr/t-avr (MULITLIB_OPTIONS): Add avr6 architecture.
2579 (MULITLIB_DIRNAMES): (Ditto.).
2580 (MULTILIB_MATCHES): Add atmega2560 and atmega2561 to list.
2582 2008-03-15 Uros Bizjak <ubizjak@gmail.com>
2584 * config/i386/mmx.md ("sse2_umulv1siv2di3"): Rename from
2585 "sse2_umulsidi3". Use V1DI mode for operand 0.
2586 ("mmx_psadbw"): Use V1DI mode for operand 0.
2587 * config/i386/i386-modes.def (V1SI): New vector mode.
2588 * config/i386/i386.c (struct builtin_description)
2589 [IX86_BUILTIN_PMULUDQ]: Use CODE_FOR_sse2_umulv1siv1di3.
2590 (v1di_ftype_v8qi_v8qi): Rename from di_ftype_v8qi_v8qi.
2591 (v1di_ftype_v2si_v2si): Rename from di_ftype_v2si_v2si.
2592 (ix86_init_mmx_sse_builtins) [__builtin_ia32_psadbw]: Use
2593 v1di_ftype_v8qi_v8qi type.
2594 [__builtin_ia32_pmuludq]: Use v1di_ftype_v2si_v2si type.
2596 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psadbw,
2597 __builtin_ia32_pmuludq]: Fix the mode of return value.
2599 2008-03-15 Richard Guenther <rguenther@suse.de>
2602 * tree-ssa-pre.c (bitmap_find_leader): Handle expression
2605 2008-03-14 Bob Wilson <bob.wilson@acm.org>
2607 * doc/invoke.texi (Option Summary, Xtensa Options): Document
2608 -mserialize-volatile and -mno-serialize-volatile Xtensa options.
2609 * config/xtensa/xtensa.c (print_operand): Do not emit MEMW instructions
2610 unless TARGET_SERIALIZE_VOLATILE is enabled.
2611 * config/xtensa/xtensa.md (*lsiu, *ssiu): Likewise.
2612 * config/xtensa/xtensa.h (TARGET_DEFAULT): Add MASK_SERIALIZE_VOLATILE.
2613 * config/xtensa/xtensa.opt (mserialize_volatile): New option.
2615 2008-03-14 Richard Guenther <rguenther@suse.de>
2617 PR tree-optimization/34172
2618 * tree-flow.h (refs_may_alias_p): Declare.
2619 (get_single_def_stmt): Likewise.
2620 (get_single_def_stmt_from_phi): Likewise.
2621 (get_single_def_stmt_with_phi): Likewise.
2622 * tree-dfa.c (refs_may_alias_p): New function.
2623 (get_single_def_stmt): Likewise.
2624 (get_single_def_stmt_from_phi): Likewise.
2625 (get_single_def_stmt_with_phi): Likewise.
2626 * tree-ssa-sccvn.c (get_def_ref_stmt_vuses): New function.
2627 (vn_reference_lookup_1): New helper function.
2628 (vn_reference_lookup): Walk the virtual use-def chain to
2629 continue searching for a match if the def does not alias the
2630 reference we are looking for.
2632 2008-03-14 David Edelsohn <edelsohn@gnu.org>
2634 * doc/install.texi (Binaries): Remove UCLA archive. Add HVCC
2635 archive and Perzl. Update The Written Word listing.
2637 2008-03-14 Richard Guenther <rguenther@suse.de>
2639 PR tree-optimization/34043
2640 PR tree-optimization/33989
2641 * tree-ssa-pre.c (execute_pre): Allow SCCVN to do insertion
2643 (bitmap_find_leader): Use extra argument to verify dominance
2644 relationship inside a basic-block.
2645 (can_PRE_operation): Add VIEW_CONVERT_EXPR.
2646 (find_leader_in_sets): Adjust.
2647 (create_component_ref_by_pieces): Take extra argument for
2648 dominance check, handle lookup failures.
2649 (find_or_generate_expression): Likewise.
2650 (create_expression_by_pieces): Likewise.
2651 (insert_into_preds_of_block): Adjust.
2652 (create_value_expr_from): If asked for, verify all operands
2653 are in the blocks AVAIL_OUT set.
2654 (make_values_for_stmt): Check for SSA_NAMEs that are life
2655 over an abnormal edge.
2656 (compute_avail): Remove such check.
2657 (do_SCCVN_insertion): New function.
2658 (eliminate): If we do not find a leader suitable for replacement
2659 insert a replacement expression from SCCVN if available.
2660 * tree-ssa-sccvn.h (run_scc_vn): Update prototype.
2661 (struct vn_ssa_aux): Add needs_insertion flag.
2662 * tree-ssa-sccvn.c (may_insert): New global flag.
2663 (copy_reference_ops_from_ref): Value-number union member access
2664 based on its size, not type and member if insertion is allowed.
2665 (visit_reference_op_load): For a weak match from union type
2666 punning lookup a view-converted value and insert a SSA_NAME
2667 for that value if that is not found.
2668 (visit_use): Make dumps shorter. Do not disallow value numbering
2669 SSA_NAMEs that are life over an abnormal edge to constants.
2670 (free_scc_vn): Release inserted SSA_NAMEs.
2671 (run_scc_vn): New flag to specify whether insertion is allowed.
2672 Process SSA_NAMEs in forward order.
2673 * tree-ssa-loop-im.c (for_each_index): Handle invariant
2674 ADDR_EXPRs inside VIEW_CONVERT_EXPR.
2675 * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPRs from/to
2676 pointer type to/from integral types that do not change the
2677 precision to regular conversions.
2679 2008-03-13 Uros Bizjak <ubizjak@gmail.com>
2681 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
2682 __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i,
2683 __builtin_ia32_psrl?i, __builtin_ia32_psra?i, __builtin_ia32_psll?128,
2684 __builtin_ia32_psrl?128, __builtin_ia32_psra?128]: Fix the mode of
2685 input arguments and the mode of return value. Built-in functions
2686 that operate on whole 64-bit MMX register now use V1DI mode.
2688 2008-03-13 Alon Dayan <alond@il.ibm.com>
2689 Olga Golovanevsky <olga@il.ibm.com>
2691 PR tree-optimization/35041
2692 * ipa-struct-reorg.c (find_pos_in_stmt_1): Add another option
2693 to locate the right position in a statement.
2695 2008-03-13 Uros Bizjak <ubizjak@gmail.com>
2699 * config/i386/xmmintrin.h: Change all static inline functions to
2700 extern inline and add __gnu_inline__ attribute.
2701 * config/i386/bmintrin.h: Ditto.
2702 * config/i386/smmintrin.h: Ditto.
2703 * config/i386/tmmintrin.h: Ditto.
2704 * config/i386/mmintrin-common.h: Ditto.
2705 * config/i386/ammintrin.h: Ditto.
2706 * config/i386/emmintrin.h: Ditto.
2707 * config/i386/pmmintrin.h: Ditto.
2708 * config/i386/mmintrin.h: Ditto.
2709 * config/i386/mm3dnow.h: Ditto.
2711 2008-03-13 Jakub Jelinek <jakub@redhat.com>
2714 * omp-low.c (lower_regimplify, init_tmp_var, save_tmp_var): Removed.
2715 (lower_omp_2): New function.
2716 (lower_omp_1, lower_omp): Rewritten.
2718 2008-03-13 Danny Smith <dannysmith@users.sourceforge.net>
2721 * doc/extend.texi (Structure-Packing Pragmas): Replace "Win32"
2722 with the phrase "Microsoft Windows compilers".
2723 (Push/Pop Macro Pragmas): New subsection. Document
2724 #pragma push_macro and pragma pop_macro.
2726 2008-03-12 Paul Brook <paul@codesourcery.com>
2728 * config/arm/arm.c (output_move_double): Prefer LDRD to LDM.
2730 2008-03-12 Paul Brook <paul@codesourcery.com>
2732 * config/arm/thumb2.md: Extend peephole to cover 3-arg subs.
2733 (thumb2_alusi3_short): Exclude PLUS and MINUS.
2734 (thumb2_addsi_shortim): Rename ...
2735 (thumb2_addsi_short): ... to this. Allow register operands.
2736 (thumb2_subsi_short): New pattern.
2737 (thumb2_one_cmplsi2_short,
2738 thumb2_negsi2_short): New patterns and peepholes.
2740 2008-03-12 Paul Brook <paul@codesourcery.com>
2742 * config/arm/arm.c (arm_size_rtx_costs): Use ARM costs for Thumb-2.
2744 2008-03-12 Uros Bizjak <ubizjak@gmail.com>
2746 * config/i386/i386.md (int_cond): New code iterator.
2748 ("s<code>"): Macroize expander from seq, sne, sgt, sgtu, slt, sltu,
2749 sge, sgeu, sle and sleu expanders usign int_cond code iterator.
2750 ("s<code>"): Macroize expander from sunordered, sordered, suneq, sunge,
2751 sungt, sunle, sunlt and sltgt expanders usign fp_cond code iterator.
2752 ("b<code>"): Macroize expander from beq, bne, bgt, bgtu, blt, bltu,
2753 bge, bgeu, ble and bleu expanders usign int_cond code iterator.
2754 ("b<code>"): Macroize expander from bunordered, bordered, buneq, bunge,
2755 bungt, bunle, bunlt and bltgt expanders usign fp_cond code iterator.
2757 2008-03-12 Paul Brook <paul@codesourcery.com>
2759 * config/arm/arm.c (use_return_insn): Use offsets->saved_regs_mask
2760 instead of {arm,thumb}_compute_save_reg_mask.
2761 (output_return_instruction): Ditto.
2762 (thumb_unexpanded_epilogue): Ditto.
2763 (thumb1_expand_prologue): Ditto.
2764 (thumb1_output_function_prologue): Ditto.
2765 (arm_set_return_address): Ditto.
2766 (thumb_set_return_address): Ditto.
2767 (arm_get_frame_offsets): Set offsets->saved_regs_mask. Push extra
2768 regs to achieve stack alignment.
2769 (thumb1_compute_save_reg_mask): Fix compiler warning.
2770 (arm_output_epilogue): Use offsets->saved_regs_mask.
2771 Adjust stack pointer by poping call clobered registers.
2772 (arm_expand_prologue): Use offsets->saved_regs_mask.
2773 Adjust stack pointer by pushing extra registers.
2774 * config/arm.h (arm_stack_offsets): Add saved_regs_mask.
2776 2008-03-12 Paolo Bonzini <bonzini@gnu.org>
2779 * fold-const.c (fold_unary) <NOP_EXPR>: Distribute a narrowing
2780 conversion to the operands of a multiplication.
2782 2008-03-12 Richard Guenther <rguenther@suse.de>
2784 * Makefile.in (OBJS-common): Add tree-ssa-phiprop.o
2785 (tree-ssa-phiprop.o): Copy dependencies from tree-ssa-forwprop.o.
2786 * timevar.def (TV_TREE_PHIPROP): Add.
2787 * tree-ssa-phiprop.c: Split from tree-ssa-forwprop.c, added
2788 pass description. Use TV_TREE_PHIPROP.
2789 * tree-ssa-forwprop.c: Remove phiprop code.
2791 2008-03-12 Jakub Jelinek <jakub@redhat.com>
2794 * omp-low.c (maybe_lookup_decl): Constify first argument.
2795 (use_pointer_for_field): Change last argument from bool to
2796 omp_context *. Disallow shared copy-in/out in nested
2797 parallel if decl is shared in outer parallel too.
2798 (build_outer_var_ref, scan_sharing_clauses,
2799 lower_rec_input_clauses, lower_copyprivate_clauses,
2800 lower_send_clauses, lower_send_shared_vars): Adjust callers.
2802 2008-03-12 Victor Kaplansky <victork@il.ibm.com>
2803 Ira Rosen <irar@il.ibm.com>
2805 * tree-vectorizer.c (free_stmt_vec_info): New function.
2806 (destroy_loop_vec_info): Move code to free_stmt_vec_info().
2807 Call free_stmt_vec_info(). Free LOOP_VINFO_STRIDED_STORES..
2808 * tree-vectorizer.h (free_stmt_vec_info): Declare.
2809 * tree-vect-transform.c (vectorizable_conversion): Free
2810 vec_oprnds0 if it was allocated.
2811 (vect_permute_store_chain): Remove unused VECs.
2812 (vectorizable_store): Free VECs that are allocated in the..
2814 (vect_transform_strided_load, vectorizable_load): Likewise.
2815 (vect_remove_stores): Simplify the code.
2816 (vect_transform_loop): Move code to vect_remove_stores().
2817 Call vect_remove_stores() and free_stmt_vec_info().
2819 2008-03-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2821 * pa.h (TARGET_LONG_PIC_SDIFF_CALL): Conditionalize define on
2822 TARGET_HPUX. Revise comment.
2823 (TARGET_LONG_PIC_PCREL_CALL): Revise comment.
2824 * pa.c (output_call): Update for revised TARGET_LONG_PIC_SDIFF_CALL.
2825 Use sr4 variant of `be' instruction when not generating PIC code.
2826 (attr_length_call): Adjust for above change.
2828 2008-03-11 Andrew Pinski <andrew_pinski@playstation.sony.com>
2830 * ipa-reference.c (static_execute): Remove module_statics_const and
2831 associated setting code.
2833 2008-03-11 Uros Bizjak <ubizjak@gmail.com>
2836 * config/i386/i386.md (paritysi2, paritydi2): Use register_operand
2837 predicate for operand 1.
2838 (paritysi2_cmp): Use register_operand predicate for operand 2.
2839 Use earlyclobber modifier for operand 1. Remove support for
2841 (paritydi2_cmp): Use register_operand predicate for operand 3.
2842 Use earlyclobber modifier for operand 1. Remove support for
2845 2008-03-11 Paul Brook <paul@codesourcery.com>
2846 Vladimir Prus <vladimir@codesourcery.com>
2848 * config/arm/arm.c (use_return_insn): Check TARGET_APCS_FRAME.
2849 (arm_compute_save_reg0_reg12_mask): Always
2850 check if register 11 must be saved. Always safe hard frame pointer
2851 when frame_pointer_needeed.
2852 (arm_compute_save_reg_mask): Save IP and PC
2853 only with apcs frames.
2854 (arm_output_epilogue): Adjust Thumb2 codepath to
2855 be also invoked and work for ARM non-apcs frames.
2856 (arm_expand_prologue): Don't bother saving IP
2857 for non-apcs frame, since it's not clobbered by
2858 prologue code. Implement non-apcs frame
2861 2008-03-11 Paolo Bonzini <bonzini@gnu.org>
2863 PR rtl-optimization/35281
2864 * expr.c (convert_move): Use a new pseudo for the intermediate
2865 from_mode->word_mode result.
2867 2008-03-11 Paolo Bonzini <bonzini@gnu.org>
2869 * langhooks-def.h (LANG_HOOKS_CLEAR_BINDING_STACK): Delete.
2870 * langhooks.h (struct lang_hooks): Delete clear_binding_stack member.
2871 * toplev.c (compile_file): Don't call it.
2873 2008-03-11 Uros Bizjak <ubizjak@gmail.com>
2876 * expr.c (store_expr): Call emit_block_move if the mode
2877 of "temp" RTX is BLKmode.
2879 2008-03-11 Andrew Pinski <andrew_pinski@playstation.sony.com>
2880 Richard Guenther <rguenther@suse.de>
2882 PR tree-optimization/31358
2883 * tree-ssa-loop-manip.c (create_iv): Call force_gimple_operand for
2884 the step with a NULL_TREE.
2885 * tree-ssa-loop-ivopts.c (find_bivs): Convert the step
2886 to sizetype if type is a pointer type.
2887 (add_candidate_1): Don't convert the base and step to
2888 the generic type if the orginal type is a pointer type.
2889 (add_iv_value_candidates): Use sizetype for the step
2890 if type is a pointer type.
2891 (cand_value_at): Likewise.
2892 * tree-ssa-address.c (add_to_parts): Use POINTER_PLUS_EXPR
2894 * tree-affine.c (tree_to_aff_combination <POINTER_PLUS_EXPR>):
2895 Don't convert the tem affine to the type.
2896 (add_elt_to_tree): Use sizetype for the step if a pointer.
2897 Use POINTER_PLUS_EXPR for pointers.
2898 (aff_combination_to_tree): Use sizetype for the step if a
2901 2008-03-10 Vladimir Makarov <vmakarov@redhat.com>
2903 * config/i386/sse.md (ssse3_pmaddubswv8hi3, ssse3_pmaddubswv4hi3):
2904 Remove commutativity hint.
2906 2008-03-10 Jakub Jelinek <jakub@redhat.com>
2910 * c-parser.c (c_parser_omp_threadprivate): Don't add vars with
2911 errorneous type. Check that v is a VAR_DECL.
2914 * tree-cfg.c (new_label_mapper): Update cfun->last_label_uid.
2916 2008-03-10 H.J. Lu <hongjiu.lu@intel.com>
2918 PR tree-optimization/35494
2919 * tree-ssa-ccp.c (get_symbol_constant_value): Check if value
2920 may be overriden at link and run time.
2922 2008-03-10 Richard Guenther <rguenther@suse.de>
2924 PR tree-optimization/34677
2925 * tree-ssa-pre.c (modify_expr_node_pool): Remove.
2926 (poolify_tree): Likewise.
2927 (modify_expr_template): Likewise.
2928 (poolify_modify_stmt): Likewise.
2929 (insert_fake_stores): Handle all component-ref style stores
2930 in addition to INDIRECT_REF. Also handle complex types.
2931 Do not poolify the inserted load.
2932 (realify_fake_stores): Do not rebuild the tree but only
2933 make it a SSA_NAME copy.
2934 (init_pre): Remove initialzation of modify_expr_template.
2935 Do not allocate modify_expr_node_pool.
2936 (fini_pre): Do not free modify_expr_node_pool.
2938 2008-03-10 Paul Brook <paul@codesourcery.com>
2940 * config/arm/arm.md (UNSPEC_STACK_ALIGN, UNSPEC_PIC_OFFSET): Renumber
2943 2008-03-10 Paul Brook <paul@codesourcery.com>
2944 Mark Shinwell <shinwell@codesourcery.com>
2946 * config/arm/cortex-r4.md: New.
2947 * config/arm/thumb2.md (divsi3, udivsi3): Annotate with
2949 * config/arm/arm.md: Include cortex-r4.md.
2950 (insn): Add smmls, sdiv and udiv values.
2951 (generic_sched): Don't use generic scheduling for Cortex-R4.
2952 (arm_issue_rate): New function.
2953 (TARGET_SCHED_ISSUE_RATE): Define.
2955 2008-03-10 Sebastian Pop <sebastian.pop@amd.com>
2957 * doc/invoke.texi (-ftree-loop-distribution): Add an example.
2959 2008-03-10 Richard Guenther <rguenther@suse.de>
2961 * tree-ssa-pre.c (get_sccvn_value): Simplify.
2962 (compute_avail): Do not add stmt uses to AVAIL_OUT.
2964 2008-03-10 Paolo Bonzini <bonzini@gnu.org>
2966 * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS):
2967 Set default to true.
2969 2008-03-09 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
2971 * c.opt (Wsynth): Deprecate.
2972 * doc/invoke.texi (Option Summary, Warning Options): Document
2973 -Wno-format-contains-nul.
2975 2008-03-09 Uros Bizjak <ubizjak@gmail.com>
2978 * config/i386/i386.c (ix86_constant_alignment): Compute alignment using
2979 ALIGN_MODE_128 for VECTOR_CST and INTEGER_CST in addition to REAL_CST.
2981 2008-03-09 Ira Rosen <irar@il.ibm.com>
2983 * config/rs6000/rs6000.c (builtin_description): Rename vector
2984 left shift operations.
2985 * config/rs6000/altivec.md (UNSPEC_VSL): Remove.
2986 (altivec_vsl<VI_char>): Rename to ...
2987 (ashl<mode>3): ... new name.
2988 (mulv4sf3, mulv4si3, negv4sf2): Replace gen_altivec_vslw with
2990 (absv4sf2): Convert to use ashift:V4SI instead of UNSPEC_VSL.
2992 2008-03-08 Richard Guenther <rguenther@suse.de>
2994 * coverage.h (tree_coverage_counter_addr): Declare.
2995 * coverage.c (tree_coverage_counter_addr): New function.
2996 * tree-profile.c (tree_gen_edge_profiler): Unshare counter
2998 (tree_gen_pow2_profiler): Use tree_coverage_counter_addr.
2999 (tree_gen_one_value_profiler): Likewise.
3000 (tree_gen_ic_profiler): Likewise.
3001 (tree_gen_average_profiler): Likewise.
3002 (tree_gen_ior_profiler): Likewise.
3004 2008-03-08 Richard Guenther <rguenther@suse.de>
3006 * tree-ssa-sccvn.h (vn_binary_op_lookup): Remove.
3007 (vn_binary_op_insert): Likewise.
3008 (vn_unary_op_lookup): Likewise.
3009 (vn_unary_op_insert): Likewise.
3010 (vn_nary_op_lookup): Declare.
3011 (vn_nary_op_insert): Likewise.
3012 * tree-ssa-sccvn.c (struct vn_tables_s): Merge unary
3013 and binary hashes, use a single obstack for unary_op_pool
3015 (struct vn_binary_op_s, struct vn_unary_op_s): Replace with
3016 a single struct vn_nary_op_s. Store tree code length and
3017 a variable number of operands.
3018 (struct vn_reference_op_struct): Remove unused op2.
3019 (vn_reference_op_eq): Do not compare op2.
3020 (vn_reference_op_compute_hash): Do not compute hash of op2.
3021 (vn_unary_op_hash, vn_binary_op_hash): Replace with vn_nary_op_hash.
3022 (vn_unary_op_compute_hash, vn_binary_op_compute_hash): Replace
3023 with vn_nary_op_compute_hash.
3024 (vn_unary_op_eq, vn_binary_op_eq): Replace with vn_nary_op_eq.
3025 (vn_unary_op_lookup, vn_binary_op_lookup): Replace with
3027 (vn_unary_op_insert, vn_binary_op_insert): Replace with
3029 (visit_unary_op): Call nary functions.
3030 (visit_binary_op): Likewise.
3031 (process_scc): Adjust for struct vn_tables_s changes.
3032 (allocate_vn_table): Likewise.
3033 (free_vn_table): Likewise.
3034 * tree-vn.c (vn_add): Call nary functions.
3035 (vn_lookup): Likewise.
3037 2008-03-08 Jakub Jelinek <jakub@redhat.com>
3040 * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): Shift
3041 wdst back after sync_compare_and_swapqhi_internal.
3043 2008-03-08 Uros Bizjak <ubizjak@gmail.com>
3046 * config/i386/i386-modes.def (V1DI): New vector mode.
3047 * config/i386/i386.h (VALID_MMX_REG_MODE): Add V1DImode.
3048 * config/i386/mmx.md (MMXMODEI8): New mode iterator.
3049 (MMXMODE248): Ditto.
3050 (MMXMODE): Add V1DI mode.
3051 (mmxvecsize): Change DI mode to V1DI mode.
3052 ("mov<mode>): Use MMXMODEI8 mode iterator.
3053 ("*mov<mode>_internal_rex64"): Ditto.
3054 ("*mov<mode>_internal"): Ditto.
3055 ("mmx_add<mode>3"): Ditto. Handle V1DImode for TARGET_SSE2.
3056 ("mmx_sub<mode>3"): Ditto.
3057 ("mmx_adddi3"): Remove insn pattern.
3058 ("mmx_subdi3"): Ditto.
3059 ("mmx_ashr<mode>3"): Use SImode and "yN" constraint for operand 2.
3060 ("mmx_lshr<mode>3"): Ditto. Use MMXMODE248 mode iterator.
3061 ("mmx_ashl<mode>3"): Ditto.
3062 ("mmx_lshrdi3"): Remove insn pattern.
3063 ("mmx_ashldi3"): Ditto.
3064 * config/i386/i386.c (classify_argument): Handle V1DImode.
3065 (function_arg_advance_32): Ditto.
3066 (function_arg_32): Ditto.
3067 (struct builtin_description) [IX86_BUILTIN_PADDQ]: Use
3068 mmx_addv1di3 insn pattern.
3069 [IX86_BUILTIN_PSUBQ]: Use mmx_subv1di3 insn pattern.
3070 [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?, IX86_BUILTIN_PSRA?,
3071 IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I, IX86_BUILTIN_PSRA?I,
3072 IX86_BUILTIN_PSLL?I128, IX86_BUILTIN_PSRL?I128, IX86_BUILTIN_PSRA?I128]:
3073 Remove definitions of built-in functions.
3074 (V1DI_type_node): New node.
3075 (v1di_ftype_v1di_int): Ditto.
3076 (v1di_ftype_v1di_v1di): Ditto.
3077 (v2si_ftype_v2si_si): Ditto.
3078 (v4hi_ftype_v4hi_di): Remove node.
3079 (v2si_ftype_v2si_di): Ditto.
3080 (ix86_init_mmx_sse_builtins): Handle V1DImode.
3081 (__builtin_ia32_psll?, __builtin_ia32_psrl?, __builtin_ia32_psra?):
3082 Redefine builtins using def_builtin_const with *_ftype_*_int node.
3083 (__builtin_ia32_psll?i, __builtin_ia32_psrl?i, __builtin_ia32_psra?i):
3084 Add new builtins using def_builtin_const.
3085 (ix86_expand_builtin) [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?,
3086 IX86_BUILTIN_PSRA?, IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I,
3087 IX86_BUILTIN_PSRA?I]: Handle builtin definitions.
3088 * config/i386/mmintrin.h (__v1di): New typedef.
3089 (_mm_add_si64): Cast arguments to __v1di type.
3090 (_mm_sub_si64): Ditto.
3091 (_mm_sll_pi16): Cast __count to __v4hi type.
3092 (_mm_sll_pi32): Cast __count to __v2si type.
3093 (_mm_sll_si64): Cast arguments to __v1di type.
3094 (_mm_srl_pi16): Cast __count to __v4hi type.
3095 (_mm_srl_pi32): Cast __count to __v2si type.
3096 (_mm_srl_si64): Cast arguments to __v1di type.
3097 (_mm_sra_pi16): Cast __count to __v4hi type.
3098 (_mm_sra_pi32): Cast __count to __v2si type.
3099 (_mm_slli_pi16): Use __builtin_ia32_psllwi.
3100 (_mm_slli_pi32): Use __builtin_ia32_pslldi.
3101 (_mm_slli_si64): Use __builtin_ia32_psllqi. Cast __m to __v1di type.
3102 (_mm_srli_pi16): Use __builtin_ia32_psrlwi.
3103 (_mm_srli_pi32): Use __builtin_ia32_psrldi.
3104 (_mm_srli_si64): Use __builtin_ia32_psrlqi. Cast __m to __v1di type.
3105 (_mm_srai_pi16): Use __builtin_ia32_psrawi.
3106 (_mm_srai_pi32): Use __builtin_ia32_psradi.
3107 * config/i386/i386.md (UNSPEC_NOP): Remove unspec definition.
3108 * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
3109 __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i,
3110 __builtin_ia32_psrl?i, __builtin_ia32_psra?i]: Add new builtins.
3112 2008-03-07 Joseph Myers <joseph@codesourcery.com>
3114 * doc/include/texinfo.tex: Update to version 2008-03-07.10.
3116 2008-03-07 Peter Bergner <bergner@vnet.ibm.com>
3119 * config/rs6000/rs6000.c (rs6000_legitimize_address): Don't generate
3120 reg+const addressing for Altivec modes. Don't generate reg+reg
3121 addressing for TFmode or TDmode quantities.
3123 2008-03-07 Paolo Bonzini <bonzini@gnu.org>
3125 * c-common.c (vector_types_convertible_p): Call langhook
3126 instead of comptypes.
3128 2008-03-06 Andrew Pinski <andrew_pinski@playstation.sony.com>
3131 * tree-ssa-ccp.c (get_symbol_constant_value): Handle
3132 integral and scalar float variables which have a
3135 2008-03-06 Nathan Froyd <froydnj@codesourcery.com>
3137 * dwarf2out.c (dwarf2out_frame_debug_expr): Consult the
3138 dwarf_register_span hook when emitting unwind information for
3139 register-to-memory saves.
3140 * config/rs6000/rs6000.c (spe_synthesize_frame): Delete.
3141 (rs6000_frame_related): Remove call to spe_synthesize_frame.
3143 2008-03-06 Jakub Jelinek <jakub@redhat.com>
3145 * gimplify.c (goa_lhs_expr_p): Allow different ADDR_EXPR nodes
3146 for the same VAR_DECL.
3148 2008-03-06 Tom Tromey <tromey@redhat.com>
3151 * doc/standards.texi (Standards): Don't mention treelang.
3152 * doc/invoke.texi (Overall Options): Don't mention treelang.
3153 * doc/install.texi (Prerequisites): Don't mention bison or
3155 (Configuration): Don't mention treelang.
3156 (Building): Likewise.
3157 * doc/frontends.texi (G++ and GCC): Don't mention treelang.
3159 2008-03-06 Paolo Bonzini <bonzini@gnu.org>
3161 * simplify-rtx.c (simplify_subreg): Remove useless shifts from
3162 word-extractions out of a multi-word object.
3164 2008-03-06 Richard Guenther <rguenther@suse.de>
3166 * tree.def (BIT_FIELD_REF): Constrain result type and its precision.
3167 * tree-cfg.c (verify_expr): Verify BIT_FIELD_REF constraints on
3168 result type and precision.
3169 * expr.c (get_inner_reference): Set unsignedp based on the result
3170 type of BIT_FIELD_REF.
3171 * tree.h (BIT_FIELD_REF_UNSIGNED): Remove.
3172 * tree-sra.c (instantiate_element): Do not set BIT_FIELD_REF_UNSIGNED.
3173 (try_instantiate_multiple_fields): Likewise. Use the correct type
3175 (sra_build_assignment): Likewise.
3176 (sra_build_elt_assignment): Likewise.
3177 (sra_explode_bitfield_assignment): Likewise.
3178 * print-tree.c (print_node): Do not check BIT_FIELD_REF_UNSIGNED.
3179 * tree-vect-transform.c (vect_create_epilog_for_reduction): Do not
3180 set BIT_FIELD_REF_UNSIGNED.
3181 (vectorizable_load): Likewise.
3183 2008-03-06 Andreas Krebbel <krebbel1@de.ibm.com>
3185 * cse.c (cse_extended_basic_block): Invalidate artificial defs
3188 2008-03-06 Richard Guenther <rguenther@suse.de>
3190 * alias.c (struct alias_set_entry): Move has_zero_child field
3191 to pack with alias_set.
3193 2008-03-05 H.J. Lu <hongjiu.lu@intel.com>
3195 * config/i386/i386-modes.def: Use 4 byte alignment on DI for
3198 2008-03-05 Ian Lance Taylor <iant@google.com>
3200 * alias.h (alias_set_type): Change from HOST_WIDE_INT to int.
3202 2008-03-05 Kenneth Zadeck <zadeck@naturalbridge.com>
3204 * fwprop.c (update_df): Support width and offset parameters of
3206 * ra-conflict.c (mark_reg_store, clear_reg_in_live,
3207 global_conflicts): Change DF_REF_EXTRACT to either
3208 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
3209 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
3210 * df-scan.c (df_ref_record, df_defs_record,
3211 df_ref_create_structure, df_def_record_1, df_uses_record,
3212 df_get_conditional_uses, df_get_call_refs, df_insn_refs_collect,
3213 df_bb_refs_collect, df_entry_block_defs_collect,
3214 df_exit_block_uses_collect): Support new width and offset fields.
3215 (ref_extract_pool): New storage pool.
3216 (df_free_ref): New function.
3217 (df_reg_chain_unlink, df_free_collection_rec,
3218 df_sort_and_compress_refs): Call df_free_ref.
3219 (df_ref_equal_p, df_ref_compare): Compare offset and width fields
3221 (df_ref_create_structure): Allocate df_ref_extract if offset and
3222 width fields are used.
3223 (df_def_record_1): Get offset and width from ZERO_EXTRACT.
3224 (df_uses_record): Get offset and width from ZERO_EXTRACT
3226 * global.c (build_insn_chain): Change DF_REF_EXTRACT to either
3227 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
3228 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
3229 * df.h (df_ref_flags): Change DF_REF_EXTRACT to either
3230 DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change
3231 DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART.
3232 (df_ref_extract): New structure.
3233 (DF_REF_WIDTH, DF_REF_OFFSET): New macros.
3234 (df_ref_create): Add width and offset parameters.
3236 2008-03-05 Richard Guenther <rguenther@suse.de>
3238 * tree-ssa-structalias.c (get_constraint_for_component_ref):
3239 Use ranges_overlap_p.
3240 (offset_overlaps_with_access): Rename
3241 to ranges_overlap_p and move ...
3242 * tree-flow-inline.h (ranges_overlap_p): ... here.
3244 * tree.h (get_inner_reference, handled_component_p): Update
3247 * tree.h (record_component_aliases, get_alias_set,
3248 alias_sets_conflict_p, alias_sets_must_conflict_p,
3249 objects_must_conflict_p): Move declarations ...
3250 * alias.h (record_component_aliases, get_alias_set,
3251 alias_sets_conflict_p, alias_sets_must_conflict_p,
3252 objects_must_conflict_p): ... here.
3253 Include coretypes.h.
3254 * Makefile.in (ALIAS_H): Add coretypes.h dependency.
3256 2008-03-05 Aldy Hernandez <aldyh@redhat.com>
3258 * cfg.c: Include tree-flow.h.
3259 (remove_edge_raw): Call redirect_edge_var_map_clear.
3260 (redirect_edge_succ_nodup): Call redirect_edge_var_map_dup.
3261 * tree-flow-inline.h (redirect_edge_var_map_def): New.
3262 (redirect_edge_var_map_result): New.
3263 * tree-cfgcleanup.c (remove_forwarder_block_with_phi): Replace
3264 PENDING_STMT use with redirect_edge_var_map_*.
3265 * tree-ssa.c (edge_var_maps): New definition.
3266 (redirect_edge_var_map_add): New.
3267 (redirect_edge_var_map_clear): New.
3268 (redirect_edge_var_map_dup): New.
3269 (redirect_edge_var_map_vector): New.
3270 (redirect_edge_var_map_destroy): New.
3271 (ssa_redirect_edge): Replace PENDING_STMT use with
3272 redirect_edge_var_map_*.
3273 (flush_pending_stmts): Same.
3274 (delete_tree_ssa): Destroy edge var map.
3275 * tree-flow.h (struct _edge_var_map): New.
3276 Define edge_var_map vector type.
3277 Declare redirect_edge_var_map_* prototypes.
3278 * Makefile.in (cfg.o): Depend on TREE_FLOW_H.
3279 * tree-cfg.c (reinstall_phi_args): Replace
3280 PENDING_STMT use with redirect_edge_var_map_*.
3282 2008-03-05 Richard Guenther <rguenther@suse.de>
3284 PR tree-optimization/35472
3285 * tree-ssa-dse.c (dse_optimize_stmt): Do not delete a store
3286 whose single use_stmt has a overlapping set of loaded and
3287 stored symbols as that use_stmt might be a noop assignment then.
3289 2008-03-05 Joel Sherrill <joel.sherrill@oarcorp.com>
3291 * gthr-rtems.h: Implement __gthread_mutex_destroy.
3293 2008-03-05 Richard Guenther <rguenther@suse.de>
3296 * tree.def (BIT_FIELD_REF): Document that operands 1 and 2
3297 should be constants.
3298 * tree-cfg.c (verify_expr): Verify it.
3299 * fold-const.c (fold_truthop): Remove code generating
3300 BIT_FIELD_REFs of structure bases.
3301 (fold_binary): Likewise.
3302 (fold_ternary): Position and size of BIT_FIELD_REFs are
3303 always host integers.
3304 (make_bit_field_ref): Remove.
3305 (optimize_bit_field_compare): Remove.
3306 (all_ones_mask_p): Remove.
3308 2008-03-05 Gabor Loki <loki@gcc.gnu.org>
3311 * rtl-factoring.c (clear_regs_live_in_seq): Fix backward steps.
3312 (split_block_and_df_analyze): New. Split basic block and rebuild
3314 (block_label_after): Use SPLIT_BLOCK_AND_DF_ANALYZE instead of
3316 (split_pattern_seq): Likewise.
3317 (erase_matching_seqs): Likewise.
3318 (split_pattern_seq): Skip return insn in case of REG_NORETURN note.
3320 2008-03-04 Geoff Keating <geoffk@apple.com>
3322 * fold-const.c (tree_single_nonnegative_warnv_p): Fix mixed
3323 declaration and code.
3324 (tree_invalid_nonnegative_warnv_p): Likewise.
3326 2008-03-05 Serge Belyshev <belyshev@depni.sinp.msu.ru>
3328 * doc/install.texi (Testing): Correct quoting for the RUNTESTFLAGS
3329 examples. Truncate option-names then causing overfull hbox.
3331 2008-03-04 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3334 * configure.ac (CONFIG_SJLJ_EXCEPTIONS): Force SJLJ exceptions
3336 * configure: Rebuilt.
3338 2008-03-04 Rafael Espindola <espindola@google.com>
3340 * fold-const.c (tree_simple_nonnegative_warnv_p): New.
3341 (tree_unary_nonnegative_warnv_p): New.
3342 (tree_binary_nonnegative_warnv_p): New.
3343 (tree_single_nonnegative_warnv_p): New.
3344 (tree_invalid_nonnegative_warnv_p): New.
3345 (tree_expr_nonnegative_warnv_p): Redefine in term of the new functions.
3347 2008-03-04 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3350 * opts.c (handle_option): Postpone 'unknown option' errors only for
3353 2008-03-04 H.J. Lu <hongjiu.lu@intel.com>
3356 * config/i386/smmintrin.h (SIDD_XXX): Renamed to ...
3359 2008-03-04 Rafael Espindola <espindola@google.com>
3361 * fold-const.c (tree_unary_nonzero_warnv_p): New.
3362 (tree_binary_nonzero_warnv_p): New.
3363 (tree_single_nonzero_warnv_p): New.
3364 (tree_expr_nonzero_warnv_p): Redefine using the new functions.
3366 2008-03-04 Uros Bizjak <ubizjak@gmail.com>
3369 * fold-const.c (fold_cond_expr_with_comparison): Prevent
3370 transformations for modes that have signed zeros.
3371 * ifcvt.c (noce_try_abs): Ditto.
3373 2008-03-04 Joseph Myers <joseph@codesourcery.com>
3375 * config/i386/i386.c (override_options): Force
3376 -maccumulate-outgoing-args on if TARGET_STACK_PROBE.
3378 2008-03-04 Jan Hubicka <jh@suse.cz>
3381 * ipa-inline.c (cgraph_decide_inlining_of_small_function): Fix typo
3384 2008-03-04 Danny Smith <dannysmith@users.sourceforge.net>
3386 * config/i386/i386.md (allocate_stack_worker_32): Use __chkstk
3387 label to probe the stack.
3389 2008-03-04 Danny Smith <dannysmith@users.sourceforge.net>
3391 * gthr-win32.h [__GTHREAD_HIDE_WIN32API]
3392 (__gthr_win32_mutex_destroy): Declare.
3393 [__GTHREAD_HIDE_WIN32API] (__gthread_mutex_destroy): Use
3394 __gthr_win32_mutex_destroy.
3395 * config/i386/gthr-win32.c (__gthr_win32_mutex_destroy): Define.
3397 2008-03-03 Jan Hubicka <jh@suse.cz>
3400 * ipa-inline.c (cgraph_decide_inlining_of_small_function): Be more
3401 aggressive on inlining cold calls.
3403 2008-03-03 Richard Guenther <rguenther@suse.de>
3405 * tree-ssa-sccvn.c (visit_reference_op_store): Do not insert
3406 struct copies into the expression table.
3407 (simplify_unary_expression): Handle VIEW_CONVERT_EXPR.
3408 (try_to_simplify): Likewise.
3409 * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPR of
3410 integral and pointer arguments which do not change the
3411 precision to NOP_EXPRs.
3412 * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Adjust
3413 VIEW_CONVERT_EXPR case.
3415 2008-03-02 Sebastian Pop <sebastian.pop@amd.com>
3417 * tree-scalar-evolution.c (instantiate_parameters_1):