1 2007-04-24 Hui-May Chang <hm.chang@apple.com>
3 * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
4 instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
6 2007-04-24 Richard Guenther <rguenther@suse.de>
7 Olga Golovanevsky <olga@il.ibm.com>
9 * fold-const.c (multiple_of_p): Check for bottom
12 2007-04-24 Richard Henderson <rth@redhat.com>
14 * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
15 IS_IBM_EXTENDED. Also define in terms of WIDEST_HARDWARE_FP_SIZE.
16 * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
17 looking for non-zero bits shifted out. Avoid a recursive call
18 when constructing the scalar.
19 (__floatundisf): Likewise.
21 2007-04-24 Nathan Froyd <froydnj@codesourcery.com>
23 * dwarf2out.c (field_byte_offset): Move the existing logic
24 under the control of PCC_BITFIELD_TYPE_MATTERS and just use
25 the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
27 2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
30 * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
31 argument of 0 for memset.
32 (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
33 unsigned shift instead of the signed variant.
35 2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
37 * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
38 "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
39 "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
40 "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
41 "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
42 "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
43 "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
44 "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
45 "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
46 ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
47 "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
48 "mul<mode>3", "div<mode>3"): Insn definitions added.
49 ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
50 "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
51 to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
52 ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
53 "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
54 "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
55 ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
56 * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
57 TARGET_FLOAT_FORMAT): Macro definitions removed.
58 (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
59 * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
60 z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
61 (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
62 (s390_gen_rtx_const_DI): Function removed.
63 * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
65 2007-04-24 Richard Sandiford <richard@codesourcery.com>
67 * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
68 over an external ffs function.
70 2007-04-24 Chao-ying Fu <fu@mips.com>
71 Richard Sandiford <richard@nildram.co.uk>
73 * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
74 * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
75 (smadd_widen_optab, umadd_widen_optab): Define.
76 * optabs.c (init_optabs): Initialize smadd_widen_optab and
78 * genopinit.c (optabs): Fill in smadd_widen_optab and
80 * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
81 and umadd_widen_optab to implement multiply-add sequences.
82 * config/mips/mips.md (*<su>mul_acc_di): Rename to...
83 (<u>maddsidi4): ...this. Extend condition to include
84 GENERATE_MADD_MSUB and TARGET_DSPR2. Change the constraint
85 of operand 0 to "ka" and use the three-operand form of madd<u>
87 * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
89 * config/mips/constraints.md (ka): New register constraint.
91 2007-04-24 Jan Hubicka <j@suse.cz>
95 2007-04-23 Jan Hubicka <jh@suse.cz>
96 * function.c (init_function_start): Don't init line number info.
97 (expand_function_end): Update.
98 (reset_block_changes, record_block_change, finalize_block_changes,
99 check_block_change, free_block_changes): Kill.
100 * function.h (reset_block_changes, record_block_change,
101 finalize_block_changes, check_block_change, free_block_changes): Remove
103 (struct function): Remove ib_boundaries_block.
104 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
105 Use curr_insn_locator to initialize locator.
106 (emit_line_note): Remove.
107 * cfgexpand.c (expand_gimple_cond_expr): Update.
108 (construct_exit_block): Likewise.
109 (tree_expand_cfg): Initialize/finalize locators.
110 * expr.c (expand_expr_real): Update.
111 * cfglayout.c (line_locators_locs, line_locators_lines,
112 file_locators_locs, file_locators_files): Remove.
113 (set_block_levels): Move to cfgexpand.c.
114 (insn_locators_initialize): Remove.
115 (pass_insn_locators_initialize): Remove.
116 (locations_locators_locs, locations_locators_vals): New static vars.
117 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
119 (insn_locators_alloc, insn_locators_finalize,
120 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
122 (locator_location): New.
123 (locator_line, locator_file): Rewrite.
124 * rtl.h (emit_line_note): Kill.
125 (insn_locators_alloc, insn_locators_finalize,
126 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
128 * tree-inline.c (initialize_cfun): Do not initialize
130 * passes.c (pass_insn_locators_initialize): Remove.
132 2007-04-24 Daniel Franke <franke.daniel@gmail.com>
134 * doc/invoke.texi: Removed leading '-' from option index entries.
136 2007-04-23 Zdenek Dvorak <dvorakz@suse.cz>
138 * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
140 (create_phi_node): Use set_phi_nodes.
141 * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
142 * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
143 (combine_blocks): Use bb_stmt_list and set_bb_stmt_list.
144 * tree-flow-inline.h (phi_nodes, set_phi_nodes,
145 (bsi_start, bsi_last): Use bb_stmt_list.
146 (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
147 * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
148 Traverse the statements using tsi iterator.
149 * basic-block.h (struct basic_block_def): Fields stmt_list
150 and phi_nodes moved to ...
151 (struct tree_bb_info): ... new structure.
152 * tree-cfg.c (create_bb): Allocate il.tree. Use set_bb_stmt_list.
153 (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
154 (remove_bb): Handle blocks with NULL stmt list. Clear il.tree field.
155 (tree_verify_flow_info): Verify that il.tree is not set for
156 entry and exit block.
157 (tree_split_block): Use set_bb_stmt_list.
159 2007-04-23 Mike Stump <mrs@apple.com>
161 * config/i386/i386.c (ix86_tune_features
162 [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
165 2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
167 * config/i386/i386.md (prefix_extra): New attribute.
168 (length): Add prefix_extra.
170 * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
171 (sse2_movntv2di): Likewise.
172 (sse2_cvtps2dq): Likewise.
173 (sse2_cvtpd2pi): Likewise.
174 (sse2_cvttpd2pi): Likewise.
175 (*sse2_cvtpd2ps): Likewise.
176 (*add<mode>3): Likewise.
177 (sse2_ssadd<mode>3): Likewise.
178 (sse2_usadd<mode>3): Likewise.
179 (*sub<mode>3): Likewise.
180 (sse2_sssub<mode>3): Likewise.
181 (sse2_ussub<mode>3): Likewise.
182 (*mulv8hi3): Likewise.
183 (*smulv8hi3_highpart): Likewise.
184 (*umulv8hi3_highpart): Likewise.
185 (sse2_umulv2siv2di3): Likewise.
186 (sse2_pmaddwd): Likewise.
187 (ashr<mode>3): Likewise.
188 (lshr<mode>3): Likewise.
189 (ashl<mode>3): Likewise.
190 (sse2_ashlti3): Likewise.
191 (sse2_lshrti3): Likewise.
192 (*umaxv16qi3): Likewise.
193 (*smaxv8hi3): Likewise.
194 (*uminv16qi3): Likewise.
195 (*sminv8hi3): Likewise.
196 (sse2_eq<mode>3): Likewise.
197 (sse2_gt<mode>3): Likewise.
198 (*and<mode>3): Likewise.
199 (sse2_nand<mode>3): Likewise.
200 (*ior<mode>3): Likewise.
201 (*xor<mode>3): Likewise.
202 (sse2_packsswb): Likewise.
203 (sse2_packssdw): Likewise.
204 (sse2_packuswb): Likewise.
205 (sse2_punpckhbw): Likewise.
206 (sse2_punpcklbw): Likewise.
207 (sse2_punpckhwd): Likewise.
208 (sse2_punpcklwd): Likewise.
209 (sse2_punpckhdq): Likewise.
210 (sse2_punpckldq): Likewise.
211 (sse2_punpckhqdq): Likewise.
212 (sse2_punpcklqdq): Likewise.
213 (*sse2_pinsrw): Likewise.
214 (*sse2_pextrw): Likewise.
215 (sse2_pshufd_1): Likewise.
216 (sse2_uavgv16qi3): Likewise.
217 (sse2_uavgv8hi3): Likewise.
218 (sse2_psadbw): Likewise.
219 (sse2_pmovmskb): Likewise.
220 (*sse2_maskmovdqu): Likewise.
221 (*sse2_maskmovdqu_rex64): Likewise.
222 (sse4a_extrqi): Likewise.
223 (sse4a_extrq): Likewise.
224 (sse3_lddqu): Set prefix_rep.
225 (sse3_addsubv4sf3): Likewise.
226 (sse3_haddv4sf3): Likewise.
227 (sse3_hsubv4sf3): Likewise.
228 (sse_cvtss2si): Likewise.
229 (sse_cvtss2si_2): Likewise.
230 (sse_cvtss2siq): Likewise.
231 (sse_cvtss2siq_2): Likewise.
232 (sse_cvttss2si): Likewise.
233 (sse_cvttss2siq): Likewise.
234 (sse2_cvttps2dq): Likewise.
235 (sse3_movshdup): Likewise.
236 (sse3_movsldup): Likewise.
237 (sse2_cvtsd2si): Likewise.
238 (sse2_cvtsd2si_2): Likewise.
239 (sse2_cvtsd2siq): Likewise.
240 (sse2_cvtsd2siq_2): Likewise.
241 (sse2_cvttsd2si): Likewise.
242 (sse2_cvttsd2siq): Likewise.
243 (*sse2_cvtpd2dq): Likewise.
244 (*sse2_cvttpd2dq): Likewise.
245 (sse2_pshuflw_1): Likewise.
246 (sse2_pshufhw_1): Likewise.
247 (sse4a_insertqi): Likewise.
248 (sse4a_insertq): Likewise.
249 (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
250 (ssse3_phadddv4si3): Likewise.
251 (ssse3_phaddswv8hi3): Likewise.
252 (ssse3_phsubwv8hi3): Likewise.
253 (ssse3_phsubdv4si3): Likewise.
254 (ssse3_phsubswv8hi3): Likewise.
255 (ssse3_pmaddubswv8hi3): Likewise.
256 (ssse3_pmulhrswv8hi3): Likewise.
257 (ssse3_pshufbv16qi3): Likewise.
258 (ssse3_psign<mode>3): Likewise.
259 (ssse3_palignrti): Likewise.
260 (abs<mode>2): Likewise.
261 (ssse3_phaddwv4hi3): Set prefix_extra.
262 (ssse3_phadddv2si3): Likewise.
263 (ssse3_phaddswv4hi3): Likewise.
264 (ssse3_phsubwv4hi3): Likewise.
265 (ssse3_phsubdv2si3): Likewise.
266 (ssse3_phsubswv4hi3): Likewise.
267 (ssse3_pmaddubswv4hi3): Likewise.
268 (ssse3_pmulhrswv4hi3): Likewise.
269 (ssse3_pshufbv8qi3): Likewise.
270 (ssse3_psign<mode>3): Likewise.
271 (ssse3_palignrdi): Likewise.
272 (abs<mode>2): Likewise.
273 (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
274 (*vec_dupv2df): Set mode to V2DF instead of V4SF.
275 (sse2_pmovmskb): Set mode to SI instead of V2DF.
277 2007-04-23 Nick Clifton <nickc@redhat.com>
279 * params.def: Fix formatting of emacs local variables.
281 2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
283 * config/i386/sse.md (sse2_stored): Don't split to inter-unit
284 move if inter-unit move isn't allowed.
285 Don't split moving the first element of V2DI to DI to inter-unit
286 move if inter-unit move isn't allowed.
288 2007-04-23 Richard Guenther <rguenther@suse.de>
290 * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
291 and CDI_POST_DOMINATORS separately.
293 2007-04-23 Nick Clifton <nickc@redhat.com>
295 * c.opt (Wformat-contains-nul): Add warning attribute.
297 2007-04-23 Jan Hubicka <jh@suse.cz>
299 * function.c (init_function_start): Don't init line number info.
300 (expand_function_end): Update.
301 (reset_block_changes, record_block_change, finalize_block_changes,
302 check_block_change, free_block_changes): Kill.
303 * function.h (reset_block_changes, record_block_change,
304 finalize_block_changes, check_block_change, free_block_changes): Remove
306 (struct function): Remove ib_boundaries_block.
307 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
308 Use curr_insn_locator to initialize locator.
309 (emit_line_note): Remove.
310 * cfgexpand.c (expand_gimple_cond_expr): Update.
311 (construct_exit_block): Likewise.
312 (tree_expand_cfg): Initialize/finalize locators.
313 * expr.c (expand_expr_real): Update.
314 * cfglayout.c (line_locators_locs, line_locators_lines,
315 file_locators_locs, file_locators_files): Remove.
316 (set_block_levels): Move to cfgexpand.c.
317 (insn_locators_initialize): Remove.
318 (pass_insn_locators_initialize): Remove.
319 (locations_locators_locs, locations_locators_vals): New static vars.
320 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
322 (insn_locators_alloc, insn_locators_finalize,
323 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
325 (locator_location): New.
326 (locator_line, locator_file): Rewrite.
327 * rtl.h (emit_line_note): Kill.
328 (insn_locators_alloc, insn_locators_finalize,
329 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
331 * tree-inline.c (initialize_cfun): Do not initialize
333 * passes.c (pass_insn_locators_initialize): Remove.
335 2007-04-22 Andrew Pinski <andrew_pinski@playstation.sony.com>
338 * expr.c (reduce_to_bit_field_precision): Handle
341 2007-04-22 Uros Bizjak <ubizjak@gmail.com>
343 PR tree-optimization/24659
344 * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
345 OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
346 (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
347 * genopinit.c (optabs): Rename vec_pack_mod_optab
348 to vec_pack_trunc_optab.
349 * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
350 early for scalar floating point operands for NOP_EXPR.
351 (vectorizable_type_promotion): Ditto.
352 * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
353 vec_pack_trunc_optab.
354 (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
356 * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
357 * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
358 Rename from VEC_PACK_MOD_EXPR.
359 (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
360 * expr.c (expand_expr_real_1): Ditto.
361 * tree-inline.c (estimate_num_insns_1): Ditto.
362 * tree-vect-generic.c (expand_vector_operations_1): Ditto.
364 * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
365 (vec_unpacks_lo_v4sf): Ditto.
366 (vec_pack_trunc_v2df): Ditto.
367 (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
368 (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
369 (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
371 * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
373 (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
375 * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
376 Rename from VEC_PACK_MOD_EXPR. This expression also represent
377 packing of floating point operands.
378 [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
379 represent unpacking of floating point operands.
380 * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
381 [vec_unpacks_hi]: Ditto.
382 [vec_unpacks_lo]: Ditto.
384 2007-04-22 Jan Hubicka <jh@suse.cz>
386 * final.c (rest_of_handle_final): Call
387 targetm.asm_out.constructor/targetm.asm_out.destructor
388 * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
389 proper priority via decl_*_priority_insert.
390 * c-common.c (c_expand_body): Likewise.
392 2007-04-22 Richard Guenther <rguenther@suse.de>
394 PR tree-optimization/29789
395 * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
396 (rewrite_reciprocal): New helper split out from
397 determine_invariantness_stmt.
398 (rewrite_bittest): Likewise.
399 (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
400 A & (1 << B) if (1 << B) is loop invariant but (A >> B)
403 2007-04-22 Revital Eres <eres@il.ibm.com>
405 * loop-unroll.c (var_to_expand): New field to support also
406 insns of the form x = something + x.
407 (analyze_insn_to_expand_var): Use it.
408 (expand_var_during_unrolling): Likewise.
410 2007-04-21 Zdenek Dvorak <dvorakz@suse.cz>
412 * predict.c: Include pointer-set.h.
413 (bb_predictions): New variable.
414 (tree_predicted_by_p, tree_predict_edge,
415 remove_predictions_associated_with_edge): Use bb_predictions map
416 instead of bb->predictions.
417 (clear_bb_predictions, assert_is_empty): New functions.
418 (combine_predictions_for_bb): Use bb_predictions map. Call
419 clear_bb_predictions.
420 (tree_estimate_probability): Create and free bb_predictions map.
421 * Makefile.in (predict.o): Add pointer-set.h dependency.
422 * basic-block.h (struct basic_block_def): Remove predictions
424 * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
426 2007-04-21 Kaz Kojima <kkojima@gcc.gnu.org>
429 * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
432 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
434 * timevar.c (timevar_print): Change reference of --disable-checking to
435 --enable-checking=release. Also warn if assert checking is disabled.
437 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
440 * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
441 decl as addressable if the compound literal was marked as
443 Mark the decl as a gimple register if it is a complex or
444 vector decl and does not live in memory.
446 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
448 * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
449 (GENERIC_NEXT): New function macro.
450 (PHI_CHAIN): Use phi_node's new chain variable.
451 (tree_phi_node): Change tree_common to tree_base
452 and add the chain field.
453 * tree-phinodes.c (make_phi_node): Don't set
454 TREE_TYPE on the new node.
455 * c-decl.c (lang_tree_node): Use GENERIC_NEXT
456 instead of checking GIMPLE_TUPLE_P in chain_next.
457 * tree-vect-transform.c
458 (get_initial_def_for_induction): Look at
459 PHI_RESULT_TREE for the type of the phi node.
460 (update_vuses_to_preheader): Use PHI_CHAIN
461 instead of TREE_CHAIN on the phi node.
462 * tree-ssa-structalias.c (compute_points_to_sets):
464 (ipa_pta_execute): Likewise.
466 2007-04-21 Richard Guenther <rguenther@suse.de>
469 * fold-const.c (fold_unary): Call fold_convert_const on the
472 2007-04-21 Alexandre Oliva <aoliva@redhat.com>
474 * gcse.c (store_killed_in_insn): Handle PARALLELs.
475 (store_killed_in_pat): New.
477 2007-04-20 Richard Henderson <rth@redhat.com>
480 * config/i386/i386.c (type_has_variadic_args_p): Look for any
481 TREE_LIST with a void_type_node value, not void_list_node exactly.
483 2007-04-21 Douglas Gregor <doug.gregor@gmail.com>
485 * doc/standards.texi: Re-arrange into language-specific
486 subsections. Add a C++ section, documenting which standards we
489 2007-04-21 Zdenek Dvorak <dvorakz@suse.cz>
491 * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
492 * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
494 2007-04-20 Daniel Jacobowitz <dan@codesourcery.com>
496 * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
497 ecrti.o and crtbegin.o.
498 (LIB_DEFAULT_SPEC): Include -lc.
499 (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
501 2007-04-20 Richard Henderson <rth@redhat.com>
504 * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
505 argument; update all callers.
506 (get_unaligned_offset): New.
507 * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
508 get_unaligned_address, just pass on the address directly.
509 (unaligned_extendqidi): Use gen_lowpart instead of open-coding
510 the subreg in the helper patterns.
511 (unaligned_extendqidi_le): Use get_unaligned_offset.
512 (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
513 (unaligned_extendhidi_be): Likewise.
514 (unaligned_extendhidi): Tidy.
515 * config/alpha/alpha-protos.h: Update.
517 2007-04-20 Richard Henderson <rth@redhat.com>
519 * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
520 (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
521 * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
522 * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
523 * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
524 (CPP_SPEC): Don't include %(cpp_subtarget).
525 * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
526 (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
527 * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
529 2007-04-20 Jakub Jelinek <jakub@redhat.com>
531 * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
532 for __builtin_ia32_cmpordss.
534 PR tree-optimization/31632
535 * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
536 and arg1 for optimizations of comparison against min/max values.
537 Fold arg0 to arg1's type for optimizations of comparison against
538 min+1 and max-1 values.
540 2007-04-19 Bernd Schmidt <bernd.schmidt@analog.com>
542 * reload.c (combine_reloads): When trying to use a dying register,
543 check whether it's uninitialized and don't use if so.
545 2007-04-19 Brooks Moses <brooks.moses@codesourcery.com>
547 * fold-const.c: Remove prototypes for native_encode_expr and
548 native_interpret_expr.
549 (native_encode_expr): Make non-static.
550 (native_interpret_expr): Likewise.
551 * tree.h: Add prototypes for the above.
553 2007-04-19 Joseph Myers <joseph@codesourcery.com>
555 * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
556 *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
557 *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
558 spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
559 tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
560 Add length attributes.
562 2007-04-19 Janis Johnson <janis187@us.ibm.com>
564 * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
567 * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
568 __STDC_WANT_DEC_FP__.
570 2007-04-19 Joseph Myers <joseph@codesourcery.com>
572 * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
573 for long double compatibility.
574 * configure: Regenerate.
576 2007-04-19 Eric Botcazou <ebotcazou@libertysurf.fr>
578 PR rtl-optimization/29841
579 * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
581 * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
582 that may cause control flow transfer from being moved.
584 2007-04-18 Jan Hubicka <jh@suse.cz>
586 * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
589 2007-04-18 Eric Christopher <echristo@apple.com>
591 * config/rs6000/darwin.md (load_macho_picbase): Use link register
592 only. Update operands.
593 * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
594 * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
595 link register to pic register.
597 2007-04-18 Dirk Mueller <dmueller@suse.de>
600 * tree-vrp.c (search_for_addr_array): New.
601 (check_array_bounds): Suppress warning about
602 address taken of array refs if its not de-referenced.
604 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
606 * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
607 * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
609 * tree-vectorizer.h (NITERS_KNOWN_P): New.
610 * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
611 instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
613 * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
615 (vect_analyze_operations): Fix indenetation. Fix a comment. Fix a
617 (vect_analyze_scalar_cycles): Fix indentation.
618 (vect_enhance_data_refs_alignment): Fix check in case of peeling.
619 (vect_mark_relevant): Include phis in relevance analysis.
621 * tree-vect-transform.c (vect_transform_loop): Add an assert.
623 2007-04-18 Anatoly Sokolov <aesok@post.ru>
625 * config/avr/avr.c (ptrreg_to_str): Replace error() with
626 output_operand_lossage().
628 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
630 * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
631 the unused code for reduction without adjust-in-epilog to simplify the
634 2007-04-18 Wolfgang Gellerich <gellerich@de.ibm.com>
636 * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
637 (S390_TDC_NEGATIVE_ZERO): New constant.
638 (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
639 (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
640 (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
641 (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
642 (S390_TDC_POSITIVE_INFINITY): New constant.
643 (S390_TDC_NEGATIVE_INFINITY): New constant.
644 (S390_TDC_POSITIVE_QUIET_NAN): New constant.
645 (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
646 (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
647 (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
648 (S390_TDC_INFINITY): New constant.
649 * config/s390/s390.c (s390_canonicalize_comparison): Renamed
650 UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
651 optimization for UNSPEC_CCZ_TO_INT.
652 * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
653 ("*ccz_to_int"): New insn.
654 ("isinf<mode>2"): New insn.
655 (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
656 (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
657 (UNSPEC_CCZ_TO_INT): New constant.
659 2007-04-18 Richard Guenther <rguenther@suse.de>
661 PR tree-optimization/19431
662 PR tree-optimization/21463
663 * tree-pass.h (pass_phiprop): Declare.
664 * passes.c (init_optimization_passes): New phiprop pass.
665 * tree-ssa-forwprop.c (struct phiprop_d): New structure.
666 (phivn_valid_p): New helper function.
667 (phiprop_insert_phi): Likewise.
668 (propagate_with_phi): Likewise.
669 (tree_ssa_phiprop): New propagator propagating loads
670 through phi nodes if profitable.
672 2007-04-18 Dorit Nuzman <dorit@il.ibm.com>
674 * tree-vect-analyze.c (process_use): New function.
675 (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
676 Check phis in all bbs.
677 * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
680 2007-04-18 Bernd Schmidt <bernd.schmidt@analog.com>
682 * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
685 2007-04-17 Anatoly Sokolov <aesok@post.ru>
688 * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
691 2007-04-17 H.J. Lu <hongjiu.lu@intel.com>
693 * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
695 (sse_vmmulv4sf3): Likewise.
696 (sse2_vmaddv2df3): Likewise.
697 (sse2_vmmulv2df3): Likewise.
699 2007-04-17 Zdenek Dvorak <dvorakz@suse.cz>
701 PR rtl-optimization/31360
702 * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
703 (target_reg_cost): New.
704 (init_set_costs): Initialize target_reg_cost. Add comments
705 regarding the rationale of the costs.
706 (global_cost_for_size): Renamed to...
707 (estimate_reg_pressure_cost): ... and simplify. Decrease importance
708 of register pressure.
709 * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
710 estimate_reg_pressure_cost. Add number of ivs.
711 (determine_set_costs): Dump target_reg_cost.
712 * loop-invariant.c (gain_for_invariant): Use
713 estimate_reg_pressure_cost. Removed n_inv_uses argument.
714 (best_gain_for_invariant, find_invariants_to_move): Remove
716 * cfgloop.h (target_small_cost, target_pres_cost): Removed.
717 (target_reg_cost): Declare.
718 (global_cost_for_size): Declaration removed.
719 (estimate_reg_pressure_cost): Declare.
721 2007-04-17 Peter Bergner <bergner@vnet.ibm.com>
723 * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
724 regnos into even/odd register pairs.
725 * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
726 TDmode similar to the other floating point modes.
727 [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
728 * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
730 (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
731 nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
732 (movdd_hardfloat64): Use TARGET_MFPGPR.
734 2007-04-17 Bernd Schmidt <bernd.schmidt@analog.com>
736 * reload1.c (delete_output_reload): Don't count output in n_inherited.
739 2005-01-05 Richard Henderson <rth@redhat.com>
741 * reload1.c (do_input_reload): Restrict the optimization deleteing
742 a previous output reload to RELOAD_FOR_INPUT.
744 2007-04-17 Dorit Nuzman <dorit@il.ibm.com>
746 * tree-vectorizer.h (stmt_vec_info_type): Add enum value
748 (vectorizable_induction): New function declaration.
749 * tree-vect-transform.c (get_initial_def_for_induction): No need to
750 check if already vectorized. Find first place in BB where new stmts
751 can be inserted. Takes only one argument.
752 (vectorizable_induction): New function.
753 (vect_transform_stmt): Add case for induc_vec_info_type to call
754 vectorizable_induction.
755 (vect_transform_loop): Consider phis for vectorization.
756 * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
758 (analyze_operations): Call vectorizable_induction when analyzing phis.
760 (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
761 (vect_mark_relevant): Include phis in relevance analysis.
762 (vect_mark_stmts_to_be_vectorize): Likewise.
763 * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
765 2007-04-16 Lawrence Crowl <crowl@google.com>
767 * doc/invoke.texi (Debugging Options): Add documentation for the
768 -femit-struct-debug options -femit-struct-debug-baseonly,
769 -femit-struct-debug-reduced, and
770 -femit-struct-debug-detailed[=...].
772 * c-opts.c (c_common_handle_option): Add
773 OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
774 and OPT_femit_struct_debug_detailed_.
775 * c.opt: Add specifications for
776 -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
777 and -femit-struct-debug-detailed[=...].
778 * opts.c (set_struct_debug_option): Parse the
779 -femit-struct-debug-... options.
780 * opts.c (matches_main_base, main_input_basename,
781 main_input_baselength, base_of_path, matches_main_base): Add
782 variables and functions to compare header base name to compilation
784 * opts.c (should_emit_struct_debug): Add to determine to emit a
785 structure based on the option.
786 (dump_struct_debug) Also disabled function to debug this
788 * opts.c (handle_options): Save the base name of the
791 * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
792 (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
793 This hook indicates if a type is generic. Set it by default
795 * langhooks.h (struct lang_hooks_for_types): Add a new hook
796 to determine if a struct type is generic or not.
797 * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
798 * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
799 * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
802 * flags.h (enum debug_info_usage): Add an enumeration to describe
803 a program's use of a structure type.
804 * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
805 to indicate the program's usage of the type. Filter structs based
806 on the -femit-struct-debug-... specification.
807 (gen_type_die): Split into two routines, gen_type_die and
808 gen_type_die_with_usage. gen_type_die is now a wrapper
809 that assumes direct usage.
810 (gen_type_die_with_usage): Replace calls to gen_type_die
811 with gen_type_die_with_usage adding the program usage of
813 (dwarf2out_imported_module_or_decl): Suppress struct debug
814 information using should_emit_struct_debug when appropriate.
816 2007-04-16 Ian Lance Taylor <iant@google.com>
818 PR tree-optimization/31522
819 * tree-vrp.c (vr_phi_edge_counts): New static variable.
820 (vrp_initialize): Allocate vr_phi_edge_counts.
821 (vrp_visit_phi_node): Don't push to infinity if we saw a new
822 executable edge. Drop test for all constants.
823 (vrp_finalize): Free vrp_phi_edge_counts.
825 * doc/cpp.texi (Common Predefined Macros): Clarify description of
826 __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
828 * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
829 predecessors at head rather than tail.
831 2007-04-16 Matthias Klose <doko@debian.org>
833 * config/alpha/linux.h (CPP_SPEC): Define.
834 * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
836 2007-04-16 Aldy Hernandez <aldyh@redhat.com>
838 * function.h: Remove sequence_stack extern declaration.
840 2007-04-16 Kazu Hirata <kazu@codesourcery.com>
842 * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
844 (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
847 2007-04-16 Anatoly Sokolov <aesok@post.ru>
849 * config/avr/avr.c (avr_arch_types): Rearranging array.
850 (enum avr_arch): Add.
851 (avr_mcu_types): Use avr_arch enumeration constants instead of
853 * config/avr/avr.h (LINK_SPEC): Simplify.
855 2007-04-16 Kazu Hirata <kazu@codesourcery.com>
857 * config/m68k/m68k.c (m68k_libcall_value,
858 m68k_function_value): Use macros for register names more.
860 * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
862 (M68K_REGNAME): Use A6_REG.
863 * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
865 2007-04-16 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
868 * sched-int.h (struct deps): Split field 'pending_lists_length' into
869 'pending_read_list_length' and 'pending_write_list_length'. Update
871 * sched-deps.c (add_insn_mem_dependence): Change signature. Update
872 to handle two length counters instead of one. Update all uses.
873 (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
874 two length counters instead of one.
875 * sched-rgn.c (propagate_deps): Update to handle two length counters
878 2007-04-16 H.J. Lu <hongjiu.lu@intel.com>
881 * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
882 copy of source, pass it to ix86_expand_vector_set and return
885 2007-04-16 David Ung <davidu@mips.com>
886 Joseph Myers <joseph@codesourcery.com>
888 * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
889 PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
890 * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
891 Add 74K processor information.
892 * config/mips/mips.md: Include 74k.md.
893 (cpu): Add 74kc,74kf,74kx.
894 (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
895 * config/mips/74k.md: New.
896 * doc/invoke.texi (MIPS Options): Document 74K support.
898 2007-04-16 Dorit Nuzman <dorit@il.ibm.com>
900 * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
901 vectorizable_* functions.
902 * tree-vect-transform.c (vectorizable_call): Add check for
903 STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
904 (vectorizable_store): likewise.
905 (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
907 (vectorizable_operation, vectorizable_type_demotion): Likewise.
908 (vectorizable_type_promotion, vectorizable_load): Likewise.
909 (vectorizable_live_operation, vectorizable_condition): Likewise.
910 (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
912 (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
914 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
916 * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
917 register numbers more.
918 * config/m68k/m68k.h (STACK_POINTER_REGNUM,
919 FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
920 M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
921 FUNCTION_VALUE_REGNO_P): Likewise.
922 * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
923 STATIC_CHAIN_REGNUM): Likewise.
924 * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
925 * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
926 STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
927 * config/m68k/m68k.md (FP_REG): New.
929 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
931 * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
934 2007-04-15 Kazu Hirata <kazu@codesourcery.com>
936 * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
937 tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
940 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
942 * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
945 2007-04-14 Andrew Pinski <andrew_pinski@playstation.sony.com>
948 * c-decl.c (finish_decl): Grab the type of the decl after the call
951 2007-04-14 Steven Bosscher <steven@gcc.gnu.org>
953 * common.opt (fforward-propagate): Fix "Optimization" annotation.
955 2007-04-14 Jakub Jelinek <jakub@redhat.com>
958 * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
959 post dominators and cleanup cfg before returning.
961 2007-04-14 Bernd Schmidt <bernd.schmidt@analog.com>
963 * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
964 * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
966 2007-04-14 Kazu Hirata <kazu@codesourcery.com>
968 * config.gcc: Recognize fido.
969 * config/m68k/m68k-devices.def (fidoa): New.
970 * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
972 (FL_FIDOA, TARGET_FIDOA): New.
973 * config/m68k/m68k.opt (mfidoa): New.
975 2007-04-13 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
978 * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
979 when a personality function is used.
981 2007-04-13 Bob Wilson <bob.wilson@acm.org>
983 * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
985 2007-04-13 Mike Stump <mrs@apple.com>
987 * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
989 * config/darwin.opt (fapple-kext): Make C++ only.
990 * config/darwin.c (darwin_override_options): Remove code to ensure
991 -fapple-kext is given for C++ only.
993 2007-04-13 Richard Sandiford <richard@codesourcery.com>
995 * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
996 * config/mips/mips.c (override_options): Call
997 SUBTARGET_OVERRIDE_OPTIONS, if defined.
999 2007-04-13 H.J. Lu <hongjiu.lu@intel.com>
1001 * config/i386/i386.opt (msvr3-shlib): Removed.
1003 * doc/invoke.texi: Remove -msvr3-shlib.
1005 2007-04-13 H.J. Lu <hongjiu.lu@intel.com>
1007 * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
1008 with "popcnt" instruction.
1010 2007-04-13 Richard Guenther <rguenther@suse.de>
1012 PR tree-optimization/21258
1013 * tree-vrp.c (compare_case_labels): New helper.
1014 (find_switch_asserts): New function.
1015 (find_assert_locations): Call it for SWITCH_EXPRs.
1017 2007-04-13 Uros Bizjak <ubizjak@gmail.com>
1019 * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
1020 * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
1021 check is now implied in X87_FLOAT_MODE_P.
1022 (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1023 (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1024 (fix_trunc<mode>_i386_fisttp): Ditto.
1025 (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1026 (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1027 (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1028 (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1029 (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1030 (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1031 (unnamed_splitters): Ditto.
1032 * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
1033 for X87_FLOAT_MODE_P mode. Override FIRST_FLOAT_REG with
1034 FIRST_SSE_REG for local functions when SSE math is enabled or
1035 for functions with sseregparm attribute.
1036 (standard_80387_constant_p): Return -1 if mode is not
1038 (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
1039 (ix86_expand_compare): Ditto.
1040 (ix86_expand_carry_flag_compare): Ditto.
1041 (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
1042 of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
1043 DECIMAL_FLOAT_MODE_P.
1044 (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
1045 of SCALAR_FLOAT_MODE_P.
1046 (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
1047 [MINUS]: ... here. Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
1048 checks before FLOAT_MODE_P.
1049 [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
1050 before FLOAT_MODE_P.
1055 [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
1057 2007-04-12 Paolo Bonzini <bonzini@gnu.org>
1058 Charles Wilson <libtool@cwilson.fastmail.fm>
1060 * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
1061 (libgcc.mvars): Don't depend on them.
1062 * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
1063 * exec-tool.in: New.
1065 2007-04-12 Brooks Moses <brooks.moses@codesourcery.com>
1067 * doc/invoke.text (--help): Document --help=common.
1069 2007-04-12 Thomas Neumann <tneumann@users.sourceforge.net>
1071 * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
1073 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1075 * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
1076 * genemit.c (main): Emit #include "integrate.h".
1077 * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
1078 (LOADGP_RTP): New mips_loadgp_style.
1079 * config/mips/mips.h: Include config/vxworks-dummy.h.
1080 (TARGET_RTP_PIC): New macro.
1081 (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
1082 (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
1083 (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
1085 * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define. Pass down
1086 -mvxworks-pic when using -mrtp and a PIC option.
1087 * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
1089 (mips_symbolic_constant_p, mips_symbolic_address_p)
1090 (mips_symbol_insns): Handle SYMBOL_HALF.
1091 (override_options): Warn about -G and -mrtp being used together.
1092 Initialize mips_lo_relocs[SYMBOL_HALF].
1093 (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
1094 (mips_emit_loadgp): Handle LOADGP_RTP.
1095 (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
1096 * config/mips/mips.md (loadgp_rtp): New insn and splitter.
1097 (tablejump): Handle function-relative case table entries if
1099 * config/mips/predicates.md (symbol_ref_operand): New predicate.
1101 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1103 * config/mips/mips.md (load_call<mode>): Allow any general register.
1105 (sibcall_value_internal, sibcall_value_multiple_internal)
1106 (call_value_internal, call_value_split, call_value_multiple_internal)
1107 (call_value_multiple_split): Remove constraints from operand 0.
1109 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1111 * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
1112 rather than loadgp_noshared.
1113 * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
1114 instead of gen_loadgp_noshared. Use gen_loadgp_newabi instead of
1116 * config/mips/mips.md (loadgp): Rename to...
1117 (loadgp_newabi): ...this.
1118 (loadgp_noshared): Rename to...
1119 (loadgp_absolute): ...this.
1121 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1123 * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
1124 false for locally-binding symbols.
1125 (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
1127 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1129 * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
1130 (SYMBOL_GOT_PAGE_OFST): ...this.
1131 (SYMBOL_GOT_GLOBAL): Rename to...
1132 (SYMBOL_GOT_DISP): ...this.
1133 (SYMBOL_GOTOFF_GLOBAL): Rename to...
1134 (SYMBOL_GOTOFF_DISP): ...this. Update comments accordingly.
1135 * config/mips/mips.c (mips_global_symbol_p): New function.
1136 (mips_symbol_binds_local_p): Likewise.
1137 (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
1138 and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST. Use mips_global_symbol_p
1139 and mips_symbol_binds_local_p.
1140 (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
1141 (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
1142 SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
1144 (mips_ok_for_lazy_binding_p): New function.
1145 (mips_load_call_address, mips_expand_call): Use it.
1146 (mips_dangerous_for_la25_p): Likewise.
1147 * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
1148 (*got_disp<mode>): Use got_disp_operand instead of
1149 global_got_operand. Use SYMBOL_GOTOFF_DISP instead of
1150 SYMBOL_GOTOFF_GLOBAL.
1151 (*got_page<mode>): Use got_page_ofst_operand instead of
1153 * config/mips/predicates.md (const_call_insn_operand): Use
1154 SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
1155 (global_got_operand): Rename to...
1156 (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
1158 (local_got_operand): Rename to...
1159 (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
1160 of SYMBOL_GOT_LOCAL.
1162 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1164 * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
1165 TARGET_CALL_CLOBBERED_GP.
1166 (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1167 (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
1168 (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
1169 (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
1170 of TARGET_ABICALLS && !TARGET_NEWABI.
1171 (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1172 * config/mips/mips.c (mips_load_call_address): Check
1173 TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1174 (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1175 Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
1176 (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
1177 TARGET_ABICALLS && TARGET_NEWABI.
1178 (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
1180 (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
1181 (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
1182 TARGET_ABICALLS && TARGET_NEWABI.
1183 (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
1184 TARGET_ABICALLS. Check TARGET_CALL_SAVED_GP instead of
1185 TARGET_NEWABI. Use TARGET_USE_PIC_FN_ADDR_REG to decide
1186 whether indirect calls must use $25.
1187 (mips_extra_live_on_entry): Check TARGET_GOT instead of
1189 * config/mips/mips.md (jal_macro): Check flag_pic and
1190 TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
1191 (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
1192 instead of TARGET_ABICALLS.
1193 (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
1194 TARGET_ABICALLS && TARGET_OLDABI.
1195 (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
1196 (sibcall): In the comment above the define_insn, mention
1197 TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
1198 * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
1199 instead of TARGET_ABICALLS.
1201 2007-04-12 Bernd Schmidt <bernd.schmidt@analog.com>
1203 * doc/md.texi (Blackfin family constraints): Document PA and PB.
1204 * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
1205 (MACFLAGS_MATCH_P): New macro.
1206 * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
1207 (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
1208 * config/bfin/bfin.md (MACFLAG_IS_M): New constant. Renumber some of
1209 the other MACFLAG constants.
1210 (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
1211 (flag_machi): Tighten constraints. Renumber some of the operands.
1212 (flag_machi_acconly): Tighten constraints. Correct operand numbers in
1214 (flag_machi_parts_acconly): New pattern.
1215 (flag_macinithi): Tighten constraints. Allow any accumulator to be
1217 (flag_macinit1hi): Tighten constraints.
1218 (flag_mul_macv2hi_parts_acconly): New pattern.
1220 * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
1221 Use a more efficient implementation.
1222 * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
1223 inline sequences when not optimizing for size.
1225 * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
1226 movhi_high2low): Delete, merge functionality into...
1227 (packv2hi): ... this pattern.
1229 2007-02-11 Jie Zhang <jie.zhang@analog.com>
1230 * config/bfin/bfin.opt (msim): New option.
1231 (mcpu=): New option.
1232 * config/bfin/bfin-protos.h (enum bfin_cpu): New.
1233 (bfin_cpu_t): Typedef of enum bfin_cpu.
1234 (bfin_cpu_type): New declaration.
1235 * config/bfin/elf.h (STARTFILE_SPEC): Add support for
1236 -msim and -mcpu= options.
1237 (LIB_SPEC): Likewise.
1238 * config/bfin/bfin.c (bfin_cpu_type): Define.
1239 (bfin_handle_option): Handle -mcpu= option.
1240 * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
1241 (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
1242 __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
1244 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1246 * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
1247 (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
1248 (powerpc-wrs-vxworksae): Use ${tm_file}.
1249 (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
1250 after elfos.h. Remove i386/sysv4.h and add i386/vx-common.h.
1251 * config/i386/vx-common.h: New file.
1253 2007-04-12 Richard Sandiford <richard@codesourcery.com>
1255 * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
1258 2007-04-12 Andreas Krebbel <krebbel1@de.ibm.com>
1260 * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
1263 2007-04-12 Douglas Gregor <doug.gregor@gmail.com>
1267 * c-common.c (c_build_qualified_type): Set canonical type
1270 2007-04-12 Richard Guenther <rguenther@suse.de>
1272 * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
1273 lower bound and element size if lower bound is not zero
1274 or either of the ARRAY_REF operands is set.
1276 2007-04-12 Richard Guenther <rguenther@suse.de>
1278 PR tree-optimization/24689
1279 PR tree-optimization/31307
1280 * fold-const.c (operand_equal_p): Compare INTEGER_CST array
1282 * gimplify.c (canonicalize_addr_expr): To be consistent with
1283 gimplify_compound_lval only set operands two and three of
1284 ARRAY_REFs if they are not gimple_min_invariant. This makes
1285 it never at this place.
1286 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
1288 2007-04-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1290 * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
1291 null before emitting a .nsubspa directive.
1293 2007-04-11 Diego Novillo <dnovillo@redhat.com>
1295 * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
1296 need_to_partition_p if there are no memory statements in the
1299 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
1301 * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
1302 (gcd_of_steps_may_divide_p): New function.
1303 (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
1305 2007-04-11 Bernd Schmidt <bernd.schmidt@analog.com>
1307 * reload.c (find_reloads_toplev, find_reloads_address,
1308 find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
1309 not a pointer equality test, to decide if we need to call
1310 push_reg_equiv_alt_mem.
1312 2007-04-11 Sebastian Pop <sebastian.pop@inria.fr>
1314 * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
1315 insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
1316 (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
1318 2007-04-11 Zdenek Dvorak <dvorakz@suse.cz>
1320 * tree-data-ref.c (add_multivariate_self_dist): Force the distance
1321 vector to be positive.
1323 2007-04-11 Diego Novillo <dnovillo@redhat.com>
1327 * doc/invoke.texi: Document --params max-aliased-vops and
1329 * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
1330 debug_memory_partitions): Move to tree-flow.h
1331 * params.h (AVG_ALIASED_VOPS): Define.
1332 * tree-ssa-alias.c (struct mp_info_def): Remove. Update all
1334 (mp_info_t): Likewise.
1335 (get_mem_sym_stats_for): New.
1336 (set_memory_partition): Move from tree-flow-inline.h.
1337 (mark_non_addressable): Only clear the set of symbols for the
1338 partition if it exists.
1339 (dump_memory_partitions): Move from tree-ssa-operands.c
1340 (debug_memory_partitions): Likewise.
1341 (need_to_partition_p): New.
1342 (dump_mem_ref_stats): New.
1343 (debug_mem_ref_stats): New.
1344 (dump_mem_sym_stats): New.
1345 (debug_mem_sym_stats): New.
1346 (update_mem_sym_stats_from_stmt): New.
1347 (compare_mp_info_entries): New.
1348 (mp_info_cmp): Call it.
1349 (sort_mp_info): Change argument to a list of mem_sym_stats_t
1351 (get_mpt_for): Move from tree-ssa-operands.c.
1352 (find_partition_for): New.
1353 (create_partition_for): Remove.
1354 (estimate_vop_reduction): New.
1355 (update_reference_counts): New.
1356 (build_mp_info): New.
1357 (compute_memory_partitions): Refactor.
1358 Document new heuristic.
1359 Call build_mp_info, update_reference_counts,
1360 find_partition_for and estimate_vop_reduction.
1361 (compute_may_aliases): Populate virtual operands before
1362 calling debugging dumps.
1363 (delete_mem_sym_stats): New.
1364 (delete_mem_ref_stats): New.
1365 (init_mem_ref_stats): New.
1366 (init_alias_info): Call it.
1367 (maybe_create_global_var): Remove alias_info argument.
1368 Get number of call sites and number of pure/const call sites
1369 from gimple_mem_ref_stats().
1370 (dump_alias_info): Call dump_memory_partitions first.
1371 (dump_points_to_info_for): Show how many times a pointer has
1373 * opts.c (decode_options): For -O2 set --param
1374 max-aliased-vops to 500.
1375 For -O3 set --param max-aliased-vops to 1000 and --param
1376 avg-aliased-vops to 3.
1377 * fortran/options.c (gfc_init_options): Remove assignment to
1379 * tree-flow-inline.h (gimple_mem_ref_stats): New.
1380 * tree-dfa.c (dump_variable): Dump memory reference
1382 Dump NO_ALIAS* settings.
1383 (referenced_var_lookup): Tidy.
1384 (mem_sym_stats): New.
1385 * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
1386 and ORIG are different SSA names for a memory partition.
1387 * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
1388 * tree-flow.h (struct mem_sym_stats_d): Define.
1389 (mem_sym_stats_t): Define.
1390 (struct mem_ref_stats_d): Define.
1391 (struct gimple_df): Add field mem_ref_stats.
1392 (enum noalias_state): Define.
1393 (struct var_ann_d): Add bitfield noalias_state.
1394 (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
1395 debug_mem_ref_stats, debug_memory_partitions,
1396 debug_mem_sym_stats): Declare.
1397 * tree-ssa-structalias.c (update_alias_info): Update call
1398 sites, pure/const call sites and asm sites in structure
1399 returned by gimple_mem_ref_stats.
1400 Remove local variable IS_POTENTIAL_DEREF.
1401 Increase NUM_DEREFS if the memory expression is a potential
1403 Call update_mem_sym_stats_from_stmt.
1404 If the memory references memory, call
1405 update_mem_sym_stats_from_stmt for all the direct memory
1406 symbol references found.
1407 (intra_create_variable_infos): Set noalias_state field for
1408 pointer arguments according to the value of
1409 flag_argument_noalias.
1410 * tree-ssa-structalias.h (struct alias_info): Remove fields
1411 num_calls_found and num_pure_const_calls_found.
1412 (update_mem_sym_stats_from_stmt): Declare.
1413 * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
1414 Set default value to 100.
1415 (PARAM_AVG_ALIASED_VOPS): Define.
1417 2007-04-11 Richard Guenther <rguenther@suse.de>
1420 * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
1421 a * -b + c as c - a * b if we honor sign dependent rounding.
1423 2007-04-11 Bernd Schmidt <bernd.schmidt@analog.com>
1425 * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
1427 * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
1428 bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
1430 (initialize_trampoline): Don't use old-style function definition.
1431 (bfin_secondary_reload): Mark IN_P argument as unused.
1433 2007-04-10 Sebastian Pop <sebastian.pop@inria.fr>
1435 PR tree-optimization/31343
1436 * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
1437 (build_polynomial_chrec): Return a scalar when the evolution is zero.
1438 * testsuite/gcc.dg/vect/pr31343.c: New.
1440 2007-04-10 Eric Christopher <echristo@apple.com>
1442 * config/i386/i386.h (X87_FLOAT_MODE_P): New.
1443 * config/i386/i386.md (*cmpfp0): Use.
1444 (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1445 (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1446 (fix_trunc<mode>_i386_fisttp): Ditto.
1447 (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1448 (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1449 (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1450 (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1451 (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1452 (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1453 (unnamed_splitters): Ditto.
1454 * config/i386/i386.c (output_fix_trunc): Assert that
1455 we're not being passed a TFmode operand.
1457 2007-04-10 Zdenek Dvorak <dvorakz@suse.cz>
1459 PR tree-optimization/31526
1460 * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
1461 n_basic_blocks to find newly added blocks.
1463 2007-04-10 Uros Bizjak <ubizjak@gmail.com>
1465 * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
1467 (fix_trunc<mode>si_sse): Ditto.
1468 (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
1469 (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
1470 (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
1471 (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
1472 (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
1473 expander using SSEMODEF mode macro.
1474 (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
1475 expander using SSEMODEF mode macro.
1476 (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
1477 *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
1478 (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
1479 *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
1480 (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
1481 *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
1482 (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
1483 Macroize insn using X87MODEF mode macro.
1485 2007-04-09 H.J. Lu <hongjiu.lu@intel.com>
1487 * config/i386/sse.md (sse2_pinsrw): Removed.
1488 (sse2_pextrw): Renamed to ...
1489 (*sse2_pextrw): This.
1491 2007-04-09 Jan Hubicka <jh@suse.cz>
1494 * config/i386/sse.md
1495 (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
1496 (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
1497 (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
1498 (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
1500 2007-04-09 Jan Hubicka <jh@suse.cz>
1502 * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
1503 multiple fields of union.
1505 2007-04-09 Zdenek Dvorak <dvorakz@suse.cz>
1507 * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
1508 (create_preheaders): Check that loops are available.
1509 (fix_loop_structure): Clean up, improve comments.
1510 * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
1511 Check that loops are available. Set LOOP_CLOSED_SSA to the loops
1513 * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
1514 * predict.c (tree_estimate_probability): Do not call
1515 calculate_dominance_info. Call create_preheaders.
1516 * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
1517 rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
1519 * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
1520 * cfgloop.h (LOOP_CLOSED_SSA): New constant.
1521 * tree-cfg.c (tree_split_edge): Make an assert more precise.
1522 * tree-ssa-threadedge.c (thread_across_edge): Comment the function
1525 2007-04-08 Jan Hubicka <jh@suse.cz>
1527 * tree.h (maybe_fold_offset_to_component_ref): Declare.
1528 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
1529 * fold-const.c (fold_unary): Use it.
1531 2007-04-08 Andrew Pinski <andrew_pinski@playstation.sony.com>
1533 * varasm.c (assemble_variable): Remove call to
1534 lang_hooks.decls.prepare_assemble_variable.
1535 * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
1536 (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
1537 * langhooks.h (lang_hooks_for_decls): Remove
1538 prepare_assemble_variable.
1540 2007-04-08 Mike Stump <mrs@apple.com>
1542 * config/i386/i386.c: Use inc/dec on Core2.
1544 2007-04-08 Steven Bosscher <steven@gcc.gnu.org>
1546 * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
1547 lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1548 lhd_tree_inlining_end_inlining): Remove.
1549 * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
1550 add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
1552 * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
1553 lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1554 lhd_tree_inlining_end_inlining): Remove prototypes.
1555 (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
1556 LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
1557 LANG_HOOKS_TREE_INLINING_START_INLINING,
1558 LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
1560 * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
1563 2007-04-08 Anatoly Sokolov <aesok@post.ru>
1566 * config/avr/predicates.md (io_address_operand): Delete predicate.
1567 (low_io_address_operand): Don't use 'mode' argument.
1568 (higth_io_address_operand): Rename ...
1569 (high_io_address_operand): ... to this. Don't use 'mode' argument.
1570 * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
1573 2007-04-07 Daniel Berlin <dberlin@dberlin.org>
1575 Revert change removing staticp.
1577 2007-04-07 Anatoly Sokolov <aesok@post.ru>
1580 * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
1583 2007-04-07 Bruce Korb <bkorb@gnu.org>
1585 * c.opt: Add -Wformat-contains-nul.
1586 * c-format.c (set_Wformat): Set warn_format_contains_nul to the
1588 (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
1589 the NUL byte warning.
1591 2007-04-07 H.J. Lu <hongjiu.lu@intel.com>
1593 * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
1595 2007-04-06 Daniel Berlin <dberlin@dberlin.org>
1597 * tree.c (staticp): No longer use staticp langhook.
1598 * langhooks.c (lhd_staticp): Removed.
1599 * langhooks.h (struct lang_hooks): Remove staticp.
1600 * c-common.c (c_staticp): Remove.
1601 * c-common.h (c_staticp): Ditto.
1602 * langhooks-defs.h (lhd_staticp): Ditto.
1603 (LHD_HOOKS_STATICP): Ditto
1604 * tree.h (gcc_assert_lowered): New macro.
1606 2007-04-06 Zdenek Dvorak <dvorakz@suse.cz>
1608 * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
1609 argument "reliable".
1610 (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
1611 Add argument "reliable". Propagate it through calls.
1612 (infer_loop_bounds_from_undefined): Derive number of iterations
1613 estimates from references in blocks that do not dominate loop latch.
1614 (gcov_type_to_double_int): New function.
1615 (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
1616 and expected_loop_iterations_unbounded.
1617 * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
1618 (expected_loop_iterations): Use expected_loop_iterations_unbounded.
1619 * tree-data-ref.c (estimated_loop_iterations): Export.
1620 (get_references_in_stmt): Fix -- do not return addresses of local
1622 * cfgloop.h (expected_loop_iterations_unbounded,
1623 estimated_loop_iterations): Declare.
1625 2007-04-06 Andreas Tobler <a.tobler@schweiz.org>
1627 * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
1629 2007-04-06 Uros Bizjak <ubizjak@gmail.com>
1631 * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
1632 and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
1633 (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
1634 Use output_387_reg_move().
1635 (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
1636 expander using X87MODEF12 mode macro.
1637 (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
1638 choosing register preferences. Use output_387_reg_move().
1639 (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
1640 instead of "x". Use output_387_reg_move().
1641 (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
1642 *truncxfdf2_i387_noop. Macroize insn using X87MODEF12 mode macro.
1643 (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
1644 *truncxfdf2_i387. Macroize insn using X87MODEF12 mode macro.
1645 Use output_387_reg_move().
1646 (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
1648 (*truncxf?f_i387 splitter): Ditto.
1650 2007-04-06 Daniel Berlin <dberlin@dberlin.org>
1652 * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
1653 LANG_HOOKS_SAFE_FROM_P.
1654 * expr.c (safe_from_p): Remove langhook call.
1655 * langhooks.h (lang_hooks): Remove safe_from_p.
1656 (lhd_safe_from_p): Remove prototype.
1657 * langhooks.c (lhd_safe_from_p): Remove.
1659 2007-04-06 Jan Hubicka <jh@suse.cz>
1661 * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
1664 2007-04-06 Uros Bizjak <ubizjak@gmail.com>
1666 * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
1667 * config/i386/i386.md (*movsf_1, *movdf_nointeger,
1668 *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
1669 *movxf_integer): Use output_387_reg_move() for x87 reg->mem
1671 (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
1672 *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
1674 2007-04-05 Richard Henderson <rth@redhat.com>
1676 * config/alpha/alpha.c (print_operand) [+]: Remove.
1677 (alpha_end_function): Print nop if call at end of function.
1678 * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
1679 * config/alpha/alpha.md (UNSPEC_LDGP1): New.
1680 (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
1681 (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
1682 (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
1683 the call pattern. Update peepholes to match.
1685 2007-04-05 Janis Johnson <janis187@us.ibm.com>
1687 * doc/extend.texi (Other Builtins): Add decimal float variants
1689 * builtins.def: Ditto.
1690 * builtins.c (expand_builtin): Ditto.
1692 2007-04-05 Uros Bizjak <ubizjak@gmail.com>
1693 H.J. Lu <hongjiu.lu@intel.com>
1696 * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
1697 of V8HImode when calling ix86_binary_operator_ok.
1698 (sse2_pmaddwd): Call ix86_binary_operator_ok.
1699 (sdot_prodv8hi): Operands 1 and 2 must be register.
1701 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
1703 * tree-sra.c (try_instantiate_multiple_fields): Needlessly
1704 initialize align to silence bogus warning.
1706 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
1709 * tree-sra.c (struct sra_elt): Add in_bitfld_block. Remove
1711 (struct sra_walk_fns): Remove use_all parameter from use.
1712 (sra_hash_tree): Handle BIT_FIELD_REFs.
1713 (sra_elt_hash): Don't hash bitfld blocks.
1714 (sra_elt_eq): Skip them in parent compares as well. Handle
1716 (sra_walk_expr): Don't maintain or pass down use_all_p.
1717 (scan_use): Remove use_all parameter.
1718 (scalarize_use): Likewise. Re-expand assignment to
1719 BIT_FIELD_REF of gimple_reg. De-scalarize before input or
1720 output, and re-scalarize after output. Don't mark anything
1722 (scalarize_ldst): Adjust.
1723 (scalarize_walk_gimple_modify_statement): Likewise.
1724 (build_element_name_1): Handle BIT_FIELD_REFs.
1725 (instantiate_element): Don't warn for any element whose parent
1727 (instantiate_missing_elements_1): Return the sra_elt.
1728 (canon_type_for_field): New.
1729 (try_instantiate_multiple_fields): New.
1730 (instantiate_missing_elemnts): Use them.
1731 (mark_no_warning): Removed.
1732 (generate_one_element_ref): Handle BIT_FIELD_REFs.
1733 (REPLDUP, sra_build_elt_assignment): New.
1734 (generate_copy_inout): Use them.
1735 (generate_element_copy): Likewise. Handle bitfld differences.
1736 (generate_element_zero): Don't recurse for blocks. Use
1737 sra_build_elt_assignment.
1738 (generate_one_element_int): Take elt instead of var. Use
1739 sra_build_elt_assignment.
1740 (generate_element_init_1): Adjust.
1741 (scalarize_use, scalarize_copy): Use REPLDUP.
1742 (scalarize_ldst): Move assert before dereference.
1743 (dump_sra_elt_name): Handle BIT_FIELD_REFs.
1745 2007-04-05 Steven Bosscher <steven@gcc.gnu.org>
1747 * regmove.c: Fix unused variable warnings due to previous commit.
1749 2007-04-05 Steven Bosscher <steven@gcc.gnu.org>
1751 * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
1752 (regmove_bb_head): Remove.
1753 (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
1754 (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
1755 problems with fixup_match_1.
1756 Don't initialize/free regmove_bb_head.
1758 (reg_is_remote_constant_p): If an insn is in the same basic block
1759 but not before INSN, consider it remote, too.
1761 2007-04-05 Anatoly Sokolov <aesok@post.ru>
1764 * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
1765 DECL_ASSEMBLER_NAME, not the DECL_NAME.
1767 2007-04-05 H.J. Lu <hongjiu.lu@intel.com>
1769 * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
1770 (CONDITIONAL_REGISTER_USAGE): Likewise.
1772 2007-04-04 Richard Henderson <rth@redhat.com>
1774 * config/alpha/lib1funcs.asm: Remove unused file.
1776 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
1779 * opts.c (print_specific_help): Fix --help=<language>
1781 (common_handle_option): Support --help=common.
1783 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
1786 * gcc.c (main): Do not run the linker if
1787 print_subprocess_help indicates that it shouldn't be
1790 2007-04-04 Brooks Moses <brooks.moses@codesourcery.com>
1793 * doc/invoke.texi (--help=): Document <languages> value, fix
1794 formatting in tables of values.
1796 2007-04-04 Danny Smith <dannysmith.users.sourceforge.net>
1798 * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
1799 dllimport attribute of virtual methods.
1801 2007-04-04 Chen Liqin <liqin@sunnorth.com.cn>
1803 * config/score/crti.asm: Change _bss_start to __bss_start.
1804 * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
1805 (OUTGOING_REG_PARM_STACK_SPACE) update.
1806 * config/score/score.opt: add options to make backend support
1807 score5, score5u, score7 and score7d.
1808 * config/score/score.md: Likewise.
1809 * config/score/misc.md: Likewise.
1810 * config/score/mac.md: Likewise.
1811 * doc/invoke.texi: Likewise.
1812 * doc/md.texi: update constraints define.
1814 2007-04-03 Richard Henderson <rth@redhat.com>
1816 * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
1817 an appropriate type, use the mode instead.
1819 2007-04-03 Richard Sandiford <richard@codesourcery.com>
1821 * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
1822 Set the default --with-arch setting to mips2.
1823 * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
1824 (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
1825 (MULTILIB_OSDIRNAMES): Delete.
1826 (MULTILIB_DIRNAMES): Define.
1827 * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
1828 (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
1829 (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
1830 definitions, except for _WRS_R3K_EXC_SUPPORT. Call
1831 VXWORKS_OS_CPP_BUILTINS.
1832 (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
1833 (MIPS_DEBUGGING_INFO): Undefine.
1834 (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
1836 2007-04-03 Jakub Jelinek <jakub@redhat.com>
1839 * fold-const.c (native_encode_real): Encode real.c provided longs
1840 as a series of 32-bit native integers.
1841 (native_interpret_real): Interpret buffer as a series of 32-bit
1844 2007-04-03 Richard Guenther <rguenther@suse.de>
1846 * genpreds.c (write_insn_constraint_len): Write function
1847 optimized for CONSTRAINT_LEN implementation.
1848 (write_tm_preds_h): Output insn_constraint_len inline and
1849 use it for CONSTRAINT_LEN.
1850 (write_insn_preds_c): Don't output insn_constraint_len.
1851 * doc/md.texi (define_register_constraint): Document multi-letter
1852 constraints shall have the same length if they start with the same
1855 2007-04-03 Uros Bizjak <ubizjak@gmail.com>
1858 * config/i386/i386.md (isinf<mode>2): Expand only when
1859 TARGET_C99_FUNCTIONS is set.
1861 2007-04-03 Uros Bizjak <ubizjak@gmail.com>
1863 * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
1864 (x86_64-*-linux*): Ditto.
1865 * config/i386/i386.opt (mpc): New option.
1866 * config/i386/i386.c (overrride_options): Handle
1867 ix87_precision_string.
1868 * config/i386/crtprec.c: New file.
1869 * config/i386/t-crtpc: Ditto.
1870 * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
1872 * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
1873 * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
1874 crtprec32.o, crtprec64.o and crtprec80.o.
1876 * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
1878 (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
1880 2007-04-02 Eric Christopher <echristo@apple.com>
1882 * doc/invoke.texi (i386 and x86-64 Options): Document -m64
1883 limitations on darwin.
1885 2007-04-02 Anatoly Sokolov <aesok@post.ru>
1888 * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
1890 2007-04-02 Dave Korn <dave.korn@artimi.com>
1892 * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
1894 2007-04-02 Dave Korn <dave.korn@artimi.com>
1896 * libgcc2.h (exception_descriptor): Don't forward-declare.
1897 (__get_eh_table_language, __get_eh_table_version): Delete
1898 prototypes of long-dead functions.
1900 2007-04-01 Daniel Berlin <dberlin@dberlin.org>
1902 * ebitmap.h: New file
1903 * ebitmap.c: New file
1904 * Makefile.in (ebitmap.o): New target.
1906 2007-04-01 Jan Hubicka <jh@suse.cz>
1908 * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
1909 before very first instruction.
1911 2007-04-01 Jan Hubicka <jh@suse.cz>
1913 * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
1914 waring on 64bit hosts.
1915 * bitmap.h: Fix typo in bitmap_head_def.
1917 2007-04-01 Steven Bosscher <steven@gcc.gnu.org>
1919 PR rtl-optimization/31391
1920 * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
1921 into a DELETED_LABEL note, and the label is in an empty basic
1922 block, update BB_END as well as BB_HEAD.
1924 2007-04-01 Richard Henderson <rth@redhat.com>
1926 PR tree-optimization/31169
1927 * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
1928 to varying if the range is outside [0, prec-1].
1930 2007-04-01 Richard Sandiford <richard@codesourcery.com>
1933 * config/mips/mips.md (load_const_gp): New insn.
1934 * config/mips/mips.c (mips_split_symbol): Avoid using or creating
1935 the MIPS16 GP pseudo register if no_new_pseudos.
1936 (mips16_gp_pseudo_reg): Use gen_load_const_gp.
1938 2007-03-31 Andrew Pinski <andrew_pinski@playstation.sony.com>
1941 * config/rs6000/rs6000.md (call): Convert to LR hard reg for
1943 (call_value): Likewise.
1945 2007-03-31 Wolfgang Bangerth <bangerth@dealii.org>
1946 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1949 * doc/invoke.texi: (optimization options): Reword description
1950 of -ffast-math. Document its primary purpose.
1952 2007-03-31 Richard Guenther <rguenther@suse.de>
1954 * omp-low.c (splay-tree.h): Include.
1955 (lookup_decl): Replace splay-tree usage by pointer-map.
1956 (maybe_lookup_decl): Likewise.
1957 (new_omp_context): Likewise.
1958 (delete_omp_context): Likewise.
1959 * gimplify.c (splay-tree.h): Include.
1960 * tree-inline.c (insert_decl_map): Replace splay-tree usage by
1962 (remap_ssa_name): Likewise.
1963 (remap_decl): Likewise.
1964 (remap_type_1): Likewise.
1965 (remap_type): Likewise.
1966 (copy_body_r): Likewise.
1967 (expand_call_inline): Likewise.
1968 (clone_body): Likewise.
1969 (copy_tree_r): Likewise.
1970 (remap_save_expr): Likewise.
1971 (unsave_r): Likewise.
1972 (unsave_expr_now): Likewise.
1973 (tree_function_versioning): Likewise.
1974 (build_duplicate_type): Likewise.
1975 * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
1976 (struct copy_body_data): Replace splay-tree by pointer-map.
1977 * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
1978 not $(SPLAY_TREE_H).
1979 (gimplify.o): Depend on $(SPLAY_TREE_H).
1980 (omp-low.p): Likewise.
1982 2007-03-31 Anatoly Sokolov <aesok@post.ru>
1984 * config/avr/predicates.md (even_register_operand,
1985 odd_register_operand): New predicates.
1986 * config/avr/avr.md (movw peephole2): New.
1987 (movw_r peephole2): New.
1989 2007-03-30 Rafael Avila de Espindola <espindola@google.com>
1991 * tree.h (get_signed_or_unsigned_type): New.
1992 * fold-const.c (operand_equal_for_comparison_p): Use
1993 get_signed_or_unsigned_type instead of
1994 lang_hooks.types.signed_or_unsigned_type.
1995 * expr.c (store_expr): Ditto.
1996 * langhooks.c (get_signed_or_unsigned_type): New.
1997 (lhd_signed_or_unsigned_type): New.
1998 * langhooks.h (lhd_signed_or_unsigned_type): New.
1999 * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
2001 2007-03-30 Richard Henderson <rth@redhat.com>
2003 * tree-ssa-loop-ivopts.c: Include target.h.
2004 (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
2005 (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
2006 (force_expr_to_var_cost): Use produce_memory_decl_rtl.
2007 * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
2009 2007-03-30 Richard Henderson <rth@redhat.com>
2010 Kai Tietz <kai.tietz@onevision.com>
2012 * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
2014 (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
2015 (TARGET_64BIT_MS_ABI): New.
2016 (DBX_REGISTER_NUMBER): Handle 64-bit.
2017 (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
2018 (LONG_TYPE_SIZE): Force to 32.
2019 (REG_PARM_STACK_SPACE): New.
2020 (OUTGOING_REG_PARM_STACK_SPACE): New.
2021 (REGPARM_MAX, SSE_REGPARM_MAX): New.
2022 (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2023 (STACK_BOUNDARY): Use 128 for 64-bit.
2024 * config/i386/cygwin.asm: Use push/ret to preserve call stack.
2025 Add 64-bit implementation.
2026 * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
2028 * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
2029 (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
2030 Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
2031 for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
2032 (ix86_handle_cconv_attribute): Don't warn when ignoring if
2033 TARGET_64BIT_MS_ABI.
2034 (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
2035 (ix86_pass_by_reference): Likewise.
2036 (ix86_function_value_regno_p): Likewise.
2037 (ix86_build_builtin_va_list): Likewise.
2038 (ix86_va_start, ix86_gimplify_va_arg): Likewise.
2039 (function_arg_advance_ms_64): New.
2040 (function_arg_advance): Call it.
2041 (function_arg_ms_64): New.
2042 (function_arg): Call it.
2043 (function_value_ms_64): New.
2044 (ix86_function_value_1): Call it.
2045 (return_in_memory_ms_64): New.
2046 (ix86_return_in_memory): Call it.
2047 (setup_incoming_varargs_ms_64): New.
2048 (ix86_setup_incoming_varargs): Call it.
2049 (ix86_expand_prologue): Handle 64-bit stack probing.
2050 (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
2051 (output_pic_addr_const): Likewise.
2052 (x86_this_parameter): Likewise.
2053 (x86_output_mi_thunk): Likewise.
2054 (x86_function_profiler): Likewise.
2055 (TARGET_STRICT_ARGUMENT_NAMING): New.
2056 * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
2057 (TARGET_64BIT_MS_ABI): New.
2058 (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
2059 * config/i386/i386.md (allocate_stack_worker): Remove.
2060 (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
2061 describe the clobber of eax without a match_scratch.
2062 (allocate_stack_worker_postreload): Remove.
2063 (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
2064 describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
2065 (allocate_stack_worker_rex64_postreload): Remove.
2066 (allocate_stack): Handle 64-bit.
2067 * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
2068 * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
2069 (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
2070 (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
2071 (STANDARD_STARTFILE_PREFIX_1): Likewise.
2072 * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
2073 * config.build (x86_64-*-mingw*): New host.
2074 * config.host (x86_64-*-mingw*): New host.
2075 * config.gcc (x86_64-*-mingw*): New target.
2076 * gthr-win32.h (__gthread_key_create): Mark dtor unused.
2078 2007-03-30 Richard Henderson <rth@redhat.com>
2079 Kai Tietz <kai.tietz@onevision.com>
2081 * c-pragma.c (struct def_pragma_macro_value): New.
2082 (struct def_pragma_macro): New.
2083 (pushed_macro_table): New.
2084 (dpm_hash, dpm_eq): New.
2085 (handle_pragma_push_macro, handle_pragma_pop_macro): New.
2086 (init_pragma): Install them.
2087 * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
2089 2007-03-30 Anatoly Sokolov <aesok@post.ru>
2091 * config/avr/avr.c (avr_override_options): Clear
2092 'flag_delete_null_pointer_checks'.
2094 2007-03-30 Paolo Carlini <pcarlini@suse.de>
2097 * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
2098 RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
2099 RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
2100 RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
2101 RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
2102 RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
2103 RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
2105 * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.
2107 2007-03-30 Steven Bosscher <steven@gcc.gnu.org>
2109 * regmove.c: Move all of pass_stack_adjustments from here...
2110 * combine-stack-adj.c: ...to this new file.
2111 * Makefile.in: Add rules for combine-stack-adj.o.
2113 2007-03-30 Zdenek Dvorak <dvorakz@suse.cz>
2115 PR tree-optimization/31383
2116 * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
2117 to have the same length.
2119 2007-03-30 Jan Hubicka <jh@suse.cz>
2122 * dwarf2out.c (reference_to_unused): Ask cgraph for functions
2123 availablility; add more sanity checking; ask varpool only about
2126 2007-03-29 Richard Henderson <rth@redhat.com>
2128 * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
2129 to decide, but __SIZEOF_LONG_LONG__.
2131 2007-03-29 Richard Henderson <rth@redhat.com>
2133 * emutls.c (struct __emutls_array): New.
2134 (emutls_destroy): Use it instead of casting element 0 from void*.
2135 (__emutls_get_address): Likewise.
2137 2007-03-29 Richard Henderson <rth@redhat.com>
2139 * varasm.c (initializer_constant_valid_p): Don't deny
2140 DECL_DLLIMPORT_P on functions.
2142 * config/i386/cygming.h: Remove function declarations.
2143 (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
2144 (ASM_OUTPUT_LABELREF): Remove.
2145 (COMMON_ASM_OP): Remove.
2146 (ASM_OUTPUT_COMMON): Remove.
2147 (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
2148 (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
2149 (ASM_DECLARE_FUNCTION_NAME): Likewise.
2150 * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
2151 Rename from TARGET_ENCODE_SECTION_INFO.
2152 * config/i386/netware.h: Likewise.
2153 * config/i386/i386-protos.h: Update.
2154 * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
2155 of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
2156 (legitimate_constant_p): Reject dllimports.
2157 (dllimport_map, get_dllimport_decl): New.
2158 (legitimize_dllimport_symbol): New.
2159 (legitimize_address, ix86_expand_move): Use it.
2160 (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
2161 * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
2162 (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
2163 (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
2164 * config/i386/predicates.md (constant_call_address_operand): Only
2165 accept symbols; reject dllimport_p symbols.
2166 * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
2167 i386_pe_maybe_record_exported_symbol.
2168 * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
2169 (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
2170 (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
2171 trust the setting of DECL_DLLIMPORT_P.
2172 (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
2173 (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
2174 (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
2175 tidy the argument scanning loop.
2176 (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
2177 SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
2178 (i386_pe_strip_name_encoding): Remove.
2179 (i386_pe_binds_local_p): New.
2180 (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
2181 (i386_pe_output_labelref): Remove.
2182 (i386_pe_asm_output_aligned_decl_common): New.
2183 (i386_pe_maybe_record_exported_symbol): Rename from
2184 i386_pe_record_exported_symbol; check for dllexported symbols.
2186 2007-03-29 Zack Weinberg <zack@mrtock.ucsd.edu>
2188 * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
2189 add comment explaining why vsnprintf cannot be used.
2191 2007-03-29 Douglas Gregor <doug.gregor@gmail.com>
2193 PR tree-optimization/30666
2194 * tree.c (build_complex_type): When creating type names for DWARF2
2195 debug info, create TYPE_DECLs for TYPE_NAME instead of
2197 (build_common_tree_nodes_2): Use build_complex_type when building
2198 predefined complex types, to preserve canonical types.
2200 2007-03-29 Steven Bosscher <steven@gcc.gnu.org>
2202 * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
2203 (noce_get_alt_condition): Look at it to determine whether to
2204 reverse the condition or not.
2205 (noce_get_condition): Substitute the truth for lies.
2206 (noce_find_if_block): Set the then_else_reversed field.
2208 2007-03-29 Lars Poeschel <larsi@wh2.tu-dresden.de>
2210 * config/fr30/fr30.md (movdi): Do not accept immediates as the
2211 destination of this insn.
2212 * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
2213 than calling gen_rtx_SET directly. Use r0 to hold the value of
2214 'address + 4' rather than a stack based temporary which can be
2217 2007-03-29 Andreas Krebbel <krebbel1@de.ibm.com>
2219 * config/s390/s390.c (s390_secondary_input_reload_class,
2220 s390_secondary_output_reload_class): Functions removed.
2221 (s390_secondary_reload): New function.
2222 (TARGET_SECONDARY_RELOAD): Target macro defined.
2223 * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
2224 SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
2225 * config/s390/s390.md ("reload_outti", "reload_outdi",
2226 "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
2227 "reload_out<mode>"): Expanders removed.
2228 ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
2229 "reload<mode>_nonoffmem_out"): Expanders added.
2231 2007-03-29 Andreas Krebbel <krebbel1@de.ibm.com>
2233 * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
2234 SRC->DEST replacement failed anyway.
2236 2007-03-28 Mike Stump <mrs@apple.com>
2238 * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
2239 * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
2240 * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
2242 2007-03-28 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
2244 * config.gcc: Accept barcelona as a variant of amdfam10.
2245 * config/i386/i386.c (override_options): Likewise.
2246 * doc/invoke.texi: Likewise.
2248 2007-03-28 Eric Botcazou <ebotcazou@adacore.com>
2250 * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
2251 offsets for BIT_FIELD_REF and COMPONENT_REF.
2253 2007-03-28 Richard Guenther <rguenther@suse.de>
2255 * tree.c (is_global_var): Move ...
2256 * tree-flow-inline.h (is_global_var): ... here.
2257 * tree.h (is_global_var): Remove declaration.
2259 2007-03-28 Uros Bizjak <ubizjak@gmail.com>
2261 * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
2263 (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
2264 * config/i386/i386.c (ix86_tune_features): Initialize new
2266 * config/i386/predicates.md (promotable_binary_operator): Use
2267 TARGET_TUNE_PROMOTE_HIMODE_IMUL.
2269 2007-03-28 Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
2272 * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
2274 2007-03-28 Lars Poeschel <larsi@wh2.tu-dresden.de>
2276 * config/fr30/fr30.md (movsi_internal): Change destination
2277 constraint from m to V and add m to the end.
2279 2007-03-28 Christian Bruel <christian.bruel@st.com>
2281 * config/sh/sh.md (movsi_i): Fix type attribute.
2283 2007-03-28 Christian Bruel <christian.bruel@st.com>
2285 * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
2286 (movsf_ie): Likewise.
2288 2007-03-28 Christian Bruel <christian.bruel@st.com>
2290 * config.gcc: Add sh4-300 to multilib.
2291 * config/sh/t-mlib-sh4-300: New file.
2293 2007-03-28 Andreas Krebbel <krebbel1@de.ibm.com>
2295 * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
2296 ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
2298 ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
2299 fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
2300 ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
2301 "fixuns_trunctddi2"): Whitespace fix.
2303 2007-03-28 Kaz Kojima <kkojima@gcc.gnu.org>
2305 * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
2306 the definition of struct sh_args.
2307 (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
2308 CALL_COOKIE_INT_REG_GET): Likewise.
2310 2007-03-28 Steven Bosscher <steven@gcc.gnu.org>
2312 * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
2313 transformations are applied successfully.
2315 2007-03-27 Douglas Gregor <doug.gregor@gmail.com>
2317 * tree.c (tree_contains_struct): Permit 512 tree codes.
2318 * tree.h (tree_contains_struct): Ditto.
2319 (MAX_TREE_CODES): Ditto.
2320 (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
2321 SPARE member to store remaining padding bits.
2323 2007-03-27 Anatoly Sokolov <aesok@post.ru>
2325 * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
2328 2007-03-27 Janis Johnson <janis187@us.ibm.com>
2330 * configure.ac: Fix assembler test for powerpc*-linux decimal float.
2331 * configure: Regenerate.
2333 * configure: Regenerate using the correct version of autoconf.
2335 2007-03-27 Anatoly Sokolov <aesok@post.ru>
2337 * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
2339 * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
2340 regs to "__SP_L__" and "__SP_H__".
2342 2007-03-27 Richard Guenther <rguenther@suse.de>
2344 * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
2345 computations with it with a HOST_WIDE_INT variable.
2347 2007-03-26 Mike Stump <mrs@apple.com>
2349 * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
2350 objective-c-header, objective-c++-header and objc++-cpp-output
2352 * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
2354 2007-03-26 Richard Henderson <rth@redhat.com>
2357 * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
2358 IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
2359 IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
2360 IX86_BUILTIN_PSRLQ128): New.
2361 (ix86_init_mmx_sse_builtins): Add them.
2362 (ix86_expand_builtin): Expand them.
2363 * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
2364 operand 2 be TImode.
2365 * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
2366 _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
2367 _mm_srli_epi64): Mark __B const.
2368 (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
2369 (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
2370 _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
2371 new two-vector shift builtins.
2373 2007-03-26 Ian Lance Taylor <iant@google.com>
2375 PR tree-optimization/31345
2376 * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
2377 [+INF, +INF(OVF)] into VARYING.
2379 2007-03-26 Zack Weinberg <zackw@panix.com>
2381 * gengtype-parse.c: New file.
2382 * gengtype-yacc.y: Delete.
2383 * gengtype-lex.l: Don't include gengtype-yacc.h.
2384 Define YY_DECL and yyterminate appropriately for recursive
2385 descent parser. yylval is now a string out-parameter to yylex.
2386 (HWS, EOID): New shorthand.
2387 (IWORD): Add a couple more types.
2388 (yylex): Add a setup stanza. Remove the complex rules for
2389 detecting GTY'ed types and typedefs; replace with simple
2390 keyword detectors. Adjust everything for the changed
2391 definition of yylval. Ignore all pp-directives, not just #define.
2393 (parse_file): Rename yybegin; do not call yyparse.
2395 * gengtype.c (xasprintf): Export again.
2396 (this_file): New. Use everywhere __FILE__ was being used.
2397 (get_lang_bitmap): Special case types defined in gengtype.c.
2398 (do_typedef, new_structure): Suppress definition of certain types.
2399 (new_structure): Improve diagnostics of duplicate definitions.
2400 Make sure location_s is associated with input.h.
2401 (nreverse_pairs, define_location_structures): New functions.
2402 (main): Improve tagging of kludge types. Remove old kludges
2403 for input.h types; use define_location_structures.
2404 * gengtype.h: Update prototypes. Define token codes here.
2405 * Makefile.in: Remove all references to gengtype-yacc.
2406 Add rules for gengtype-parse.o. Adjust rules for gengtype-lex.o
2408 * bitmap.h (struct bitmap_head_def): Coalesce definitions,
2409 add GTY((skip)) to the field that's only conditionally there.
2410 * doc/install.texi: Document that Bison is no longer required
2411 unless building treelang.
2413 * gengtype.c: Don't include gtyp-gen.h.
2414 (srcdir): Declare here.
2415 (base_files, lang_dir_names): Allocate dynamically.
2416 (gt_files, num_gt_files, num_lang_dirs): New globals.
2417 (measure_input_list, read_input_line, read_input_list)
2418 (set_lang_bitmap): New functions.
2419 (get_base_file_bitmap): Rename get_lang_bitmap and drastically
2420 simplify, relying on read_input_list to set up the bitmaps.
2421 (main): Arguments are no longer unused. Check for correct number
2422 of command line arguments, set srcdir and srcdir_len, then call
2423 read_input_list, before doing anything else. No need to worry
2424 about duplicates in main loop.
2425 * configure.ac: Simplify the calculation of all_gtfiles.
2426 Put language tags in there. Don't set or substitute
2427 all_gtfiles_files_langs or all_gtfiles_files_frags.
2428 * Makefile.in: Revamp the way gengtype is invoked, now that it
2429 takes a file on its command line with a much simpler format.
2430 Remove or replace with gtyp-input.list all references to gtyp-gen.h.
2431 (GTFILES): Remove duplicates and C source files.
2432 * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
2433 * objcp/config-lang.in: Add c-pragma.h to gtfiles.
2434 * configure: Regenerate.
2436 * gengtype.h: Remove all type definitions to gengtype.c; leave
2437 only definitions of options_p, type_p, and pair_p as opaque
2438 pointers. Update prototypes.
2439 * gengtype.c: Many type definitions moved here from gengtype.h.
2440 Consolidate type definitions at the top of the file.
2441 (xvasprintf): Delete.
2442 (xasprintf): Make static.
2443 (create_nested_pointer_option): Add 'next' parameter.
2444 (create_field_all, create_field_at): New functions.
2445 (create_field): Now a thin wrapper around create_field_all.
2446 (create_optional_field): Rename create_optional_field_ and add
2447 line argument. Original name is now a macro which supplies
2449 (oprintf): Use vsnprintf directly.
2450 (close_output_files): Use fatal rather than perror/exit.
2451 (note_def_vec, note_def_vec_alloc): Use create_field_at.
2452 (main): Set progname. Don't use exit.
2453 * gengtype-yacc.y (struct_fields): Use create_field_at.
2454 (option, optionseqopt): Delete.
2455 (optionseq): Consolidate productions from option here so we
2456 can use the first argument to create_option.
2458 * gengtype-lex.l: Distinguish unions from structures in the
2459 token type. Don't call find_structure; return the tag as a string.
2460 * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
2461 Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
2462 Reorganize typedef_struct production accordingly.
2463 Use create_nested_ptr_option.
2464 * gengtype.c (create_nested_ptr_option): New function.
2465 * gengtype.h: Declare it.
2467 * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
2468 (string_type): Don't declare.
2469 (do_scalar_typedef): Declare.
2470 (create_scalar_type): Update prototype.
2471 * gengtype.c (string_type): Make static.
2472 (scalar_nonchar, scalar_char): New.
2473 (do_scalar_typedef): Export. Always use scalar_nonchar for the type.
2474 (resolve_typedef): Use scalar_nonchar for error recovery.
2475 (create_scalar_type): Remove name_len field. Return scalar_char
2476 or scalar_nonchar as appropriate.
2477 (adjust_field_type): Look at scalar_is_char boolean to decide whether
2479 (throughout): Use scalar_nonchar instead of calling create_scalar_type,
2481 (main): Initialize scalar_char and scalar_nonchar before calling
2483 * gengtype-lex.l: Adjust for removal of second argument to
2484 create_scalar_type. Use yylval.s instead of yylval.t when
2486 * gengtype-yacc.y: Type of SCALAR is string. Call
2487 create_scalar_type from type:SCALAR rule. Adjust for removal of
2488 second argument to create_scalar_type.
2490 * vec.h: Remove all #if IN_GENGTYPE blocks.
2491 Add comment saying that changes may require adjustments to gengtype.
2492 * gengtype.c: Don't include coretypes.h or tm.h.
2493 Add comment to inclusion of errors.h.
2494 (note_def_vec, note_def_vec_alloc): New functions.
2495 * gengtype.h: Declare new functions.
2496 * gengtype-lex.l: Don't include coretypes.h.
2497 (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
2499 (update_lineno): Remove unnecessary prototype.
2500 (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
2501 (VEC rule): Just return VEC_TOKEN.
2502 * gengtype-yacc.y (VEC_TOKEN): New token type.
2503 (type): Add a production for VEC(a,b).
2504 * Makefile.in: Update dependencies.
2506 * gengtype-lex.l: Remove rules for parsing pointer-to-function
2507 typedefs that use the old PARAMS macro.
2509 * gengtype-lex.l: Remove all rules and states relating to yacc
2511 * gengtype-yacc.y: Similarly.
2512 * gengtype.c (note_yacc_type): Delete function.
2513 * gengtype.h: Update prototypes.
2515 2007-03-26 Joseph Myers <joseph@codesourcery.com>
2517 * tree-pretty-print.c (dump_generic_node): Report precision of
2518 unnamed integer types.
2520 2007-03-26 Steven Bosscher <steven@gcc.gnu.org>
2522 * ifcvt.c (noce_try_store_flag_constants): Don't check
2523 no_new_pseudos here.
2524 (noce_try_store_flag_constants): Don't check no_new_pseudos.
2525 (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
2526 noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
2527 noce_try_sign_mask): Likewise.
2528 (if_convert): Check no_new_pseudos here.
2530 (cond_exec_process_if_block, noce_process_if_block, find_if_block):
2532 (struct noce_if_info): Add then_bb, else_bb, join_bb members.
2533 (noce_get_condition): Handle new then_else_reversed argument.
2534 (noce_init_if_info): Remove, fold into noce_find_if_block.
2535 (noce_process_if_block): Take a struct noce_if_info as the
2536 argument. Don't set up one based on ce_if_info. Update pointer
2537 references accordingly.
2538 (cond_move_process_if_block): Likewise.
2539 (process_if_block): Removed.
2540 (find_if_block): Removed. Move functionality two new functions,
2541 noce_find_if_block and cond_exec_find_if_block.
2542 (noce_find_if_block): New function. Be aware of IF-THEN-JOIN
2543 blocks and the symmetric IF-ELSE-JOIN case.
2544 (cond_exec_find_if_block): Also new function mostly based on old
2545 find_if_block and process_if_block.
2546 (find_if_header): Replace find_if_block call with separately
2547 guarded calls to noce_find_if_block and cond_exec_find_if_block.
2548 (find_cond_trap): Update noce_get_condition call.
2549 (dead_or_predicable): Likewise.
2551 2007-03-26 Jakub Jelinek <jakub@redhat.com>
2553 * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
2555 (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
2556 IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
2557 IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
2558 (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
2559 v4si_ftype_v4si_v2di. Remove __builtin_ia32_psllw128,
2560 __builtin_ia32_pslld128, __builtin_ia32_psllq128,
2561 __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
2562 __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
2563 __builtin_ia32_psrad128 builtins.
2565 2007-03-26 Uros Bizjak <ubizjak@gmail.com>
2567 * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
2568 * config/i386/constraints.md
2569 (define_constraint "I"): Use IN_RANGE macro.
2570 (define_constraint "J"): Ditto.
2571 (define_constraint "K"): Ditto.
2572 (define_constraint "M"): Ditto.
2573 (define_constraint "N"): Ditto.
2574 (define_constraint "O"): Ditto.
2575 * config/i386/predicates.md
2576 (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
2577 (define_predicate "const_0_to_3_operand"): Ditto.
2578 (define_predicate "const_0_to_7_operand"): Ditto.
2579 (define_predicate "const_0_to_15_operand"): Ditto.
2580 (define_predicate "const_0_to_63_operand"): Ditto.
2581 (define_predicate "const_0_to_255_operand"): Ditto.
2582 (define_predicate "const_1_to_31_operand"): Ditto.
2583 (define_predicate "const_2_to_3_operand"): Ditto.
2584 (define_predicate "const_4_to_7_operand"): Ditto.
2586 2007-03-25 David Edelsohn <edelsohn@gnu.org>
2588 * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
2589 in SImode for save_world.
2590 * config/rs6000/altivec.md (save_world, restore_world): Convert to
2593 2007-03-25 Dorit Nuzman <dorit@il.ibm.com>
2595 PR tree-optimization/30784
2596 * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
2599 2007-03-25 Revital Eres <eres@il.ibm.com>
2601 * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
2602 Fold movement_possibility function into it.
2604 2007-03-25 David Edelsohn <edelsohn@gnu.org>
2606 * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
2607 (load_macho_picbase_{si,di}): Convert to LR hard reg.
2608 (call_indirect_nonlocal_darwin64): Same.
2609 (call_nonlocal_darwin64): Same.
2610 (call_value_indirect_nonlocal_darwin64): Same.
2611 (call_value_nonlocal_darwin64): Same.
2612 (sibcall_nonlocal_darwin64): Same.
2613 (sibcall_value_nonlocal_darwin64): Same.
2614 (sibcall_symbolic_64): Same.
2615 (sibcall_value_symbolic_64): Same.
2616 * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
2618 (rs6000_emit_load_toc_table): Same.
2619 * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
2620 * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
2626 (load_toc_v4_pic_si): Same
2627 (load_toc_v4_PIC_1): Same.
2628 (load_toc_v4_PIC_1b): Same.
2629 (call_indirect_aix{32,64}): Same.
2630 (call_value_indirect_aix{32,64}): Same.
2633 (call_local{32,64}): Same.
2634 (call_value_local{32,64}): Same.
2635 (call_indirect_nonlocal_aix{32,64}): Same.
2636 (call_nonlocal_aix{32,64}): Same.
2637 (call_value_indirect_nonlocal_aix{32,64}): Same.
2638 (call_value_nonlocal_aix{32,64}): Same.
2639 (call_indirect_nonlocal_sysv<mode>): Same.
2640 (call_nonlocal_sysv<mode>): Same.
2641 (call_value_indirect_nonlocal_sysv<mode>): Same.
2642 (call_value_nonlocal_sysv<mode>): Same.
2644 (sibcall_local{32,64}): Same.
2645 (sibcall_value_local{32,64}): Same.
2646 (sibcall_nonlocal_aix{32,64}): Same.
2647 (sibcall_value_nonlocal_aix{32,64}): Same.
2648 (sibcall_nonlocal_sysv<mode>): Same.
2649 (sibcall_value): Same.
2650 (sibcall_value_nonlocal_sysv<mode>): Same.
2652 2007-03-24 Paul Brook <paul@codesourcery.com>
2654 * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
2655 * config/arm/linux-eabi.h: Remove legacy syscall hack.
2657 2007-03-24 Richard Henderson <rth@redhat.com>
2659 * config/ia64/constraints.md: New file.
2660 * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
2661 satisfies_constraint_?.
2662 * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
2663 ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
2664 ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
2665 ia64_output_mi_thunk): Likewise.
2666 (ia64_const_ok_for_letter_p): Remove.
2667 (ia64_const_double_ok_for_letter_p): Remove.
2668 (ia64_extra_constraint): Remove.
2669 * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
2670 (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
2671 CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
2672 CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
2673 CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
2674 EXTRA_MEMORY_CONSTRAINT): Remove.
2675 * config/ia64/ia64.md: Include constriants.md. Replace
2676 CONST_OK_FOR_? with satisfies_constraint_?.
2678 2007-03-23 Michael Meissner <michael.meissner@amd.com>
2679 H.J. Lu <hongjiu.lu@intel.com>
2681 * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
2683 (name macros): Use DPD_BID_NAME to convert names properly.
2685 * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
2686 decimal floating point format.
2687 (init_floating_libfuncs): Change decimal functions so that they
2688 have a "bid_" prefix if the decimal system uses the BID format,
2689 and "dpd_" prefix if the decimal system uses the DPD format.
2690 (init_interclass_conv_libfuncs): Ditto.
2691 (init_intraclass_conv_libfuncs): Ditto.
2693 * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
2694 using the BID format.
2696 * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
2697 whether we are using the BID decimal format.
2698 * configure: Regenerate.
2700 * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
2701 the compiler has decimal floating point enabled. Define
2702 __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
2705 * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
2706 using the BID format.
2708 * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
2709 whether we are using the BID decimal format.
2710 * configure: Regenerate.
2712 * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
2713 the compiler has decimal floating point enabled. Define
2714 __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
2717 * doc/install.texi (--enable-decimal-float): Document BID and DPD
2718 options, and that it is enabled for i386/x86_64 systems.
2720 * Makefile.in (enable_decimal_float): New.
2722 (DECNUMINC): Add -I$(DECNUMFMT).
2723 (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
2724 to $(DECNUMFMT) from $(DECNUM).
2726 * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
2727 Substitute enable_decimal_float.
2728 * configure: Regenerated.
2731 * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
2734 * configure.ac: Enable decimal float for x86_64-*-linux*.
2735 * configure: Regenerated.
2738 * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and
2739 decimal128ClearSign to flip and clear the sign bit in decimal128.
2740 (decimal_real_maxval): Set decimal128SetSign to set the sign
2743 2007-03-23 Ian Lance Taylor <iant@google.com>
2745 * fold-const.c (fold_binary): Correct warning for X - c >= X.
2747 2007-03-23 Ian Lance Taylor <iant@google.com>
2749 * tree-dump.c (dump_files): Correct comment.
2751 2007-03-23 Ian Lance Taylor <iant@google.com>
2753 * tree-vrp.c (operand_less_p): Ignore fold overflow warnings.
2755 2007-03-23 Steven Bosscher <steven@gcc.gnu.org>
2757 * tracer.c (tracer): Don't take FLAGS argument. Assert we are
2758 in cfglayout mode. Don't go into and out of cfglayout mode.
2759 Link the blocks in the order of the constructed traces.
2760 (rest_of_handle_tracer): Adjust call to tracer.
2761 * loop-init.c (rtl_loop_init): Assert we are in cfglayout mode.
2762 Don't go into cfglayout mode.
2763 (rtl_loop_done): Don't go out of cfglayout mode.
2764 * cfglayout.c (relink_block_chain): New function, split out from...
2765 (fixup_reorder_chain): ...here. Remove redundant checking.
2766 (cfg_layout_finalize): Don't clear the header, footer, and aux
2767 fields here, move the code to do so to relink_block_chain. Likewise
2768 for free_original_copy_tables.
2769 * rtl.h (tracer): Update prototype.
2770 * bb-reorder.c (reorder_basic_blocks): Don't take FLAGS argument.
2771 Assert we are in cfglayout mode. Don't go into and out of cfglayout
2772 mode. Use relink_block_chain to serialize the CFG according to the
2773 new basic block order. Move targetm.cannot_modify_jumps_p check from
2775 (gate_handle_reorder_blocks): ...to here.
2776 (duplicate_computed_gotos): Move targetm.cannot_modify_jumps_p check
2778 (gate_duplicate_computed_gotos): ...to here.
2779 (rest_of_handle_reorder_blocks): Don't see if anything has changed,
2780 something always changes when going into and out of cfglayout mode.
2781 Perform an expensive cfg cleanup while going into cfglayout mode.
2782 Always update liveness information on HAVE_conditional_execution
2783 targets. Reserialize the basic blocks and go out of cfglayout mode.
2784 * reg-stack.c: Include cfglayout.h.
2785 (rest_of_handle_stack_regs): Go into and out of cfglayout mode around
2786 the call to reorder_basic_blocks.
2787 * basic-block.h (reorder_basic_blocks): Update prototype.
2788 (relink_block_chain): New prototype.
2789 * passes.c (pass_outof_cfg_layout_mode): Move after cse2.
2791 2007-03-23 Joseph Myers <joseph@codesourcery.com>
2793 * config/mips/mips.md (type, hazard, *movdi_32bit,
2794 *movdi_gp32_fp64, *movdi_64bit, *movsi_internal, movcc,
2795 *movhi_internal, *movqi_internal, *movsf_hardfloat,
2796 *movdf_hardfloat_64bit, *movdf_hardfloat_32bit, *movdf_softfloat,
2797 movv2sf_hardfloat_64bit, load_df_low, load_df_high, store_df_high,
2798 mthc1, mfhc1): Change xfer instruction type to mfc and mtc, as
2800 (movcc): Change first xfer to multi.
2801 * config/mips/24k.md, config/mips/4100.md, config/mips/4300.md,
2802 config/mips/5000.md, config/mips/5400.md, config/mips/5500.md,
2803 config/mips/5k.md, config/mips/7000.md, config/mips/9000.md,
2804 config/mips/generic.md: Change reservations using "xfer" to use
2806 * config/mips/sb1.md (ir_sb1_mtxfer): Use "mtc" instead of
2807 using match_operand.
2808 (ir_sb1_mfxfer): Use "mfc" instead of using match_operand.
2809 * config/mips/sr71k.md (ir_sr70_xfer_from): Use "mfc" instead of
2811 (ir_sr70_xfer_to): Use "mtc" instead of examining mode.
2813 2007-03-22 Richard Henderson <rth@redhat.com>
2815 * config/i386/i386.c: Remove unnecessary function declarations.
2816 Move targetm definition, and all related macros, to the end of
2817 the file. Resort some functions to put definitions before uses.
2818 (ix86_attribute_table): Make static. Move to end of file.
2819 (ix86_gimplify_va_arg): Make static.
2821 2007-03-22 Richard Henderson <rth@redhat.com>
2823 * config/i386/i386.c (ix86_function_regparm): Early exit for 64-bit;
2824 don't increase local_regparm with force_align_arg_pointer check.
2825 (ix86_function_sseregparm): Assert 32-bit.
2826 (type_has_variadic_args_p): New.
2827 (ix86_return_pops_args): Early exit for 64-bit. Reindent; use
2828 type_has_variadic_args_p.
2829 (ix86_function_arg_regno_p): Use == 0 instead of ! test for eax.
2830 (init_cumulative_args): Remove TARGET_DEBUG_ARG. Remove zero_cum;
2831 use memset instead. Do maybe_vaarg check first; skip attribute
2832 tests if true; skip attribute tests for 64-bit.
2833 (construct_container): Remove TARGET_DEBUG_ARG.
2834 (function_arg_advance_32, function_arg_advance_64): Split out ...
2835 (function_arg_advance): ... from here.
2836 (function_arg_32, function_arg_64): Split out ...
2837 (function_arg): ... from here.
2838 (ix86_pass_by_reference): Tidy.
2839 (ix86_function_value_regno_p): Rearrange w/ switch on regno.
2840 (function_value_32): New, from parts of ix86_function_value
2841 and ix86_value_regno.
2842 (function_value_64): New, from parts of ix86_function_value
2843 and ix86_libcall_value.
2844 (ix86_function_value_1): New.
2845 (ix86_function_value, ix86_libcall_value): Use it.
2846 (return_in_memory_32, return_in_memory_64): Split out ...
2847 (ix86_return_in_memory): ... from here.
2848 (ix86_struct_value_rtx): Skip for 64-bit.
2849 (ix86_libcall_value, ix86_value_regno): Remove.
2850 (setup_incoming_varargs_64): Split out ...
2851 (ix86_setup_incoming_varargs): ... from here.
2852 (ix86_va_start): Remove TARGET_DEBUG_ARG.
2853 (legitimate_address_p, legitimize_address): Remove TARGET_DEBUG_ADDR.
2854 * config/i386/i386-protos.h (ix86_function_value): Remove.
2855 * config/i386/i386.opt (TARGET_DEBUG_ADDR, TARGET_DEBUG_ARG): Remove.
2857 2007-03-22 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2860 * c-lex.c (interpret_float): On overflow, emit pedantic warning if
2861 infinities not supported, otherwise emit warning if -Woverflow. On
2862 underflow, emit warning if -Woverflow.
2863 * real.c (real_from_string): Return -1 if underflow, +1 if overflow
2865 * real.h (real_from_string): Update declaration
2867 2007-03-22 Kai Tietz <kai.tietz@onevision.com>
2868 Richard Henderson <rth@redhat.com>
2870 * defaults.h (OUTGOING_REG_PARM_STACK_SPACE): Provide default.
2871 * calls.c (compute_argument_block_size, expand_call,
2872 emit_library_call_value_1): Don't ifdef OUTGOING_REG_PARM_STACK_SPACE.
2873 * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
2874 * function.c (STACK_DYNAMIC_OFFSET): Likewise.
2875 * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Update.
2876 * config/alpha/unicosmk.h, config/bfin/bfin.h, config/iq2000/iq2000.h,
2877 config/mips/mips.h, config/mn10300/mn10300.h, config/mt/mt.h,
2878 config/pa/pa.h, config/rs6000/rs6000.h, config/score/score.h,
2879 config/spu/spu.h, config/v850/v850.h (OUTGOING_REG_PARM_STACK_SPACE):
2882 2007-03-22 Joseph Myers <joseph@codesourcery.com>
2884 * c-incpath.c (add_sysroot_to_chain): New.
2885 (merge_include_chains): Add sysroot argument. Call
2886 add_sysroot_to_chain if sysrooted.
2887 (register_include_chains): Update call to merge_include_chains.
2888 * doc/cppopts.texi: Document use of '=' in include directory
2891 2007-03-22 Uros Bizjak <ubizjak@gmail.com>
2893 * config/i386/i386.md (cmp<mode>): Rename from cmpsf and cmpdf.
2894 Macroize expander using SSEMODEF mode macro. Use SSE_FLOAT_MODE_P.
2895 (*cmpfp_<mode>): Rename from *cmpfp_sf and *cmpfp_df. Macroize
2896 insn pattern using X87MODEF12 mode macro.
2898 2007-03-21 Seongbae Park <seongbae.park@gmail.com>
2900 * regmove.c (regmove_optimize): Use reg_mentioned_p
2901 instead of reg_overlap_mentioned_p for DST.
2903 2007-03-21 Mike Stump <mrs@apple.com>
2905 * c.opt: Fixup for Objective-C/C++.
2907 2007-03-21 Steve Ellcey <sje@cup.hp.com>
2909 * explow.c (convert_memory_address): Fold memory reference when
2910 POINTERS_EXTEND_UNSIGNED < 0
2912 2007-03-21 Richard Henderson <rth@redhat.com>
2915 * config/i386/emmintrin.h (__m128i, __m128d): Mark may_alias.
2916 * config/i386/mmintrin.h (__m64): Likewise.
2917 * config/i386/xmmintrin.h (__m128): Likewise.
2919 2007-03-21 Richard Sandiford <richard@codesourcery.com>
2921 * config/vxworks.h (VXWORKS_ADDITIONAL_CPP_SPEC): Remove -D options.
2922 (VXWORKS_OS_CPP_BUILTINS): Define.
2923 * config/i386/vxworks.h (VXWORKS_CPU_DEFINE): Fold into...
2924 (TARGET_OS_CPP_BUILTINS): ...here. Use VXWORKS_OS_CPP_BUILTINS.
2926 2007-03-21 Richard Sandiford <richard@codesourcery.com>
2928 * rtl.h (constant_pool_reference_p): Delete.
2929 (find_constant_src): Declare.
2930 * rtlanal.c (find_constant_src): New function.
2931 * simplify-rtx.c (constant_pool_reference_p): Delete.
2932 * config/i386/i386.md: Use find_constant_src instead of
2933 constant_pool_reference_p/avoid_constant_pool_reference pairs.
2935 2007-03-21 Richard Sandiford <richard@codesourcery.com>
2937 * doc/invoke.texi (-fpie, -fPIE): Document __pie__ and __PIE__.
2938 * c-cppbuiltin.c (c_cpp_builtins): Define them.
2940 2007-03-20 Mark Mitchell <mark@codesourcery.com>
2942 * config/arm/elf.h (TARGET_ASM_DESTRUCTOR): Define.
2943 * config/arm/arm.c (arm_elf_asm_cdtor): New function.
2944 (arm_elf_asm_constructor): Use it.
2945 (arm_elf_asm_destructor): New function.
2947 2007-03-20 Bernd Schmidt <bernd.schmidt@analog.com>
2949 * jump.c (mark_jump_label): Treat SEQUENCE specially.
2951 2007-03-20 Nathan Sidwell <nathan@codesourcery.com>
2953 * config/vxlib.c (tls_delete_hook): Use TCB for kernel tasks.
2955 2007-03-19 Andrew Haley <aph@redhat.com>
2957 PR tree-optimization/31264
2958 * tree-vrp.c (register_edge_assert_for_1): Don't look though
2961 2007-03-19 Paolo Bonzini <bonzini@gnu.org>
2963 PR rtl-optimization/30907
2964 * fwprop.c (forward_propagate_into): Never propagate inside a loop.
2965 (fwprop_init): Always call loop_optimizer_initialize.
2966 (fwprop_done): Always call loop_optimizer_finalize.
2967 (fwprop): We always have loop info now.
2968 (gate_fwprop_addr): Remove.
2969 (pass_fwprop_addr): Use gate_fwprop as gate.
2971 PR rtl-optimization/30841
2972 * df-problems.c (df_ru_local_compute, df_rd_local_compute,
2973 df_chain_alloc): Call df_reorganize_refs unconditionally.
2974 * df-scan.c (df_rescan_blocks, df_reorganize_refs): Change
2975 refs_organized to refs_organized_size.
2976 (df_ref_create_structure): Use refs_organized_size instead of
2977 bitmap_size if refs had been organized, and keep refs_organized_size
2979 * df.h (struct df_ref_info): Change refs_organized to
2980 refs_organized_size.
2981 (DF_DEFS_SIZE, DF_USES_SIZE): Use refs_organized_size instead of
2984 2007-03-19 Mark Mitchell <mark@codesourcery.com>
2986 * except.c (output_function_exception_table): Do not reference the
2987 EH personality routine for functions that do not require an
2990 2007-03-20 Jakub Jelinek <jakub@redhat.com>
2993 * c-typeck.c (convert_for_assignment): Call comptypes for
2994 RECORD_TYPE or UNION_TYPE.
2997 * reload1.c (reload): Do invalid ASM checking after
2998 cleanup_subreg_operands.
3000 2007-03-19 Jeff Law <law@redhat.com>
3002 * tree-cfg.c (find_taken_edge): Tighten conditions for
3003 optimizing computed gotos.
3005 2007-03-19 Michael Matz <matz@suse.de>
3007 * builtins.c (expand_builtin_sync_operation,
3008 expand_builtin_compare_and_swap,
3009 expand_builtin_lock_test_and_set): Care for extending CONST_INTs
3012 * config/i386/sync.md (sync_double_compare_and_swapdi_pic,
3013 sync_double_compare_and_swap_ccdi_pic): Use "SD" as constraint
3016 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3018 * doc/tm.texi: Add brackets around the return type of
3019 TARGET_SECONDARY_RELOAD.
3021 2007-03-19 Andrew Pinski <andrew_pinski@playstation.sony.com>
3022 Richard Guenther <rguenther@suse.de>
3024 PR tree-optimization/31254
3025 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
3026 Use handled_component_p () where appropriate. Continue
3027 propagating into the rhs if we propagated into an INDIRECT_REF
3030 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3032 * config/s390/s390.md (op_type attribute): RRR instruction type added.
3033 (FP, DFP, SD_SF, DD_DF, TD_TF): New mode macros.
3034 (xde, xdee): Mode attributes adjusted to support DFP modes.
3035 (RRer, f0, op1, Rf, bt, bfp, HALF_TMODE): New mode attributes added.
3036 ("cmp<mode>", "*cmp<mode>_css_0", "*cmp<mode>_ccs", TF move splitters,
3037 DF move splitters, "floatdi<mode>2", "add<mode>3", "*add<mode>3",
3038 "*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3", "*sub<mode>3",
3039 "*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3", "*mul<mode>3",
3040 "div<mode>3", "*div<mode>3", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
3041 "*negabs<mode>2_nocc", "copysign<mode>3"): Adjusted to support DFP
3043 ("*movtf_64", "*movtf_31", "*movdf_64dfp", "*movdf_64", "*movdf_31",
3044 "movsf"): Insn definitions removed.
3045 ("*mov<mode>_64", "*mov<mode>_31", "mov<mode>", "*mov<mode>_64dfp",
3046 "*mov<mode>_64", "*mov<mode>_31", "fix_trunc<DFP:mode>di2",
3047 "trunctddd2", "truncddsd2", "extendddtd2", "extendsddd2"): Insn
3049 ("fixuns_truncdddi2", "fixuns_trunctddi2", "mov<mode>",
3050 "reload_in<mode>", "reload_out<mode>"): Expander added.
3051 ("movtf", "movdf", "reload_outtf", "reload_outdf", "reload_intf"):
3054 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3056 * config/s390/s390.md: Only non-functional changes. Renamed
3057 FPR mode macro to BFP all over the file.
3059 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3061 * config/s390/s390.md (UNSPEC_COPYSIGN): New constant.
3062 (op_type attribute): RRF instruction type added.
3063 (fT0): New mode attribute.
3064 ("*movdi_64dfp", "*movdf_64dfp", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
3065 "*negabs<mode>2_nocc", "copysign<mode>3"): Insn definitions added.
3066 * config/s390/s390.h (SECONDARY_MEMORY_NEEDED): Due to a new instruction
3067 no secondary memory is needed when moving DFmode values between GPRs
3070 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3072 * config/s390/s390.opt ("mhard-float", "msoft-float"): Bit value
3073 inverted and documentation adjusted.
3074 ("mhard-dfp", "msoft-dfp"): New options.
3075 * config/s390/s390.c (s390_handle_arch_option): New architecture
3077 (override_options): Sanity checks for the new options added.
3078 * config.gcc: New architecture switch: z9-ec.
3079 * config/s390/s390.h (processor_flags): PF_DFP added.
3080 (TARGET_CPU_DFP, TARGET_DFP): Macro definitions added.
3081 (TARGET_DEFAULT): Due to the s390.opt changes hard float is enabled
3082 when the bit is NOT set so remove it from the defaults.
3084 2007-03-19 Andreas Krebbel <krebbel1@de.ibm.com>
3086 * genemit.c (main): Print include statement for dfp.h.
3087 * dfp.h (decimal_real_arithmetic): Hide prototype if tree_code enum
3090 2007-03-19 Hans-Peter Nilsson <hp@axis.com>
3092 * config/cris/t-elfmulti (EXTRA_MULTILIB_PARTS): Do not define here.
3094 2007-03-19 Kaz Kojima <kkojima@gcc.gnu.org>
3097 * config/sh/sh.c (sh_adjust_cost): Use the result of single_set
3100 2007-03-18 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3102 * pa.c (output_deferred_plabels, output_bb, output_millicode_call,
3103 attr_length_call, output_call, output_indirect_call): Cleanup
3104 formatting of targetm calls.
3106 2007-03-19 Hans-Peter Nilsson <hp@axis.com>
3108 * config/cris/cris.h (HANDLE_PRAGMA_PACK_PUSH_POP): Define to 1.
3110 2007-03-18 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3112 * pa.md: Add fpstore_load and store_fpload instruction types. Provide
3113 reservation, bypass and anti-bypass descriptions for these instructions.
3114 Update move patterns.
3115 * pa.c (hppa_fpstore_bypass_p): Check for both TYPE_FPSTORE_LOAD and
3118 2007-03-18 Dorit Nuzman <dorit@il.ibm.com>
3120 * tree-vect-transform.c (get_initial_def_for_induction): Replace
3121 GET_MODE_NUNITS with TYPE_VECTOR_SUBPARTS.
3122 (get_initial_def_for_reduction): Likewise.
3124 2007-03-16 Daniel Berlin <dberlin@dberlin.org>
3126 Fix PR tree-optimization/29922
3127 * tree-ssa-pre.c (bb_bitmap_sets): Remove RVUSE_* members.
3128 (get_representative): Removed.
3129 (value_dies_in_block_x): Update for rvuse removal.
3130 (valid_in_sets): Update for renaming of vuses_dies_in_block_x.
3131 (compute_antic_aux): Handle when PHI nodes appear in
3132 non-single-successors.
3133 (dump_bitmap_of_names): Removed.
3134 (compute_antic_safe): Renamed and removed rvuse calculation.
3135 Calculate only antic safe.
3136 (insert_into_preds_of_block): Remove assert.
3137 (execute_pre): Update for renamed functions.
3138 (defer_or_phi_translate_block): New function.
3140 2007-03-17 Kazu Hirata <kazu@codesourcery.com>
3142 * config/arm/arm.c, config/arm/thumb2.md, config/m68k/m68k.c,
3143 config/spu/spu.c, omega.h, passes.c, predict.c: Fix comment
3145 * doc/cpp.texi, doc/extend.texi, doc/invoke.texi: Fix typos.
3146 Follow spelling conventions.
3148 * tree-data-ref.h: Remove the prototype for analyze_array.
3150 2007-03-17 Dorit Nuzman <dorit@il.ibm.com>
3152 PR tree-optimization/31041
3153 * tree-vect-transform.c (get_initial_def_for_induction): Call
3154 force_gimple_operand.
3156 2007-03-17 Olga Golovanevsky <olga@il.ibm.com>
3158 * ipa-type-escape.c (look_for_casts) : Revert code to use
3159 handled_component_p due to ada test a-numaux.adb.
3161 2007-03-17 Kazu Hirata <kazu@codesourcery.com>
3163 * final.c (final_scan_insn): Alter the condition of a
3164 conditional trap if we have nonstandard CC.
3166 2007-03-16 Alexandre Oliva <aoliva@redhat.com>
3168 * configure.ac: Remove excess quoting from asm line 0 test.
3169 * configure: Rebuilt.
3171 2007-03-16 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3173 * doc/invoke.texi (-Wconversion): Document warnings specific to C++.
3174 * c-common.c (convert_and_check): Move warning logic to...
3175 (warnings_for_convert_and_check): ...here. Define.
3176 * c-common.h (warnings_for_convert_and_check): Declare.
3178 2007-03-16 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3180 * pa.c (attr_length_call): Partially revert change of 2007-03-09.
3181 (output_call): Likewise.
3183 2007-03-16 Richard Sandiford <richard@codesourcery.com>
3185 * config/vxworks.h (SUPPORTS_INIT_PRIORITY): Define.
3187 2007-03-16 Richard Sandiford <richard@codesourcery.com>
3189 * config/vx-common.h (WINT_TYPE, WINT_TYPE_SIZE): Define.
3191 2007-03-16 Uros Bizjak <ubizjak@gmail.com>
3193 * config/i386/i386.c (override_options): Add PTA_NO_SAHF to k8,
3194 opteron, athlon-64 and athlon-fx processor_alias_table entries.
3196 2007-03-16 Sebastian Pop <sebastian.pop@inria.fr>
3198 PR tree-optimization/31183
3199 * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
3200 Use double_int instead of unsigned int for representing access_strides.
3201 * testsuite/gcc.dg/tree-ssa/pr31183.c: New.
3203 2007-03-16 Richard Guenther <rguenther@suse.de>
3205 PR tree-optimization/31146
3206 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Restructure
3207 to allow recursion of forward_propagate_addr_expr.
3208 (forward_propagate_addr_into_variable_array_index): Likewise.
3209 (forward_propagate_addr_expr): Likewise.
3210 (tree_ssa_forward_propagate_single_use_vars): Likewise.
3211 (forward_propagate_addr_expr_1): Recurse on simple copies
3212 instead of propagating into them. Do so for useless conversions
3214 (forward_propagate_addr_expr): Clean up unused statements after
3217 2007-03-16 Richard Guenther <rguenther@suse.de>
3219 * builtins.c (expand_builtin_cexpi): Use the right argument
3220 for the expansion via cexp.
3222 2007-03-16 Alexandre Oliva <aoliva@redhat.com>
3224 * configure.ac: Don't require ELF binutils to tolerate # 0 "".
3225 * configure: Rebuilt.
3227 2007-03-16 Alexandre Oliva <aoliva@redhat.com>
3230 * dwarf2out.c (force_type_die): Adjust comment.
3231 (dwarf2out_imported_module_or_decl): Handle base AT_import types.
3233 2007-03-15 DJ Delorie <dj@redhat.com>
3235 * config/frv/predicates.md (minmax_operator): Don't check operands
3238 2007-03-15 Zdenek Dvorak <dvorakz@suse.cz>
3240 * tree-ssa-loop-niter.c (record_estimate): Add "upper" argument.
3241 Update constant estimates of number of iterations.
3242 (record_nonwrapping_iv): Add "upper" argument. "data_size_bounds_p"
3243 argument renamed to "realistic".
3244 (compute_estimated_nb_iterations): Removed.
3245 (record_niter_bound): New function.
3246 (idx_infer_loop_bounds): For possible but unlikely tail arrays,
3247 call record_nonwrapping_iv with upper = false.
3248 (infer_loop_bounds_from_signedness): Pass upper argument to
3249 record_nonwrapping_iv.
3250 (estimate_numbers_of_iterations_loop): Do not call
3251 compute_estimated_nb_iterations. Record estimate based on profile
3252 information. Initialize the constant estimates of number of
3254 * tree-data-ref.c (estimated_loop_iterations): Return the recorded
3256 * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Add dump when
3257 number of iterations is too small.
3258 * cfgloop.h (struct nb_iter_bound): Remove "realistic" field.
3259 (EST_NOT_AVAILABLE): Removed.
3260 (struct loop): Replace estimated_nb_iterations by any_upper_bound,
3261 nb_iterations_upper_bound, any_estimate and nb_iterations_estimate
3264 2007-03-15 Zdenek Dvorak <dvorakz@suse.cz>
3266 * tree-ssa-loop-niter.c (refine_bounds_using_guard, bound_difference):
3267 Handle NE_EXPR guards.
3269 2007-03-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3272 * c-opts.c (c_common_post_options): Handle C++ post-processing here.
3273 Set also -pedantic-errors by default for the preprocessor unless
3274 -fpermissive is given.
3276 2007-03-15 Richard Guenther <rguenther@suse.de>
3280 * builtins.c (expand_builtin_cexpi): As a fallback if we
3281 don't have builtins for sincos or cexp create a function
3282 declaration for cexp and expand to a call to that.
3283 (expand_builtin_int_roundingfn): Always fall
3284 back to floor/ceil and its variants even if they may be
3287 2007-03-15 Steven Bosscher <steven@gcc.gnu.org>
3290 * cfglayout.c (fixup_reorder_chain): Postpone deleting dead
3291 jump tables, move the call to delete_dead_jumptables from here...
3292 (cfg_layout_finalize): ...to here. But rebuild jump labels first.
3293 * cfgrtl.c (cfg_layout_can_merge_blocks_p): When not optimizing,
3294 don't allow merging of blocks that try_redirect_by_replacing_jump
3295 also does not handle when not optimizing.
3297 2007-03-15 Uros Bizjak <ubizjak@gmail.com>
3298 Francois-Xavier Coudert <coudert@clipper.ens.fr>
3300 * config/i386/i386.md (x86_sahf_1): Correctly handle
3303 2007-03-15 Uros Bizjak <ubizjak@gmail.com>
3306 * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
3307 x86_64_general_operand as operand[2] predicate. Remove "iF"
3308 from operand constraints and use "e" constraint instead.
3309 (*subti3_1, *subti3_1 splitter): Ditto.
3310 (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
3311 operand[1] predicate.
3313 2007-03-14 Sebastian Pop <sebastian.pop@inria.fr>
3315 * tree-loop-linear.c (gather_interchange_stats): For multidimensional
3316 arrays, multiply the access strides by the size of the sub-array.
3317 * testsuite/gcc.dg/tree-ssa/ltrans-5.c: New.
3319 2007-03-14 Uros Bizjak <ubizjak@gmail.com>
3321 * configure.ac (HAVE_AS_IX86_SAHF): On x86 targets check whether
3322 the configured assembler supports the sahf mnemonic.
3323 * configure: Regenerate.
3324 * config.in: Regenerate.
3326 * config/i386/i386.md (x86_sahf_1): Depending on HAVE_AS_IX86_SAHF,
3327 emit "sahf" or ".byte\t0x9e" as asm template.
3329 2007-03-14 Michael Meissner <michael.meissner@amd.com>
3332 * config/i386/i386.h (X86_TUNE_SHORTEN_X87_SSE): New tuning
3333 option to replace hard coded TARGET_xxx in md file.
3334 (X86_TUNE_AVOID_VECTOR_DECODE): Ditto.
3335 (X86_TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3336 (X86_TUNE_SLOW_IMUL_IMM8): Ditto.
3337 (X86_TUNE_MOVE_M1_VIA_OR): Ditto.
3338 (X86_TUNE_NOT_UNPAIRABLE): Ditto.
3339 (X86_TUNE_NOT_VECTORMODE): Ditto.
3340 (TUNE_SHORTEN_X87_SSE): Use new tuning option.
3341 (TUNE_AVOID_VECTOR_DECODE): Ditto.
3342 (TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3343 (TUNE_SLOW_IMUL_IMM8): Ditto.
3344 (TUNE_MOVE_M1_VIA_OR): Ditto.
3345 (TUNE_NOT_UNPAIRABLE): Ditto.
3346 (TUNE_NOT_VECTORMODE): Ditto.
3348 * config/i386/i386.c (ix86_tune_features): Fill in new tuning
3351 * config/i386/i386.md (fix_trunc?f?1_sse peephole2): Use new
3352 tuning options instead of hard coded TARGET_xxx.
3353 (fix ssemode peephole2's): Ditto.
3354 (imul peephole2's): Ditto.
3356 (movdi_or_rex64): Ditto.
3357 (move peephole2): Ditto.
3358 (not peephole2's): Ditto.
3360 2007-03-14 Dirk Mueller <dmueller@suse.de>
3362 * c-common.h (empty_body_warning): Rename to empty_if_body_warning.
3363 * c-common.c (empty_if_body_warning): Rephrase diagnostic message.
3364 * c-parser.c (c_parser_if_body): Always add an empty statement in case
3366 * c-parser.c (c_parser_do_statement): Warn about empty body in
3368 * c-typeck (c_finish_if_stmt): Call empty_if_body_warning.
3369 * doc/invoke.texi (-Wempty-body): Update documentation.
3371 2007-03-14 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
3374 * c-common.h (warn_for_div_by_zero): Declare.
3375 * c-common.c (warn_for_div_by_zero): Define.
3376 * c-typeck.c (build_binary_op): Call warn_for_div_zero instead of
3379 2007-03-14 Richard Sandiford <richard@codesourcery.com>
3381 * Makefile.in (PREPROCESSOR_DEFINES): Add directory terminators
3382 to PREFIX and STANDARD_PREFIX.
3384 2007-03-14 Richard Sandiford <richard@codesourcery.com>
3385 Phil Edwards <phil@codesourcery.com>
3387 * gthr-vxworks.h: Add an extern "C" wrapper for C++.
3388 (__gthread_once_t): Remove busy field for RTPs.
3389 (__GTHREAD_ONCE_INIT): Update accordingly.
3391 2007-03-14 Richard Sandiford <richard@codesourcery.com>
3393 * doc/invoke.texi: Document VxWorks options.
3395 2007-03-14 Uros Bizjak <ubizjak@gmail.com>
3397 * doc/invoke.texi (i386 and x86-64 Options): Clarify -msahf option.
3399 2007-03-13 Seongbae Park <seongbae.park@gmail.com>
3401 PR tree-optimization/30590
3402 * tree-nrv.c (tree_nrv): Check for the partial update of the
3405 2007-03-13 Alexandre Oliva <aoliva@redhat.com>
3407 * flags.h (flag_random_seed): Remove declaration, in favor of...
3408 * toplev.h (get_random_seed, set_random_seed): ... these.
3409 * tree.c (get_file_function_name): Use the former.
3410 * opts.c (common_handle_option): Use the latter.
3413 2007-03-13 Steven Bosscher <steven@gcc.gnu.org>