1 2007-06-04 Tom Tromey <tromey@redhat.com>
3 * c-common.c (c_common_get_alias_set): Fix indentation.
5 2007-06-04 Ian Lance Taylor <iant@google.com>
7 * tree-vrp.c (adjust_range_with_scev): When loop is not expected
8 to overflow, reduce overflow infinity to regular infinity.
9 (vrp_var_may_overflow): New static function.
10 (vrp_visit_phi_node): Check vrp_var_may_overflow.
12 2007-06-04 Kazu Hirata <kazu@codesourcery.com>
14 * stor-layout.c (layout_type): Remove duplicate code.
16 2007-06-04 Uros Bizjak <ubizjak@gmail.com>
19 * gcc/c-common.c (c_define_builtins): Call targetm.init_builtins ()
20 before build_common_builtin_nodes ().
22 2007-06-04 Steve Ellcey <sje@cup.hp.com>
25 * cfgrtl.c (rtl_verify_flow_info): Skip notes when looking for barrier.
27 2007-05-31 Jan Hubicka <jh@suse.cz>
29 * tree-predcom.c (replace_ref_with, initialize_root_vars_lm,
30 reassociate_to_the_same_stmt): Call build_gimple_modify_stmt
31 instead of _stat version.
33 2007-06-03 Zdenek Dvorak <dvorakz@suse.cz>
35 PR tree-optimization/32194
36 * tree-predcom.c (determine_offset): Check that both references have
39 2007-06-03 Zdenek Dvorak <dvorakz@suse.cz>
41 * cfgloopmanip.c (remove_path, loopify, duplicate_loop_to_header_edge):
42 Change dom_bbs to vector. Add argument to iterate_fix_dominators call.
43 * loop-unroll.c (unroll_loop_runtime_iterations): Ditto.
44 * tree-cfg.c (tree_duplicate_sese_region): Change doms to vector.
45 Add argument to iterate_fix_dominators call.
46 (remove_edge_and_dominated_blocks): Pass vector to bbs_to_fix_dom.
47 * gcse.c (hoist_code): Change domby to vector.
48 * cfghooks.c (make_forwarder_block): Change doms_to_fix to vector.
49 Add argument to iterate_fix_dominators call.
50 * loop-doloop.c (doloop_modify): Changed recount_dominator to
52 * lambda-code.c (perfect_nestify): Ditto.
53 * cfgloopanal.c: Include graphds.h.
54 (struct edge, struct vertex, struct graph, dump_graph, new_graph,
55 add_edge, dfs, for_each_edge, free_graph): Moved to graphds.c.
56 (mark_irreducible_loops): Use graphds_scc. Remove argument from
58 * graphds.c: New file.
59 * graphds.h: New file.
60 * dominance.c: Include vecprim.h, pointer-set.h and graphds.h.
61 (get_dominated_by, get_dominated_by_region): Change return type to
63 (verify_dominators): Recompute all dominators and compare the results.
64 (recount_dominator): Renamed to ...
65 (recompute_dominator): ... this. Do not check that the block is
67 (iterate_fix_dominators): Reimplemented.
68 (prune_bbs_to_update_dominators, root_of_dom_tree,
69 determine_dominators_for_sons): New functions.
70 * et-forest.c (et_root): New function.
71 * et-forest.h (et_root): Declare.
72 * Makefile.in (graphds.o): Add.
73 (cfgloopanal.o): Add graphds.h dependency.
74 (dominance.o): Add graphds.h, vecprim.h and pointer-set.h dependency.
75 * basic-block.h (get_dominated_by, get_dominated_by_region,
76 iterate_fix_dominators): Declaration changed.
77 (recount_dominator): Renamed to ...
78 (recompute_dominator): ... this.
79 * tree-ssa-threadupdate.c (thread_block): Free dominance info.
80 (thread_through_all_blocks): Do not free dominance info.
82 2007-06-03 Andreas Schwab <schwab@suse.de>
84 * config/m68k/m68k.c (override_options): Don't override
86 * config/m68k/m68k-modes.def (SF, DF): Define to use
87 motorola_single_format and motorola_double_format, resp.
88 * real.c (motorola_single_format): Renamed from
89 coldfire_single_format.
90 (motorola_double_format): Renamed from coldfire_double_format.
91 (encode_ieee_extended): Generate a proper canonical NaN image
92 respecting canonical_nan_lsbs_set.
93 (ieee_extended_motorola_format): Set canonical_nan_lsbs_set to
95 * real.h: Adjust declarations.
97 2007-06-03 Kaz Kojima <kkojima@gcc.gnu.org>
100 * config/sh/sh.md (symGOT_load): Don't schedule insns when
101 the symbol is generated with the stack protector.
103 2007-06-03 Kazu Hirata <kazu@codesourcery.com>
105 * config/m68k/m68k.c (m68k_attribute_table): Add "interrupt".
106 (m68k_get_function_kind): Return m68k_fk_interrupt_handler on
108 * doc/extend.texi (interrupt): Mention m68k.
110 2007-06-02 Uros Bizjak <ubizjak@gmail.com>
112 * config/i386/i386.c (ix86_expand_sse_4_operands_builtin): Call
113 safe_vector_operand() if input operand is VECTOR_MODE_P operand.
114 (ix86_expand_sse_pcmpestr): Do not check operands for
115 "register_operand", when insn operand predicate is "register_operand".
116 (ix86_expand_sse_pcmpistr): Ditto.
118 2007-06-02 H.J. Lu <hongjiu.lu@intel.com>
119 Uros Bizjak <ubizjak@gmail.com>
121 * config/i386/i386.h (enum reg_class) [SSE_FIRST_REG]: New.
122 (SSE_CLASS_P): Use reg_class_subset_p between SSE_REGS.
123 (REG_CLASS_NAMES): Add "FIRST_SSE_REG" string.
124 (REG_CLASS_CONTENTS): Add members of FIRST_SSE_REG class.
125 * config/i386/constraints.md ("z"): New register constraint
126 for members of SSE_FIRST_REG class.
127 * config/i386/i386-modes.def (CCA, CCC, CCO, CCS): New compare modes.
128 * config/i386/i386.c (regclass_map): Change class of %xmm0 to
130 (put_condition_code) [EQ, NE]: Output suffixes for new compare modes.
131 (ix86_cc_modes_compatible): Handle CCA, CCC, CCO and CCS modes.
132 (IX86_BUILTIN_PCMPESTRI128): New for SSE4.2.
133 (IX86_BUILTIN_PCMPESTRM128): Likewise.
134 (IX86_BUILTIN_PCMPESTRA128): Likewise.
135 (IX86_BUILTIN_PCMPESTRC128): Likewise.
136 (IX86_BUILTIN_PCMPESTRO128): Likewise.
137 (IX86_BUILTIN_PCMPESTRS128): Likewise.
138 (IX86_BUILTIN_PCMPESTRZ128): Likewise.
139 (IX86_BUILTIN_PCMPISTRI128): Likewise.
140 (IX86_BUILTIN_PCMPISTRM128): Likewise.
141 (IX86_BUILTIN_PCMPISTRA128): Likewise.
142 (IX86_BUILTIN_PCMPISTRC128): Likewise.
143 (IX86_BUILTIN_PCMPISTRO128): Likewise.
144 (IX86_BUILTIN_PCMPISTRS128): Likewise.
145 (IX86_BUILTIN_PCMPISTRZ128): Likewise.
146 (struct builtin_description): Change "flag" field to unsigned.
147 (bdesc_pcmpestr): New builtin description table.
148 (bdesc_pcmpistr): Likewise.
149 (ix86_init_mmx_sse_builtins): Define int_ftype_v16qi_int_v16qi_int_int,
150 v16qi_ftype_v16qi_int_v16qi_int_int and int_ftype_v16qi_v16qi_int.
151 Initialize pcmp[ei]str[im] insns for SSE4.2.
152 (ix86_expand_sse_pcmpestr): New subroutine of ix86_expand_builtin.
153 (ix86_expand_sse_pcmpistr): Likewise.
154 (ix86_expand_builtin): Expand pcmp[ei]str[im] builtins for SSE4.2.
155 * config/i386/i386.md (UNSPEC_PCMPESTR): New for SSE4.2.
156 (UNSPEC_PCMPISTR): Likewise.
157 * config/i386/sse.md (sse4_2_pcmpestr): New insn patern and splitter.
158 (sse4_2_pcmpestri):New isns pattern.
159 (sse4_2_pcmpestrm): Likewise.
160 (sse4_2_pcmpestr_cconly): Likewise.
161 (sse4_2_pcmpistr): New insn patern and splitter.
162 (sse4_2_pcmpistri):New isns pattern.
163 (sse4_2_pcmpistrm): Likewise.
164 (sse4_2_pcmpistr_cconly): Likewise.
165 * config/i386/smmintrin.h: Enable pcmp[ei]str[im] intrinsics
168 2007-06-01 David Daney <ddaney@avtrex.com>
170 * config/mips/mips.c (mips_output_mi_thunk): Only load gp if not
171 LOADGP_ABSOLUTE and not binds_local_p.
173 2007-06-01 Geoffrey Keating <geoffk@apple.com>
175 * config/darwin.h (LINK_SPEC): Pass -fpie through to the linker.
177 2007-06-01 Ian Lance Taylor <iant@google.com>
179 * tree-vrp.c (compare_name_with_value): Always set
180 used_strict_overflow if we get a result from the variable itself.
182 2007-06-01 Ian Lance Taylor <iant@google.com>
184 PR rtl-optimization/31455
185 * lower-subreg.c (find_decomposable_subregs): Don't decompose
186 subregs which have a cast between modes which are not tieable.
188 2007-06-01 Uros Bizjak <ubizjak@gmail.com>
190 * expr.c (force_operand) [DIV, MOD, UDIV, UMOD, ASHIFTRT]: Remove
191 breaks after return statements.
193 2007-06-01 Kaz Kojima <kkojima@gcc.gnu.org>
195 * config/sh/sh.c (fpscr_set_from_mem): Call get_free_reg
196 only after no_new_pseudos.
198 2007-05-31 Eric Christopher <echristo@apple.com>
200 * expr.c (convert_move): Assert that we don't have a BLKmode
202 (store_expr): Handle BLKmode moves by calling emit_block_move.
204 2007-05-31 Daniel Berlin <dberlin@dberlin.org>
206 * c-typeck.c (build_indirect_ref): Include type in error message.
207 (build_binary_op): Pass types to binary_op_error.
208 * c-common.c (binary_op_error): Take two type arguments, print out
210 * c-common.h (binary_op_error): Update prototype.
212 2007-05-31 H.J. Lu <hongjiu.lu@intel.com>
214 * config/i386/i386.c: Correct coments on -mno-sse4.
216 2007-05-31 H.J. Lu <hongjiu.lu@intel.com>
218 * config.gcc (i[34567]86-*-*): Add nmmintrin.h to extra_headers.
219 (x86_64-*-*): Likewise.
220 * config/i386/i386.c (OPTION_MASK_ISA_MMX_UNSET): New.
221 (OPTION_MASK_ISA_3DNOW_UNSET): Likewise.
222 (OPTION_MASK_ISA_SSE_UNSET): Likewise.
223 (OPTION_MASK_ISA_SSE2_UNSET): Likewise.
224 (OPTION_MASK_ISA_SSE3_UNSET): Likewise.
225 (OPTION_MASK_ISA_SSSE3_UNSET): Likewise.
226 (OPTION_MASK_ISA_SSE4_1_UNSET): Likewise.
227 (OPTION_MASK_ISA_SSE4_2_UNSET): Likewise.
228 (OPTION_MASK_ISA_SSE4): Likewise.
229 (OPTION_MASK_ISA_SSE4_UNSET): Likewise.
230 (OPTION_MASK_ISA_SSE4A_UNSET): Likewise.
231 (ix86_handle_option): Use OPTION_MASK_ISA_*_UNSET. Handle SSE4.2.
232 (override_options): Support SSE4.2.
233 (ix86_build_const_vector): Support SImode and DImode.
234 (ix86_build_signbit_mask): Likewise.
235 (ix86_expand_int_vcond): Support V2DImode.
236 (IX86_BUILTIN_CRC32QI): New for SSE4.2.
237 (IX86_BUILTIN_CRC32HI): Likewise.
238 (IX86_BUILTIN_CRC32SI): Likewise.
239 (IX86_BUILTIN_CRC32DI): Likewise.
240 (IX86_BUILTIN_PCMPGTQ): Likewise.
241 (bdesc_crc32): Likewise.
242 (bdesc_sse_3arg): Likewise.
243 (ix86_expand_crc32): Likewise.
244 (ix86_init_mmx_sse_builtins): Support SSE4.2.
245 (ix86_expand_builtin): Likewise.
246 * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Define
247 __SSE4_2__ for -msse4.2.
248 * config/i386/i386.md (UNSPEC_CRC32): New for SSE4.2.
249 (CRC32MODE): Likewise.
250 (crc32modesuffix): Likewise.
251 (crc32modeconstraint): Likewise.
252 (sse4_2_crc32<mode>): Likewise.
253 (sse4_2_crc32di): Likewise.
254 * config/i386/i386.opt (msse4.2): New for SSE4.2.
256 * config/i386/nmmintrin.h: New. The dummy SSE4.2 intrinsic header file.
257 * config/i386/smmintrin.h: Add SSE4.2 intrinsics.
258 * config/i386/sse.md (sse4_2_gtv2di3): New pattern for SSE4.2.
259 (vcond<mode>): Use SSEMODEI instead of SSEMODE124.
260 (vcondu<mode>): Likewise.
261 * doc/extend.texi: Document SSE4.2 built-in functions.
262 * doc/invoke.texi: Document -msse4.2/-msse4.
264 2007-05-31 Zdenek Dvorak <dvorakz@suse.cz>
266 PR tree-optimization/32160
267 * tree-predcom.c (predcom_tmp_var): New function. Mark created
268 variable as gimple reg.
269 (initialize_root_vars, initialize_root_vars_lm): Use predcom_tmp_var.
271 2007-05-31 Kazu Hirata <kazu@codesourcery.com>
273 * gcc.c (main): Don't consider linker options when issuing the
274 warning about a linker input file not being used.
276 2007-05-30 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
278 * tree-vrp.c (compare_names): Initialize sop.
280 2007-05-30 Dirk Mueller <dmueller@suse.de>
282 * cgraphunit.c (cgraph_analyze_function): Remove
283 computation of inline parameters.
285 2007-05-30 Uros Bizjak <ubizjak@gmail.com>
287 * config/i386/darwin.h (TARGET_SUBTARGET_DEFAULT): Undef before define.
289 2007-05-30 Richard Sandiford <richard@codesourcery.com>
291 * config.gcc (arm-wrs-vxworks): Remove dbxelf.h from tm_file.
292 Add vx-common.h. Include vxworks.h between vx-common.h and
294 * config/vx-common.h (DWARF2_UNWIND_INFO): Undefine before
296 * config/vxworks.h (TARGET_ASM_CONSTRUCTOR): Likewise.
297 (TARGET_ASM_DESTRUCTOR): Likewise.
298 * config/arm/vxworks.h (TARGET_OS_CPP_BUILTINS): Check arm_arch_xscale
299 instead of arm_is_xscale. Use VXWORKS_OS_CPP_BUILTINS.
300 (OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
301 (CC1_SPEC): Add -tstrongarm. Line up backslashes.
302 (VXWORKS_ENDIAN_SPEC): Define.
303 (ASM_SPEC): Add VXWORKS_ENDIAN_SPEC.
304 (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine to their
305 VXWORKS_* equivalents.
306 (LINK_SPEC): Likewise, but add VXWORKS_ENDIAN_SPEC.
307 (ASM_FILE_START): Delete.
308 (TARGET_VERSION): Reformat.
309 (FPUTYPE_DEFAULT, FUNCTION_PROFILER): Define.
310 (DEFAULT_STRUCTURE_SIZE_BOUNDARY): Define.
311 * config/arm/t-vxworks (LIB1ASMSRC, LIB1ASMFUNCS): Define.
312 (FPBIT, DPBIT): Define.
313 (fp-bit.c, dp-bit.c): New rules.
314 (MULTILIB_OPTIONS): Add strongarm, -mrtp and -mrtp/-fPIC multilibs.
315 (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Define.
316 * config/arm/arm-protos.h (arm_emit_call_insn): Declare.
317 * config/arm/arm.h: Include vxworks-dummy.h.
318 * config/arm/arm.c (arm_elf_asm_constructor, arm_elf_asm_destructor):
319 Mark with ATTRIBUTE_UNUSED.
320 (arm_override_options): Do not allow VxWorks RTP PIC to be used
321 for Thumb. Force r9 to be the PIC register for VxWorks RTPs and
322 make it incompatible with -msingle-pic-base.
323 (arm_function_ok_for_sibcall): Return false for calls that might
324 go through a VxWorks PIC PLT entry.
325 (require_pic_register): New function, split out from...
326 (legitimize_pic_address): ...here. Do not use GOTOFF accesses
328 (arm_load_pic_register): Handle the VxWorks RTP initialization
329 sequence. Use pic_reg as a shorthand for cfun->machine->pic_reg.
330 (arm_emit_call_insn): New function.
331 (arm_assemble_integer): Do not use GOTOFF accesses for VxWorks RTP.
332 * config/arm/arm.md (UNSPEC_PIC_OFFSET): New unspec number.
333 (pic_offset_arm): New pattern.
334 (call, call_value): Use arm_emit_call_insn.
335 (call_internal, call_value_internal): New expanders.
336 * config/arm/lib1funcs.asm (__PLT__): Define to empty for
337 VxWorks unless __PIC__.
339 2007-05-30 Eric Christopher <echristo@gmail.com>
341 * genrecog.c: Include regs.h in generated file.
342 * genemit.c: Ditto. Fix up formatting.
343 * config/mn10300/constraints.md: New.
344 * config/mn10300/mn10300.md: Include.
345 * config/mn10300/mn10300.c(mn10300_secondary_reload_class):
346 Fix up for removed macro.
347 * config/mn10300/predicates.md (call_address_operand): Ditto.
348 * config/mn10300/mn10300.h (REG_CLASS_FROM_LETTER): Delete.
349 (CONST_OK_FOR_I): Ditto.
350 (CONST_OK_FOR_J): Ditto.
351 (CONST_OK_FOR_K): Ditto.
352 (CONST_OK_FOR_L): Ditto.
353 (CONST_OK_FOR_M): Ditto.
354 (CONST_OK_FOR_N): Ditto.
355 (CONST_DOUBLE_OK_FOR_LETTER_P): Ditto.
359 (EXTRA_CONSTRAINT): Ditto.
361 2007-05-30 Uros Bizjak <ubizjak@gmail.com>
363 * config/i386/i386.h (MASK_64BIT, MASK_MMX, MASK_3DNOW*, MASK_SSE*):
365 * config/i386/biarch.h (TARGET_64BIT_DEFAULT): Define to
366 OPTION_MASK_ISA_64BIT.
367 * config/i386/i386.c: Rename MASK_* macros to OPTION_MASK_ISA_*.
369 2007-05-30 Richard Guenther <rguenther@suse.de>
372 * gimplify.c (gimplify_omp_atomic_pipeline): Use correct
373 types for comparison.
374 * fold-const.c (fold_comparison): Call maybe_canonicalize_comparison
375 with original typed arguments.
376 * config/i386/i386.c (ix86_gimplify_va_arg): Fix type mismatches.
378 2007-05-30 Jakub Jelinek <jakub@redhat.com>
380 PR tree-optimization/31769
381 * except.c (duplicate_eh_regions): Clear prev_try if
382 ERT_MUST_NOT_THROW region is inside of ERT_TRY region.
384 2007-05-30 Zdenek Dvorak <dvorakz@suse.cz>
386 * tree-scalar-evolution.c (scev_const_prop): Do not create labels.
387 * tree-ssa-sink.c (statement_sink_location): Return basic block and
388 bsi of the location where statements should be inserted.
389 (sink_code_in_bb): Take bsi from statement_sink_location.
390 * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Use bsi_after_labels
391 instead of bsi_start.
392 * tree-profile.c (tree_gen_ic_func_profiler): Pass BSI_NEW_STMT to
394 * tree-cfg.c (bsi_move_after): Pass BSI_NEW_STMT to bsi_insert_after.
395 (bsi_move_before): Document inconsistency with bsi_move_after.
396 (tree_redirect_edge_and_branch): Do not create labels if not necessary.
398 2007-05-30 Uros Bizjak <ubizjak@gmail.com>
400 * config/i386/i386.h (TARGET_ABM): New define.
401 (TARGET_POPCNT): Ditto.
402 (TARGET_64BIT, TARGET_MMX, TARGET_3DNOW, TARGET_3DNOW_A, TARGET_SSE*):
403 New temporary defines to redefine from OPTION_ISA_* defines.
404 (MASK_64BIT, MASK_MMX, MASK_3DNOW, MASK_3DNOW_A, MASK_SSE*):
405 New temporary defines to redefine from OPTION_MASK_ISA_* defines.
406 (ix86_isa_flags): New extern int declaration.
407 (TARGET_SUBTARGET_DEFAULT): New define.
408 (TARGET_SUBTARGET_ISA_DEFAULT): Ditto.
409 (TARGET_SUBTARGET32_DEFAULT): Ditto.
410 (TARGET_SUBTARGET32_ISA_DEFAULT): Ditto.
411 (TARGET_SUBTARGET64_ISA_DEFAULT): Ditto.
412 * config/i386/unix.h: Undef TARGET_SUBTARGET_DEFAULT before define.
413 * config/i386/darwin.h: Change TARGET_64BIT define to
416 * config/i386/i386.opt (m3dnowa): Define as undocumented option
417 using existing "ix86_isa_flags" varible.
418 (m32, m64): Use existing "ix86_isa_flags" variable.
419 (mmmx, m3dnow): Ditto.
420 (msse, msse2, msse3, mssse3, msse4.1, msse4a): Ditto.
421 (mabm): Define as non-negative option using "x86_abm" variable.
422 (mpopcnt): Define as non-negative option using "x86_popcnt" variable.
424 * config/i386/i386.c (ix86_arch_features) [X86_ARCH_CMOVE]:
425 Rewrite feature test bitmap.
426 (ix86_isa_flags): New initialized global int varible.
427 (ix86_isa_flags_explicit): New static int variable.
428 (ix86_handle_option): Set "ix86_isa_flags_explicit" when mmmx, m3dnow,
429 msse, msse2, msse3, msse4.1 and msse4a option is processed. Change
430 i86_isa_flags and ix86_isa_flags_explicit, not target_flags and
431 target_flags_explicit.
432 (override_options): Remove "target_enable" and "target_disable" fields
433 from "struct ptt". Update processor_target_table accordingly. Remove
434 PTA_PREFETCH_SSE from processor_alias_table entry if PTE_SSE is
435 defined and rearrange PTA_* bits. Use "ix86_isa_flags" instead of
436 "target_flags" and "ix86_isa_flags_explicit" instead of
437 "target_flags_explicit" when masked with MASK_64BIT, MASK_MMX,
438 MASK_3DNOW, MASK_3DNOW_A or MASK_SSE*. Set "x86_abm" to true when
439 PTA_ABM is set in processor_alias_table flags entry. Set "x86_popcnt"
440 to true when either of PTA_POPCNT or PTA_ABM is set in
441 processor_alias_table flags entry. Set "x86_prefetch_sse" to true
442 when either of PTA_PREFETCH_SSE or PTA_SSE is set in
443 processor_alias_table flags entry. Remove handling of
444 "target_enable" and "target_disable" fields of processor_target_table.
445 Mask "target_flags" with TARGET_SUBTARGET32_DEFAULT for 32-bit
446 targets or with TARGET_SUBTARGET64_DEFAULT for 64-bit targets.
447 Mask "ix86_isa_flags" with TARGET_SUBTARGET32_ISA_DEFAULT for 32-bit
448 targets or with TARGET_SUBTARGET64_ISA_DEFAULT for 64-bit targets.
449 (def_builtin): Mask "mask" variable with "ix86_isa_flags", not
451 (TARGET_DEFAULT_TARGET_FLAGS): Do not include TARGET_64BIT_DEFAULT.
453 2007-05-29 David Daney <ddaney@avtrex.com>
456 * config/mips/mips.c (mips_output_mi_thunk): Emit
457 NOTE_INSN_PROLOGUE_END at beginning of the thunk.
459 2007-05-29 Hui-May Chang <hm.chang@apple.com>
460 * config/i386/i386.c (ix86_function_regparm): Added checking of
461 ix86_force_align_arg_pointer to determine the number of
464 2007-05-29 Zdenek Dvorak <dvorakz@suse.cz>
466 * tree-vectorizer.h (DR_MISALIGNMENT): Cast aux to integer.
467 (SET_DR_MISALIGNMENT): New.
468 * tree-vect-analyze.c (vect_compute_data_ref_alignment,
469 vect_update_misalignment_for_peel, vect_enhance_data_refs_alignment):
470 Use SET_DR_MISALIGNMENT.
471 * tree-predcom.c (split_data_refs_to_components): Cast dr->aux from
473 * tree-data-ref.c (create_data_ref, compute_all_dependences,
474 find_loop_nest): Export.
475 * tree-data-ref.h (struct data_reference): Change aux field to pointer.
476 (create_data_ref, compute_all_dependences, find_loop_nest): Declare.
477 * tree-ssa-loop-prefetch.c: Include tree-data-ref.h.
478 (L1_CACHE_SIZE_BYTES, L2_CACHE_SIZE_BYTES, NONTEMPORAL_FRACTION):
480 (struct mem_ref): Add field reuse_distance.
481 (find_or_create_group, record_ref): Use XNEW instead of xcalloc.
482 Initialize reuse_distance field.
483 (issue_prefetch_ref): Select temporality of prefetch according to
485 (volume_of_references, volume_of_dist_vector, add_subscript_strides,
486 self_reuse_distance, determine_loop_nest_reuse): New functions.
487 (loop_prefetch_arrays): Call determine_loop_nest_reuse.
488 (tree_ssa_prefetch_arrays): Dump L2 cache size.
489 * Makefile.in (tree-ssa-loop-prefetch.o): Add TREE_DATA_REF_H
492 2007-05-29 Daniel Berlin <dberlin@dberlin.org>
494 * tree-ssa-alias.c: Add aliasing overview.
496 2007-05-29 Zuxy Meng <zuxy.meng@gmail.com>
497 Danny Smith <dannysmith@users.sourceforge.net>
500 * config/i386/t-crtfm: Compile crtfastmath.o with
501 -minline-all-stringops.
502 * config/i386/cygwin.h (ENDFILE_SPECS): Add crtfastmath.o.
503 * config/i386/mingw32.h (ENDFILE_SPECS): Add crtfastmath.o.
505 2007-05-28 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
507 * doc/md.texi: Document constraints on HP PA-RISC.
509 * pa/constraints.md: New file.
510 * pa.md: Include constraints.md.
511 * pa.c (cint_ok_for_move): Avoid using CONST_OK_FOR_LETTER_P.
512 (integer_store_memory_operand, ldil_cint_p): New functions.
513 * pa-protos.h (integer_store_memory_operand, ldil_cint_p): Declare.
514 * pa.h (CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
515 IS_RELOADING_PSEUDO_P, EXTRA_CONSTRAINT): Remove.
516 * pa32-regs.h (REG_CLASS_FROM_LETTER): Remove.
517 * pa64-regs.h (REG_CLASS_FROM_LETTER): Remove.
519 2007-05-28 Andrew Pinski <Andrew_pinski@playstation.sony.com>
522 * c-typeck.c (build_unary_op <case PREINCREMENT_EXPR,
523 case POSTINCREMENT_EXPR, case PREDECREMENT_EXPR,
524 case POSTDECREMENT_EXPR>): Return the error_mark_node
525 if either the real or imaginary parts would an
528 2007-05-28 Daniel Berlin <dberlin@dberlin.org>
530 * tree-ssa-dce.c (eliminate_unnecessary_stmts): Release LHS SSA
531 name when we remove it from a call.
533 2007-05-28 Kazu Hirata <kazu@codesourcery.com>
535 * targhooks.c (default_narrow_bitfield): Remove.
536 * targhooks.h: Remove the prototype for
537 default_narrow_bitfield.
539 * langhooks-def.h: Remove the prototype for
540 hook_get_alias_set_0.
541 * langhooks.c (hook_get_alias_set_0): Remove.
543 * global.c (EXECUTE_IF_CONFLICT): Remove.
545 2007-05-28 Andrew Pinski <andrew_pinski@playstation.sony.com>
548 * fold-const.c (tree_expr_nonnegative_warnv_p): Don't
549 return true when truth_value_p is true and the type
552 2007-05-28 Gerald Pfeifer <gerald@pfeifer.com>
554 * doc/install.texi (Prerequisites): We no longer require Autoconf
555 2.13 for the top-level.
557 2007-05-28 Uros Bizjak <ubizjak@gmail.com>
559 * target/i386/i386.c (ix86_expand_vector_move): Expand unaligned
560 memory access via x86_expand_vector_move_misalign() only for
561 TImode values on 32-bit targets.
563 2007-05-28 Razya Ladelsky <razya@il.ibm.com>
565 * matrix-reorg.c: New file. Implement matrix flattening and
566 transposing optimization.
567 * tree-pass.h: Add matrix reorg pass.
568 * common.opt: Add fipa-mreorg flag.
569 * Makefile.in: Add matrix-reorg.c.
570 * passes.c: Add matrix reorg pass.
571 * varpool.c (add_new_static_var): New function.
572 * cgraph.h (add_new_static_var): Declare.
574 2007-05-27 Eric Christopher <echristo@apple.com>
576 * config/rs6000/rs6000.c (rs6000_emit_prologue): Update
577 sp_offset depending on stack size. Save r12 depending
578 on registers we're saving later.
579 (rs6000_emit_epilogue): Update sp_offset depending only
582 2007-05-27 Zdenek Dvorak <dvorakz@suse.cz>
584 * tree-vrp.c (execute_vrp): Do not check whether current_loops == NULL.
585 * tree-chrec.c (evolution_function_is_invariant_rec_p): Ditto.
586 * ifcvt.c (if_convert): Ditto.
587 * tree-ssa-threadupdate.c (thread_block): Ditto.
588 (thread_through_all_blocks): Ditto. Assert that loops were analysed.
589 * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa,
590 verify_loop_closed_ssa): Check number_of_loops instead of
592 * predict.c (tree_estimate_probability): Ditto.
593 * tree-if-conv.c (main_tree_if_conversion): Ditto.
594 * tree-ssa-loop-ch.c (copy_loop_headers): Ditto.
595 * modulo-sched.c (sms_schedule): Ditto.
596 * tree-scalar-evolution.c (scev_const_prop): Ditto.
597 (scev_finalize): Do not do anything if scev analysis was not
599 * cfgloopanal.c (mark_irreducible_loops): Do not check whether
600 current_loops == NULL.
601 (mark_loop_exit_edges): Check number_of_loops instead of current_loops.
602 * loop-init.c (loop_optimizer_init): Do not free current_loops when
604 (loop_optimizer_finalize): Assert that loops were analyzed.
605 (rtl_move_loop_invariants, rtl_unswitch, rtl_unroll_and_peel_loops,
606 rtl_doloop): Check number_of_loops instead of current_loops.
607 * tree-ssa-loop.c (tree_loop_optimizer_init): Do not check whether
608 current_loops == NULL.
609 (tree_ssa_loop_init, tree_ssa_loop_im, tree_ssa_loop_unswitch,
610 gate_tree_vectorize tree_linear_transform, check_data_deps,
611 tree_ssa_loop_ivcanon, tree_ssa_empty_loop, tree_ssa_loop_bounds,
612 tree_complete_unroll, tree_ssa_loop_prefetch, tree_ssa_loop_ivopts):
613 Check number_of_loops instead of current_loops.
614 (tree_ssa_loop_done): Do not check whether current_loops == NULL.
615 * tree-ssa-pre.c (fini_pre): Do not take do_fre argument. Always
616 free loops if available.
617 (execute_pre): Do not pass do_fre to fini_pre.
619 2007-05-27 Tobias Burnus <burnus@net-b.de>
622 * real.c (mpfr_from_real): Fix sign of -Inf.
624 2007-05-27 H.J. Lu <hongjiu.lu@intel.com>
626 * tree-vect-transform.c (vectorizable_conversion): Initialize
627 tree_code variables to ERROR_MARK.
628 (vectorizable_type_demotion): Likewise.
629 (vectorizable_type_promotion): Likewise.
631 2007-05-26 Uros Bizjak <ubizjak@gmail.com>
634 * config/i386/i386.md (movti): Handle push operands via
637 2007-05-26 Kazu Hirata <kazu@codesourcery.com>
639 * basic-block.h: Remove the prototype for merge_seq_blocks.
640 * cfgcleanup.c (merge_seq_blocks): Remove.
642 * tree-flow.h: Remove the prototype for is_aliased_with.
643 * tree-ssa-alias.c (is_aliased_with): Remove.
645 2007-05-26 H.J. Lu <hongjiu.lu@intel.com>
647 * config/i386/i386-protos.h (ix86_expand_sse4_unpack): New.
649 * config/i386/i386.c (ix86_expand_sse4_unpack): New.
651 * config/i386/sse.md (vec_unpacku_hi_v16qi): Call
652 ix86_expand_sse4_unpack if SSE4.1 is enabled.
653 (vec_unpacks_hi_v16qi): Likewise.
654 (vec_unpacku_lo_v16qi): Likewise.
655 (vec_unpacks_lo_v16qi): Likewise.
656 (vec_unpacku_hi_v8hi): Likewise.
657 (vec_unpacks_hi_v8hi): Likewise.
658 (vec_unpacku_lo_v8hi): Likewise.
659 (vec_unpacks_lo_v8hi): Likewise.
660 (vec_unpacku_hi_v4si): Likewise.
661 (vec_unpacks_hi_v4si): Likewise.
662 (vec_unpacku_lo_v4si): Likewise.
663 (vec_unpacks_lo_v4si): Likewise.
665 2007-05-26 Kazu Hirata <kazu@codesourcery.com>
667 * c-typeck.c, config/arm/arm.c, config/darwin.c,
668 config/sh/symbian.c, gcc.c, ipa-cp.c, ipa-inline.c, loop-iv.c,
669 omega.c, tree-ssa-loop-niter.c, treestruct.def: Fix typos and
670 follow spelling conventions in various
671 warning/error/diagnostic messages.
673 * config/i386/i386.c, config/pa/pa.c, config/spu/spu.c,
674 df-problems.c, df-scan.c, domwalk.c, ebitmap.c, ebitmap.h,
675 fold-const.c, gcc.c, ipa-type-escape.c, omega.c, omega.h,
676 tree-ssa-coalesce.c, tree-ssa-live.c, tree-ssa-structalias.c,
677 tree-vrp.c: Fix comment typos. Follow spelling conventions.
678 * doc/tm.texi: Follow spelling conventions.
680 2007-05-25 Andrew Pinski <andrew_pinski@playstation.sony.com>
683 * tree-ssa-forwprop.c
684 (forward_propagate_addr_into_variable_array_index): Remove
685 the lhs argument. Use the type of def_rhs instead of lhs.
686 (forward_propagate_addr_expr_1): Update use of
687 forward_propagate_addr_into_variable_array_index.
689 2007-05-25 Sandra Loosemore <sandra@codesourcery.com>
690 Nigel Stephens <nigel@mips.com>
692 * config/mips/mips.c (mips_attribute_table): Add "near" and "far"
693 function attributes, "far" being an alias for "long_call".
694 (TARGET_COMP_TYPE_ATTRIBUTES): Define as mips_comp_type_attributes.
695 (mips_near_type_p, mips_far_type_p): New.
696 (mips_comp_type_attributes): New function to check that attributes
697 attached to a function type are compatible.
698 (mips_output_mi_thunk): Test SYMBOL_REF_LONG_CALL_P() rather than
699 TARGET_LONG_CALLS when deciding whether we can do a direct sibcall
700 to the target function of the thunk.
701 (mips_encode_section_info): Check for "near" and "far" function
702 attributes, and always set the SYMBOL_FLAG_LONG_CALL bit explicitly.
704 * config/mips/predicates.md (const_call_insn_operand): Test only
705 SYMBOL_REF_LONG_CALL_P() and not TARGET_LONG_CALLS.
707 * doc/extend.texi (Function Attributes): Document MIPS "near" and
710 * testsuite/gcc.target/mips/near-far-1.c: New test case.
711 * testsuite/gcc.target/mips/near-far-2.c: New test case.
712 * testsuite/gcc.target/mips/near-far-3.c: New test case.
713 * testsuite/gcc.target/mips/near-far-4.c: New test case.
715 2007-05-25 Eric Christopher <echristo@apple.com>
717 * config.gcc: Add i386/t-fprules-softfp64 and soft-fp/t-softfp
718 to x86-darwin configurations.
719 * config/i386/t-darwin: Add softfp support.
720 * config/i386/t-darwin64: Ditto.
721 * config/i386/sfp-machine.h: If mach then don't use
722 aliasing, emit a stub to call.
724 2007-05-25 Kazu Hirata <kazu@codesourcery.com>
726 * cfglayout.c, cgraphunit.c, config/avr/avr.c, fold-const.c,
727 haifa-sched.c, optabs.h, tree-affine.c, tree-data-ref.c,
728 tree-predcom.c, tree-ssa-alias-warnings.c,
729 tree-ssa-forwprop.c, tree-vect-analyze.c, tree-vrp.c: Fix
730 comment typos. Follow spelling conventions.
731 * doc/cpp.texi, doc/invoke.texi: Fix typos.
733 2007-05-26 Uros Bizjak <ubizjak@gmail.com>
736 * target/i386/i386.c (ix86_expand_vector_move): Force SUBREGs of
737 constants into memory. Expand unaligned memory references for
738 SSE modes via x86_expand_vector_move_misalign() function.
740 2007-05-25 Uros Bizjak <ubizjak@gmail.com>
742 * config/i386/sse.md (*vec_extractv2di_1_sse2): Do not calculate
743 "memory" attribute for "sseishft" type insn without operands[2].
745 2007-05-25 Dirk Mueller <dmueller@suse.de>
746 Marcus Meissner <meissner@suse.de>
748 * doc/extend.texi (alloc_size): New attribute.
749 * c-common.c (handle_alloc_size_attribute): New.
750 * tree-object-size.c (alloc_object_size): Use alloc_size
751 attribute, if available.
753 2007-05-25 H.J. Lu <hongjiu.lu@intel.com>
755 * config/i386/i386.c (__builtin_ia32_vec_ext_v2df): Mark it
757 (__builtin_ia32_vec_ext_v2di): Likewise.
758 (__builtin_ia32_vec_ext_v4si): Likewise.
759 (__builtin_ia32_vec_ext_v8hi): Likewise.
760 (__builtin_ia32_vec_ext_v16qi): Likewise.
761 (__builtin_ia32_vec_set_v8hi): Likewise.
763 2007-05-25 H.J. Lu <hongjiu.lu@intel.com>
765 * config/i386/sse.md (*vec_extractv2di_1_sse2): Correct shift.
767 2007-05-25 Richard Sandiford <richard@codesourcery.com>
769 * config/arm/arm-protos.h (arm_encode_call_attribute): Delete.
770 (arm_is_longcall_p): Rename to...
771 (arm_is_long_call_p): ...this. Take a single tree argument and
773 * config/arm/arm.h (CALL_SHORT, CALL_LONG, CALL_NORMAL): Delete.
774 (CUMULATIVE_ARGS): Remove call_cookie.
775 (SHORT_CALL_FLAG_CHAR, LONG_CALL_FLAG_CHAR, ENCODED_SHORT_CALL_ATTR_P)
776 (ENCODED_LONG_CALL_ATTR_P): Delete.
777 (ARM_NAME_ENCODING_LENGTHS): Remove SHORT_CALL_FLAG_CHAR and
778 LONG_CALL_FLAG_CHAR cases.
779 (ARM_DECLARE_FUNCTION_SIZE): Delete.
780 * config/arm/elf.h (ASM_DECLARE_FUNCTION_SIZE): Don't use
781 ARM_DECLARE_FUNCTION_SIZE.
782 * config/arm/arm.c (arm_init_cumulative_args): Don't set call_cookie.
783 (arm_function_arg): Return const0_rtx for VOIDmode arguments.
784 (arm_encode_call_attribute, current_file_function_operand): Delete.
785 (arm_function_in_section_p): New function.
786 (arm_is_longcall_p): Rename to...
787 (arm_is_long_call_p): ...this. Take the target function as a single
788 argument and return a bool. Do not rely on call cookies. Check
789 whether the target symbol is in the same section as the current
790 function, not just the same compilation unit.
791 (arm_function_ok_for_sibcall): Use arm_is_long_call_p.
792 (arm_encode_section_info): Don't encode a call type.
793 * config/arm/arm.md (call, call_value): Update calls to
794 arm_is_long(_)call_p. Simplify logic.
795 (*call_symbol, *call_value_symbol, *call_insn, *call_value_insn):
796 Update calls to arm_is_long(_)call_p.
798 2007-05-25 Richard Guenther <rguenther@suse.de>
800 PR tree-optimization/31982
801 * tree-ssa-forwprop.c
802 (forward_propagate_addr_into_variable_array_index): Handle arrays
803 with element size one.
805 2007-05-24 Andrew Pinski <andrew_pinski@playstation.sony.com>
807 * config/spu/spu.md (smulsi3_highpart): Unshare the rtl chain.
808 (umulsi3_highpart): Likewise.
810 2007-05-24 Ian Lance Taylor <iant@google.com>
812 PR rtl-optimization/32069
813 * regclass.c (regclass): Don't crash if the entry in regno_reg_rtx
816 2007-05-24 Ollie Wild <aaw@google.com>
818 * doc/cpp.texi (Common Predefined Macros): Add __COUNTER__
821 2007-05-24 Richard Sandiford <rsandifo@nildram.co.uk>
823 * postreload-gcse.c (reg_changed_after_insn_p): New function.
824 (oprs_unchanged_p): Use it to check all registers in a REG.
825 (record_opr_changes): Look for clobbers in CALL_INSN_FUNCTION_USAGE.
826 (reg_set_between_after_reload_p): Delete.
827 (reg_used_between_after_reload_p): Likewise.
828 (reg_set_or_used_since_bb_start): Likewise.
829 (eliminate_partially_redundant_load): Use reg_changed_after_insn_p
830 and reg_used_between_p instead of reg_set_or_used_since_bb_start.
831 Use reg_set_between_p instead of reg_set_between_after_reload_p.
832 * rtlanal.c (reg_set_p): Check whether REG overlaps
833 regs_invalidated_by_call, rather than just checking the
834 membership of REGNO (REG).
836 2007-05-24 Zdenek Dvorak <dvorakz@suse.cz>
838 * doc/passes.texi: Document predictive commoning.
839 * doc/invoke.texi (-fpredictive-commoning): Document.
840 * opts.c (decode_options): Enable flag_predictive_commoning on -O3.
841 * tree-ssa-loop-im.c (get_lsm_tmp_name): Export. Allow
842 adding indices to the generated name.
843 (schedule_sm): Pass 0 to get_lsm_tmp_name.
844 * tree-ssa-loop-niter.c (stmt_dominates_stmt_p): Export.
845 * tree-pretty-print.c (op_symbol_1): Renamed to ...
846 (op_symbol_code): ... and exported.
847 (dump_omp_clause, op_symbol): Use op_symbol_code
848 instead of op_symbol_1.
849 * tree-pass.h (pass_predcom): Declare.
850 * timevar.def (TV_PREDCOM): New timevar.
851 * tree-ssa-loop.c (run_tree_predictive_commoning,
852 gate_tree_predictive_commoning, pass_predcom): New.
853 * tree-data-ref.c (find_data_references_in_loop): Find the
854 references in dominance order.
855 (canonicalize_base_object_address): Ensure that the result has
857 (dr_analyze_innermost): Export.
858 (create_data_ref): Code to fail for references with invariant
860 (find_data_references_in_stmt): ... here.
861 * tree-data-ref.h (dr_analyze_innermost): Declare.
862 * tree-affine.c: Include tree-gimple.h and hashtab.h.
863 (aff_combination_find_elt, name_expansion_hash,
864 name_expansion_eq, tree_to_aff_combination_expand,
865 double_int_constant_multiple_p, aff_combination_constant_multiple_p):
867 * tree-affine.h (aff_combination_constant_multiple_p,
868 tree_to_aff_combination_expand): Declare.
869 * tree-predcom.c: New file.
870 * common.opt (fpredictive-commoning): New option.
871 * tree-flow.h (op_symbol_code, tree_predictive_commoning,
872 stmt_dominates_stmt_p, get_lsm_tmp_name): Declare.
873 * Makefile.in (tree-predcom.o): Add.
874 (tree-affine.o): Add TREE_GIMPLE_H dependency.
875 * passes.c (init_optimization_passes): Add dceloop after
876 copy propagation in loop optimizer. Add predictive commoning
877 to loop optimizer passes.
879 2007-05-24 H.J. Lu <hongjiu.lu@intel.com>
881 * target-def.h (TARGET_MANGLE_DECL_ASSEMBLER_NAME): Correct
884 2007-05-24 Jan Hubicka <jh@suse.cz>
886 * gengenrtl.c (gendecl, gendef): Output the gens annotated for
888 (genheader): Include statistics.h.
890 * doc/invoke.texi (-fdump-unnumbered): Update docs when line number
892 * print-rtl.c (flag_dump_unnumbered): Update comments.
893 (print_rtl): Fix my previous change.
894 * emit-rtl.c (emit_note_before, emit_note_after): Clear out note
897 2007-05-24 Zdenek Dvorak <dvorakz@suse.cz>
900 * tree-ssa-threadupdate.c (thread_through_loop_header): Use
902 (thread_through_all_blocks): Call initialize_original_copy_tables
903 and free_original_copy_tables.
904 * cfgloopmanip.c (duplicate_loop, duplicate_loop_to_header_edge):
906 * tree-cfg.c (tree_duplicate_sese_region): Ditto.
907 * cfghooks.c (duplicate_block): Use get_loop_copy.
908 * cfg.c: Include cfgloop.h.
909 (loop_copy): New hash table.
910 (initialize_original_copy_tables): Initialize loop_copy table.
911 (free_original_copy_tables): Free loop_copy table.
912 (copy_original_table_clear, copy_original_table_set,
913 set_loop_copy, get_loop_copy): New functions.
914 (set_bb_original, set_bb_copy): Use copy_original_table_set.
915 * cfgloop.h (struct loop): Remove copy field.
916 * Makefile.in (cfg.o): Add CFGLOOP_H dependency.
917 * basic-block.h (set_loop_copy, get_loop_copy): Declare.
919 2007-05-24 H.J. Lu <hongjiu.lu@intel.com>
921 * config/i386/i386.c (ix86_handle_option): Handle SSE4.1 for
924 2007-05-24 H.J. Lu <hongjiu.lu@intel.com>
926 * config/i386/i386.c (ix86_init_mmx_sse_builtins): Mark
927 __builtin_ia32_vec_set_v2di with MASK_64BIT.
929 2007-05-24 Danny Smith <dannysmith@users.sourceforge.net>
932 * doc/tm.texi (TARGET_MANGLE_DECL_ASSEMBLER_NAME): Document.
933 * targhooks.h (default_mangle_decl_assembler_name): Declare
935 * targhooks.c (default_mangle_decl_assembler_name): Define
937 * target-def.h (TARGET_MANGLE_DECL_ASSEMBLER_NAME) New. Set to
939 * target.h (struct gcc_target): Add mangle_decl_assembler_name field.
940 * langhooks.c (lhd_set_decl_assembler_name): Call
941 targetm.mangle_decl_assembler_name for names with global scope.
943 * config/i386/cygming.h (TARGET_MANGLE_DECL_ASSEMBLER_NAME) Override
945 (ASM_OUTPUT_DEF_FROM_DECLS): Simplify to use DECL_ASSEMBLER_NAME.
946 * config/i386/i386-protos.h (i386_pe_mangle_decl_assembler_name):
948 * config/i386/winnt.c (i386_pe_maybe_mangle_decl_assembler_name):
949 New. Factored out of i386_pe_encode_section_info.
950 (gen_stdcall_or_fastcall_suffix): Get name identifier as argument.
951 Move check for prior decoration of stdcall
952 symbols to i386_pe_encode_section_info.
953 (i386_pe_encode_section_info): Adjust call to
954 gen_stdcall_or_fastcall_suffix. Use
955 i386_pe_maybe_mangle_decl_assembler_name, if needed.
956 (i386_pe_mangle_decl_assembler_name): New. Wrap
957 i386_pe_maybe_mangle_decl_assembler_name.
959 2007-05-16 Rafael Avila de Espindola <espindola@google.com>
961 * c-common.c (c_common_signed_or_unsigned_type): Delay the check for
962 INTEGRAL_TYPE_P and TYPE_UNSIGNED.
963 * langhooks.c (get_signed_or_unsigned_type): Don't check for
964 INTEGRAL_TYPE_P or TYPE_UNSIGNED.
965 (lhd_signed_or_unsigned_type): Check for INTEGRAL_TYPE_P and
968 2007-05-23 Sandra Loosemore <sandra@codesourcery.com>
969 Nigel Stephens <nigel@mips.com>
970 Richard Sandiford <richard@codesourcery.com>
972 Fix up MIPS16 hard float and add support for complex.
974 * config/mips/mips.h (TARGET_HARD_FLOAT_ABI): New.
975 (TARGET_SOFT_FLOAT_ABI): New.
976 (TARGET_CPU_CPP_BUILTINS): Define __mips_hard_float and
977 __mips_soft_float to reflect the ABI in use, not whether the
978 FPU is directly accessible (e.g., in MIPS16 mode).
979 (UNITS_PER_HWFPVALUE): Use TARGET_SOFT_FLOAT_ABI.
980 (UNITS_PER_FPVALUE): Likewise.
982 * config/mips/mips.c (mips_expand_call): Remove redundant
984 (mips_arg_regno): New.
985 (function_arg_advance): When setting bits in cum->fp_code for
986 MIPS16, don't subtract 1 from cum->arg_number, since it is now
988 (function_arg): Use mips_arg_regno.
989 (mips_return_mode_in_fpr_p): New.
990 (mips16_call_stub_mode_suffix): New.
991 (mips16_cfun_returns_in_fpr_p): New.
992 (mips_save_reg_p): Use mips16_cfun_returns_in_fpr_p.
993 (mips_output_function_prologue): Test mips16_hard_float, not
994 !TARGET_SOFT_FLOAT, to decide when a function stub is required.
995 (mips_expand_epilogue): Call MIPS16 helper routines to copy
996 return value into a floating-point register.
997 (mips_can_use_return_insn): Use mips16_cfun_returns_in_fpr_p.
998 (mips_function_value): Rewrite to use mips_return_mode_in_fpr_p.
999 (mips16_fp_args): Handle MIPS32r2 ISA which supports
1000 TARGET_FLOAT64, and use mfhc1/mthc1 to copy the most significant
1001 word of double arguments from or to the high bits of 64-bit
1002 floating point registers.
1003 (build_mips16_function_stub): Fill in DECL_RESULT for stubdecl.
1004 (mips16_fpret_double): New helper function.
1005 (build_mips16_call_stub): Use mips16_return_mode_in_fpr_p. Add
1006 support for complex modes. Fill in DECL_RESULT for stubdecl.
1007 (mips_init_libfuncs): Remove redundant TARGET_MIPS16 check.
1009 * config/mips/mips16.S
1010 (RET, ARG1, ARG2): New.
1011 (MERGE_GPRf, MERGE_GPRt): New.
1012 (DELAYt, DELAYf): New.
1013 (MOVE_SF_BYTE0, MOVE_SI_BYTE0): New.
1014 (MOVE_SF_BYTE4, MOVE_SF_BYTE8): New.
1015 (MOVE_DF_BYTE0, MOVE_DF_BYTE8): New.
1016 (MOVE_SF_RET, MOVE_SC_RET, MOVE_DF_RET, MOVE_DC_RET, MOVE_SI_RET): New.
1017 (SFOP): Renamed to...
1018 (OPSF3): This, and macro-ified. Updated all uses.
1019 (SFOP2): Renamed to...
1020 (OPSF2): This, and macro-ified. Updated all uses.
1021 (SFCMP): Renamed to...
1022 (CMPSF): This, and macro-ified. Updated all uses.
1023 (SFREVCMP): Renamed to...
1024 (REVCMPSF): This, and macro-ified. Updated all uses.
1025 (__mips16_floatsisf, __mips16_fix_truncsfsi): Macro-ified.
1026 (LDDBL1, LDDBL2, RETDBL): Deleted.
1027 (DFOP): Renamed to...
1028 (OPDF3): This, and macro-ified. Updated all uses.
1029 (DFOP2): Renamed to...
1030 (OPDF2): This, and macro-ified. Updated all uses.
1031 (__mips16_extendsfdf2, __mips16_truncdfsf2): Macro-ified.
1032 (DFCMP): Renamed to...
1033 (CMPDF): This, and macro-ified. Updated all uses.
1034 (DFREVCMP): Renamed to...
1035 (REVCMPDF): This, and macro-ified. Updated all uses.
1036 (__mips16_floatsidf, __mips16_fix_truncdfsi): Macro-ified.
1037 (RET_FUNCTION): New.
1038 (__mips16_ret_sf, __mips16_ret_df): Macro-ified.
1039 (__mips16_ret_sc, __mips16_ret_dc): New.
1040 (STUB_ARGS_0, STUB_ARGS_1, STUB_ARGS_5, STUB_ARGS_9, STUB_ARGS_2,
1041 STUB_ARGS_6, STUB_ARGS_10): New.
1042 (CALL_STUB_NO_RET): New.
1043 (__mips16_call_stub_1): Macro-ified.
1044 (__mips16_call_stub_5): Macro-ified.
1045 (__mips16_call_stub_2): Macro-ified.
1046 (__mips16_call_stub_6): Macro-ified.
1047 (__mips16_call_stub_9): Macro-ified.
1048 (__mips16_call_stub_10): Macro-ified.
1049 (CALL_STUB_RET): New.
1050 (__mips16_call_stub_sf_0): Macro-ified.
1051 (__mips16_call_stub_sf_1): Macro-ified.
1052 (__mips16_call_stub_sf_5): Macro-ified.
1053 (__mips16_call_stub_sf_2): Macro-ified.
1054 (__mips16_call_stub_sf_6): Macro-ified.
1055 (__mips16_call_stub_sf_9): Macro-ified.
1056 (__mips16_call_stub_sf_10): Macro-ified.
1057 (__mips16_call_stub_df_0): Macro-ified.
1058 (__mips16_call_stub_df_1): Macro-ified.
1059 (__mips16_call_stub_df_5): Macro-ified.
1060 (__mips16_call_stub_df_2): Macro-ified.
1061 (__mips16_call_stub_df_6): Macro-ified.
1062 (__mips16_call_stub_df_9): Macro-ified.
1063 (__mips16_call_stub_df_10): Macro-ified.
1064 (__mips16_call_stub_sc_0): New.
1065 (__mips16_call_stub_sc_1): New.
1066 (__mips16_call_stub_sc_5): New.
1067 (__mips16_call_stub_sc_2): New.
1068 (__mips16_call_stub_sc_6): New.
1069 (__mips16_call_stub_sc_9): New.
1070 (__mips16_call_stub_sc_10): New.
1071 (__mips16_call_stub_dc_0): New.
1072 (__mips16_call_stub_dc_1): New.
1073 (__mips16_call_stub_dc_5): New.
1074 (__mips16_call_stub_dc_2): New.
1075 (__mips16_call_stub_dc_6): New.
1076 (__mips16_call_stub_dc_9): New.
1077 (__mips16_call_stub_dc_10): New.
1079 * config/mips/t-elf (LIB1ASMFUNCS): Add MIPS16 floating-point stubs.
1080 * config/mips/t-isa3264 (LIB1ASMFUNCS): Likewise.
1081 * config/mips/t-r2900 (LIB1ASMFUNCS): Likewise.
1083 2007-05-23 Ian Lance Taylor <iant@google.com>
1085 * doc/invoke.texi (Invoking GCC): Document that the order of the
1088 2007-05-23 Chen Liqin <liqin@sunnorth.com.cn>
1091 * config/score/misc.md (bitclr_c, bitset_c, bittgl_c): Remove.
1092 * config/score/predicate.md (const_pow2, const_npow2): Remove.
1093 * config/score/score.h (ASM_OUTPUT_EXTERNAL): Add ASM_OUTPUT_EXTERNAL
1097 * config/score/score.c (score_print_operand): Make sure that only
1098 lower bits are used.
1100 2007-05-22 Ian Lance Taylor <iant@google.com>
1102 * tree-vrp.c (avoid_overflow_infinity): New static function,
1103 broken out of set_value_range_to_value.
1104 (set_value_range_to_value): Call avoid_overflow_infinity.
1105 (extract_range_from_assert): Likewise.
1107 2007-05-22 Andrew Pinski <andrew_pinski@playstation.sony.com>
1110 * builtins.c (expand_builtin_memmove_args): Strip nops that don't
1111 change the type before looking for a COMPOUND_EXPR.
1113 2007-05-22 Ian Lance Taylor <iant@google.com>
1115 * lower-subreg.c (decompose_multiword_subregs): If we change an
1116 insn, call remove_retval_note on it.
1118 2007-05-22 Richard Sandiford <rsandifo@nildram.co.uk>
1120 * regs.h (end_hard_regno): New function.
1121 (END_HARD_REGNO, END_REGNO): New macros.
1122 (add_to_hard_reg_set): New function.
1123 (remove_from_hard_reg_set): Likewise.
1124 (in_hard_reg_set_p): Likewise.
1125 (overlaps_hard_reg_set_p): Likewise.
1126 * bt-load.c (find_btr_reference): Use overlaps_hard_reg_set_p.
1127 (note_btr_set): Use END_HARD_REGNO.
1128 * caller-save.c (setup_save_areas): Use end_hard_regno.
1129 (mark_set_regs): Use END_HARD_REGNO.
1130 (add_stored_regs): Use end_hard_regno.
1131 (mark_referenced_regs): Use add_to_hard_reg_set.
1132 * combine.c (update_table_tick): Use END_REGNO.
1133 (record_value_for_reg): Likewise.
1134 (record_dead_and_set_regs): Likewise.
1135 (get_last_value_validate): Likewise.
1136 (use_crosses_set_p): Likewise.
1137 (reg_dead_at_p_1): Likewise.
1138 (reg_dead_at_p): Likewise.
1139 (mark_used_regs_combine): Use add_to_hard_reg_set.
1140 (move_deaths): Use END_HARD_REGNO.
1141 (reg_bitfield_target_p): Use end_hard_regno.
1142 (distribute_notes): Use END_HARD_REGNO.
1143 * cse.c (mention_regs): Use END_REGNO.
1144 (insert): Use add_to_hard_reg_set.
1145 (invalidate): Use END_HARD_REGNO.
1146 (invalidate_for_call): Likewise.
1147 (exp_equiv_p): Use END_REGNO.
1148 (cse_insn): Likewise.
1149 * cselib.c (cselib_invalidate_regno): Use end_hard_regno.
1150 * df-problems.c (df_urec_mark_reg_change): Use END_HARD_REGNO.
1151 * df-scan.c (df_ref_record): Use END_HARD_REGNO.
1152 * function.c (keep_stack_depressed): Use end_hard_regno.
1153 * global.c (global_alloc): Use end_hard_regno.
1154 (global_conflicts): Use add_to_hard_reg_set instead of
1156 (find_reg): Likewise.
1157 (mark_reg_store): Likewise.
1158 (mark_reg_conflicts): Likewise.
1159 (mark_reg_death): Use remove_from_hard_reg_set.
1160 (mark_reg_live_nc): Delete.
1161 (set_preference): Use end_hard_regno.
1162 * local-alloc.c (mark_life): Use add_to_hard_reg_set and
1163 remove_from_hard_reg_set.
1164 (post_mark_life): Use add_to_hard_reg_set.
1165 * mode-switching.c (reg_dies): Use remove_from_hard_reg_set.
1166 (reg_becomes_live): Use add_to_hard_reg_set.
1167 * recog.c (reg_fits_class_p): Use in_hard_reg_set_p.
1168 (peep2_find_free_register): Use add_to_hard_reg_set.
1169 * reg-stack.c (convert_regs_exit): Use END_HARD_REGNO.
1170 * regclass.c (record_reg_classes): Use in_hard_reg_set_p.
1171 * regrename.c (note_sets): Use add_to_hard_reg_set.
1172 (clear_dead_regs): Use remove_from_hard_reg_set.
1173 (regrename_optimize): Use add_to_hard_reg_set.
1174 (find_oldest_value_reg): Use in_hard_reg_set_p.
1175 * reload.c (push_reload): Use in_hard_reg_set_p and end_hard_regno.
1176 (hard_reg_set_here_p): Use end_hard_regno.
1177 (decompose): Likewise.
1178 (reg_overlap_mentioned_for_reload_p): Use END_HARD_REGNO.
1179 (find_equiv_reg): Use in_hard_reg_set_p and end_hard_regno.
1180 * reload1.c (compute_use_by_pseudos): Use add_to_hard_reg_set.
1181 (mark_home_live): Use end_hard_regno.
1182 (spill_hard_reg): Likewise.
1183 (clear_reload_reg_in_use): Likewise.
1184 * reorg.c (delete_prior_computation): Use END_REGNO.
1185 * resource.c (update_live_status): Use END_HARD_REGNO.
1186 (mark_referenced_resources): Use add_to_hard_reg_set.
1187 (mark_set_resources): Likewise.
1188 (mark_target_live_regs): Likewise. Use remove_from_hard_reg_set.
1189 * rtlanal.c (refers_to_regno_p): Use END_REGNO.
1190 (reg_overlap_mentioned_p): Likewise.
1191 (dead_or_set_p): Likewise. Use an exclusive upper loop bound.
1192 (covers_regno_no_parallel_p): Use END_REGNO.
1193 (find_regno_note): Likewise.
1194 (find_reg_fusage): Use END_HARD_REGNO.
1195 * stmt.c (decl_overlaps_hard_reg_set_p): Use overlaps_hard_reg_set_p.
1196 * var-tracking.c (emit_note_insn_var_location): Use end_hard_regno.
1198 2007-05-22 Richard Sandiford <rsandifo@nildram.co.uk>
1200 * mode-switching.c (reg_dies): Change type of second argument to
1202 (optimize_mode_switching): Update accordingly.
1204 2007-05-22 Richard Sandiford <richard@codesourcery.com>
1206 * hard-reg-set.h (GO_IF_HARD_REG_SUBSET, GO_IF_HARD_REG_EQUAL): Delete
1208 (hard_reg_subset_p, hard_reg_sets_equal_p, hard_reg_sets_intersect_p)
1209 (hard_reg_set_empty_p): ...these new functions.
1210 * bt-load.c (choose_btr): Use hard_reg_subset_p instead of
1211 GO_IF_HARD_REG_SUBSET.
1212 * cfgcleanup.c (old_insns_match_p): Use hard_reg_sets_equal_p
1213 instead of GO_IF_HARD_REG_EQUAL.
1214 * df-problems.c (df_urec_local_compute): Use hard_reg_set_empty_p
1215 instead of GO_IF_HARD_REG_EQUAL.
1216 * global.c (find_reg): Use hard_reg_set_empty_p instead of
1217 GO_IF_HARD_REG_SUBSET.
1218 (modify_reg_pav): Use hard_reg_set_empty_p instead of
1219 GO_IF_HARD_REG_EQUAL.
1220 * local-alloc.c (find_free_reg): Use hard_reg_subset_p instead
1221 of GO_IF_HARD_REG_SUBSET.
1222 * reg-stack.c (change_stack, convert_regs_1): Use hard_reg_sets_equal_p
1223 instead of GO_IF_HARD_REG_EQUAL.
1224 * regclass.c (init_reg_sets_1, reg_scan_mark_refs): Use
1225 hard_reg_subset_p instead of GO_IF_HARD_REG_SUBSET.
1226 (reg_classes_intersect_p): Use hard_reg_sets_intersect_p instead
1227 of GO_IF_HARD_REG_SUBSET,
1228 * reload1.c (finish_spills): Use hard_reg_subset_p instead of
1229 GO_IF_HARD_REG_SUBSET.
1230 * struct-equiv.c (death_notes_match_p): Use hard_reg_sets_equal_p
1231 instead of GO_IF_HARD_REG_EQUAL.
1232 * config/sh/sh.c (push_regs, calc_live_regs): Use
1233 hard_reg_sets_intersect_p instead of hard_regs_intersect_p.
1234 (hard_regs_intersect_p): Delete.
1236 2007-05-22 Janis Johnson <janis187@us.ibm.com>
1238 * doc/sourcebuild.texi (Test Directives) Add dg-message.
1240 2007-05-22 H.J. Lu <hongjiu.lu@intel.com>
1241 Richard Henderson <rth@redhat.com>
1243 * config.gcc (i[34567]86-*-*): Add smmintrin.h to
1245 (x86_64-*-*): Likewise.
1247 * i386/i386-modes.def (V2QI): New.
1249 * config/i386/i386.c (ix86_handle_option): Handle SSE4.1 and
1251 (override_options): Support SSE4.1.
1252 (IX86_BUILTIN_BLENDPD): New for SSE4.1.
1253 (IX86_BUILTIN_BLENDPS): Likewise.
1254 (IX86_BUILTIN_BLENDVPD): Likewise.
1255 (IX86_BUILTIN_BLENDVPS): Likewise.
1256 (IX86_BUILTIN_PBLENDVB128): Likewise.
1257 (IX86_BUILTIN_PBLENDW128): Likewise.
1258 (IX86_BUILTIN_DPPD): Likewise.
1259 (IX86_BUILTIN_DPPS): Likewise.
1260 (IX86_BUILTIN_INSERTPS128): Likewise.
1261 (IX86_BUILTIN_MOVNTDQA): Likewise.
1262 (IX86_BUILTIN_MPSADBW128): Likewise.
1263 (IX86_BUILTIN_PACKUSDW128): Likewise.
1264 (IX86_BUILTIN_PCMPEQQ): Likewise.
1265 (IX86_BUILTIN_PHMINPOSUW128): Likewise.
1266 (IX86_BUILTIN_PMAXSB128): Likewise.
1267 (IX86_BUILTIN_PMAXSD128): Likewise.
1268 (IX86_BUILTIN_PMAXUD128): Likewise.
1269 (IX86_BUILTIN_PMAXUW128): Likewise.
1270 (IX86_BUILTIN_PMINSB128): Likewise.
1271 (IX86_BUILTIN_PMINSD128): Likewise.
1272 (IX86_BUILTIN_PMINUD128): Likewise.
1273 (IX86_BUILTIN_PMINUW128): Likewise.
1274 (IX86_BUILTIN_PMOVSXBW128): Likewise.
1275 (IX86_BUILTIN_PMOVSXBD128): Likewise.
1276 (IX86_BUILTIN_PMOVSXBQ128): Likewise.
1277 (IX86_BUILTIN_PMOVSXWD128): Likewise.
1278 (IX86_BUILTIN_PMOVSXWQ128): Likewise.
1279 (IX86_BUILTIN_PMOVSXDQ128): Likewise.
1280 (IX86_BUILTIN_PMOVZXBW128): Likewise.
1281 (IX86_BUILTIN_PMOVZXBD128): Likewise.
1282 (IX86_BUILTIN_PMOVZXBQ128): Likewise.
1283 (IX86_BUILTIN_PMOVZXWD128): Likewise.
1284 (IX86_BUILTIN_PMOVZXWQ128): Likewise.
1285 (IX86_BUILTIN_PMOVZXDQ128): Likewise.
1286 (IX86_BUILTIN_PMULDQ128): Likewise.
1287 (IX86_BUILTIN_PMULLD128): Likewise.
1288 (IX86_BUILTIN_ROUNDPD): Likewise.
1289 (IX86_BUILTIN_ROUNDPS): Likewise.
1290 (IX86_BUILTIN_ROUNDSD): Likewise.
1291 (IX86_BUILTIN_ROUNDSS): Likewise.
1292 (IX86_BUILTIN_PTESTZ): Likewise.
1293 (IX86_BUILTIN_PTESTC): Likewise.
1294 (IX86_BUILTIN_PTESTNZC): Likewise.
1295 (IX86_BUILTIN_VEC_EXT_V16QI): Likewise.
1296 (IX86_BUILTIN_VEC_SET_V2DI): Likewise.
1297 (IX86_BUILTIN_VEC_SET_V4SF): Likewise.
1298 (IX86_BUILTIN_VEC_SET_V4SI): Likewise.
1299 (IX86_BUILTIN_VEC_SET_V16QI): Likewise.
1301 (bdesc_sse_3arg): Likewise.
1302 (bdesc_2arg): Likewise.
1303 (bdesc_1arg): Likewise.
1304 (ix86_init_mmx_sse_builtins): Support SSE4.1. Handle SSE builtins
1306 (ix86_expand_sse_4_operands_builtin): New.
1307 (ix86_expand_unop_builtin): Support 2 arg builtins with a constant
1308 smaller than 8 bits as the 2nd arg.
1309 (ix86_expand_sse_ptest): New.
1310 (ix86_expand_builtin): Support SSE4.1. Support 3 arg SSE builtins.
1311 (ix86_expand_vector_set): Support SSE4.1.
1312 (ix86_expand_vector_extract): Likewise.
1314 * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Define
1315 __SSE4_1__ for -msse4.1.
1317 * config/i386/i386.md (UNSPEC_BLENDV): New for SSE4.1.
1318 (UNSPEC_INSERTPS): Likewise.
1319 (UNSPEC_DP): Likewise.
1320 (UNSPEC_MOVNTDQA): Likewise.
1321 (UNSPEC_MPSADBW): Likewise.
1322 (UNSPEC_PHMINPOSUW): Likewise.
1323 (UNSPEC_PTEST): Likewise.
1324 (UNSPEC_ROUNDP): Likewise.
1325 (UNSPEC_ROUNDS): Likewise.
1327 * config/i386/i386.opt (msse4.1): New for SSE4.1.
1329 * config/i386/predicates.md (const_pow2_1_to_2_operand): New.
1330 (const_pow2_1_to_32768_operand): Likewise.
1332 * config/i386/smmintrin.h: New. The SSE4.1 intrinsic header
1335 * config/i386/sse.md (*vec_setv4sf_sse4_1): New pattern for
1337 (sse4_1_insertps): Likewise.
1338 (*sse4_1_extractps): Likewise.
1339 (sse4_1_ptest): Likewise.
1340 (sse4_1_mulv2siv2di3): Likewise.
1341 (*sse4_1_mulv4si3): Likewise.
1342 (*sse4_1_smax<mode>3): Likewise.
1343 (*sse4_1_umax<mode>3): Likewise.
1344 (*sse4_1_smin<mode>3): Likewise.
1345 (*sse4_1_umin<mode>3): Likewise.
1346 (sse4_1_eqv2di3): Likewise.
1347 (*sse4_1_pinsrb): Likewise.
1348 (*sse4_1_pinsrd): Likewise.
1349 (*sse4_1_pinsrq): Likewise.
1350 (*sse4_1_pextrb): Likewise.
1351 (*sse4_1_pextrb_memory): Likewise.
1352 (*sse4_1_pextrw_memory): Likewise.
1353 (*sse4_1_pextrq): Likewise.
1354 (sse4_1_blendpd): Likewise.
1355 (sse4_1_blendps): Likewise.
1356 (sse4_1_blendvpd): Likewise.
1357 (sse4_1_blendvps): Likewise.
1358 (sse4_1_dppd): Likewise.
1359 (sse4_1_dpps): Likewise.
1360 (sse4_1_movntdqa): Likewise.
1361 (sse4_1_mpsadbw): Likewise.
1362 (sse4_1_packusdw): Likewise.
1363 (sse4_1_pblendvb): Likewise.
1364 (sse4_1_pblendw): Likewise.
1365 (sse4_1_phminposuw): Likewise.
1366 (sse4_1_extendv8qiv8hi2): Likewise.
1367 (*sse4_1_extendv8qiv8hi2): Likewise.
1368 (sse4_1_extendv4qiv4si2): Likewise.
1369 (*sse4_1_extendv4qiv4si2): Likewise.
1370 (sse4_1_extendv2qiv2di2): Likewise.
1371 (*sse4_1_extendv2qiv2di2): Likewise.
1372 (sse4_1_extendv4hiv4si2): Likewise.
1373 (*sse4_1_extendv4hiv4si2): Likewise.
1374 (sse4_1_extendv2hiv2di2): Likewise.
1375 (*sse4_1_extendv2hiv2di2): Likewise.
1376 (sse4_1_extendv2siv2di2): Likewise.
1377 (*sse4_1_extendv2siv2di2): Likewise.
1378 (sse4_1_zero_extendv8qiv8hi2): Likewise.
1379 (*sse4_1_zero_extendv8qiv8hi2): Likewise.
1380 (sse4_1_zero_extendv4qiv4si2): Likewise.
1381 (*sse4_1_zero_extendv4qiv4si2): Likewise.
1382 (sse4_1_zero_extendv2qiv2di2): Likewise.
1383 (*sse4_1_zero_extendv2qiv2di2): Likewise.
1384 (sse4_1_zero_extendv4hiv4si2): Likewise.
1385 (*sse4_1_zero_extendv4hiv4si2): Likewise.
1386 (sse4_1_zero_extendv2hiv2di2): Likewise.
1387 (*sse4_1_zero_extendv2hiv2di2): Likewise.
1388 (sse4_1_zero_extendv2siv2di2): Likewise.
1389 (*sse4_1_zero_extendv2siv2di2): Likewise.
1390 (sse4_1_roundpd): Likewise.
1391 (sse4_1_roundps): Likewise.
1392 (sse4_1_roundsd): Likewise.
1393 (sse4_1_roundss): Likewise.
1394 (mulv4si3): Don't expand for SSE4.1.
1395 (smax<mode>3): Likewise.
1396 (umaxv4si3): Likewise.
1397 (uminv16qi3): Likewise.
1398 (umin<mode>3): Likewise.
1399 (umaxv8hi3): Rewrite. Only enabled for SSE4.1.
1401 * doc/extend.texi: Document SSE4.1 built-in functions.
1403 * doc/invoke.texi: Document -msse4.1.
1405 2007-05-22 Nathan Sidwell <nathan@codesourcery.com>
1407 * config/m68k/linux.h (ASM_SPEC): Add asm_pcrel_spec.
1408 * config/m68k/m68k-none.h (ASM_SPEC): Don't override here.
1409 * config/m68k/m68k.h (ASM_PCREL_SPEC): New.
1410 (ASM_SPEC): Add asm_pcrel_spec.
1411 (EXTRA_SPECS): Add asm_pcrel_spec.
1413 2007-05-21 David Daney <ddaney@avtrex.com>
1415 * doc/install.texi (Building a cross compiler): Add requirements
1416 for Java cross compiler.
1418 2007-05-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
1421 * tree-chrec.c (evolution_function_is_affine_multivariate_p):
1422 Add loopno argument. Use evolution_function_is_invariant_rec_p
1423 instead of evolution_function_is_constant_p.
1424 Update calls to evolution_function_is_affine_multivariate_p.
1425 * tree-chrec.h (evolution_function_is_affine_multivariate_p):
1426 Add loopno argument.
1427 * tree-scalar-evolution.c (gather_chrec_stats): Call
1428 evolution_function_is_affine_multivariate_p with a loop
1430 * tree-data-ref.c (analyze_miv_subscript): Likewise.
1431 (analyze_overlapping_iterations): Likewise.
1432 (access_functions_are_affine_or_constant_p): Likewise.
1433 (build_classic_dist_vector_1): If the access functions
1434 are equal, don't do anything.
1436 2007-05-21 Paolo Bonzini <bonzini@gnu.org>
1437 Paolo Carlini <pcarlini@suse.de>
1438 Uros Bizjak <ubizjak@gmail.com>
1440 * c-cppbuiltin.c (c_cpp_builtins): Define
1441 __GCC_HAVE_SYNC_COMPARE_AND_SWAP_1, __GCC_HAVE_SYNC_COMPARE_AND_SWAP_2,
1442 __GCC_HAVE_SYNC_COMPARE_AND_SWAP_4, __GCC_HAVE_SYNC_COMPARE_AND_SWAP_8,
1443 __GCC_HAVE_SYNC_COMPARE_AND_SWAP_16, if appropriate.
1444 * doc/cpp.texi ([Standard Predefined Macros]): Document.
1446 2007-05-21 Mike Stump <mrs@apple.com>
1448 * config/darwin.h (LINK_COMMAND_SPEC): Add .cxx/.cp for dsymutil
1450 * config/darwin9.h (LINK_COMMAND_SPEC): Likewise.
1452 2007-05-21 Uros Bizjak <ubizjak@gmail.com>
1454 * config/i386/tmmintrin.h (_mm_alignr_epi8): Provide macro
1455 implementation if __OPTIMIZE__ is not defined.
1456 (_mm_alignr_pi8): Ditto.
1457 * config/i386/ammintrin.h (_mm_extracti_si64): Ditto.
1458 (_mm_inserti_si64): Ditto.
1459 * config/i386/emmintrin.h (_mm_shuffle_pd): Ditto.
1460 (_mm_slli_epi16): Ditto.
1461 (_mm_slli_epi32): Ditto.
1462 (_mm_slli_epi64): Ditto.
1463 (_mm_srai_epi16): Ditto.
1464 (_mm_srai_epi32): Ditto.
1465 (_mm_srli_si128): Ditto.
1466 (_mm_slli_si128): Ditto.
1467 (_mm_srli_epi16): Ditto.
1468 (_mm_srli_epi32): Ditto.
1469 (_mm_srli_epi64): Ditto.
1470 (_mm_extract_epi16): Ditto.
1471 (_mm_insert_epi16): Ditto.
1472 (_mm_shufflehi_epi16): Ditto.
1473 (_mm_shufflelo_epi16): Ditto.
1474 (_mm_shuffle_epi32): Ditto.
1475 * config/i386/xmmintrin.h (_mm_extract_pi16): Ditto.
1477 (_mm_insert_pi16): Ditto.
1479 (_mm_shuffle_pi16): Ditto.
1481 (_mm_shufle_ps): Ditto.
1482 (_mm_prefetch): Ditto.
1484 2007-05-21 Andreas Krebbel <krebbel1@de.ibm.com>
1486 * defaults.h (IBM_FLOAT_FORMAT): Macro definition removed.
1487 * doc/tm.texi (IBM_FLOAT_FORMAT): Documentation entry removed.
1488 * real.c (encode_i370_single, decode_i370_single,
1489 encode_i370_double, decode_i370_double): Functions removed.
1490 (i370_single_format, i370_double_format): Initializations removed.
1491 (real_maxval, round_for_format, exact_real_truncate, significand_size):
1492 Consider the log2_b field to always be one.
1493 (ieee_single_format, mips_single_format, coldfire_single_format,
1494 ieee_double_format, mips_double_format, coldfire_double_format,
1495 ieee_extended_motorola_format, ieee_extended_intel_96_format,
1496 ieee_extended_intel_128_format, ieee_extended_intel_96_round_53_format,
1497 ibm_extended_format, mips_extended_format, ieee_quad_format,
1498 mips_quad_format, vax_f_format, vax_d_format, vax_g_format,
1499 decimal_single_format, decimal_double_format, decimal_quad_format,
1500 c4x_single_format, c4x_extended_format, real_internal_format): Remove
1501 initialization of log2_b.
1502 * real.h (i370_single_format, i370_double_format): Declarations removed.
1503 * c-cppbuiltin.c (builtin_define_float_constants): Consider the log2_b
1504 field to always be one.
1506 2007-05-21 Andreas Schwab <schwab@suse.de>
1508 * config/ia64/ia64.c (emit_predicate_relation_info): Fix use of
1509 NOTE_INSN_BASIC_BLOCK_P.
1510 (process_for_unwind_directive): Likewise.
1512 2007-05-21 Nathan Sidwell <nathan@codesourcery.com>
1514 * builtins.c (expand_builtin_setjmp_setup): Update comment.
1515 * function.h (struct function): Move va_list_gpr_size,
1516 va_list_fpr_size, function_frequency to front of bitfields. Add
1518 (current_function_calls_unwind_init): New.
1519 * except.c (expand_builtin_unwind_init): Set
1520 current_function_calls_unwind_init not
1521 current_function_has_nonlocal_label.
1522 * reload1.c (has_nonexceptional_receiver): New.
1523 (reload): Use it and current_function_calls_unwind_init to
1524 determine whether call-saved regs must be saved.
1526 2007-05-20 Jan Hubicka <jh@suse.cz>
1528 * gengtype.c (adjust_field_rtx_def): Use NOTE_KIND instead of
1529 NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
1530 * ddg.c (create_ddg): LIkewise.
1531 * final.c (final): Remove hunk moving line numbernotes around since
1532 they are no longer present at this stage.
1533 (final_scan_insn): Use NOTE_KIND instead of
1534 NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
1535 (output_asm_label): Likewise.
1536 * reorg.c (dbr_schedule): Likewise.
1537 * haifa-sched.c (unlink_other_notes): Likewise.
1538 * mode-switching.c (optimize_mode_switching): Likewise.
1539 * graph.c (start_bb): Likewise.
1540 * rtl.def (NOTE): Update description.
1541 * jump.c (squeeze_notes): Delete.
1542 (mark_jump_label): Use NOTE_KIND instead of NOTE_LINE_NUMBER; use
1543 NOTE_INSN_BASIC_BLOCK_P when possible.
1544 * ifcvt.c (dead_or_predicable): Remove call of squeeze_notes.
1545 * dwarf2out.c (gen_label_die): Use NOTE_KIND instead of
1546 NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P when possible.
1547 (dwarf2out_var_location): Likewise.
1548 * cfgbuild.c (make_edges): Likewise.
1549 (find_basic_blocks_1): Likewise.
1550 * function.c (reorder_blocks_1): Likewise.
1551 (epilogue_done): Likewise.
1552 (reposition_prologue_and_epilogue_notes): Likewise.
1553 * print-rtl.c (print_rtx): Likewise; drop code for printing line number
1555 (print_rtl): Likewise.
1556 (print_rtl_single): Likewise.
1557 * gcse.c (insert_insn_start_bb): Likewise.
1558 * alias.c (init_alias_analysis): Likewise.
1559 * calls.c (fixup_tail_calls): Likewise.
1560 * except.c (sjlj_emit_function_enter): Likewise.
1561 * emit-rtl.c (add_insn_after): Likeiwse.
1562 (emit_label_before): Likewise.
1563 (emit_label_after): Likewise.
1564 (emit_note_before, emit_note_after, emit_note): Update
1565 parameter to be enum insn_note; do not deal with source
1567 * cfgcleanup.c (merge_blocks_move_predecessor_nojumps):
1568 Use NOTE_KIND instead of NOTE_LINE_NUMBER; use NOTE_INSN_BASIC_BLOCK_P
1570 (merge_blocks_move_successor_nojumps): Simplify now when
1571 we don't have BLOCK notes.
1572 (try_optimize_cfg): Likewise.
1573 * cfglayout.c (skip_insns_after_block): Likewise.
1574 (record_effective_endpoints): Likewise.
1575 (duplicate_insn_chain): Likewise.
1576 * varasm.c (output_constant_pool_1): Likewise.
1577 * sched-deps.c (sched_analyze): Likewise.
1578 * rtl.c (NOTE_INSN_MAX_isnt_negative_adjust_NOTE_INSN_BIAS):
1580 (note_insn_name): Simplify now when NOTE_INSN_BIAS is gone.
1581 * rtl.h (NOTE_SOURCE_LOCATION, NOTE_EXPANDED_LOCATION): Exterminate.
1582 (SET_INSN_DELETED): Simplify.
1583 (NOTE_LINE_NUMBER): Exterminate.
1584 (NOTE_LINE_KIND): New.
1585 (NOTE_INSN_BASIC_BLOCK_P): Update.
1586 (enum insn_note): Simplify.
1587 (GET_NOTE_INSN_NAME) Simplify.
1588 (emit_note_before, emit_note_after, emit_note): Update prototype.
1589 (squeeze_notes): Remove.
1590 * sched-int.h (NOTE_NOT_BB_P): Update.
1591 * resource.c (mark_target_live_regs): Update.
1592 * sched-rgn.c (debug_dependencies): Update.
1593 * sched-vis.c (print_insn): Update.
1594 * config/alpha/alpha.c (alpha_handle_trap_shadows): Update.
1595 * config/i386/i386.c (ix86_output_function_epilogue): Update.
1596 * config/sh/sh.c (sh_adjust_unroll_max): Function dead since gcc 4.0.0.
1597 (TARGET_ADJUST_UNROLL_MAX): Likewise.
1598 (split_branches): Update.
1599 (sh_optimize_target_register_callee_saved): Remove hunk dead since gcc
1601 (sh_adjust_unroll_max): Exterminate.
1602 * config/c4x/c4x.c (c4x_reorg): Use SET_INSN_DELETED.
1603 * config/m68hc11/m68hc11.c (m68hc11_check_z_replacement): Likewise.
1604 (m68hc11_reorg): Likewise.
1605 * config/ia64/ia64.c (emit_insn_group_barriers): Update.
1606 (emit_predicate_relation_info): Update.
1607 (process_for_unwind_directive): Update.
1608 * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Update.
1609 (output_call): Update.
1610 * config/pa/pa.c (output_lbranch): Update.
1611 (output_millicode_call): Update.
1612 (output_call): Update.
1613 (pa_combine_instructions): Update.
1614 * config/mips/mips.c (mips16_gp_pseudo_reg): Update.
1615 * config/bfin/bfin.c (gen_one_bundle): Update.
1616 * cfgrtl.c (can_delete_note_p): Update.
1617 (delete_insn): Update.
1618 (rtl_merge_blocks): Update.
1619 (commit_one_edge_insertion): Update.
1620 (rtl_verify_flow_info): Update.
1621 * stmt.c (expand_case): Do not call squeeze_notes.
1623 2007-05-20 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1630 * c.opt (Wtype-limits): New.
1631 * doc/invoke.texi (Wtype-limits): Document it.
1632 (Wextra): Enabled by -Wextra.
1633 * c-opts.c (c_common_post_options): Enabled by -Wextra.
1634 * c-common.c (shorten_compare): Warn with Wtype-limits.
1636 2007-05-20 Uros Bizjak <ubizjak@gmail.com>
1638 * config/i386/tmmintrin.h (_mm_alignr_epi32): Implement as always
1639 inlined function, not as a macro.
1640 (_mm_alignr_pi8): Ditto.
1641 * config/i386/ammintrin.h (_mm_extracti_si64): Ditto.
1642 (_mm_inserti_si64): Ditto.
1643 * config/i386/emmintrin.h (_mm_shuffle_pd): Ditto.
1644 (_mm_extract_epi16): Ditto.
1645 (_mm_insert_epi16): Ditto.
1646 (_mm_shufflehi_epi16): Ditto.
1647 (_mm_shufflelo_epi16): Ditto.
1648 (_mm_shuffle_epi32): Ditto.
1649 * config/i386/xmmintrin.h (_mm_set_ss): Use 0.0f for float constant.
1650 * config/386/mm3dnow.h: Add __attribute__((__always_inline__)) to
1652 (_m_from_float): Add __extension__ to conversion. Use 0.0f for
1654 (_m_to_float): Use C89 compatible assignment.
1656 2007-04-20 Martin Michlmayr <tbm@cyrius.com>
1659 * config/arm/lib1funcs.asm: Define __ARM_ARCH__ on v2/v3 machines.
1661 2007-05-20 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1664 * doc/invoke.texi (Wreturn-type): Complete description.
1665 (Wextra): Delete item about return-type warning.
1666 * c-decl.c: Delete redundant Wextra warning.
1668 2007-05-20 Uros Bizjak <ubizjak@gmail.com>
1671 * config/i386/pmmintrin.h: Do not include xmmintrin.h
1672 * config/i386/xmmintrin.h (_mm_extract_pi16): Implement as always
1673 inlined function, not as a macro.
1674 (_mm_prefetch): Ditto.
1676 (_mm_insert_pi16): Ditto.
1678 (_mm_shuffle_pi16): Ditto. Add const to __N argument.
1679 (_m_pshufw): Ditto. Add const to __N argument.
1680 (_mm_shufle_ps): Ditto. Add const to __mask argument.
1681 * config/i386/emmintrin.h (_mm_slli_epi16): Add const to __B argument.
1682 (_mm_slli_epi32): Ditto.
1683 (_mm_srli_si128): Implement as always inlined function, not as a macro.
1684 Add __inline to function declaration.
1685 (_mm_slli_si128): Ditto.
1687 2007-05-19 Uros Bizjak <ubizjak@gmail.com>
1689 * config/i386/sfp-machine.h (FP_EX_INVALID, FP_EX_DENORM,
1690 FP_EXP_DIVZERO, FP_EX_OVERFLOW, FP_EX_UNDERFLOW, FP_EX_INEXACT):
1692 (struct fenv): New structure.
1693 (FP_HANDLE_EXCEPTIONS): New define.
1694 (FP_RND_NEAREST, FP_RND_ZERO, FP_RND_PINF, FP_RND_MINF): New constants.
1695 (_FP_DECL_EXP): New define.
1696 (FP_INIT_ROUNDMODE): New define.
1697 (FP_ROUNDMODE): New define.
1699 2007-05-19 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
1701 * doc/invoke.texi (Warning Options): Add -Wconversion-sign.
1702 (Wconversion): Update description.
1703 (Wconversion-sign): New.
1704 * c.opt (Wconversion-sign): New.
1705 * c-opts.c (c_common_post_options): Uninitialized Wconversion-sign
1706 means disabled for C++. Otherwise, take the status of Wconversion.
1707 * c-common.c (conversion_warning): Warn with either Wconversion or
1709 (warnings_for_convert_and_check): Conditions are already checked by
1711 (convert_and_check): Don't check warnings if the conversion failed.
1713 2007-05-19 Andy Hutchinson <HutchinsonAndy@netscape.net>
1714 Anatoly Sokolov <aesok@dol.ru>
1716 * config/avr/avr-protos.h (expand_prologue, expand_epilogue,
1717 avr_epilogue_uses) : Add declaration.
1718 * config/avr/predicates.md (avr_sp_immediate_operand): New predicate.
1719 * config/avr/constraints.md (R): New constraint.
1720 config/avr/avr.md (SREG_ADDR, UNSPEC_SEI, UNSPEC_CLI,
1721 UNSPECV_PROLOGUE_SAVES, UNSPECV_EPILOGUE_RESTORES): New constants.
1722 (*pop1, *pop2, *pop3, *pop4, *pop5): Combine into ...
1723 (*addhi3_sp_R_pc2, *addhi3_sp_R_pc3): ... these patterns.
1724 (*movhi_sp, popqi, pophi, enable_interrupt, disable_interrupt,
1725 call_prologue_saves, epilogue_restores, return_from_epilogue,
1726 return_from_main_epilogue, return_from_interrupt_epilogue,
1727 return_from_naked_epilogue, prologue, epilogue): New patterns.
1728 (jump): Handle symbol reference.
1729 * config/avr/avr.c (out_adj_frame_ptr, out_set_stack_ptr,
1730 avr_output_function_prologue, avr_output_function_epilogue): Remove
1732 (avr_init_machine_status, expand_prologue, expand_epilogue,
1733 avr_asm_function_end_prologue, avr_epilogue_uses,
1734 avr_asm_function_begin_epilogue): New functions.
1735 (prologue_size, epilogue_size, jump_tables_size): Remove global
1737 (TARGET_ASM_FUNCTION_PROLOGUE, TARGET_ASM_FUNCTION_EPILOGUE): Remove.
1738 (TARGET_ASM_FUNCTION_END_PROLOGUE): Define.
1739 (TARGET_ASM_FUNCTION_BEGIN_EPILOGUE): Define.
1740 (avr_override_options): Initialise init_machine_status.
1741 (output_movhi): Handle all stack pointer loads.
1742 (out_movqi_r_mr, out_movqi_mr_r): Handle SREG_ADDR address.
1743 (avr_output_addr_vec_elt): Do not use variable jump_tables_size.
1744 * config/avr/avr.h (AVR_2_BYTE_PC, AVR_3_BYTE_PC): New.
1745 (EPILOGUE_USES) Redefine.
1746 (machine_function) Declare.
1748 2007-05-19 Richard Sandiford <richard@codesourcery.com>
1750 * config/mips/mips.c (mips_offset_within_alignment_p): Tweak comment.
1751 Use a single return statement.
1753 2007-05-19 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1756 * builtins.c (do_mpfr_lgamma_r): New.
1757 (fold_builtin_2): Handle builtin gamma_r/lgamma_r.
1758 * tree.h (CASE_FLT_FN_REENT): New.
1760 2007-05-18 Geoffrey Keating <geoffk@apple.com>
1762 * dwarf2out.c (print_die): Use '%ld' not '%lu' to print a 'long'.
1763 (output_die): Use 'unsigned long' with %x.
1764 * sched-vis.c (print_value): Use 'unsigned HOST_WIDE_INT' and
1765 HOST_WIDE_INT_PRINT_HEX to print HOST_WIDE_INT.
1766 * tree-dump.c (dump_pointer): Use 'unsigned long' for %lx.
1768 * unwind-dw2.c (uw_identify_context): Use the CFA, not the IP.
1770 2007-05-18 H.J. Lu <hongjiu.lu@intel.com>
1775 * config/i386/i386.c (init_cumulative_args): Set maybe_vaarg to
1776 true if function has no argument.
1778 2007-05-18 DJ Delorie <dj@redhat.com>
1780 * config/mips/mips.c (mips_offset_within_alignment_p): New.
1781 (mips_symbolic_constant_p): Call it for TPREL and DTPREL symbols.
1783 2007-05-18 Uros Bizjak <ubizjak@gmail.com>
1785 * longlong.h (__x86_64__): Add definitions for add_ssaaaa,
1786 sub_ddmmss, umul_ppmm, udiv_qrnnd, count_leading_zeros and
1787 count_trailing_zeros.
1788 (__i386__): Implement count_leading_zeros using __builtin_clz().
1789 Implement count_trailing_zeros usign __builtin_ctz().
1791 2007-05-18 Richard Sandiford <richard@codesourcery.com>
1793 * config/i386/vxworks.h (ASM_PREFERRED_EH_DATA_FORMAT): Undefine.
1795 2007-05-18 Uros Bizjak <ubizjak@gmail.com>
1798 * expr.c (emit_move_change_mode): Change mode of push operands here.
1800 2007-05-17 Ian Lance Taylor <iant@google.com>
1802 PR tree-optimization/31953
1803 * tree-vrp.c (set_value_range_to_value): Add equiv parameter.
1805 (set_value_range_to_null): Call set_value_range_to_value.
1806 (extract_range_from_comparison): Likewise.
1808 2007-05-17 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1810 * toplev.c (print_version): Output GMP/MPFR version info.
1812 * builtins.c (CASE_MATHFN_REENT): New macro.
1813 (mathfn_built_in): Use it.
1814 * builtins.def (BUILT_IN_GAMMA_R, BUILT_IN_GAMMAF_R,
1815 BUILT_IN_GAMMAL_R, BUILT_IN_LGAMMA_R, BUILT_IN_LGAMMAF_R,
1816 BUILT_IN_LGAMMAL_R): New.
1817 * doc/extend.texi: Document new builtins.
1820 * builtins.c (do_mpfr_remquo): New.
1821 (fold_builtin_2): Handle BUILT_IN_DREM/BUILT_IN_REMAINDER.
1822 (fold_builtin_3): Handle BUILT_IN_REMQUO.
1825 * builtins.c (fold_builtin_1): Handle y0, y1.
1826 (fold_builtin_2): Handle yn.
1829 * builtins.c (do_mpfr_bessel_n): New.
1830 (fold_builtin_1): Handle BUILT_IN_J0 and BUILT_IN_J1.
1831 (fold_builtin_2): Handle BUILT_IN_JN.
1833 2007-05-17 Danny Smith <dannysmith@users.sourceforge.net>
1836 * config/i386/mingw32.h (_INTEGRAL_MAX_BITS): Define builtin as
1837 TYPE_PRECISION (intmax_type_node).
1839 2007-05-17 Steve Ellcey <sje@cup.hp.com>
1842 * reload.c (subst_reloads): Remove checking.
1844 2007-05-17 Eric Botcazou <ebotcazou@libertysurf.fr>
1846 PR rtl-optimization/31691
1847 * combine.c (simplify_set): Build a new src pattern instead of
1848 substituting its operands in the COMPARE case.
1850 2007-05-17 Zdenek Dvorak <dvorakz@suse.cz>
1852 * tree-vrp.c (finalize_jump_threads): Do not care about dominance info.
1853 (execute_vrp): Preserve loops through jump threading.
1854 * tree-ssa-threadupdate.c (thread_single_edge,
1855 dbds_continue_enumeration_p, determine_bb_domination_status,
1856 thread_through_loop_header): New functions.
1857 (create_edge_and_update_destination_phis,
1858 create_edge_and_update_destination_phis): Set loops for the new blocks.
1859 (prune_undesirable_thread_requests): Removed.
1860 (redirect_edges): Do not pretend that redirect_edge_and_branch can
1862 (thread_block): Do not call prune_undesirable_thread_requests.
1864 (mark_threaded_blocks): Select edges to thread here.
1865 (thread_through_all_blocks): Take may_peel_loop_headers argument.
1866 Thread edges through loop headers independently.
1867 * cfgloopmanip.c (create_preheader, mfb_keep_just): Export.
1868 * tree-pass.h (TODO_mark_first_instance): New.
1869 (first_pass_instance): Declare.
1870 * cfghooks.c (duplicate_block): Put the block to the original loop
1871 if copy is not specified.
1872 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Preserve loops through
1873 jump threading. Pass may_peel_loop_headers to
1874 thread_through_all_blocks according to first_pass_instance.
1875 * cfgloop.h (create_preheader): Declare.
1876 * tree-flow.h (thread_through_all_blocks): Declaration changed.
1877 * basic-block.h (mfb_keep_just, mfb_kj_edge): Declare.
1878 * passes.c (first_pass_instance): New variable.
1879 (next_pass_1): Set TODO_mark_first_instance.
1880 (execute_todo): Set first_pass_instance.
1882 2007-05-17 Uros Bizjak <ubizjak@gmail.com>
1884 PR tree-optimization/24659
1885 * optabs.h (enum optab_index): Add OTI_vec_unpacks_float_hi,
1886 OTI_vec_unpacks_float_lo, OTI_vec_unpacku_float_hi,
1887 OTI_vec_unpacku_float_lo, OTI_vec_pack_sfix_trunc and
1888 OTI_vec_pack_ufix_trunc.
1889 (vec_unpacks_float_hi_optab): Define new macro.
1890 (vec_unpacks_float_lo_optab): Ditto.
1891 (vec_unpacku_float_hi_optab): Ditto.
1892 (vec_unpacku_float_lo_optab): Ditto.
1893 (vec_pack_sfix_trunc_optab): Ditto.
1894 (vec_pack_ufix_trunc_optab): Ditto.
1895 * genopinit.c (optabs): Implement vec_unpack[s|u]_[hi|lo]_optab
1896 and vec_pack_[s|u]fix_trunc_optab using
1897 vec_unpack[s|u]_[hi\lo]_* and vec_pack_[u|s]fix_trunc_* patterns
1898 * tree-vectorizer.c (supportable_widening_operation): Handle
1899 FLOAT_EXPR and CONVERT_EXPR. Update comment.
1900 (supportable_narrowing_operation): New function.
1901 * tree-vectorizer.h (supportable_narrowing_operation): Prototype.
1902 * tree-vect-transform.c (vectorizable_conversion): Handle
1903 (nunits_in == nunits_out / 2) and (nunits_out == nunits_in / 2) cases.
1904 (vect_gen_widened_results_half): Move before vectorizable_conversion.
1905 (vectorizable_type_demotion): Call supportable_narrowing_operation()
1906 to check for target support.
1907 * optabs.c (optab_for_tree_code) Return vec_unpack[s|u]_float_hi_optab
1908 for VEC_UNPACK_FLOAT_HI_EXPR, vec_unpack[s|u]_float_lo_optab
1909 for VEC_UNPACK_FLOAT_LO_EXPR and vec_pack_[u|s]fix_trunc_optab
1910 for VEC_PACK_FIX_TRUNC_EXPR.
1911 (expand_binop): Special case mode of the result for
1912 vec_pack_[u|s]fix_trunc_optab.
1913 (init_optabs): Initialize vec_unpack[s|u]_[hi|lo]_optab and
1914 vec_pack_[u|s]fix_trunc_optab.
1916 * tree.def (VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR,
1917 VEC_PACK_FIX_TRUNC_EXPR): New tree codes.
1918 * tree-pretty-print.c (dump_generic_node): Handle
1919 VEC_UNPACK_FLOAT_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR and
1920 VEC_PACK_FIX_TRUNC_EXPR.
1922 * expr.c (expand_expr_real_1): Ditto.
1923 * tree-inline.c (estimate_num_insns_1): Ditto.
1924 * tree-vect-generic.c (expand_vector_operations_1): Ditto.
1926 * config/i386/sse.md (vec_unpacks_float_hi_v8hi): New expander.
1927 (vec_unpacks_float_lo_v8hi): Ditto.
1928 (vec_unpacku_float_hi_v8hi): Ditto.
1929 (vec_unpacku_float_lo_v8hi): Ditto.
1930 (vec_unpacks_float_hi_v4si): Ditto.
1931 (vec_unpacks_float_lo_v4si): Ditto.
1932 (vec_pack_sfix_trunc_v2df): Ditto.
1934 * doc/c-tree.texi (Expression trees) [VEC_UNPACK_FLOAT_HI_EXPR]:
1936 [VEC_UNPACK_FLOAT_LO_EXPR]: Ditto.
1937 [VEC_PACK_FIX_TRUNC_EXPR]: Ditto.
1938 * doc/md.texi (Standard Names) [vec_pack_sfix_trunc]: Document.
1939 [vec_pack_ufix_trunc]: Ditto.
1940 [vec_unpacks_float_hi]: Ditto.
1941 [vec_unpacks_float_lo]: Ditto.
1942 [vec_unpacku_float_hi]: Ditto.
1943 [vec_unpacku_float_lo]: Ditto.
1945 2007-05-16 Uros Bizjak <ubizjak@gmail.com>
1947 * soft-fp/README: Update for new files.
1948 * soft-fp/floattisf.c: New file.
1949 * soft-fp/floattidf.c: New file.
1950 * soft-fp/floattitf.c: New file.
1951 * soft-fp/floatuntisf.c: New file.
1952 * soft-fp/floatuntidf.c: New file.
1953 * soft-fp/floatuntitf.c: New file.
1954 * soft-fp/fixsfti.c: New file.
1955 * soft-fp/fixdfti.c: New file.
1956 * soft-fp/fixtfti.c: New file.
1957 * soft-fp/fixunssfti.c: New file.
1958 * soft-fp/fixunsdfti.c: New file.
1959 * soft-fp/fixunstfti.c: New file.
1960 * soft-fp/extendxftf.c: New file.
1961 * soft-fp/trunctfxf.c: New file.
1963 * libgcc-std.ver (__extendxftf2): Added to GCC_4.3.0 section.
1964 (__trunctfxf2): Ditto.
1966 * config/i386/libgcc-x86_64-glibc.ver (__addtf3, __divtf3, __eqtf2,
1967 __extenddftf2, __extendsftf2, __fixtfdi, __fixtfsi, __fixtfti,
1968 __fixunstfdi, __fixunstfsi, __fixunstfti, __floatditf, __floatsitf,
1969 __floattitf, __floatunditf, __floatunsitf, __floatuntitf, __getf2,
1970 __letf2, __multf3, __negtf2, __subtf3, __trunctfdf2, __trunctfsf2,
1971 __unordtf2): Exclude and add to GCC_4.3.0 section for x86_64 targets.
1973 * config/i386/t-fprules-softfp64: New file.
1974 * config/i386/sfp-machine.h: New file.
1975 * config.gcc (x86_64-*-linux*, x86_64-*-kfreebsd*-gnu,
1976 x86_64-*-knetbsd*-gnu): Add i386/t-fprules-softfp64
1977 and soft-fp/t-softfp to tmake_file.
1978 (i[34567]86-*-linux*, i[34567]86-*-kfreebsd*-gnu,
1979 i[34567]86-*-knetbsd*-gnu): Ditto for --enable-targets=all.
1981 * config/i386/t-linux64 (softfp_wrap_start): New.
1982 (softfp_wrap_end): New.
1983 * config/i386/i386.c (ix86_scalar_mode_supported): TFmode is
1984 supported for TARGET_64BIT.
1986 2007-05-16 Rafael Avila de Espindola <espindola@google.com>
1988 * c-common.c (c_common_signed_or_unsigned_type): Emulate
1989 c_common_unsigned_type behavior.
1991 2007-05-16 Paolo Bonzini <bonzini@gnu.org>
1993 * config/i386/i386.c (legitimize_tls_address): Mark __tls_get_addr
1996 2007-05-16 Eric Christopher <echristo@apple.com>
1998 * config/rs6000/rs6000.c (rs6000_emit_prologue): Move altivec register
1999 saving after stack push. Set sp_offset whenever we push.
2000 (rs6000_emit_epilogue): Move altivec register restore before
2003 2007-05-16 Richard Sandiford <richard@codesourcery.com>
2005 * configure.ac: Allow sysroots to be relocated under $prefix as
2006 well as $exec_prefix.
2007 * configure: Regenerate.
2009 2007-05-16 Richard Sandiford <richard@codesourcery.com>
2013 2007-05-12 Richard Sandiford <richard@codesourcery.com>
2015 * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
2016 (gcc_tooldir): Likewise.
2017 * configure: Regenerate.
2018 * Makefile.in (libsubdir_to_prefix): New variable, based on the
2019 old configure.ac gcc_tooldir setting.
2020 (prefix_to_exec_prefix): New variable.
2021 (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
2022 rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
2024 2007-05-14 Janis Johnson <janis187@us.ibm.com>
2026 * c-typeck.c (build_binary_op): Return early for error.
2028 2007-05-15 Zdenek Dvorak <dvorakz@suse.cz>
2030 * tree-ssa-loop-niter.c (record_estimate): Use GGC_NEW to allocate
2031 struct nb_iter_bound.
2032 (free_numbers_of_iterations_estimates_loop): Use ggc_free.
2033 * gengtype.c (open_base_files): Add cfhloop.h to the list of includes.
2034 * cfgloopmanip.c (place_new_loop): Vector larray is gc-allocated.
2035 * tree-scalar-evolution.c: Include gt-tree-scalar-evolution.h.
2036 (struct scev_info_str, scalar_evolution_info): Add GTY markers.
2037 (new_scev_info_str): Use GGC_NEW to allocate struct scev_info_str.
2038 (del_scev_info): Use ggc_free.
2039 (scev_initialize): Allocate scalar_evolution_info in gc memory.
2040 * loop-init.c: Include ggc.h.
2041 (loop_optimizer_init): Use GGC_CNEW to allocate struct loops.
2042 (loop_optimizer_finalize): Use ggc_free.
2043 * tree-ssa-loop.c (pass_tree_unswitch, pass_vectorize,
2044 pass_linear_transfom, pass_empty_loop, pass_complete_unroll,
2045 pass_iv_optimize): Add TODO_ggc_collect.
2046 * function.h (struct function): Remove skip marker from x_current_loops.
2047 * cfgloop.c: Include ggc.h.
2048 (flow_loops_free, flow_loop_free): Free the loop descriptions in gc
2050 (establish_preds): Vector superloops is gc allocated.
2051 (alloc_loop): Allocate loop using GGC_CNEW. Allocate head of
2053 (flow_loops_find): Vector larray is gc allocated.
2054 (loop_exit_free): Use ggc_free.
2055 (rescan_loop_exit): Use GGC_NEW to allocate struct loop_exit. Reflect
2056 that head of exits list is now not a part of struct loop.
2057 (record_loop_exits): Allocate exits table in gc memory.
2058 (get_loop_exit_edges, verify_loop_structure, single_exit): Reflect that
2059 head of exits list is now not a part of struct loop.
2060 * cfgloop.h (struct lpt_decision, struct nb_iter_bound,
2061 struct loop_exit): Add GTY marker.
2062 (struct loop): Add GTY marker. Make superloops vector gc allocated.
2063 Add skip marker to aux field. Make head of exits list a separate
2065 (struct loops): Add GTY marker. Make larray vector gc allocated.
2066 Add param marker to exits table.
2067 (get_loops): Type changed.
2068 * Makefile.in (tree-scalar-evolution.o): Add gt-tree-scalar-evolution.h
2070 (cfgloop.o, loop-init.o): Add ggc.h dependency.
2071 (GTFILES): Add cfgloop.h and tree-scalar-evolution.c.
2072 * basic-block.h (struct basic_block_def): Remove skip marker from
2075 2007-05-14 Uros Bizjak <ubizjak@gmail.com>
2077 * builtins.c (expand_builtin_mathfn): Use EXPAND_NORMAL instead
2078 of 0 in the call to expand_expr().
2079 (expand_builtin_mathfn_3): Ditto.
2080 (expand_builtin_interclass_mathfn): Ditto.
2081 (expand_builtin_cexpi): Ditto.
2082 (expand_builtin_int_roundingfn): Ditto.
2083 (expand_builtin_int_roundingfn_2): Ditto.
2084 (expand_builtin_pow): Ditto.
2085 (expand_builtin_powi): Ditto.
2086 (expand_builtin_bswap): Ditto.
2087 (expand_builtin_unop): Ditto.
2088 (expand_builtin_fabs): Ditto.
2089 (get_builtin_sync_mem): Use NULL_RTX instead of NULL in
2090 the call to expand_expr().
2091 (expand_builtin_sync_operation): Ditto.
2092 (expand_builtin_compare_and_swap): Ditto.
2093 (expand_builtin_lock_test_and_set): Ditto.
2094 * except.c (expand_builtin_eh_return_data_regno): Use EXPAND_NORMAL
2095 instead of 0 in the call to expand_expr().
2096 (expand_builtin_extract_return_addr): Ditto.
2097 (expand_builtin_eh_return): Ditto.
2098 (expand_eh_return): Ditto.
2099 * explow.c (expr_size): Ditto.
2100 * expr.c (optimize_bitfield_assignment_op): Ditto.
2101 (expand_assignement): Ditto.
2102 (store_expr): Ditto.
2103 (store_field): Ditto.
2104 (expand_expr_addr_expr_1): Use NULL_RTX instead of NULL in
2105 the call to expand_expr().
2106 (expand_expr_real_1) [COMPLEX_CST]: Use EXPAND_NORMAL instead of 0
2107 in the call to expand_expr().
2108 [CONSTRUCTOR, PLUS_EXPR, MINUS_EXPR, NEGATE_EXPR, ABS_EXPR,
2109 BIT_NOT_EXPR, LSHIFT_EXPR, LT_EXPR, TRUTH_NOT_EXPR]: Ditto.
2110 [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO]: Use expand_normal() instead
2112 * optabs.c (expand_vec_shift_expr): Ditto.
2113 (expand_vec_cond_expr): Ditto.
2114 (vector_compare_rtx): Use EXPAND_STACK_PARM instead of 1 in the
2115 call to expand_expr().
2116 * stmt.c (expand_return): Use EXPAND_NORMAL instead of 0
2117 in the call to expand_expr().
2119 2007-05-14 Dave Korn <dave.korn@artimi.com>
2121 * genautomata.c (gen_regexp_el): Allocate correct size for regexp.
2123 2007-05-14 Rafael Avila de Espindola <espindola@google.com>
2125 * c-common.c (warnings_for_convert_and_check): Use unsigned_type_for
2126 instead of c_common_unsigned_type.
2127 (c_common_unsigned_type): Remove.
2128 (shorten_compare): Use c_common_signed_or_unsigned_type instead of
2129 c_common_unsigned_type.
2130 (c_common_nodes_and_builtins): Use unsigned_type_for instead of
2131 c_common_unsigned_type.
2132 * c-common.h (c_common_unsigned_type): Remove.
2133 * c-decl.c (grokdeclarator): Use unsigned_type_for instead of
2134 c_common_unsigned_type.
2135 * c-format.c (check_format_types): Use unsigned_type_for instead of
2136 c_common_unsigned_type.
2137 * c-objc-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
2138 * c-typeck.c (convert_for_assignment): Use unsigned_type_for instead of
2139 c_common_unsigned_type.
2140 * convert.c (convert_to_integer): Use unsigned_type_for instead of
2141 lang_hooks.types.unsigned_type.
2142 * expmed.c (make_tree): Use unsigned_type_for instead of
2143 lang_hooks.types.unsigned_type.
2144 * fold-const.c (fold_negate_expr): Use unsigned_type_for instead of
2145 lang_hooks.types.unsigned_type.
2146 (build_range_check): Likewise.
2147 (fold_unary): Likewise.
2148 (fold_binary): Likewise.
2149 (fold_ternary): Likewise.
2150 * langhooks-def.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
2151 * langhooks.h (lang_hooks_for_types): Remove unsigned_type.
2152 * tree.c (get_unsigned_type): New.
2153 (unsigned_type_for): Use get_unsigned_type instead of
2154 lang_hooks.types.unsigned_type.
2156 2007-05-14 Kazu Hirata <kazu@codesourcery.com>
2158 * config/m68k/m68k-protos.h: Rename m68k_interrupt_function_p
2159 to m68k_get_function_kind. Update its prototype.
2160 * config/m68k/m68k.c (m68k_attribute_table): Add an entry for
2162 (m68k_interrupt_function_p): Return enum m68k_function_type
2163 instead of bool. Rename to m68k_get_function_kind.
2164 (m68k_handle_fndecl_attribute): Reject interrupt_thread if the
2166 (m68k_compute_frame_layout): Don't mark any register for save
2167 if an interrupt_thread attribute is specified.
2168 (m68k_hard_regno_rename_ok): Update a use of
2169 m68k_interrupt_function_p.
2170 * config/m68k/m68k.h (EPILOGUE_USES): Update a use of
2171 m68k_interrupt_function_p.
2172 (m68k_function_type): New.
2173 * config/m68k/m68k.md (*return): Output a 'sleep' instruction
2174 for a function with an interrupt_thread attribute.
2175 * doc/extend.texi: Document the interrupt_thread attribute.
2177 2007-05-13 Daniel Berlin <dberlin@dberlin.org>
2179 Fix PR tree-optimization/31911
2180 * tree-ssa-pre.c (phi_translate): Make sure to cache results even
2181 if they didn't change the expression.
2183 2007-05-13 Zdenek Dvorak <dvorakz@suse.cz>
2185 * tree-scalar-evolution.c (resolve_mixers): Exported.
2186 * tree-scalar-evolution.h (resolve_mixers): Declare.
2187 * tree-data-ref.c (object_analysis, ptr_decl_may_alias_p,
2188 ptr_ptr_may_alias_p, may_alias_p, record_ptr_differ_p,
2189 record_record_differ_p, record_array_differ_p, array_ptr_differ_p,
2190 base_object_differ_p, base_addr_differ_p, analyze_array_indexes,
2191 init_array_ref, init_pointer_ref, analyze_indirect_ref,
2192 strip_conversion, analyze_offset_expr, address_analysis,
2193 object_analysis, analyze_offset): Removed.
2194 (dr_analyze_innermost, dr_analyze_indices, dr_analyze_alias,
2195 split_constant_offset, canonicalize_base_object_address,
2196 object_address_invariant_in_loop_p, disjoint_objects_p,
2197 dr_may_alias_p, dr_address_invariant_p): New functions.
2198 (create_data_ref): Use dr_analyze_innermost, dr_analyze_indices
2199 and dr_analyze_alias.
2200 (initialize_data_dependence_relation): Use dr_may_alias_p
2201 and object_address_invariant_in_loop_p.
2202 (compute_self_dependence): Handle the case when DDR_ARE_DEPENDENT (ddr)
2204 (find_data_references_in_stmt): Restrict the analysis of data references
2205 to the given loop nest.
2206 (find_data_references_in_loop): Made static. Pass loop nest to
2207 find_data_references_in_stmt.
2208 (compute_data_dependences_for_loop): Use DR_VOPS.
2209 (free_data_ref): Free DR_VOPS.
2210 * tree-data-ref.h (struct first_location_in_loop): Replaced by ...
2211 (struct innermost_loop_behavior): ... new.
2212 (struct base_object_info): Replaced by ...
2213 (struct indices): ... new.
2214 (struct dr_alias): New.
2215 (enum data_ref_type): Removed.
2216 (struct data_reference): Consist of struct innermost_loop_behavior,
2217 struct indices and struct dr_alias.
2218 (DR_SET_ACCESS_FNS, DR_FREE_ACCESS_FNS): Removed.
2219 (DR_MEMTAG): Renamed to ...
2220 (DR_SYMBOL_TAG): ... this.
2221 (find_data_references_in_loop): Declaration removed.
2222 * tree-vect-analyze.c (vect_compute_data_ref_alignment): Use DR_INIT
2223 instead of DR_OFFSET_MISALIGNMENT. DR_ALIGNED_TO is never NULL.
2224 (vect_analyze_data_refs): Use DR_SYMBOL_TAG instead of DR_MEMTAG.
2225 * tree-vect-transform.c (vect_create_data_ref_ptr): Ditto.
2227 2007-05-13 Revital Eres <eres@il.ibm.com>
2229 * tree-ssa-dse.c (get_use_of_stmt_lhs): New function
2230 which walks virtual def-use chains to find redundant stores.
2231 (dse_optimize_stmt): Call it.
2233 2007-05-12 Steven Bosscher <steven@gcc.gnu.org>
2235 * gcse.c (gcse_main): Do jump bypassing in CPROP2.
2236 * passes.c (init_optimization_passes): Move pass_jump_bypass
2239 * basic-block.h (bb_has_eh_pred): Fix style issue.
2241 2007-05-12 Steven Bosscher <steven@gcc.gnu.org>
2243 PR rtl-optimization/31848
2244 * loop-invariant.c (move_invariant_reg): If we move an insn
2245 with a REG_EQUAL note, and that insn is not always executed,
2246 remove the REG_EQUAL note.
2248 2007-05-12 Richard Guenther <rguenther@suse.de>
2250 PR tree-optimization/31797
2251 * tree-ssa-forwprop.c (forward_propagate_addr_expr): Do not
2252 propagate into a stmt that has volatile ops.
2254 2007-05-12 Richard Sandiford <richard@codesourcery.com>
2256 * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
2257 (gcc_tooldir): Likewise.
2258 * configure: Regenerate.
2259 * Makefile.in (libsubdir_to_prefix): New variable, based on the
2260 old configure.ac gcc_tooldir setting.
2261 (prefix_to_exec_prefix): New variable.
2262 (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
2263 rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
2265 2007-05-11 Silvius Rus <rus@google.com>
2267 * Makefile.in (OBJS-common): Add tree-ssa-alias-warnings.o.
2268 * c-common.c (strict_aliasing_warning): Modify -Wstrict-aliasing logic.
2269 * c-common.h (strict_aliasing_warning): Change return type.
2270 * c-opts.c (c_common_handle_option): Add call to set_Wstrict_aliasing.
2271 * c-typeck.c (build_indirect_ref): Add call to strict_aliasing_warning.
2272 (build_c_cast): Condition call to strict_aliasing_warning.
2273 * doc/invoke.texi: Update description of -Wstrict-aliasing[=n].
2274 * flags.h (set_Wstrict_aliasing): Declare.
2275 * opts.c (set_Wstrict_alising): Define, add call to.
2276 * tree-flow.h (strict_aliasing_warning_backend): Declare.
2277 * tree-ssa-alias-warnings.c: New file.
2278 * tree-ssa-alias.c (compute_may_aliases): Add call to
2279 strict_aliasing_warning_backend.
2281 2007-05-11 Zdenek Dvorak <dvorakz@suse.cz>
2283 * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
2284 Use loop_depth and loop_outer accessor functions.
2285 * tree-ssa-loop-im.c (outermost_invariant_loop, set_level,
2286 determine_invariantness_stmt, move_computations_stmt): Ditto.
2287 * cfgloopmanip.c (fix_bb_placement, fix_loop_placement, remove_path,
2288 add_loop, loopify, unloop, fix_loop_structure): Ditto.
2289 * tree-ssa-loop-manip.c (find_uses_to_rename_use): Ditto.
2290 * tree-scalar-evolution.c (interpret_loop_phi,
2291 compute_scalar_evolution_in_loop, analyze_scalar_evolution_in_loop,
2292 instantiate_parameters_1, scev_const_prop): Ditto.
2293 * cfghooks.c (make_forwarder_block): Ditto.
2294 * cfgloopanal.c (mark_irreducible_loops, mark_loop_exit_edges): Ditto.
2295 * modulo-sched.c (loop_canon_p): Ditto.
2296 * tree-vectorizer.c (slpeel_tree_duplicate_loop_to_edge_cfg,
2297 slpeel_can_duplicate_loop_p): Ditto.
2298 * lambda-code.c (invariant_in_loop_and_outer_loops): Ditto.
2299 * tree-cfg.c (tree_duplicate_sese_region): Ditto.
2300 * cfgloop.c (flow_loop_dump, flow_loop_nodes_find, rescan_loop_exit,
2301 cancel_loop, verify_loop_structure): Ditto.
2302 (flow_loop_nested_p, superloop_at_depth, flow_loop_free,
2303 add_bb_to_loop, remove_bb_from_loops, find_common_loop): Use the
2304 superloops vector instead of "pred" array.
2305 (establish_preds): Take father loop as an argument. Initialize the
2307 (flow_loop_tree_node_add): Pass father loop to establish_preds. Do not
2308 initialize loop->outer.
2309 (flow_loop_tree_node_remove): Truncate the superloops vector.
2310 * cfgloop.h (struct loop): Removed field "outer", fields "depth" and
2311 "pred" merged to "superloops" vector.
2312 (loop_depth, loop_outer): New.
2313 (fel_init): Use loop_outer.
2315 2007-05-11 Jan Hubicka <jh@suse.cz>
2317 * cgraphunit.c: Include gt-cgraphunit.h
2318 (static_ctors, static_dtors): New static vars.
2319 (record_cdtor_fn, build_cdtor, cgraph_build_cdtor_fns): New functions,
2320 based on implementation in c-common.c
2321 (cgraph_finalize_function): Call record_cdtor_fn.
2322 (cgraph_optimize): Call cgraph_build_cdtor_fns.
2323 * decl.c (finish_function): Do not call c_record_cdtor_fn.
2324 (c_write_global_declarations): Do not call c_build_cdtor_fns.
2325 * c-common.c (static_ctors, static_dtors, c_record_cdtor_fn,
2326 build_cdtor, c_build_cdtor_fns): Remove.
2327 * c-common.h (static_ctors, static_dtors, c_record_cdtor_fn,
2328 c_build_cdtor_fns): Remove prototype.
2330 2007-05-11 Paolo Carlini <pcarlini@suse.de>
2333 * builtin-types.def: Add BT_FN_PTR_CONST_PTR_INT_SIZE.
2334 * builtins.def: Add BUILT_IN_MEMCHR, use the latter.
2335 * builtins.c (fold_builtin_memchr): New.
2336 (expand_builtin_memchr): Call the latter.
2337 (expand_builtin, fold_builtin_3): Deal with BUILT_IN_MEMCHR.
2338 * doc/extend.texi ([Other built-in functions provided by GCC]):
2341 2007-05-11 Andreas Krebbel <krebbel1@de.ibm.com>
2343 * config/s390/s390.md (GPR0_REGNUM, FPR0_REGNUM, FPR2_REGNUM,
2344 PFPO_CONVERT, PFPO_OP_TYPE_SF, PFPO_OP_TYPE_DF, PFPO_OP_TYPE_TF,
2345 PFPO_OP_TYPE_SD, PFPO_OP_TYPE_DD, PFPO_OP_TYPE_TD, PFPO_OP0_TYPE_SHIFT,
2346 PFPO_OP1_TYPE_SHIFT): Constants added.
2347 (DFP_ALL): Mode macro defined.
2348 ("*trunc<BFP:mode><DFP_ALL:mode>2", "*trunc<DFP_ALL:mode><BFP:mode>2",
2349 "*extend<BFP:mode><DFP_ALL:mode>2", "*extend<DFP_ALL:mode><BFP:mode>2"):
2350 Insn definitions added.
2351 ("trunc<BFP:mode><DFP_ALL:mode>2", "trunc<DFP_ALL:mode><BFP:mode>2",
2352 "extend<BFP:mode><DFP_ALL:mode>2", "extend<DFP_ALL:mode><BFP:mode>2"):
2355 2007-05-10 Zdenek Dvorak <dvorakz@suse.cz>
2357 PR tree-optimization/31885
2358 * tree-chrec.c (chrec_contains_undetermined): Do not consider NULL_TREE
2360 (automatically_generated_chrec_p): Return false for NULL.
2362 2007-05-08 Bernd Schmidt <bernd.schmidt@analog.com>
2364 * config/bfin/bfin.h (MOVE_RATIO): Define.
2366 2007-05-10 Richard Sandiford <richard@codesourcery.com>
2368 * config.gcc (sparc-wrs-vxworks): New target.
2369 * config/sparc/vxworks.h, config/sparc/t-vxworks: New files.
2370 * config/sparc/sparc-protos.h (sparc_emit_call_insn): Declare.
2371 * config/sparc/sparc.h: Include vxworks-dummy.h.
2372 (PRINT_OPERAND_ADDRESS): Extend SYMBOL_REF handling to
2373 include LABEL_REFs too.
2374 * config/sparc/sparc.c (sparc_expand_move): Don't assume that
2375 _GLOBAL_OFFSET_TABLE_ - label_ref is a link-time constant on
2377 (legitimize_pic_address): Handle LABEL_REFs like SYMBOL_REFs
2379 (load_pic_register): Use gen_vxworks_load_got for VxWorks.
2380 (sparc_emit_call_insn): New function.
2381 (sparc_function_ok_for_sibcall): Restrict sibcalls to locally-binding
2382 functions when generating VxWorks PIC.
2383 * config/sparc/sparc.md (vxworks_load_got): New pattern.
2384 (call, call_value): Use sparc_emit_call_insn instead of
2387 2007-05-09 Bob Wilson <bob.wilson@acm.org>
2389 * config/xtensa/xtensa.c (xtensa_output_literal): Don't use #if.
2391 2007-05-09 Bob Wilson <bob.wilson@acm.org>
2393 * config/xtensa/xtensa.c (xtensa_output_literal): Mask out high bits
2394 for floating-point values if HOST_BITS_PER_LONG > 32. Use split_double
2395 instead of operand_subword.
2397 2007-05-08 Bernd Schmidt <bernd.schmidt@analog.com>
2399 * config/bfin/bfin.h (LOCAL_ALIGNMENT): Define.
2400 * config/bfin/bfin.c (bfin_local_alignment): New function.
2401 * config/bfin/bfin-protos.h (bfin_local_alignment): Declare it.
2403 2007-05-08 Chao-ying Fu <fu@mips.com>
2405 * doc/md.texi (msub@var{m}@var{n}4, usub@var{m}@var{n}4): Document.
2406 * optabs.h (OTI_smsub_widen, OTI_umsub_widen): New optab_indexes.
2407 (smsub_widen_optab, umsub_widen_optab): Define.
2408 * optabs.c (init_optabs): Initialize smsub_widen_optab and
2410 * genopinit.c (optabs): Fill in smsub_widen_optab and
2412 * expr.c (expand_expr_real_1): Try to use smsub_widen_optab
2413 and umsub_widen_optab to implement multiply-subtract sequences.
2414 * config/mips/mips.md (*msac<u>_di): Rename to...
2415 (<u>msubsidi4): ...this. Extend condition to include
2416 GENERATE_MADD_MSUB and TARGET_DSPR2. Change the constraint
2417 of operand 0 to "ka" and use the three-operand form of msub<u>
2419 * config/mips/mips-dspr2.md (mips_msub, mips_msubu): Convert
2422 2007-05-08 Kaz Kojima <kkojima@gcc.gnu.org>
2424 PR rtl-optimization/28011
2425 * reload.c (push_reload): Set dont_share if IN appears in OUT
2426 also when IN is a PLUS rtx.
2427 (reg_overlap_mentioned_for_reload_p): Return true if X and IN
2430 2007-05-08 Kazu Hirata <kazu@codesourcery.com>
2432 * emit-rtl.c (unshare_all_rtl_1): Don't copy DECL_RTL. Don't
2433 call unshare_all_decls.
2434 (unshare_all_rtl): Adjust the call to unshare_all_rtl_1.
2435 (unshare_all_decls): Remove.
2437 2007-05-08 Simon Martin <simartin@users.sourceforge.net>
2440 * tree-dump.c (dump_options): Don't use TDF_DIAGNOSTIC in "*-all" tree
2443 2007-05-08 Sandra Loosemore <sandra@codesourcery.com>
2444 Nigel Stephens <nigel@mips.com>
2446 * config/mips/mips.h (MAX_FPRS_PER_FMT): Renamed from FP_INC.
2447 Update comments and all uses.
2448 (MIN_FPRS_PER_FMT): Define.
2449 * config/mips/mips.c (function_arg): Fix to correctly handle
2450 the -mips32r2 -mfp64 -mabi=32 case.
2451 (override_options): Enable use of odd-numbered registers for
2452 SFmode values on MIPS32.
2453 (mips_save_reg_p): Save whole floating-point register pair if
2454 either half is used.
2455 (compute_frame_size): Fix comment.
2457 2007-05-08 Jie Zhang <jie.zhang@analog.com>
2459 * config/bfin/bfin-protos.h (bfin_expand_epilogue): Add a third
2460 argument of type bool.
2461 * config/bfin/bfin.c (add_to_reg): Add epilogue_p as a fourth
2462 argument. Safely select temporary P register according to it.
2463 (do_link): Change call site of add_to_reg accordingly.
2464 (do_unlink): Add epilogue_p as a fourth argument and pass it
2466 (expand_interrupt_handler_epilogue): Change call of do_unlink
2468 (bfin_expand_prologue): Add a third argument sibcall_p.
2469 * config/bfin/bfin.md (epilogue): Change call of
2470 bfin_expand_epilogue accordingly.
2471 (sibcall_epilogue): Likewise.
2472 (eh_return_internal): Likewise.
2474 * config/bfin/bfin-protos.h (enum bfin_cpu): Add
2475 BFIN_CPU_BF534, BFIN_CPU_BF536 and BFIN_CPU_BF561.
2476 * config/bfin/bfin.c (bfin_handle_option): Handle
2477 -mcpu=bf534, -mcpu=bf536 and -mcpu=bf561.
2478 * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS):
2479 Support bf534, bf536 and bf561.
2480 * doc/invoke.texi (Blackfin Options): Document -mcpu and -msim.
2482 2007-05-08 Uros Bizjak <ubizjak@gmail.com>
2485 * config/i386/i386.c (ix86_function_regparm): Process local
2486 functions only when TREE_CODE (decl) equals FUNCTION_DECL.
2488 2007-05-07 Mike Stump <mrs@apple.com>
2490 * doc/invoke.texi (Warning Options): Document that -Wempty-body
2491 also checks for and while statements in C++.
2493 2007-05-07 Nathan Froyd <froydnj@codesourcery.com>
2495 * gcc.c (at_file_supplied): New variable.
2496 (main): Set it if we expanded argv.
2497 (do_spec_1): Pass an @-file to the linker if we were called with
2498 an @-file argument and HAVE_GNU_LD.
2499 * collect2.c (at_file_supplied): New variable.
2500 (response_file): New variable.
2501 (collect_exit): Unlink response_file if necessary.
2502 (handler): Likewise.
2503 (do_wait): Likewise.
2504 (main): Set at_file_supplied if we expanded argv.
2505 (collect_execute): Pass an @-file to subprocesses if we were called
2506 with an @-file argument.
2507 * configure.ac: Add define for HAVE_GNU_LD.
2508 * configure: Regenerate.
2509 * config.in: Regenerate.
2511 2007-05-07 Naveen.H.S <naveen.hs@kpitcummins.com>
2513 * config/m32c/muldiv.md (mulhisi3_c): Limit the mode of the 2nd
2519 2007-05-07 Jayant Sonar <jayants@kpitcummins.com>
2521 * config/m32c/m32c.c (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define.
2522 (TARGET_ENCODE_SECTION_INFO): Re-define.
2523 (m32c_encode_section_info): New
2524 (function_vector_handler): New
2525 (current_function_special_page_vector): New
2526 (m32c_special_page_vector_p): New.
2527 * config/m32c/m32c-protos.h (m32c_special_page_vector_p):
2529 * config/m32c/jump.md: Added instruction JSRS for functions
2530 with attribute "function_vector".
2531 * doc/extend.texi (function_vector): Added description
2532 for M16C, M32C targets.
2534 2007-05-07 DJ Delorie <dj@redhat.com>
2537 * config/m32c/shift.md (ashlpsi3_i, ashrpsi3_i, ashlpsi3,
2538 ashrpsi3, lshrpsi3): Update shift count constraint.
2540 2007-05-07 Danny Smith <dannysmith@users.sourceforge.net>
2541 Nathan Froyd <froydnj@codesourcery.com>
2544 * c-incpath.c (add_path): Strip trailing path separators.
2546 2007-05-07 Eric Botcazou <ebotcazou@adacore.com>
2548 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Reset cfg_altered.
2549 Free dominance info before purging EH edges.
2550 (eliminate_degenerate_phis): Likewise.
2551 (propagate_rhs_into_lhs): Set cfg_altered to true instead of 1.
2553 2007-05-07 Jan Hubicka <jh@suse.cz>
2555 * gimplify.c (gimplify_expr): Do not crash when folding
2556 (void *)(int)&a + 4.
2558 2007-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2561 * c-opts.c (lang_fortran): Make it non static.
2562 * c-common.h (lang_fortran): New prototype.
2563 * c-cppbuiltin.c (c_cpp_builtins): Create a __GFORTRAN__ if the
2564 -lang-fortran option was passed by the driver.
2566 2007-05-06 Eric Botcazou <ebotcazou@adacore.com>
2568 * timevar.c (timevar_print): Test ENABLE_ASSERT_CHECKING instead
2569 of ASSERT_CHECKING. Tweak message.
2571 2007-05-06 Revital Eres <eres@il.ibm.com>
2574 * loop-unroll.c (insert_var_expansion_initialization):
2575 Initialize the expansions with -zero instead of +zero.
2577 2007-05-05 Aurelien Jarno <aurelien@aurel32.net>
2579 * config/pa/pa.md: Split tgd_load, tld_load and tie_load
2580 into pic and non-pic versions. Mark r19 as used for
2581 tgd_load_pic, tld_load_pic and tie_load_pic. Mark r27 as used
2582 for tgd_load, tld_load and tie_load .
2583 * config/pa/pa.c (legitimize_tls_address): Emit pic or non-pic
2584 version of tgd_load, tld_load and tie_load depending on the
2587 2007-05-04 Ulrich Drepper <drepper@redhat.com>
2588 Jakub Jelinek <jakub@redhat.com>
2590 * crtstuff.c (HIDDEN_DTOR_LIST_END): New macro.
2591 (__do_global_dtors_aux): Use more paranoid loop to run
2592 destructors if HIDDEN_DTOR_LIST_END.
2593 (__DTOR_END__): Export as a hidden symbol when HIDDEN_DTOR_LIST_END.
2595 2007-05-04 Jakub Jelinek <jakub@redhat.com>
2597 * varasm.c (align_variable): Don't increase alignment for
2598 DECL_THREAD_LOCAL_P variables above BITS_PER_WORD through
2599 DATA_ALIGNMENT or CONSTANT_ALIGNMENT.
2601 2007-05-04 Josh Conner <jconner@apple.com>
2603 * basic-block.h (cdi_direction): Assign values to all enumeration
2605 (dom_computed): Remove.
2606 (dom_info_state): New.
2607 (set_dom_info_availability): New.
2608 * tree-ssa-loop-im.c (determine_invariantness): Initialize
2609 walk_data.dom_direction.
2610 * cfghooks.c (delete_basic_block): Use dom_info_available_p()
2611 instead of dom_computed[].
2612 (split_edge): Likewise.
2613 (create_basic_block): Likewise.
2614 (merge_blocks): Likewise.
2615 * ifcvt.c (find_if_header): Likewise.
2616 * tree-cfgcleanup.c (cleanup_tree_cfg): Likewise.
2617 * tree-ssa-dce.c (remove_dead_stmt): Likewise.
2618 * tree-ssa.c (verify_ssa): Likewise.
2619 * tree-cfg.c (tree_verify_flow_info): Likewise.
2620 (remove_edge_and_dominated_blocks): Likewise.
2621 * dominance.c (dom_computed): Make static.
2622 (calc_dfs_tree_nonrec): Change third param to a bool.
2623 (calc_dfs_tree): Change second param to a bool.
2624 (calc_idioms): Change second param to a bool. Use
2625 dom_convert_dir_to_idx.
2626 (init_dom_info): Validate dir before using.
2627 (dom_convert_dir_to_idx): New.
2628 (calculate_dominance_info): Use dom_convert_dir_to_idx. New
2629 variable 'reverse' used for calling calc_dfs_tree and calc_idoms.
2630 (free_dominance_info): Use dom_convert_dir_to_idx.
2631 (get_immediate_dominator): Likewise.
2632 (set_immediate_dominator): Likewise.
2633 (get_dominated_by): Likewise.
2634 (redirect_immediate_dominators): Likewise.
2635 (nearest_common_denominator): Likewise.
2636 (dominated_by_p): Likewise.
2637 (bb_dom_dfs_in): Likewise.
2638 (bb_dom_dfs_out): Likewise.
2639 (recount_dominator): Likewise.
2640 (iterate_fix_dominators): Likewise.
2641 (add_to_dominance_info): Likewise.
2642 (delete_from_dominance_info): Likewise.
2643 (first_dom_son): Likewise.
2644 (next_dom_son): Likewise.
2645 (dom_info_available_p): Likewise.
2646 (dom_info_state): New.
2647 (set_dom_info_availability): New.
2649 2007-05-04 Andreas Krebbel <krebbel1@de.ibm.com>
2651 * config/s390/s390.md ("fix_trunc<mode>di2", "fix_trunc<mode>si2"):
2653 ("fix_trunc<DSF:mode><GPR:mode>2"): Expander added.
2655 2007-05-04 Bob Wilson <bob.wilson@acm.org>
2657 * config/xtensa/xtensa.md (adddi3, adddi_carry): Delete.
2658 (subdi3, subdi_carry): Delete.
2660 2007-05-04 Jan Hubicka <jh@suse.cz>
2661 Richard Guenther <rguenther@suse.de>
2663 * opts.c (decode_options): Do not fiddle with inlining
2664 parameters in case of optimizing for size.
2665 * ipa-inline.c (cgraph_decide_recursive_inlining): When optimizing
2666 for size do nothing.
2667 (cgraph_decide_inlining_of_small_function): When optimizing for
2668 size never inline functions increasing caller size.
2669 (cgraph_early_inlining): Inline for size when optimizing for size.
2671 2007-04-18 Bernd Schmidt <bernd.schmidt@analog.com>
2673 * config/bfin/bfin.md (<optab>di3): Now a define_expand which expands
2674 logical operations piecewise.
2675 (<optab>di_zesidi_di, <optab>di_sesidi_di, negdi2, one_cmpldi2,
2676 zero_extendsidi2, subdi_di_zesidi, subdi_zesidi_di, subdi_di_sesidi,
2677 subdi_sesidi_di): Delete.
2678 (add_with_carry): Produce carry in CC instead of a DREG to shorten
2679 the generated sequence. Allow three-reg add in constraints. Rewrite
2680 the rtl expression for carry to avoid zero_extend of a constant.
2681 (sub_with_carry): New pattern.
2682 (adddi3, subdi3): Change into define_expand. For subtract, generate a
2683 different sequence not involving jumps.
2684 (notbi): Now a named pattern.
2686 2007-05-04 Bradley Lucier <lucier@math.purdue.edu>
2688 * doc/invoke.texi (i386 and x86-64 Options) [-mpc32, -mpc64, -mpc80]:
2689 Add the note about a significant loss of accuracy of some
2690 mathematical routines when these options are used.
2692 2007-05-04 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
2694 * haifa-sched.c (rtx_vec_t): New typedef.
2695 (contributes_to_priority_p): Extract piece of priority () into new
2697 (priority): Use the function. Add assertion.
2698 (rank_for_schedule, set_priorities): Add assertion to check that
2699 insn's priority is initialized.
2700 (clear_priorities, calc_priorities): Change signature. Make it update
2701 all relevant insns. Update all callers ('add_to_speculative_block ()'
2702 and 'create_block_check_twin ()').
2703 * sched-int.h (struct haifa_insn_data): Remove field 'priority_known'.
2704 Add new field 'priority_status'.
2705 (INSN_PRIORITY_STATUS): New macro.
2706 (INSN_PRIORITY_KNOWN): Change to use INSN_PRIORITY_STATUS.
2708 2007-05-04 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
2710 * sched-ebb.c (debug_ebb_dependencies): New static function.
2711 (init_ready_list): Use it.
2713 * sched-rgn.c (debug_dependencies): Split into 'debug_dependencies ()'
2714 with changed signature and 'debug_rgn_dependencies ()'.
2715 (debug_rgn_dependencies): New static function.
2716 (init_ready_list): Use it.
2718 * sched-int.h (debug_dependencies): Declare.
2720 2007-05-04 Andreas Krebbel <krebbel1@de.ibm.com>
2722 * libgcc-std.ver (__ffssi2): Added to GCC_4.3.0 section.
2724 2007-05-04 Dirk Mueller <dmueller@suse.de>
2726 * c.opt(Wmain,ffreestanding): Enable for C++,ObjC++.
2728 2007-05-03 Jan Hubicka <jh@suse.cz>
2730 * fold-const.c (fold_unary): Convert (T1)(X op Y) into ((T1)X op (T1)Y),
2731 for pointer type in more cases than before.
2733 * gimplify.c (gimplify_expr): Fold (void *)&a + 4.
2735 * tree-object-size.c (plus_expr_object_size): When operand size is
2736 unknown, return unknown.
2738 2007-05-03 Dirk Mueller <dmueller@suse.de>
2740 * doc/invoke.texi (-m386,-m486,-mpentium,-mpentiumpro): Remove.
2742 * config/i386/i386.h (CC1_CPU_SPEC): Remove handling for deprecated
2745 * config/i386/i386.opt (m386,m486,mpentium,mpentiumpro): Remove.
2747 2007-05-03 Janis Johnson <janis187@us.ibm.com>
2749 * doc/sourcebuild.texi (Test Directives) Clarify dg-excess-errors.
2751 2007-05-03 Joseph Myers <joseph@codesourcery.com>
2753 * config/soft-fp/double.h, config/soft-fp/extended.h,
2754 config/soft-fp/floatundidf.c, config/soft-fp/floatundisf.c,
2755 config/soft-fp/floatunsidf.c, config/soft-fp/floatunsisf.c,
2756 config/soft-fp/op-2.h, config/soft-fp/op-4.h,
2757 config/soft-fp/op-common.h, config/soft-fp/quad.h: Update from
2760 2007-05-03 Ian Lance Taylor <iant@google.com>
2762 * config/rs6000/rs6000.c (rs6000_override_options): Don't set
2763 MASK_PPC_GFXOPT for 8540 or 8548.
2765 2007-05-03 Uros Bizjak <ubizjak@gmail.com>
2767 * tree-vect-transform.c (vect_update_inits_of_drs): Use
2768 vect_print_dump_info() to output debug information.
2770 2007-05-03 Uros Bizjak <ubizjak@gmail.com>
2773 * config/i386/i386.c (print_operand) ['z']: Output 'w' for
2774 operands of size 2 when operand is not MEM_P.
2776 2007-05-03 Zdenek Dvorak <dvorakz@suse.cz>
2778 PR tree-optimization/30565
2779 * lambda-code.c (perfect_nestify): Fix updating of dominators.
2781 2007-05-03 Bernd Schmidt <bernd.schmidt@analog.com>
2783 * config/bfin/bfin.md (addpdi3, us_truncpdisi2): New patterns.
2784 (umulsi3_highpart): Use them.
2785 * config/bfin/lib1funcs.asm (__umulsi3_highpart): Use unsigned move
2786 for final accumulator to D regisster tranfser.
2788 2007-05-03 Dorit Nuzman <dorit@il.ibm.com>
2790 PR tree-optimization/31699
2791 * tree-vect-analyze.c (vect_update_misalignment_for_peel): Remove wrong
2793 (vect_enhance_data_refs_alignment): Compute peel amount using
2794 TYPE_VECTOR_SUBPARTS instead of vf.
2795 * tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Likewise.
2797 2007-05-02 Brooks Moses <brooks.moses@codesourcery.com>
2800 * system.h: Remove inclusion of double-int.h
2801 * tree.h: Include double-int.h
2802 * gengtype.c: Likewise
2803 * cfgloop.h: Likewise
2804 * Makefile.in: Adjust dependencies on double-int.h
2806 2007-05-02 Eric Christopher <echristo@apple.com>
2808 * config/darwin.h (TARGET_OPTION_TRANSLATE_TABLE): Translate
2809 -shared to -Zdynamiclib.
2811 2007-05-02 Seongbae Park <seongbae.park@gmail.com>
2814 * c-common.c (strip_pointer_or_array_types): New function.
2815 * c-common.h (strip_pointer_or_array_types): New function declaration.
2817 2007-05-03 Zdenek Dvorak <dvorakz@suse.cz>
2819 PR tree-optimization/31771
2820 * tree-cfg.c (move_block_to_fn): Assign bb to the correct index.
2822 2007-05-02 Paul Brook <paul@codesourcery.com>
2824 * config/arm/bpabi.S (aeabi_lcmp): Fix result on overflow.
2826 2007-05-02 Andrew Pinski <andrew_pinski@playstation.sony.com>
2829 * fold-const.c (fold_comparision): Remove the "foo++ == CONST"
2832 2007-05-02 Nick Clifton <nickc@redhat.com>
2834 * config/frv/predicates.md (symbolic_operand): Accept CONSTs.
2836 2007-05-02 Richard Guenther <rguenther@suse.de>
2838 PR tree-optimization/31146
2839 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): New
2840 argument, single_use_p. If we have a single use that is
2841 a conversion to the definition rhs type, propagate that rhs.
2842 (forward_propagate_addr_expr): Pass single_use_p argument
2843 to forward_propagate_addr_expr_1.
2845 2007-05-01 H.J. Lu <hongjiu.lu@intel.com>
2847 * config/i386/i386.c (ix86_expand_sse_comi): Remove unused
2850 2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
2852 * doc/invoke.texi: Fix typo, 'AMD Family 10h core' instead of
2853 'AMD Family 10 core'.
2855 2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
2857 * config/i386/i386.c (override_options): Accept k8-sse3, opteron-sse3
2858 and athlon64-sse3 as improved versions of k8, opteron and athlon64
2859 with SSE3 instruction set support.
2860 * doc/invoke.texi: Likewise.
2862 2007-05-01 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
2864 * config/i386/i386.c (override_options): Tuning 32-byte loop
2865 alignment for amdfam10 architecture. Increasing the max loop
2866 alignment to 24 bytes.
2868 2007-05-01 Kazu Hirata <kazu@codesourcery.com>
2870 * config/m68k/constraints.md: New.
2871 * config/m68k/m68k.h (REG_CLASS_FROM_LETTER,
2872 CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
2873 EXTRA_CONSTRAINT): Remove.
2874 * config/m68k/m68k.md: Include constraints.md.
2875 * expr.c (expand_expr_real_1): Copy DECL_RTL before using it.
2877 2007-05-01 Ian Lance Taylor <iant@google.com>
2879 PR tree-optimization/31739
2880 * tree-vrp.c (vrp_val_is_max): New static function.
2881 (vrp_val_is_min): New static function.
2882 (set_value_range_to_value): Use TYPE_{MAX,MIN}_VALUE rather than
2884 (set_value_range): Use vrp_val_is_{max,min}.
2885 (extract_range_from_assert): Likewise.
2886 (extract_range_from_binary_expr): Likewise.
2887 (extract_range_from_unary_expr): Likewise.
2888 (dump_value_range, vrp_meet): Likewise.
2889 (vrp_visit_phi_node): Likewise.
2890 * tree.c (build_distinct_type_copy): Revert change of 2007-04-27.
2892 2007-05-01 Mark Mitchell <mark@codesourcery.com>
2894 * config/i386/gmon-sol2.c (size_t): New type.
2895 (intptr_t): Likewise.
2896 (s_textsize): Declare as size_t.
2898 (monstartup): Use size_t for sizes.
2899 (_mcount): Save and restore registers.
2900 (internal_mcount): Pass 0 as the first argument to monstartup
2902 (moncontrol): Convert pointer to appropriately sized integer
2903 before passing to profil.
2905 2007-05-01 Joseph Myers <joseph@codesourcery.com>
2907 * config/rs6000/darwin-ldouble.c (__gcc_qunord): Define if
2908 __NO_FPRS__, not just if _SOFT_DOUBLE.
2909 * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qunord): Likewise.
2910 * config/rs6000/rs6000.c (rs6000_init_libfuncs): Use __gcc_qunord
2911 also for E500 double.
2912 * config/rs6000/rs6000.md (buneq, bunge, bungt, bunle, bunlt,
2913 suneq, sunge, sungt, sunle, sunlt): Disable for (TARGET_HARD_FLOAT
2916 2007-05-01 Richard Guenther <rguenther@suse.de>
2918 * tree-ssa-loop-manip.c (ip_normal_pos): Check if last stmt
2921 2007-05-01 Joseph Myers <joseph@codesourcery.com>
2923 * config/rs6000/libgcc-ppc-glibc.ver (__gcc_qgt): Fix typo.
2925 2007-05-01 Jan Hubicka <jh@suse.cz>
2927 * tree-vectorize.c (vect_is_simple_use): gimple_min_invariant is
2930 2007-05-01 Jan Hubicka <jh@suse.cz>
2932 * tree.h (maybe_fold_offset_to_component_ref): Remove.
2933 (maybe_fold_offset_to_reference): Declare.
2934 * fold-const.c (fold_unary): Do not fold
2935 (type *)&A into &A->field_of_type_and_offset_0
2936 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): When base type
2937 size is unknown, give up.
2938 (maybe_fold_offset_to_component_ref): Ignore firelds with unknown
2940 (maybe_fold_offset_to_reference): New.
2941 (maybe_fold_stmt_indirect): Use it.
2942 (fold_stmt_r): Fold (type *)&A+offset into A->field_if_type_and_offset.
2943 * gimplify.c (gimplify_conversion): Canonicalize conversions to
2945 (gimplify_expr): Likewise for plus_expr.
2947 2007-05-01 Zdenek Dvorak <dvorakz@suse.cz>
2949 * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Use
2950 bsi_after_labels. Always insert statements before bsi.
2951 * tree-vect-transform.c (vect_create_epilog_for_reduction): Ditto.
2952 * predict.c (apply_return_prediction): Check for empty blocks.
2953 * cfgexpand.c (lab_rtx_for_bb): New variable.
2954 (label_rtx_for_bb): Do not create new tree labels.
2955 (expand_gimple_basic_block): Add labels recorded in lab_rtx_for_bb.
2956 (tree_expand_cfg): Initialize lab_rtx_for_bb.
2957 * tree-cfg.c (build_tree_cfg): Call cleanup_dead_labels after
2959 (label_for_bb): Add field used.
2960 (update_eh_label, main_block_label): Mark the label used.
2961 (cleanup_dead_labels): Remove unused labels.
2963 2007-05-01 Richard Guenther <rguenther@suse.de>
2965 * tree-vrp.c (set_value_range): Do not allocate equiv bitmap
2966 if it is not about to be set.
2967 (get_value_range): Do not pre-allocate equiv bitmap.
2968 (update_value_range): No need to clear equiv field.
2969 (add_equivalence): Change prototype to get bitmap pointer.
2970 Allocate bitmap here if it is not already.
2971 (extract_range_from_assert): Do not allocate bitmap here.
2972 Update callers to add_equivalence.
2973 (extract_range_from_ssa_name): Likewise.
2974 (get_vr_for_comparison): New static helper.
2975 (compare_name_with_value): Handle NULL equiv bitmap by
2976 peeling the first iteration of the comparison loop.
2977 Use get_vr_for_comparison.
2978 (compare_names): Handle NULL equiv bitmaps by using fake
2979 ones. Use get_vr_for_comparison.
2981 2007-04-30 Brooks Moses <brooks.moses@codesourcery.com>
2983 * double-int.c (mpz_set_double_int): Moved from
2984 tree-ssa-loop-niter.c.
2985 (mpz_get_double_int): Likewise; also, add option to wrap
2986 out-of-range integers.
2987 * double-int.h: New prototypes for above.
2988 * tree.c (get_static_type_bounds): Moved from
2989 tree-ssa-loop-niter.c; now returns TYPE_MIN_VALUE and
2990 TYPE_MAX_VALUE if they exist..
2991 * tree.h: New prototype for above.
2992 * tree-ssa-loop-niter.c: Adjust mpz_to_double_int and
2993 get_type_bounds calls.
2994 (mpz_set_double_int): Move to double-int.c.
2995 (get_type_bounds): Move to tree.c, rename to
2996 get_static_type_bounds.
2997 (mpz_to_double_int): Move to double-int.c, rename to
3000 2007-04-30 Bob Wilson <bob.wilson@acm.org>
3002 * config/xtensa/lib1funcs.asm (__umodsi3, __modsi3): Rearrange so that
3003 DIV0 exception can fall through to a normal return.
3005 2007-04-30 Alexandre Oliva <aoliva@redhat.com>
3009 2007-04-06 Andreas Tobler <a.tobler@schweiz.org>
3010 * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
3011 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
3012 * tree-sra.c (try_instantiate_multiple_fields): Needlessly
3013 initialize align to silence bogus warning.
3014 2007-04-05 Alexandre Oliva <aoliva@redhat.com>
3015 * tree-sra.c (struct sra_elt): Add in_bitfld_block. Remove
3017 (struct sra_walk_fns): Remove use_all parameter from use.
3018 (sra_hash_tree): Handle BIT_FIELD_REFs.
3019 (sra_elt_hash): Don't hash bitfld blocks.
3020 (sra_elt_eq): Skip them in parent compares as well. Handle
3022 (sra_walk_expr): Don't maintain or pass down use_all_p.
3023 (scan_use): Remove use_all parameter.
3024 (scalarize_use): Likewise. Re-expand assignment to
3025 BIT_FIELD_REF of gimple_reg. De-scalarize before input or
3026 output, and re-scalarize after output. Don't mark anything
3028 (scalarize_ldst): Adjust.
3029 (scalarize_walk_gimple_modify_statement): Likewise.
3030 (build_element_name_1): Handle BIT_FIELD_REFs.
3031 (instantiate_element): Don't warn for any element whose parent
3033 (instantiate_missing_elements_1): Return the sra_elt.
3034 (canon_type_for_field): New.
3035 (try_instantiate_multiple_fields): New.
3036 (instantiate_missing_elemnts): Use them.
3037 (mark_no_warning): Removed.
3038 (generate_one_element_ref): Handle BIT_FIELD_REFs.
3039 (REPLDUP, sra_build_elt_assignment): New.
3040 (generate_copy_inout): Use them.
3041 (generate_element_copy): Likewise. Handle bitfld differences.
3042 (generate_element_zero): Don't recurse for blocks. Use
3043 sra_build_elt_assignment.
3044 (generate_one_element_int): Take elt instead of var. Use
3045 sra_build_elt_assignment.
3046 (generate_element_init_1): Adjust.
3047 (scalarize_use, scalarize_copy): Use REPLDUP.
3048 (scalarize_ldst): Move assert before dereference.
3049 (dump_sra_elt_name): Handle BIT_FIELD_REFs.
3051 2007-04-30 Andrew Pinski <andrew_pinski@playstation.sony.com>
3054 * tree.c (reconstruct_complex_type): Reconstruct a reference
3056 Also use the same mode for the pointer as the old pointer type.
3058 2007-04-30 Francois-Xavier Coudert <coudert@clipper.ens.fr>
3060 * doc/trouble.texi (Interoperation): Remove note about Ultrix
3063 2007-04-29 Zdenek Dvorak <dvorakz@suse.cz>
3065 PR rtl-optimization/31676
3066 * df-scan.c (record_nonlocal_goto_receiver_defs): New function.
3067 (df_refs_record): Call it.
3069 2007-04-29 Bernd Schmidt <bernd.schmidt@analog.com>
3071 * rtl.def (SS_ABS): New code.
3072 * config/bfin/bfin.c (print_operand): New modifier 'v'.
3073 (enum bfin_builtins): Add BFIN_BUILTIN_SUM_2X16, BFIN_BUILTIN_ABS_1x32,
3074 BFIN_BUILTIN_ROUND_1x32, BFIN_BUILTIN_MULT_1x32x32,
3075 BFIN_BUILTIN_MULT_1x32x32NS, BFIN_BUILTIN_SSASHIFT_1x32.
3076 (bfin_init_builtins): Define them.
3077 (bdesc_1arg, bdesc_2arg): Add some of them here, ...
3078 (bfin_expand_builtin): ... and handle the others here.
3079 * config/bfin/bfin.md (ssabssi2, ssroundsi2, ssashiftsi3,
3080 flag_mul_macv2hi_parts_acconly_andcc0): New patterns.
3081 (ss_absv2hi2): Renamed from absv2hi; use ss_abs code.
3082 (ssashiftv2hi3, ssashifthi3, lshiftv2hi3, lshifthi3): Shift count
3083 operand is only HImode.
3085 2007-04-29 Steven Bosscher <steven@gcc.gnu.org>
3087 * regclass.c (scan_one_insn): Remove splitting of
3090 2007-04-28 Sandra Loosemore <sandra@codesourcery.com>
3091 Nigel Stephens <nigel@mips.com>
3093 * config/mips/mips.h (SLOW_BYTE_ACCESS): Turn off for MIPS16.
3095 2007-04-28 Jan Hubicka <jh@suse.cz>
3097 * config/alpha/alpha.c (alpha_output_mi_thunk_osf): Use
3098 insn_locators_alloc instead of insn_locators_initialize;
3099 call reset_block_changes.
3100 * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
3101 * config/sh/sh.c (sparc_output_mi_thunk): Likewise.
3102 * config/is64/ia64.c (ia64_output_mi_thunk): Likewise.
3103 * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
3104 * config/score/score.c (th_output_mi_thunk): Likewise.
3105 * config/mips/mips.c (mips_output_mi_thunk): Likewise.
3106 * cfglyaout.c (set_curr_insn_source_location, set_curr_insn_block):
3107 tolerate uninitialized locator info.
3110 * function.c (init_function_start): Don't init line number info.
3111 (expand_function_end): Update.
3112 (reset_block_changes, record_block_change, finalize_block_changes,
3113 check_block_change, free_block_changes): Kill.
3114 * function.h (reset_block_changes, record_block_change,
3115 finalize_block_changes, check_block_change, free_block_changes): Remove
3117 (struct function): Remove ib_boundaries_block.
3118 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
3119 Use curr_insn_locator to initialize locator.
3120 (emit_line_note): Remove.
3121 * cfgexpand.c (expand_gimple_cond_expr): Update.
3122 (construct_exit_block): Likewise.
3123 (tree_expand_cfg): Initialize/finalize locators.
3124 * expr.c (expand_expr_real): Update.
3125 * cfglayout.c (line_locators_locs, line_locators_lines,
3126 file_locators_locs, file_locators_files): Remove.
3127 (set_block_levels): Move to cfgexpand.c.
3128 (insn_locators_initialize): Remove.
3129 (pass_insn_locators_initialize): Remove.
3130 (locations_locators_locs, locations_locators_vals): New static vars.
3131 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
3133 (insn_locators_alloc, insn_locators_finalize,
3134 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
3136 (locator_location): New.
3137 (locator_line, locator_file): Rewrite.
3138 * rtl.h (emit_line_note): Kill.
3139 (insn_locators_alloc, insn_locators_finalize,
3140 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
3142 * tree-inline.c (initialize_cfun): Do not initialize
3143 ib_boundaries_block.
3144 * passes.c (pass_insn_locators_initialize): Remove.
3146 2007-04-28 Zdenek Dvorak <dvorakz@suse.cz>
3148 * tree-cfg.c (move_block_to_fn): Release bb from dominance
3149 info. Update last_basic_block correctly.
3151 2007-04-27 Kaz Kojima <kkojima@gcc.gnu.org>
3154 * config/sh/sh.c (output_stack_adjust): Avoid using the frame
3155 register itself to hold the offset constant. Tell flow the use
3156 of r4 and r5 when they are used.
3158 2007-04-27 Richard Guenther <rguenther@suse.de>
3160 * tree-ssa-forwprop.c (forward_propagate_into_cond): Keep track
3161 if we simplified anything.
3162 (tree_ssa_forward_propagate_single_use_vars): Defer overflow
3163 warnings until we did a simplification and the stmt was not
3164 marked as TREE_NO_WARNING.
3166 2007-04-27 Mike Stump <mrs@apple.com>
3168 * config/rs6000/darwin.h (ALWAYS_PUSH_CONSTS_USING_REGS_P): Remove.
3170 2007-04-27 Ian Lance Taylor <iant@google.com>
3173 * tree.c (build_distinct_type_copy): If TYPE_MIN_VALUE or
3174 TYPE_MAX_VALUE exist, convert them to the new type.
3176 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
3178 * tree-cfgcleanup.c (cleanup_tree_cfg): Verify dominance info
3179 if it claims to be available.
3180 * tree-ssa-dce.c (remove_dead_stmt): Mark cfg as altered when
3182 (perform_tree_ssa_dce): Always free postdominators.
3184 2007-04-27 Richard Henderson <rth@redhat.com>
3186 * config/alpha/predicates.md (aligned_memory_operand): Mark
3187 as define_special_predicate.
3188 (unaligned_memory_operand, normal_memory_operand): Likewise.
3189 (reg_or_unaligned_mem_operand): Remove.
3190 (any_memory_operand): Match the documentation and check for
3191 non-renumbered pseudos during reload.
3192 * config/alpha/alpha.c (alpha_secondary_reload): Rename from
3193 alpha_secondary_reload_class, update to new interface, make static.
3194 Handle CQImode like HImode. Remove FP subreg check.
3195 (alpha_expand_mov): Use replace_equiv_address.
3196 (alpha_expand_mov_nobwx): Use any_memory_operand.
3197 (TARGET_SECONDARY_RELOAD): New.
3198 * config/alpha/alpha.h (SECONDARY_INPUT_RELOAD_CLASS): Remove.
3199 (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
3200 * config/alpha/sync.md (I12MODE, I48MODE, modesuffix): Move ...
3201 * config/alpha/alpha.md: ... here.
3202 (RELOAD12, reloadmode): New.
3204 (reload_in<RELOAD12>): Macro-ize from reload_inqi, reload_inhi.
3205 Don't handle the aligned case here.
3206 (reload_out<RELOAD12>): Macro-ize from reload_outqi, reload_outhi.
3207 (reload_in<I12MODE>_aligned): Macro-ize from reload_inqi_help,
3208 reload_inhi_help. Don't expect a scratch register.
3209 (reload_out<I12MODE>_aligned): Macro-ize from reload_outqi_help,
3211 * config/alpha/alpha-protos.h (alpha_secondary_reload_class): Remove.
3213 2007-04-27 Richard Guenther <rguenther@suse.de>
3215 * tree-ssa-forwprop.c (get_prop_dest_stmt): Fix comment typo.
3217 2007-04-27 Richard Guenther <rguenther@suse.de>
3219 PR tree-optimization/30965
3220 PR tree-optimization/30978
3221 * Makefile.in (tree-ssa-forwprop.o): Depend on $(FLAGS_H).
3222 * tree-ssa-forwprop.c (forward_propagate_into_cond_1): Remove.
3223 (find_equivalent_equality_comparison): Likewise.
3224 (simplify_cond): Likewise.
3225 (get_prop_source_stmt): New helper.
3226 (get_prop_dest_stmt): Likewise.
3227 (can_propagate_from): Likewise.
3228 (remove_prop_source_from_use): Likewise.
3229 (combine_cond_expr_cond): Likewise.
3230 (forward_propagate_comparison): New function.
3231 (forward_propagate_into_cond): Rewrite to use fold for
3233 (tree_ssa_forward_propagate_single_use_vars): Call
3234 forward_propagate_comparison to propagate comparisons.
3236 2007-04-27 Richard Guenther <rguenther@suse.de>
3238 PR tree-optimization/31715
3239 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make
3240 sure to do computation on the offset in an appropriate
3243 2007-04-27 Richard Sandiford <richard@codesourcery.com>
3245 * reload.h (elimination_target_reg_p): Declare.
3246 * reload.c (find_reloads): Don't apply the reg_rtx move
3247 optimization if the SET_DEST satisfies elimination_target_reg_p.
3248 * reload1.c (elimination_target_reg_p): New function.
3249 (gen_reload): In the move/add2 fallback, make sure that op0
3250 does not overlap the destination register.
3252 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
3254 * tree-ssa-loop-im.c (determine_invariantness_stmt): Attempt to
3255 transform only GIMPLE_MODIFY_STMTs.
3256 * tree-complex.c (expand_complex_operations_1): Ditto.
3257 (expand_complex_div_wide): Do not create gotos in COND_EXPR branches.
3258 * tree-ssa-loop-manip.c (build_if_stmt): Removed.
3259 (tree_transform_and_unroll_loop): Do not create gotos in COND_EXPR
3261 * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
3262 tree_mod_subtract, tree_ic, tree_stringop_fixed_value): Ditto.
3263 * omp-low.c (expand_parallel_call, expand_omp_for_generic,
3264 expand_omp_for_static_chunk, expand_omp_for_static_nochunk): Ditto.
3265 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes,
3266 slpeel_add_loop_guard): Ditto.
3267 * tree-mudflap.c (mf_build_check_statement_for): Ditto.
3268 * lambda-code.c (perfect_nestify): Ditto.
3269 * tree-iterator.c (tsi_split_statement_list_before): Fix splitting
3270 before the first statement.
3271 * tree-optimize.c (execute_free_datastructures): Fix comments.
3272 (execute_free_cfg_annotations): Do not call disband_implicit_edges.
3273 * tree-flow.h (disband_implicit_edges): Declaration removed.
3274 * tree-cfg.c (make_cond_expr_edges): Remove gotos from COND_EXPR
3276 (cleanup_dead_labels, tree_redirect_edge_and_branch): Handle COND_EXPRs
3278 (disband_implicit_edges, has_label_p): Removed.
3279 (tree_verify_flow_info): Verify that COND_EXPR branches are empty.
3280 (tree_lv_add_condition_to_bb): Do not create gotos in COND_EXPR
3282 * tree.c (build3_stat): Mark COND_EXPRs used as statements as having
3284 * tree-pretty-print.c (dump_implicit_edges): Dump implicit edges
3285 also for COND_EXPRs.
3286 * cfgexpand.c (label_rtx_for_bb): New function.
3287 (expand_gimple_cond_expr): Do not expect gotos in COND_EXPR branches.
3288 Use label_rtx_for_bb to find the labels.
3289 (expand_gimple_basic_block): Remove RETURN_EXPR at the end of the
3290 last block. Detect fallthru edges.
3292 2007-04-26 Ian Lance Taylor <iant@google.com>
3295 * reload.c (find_reloads_subreg_address): If the address was valid
3296 in the original mode but not in the new mode, reload the whole
3299 2007-04-27 Zdenek Dvorak <dvorakz@suse.cz>
3301 * tree-cfgcleanup.c (cfgcleanup_altered_bbs): New global variable.
3302 (remove_fallthru_edge): Use remove_edge_and_dominated_blocks.
3303 (cleanup_control_expr_graph): Do not invalidate dominance info.
3304 Record altered blocks.
3305 (cleanup_control_flow, cleanup_forwarder_blocks): Removed.
3306 (cleanup_control_flow_bb, split_bbs_on_noreturn_calls,
3307 cleanup_tree_cfg_bb): New functions.
3308 (remove_forwarder_block): Do not maintain the worklist of blocks.
3309 Record altered blocks.
3310 (cleanup_tree_cfg_1): Iterate over cfgcleanup_altered_bbs,
3312 (cleanup_tree_cfg): Do not iterate cleanup_tree_cfg_1. Only call
3313 delete_unreachable_blocks if dominators are not available.
3314 * tree-inline.c (optimize_inline_calls): Free dominance information
3316 * tree-flow.h (remove_edge_and_dominated_blocks,
3317 cfgcleanup_altered_bbs): Altered.
3318 * tree-cfg.c (replace_uses_by, tree_merge_blocks): Record altered
3320 (get_all_dominated_blocks, remove_edge_and_dominated_blocks): New
3322 (tree_purge_dead_eh_edges): Use remove_edge_and_dominated_blocks,
3323 do not invalidate dominators.
3325 2007-04-26 Anatoly Sokolov <aesok@post.ru>
3327 * config/avr/avr.c (avr_mcu_types): Add support for ATmega8HVA and
3328 ATmega16HVA devices. Move AT90USB82 device to 'avr5' architecture.
3329 * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.).
3330 * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.).
3332 2007-04-26 Steve Ellcey <sje@cup.hp.com>
3334 * config/ia64/ia64.md (ip_value): Fix itanium_class attribute.
3336 2007-04-26 Richard Guenther <rguenther@suse.de>
3338 PR tree-optimization/31703
3339 * tree-ssa-loop-im.c (rewrite_bittest): Make sure to use
3340 the right type for the target of the bittest.
3342 2007-04-26 Richard Sandiford <richard@codesourcery.com>
3344 * config/i386/vx-common.h (RETURN_IN_MEMORY): Use
3345 ix86_sol10_return_in_memory.
3347 2007-04-26 Richard Sandiford <richard@codesourcery.com>
3349 * config/i386/i386.c (ix86_sol10_return_in_memory): Remove unused
3352 2007-04-26 Jakub Jelinek <jakub@redhat.com>
3355 * tree-inline.c (copy_body_r): Don't touch TREE_TYPE of OMP_CLAUSE.
3357 PR tree-optimization/30558
3358 * tree-eh.c (lower_eh_filter): If EH_FILTER_MUST_NOT_THROW
3359 clear this_state.prev_try.
3361 2007-04-26 Richard Sandiford <richard@codesourcery.com>
3362 Mark Mitchell <mark@codesourcery.com>
3364 * config/i386/i386-protos.h (ix86_sol10_return_in_memory): Declare.
3365 * config/i386/i386.c (ix86_sol10_return_in_memory): New function.
3366 * config/i386/sol2-10.h (RETURN_IN_MEMORY): Use it.
3368 2007-04-26 Richard Sandiford <richard@codesourcery.com>
3371 * doc/invoke.texi (%:print-asm-header): Document.
3372 * gcc.c (asm_options): Use %:print-asm-header() for --target-help
3374 (static_spec_functions): Add print-asm-header.
3375 (main): Print a banner before the --target-help linker options.
3376 (print_asm_header_spec_function): New function.
3378 2007-04-25 Kaz Kojima <kkojima@gcc.gnu.org>
3381 * config/sh/sh.md (movsi_ie): Fix length for TARGET_SH2A.
3382 (movsf_ie): Likewise.
3384 2007-04-25 Paolo Carlini <pcarlini@suse.de>
3386 * doc/extend.texi ([Type Traits]): Adjust per N2255.
3388 2007-04-25 Bob Wilson <bob.wilson@acm.org>
3390 * config/xtensa/lib1funcs.asm (__udivsi3, __divsi3): Throw an exception
3392 (__umodsi3, __modsi3): Likewise.
3394 2007-04-25 Dirk Mueller <dmueller@suse.de>
3396 * c-typeck.c (build_compound_expr): Annotate warning()
3397 call with OPT_Wunused_value.
3398 * tree-ssa.c (warn_uninit): Annotate warning with
3400 * c-common.c (handle_sentinel_attribute): Annotate warning
3401 call with OPT_Wattributes.
3403 2007-04-25 Thiemo Seufer <ths@mips.com>
3405 * config/mips/mips.opt (mdmx, mmt, mno-mdmx): New options.
3407 * config/mips/mips.h (ASM_SPEC): Pass -mmt/-mno-mt and -mdmx/-mno-mdmx
3408 on to the assembler. Improve handling of -mno-mips16. Add handling
3409 of -mno-mips3d, -mno-dsp, -mno-dspr2.
3410 * doc/invoke.texi (MIPS Options): Whitespace cleanup. Fix wrong use
3411 of @itemx. Document -mno-dsp, -mno-dspr2, -mno-paired-single, -mdmx,
3412 -mno-mdmx, -mno-mips3d, -mmt and -mno-mt.
3414 2007-04-25 Danny Smith <dannysmith.users.sourceforge.net>
3417 * config/i386/winnt.c (i386_pe_file_end): Strip only
3418 USER_LABEL_PREFIX when writing export name.
3420 2007-04-25 Richard Sandiford <richard@codesourcery.com>
3422 * config.gcc (sh-wrs-vxworks): Don't include dbxelf.h. Include
3423 sh/elf.h, vx-common.h and vxworks.h.
3424 * config/sh/sh.h: Include config/vxworks-dummy.h.
3425 (SUBTARGET_OVERRIDE_OPTIONS): Define.
3426 (OVERRIDE_OPTIONS): Use it.
3427 * config/sh/sh.md (GOTaddr2picreg): Add suport for VxWorks RTPs.
3428 (vxworks_picreg): New pattern.
3429 * config/sh/vxworks.h (TARGET_OS_CPP_BUILTINS): Use
3430 VXWORKS_OS_CPP_BUILTINS.
3431 (LIB_SPEC, LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Redefine
3432 to their VXWORKS_* equivalents.
3433 (SUBTARGET_OVERRIDE_OPTIONS, SUBTARGET_CPP_SPEC): Define.
3434 (SUBTARGET_LINK_EMUL_SUFFIX, FUNCTION_PROFILER): Define.
3435 * config/sh/lib1funcs.asm (NO_FPSCR_VALUES): Define for VxWorks PIC.
3436 (set_fpscr, ic_invalidate): Add VxWorks PIC sequences.
3437 * config/sh/t-vxworks (MULTILIB_OPTIONS): Add m4a, -mrtp and
3438 -mrtp/-fPIC multilibs.
3439 (MULTILIB_EXCEPTIONS): Generalize globs accordingly.
3440 (MULTILIB_MATCHES, EXTRA_MULTILIB_PARTS): Define.
3441 (MULTILIB_OSDIRNAMES): Delete.
3443 2007-04-25 Anatoly Sokolov <aesok@post.ru>
3446 * config/avr/avr.h (ASM_OUTPUT_ALIGN): Redefine.
3448 2007-04-24 Brooks Moses <brooks.moses@codesourcery.com>
3450 * real.c (mpfr_from_real): Handle Inf and NaN, and allow the
3451 rounding mode to be specified by the caller.
3452 (real_to_mpfr) Likewise.
3453 * real.h: Update mpfr_from_real, mpfr_to_real prototypes to
3454 include new arguments.
3455 * builtins.c: Update mpfr_from_real, mpfr_to_real calls.
3457 2007-04-24 Ian Lance Taylor <iant@google.com>
3459 PR tree-optimization/31605
3460 * tree-vrp.c (set_value_range): Check that min and max are not
3461 both overflow infinities.
3462 (set_value_range_to_value): New static function.
3463 (extract_range_from_binary_expr): Call set_value_range_to_value.
3464 (extract_range_from_cond_expr): Likewise.
3465 (extract_range_from_expr): Likewise.
3466 (extract_range_from_unary_expr): Likewise. Don't create a range
3467 which overflows on both sides.
3468 (vrp_meet): Check for a useless range.
3469 (vrp_visit_phi_node): If we see a constant which looks like an
3470 overflow infinity, turn off the TREE_OVERFLOW flag.
3472 2007-04-24 Ian Lance Taylor <iant@google.com>
3474 * flow.c (elim_reg_cond): Handle a comparison of a subreg.
3476 2007-04-24 Simon Martin <simartin@users.sourceforge.net>
3479 * tree-pass.h (TDF_DIAGNOSTIC): New dump control to specify that a
3480 diagnostic message is being built.
3481 * tree-pretty-print.c (dump_generic_node): Only write the
3482 formatted text into BUFFER's stream if we are not building a
3484 * toplev.c (default_tree_printer): Pass TDF_DIAGNOSTIC to
3486 * Makefile.in (toplev.o): Depend on tree-pass.h.
3488 2007-04-24 Ian Lance Taylor <iant@google.com>
3490 PR tree-optimization/31602
3491 * tree-ssa-loop-ch.c (copy_loop_headers): Set TREE_NO_WARNING for
3492 conditionals in the copied loop header.
3493 * tree-cfg.c (fold_cond_expr_cond): Don't issue undefined overflow
3494 warnings if TREE_NO_WARNING is set.
3495 * doc/invoke.texi (Warning Options): Clarify that
3496 -Wstrict-overflow does not warn about loops.
3498 2007-04-24 Janis Johnson <janis187@us.ibm.com>
3500 * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
3501 expand on the comment about _Decimal128 arguments and check the
3502 integer result of the modulus operation; for 64-bit ELF ABI, ensure
3503 that _Decimal128 argument uses even/odd register pair.
3504 (function_arg): Ditto.
3506 2007-04-24 Hui-May Chang <hm.chang@apple.com>
3508 * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
3509 instruction with a RELOAD_FOR_OPERAND_ADDRESS instruction.
3511 2007-04-24 Richard Guenther <rguenther@suse.de>
3512 Olga Golovanevsky <olga@il.ibm.com>
3514 * fold-const.c (multiple_of_p): Check for bottom
3517 2007-04-24 Richard Henderson <rth@redhat.com>
3519 * libgcc2.h (AVOID_FP_TYPE_CONVERSION): Rename from
3520 IS_IBM_EXTENDED. Also define in terms of WIDEST_HARDWARE_FP_SIZE.
3521 * libgcc2.c (__floatdisf): Avoid double-word arithmetic when
3522 looking for non-zero bits shifted out. Avoid a recursive call
3523 when constructing the scalar.
3524 (__floatundisf): Likewise.
3526 2007-04-24 Nathan Froyd <froydnj@codesourcery.com>
3528 * dwarf2out.c (field_byte_offset): Move the existing logic
3529 under the control of PCC_BITFIELD_TYPE_MATTERS and just use
3530 the bit offset of the field if !PCC_BITFIELD_TYPE_MATTERS.
3532 2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
3535 * config/s390/s390.c (s390_expand_setmem): Don't ICE for constant length
3536 argument of 0 for memset.
3537 (s390_expand_movmem, s390_expand_setmem, s390_expand_cmpmem): Use
3538 unsigned shift instead of the signed variant.
3540 2007-04-24 Andreas Krebbel <krebbel1@de.ibm.com>
3542 * config/s390/s390.md ("*cmp<mode>_ccs_0_ibm", "*cmp<mode>_ccs_ibm",
3543 "fix_trunc<BFP:mode><GPR:mode>2_ieee", "fix_truncdfsi2_ibm",
3544 "floatsidf2_ibm", "floatsisf2", "truncdfsf2_ieee", "truncdfsf2_ibm",
3545 "*trunctfdf2_ieee", "*trunctfdf2_ibm", "*trunctfsf2_ieee",
3546 "*trunctfsf2_ibm", "extendsfdf2_ieee", "extendsfdf2_ibm",
3547 "*extenddftf2_ieee", "*extenddftf2_ibm", "*extendsftf2_ieee",
3548 "*extendsftf2_ibm", "*add<mode>3", "*add<mode>3_ibm", "*sub<mode>3_ibm",
3549 "*mul<mode>3", "*mul<mode>3_ibm", "*div<mode>3", "*div<mode>3_ibm",
3550 "*neg<mode>2_ibm", "*abs<mode>2_ibm"): Insn definitions removed.
3551 ("fix_trunc<BFP:mode><GPR:mode>2_bfp", "floatsi<mode>2",
3552 "truncdfsf2", "trunctf<mode>2", "add<mode>3", "sub<mode>3",
3553 "mul<mode>3", "div<mode>3"): Insn definitions added.
3554 ("fixuns_trunc<BFP:mode><GPR:mode>2", "fix_trunc<mode>di2",
3555 "fix_trunc<mode>si2"): gen_fix_trunc<BFP:mode><GPR:mode>2_ieee renamed
3556 to gen_fix_trunc<BFP:mode><GPR:mode>2_bfp.
3557 ("fix_truncdfsi2", "floatsitf2", "truncdfsf2", "trunctfdf2",
3558 "trunctfsf2", "extendsfdf2", "extenddftf2", "extendsftf2", "add<mode>3",
3559 "sub<mode>3", "mul<mode>3", "div<mode>3"): Expander removed.
3560 ("fix_trunc<mode>si2", "extend<DSF:mode><BFP:mode>2"): Expander added.
3561 * config/s390/s390.h (TARGET_IBM_FLOAT, TARGET_IEEE_FLOAT,
3562 TARGET_FLOAT_FORMAT): Macro definitions removed.
3563 (FP_REGNO_P): No special case for !TARGET_IEEE_FLOAT anymore.
3564 * config/s390/s390.c (struct processor_costs, z900_cost, z990_cost,
3565 z9_109_cost): Remove fields for hexfloat instructions: dxr, ddr and der.
3566 (s390_rtx_costs): Remove !TARGET_IEEE_FLOAT special branches.
3567 (s390_gen_rtx_const_DI): Function removed.
3568 * config/s390/s390-protos.h (s390_gen_rtx_const_DI): Prototype removed.
3570 2007-04-24 Richard Sandiford <richard@codesourcery.com>
3572 * optabs.c (set_conv_libfunc): Prefer libgcc2's __ffsMM2 functions
3573 over an external ffs function.
3575 2007-04-24 Chao-ying Fu <fu@mips.com>
3576 Richard Sandiford <richard@nildram.co.uk>
3578 * doc/md.texi (madd@var{m}@var{n}4, umadd@var{m}@var{n}4): Document.
3579 * optabs.h (OTI_smadd_widen, OTI_umadd_widen): New optab_indexes.
3580 (smadd_widen_optab, umadd_widen_optab): Define.
3581 * optabs.c (init_optabs): Initialize smadd_widen_optab and
3583 * genopinit.c (optabs): Fill in smadd_widen_optab and
3585 * expr.c (expand_expr_real_1): Try to use smadd_widen_optab
3586 and umadd_widen_optab to implement multiply-add sequences.
3587 * config/mips/mips.md (*<su>mul_acc_di): Rename to...
3588 (<u>maddsidi4): ...this. Extend condition to include
3589 GENERATE_MADD_MSUB and TARGET_DSPR2. Change the constraint
3590 of operand 0 to "ka" and use the three-operand form of madd<u>
3592 * config/mips/mips-dspr2.md (mips_madd, mips_maddu): Convert
3594 * config/mips/constraints.md (ka): New register constraint.
3596 2007-04-24 Jan Hubicka <j@suse.cz>
3600 2007-04-23 Jan Hubicka <jh@suse.cz>
3601 * function.c (init_function_start): Don't init line number info.
3602 (expand_function_end): Update.
3603 (reset_block_changes, record_block_change, finalize_block_changes,
3604 check_block_change, free_block_changes): Kill.
3605 * function.h (reset_block_changes, record_block_change,
3606 finalize_block_changes, check_block_change, free_block_changes): Remove
3608 (struct function): Remove ib_boundaries_block.
3609 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
3610 Use curr_insn_locator to initialize locator.
3611 (emit_line_note): Remove.
3612 * cfgexpand.c (expand_gimple_cond_expr): Update.
3613 (construct_exit_block): Likewise.
3614 (tree_expand_cfg): Initialize/finalize locators.
3615 * expr.c (expand_expr_real): Update.
3616 * cfglayout.c (line_locators_locs, line_locators_lines,
3617 file_locators_locs, file_locators_files): Remove.
3618 (set_block_levels): Move to cfgexpand.c.
3619 (insn_locators_initialize): Remove.
3620 (pass_insn_locators_initialize): Remove.
3621 (locations_locators_locs, locations_locators_vals): New static vars.
3622 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
3624 (insn_locators_alloc, insn_locators_finalize,
3625 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
3627 (locator_location): New.
3628 (locator_line, locator_file): Rewrite.
3629 * rtl.h (emit_line_note): Kill.
3630 (insn_locators_alloc, insn_locators_finalize,
3631 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
3633 * tree-inline.c (initialize_cfun): Do not initialize
3634 ib_boundaries_block.
3635 * passes.c (pass_insn_locators_initialize): Remove.
3637 2007-04-24 Daniel Franke <franke.daniel@gmail.com>
3639 * doc/invoke.texi: Removed leading '-' from option index entries.
3641 2007-04-23 Zdenek Dvorak <dvorakz@suse.cz>
3643 * tree-phinodes.c (reserve_phi_args_for_new_edge, remove_phi_node):
3645 (create_phi_node): Use set_phi_nodes.
3646 * omp-low.c (expand_omp_parallel): Use bb_stmt_list.
3647 * tree-if-conv.c (process_phi_nodes): Use set_phi_nodes.
3648 (combine_blocks): Use bb_stmt_list and set_bb_stmt_list.
3649 * tree-flow-inline.h (phi_nodes, set_phi_nodes,
3650 (bsi_start, bsi_last): Use bb_stmt_list.
3651 (phi_nodes_ptr, bb_stmt_list, set_bb_stmt_list): New functions.
3652 * cfgexpand.c (expand_gimple_basic_block): Use bb_stmt_list.
3653 Traverse the statements using tsi iterator.
3654 * basic-block.h (struct basic_block_def): Fields stmt_list
3655 and phi_nodes moved to ...
3656 (struct tree_bb_info): ... new structure.
3657 * tree-cfg.c (create_bb): Allocate il.tree. Use set_bb_stmt_list.
3658 (tree_merge_blocks): Use bb_stmt_list and set_bb_stmt_list.
3659 (remove_bb): Handle blocks with NULL stmt list. Clear il.tree field.
3660 (tree_verify_flow_info): Verify that il.tree is not set for
3661 entry and exit block.
3662 (tree_split_block): Use set_bb_stmt_list.
3664 2007-04-23 Mike Stump <mrs@apple.com>
3666 * config/i386/i386.c (ix86_tune_features
3667 [X86_TUNE_DEEP_BRANCH_PREDICTION]: Prefer call over thunks on
3670 2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
3672 * config/i386/i386.md (prefix_extra): New attribute.
3673 (length): Add prefix_extra.
3675 * onfig/i386/sse.md (sse2_movdqu): Set prefix_data16.
3676 (sse2_movntv2di): Likewise.
3677 (sse2_cvtps2dq): Likewise.
3678 (sse2_cvtpd2pi): Likewise.
3679 (sse2_cvttpd2pi): Likewise.
3680 (*sse2_cvtpd2ps): Likewise.
3681 (*add<mode>3): Likewise.
3682 (sse2_ssadd<mode>3): Likewise.
3683 (sse2_usadd<mode>3): Likewise.
3684 (*sub<mode>3): Likewise.
3685 (sse2_sssub<mode>3): Likewise.
3686 (sse2_ussub<mode>3): Likewise.
3687 (*mulv8hi3): Likewise.
3688 (*smulv8hi3_highpart): Likewise.
3689 (*umulv8hi3_highpart): Likewise.
3690 (sse2_umulv2siv2di3): Likewise.
3691 (sse2_pmaddwd): Likewise.
3692 (ashr<mode>3): Likewise.
3693 (lshr<mode>3): Likewise.
3694 (ashl<mode>3): Likewise.
3695 (sse2_ashlti3): Likewise.
3696 (sse2_lshrti3): Likewise.
3697 (*umaxv16qi3): Likewise.
3698 (*smaxv8hi3): Likewise.
3699 (*uminv16qi3): Likewise.
3700 (*sminv8hi3): Likewise.
3701 (sse2_eq<mode>3): Likewise.
3702 (sse2_gt<mode>3): Likewise.
3703 (*and<mode>3): Likewise.
3704 (sse2_nand<mode>3): Likewise.
3705 (*ior<mode>3): Likewise.
3706 (*xor<mode>3): Likewise.
3707 (sse2_packsswb): Likewise.
3708 (sse2_packssdw): Likewise.
3709 (sse2_packuswb): Likewise.
3710 (sse2_punpckhbw): Likewise.
3711 (sse2_punpcklbw): Likewise.
3712 (sse2_punpckhwd): Likewise.
3713 (sse2_punpcklwd): Likewise.
3714 (sse2_punpckhdq): Likewise.
3715 (sse2_punpckldq): Likewise.
3716 (sse2_punpckhqdq): Likewise.
3717 (sse2_punpcklqdq): Likewise.
3718 (*sse2_pinsrw): Likewise.
3719 (*sse2_pextrw): Likewise.
3720 (sse2_pshufd_1): Likewise.
3721 (sse2_uavgv16qi3): Likewise.
3722 (sse2_uavgv8hi3): Likewise.
3723 (sse2_psadbw): Likewise.
3724 (sse2_pmovmskb): Likewise.
3725 (*sse2_maskmovdqu): Likewise.
3726 (*sse2_maskmovdqu_rex64): Likewise.
3727 (sse4a_extrqi): Likewise.
3728 (sse4a_extrq): Likewise.
3729 (sse3_lddqu): Set prefix_rep.
3730 (sse3_addsubv4sf3): Likewise.
3731 (sse3_haddv4sf3): Likewise.
3732 (sse3_hsubv4sf3): Likewise.
3733 (sse_cvtss2si): Likewise.
3734 (sse_cvtss2si_2): Likewise.
3735 (sse_cvtss2siq): Likewise.
3736 (sse_cvtss2siq_2): Likewise.
3737 (sse_cvttss2si): Likewise.
3738 (sse_cvttss2siq): Likewise.
3739 (sse2_cvttps2dq): Likewise.
3740 (sse3_movshdup): Likewise.
3741 (sse3_movsldup): Likewise.
3742 (sse2_cvtsd2si): Likewise.
3743 (sse2_cvtsd2si_2): Likewise.
3744 (sse2_cvtsd2siq): Likewise.
3745 (sse2_cvtsd2siq_2): Likewise.
3746 (sse2_cvttsd2si): Likewise.
3747 (sse2_cvttsd2siq): Likewise.
3748 (*sse2_cvtpd2dq): Likewise.
3749 (*sse2_cvttpd2dq): Likewise.
3750 (sse2_pshuflw_1): Likewise.
3751 (sse2_pshufhw_1): Likewise.
3752 (sse4a_insertqi): Likewise.
3753 (sse4a_insertq): Likewise.
3754 (ssse3_phaddwv8hi3): Set prefix_data16 and prefix_extra.
3755 (ssse3_phadddv4si3): Likewise.
3756 (ssse3_phaddswv8hi3): Likewise.
3757 (ssse3_phsubwv8hi3): Likewise.
3758 (ssse3_phsubdv4si3): Likewise.
3759 (ssse3_phsubswv8hi3): Likewise.
3760 (ssse3_pmaddubswv8hi3): Likewise.
3761 (ssse3_pmulhrswv8hi3): Likewise.
3762 (ssse3_pshufbv16qi3): Likewise.
3763 (ssse3_psign<mode>3): Likewise.
3764 (ssse3_palignrti): Likewise.
3765 (abs<mode>2): Likewise.
3766 (ssse3_phaddwv4hi3): Set prefix_extra.
3767 (ssse3_phadddv2si3): Likewise.
3768 (ssse3_phaddswv4hi3): Likewise.
3769 (ssse3_phsubwv4hi3): Likewise.
3770 (ssse3_phsubdv2si3): Likewise.
3771 (ssse3_phsubswv4hi3): Likewise.
3772 (ssse3_pmaddubswv4hi3): Likewise.
3773 (ssse3_pmulhrswv4hi3): Likewise.
3774 (ssse3_pshufbv8qi3): Likewise.
3775 (ssse3_psign<mode>3): Likewise.
3776 (ssse3_palignrdi): Likewise.
3777 (abs<mode>2): Likewise.
3778 (sse2_cvtdq2ps): Set mode to V4SF instead of V2DF.
3779 (*vec_dupv2df): Set mode to V2DF instead of V4SF.
3780 (sse2_pmovmskb): Set mode to SI instead of V2DF.
3782 2007-04-23 Nick Clifton <nickc@redhat.com>
3784 * params.def: Fix formatting of emacs local variables.
3786 2007-04-23 H.J. Lu <hongjiu.lu@intel.com>
3788 * config/i386/sse.md (sse2_stored): Don't split to inter-unit
3789 move if inter-unit move isn't allowed.
3790 Don't split moving the first element of V2DI to DI to inter-unit
3791 move if inter-unit move isn't allowed.
3793 2007-04-23 Richard Guenther <rguenther@suse.de>
3795 * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
3796 and CDI_POST_DOMINATORS separately.
3798 2007-04-23 Nick Clifton <nickc@redhat.com>
3800 * c.opt (Wformat-contains-nul): Add warning attribute.
3802 2007-04-23 Jan Hubicka <jh@suse.cz>
3804 * function.c (init_function_start): Don't init line number info.
3805 (expand_function_end): Update.
3806 (reset_block_changes, record_block_change, finalize_block_changes,
3807 check_block_change, free_block_changes): Kill.
3808 * function.h (reset_block_changes, record_block_change,
3809 finalize_block_changes, check_block_change, free_block_changes): Remove
3811 (struct function): Remove ib_boundaries_block.
3812 * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
3813 Use curr_insn_locator to initialize locator.
3814 (emit_line_note): Remove.
3815 * cfgexpand.c (expand_gimple_cond_expr): Update.
3816 (construct_exit_block): Likewise.
3817 (tree_expand_cfg): Initialize/finalize locators.
3818 * expr.c (expand_expr_real): Update.
3819 * cfglayout.c (line_locators_locs, line_locators_lines,
3820 file_locators_locs, file_locators_files): Remove.
3821 (set_block_levels): Move to cfgexpand.c.
3822 (insn_locators_initialize): Remove.
3823 (pass_insn_locators_initialize): Remove.
3824 (locations_locators_locs, locations_locators_vals): New static vars.
3825 (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
3827 (insn_locators_alloc, insn_locators_finalize,
3828 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
3830 (locator_location): New.
3831 (locator_line, locator_file): Rewrite.
3832 * rtl.h (emit_line_note): Kill.
3833 (insn_locators_alloc, insn_locators_finalize,
3834 set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
3836 * tree-inline.c (initialize_cfun): Do not initialize
3837 ib_boundaries_block.
3838 * passes.c (pass_insn_locators_initialize): Remove.
3840 2007-04-22 Andrew Pinski <andrew_pinski@playstation.sony.com>
3843 * expr.c (reduce_to_bit_field_precision): Handle
3846 2007-04-22 Uros Bizjak <ubizjak@gmail.com>
3848 PR tree-optimization/24659
3849 * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
3850 OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
3851 (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
3852 * genopinit.c (optabs): Rename vec_pack_mod_optab
3853 to vec_pack_trunc_optab.
3854 * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
3855 early for scalar floating point operands for NOP_EXPR.
3856 (vectorizable_type_promotion): Ditto.
3857 * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
3858 vec_pack_trunc_optab.
3859 (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
3861 * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
3862 * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
3863 Rename from VEC_PACK_MOD_EXPR.
3864 (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
3865 * expr.c (expand_expr_real_1): Ditto.
3866 * tree-inline.c (estimate_num_insns_1): Ditto.
3867 * tree-vect-generic.c (expand_vector_operations_1): Ditto.
3869 * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
3870 (vec_unpacks_lo_v4sf): Ditto.
3871 (vec_pack_trunc_v2df): Ditto.
3872 (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
3873 (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
3874 (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
3876 * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
3878 (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
3880 * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
3881 Rename from VEC_PACK_MOD_EXPR. This expression also represent
3882 packing of floating point operands.
3883 [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
3884 represent unpacking of floating point operands.
3885 * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
3886 [vec_unpacks_hi]: Ditto.
3887 [vec_unpacks_lo]: Ditto.
3889 2007-04-22 Jan Hubicka <jh@suse.cz>
3891 * final.c (rest_of_handle_final): Call
3892 targetm.asm_out.constructor/targetm.asm_out.destructor
3893 * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
3894 proper priority via decl_*_priority_insert.
3895 * c-common.c (c_expand_body): Likewise.
3897 2007-04-22 Richard Guenther <rguenther@suse.de>
3899 PR tree-optimization/29789
3900 * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
3901 (rewrite_reciprocal): New helper split out from
3902 determine_invariantness_stmt.
3903 (rewrite_bittest): Likewise.
3904 (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
3905 A & (1 << B) if (1 << B) is loop invariant but (A >> B)
3908 2007-04-22 Revital Eres <eres@il.ibm.com>
3910 * loop-unroll.c (var_to_expand): New field to support also
3911 insns of the form x = something + x.
3912 (analyze_insn_to_expand_var): Use it.
3913 (expand_var_during_unrolling): Likewise.
3915 2007-04-21 Zdenek Dvorak <dvorakz@suse.cz>
3917 * predict.c: Include pointer-set.h.
3918 (bb_predictions): New variable.
3919 (tree_predicted_by_p, tree_predict_edge,
3920 remove_predictions_associated_with_edge): Use bb_predictions map
3921 instead of bb->predictions.
3922 (clear_bb_predictions, assert_is_empty): New functions.
3923 (combine_predictions_for_bb): Use bb_predictions map. Call
3924 clear_bb_predictions.
3925 (tree_estimate_probability): Create and free bb_predictions map.
3926 * Makefile.in (predict.o): Add pointer-set.h dependency.
3927 * basic-block.h (struct basic_block_def): Remove predictions
3929 * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
3931 2007-04-21 Kaz Kojima <kkojima@gcc.gnu.org>
3934 * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
3937 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
3939 * timevar.c (timevar_print): Change reference of --disable-checking to
3940 --enable-checking=release. Also warn if assert checking is disabled.
3942 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
3945 * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
3946 decl as addressable if the compound literal was marked as
3948 Mark the decl as a gimple register if it is a complex or
3949 vector decl and does not live in memory.
3951 2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
3953 * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
3954 (GENERIC_NEXT): New function macro.
3955 (PHI_CHAIN): Use phi_node's new chain variable.
3956 (tree_phi_node): Change tree_common to tree_base
3957 and add the chain field.
3958 * tree-phinodes.c (make_phi_node): Don't set
3959 TREE_TYPE on the new node.
3960 * c-decl.c (lang_tree_node): Use GENERIC_NEXT
3961 instead of checking GIMPLE_TUPLE_P in chain_next.
3962 * tree-vect-transform.c
3963 (get_initial_def_for_induction): Look at
3964 PHI_RESULT_TREE for the type of the phi node.
3965 (update_vuses_to_preheader): Use PHI_CHAIN
3966 instead of TREE_CHAIN on the ph
OSDN Git Service
