OSDN Git Service

9e0e3f0633fc48657c815bc8ed1f938a06d984b1
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2011-12-12  Iain Sandoe  <iains@gcc.gnu.org>
2
3         * config/darwin-sections.def (zobj_const_data_section): Fix over-
4         length section name.
5
6 2011-12-11  Richard Henderson  <rth@redhat.com>
7
8         * config/rs6000/rs6000.c (rs6000_expand_interleave): Use
9         BYTES_BIG_ENDIAN, not TARGET_BIG_ENDIAN.
10
11 2011-12-11  Jakub Jelinek  <jakub@redhat.com>
12
13         PR tree-optimization/51485
14         * tree-vect-data-refs.c (vect_analyze_data_refs): Give up on
15         DRs in call stmts.
16
17 2011-12-11  Patrick Marlier  <patrick.marlier@gmail.com>
18
19         * trans-mem.c (ipa_tm_transform_calls_redirect): Do not remove
20         edge.
21
22 2011-12-10  Richard Henderson  <rth@redhat.com>
23
24         * config/rs6000/altivec.md (altivec_vmrghb): Rewrite pattern as
25         vec_select + vec_concat.
26         (altivec_vmrghh, altivec_vmrghw, altivec_vmrghsf, altivec_vmrglb,
27         altivec_vmrglh, altivec_vmrglw, altivec_vmrglsf): Likewise.
28         (vec_perm_constv16qi): New.
29         (vec_extract_evenv4si, vec_extract_evenv4sf, vpkuhum_nomode,
30         vpkuwum_nomode, vec_extract_oddv8hi, vec_extract_oddv16qi,
31         vec_interleave_high<VI>, vec_interleave_low<VI>): Remove.
32         * config/rs6000/paired.md (paired_merge00): Rewrite pattern as
33         vec_select + vec_concat.
34         (paired_merge10, paired_merge01, paired_merge11): Likewise.
35         (vec_perm_constv2sf): New.
36         (vec_interleave_highv2sf, vec_interleave_lowv2sf,
37         vec_extract_evenv2sf, vec_extract_oddv2sf): Remove.
38         * config/rs6000/spe.md (spe_evmergehi): Rewrite pattern as
39         vec_select + vec_concat.
40         (spe_evmergehilo, spe_evmergelo, spe_evmergelohi): New.
41         (vec_perm_constv2si): New.
42         * config/rs6000/vector.md (vec_interleave_highv4sf,
43         vec_interleave_lowv4sf, vec_interleave_high<VEC_64>,
44         vec_interleave_low<VEC_64>): Remove.
45         * config/rs6000/vsx.md (VS_double): New mode attribute.
46         (UNSPEC_VSX_XXPERMDI): Remove.
47         (vsx_xxpermdi_<VSX_L>_1): Rewrite pattern as vec_select + vec_concat.
48         (vsx_xxmrghw_<VSX_W>, vsx_xxmrglw_<VSX_W>): Likewise.
49         (vsx_xxpermdi_<VSX_L>): Change to expander.
50         (vec_perm_const<VSX_D>): New.
51         (vsx_mergel_<VSX_D>, vsx_mergeh_<VSX_D>): New.
52         * config/rs6000/predicates.md (const_0_to_1_operand): New.
53         (const_2_to_3_operand): New.
54         * config/rs6000/rs6000.c (TARGET_VECTORIZE_VEC_PERM_CONST_OK): New.
55         (altivec_expand_vec_perm_const): New.
56         (rs6000_expand_vec_perm_const_1, rs6000_expand_vec_perm_const): New.
57         (rs6000_vectorize_vec_perm_const_ok): New.
58         (rs6000_do_expand_vec_perm): New.
59         (rs6000_expand_extract_even, rs6000_expand_interleave): New.
60         * config/rs6000/rs6000-builtin.def (VEC_MERGE*): Update rtx codes.
61         * config/rs6000/rs6000-modes.def: Add double-wide vector modes.
62         * config/rs6000/rs6000-protos.h: Update.
63
64 2011-12-10  Richard Henderson  <rth@redhat.com>
65
66         * expr.c (expand_expr_real_2) [VEC_PERM_EXPR]: Avoid passing a
67         CONST_INT to expand_vec_perm as the selector.
68         * optabs.c (expand_vec_perm): Assert the selector is of a proper mode.
69
70 2011-12-10  Richard Henderson  <rth@redhat.com>
71
72         * genmodes.c (struct mode_data): Remove wider_2x member.
73         (blank_mode): Adjust initializer.
74         (calc_wider_mode): Use XALLOCAVEC.
75         (emit_move_wider): Select double-width same-element vectors for
76         2xwider vectors.
77         * machmode.h (GET_MODE_2XWIDER_MODE): Update documentation.
78         * config/i386/i386.c (doublesize_vector_mode): Remove.
79         (expand_vselect_vconcat): Use GET_MODE_2XWIDER_MODE instead.
80
81 2011-12-10  Joern Rennecke  <joern.rennecke@embecosm.com>
82
83         * config/epiphany/epiphany.h (USE_LOAD_POST_INCREMENT): Define.
84         (USE_LOAD_POST_DECREMENT, USE_STORE_POST_INCREMENT): Likewise.
85         (USE_STORE_POST_DECREMENT): Likewise.
86
87         * config/epiphany/epiphany.h (EPIPHANY_RETURN_REGNO): New macro,
88         broken out of ..
89         (INCOMING_RETURN_ADDR_RTX) .. this.  Use EPIPHANY_RETURN_REGNO.
90         (DWARF_FRAME_RETURN_COLUMN): New macro.
91
92         * config/epiphany/epiphany-protos.h (epiphany_start_function): Declare.
93         * config/epiphany/epiphany.c (epiphany_handle_interrupt_attribute):
94         Split "timer" value into "timer0" and "timer1".
95         Handle page_miss, message and wand.  Don't handle static_flag.
96         Adjust warning text.
97         (epiphany_start_function): New function.
98         (epiphany_compute_function_type): Split "timer" value into "timer0"
99         and "timer1".  Handle page_miss, message and wand.
100         Don't handle static_flag.
101         (epiphany_expand_epilogue): Don't use frame_insn for status / iret
102         restore.
103         * config/epiphany/epiphany.h: ASM_DECLARE_FUNCTION_NAME: Define.
104         (enum epiphany_function_type):
105         Split EPIPHANY_FUNCTION_TIMER value into EPIPHANY_FUNCTION_TIMER0
106         and EPIPHANY_FUNCTION_TIMER1.
107         Remove EPIPHANY_FUNCTION_ILINK1 and EPIPHANY_FUNCTION_ILINK2 values.
108         Add EPIPHANY_FUNCTION_PAGE_MISS and EPIPHANY_FUNCTION_MESSAGE values.
109         Rename EPIPHANY_FUNCTION_STATIC_FLAG to EPIPHANY_FUNCTION_WAND.
110
111 2011-12-10  Nathan Sidwell  <nathan@acm.org>
112
113         PR gcov-profile/51449
114         * coverage.c (coverage_end_function): Always process the coverage
115         variables.
116
117 2011-12-09  Aldy Hernandez  <aldyh@redhat.com>
118
119         PR/51291
120         * tree.c (build_common_builtin_nodes): Do not use TM_PURE
121         attribute unless language has support for TM.
122         * config/i386/i386.c (ix86_init_tm_builtins): Exit gracefully in
123         the absence of TM builtins.
124
125 2011-12-09  Eric Botcazou  <ebotcazou@adacore.com>
126
127         * gimple-fold.c (gimple_fold_stmt_to_constant_1) <GIMPLE_UNARY_RHS>:
128         Also check the TYPE_MODE to recognize useless pointer conversions.
129
130 2011-12-09  Jakub Jelinek  <jakub@redhat.com>
131
132         PR tree-optimization/51117
133         * tree-eh.c (optimize_clobbers): Don't remove just one
134         clobber, but all consecutive clobbers before RESX.
135         Use gimple_clobber_p predicate.
136
137 2011-12-09  Michael Meissner  <meissner@the-meissners.org>
138
139         * config/rs6000/rs6000.c (altivec_expand_builtin): Call
140         expand_call to return a valid funciton instead of return
141         cosnt0_rtx/NULL_RTX if there was an error with the builtin.
142         (altivec_expand_ld_builtin): Ditto.
143         (rs6000_inner_target_options): If VSX is selected as a target
144         attribute or pragma, enable ALTIVEC also.
145         (rs6000_pragma_target_parse): Call rs6000_option_override_internal
146         to do all of the standard processing when switching options,
147         including redefining appropriate macros.
148
149         PR rtl-optimization/51469
150         * varasm.c (default_binds_local_p_1): If the symbol is a gnu
151         indirect function, mark the symbol as non-local.
152
153 2011-12-09  H.J. Lu  <hongjiu.lu@intel.com>
154
155         PR bootstrap/51479
156         * Makefile.in (errors.o): Restored.
157
158 2011-12-09  Richard Guenther  <rguenther@suse.de>
159
160         PR lto/48042
161         * tree.c (free_lang_data_in_decl): Remove freeing conditional
162         on debuginfo level.
163
164 2011-12-09  Joern Rennecke  <joern.rennecke@embecosm.com>
165
166         PR middle-end/40154
167         * emit-rtl.c (set_dst_reg_note): New function.
168         * rtl.h (set_dst_reg_note): Declare.
169         * optabs.c (expand_binop, expand_absneg_bit): Use set_dst_reg_note.
170         (emit_libcall_block, expand_fix): Likewise.
171         * function.c (assign_parm_setup_reg, expand_function_start): Likewise.
172         * expmed.c (expand_mult_const, expand_divmod): Likewise.
173         * reload1.c (gen_reload): Likewise.
174
175         * dse.c (get_stored_val, get_call_args): Use gen_int_mode.
176         * expmed.c (expand_divmod): Likewise.
177         * combine.c (simplify_if_then_else): Likewise.
178
179 2011-12-09  Kai Tietz  <ktietz@redhat.com>
180
181         * ira-color.c (print_hard_regs_subforest): Use
182         HOST_WIDEST_INT_PRINT_DEC instead of %lld.
183         (allocno_hard_regs): Change type of cost member
184         to HOST_WIDEST_INT.
185         (add_allocno_hard_regs): Change type of argument cost
186         to HOST_WIDEST_INT.
187         * ira-conflict.c (build_conflict_bit_table): Replace use
188         of long-long by HOST_WIDEST_INT.
189
190 2011-12-09  Georg-Johann Lay  <avr@gjlay.de>
191
192         PR target/51425
193         * config/avr/avr.md (config/avr/avr.md, *sbix_branch_tmp): Use
194         zero_extract:QIHI instead of zero_extract:HI.
195
196 2011-12-09  Jakub Jelinek  <jakub@redhat.com>
197             Andrew Pinski  <apinski@cavium.com>
198
199         PR tree-optimization/51117
200         * tree-eh.c (optimize_clobbers): New function.
201         (execute_lower_eh_dispatch): Call it.
202
203 2011-12-09  Richard Guenther  <rguenther@suse.de>
204
205         PR tree-optimization/51482
206         * tree-vect-stmts.c (get_vectype_for_scalar_type_and_size):
207         Make sure to only create REAL_TYPE and INTEGER_TYPE component
208         vectors.
209
210 2011-12-09  Kai Tietz  <ktietz@redhat.com>
211
212         * implicit-zee.c (num_realized): Change type to long.
213         (num_ze_opportunities): Likewise.
214
215 2011-12-08  Andrew Pinski  <apinski@cavium.com>
216
217         * config/mips/mips-cpus.def (octeon+): New CPU.
218         * config/mips/mips-tables.opt: Regenerate.
219         * config/mips/mips.h (MIPS_CPP_SET_PROCESSOR): Emit '+' as 'P'.
220
221 2011-12-08  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
222
223         PR middle-end/39976
224         * tree-ssa-dom.c (enum expr_kind): Add EXPR_PHI.
225         (struct hashable_expr): Add struct phi field.
226         (initialize_hash_element): Handle phis; change to use XCNEWVEC.
227         (hashable_expr_equal_p): Handle phis.
228         (iterative_hash_hashable_expr): Likewise.
229         (print_expr_hash_elt): Likewise.
230         (free_expr_hash_elt): Likewise.
231         (dom_opt_enter_block): Create equivalences from redundant phis.
232         (eliminate_redundant_computations): Handle redundant phis.
233         (lookup_avail_expr): Handle phis.
234
235 2011-12-08  Jakub Jelinek  <jakub@redhat.com>
236
237         PR tree-optimization/51466
238         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Also copy
239         TREE_SIDE_EFFECTS.
240
241 2011-12-08  Richard Guenther  <rguenther@suse.de>
242
243         * tree-ssa-operands.c (add_stmt_operand): Do not mark stmts
244         volatile when processing operands of an ADDR_EXPR.
245         (get_indirect_ref_operands): Likewise.
246         (get_tmr_operands): Likewise.
247         (get_expr_operands): Likewise.
248
249 2011-12-08  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
250
251         PR target/50395
252         * config/s390/s390.c (s390_mainpool_finish): Emit the jump over
253         the literal pool as jump insn.
254
255 2011-12-08  Richard Guenther  <rguenther@suse.de>
256
257         PR tree-optimization/49772
258         * tree-inline.c (optimize_inline_calls): Remove bail out
259         on errors.
260
261 2011-12-08  Richard Guenther  <rguenther@suse.de>
262
263         PR lto/50747
264         * lto-streamer-out.c (produce_symtab): Remove asserts.
265
266 2011-12-08  Richard Guenther  <rguenther@suse.de>
267
268         PR lto/49945
269         * lto-streamer-out.c (tree_is_indexable): Localize variably
270         modified types and their FIELD_DECLs.
271
272 2011-12-08  Eric Botcazou  <ebotcazou@adacore.com>
273
274         PR tree-optimization/51315
275         * tree.h (get_object_or_type_alignment): Declare.
276         * expr.c (get_object_or_type_alignment): Move to...
277         * builtins.c (get_object_or_type_alignment): ...here.  Add assertion.
278         * tree-sra.c (tree_non_mode_aligned_mem_p): Rename to...
279         (tree_non_aligned_mem_p): ...this.  Add ALIGN parameter.  Look into
280         MEM_REFs and use get_object_or_type_alignment for them.
281         (build_accesses_from_assign): Adjust for above change.
282         (access_precludes_ipa_sra_p): Likewise.
283
284 2011-12-08  Richard Guenther  <rguenther@suse.de>
285
286         PR lto/48437
287         * lto-streamer-out.c (tree_is_indexable): Exclude block-local
288         extern declarations.
289
290 2011-12-07  Andrew Pinski  <apinski@cavium.com>
291
292         PR middle-end/45416
293         * expr.c (do_store_flag): Rewrite code that looks for BIT_AND_EXPR for
294         SSA-expand.
295
296 2011-12-07  Richard Guenther  <rguenther@suse.de>
297
298         PR tree-optimization/50823
299         * ipa-inline.c (edge_badness): Do not account for the number of
300         remaining calls.
301
302 2011-12-07  Martin Jambor  <mjambor@suse.cz>
303
304         PR tree-optimization/50744
305         * ipa-cp.c (good_cloning_opportunity_p): Assert size_cost is positive,
306         compute evaluation in HOST_WIDEST_INT.
307         (safe_add): New function
308         (propagate_effects): Use safe_add to accumulate effects.
309
310 2011-12-06  Joel Sherrill <joel.sherrill@oarcorp.com>
311
312         * config/rs6000/rtems.h: Switch to using global_options_set
313         in SUBSUBTARGET_OVERRIDE_OPTIONS.
314
315 2011-12-06  David S. Miller  <davem@davemloft.net>
316
317         * config/sparc/visintrin.h: Add appropriate __VIS__ cpp protection.
318
319 2011-12-06  Georg-Johann Lay  <avr@gjlay.de>
320
321         * config/avr/avr.c (avr_file_start): Fix missing ,
322
323 2011-12-06  Jakub Jelinek  <jakub@redhat.com>
324
325         PR target/51354
326         * config/i386/i386.c (ix86_emit_leave): Call ix86_add_cfa_restore_note
327         unconditionally.
328
329 2011-12-06  Georg-Johann Lay  <avr@gjlay.de>
330
331         Forward-port from gcc-4_6-branch r181936 2011-12-02.
332         * config/avr/avr-mcus.def (avr_mcu_types): ATtiny4313 and
333         AT86RF401 have a 16-bit SP (their manual is bogus).
334
335 2011-12-06  Georg-Johann Lay  <avr@gjlay.de>
336
337         Forward-port from gcc-4_6-branch r181936 2011-12-02.
338
339         PR target/51002
340         * config/avr/avr.md (movhi_sp_r): Set insn condition to
341         !AVR_HAVE_8BIT_SP.
342         * config/avr/avr.c (output_movhi): Use "clr%B0" instead of "in
343         %B0,__SP_H__" if AVR_HAVE_8BIT_SP.
344         (avr_file_start): Only print "__SP_H__ = 0x3e" if !AVR_HAVE_8BIT_SP.
345
346 2011-12-06  Georg-Johann Lay  <avr@gjlay.de>
347
348         PR target/51409
349         PR target/49868
350         * config/avr/avr.h (ADDR_SPACE_PGM, ADDR_SPACE_PGM1,
351         ADDR_SPACE_PGM2, ADDR_SPACE_PGM3, ADDR_SPACE_PGM4,
352         ADDR_SPACE_PGM5, ADDR_SPACE_PGMX): Write as enum.
353         (avr_addrspace_t): New typedef.
354         (avr_addrspace): New declaration.
355         * config/avr/avr-c.c (avr_toupper): New static function.
356         (avr_register_target_pragmas, avr_cpu_cpp_builtins): Use
357         avr_addrspace to get address space information.
358         * config/avr/avr.c (avr_addrspace): New variable.
359         (avr_out_lpm, avr_pgm_check_var_decl, avr_insert_attributes,
360         avr_asm_named_section, avr_section_type_flags,
361         avr_asm_select_section, avr_addr_space_address_mode, 
362         avr_addr_space_convert, avr_emit_movmemhi): Use it.
363         (avr_addr_space_pointer_mode): Forward to avr_addr_space_address_mode.
364         (avr_pgm_segment): Remove.
365
366 2011-12-06  Richard Guenther  <rguenther@suse.de>
367
368         PR middle-end/50601
369         * varasm.c (assemble_alias): Move DECL_EXTERNAL implementation
370         quirk adjustjment ...
371         * passes.c (rest_of_decl_compilation): ... here.
372
373 2011-12-06  Richard Guenther  <rguenther@suse.de>
374
375         PR middle-end/51436
376         * gimple-fold.c (gimplify_and_update_call_from_tree): Guard
377         vdef check for the fact we do not have virtual operands when
378         not optimizing.
379
380 2011-12-06  Richard Guenther  <rguenther@suse.de>
381
382         PR tree-optimization/51245
383         * tree-ssa-sccvn.c (vn_reference_lookup_or_insert_constant_for_pieces):
384         New function.
385         (vn_reference_lookup_3): Use it.  Properly valueize all refs
386         we create.
387
388 2011-12-06  Iain Sandoe  <iains@gcc.gnu.org>
389
390         * config/rs6000/rs6000.c (darwin_rs6000_override_options): Initialize
391         rs6000_current_abi.
392
393 2011-12-06  Richard Guenther  <rguenther@suse.de>
394
395         PR tree-optimization/51363
396         * gimple.c (gimple_rhs_has_side_effects): Remove.
397         * gimple.h (gimple_rhs_has_side_effects): Likewise.
398         * tree-ssa-dom.c (optimize_stmt): Simplify conditional.
399
400 2011-12-06  Alan Modra  <amodra@gmail.com>
401
402         PR target/50906
403         * config/rs6000/rs6000.c (rs6000_emit_prologue <TARGET_SPE_ABI>):
404         Do not mark r11 setup as frame-related.  Pass correct offset to
405         rs6000_emit_savres_rtx.  Correct out-of-line rs6000_frame_related
406         arguments.  Correct sp_offset.  Remove "offset" fudge from
407         in-line rs6000_frame_related call.  Rename misleading variable.
408         Fix comments and whitespace.  Tidy some expressions.
409         (rs6000_emit_epilogue <TARGET_SPE_ABI>): Always set frame_reg_rtx
410         to r11 in out-of-line case.  Correct sp_offset.  Pass correct
411         offset to rs6000_emit_savres_rtx.  Rename misleading variable.
412         Fix comments and whitespace.  Tidy some expressions.
413         (rs6000_emit_epilogue <non-TARGET_SPE_ABI>): Add sp_offset
414         adjustment when !saving_GPRs_inline.  Correct register mode
415         used in address calcs.
416         (rs6000_emit_epilogue <non-TARGET_SPE_ABI>): Similarly when
417         !restoring_GPRs_inline.
418
419 2011-12-06  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>
420
421         * config/arm/vfp.md (*combine_vcvt_f64_<FCVTI32typename>): Fix
422         formatting character for vmov.f64 case.
423
424 2011-12-05  Jakub Jelinek  <jakub@redhat.com>
425
426         PR tree-optimization/51396
427         * tree-ssa-math-opts.c (convert_mult_to_fma): Don't optimize
428         if MUL_RESULT has zero uses.
429
430         PR debug/51410
431         * c-decl.c (pop_scope): Don't add DECL_EXTERNAL decls
432         for debug info if scope is file_scope.
433
434         PR c/51339
435         * c-decl.c (c_finish_incomplete_decl, finish_decl): Call
436         relayout_decl instead of layout_decl.
437
438 2011-12-05  Richard Sandiford  <rdsandiford@googlemail.com>
439
440         * resource.c (init_resource_info): Only consider EXIT_IGNORE_STACK
441         if there is in epilogue.
442
443 2011-12-05  Richard Sandiford  <rdsandiford@googlemail.com>
444
445         * optabs.c (maybe_emit_sync_lock_test_and_set): Pass a null target
446         to emit_library_call_value.
447         (expand_atomic_compare_and_swap): Likewise.
448
449 2011-12-05  Vladimir Makarov  <vmakarov@redhat.com>
450
451         PR other/50775
452         * ira-int.h (struct ira_object): Remove add_data.
453         (OBJECT_ADD_DATA): Remove.
454
455         * ira-build.c (ira_create_object): Remove OBJECT_ADD_DATA
456         initialization.
457
458         * ira-color.c (object_hard_regs_t, object_hard_regs): Rename to
459         allocno_hard_regs_t, allocno_hard_regs.
460         (object_hard_regs_node_t, object_hard_regs_node): Rename to
461         allocno_hard_regs_node_t and allocno_hard_regs_node.
462         (struct allocno_color_data): Add new member last_process.  Move
463         profitable_hard_regs, hard_regs_node, and hard_regs_subnodes_start
464         from object_color_data.
465         (object_color_data_t, object_color_data, OBJECT_COLOR_DATA):
466         Remove.
467         (curr_allocno_process): New static variable.
468         (object_hard_regs_eq, object_hard_regs_htab): Rename to
469         allocno_hard_regs_eq and allocno_hard_regs_htab.
470         (init_object_hard_regs, finish_object_hard_regs): Rename to
471         init_allocno_hard_regs and finish_allocno_hard_regs.
472         (object_hard_regs_compare, object_hard_regs_node_t): Rename to
473         allocno_hard_regs_compare and allocno_hard_regs_node_t.
474         (create_new_object_hard_regs_node): Rename to
475         create_new_allocno_hard_regs_node.
476         (add_new_object_hard_regs_node_to_forest): Rename to
477         add_new_allocno_hard_regs_node_to_forest.
478         (add_object_hard_regs_to_forest, collect_object_hard_regs_cover):
479         Rename to add_allocno_hard_regs_to_forest and collect_allocno_hard_regs_cover.
480         (setup_object_hard_regs_nodes_parent): Rename to setup_allocno_hard_regs_nodes_parent.
481         (remove_unused_object_hard_regs_nodes): Rename to remove_unused_allocno_hard_regs_nodes.
482         (enumerate_object_hard_regs_nodes, object_hard_regs_nodes_num):
483         Rename to enumerate_allocno_hard_regs_nodes and allocno_hard_regs_nodes_num.
484         (object_hard_regs_nodes, object_hard_regs_subnode_t): Rename to
485         allocno_hard_regs_nodes and allocno_hard_regs_subnode_t.
486         (object_hard_regs_subnode, object_hard_regs_subnodes): Rename to
487         allocno_hard_regs_subnode and allocno_hard_regs_subnodes.
488         (object_hard_regs_subnode_index): Rename to allocno_hard_regs_subnode_index.
489         (setup_object_hard_regs_subnode_index): Rename to
490         setup_allocno_hard_regs_subnode_index.
491         (get_object_hard_regs_subnodes_num): Rename to get_allocno_hard_regs_subnodes_num.
492         (form_object_hard_regs_nodes_forest): Rename to form_allocno_hard_regs_nodes_forest.
493         (finish_object_hard_regs_nodes_tree): Rename to form_allocno_hard_regs_nodes_forest
494         (finish_object_hard_regs_nodes_forest): Rename to
495         finish_allocno_hard_regs_nodes_forest.
496         (setup_left_conflict_sizes_p): Use allocno data instead of object
497         ones.  Process conflict allocnos once.
498         (update_left_conflict_sizes_p): Use allocno data instead of object
499         ones.  Change prototype signature.
500         (empty_profitable_hard_regs): Use allocno data instead of object
501         ones.
502         (setup_profitable_hard_regs): Ditto.
503         (get_conflict_profitable_regs): Rename to
504         get_conflict_and_start_profitable_regs.  Use allocno data for
505         profitable regs calculation.
506         (check_hard_reg_p): Change prototype signature.  Check profitable
507         regs for allocno not the objects.
508         (assign_hard_reg): Process conflict allocnos only once for
509         updating conflict costs.
510         (setup_allocno_available_regs_num): Use allocno data instead of
511         object ones.  Modify debug output.
512         (color_pass): Remove initialization and finalization of object
513         color data.
514
515 2011-12-05  Kazu Hirata  <kazu@codesourcery.com>
516
517         PR target/51408
518         * config/arm/arm.md (*minmax_arithsi): Always require the else
519         clause in the MINUS case.
520
521 2011-12-05  Richard Guenther  <rguenther@suse.de>
522
523         PR tree-optimization/50904
524         * tree-ssa-loop-im.c (struct mem_ref): Remove vops member.
525         (MEM_ANALYZABLE): New.
526         (memory_references): Remove clobbered_vops and vop_ref_map
527         members, add all_refs_stored_in_loop member.
528         (memref_free): Adjust.
529         (mem_ref_alloc): Likewise.
530         (gather_mem_refs_stmt): Do not record clobbers, instead
531         record refs for unanalyzable stmts.
532         (gather_mem_refs_in_loops): Do not propagate clobbers.
533         (struct vop_to_refs_elt, vtoe_hash, vtoe_eq, vtoe_free,
534         record_vop_access, get_vop_accesses, get_vop_stores,
535         add_vop_ref_mapping): Remove.
536         (create_vop_ref_mapping_loop): Adjust to simply record all
537         stores.
538         (analyze_memory_references): Adjust.
539         (refs_independent_p): Check for not analyzable refs.
540         (can_sm_ref_p): Likewise.
541         (ref_indep_loop_p_1): Simplify.
542         (tree_ssa_lim_finalize): Adjust.
543
544         * tree-ssa-loop-im.c (stmt_cost): Simplify, use LIM_EXPENSIVE
545         rather than magic constants.  Assign zero cost to PAREN_EXPR
546         and SSA_NAME copies.  Assign cost proportional to the vector
547         size for vector constructors.
548
549 2011-12-05  Richard Guenther  <rguenther@suse.de>
550
551         * tree-ssa-alias.h (struct ao_ref_s): Add volatile_p field.
552         * tree-ssa-alias.c (ao_ref_init): Initialize it.
553         (ao_ref_init_from_ptr_and_size): Likewise.
554         (refs_may_alias_p_1): Two volatile accesses conflict.
555         (ref_maybe_used_by_call_p_1): Likewise.
556         (call_may_clobber_ref_p_1): Likewise.
557         * tree-ssa-sccvn.c (ao_ref_init_from_vn_reference): Initialize
558         volatile_p field.
559
560 2011-12-05  Richard Guenther  <rguenther@suse.de>
561
562         * tree-ssa.c (verify_ssa): Verify SSA names in the loop
563         over all SSA names.  Remove SSA operand checking, call
564         verify_ssa_operands.
565         * tree-ssa-operands.h (verify_ssa_operands): Declare.
566         * tree-ssa-operands.c (verify_ssa_operands): New function.
567
568 2011-12-05  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>
569
570         * config/arm/arm.c (vfp3_const_double_for_fract_bits): Define.
571         * config/arm/arm-protos.h (vfp3_const_double_for_fract_bits): Declare.
572         * config/arm/constraints.md ("Dt"): New constraint.
573         * config/arm/predicates.md
574         (const_double_vcvt_power_of_two_reciprocal): New.
575         * config/arm/vfp.md (FCVTI32typename): New.
576         (FCVT): New iterator.
577         (*combine_vcvt_f32_<FCVTI32typename>): New.
578         (*combine_vcvt_f64_<FCVTI32typename>): New.
579
580 2011-12-05  Richard Guenther  <rguenther@suse.de>
581
582         * cgraph.c (cgraph_create_edge_1): Initialize
583         call_stmt_cannot_inline_p from the stmt if possible.
584         (cgraph_make_edge_direct): Likewise.
585         * gimple-streamer-in.c (input_gimple_stmt): Do not
586         call gimple_call_set_cannot_inline.
587         * gimple.h (enum gf_mask): Remove GF_CALL_CANNOT_INLINE, shift
588         values.
589         (gimple_call_set_cannot_inline): Remove.
590         (gimple_call_cannot_inline_p): Likewise.
591         * ipa-inline-analysis.c (initialize_inline_failed): Look
592         at the edge call_stmt_cannot_inline_p flag.
593         * ipa-inline.c (can_inline_edge_p): Likewise.
594         (early_inliner): Only update the edge flag.
595         * ipa-prop.c (update_indirect_edges_after_inlining): Likewise.
596         (ipa_modify_call_arguments): Do not call gimple_call_set_cannot_inline.
597         * cgraphunit.c (assemble_thunk): Likewise.
598         * gimple-fold.c (gimple_fold_call): Likewise.
599
600         * tree.h (CALL_CANNOT_INLINE_P): Remove.
601         * tree-mudflap.c (mf_xform_statements): Do not modify alloca calls.
602         * builtins.c (expand_builtin_alloca): With -fmudflap do not expand
603         alloca calls inline.
604         * cfgexpand.c (expand_call_stmt): Do not set CALL_CANNOT_INLINE_P.
605         * gimple.c (gimple_build_call_from_tree): Do not read
606         CALL_CANNOT_INLINE_P.
607         * gimplify.c (gimplify_call_expr): Do not copy CALL_CANNOT_INLINE_P.
608
609 2011-12-05  Jakub Jelinek  <jakub@redhat.com>
610             Eric Botcazou  <ebotcazou@adacore.com>
611
612         PR middle-end/51323
613         PR middle-end/50074
614         * calls.c (internal_arg_pointer_exp_state): New variable.
615         (internal_arg_pointer_based_exp_1,
616         internal_arg_pointer_exp_scan): New functions.
617         (internal_arg_pointer_based_exp): New function.
618         (mem_overlaps_already_clobbered_arg_p): Use it.
619         (expand_call): Free internal_arg_pointer_exp_state.cache vector
620         and clear internal_arg_pointer_exp_state.scan_start.
621
622 2011-12-04  Kaz Kojima  <kkojima@gcc.gnu.org>
623
624         * config/sh/linux.h (TARGET_DEFAULT): Add MASK_SOFT_ATOMIC.
625         * config/sh/sync.md: New file.
626         * config/sh/sh.md: Include sync.md.
627         * config/sh/sh.opt (msoft-atomic): New option.
628         * doc/invoke.texi (SH Options): Document it.
629
630 2011-12-04  Nathan Sidwell  <nathan@acm.org>
631
632         * gcov-io.h (struct gcov_info): Replace trailing array with
633         pointer to array.
634         * profile.c (branch_prob): Only call renamed
635         coverage_begin_function once.
636         * coverage.h (coverage_begin_output): Rename to ...
637         (coverage_begin_function): ... here.
638         * coverage.c (struct function_list): Rename to ...
639         (struct coverage_data): ... this.  Update all uses.
640         (gcov_info_var, gcov_fn_info_type, gcov_fn_info_ptr_type): New
641         globals.
642         (bbg_file_opened, bbg_function_announced): Remove.
643         (get_coverage_counts): Adjust message.
644         (coverage_begin_ouput): Rename to ...
645         (coverage_begin_function): ... here.  Move file opening to
646         coverage_init.  Adjust for being called only once.
647         (coverage_end_function): Remove bbg file and inhibit further
648         output here on error.
649         (build_info_type): Adjust for change to pointer to array.
650         (build_info): Receive array of function pointers and adjust.
651         (create_coverage): Break into ...
652         (coverage_obj_init, coverage_obj_fn, coverage_obj_finish):
653         ... these, and adjust.
654         (coverage_init): Open the notes file here.  Tidy.
655         (coverage_finish): Call coverage_obj_init etc.
656
657 2011-12-04  Ira Rosen  <ira.rosen@linaro.org>
658
659         PR middle-end/51285
660         * tree-vect-loop.c (vect_create_epilog_for_reduction): Create exit
661         phi nodes for outer loop in case of double reduction.
662
663 2011-12-04  Jérémie Detrey  <Jeremie.Detrey@loria.fr>
664
665         PR target/51393
666         * config/i386/avxintrin.h (_mm256_insert_epi64): Declare second
667         parameter as long long.
668
669 2011-12-04  Richard Sandiford  <rdsandiford@googlemail.com>
670
671         PR middle-end/51351
672         * optabs.c (init_sync_libfuncs): Use "or" rather than "ior"
673         in the external names.
674
675 2011-12-03  Jack Howarth <howarth@bromo.med.uc.edu>
676
677         * config/darwin10.h (LINK_GCC_C_SEQUENCE_SPEC): Pass -no_pie for
678         non-PIC code when targeting 10.7 or later.
679
680 2011-12-03  Iain Sandoe  <iains@gcc.gnu.org>
681
682         * config/darwin.h (STARTFILE_SPEC): Do not use -lbundle1.o when
683         Darwin >= 10.
684         (DARWIN_DYLIB1_SPEC): Do not use -ldylib1.10.5.o when Darwin >= 10.
685         (DARWIN_CRT1_SPEC): Use -lcrt1.10.6.o when Darwin >= 10.
686
687 2011-12-03  Jakub Jelinek  <jakub@redhat.com>
688
689         * fold-const.c (fold_unary_loc): Fold VEC_UNPACK_LO_EXPR,
690         VEC_UNPACK_HI_EXPR, VEC_UNPACK_FLOAT_LO_EXPR and
691         VEC_UNPACK_FLOAT_HI_EXPR with VECTOR_CST argument.
692         (fold_binary_loc): Fold VEC_PACK_TRUNC_EXPR,
693         VEC_PACK_FIX_TRUNC_EXPR, VEC_WIDEN_MULT_LO_EXPR
694         and VEC_WIDEN_MULT_HI_EXPR with VECTOR_CST arguments.
695
696         PR debug/50317
697         * tree-ssa.c (target_for_debug_bind): Also allow is_gimple_reg_type
698         vars that aren't referenced.
699         (tree-ssa-live.c (remove_unused_locals): Don't clear TREE_ADDRESSABLE
700         of unreferenced local vars.
701         * cfgexpand.c (expand_debug_expr): For DEBUG_IMPLICIT_PTR allow also
702         TREE_ADDRESSABLE vars that satisfy target_for_debug_bind.
703
704 2011-12-03  Anatoly Sokolov  <aesok@post.ru>
705
706         * config/arm/arm.h (LIBCALL_VALUE, FUNCTION_VALUE_REGNO_P): Remove.
707         * config/arm/arm-protos.h (aapcs_libcall_value): Remove.
708         * config/arm/arm.c (TARGET_FUNCTION_VALUE_REGNO_P): Define.
709         (arm_libcall_value_1, arm_function_value_regno_p): New function.
710         (arm_function_value, arm_libcall_value): Use arm_libcall_value_1.
711         (aapcs_libcall_value): Make static.
712         (arm_libcall_value): Add static qualifier.
713
714 2011-12-02  Jakub Jelinek  <jakub@redhat.com>
715
716         PR target/51387
717         * config/i386/sse.md (mul<mode>3 with VI1_AVX2 iterator): For
718         V32QImode use { 0,2,..,14,32,34,..,46,16,18,..,30,48,50,..,62 }
719         permutation instead of extract even permutation.
720
721 2011-12-02  Nathan Sidwell  <nathan@acm.org>
722
723         * gcov.c (struct arc_info): Add is_throw field.
724         (struct (block_info): Add exceptional field, reduce flags size to
725         account for it.
726         (struct function_info): Add has_catch field.
727         (struct line_info): Add unexceptional field.
728         (process_file): Call find_exception_blocks if necessary.
729         (read_graph_file): Adjust.  Note if an exceptional edge is seen.
730         (find_exception_blocks): New.
731         (add_line_counts): Set line's unexceptional flag if not
732         exceptional.
733         (output_branch_count): Note exceptional arcs, lines and blocks.
734         * gcov-dump.c (tag_arcs): Decode arc flags.
735         * doc/gcov.texi: Document '=====' lines.
736
737 2011-12-02  Anatoly Sokolov  <aesok@post.ru>
738
739         * config/ia64/ia64.h (PRINT_OPERAND, PRINT_OPERAND_ADDRESS,
740         PRINT_OPERAND_PUNCT_VALID_P): Remove macros.
741         * config/ia64/ia64-protos.h (ia64_print_operand,
742         ia64_print_operand_address): Remove.
743         * config/ia64/ia64.c (TARGET_PRINT_OPERAND,
744         TARGET_PRINT_OPERAND_ADDRESS, TARGET_PRINT_OPERAND_PUNCT_VALID_P):
745         Define.
746         (ia64_print_operand_punct_valid_p): New function.
747         (ia64_print_operand, ia64_print_operand_address): Make static.
748
749 2011-12-02  Michael Meissner  <meissner@the-meissners.org>
750
751         PR target/51390
752         * config/rs6000/rs6000.c (def_builtin): Use the correct field to
753         figure out the function's attributes.
754         (struct builtin_description): Mark mask field as const since we no
755         longer need to modify it for SPE and PAIRED builtins.
756
757 2011-12-02  Joseph Myers  <joseph@codesourcery.com>
758
759         Revert:
760
761         2008-09-18  Andrew Pinski  <andrew_pinski@playstation.sony.com>
762
763         PR rtl-opt/37451
764         * loop-doloop.c (doloop_modify): New argument zero_extend_p and
765         zero extend count after the correction to it is done.
766         (doloop_optimize): Update call to doloop_modify, don't zero extend
767         count before call.
768
769         2008-11-03  Andrew Pinski  <andrew_pinski@playstation.sony.com>
770
771         PR rtl-opt/37782
772         * loop-doloop.c (doloop_modify): Add from_mode argument that says what
773         mode count is in.
774         (doloop_optimize): Update call to doloop_modify.
775
776 2011-12-02  Richard Guenther  <rguenther@suse.de>
777
778         PR lto/47259
779         * ipa.c (varpool_externally_visible_p): Register variables
780         are always externally visible.
781
782 2011-12-02  Sameera Deshpande  <sameera.deshpande@arm.com>
783
784         * gimple-pretty-print.c (dump_gimple_call): Dereference fn only if
785           non-NULL.
786
787 2011-12-02  Martin Jambor  <mjambor@suse.cz>
788
789         PR tree-optimization/50622
790         * tree-sra.c (load_assign_lhs_subreplacements): Force gimple operand
791         if both lacc and racc are grp_partial_lhs.
792
793 2011-12-01  Kaz Kojima  <kkojima@gcc.gnu.org>
794
795         PR target/50814.
796         * config/sh/sh.c (expand_ashiftrt): Handle TARGET_SH2A same as
797         TARGET_SH3.
798         (shl_sext_kind): Likewise.
799         * config/sh/sh.h (SH_DYNAMIC_SHIFT_COST): Likewise.
800         * config/sh/sh.md (ashlsi3_sh2a, ashrsi3_sh2a, lshrsi3_sh2a): Remove.
801         (ashlsi3_std): Handle TARGET_SH2A same as TARGET_SH3.
802         (ashlsi3): Likewise.
803         (ashrsi3_d): Likewise.
804         (lshrsi3_d): Likewise.
805         (lshrsi3): Likewise.
806
807 2011-12-01  Diego Novillo  <dnovillo@google.com>
808
809         PR bootstrap/51346
810         * ipa-inline.c (can_inline_edge_p): If the edge E has a statement,
811         use the statement's inline indicator instead of E's.
812         Remove consistency check.
813
814 2011-12-01  Diego Novillo  <dnovillo@google.com>
815
816         PR bootstrap/51346
817         Revert
818
819         2011-11-29  Diego Novillo  <dnovillo@google.com>
820
821         * gimple.c (gimple_call_set_cannot_inline): Move from gimple.h.
822         Update field call_stmt_cannot_inline_p from call
823         graph edge, if needed.
824         * gimple.h (gimple_call_set_cannot_inline): Move to gimple.c.
825
826 2011-12-01  Nathan Sidwell  <nathan@acm.org>
827
828         PR gcov-profile/51113
829         * coverage.c (build_var): Keep coverage variables static.
830
831 2011-12-01  Jakub Jelinek  <jakub@redhat.com>
832
833         PR tree-optimization/51356
834         * tree-vect-patterns.c (vect_recog_bool_pattern): Give up if
835         vectype doesn't have VECTOR_MODE_P.
836
837         PR debug/50317
838         * tree-ssa-dce.c (remove_dead_stmt): Add a debug stmt when removing
839         as unnecessary a store to a variable with gimple reg type.
840         * tree-ssa-live.c (remove_unused_locals): Clear TREE_ADDRESSABLE bit
841         on local unreferenced variables.
842         * cfgexpand.c (expand_gimple_basic_block): Don't emit DEBUG_INSNs
843         for !target_for_debug_bind variables.
844
845 2011-12-01  Patrick Marlier  <patrick.marlier@gmail.com>
846
847         PR middle-end/51273
848         * cgraph.h (cgraph_call_node_duplication_hooks): Declare.
849         * cgraph.c (cgraph_call_node_duplication_hooks): Make global.
850         * cgraphunit.c (cgraph_copy_node_for_versioning): Call it.
851
852 2011-12-01  Andrew Pinski  <apinski@cavium.com>
853
854         PR lto/51198
855         * tree.c (free_lang_data_in_decl): Clear FIELD_DECL's
856         DECL_INITIAL also.
857
858 2011-12-01  Jakub Jelinek  <jakub@redhat.com>
859
860         PR tree-optimization/51246
861         * tree-predcom.c (replace_ref_with): Handle also clobber on the rhs.
862
863         PR rtl-optimization/51014
864         * loop-unroll.c (apply_opt_in_copies): Ignore label DEBUG_INSNs
865         both from bb and orig_bb.
866
867 2011-12-01  Joern Rennecke  <joern.rennecke@embecosm.com>
868
869         PR tree-optimization/50802
870         * tree-vrp.c (simplify_conversion_using_ranges): Rewrite test
871         considering what happens to ranges during sign changes and/or
872         intermediate narrowing conversions.
873
874 2011-11-30  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
875
876         PR middle-end/50283
877         * config/pa/pa.md (in_branch_delay): Disallow frame related insns.
878         (in_nullified_branch_delay): Likewise.
879         (in_call_delay): Likewise.
880
881 2011-11-30  Richard Henderson  <rth@redhat.com>
882
883         * predict.c (expr_expected_value_1): Assume compare-and-swap builtin
884         boolean return is true.
885
886 2011-11-30  Jakub Jelinek  <jakub@redhat.com>
887
888         PR rtl-optimization/51044
889         * dse.c (emit_inc_dec_insn_before): Ensure new_insn is an instruction
890         rather than just insn body.
891
892         PR target/50725
893         * function.c (thread_prologue_and_epilogue_insns): If
894         stack_realign_drap, add drap_reg to SET_UP_BY_PROLOGUE
895         regset.
896
897         PR middle-end/51089
898         * tree-eh.c (cleanup_empty_eh_merge_phis): Add check to
899         avoid creating duplicate edges here.
900         (cleanup_empty_eh_unsplit): And remove it in the caller.
901
902 2011-11-30  Andrew Pinski  <apinski@cavium.com>
903
904         PR c/51321
905         * c-parser.c (c_parser_postfix_expression): Check groktypename results
906         before looking at the main variant.
907
908 2011-11-30  Jakub Jelinek  <jakub@redhat.com>
909
910         PR rtl-optimization/48721
911         * sched-deps.c (sched_analyze_insn): For SIBLING_CALL_P set
912         reg_pending_barrier to TRUE_BARRIER.
913
914         PR rtl-optimization/48721
915         * sched-ebb.c (begin_move_insn): Insert empty unreachable
916         block after BARRIER if insn is followed by it.
917
918 2011-11-30  Richard Henderson  <rth@redhat.com>
919
920         * config/sparc/sparc-opts.h (enum sparc_memory_model_type): New.
921         * config/sparc/sparc.opt (mmemory-model=): New option.
922         * doc/invoke.texi (Sparc Options): Document it.
923         * config/sparc/sparc.c (sparc_option_override): Provide default
924         for sparc_memory_model.
925         (sparc_emit_membar_for_model): Omit barrier combinations that are
926         implied by the memory model.
927
928 2011-11-30  Richard Henderson  <rth@redhat.com>
929
930         * config/sparc/sync.md (I124MODE): New mode iterator.
931         (memory_barrier): Remove.
932         (atomic_exchangesi): New.
933         (swapsi): Rename from *swapsi.
934         (atomic_test_and_set<I124MODE>): New.
935         (ldstubqi): Rename from *ldstubqi, merge with expander.
936         (ldstub<I24MODE>): Rename from *ldstub<I24MODE>, merge with expander.
937         (sync_lock_test_and_setsi): Remove.
938         (sync_lock_test_and_set<I12MODE>): Remove.
939
940 2011-11-30  Richard Henderson  <rth@redhat.com>
941
942         * config/sparc/constraints.md ("w"): New.
943         * config/sparc/predicates.md (mem_noofs_operand): New.
944         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): Make static.
945         Generate the boolean result of the atomic_compare_exchange.
946         (sparc_expand_compare_and_swap): New.
947         * config/sparc/sync.md (atomic_compare_and_swap<I>): New.
948         (atomic_compare_and_swap<I48MODE>_1): Rename from
949         *sync_compare_and_swap<I48MODE>, use mem_noofs_operand.
950         (*atomic_compare_and_swapdi_v8plus): Rename from
951         *sync_compare_and_swapdi_v8plus, use mem_noofs_operand.
952         (sync_compare_and_swap<I12MODE>): Remove.
953         (sync_compare_and_swap<I48MODE>): Remove.
954
955 2011-11-30  Richard Henderson  <rth@redhat.com>
956
957         * config/sparc/predicates.md (register_or_v9_zero_operand): New.
958         * config/sparc/sparc.md (UNSPEC_ATOMIC): New.
959         * config/sparc/sync.md (atomic_load<I>): New.
960         (atomic_loaddi_1, atomic_store<I>, atomic_storedi_1): New.
961
962 2011-11-30  Richard Henderson  <rth@redhat.com>
963
964         * config/sparc/predicates.md (zero_or_v7_operand): New.
965         * config/sparc/sparc.c (sparc_emit_membar_for_model): New.
966         * config/sparc/sparc-protos.h: Update.
967         * config/sparc/sync.md (mem_thread_fence): New.
968         (memory_barrier): Use sparc_emit_membar_for_model.
969         (membar, *membar_empty, *membar_storestore, *membar_storeload): New.
970         (*membar_v8): Accept and ignore the membar mask.
971         (*membar): Accept and print the membar mask.
972
973 2011-11-30  Matthew Gretton-Dann  <matthew.gretton-dann@arm.com>
974
975         * config/arm/arm.c (arm_issue_rate): Cortex-A15 can triple issue.
976         * config/arm/arm.md (mul64): New attribute.
977         (generic_sched): Cortex-A15 is not scheduled generically.
978         (cortex-a15.md): Include.
979         * config/arm/cortex-a15.md: New machine description.
980         * config/arm/t-arm (MD_INCLUDES): Add cortex-a15.md.
981
982 2011-11-30  Matthew Gretton-Dann  <matthew.gretton-dann@arm.com>
983
984         * config/arm/t-arm (MD_INCLUDES): Ensure all md files are listed.
985
986 2011-11-30  Iain Sandoe  <iains@gcc.gnu.org>
987
988         * doc/tm.texi.in (NEXT_OBJC_RUNTIME): Update macro description.
989         * doc/tm.texi: Regenerate.
990         * flags.h (flag_next_runtime): Remove references.
991         * toplev.c: Likewise.
992         * defaults.h (NEXT_OBJC_RUNTIME): Provide default.
993         * gccspec.c (lang_specific_driver): Adjust use of NEXT_OBJC_RUNTIME.
994         * config/darwin.c (darwin_override_options): Provide default
995         Objective-C abi settings and target conflict checks.
996         * config/darwin.h (SUBTARGET_C_COMMON_OVERRIDE_OPTIONS): Remove unused
997         code. Adjust indenting.
998
999 2011-11-29  Joseph Myers  <joseph@codesourcery.com>
1000
1001         * config/sh/sh.h (enum reg_class, REG_CLASS_NAMES)
1002         (REG_CLASS_CONTENTS): Add NON_SP_REGS.
1003         (REGCLASS_HAS_GENERAL_REG): Handle NON_SP_REGS.
1004         * config/sh/constraints.md (u): New constraint.
1005
1006 2011-11-29  Oleg Endo  <oleg.endo@t-online.de>
1007
1008         PR target/51337
1009         * config/sh/sh.c (sh_secondary_reload): Add case when FPUL
1010         register is being loaded from a pseudo in memory.
1011
1012 2011-11-29  DJ Delorie  <dj@redhat.com>
1013
1014         * config.gcc (rl78-*-elf): New case.
1015         * doc/extend.texi: Add RL78 documentation.
1016         * doc/invoke.texi: Likewise.
1017         * doc/md.texi: Likewise.
1018         * doc/contrib.texi: Add RL78.
1019         * doc/install.texi: Add rl78-*-elf.
1020         * config/rl78: New directory for the Renesas RL78.
1021
1022 2011-11-29  Jakub Jelinek  <jakub@redhat.com>
1023
1024         PR tree-optimization/51247
1025         * tree-vrp.c (extract_range_from_assert): For signed 1-bit precision
1026         types instead of adding 1 subtract -1 and instead of subtracting 1
1027         add -1 to avoid overflows.
1028
1029 2011-11-29  Andrew MacLeod  <amacleod@redhat.com>
1030
1031         PR target/50123
1032         * optabs.c (maybe_optimize_fetch_op): New.  Look for more optimal
1033         instructions for a FECTH_OP or OP_FECTH sequence.
1034         (expand_atomic_fetch_op): Call maybe_optimize_fetch_op.
1035
1036 2011-11-29  Uros Bizjak  <ubizjak@gmail.com>
1037
1038         * config/i386/sync.md (UNSPEC_LDA, UNSPEC_STA): New unspecs.
1039         (movdi_via_fpu): Remove.
1040         (loaddi_via_fpu): New insn pattern.
1041         (storedi_via_fpu): Ditto.
1042         (atomic_loaddi_fpu): Use loaddi_via_fpu and storedi_via_fpu.
1043         (atomic_storedi_fpu): Ditto.
1044         * reg-stack.c (get_true_reg): Handle UNSPEC_LDA.
1045         (subst_stack_regs_pat): Handle UNSPEC_STA.
1046
1047 2011-11-29  Uros Bizjak  <ubizjak@gmail.com>
1048
1049         * config/i386/i386.md (*floathi<mode>2_i387_with_temp): Do not
1050         allocate scratch memory for alternative 0.
1051
1052 2011-11-29  Michael Meissner  <meissner@linux.vnet.ibm.com>
1053
1054         * config/rs6000/rs6000-builtins.def: Completely rewrite builtin
1055         handling to centralize more of the builtins in this file.  Change
1056         some builtin enumerations to be more consistant.  Use a new mask
1057         to hold the current builtins, including SPE and PAIRED builtins
1058         which no longer are set via target_flags masks.  Add
1059         -mdebug=builtin debug support.  For power machines, define all
1060         Altivec and VSX buitins when the compiler starts, but don't allow
1061         the use of a builtin unless the appropriate switch is used, or
1062         #pragma GCC target is used to change the options.  If the user
1063         uses #pragma GCC target, update the appropriate hardware macros.
1064         * common/config/rs6000/rs6000-common.c (rs6000_handle_option): Ditto.
1065         * config/rs6000/rs6000.opt (rs6000_builtin_mask): Ditto.
1066         * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): Ditto.
1067         (rs6000_define_or_undefine_macro): Ditto.
1068         (rs6000_target_modify_macros): Ditto.
1069         (rs6000_cpu_cpp_builtins): Ditto.
1070         (altivec_overloaded_builtins): Ditto.
1071         (altivec_build_resolved_builtin): Ditto.
1072         * config/rs6000/rs6000.c (rs6000_target_modify_macros_ptr): Ditto.
1073         (rs6000_builtin_info): Ditto.
1074         (def_builtin): Ditto.
1075         (enable_mask_for_builtins): Ditto.
1076         (DEBUG_FMT_X): Ditto.
1077         (rs6000_debug_reg_global): Ditto.
1078         (rs6000_builtin_mask_calculate): Ditto.
1079         (rs6000_option_override_internal): Ditto.
1080         (rs6000_builtin_conversion): Ditto.
1081         (rs6000_builtin_vectorized_function): Ditto.
1082         (bdesc_3arg): Ditto.
1083         (bdesc_dst): Ditto.
1084         (bdesc_2arg): Ditto.
1085         (builtin_description_predicates): Ditto.
1086         (bdesc_altivec_preds): Ditto.
1087         (bdesc_spe_predicates): Ditto.
1088         (bdesc_spe_evsel): Ditto.
1089         (bdesc_paired_preds): Ditto.
1090         (bdesc_abs): Ditto.
1091         (bdesc_1arg): Ditto.
1092         (rs6000_overloaded_builtin_p): Ditto.
1093         (rs6000_expand_unop_builtin): Ditto.
1094         (bdesc_2arg_spe): Ditto.
1095         (spe_expand_builtin): Ditto.
1096         (rs6000_invalid_builtin): Ditto.
1097         (rs6000_expand_builtin): Ditto.
1098         (rs6000_init_builtins): Ditto.
1099         (spe_init_builtins): Ditto.
1100         (paired_init_builtins): Ditto.
1101         (altivec_init_builtins): Ditto.
1102         (builtin_function_type): Ditto.
1103         (rs6000_common_init_builtins): Ditto.
1104         (rs6000_builtin_reciprocal): Ditto.
1105         (rs6000_builtin_mask_names): Ditto.
1106         (rs6000_pragma_target_parse): Ditto.
1107         (rs6000_function_specific_print): Ditto.
1108         * config/rs6000/rs6000.h (MASK_DEBUG_BUILTIN): Ditto.
1109         (MASK_DEBUG_ALL): Ditto.
1110         (TARGET_DEBUG_BUILTIN): Ditto.
1111         (TARGET_EXTRA_BUILTINS): Ditto.
1112         (REGISTER_TARGET_PRAGMAS): Ditto.
1113         (enum rs6000_btc): Ditto.
1114         (RS6000_BTC_*): Ditto.
1115         (RS6000_BTM_*): Ditto.
1116         (enum rs6000_builtins): Ditto.
1117         * config/rs6000/rs6000-protos.h (rs6000_overloaded_builtin_p): Ditto.
1118         (rs6000_target_modify_macros): Ditto.
1119         (rs6000_target_modify_macros_ptr): Ditto.
1120
1121         * config/rs6000/vector.md (unsfloat<VEC_int><mode>2): Use the
1122         standard name for converting vector unsigned values to floating
1123         point.  Delete the TARGET_VECTORIZE_BUILTIN_CONVERSION hook, which
1124         is handled by machine independent code.
1125         * config/rs6000/rs6000.c (TARGET_VECTORIZE_BUILTIN_CONVERSION): Ditto.
1126         (rs6000_builtin_conversion): Ditto.
1127
1128 2011-11-29  Dodji Seketeli  <dodji@redhat.com>
1129
1130         * tree-diagnostic (struct loc_t): Rename into struct loc_map_pair.
1131         (maybe_unwind_expanded_macro_loc): Adjust.
1132
1133 2011-11-29  David Edelsohn  <dje.gcc@gmail.com>
1134             Aldy Hernandez  <aldyh@redhat.com>
1135
1136         * trans-mem.c (ipa_tm_create_version_alias): Mangle new_decl
1137         if DECL_ONE_ONLY.
1138         (ipa_tm_create_version): Same.
1139
1140 2011-11-29  Bernd Schmidt  <bernds@codesourcery.com>
1141
1142         * haifa-sched.c (recompute_todo_spec): Simplify and correct the
1143         code checking for a clobber of a condition register when deciding
1144         whether to predicate.
1145
1146 2011-11-29  Diego Novillo  <dnovillo@google.com>
1147
1148         * gimple.c (gimple_call_set_cannot_inline): Move from gimple.h.
1149         Update field call_stmt_cannot_inline_p from call graph edge, if needed.
1150         * gimple.h (gimple_call_set_cannot_inline): Move to gimple.c.
1151
1152 2011-11-29  Sameera Deshpande  <sameera.deshpande@arm.com>
1153
1154         * config/arm/arm.md (arm_movdi): Update NEG_POOL_RANGE.
1155         (movdf_soft_insn): Likewise.
1156         * config/arm/fpa.md (thumb2_movdf_fpa): Likewise.
1157         * config/arm/neon.md (neon_mov<mode>): Likewise.
1158         * config/arm/vfp.md (movdi_vfp): Likewise.
1159         (movdi_vfp_cortexa8): Likewise.
1160         (movdf_vfp): Likewise.
1161
1162 2011-11-29  Jakub Jelinek  <jakub@redhat.com>
1163
1164         PR middle-end/50074
1165         * expr.c (expand_expr_addr_expr_1): Don't call force_operand for
1166         EXPAND_SUM modifier.
1167
1168 2011-11-29  Ira Rosen  <ira.rosen@linaro.org>
1169
1170         PR tree-optimization/51301
1171         * tree-vect-patterns.c (vect_recog_over_widening_pattern): Check that
1172         the last statement doesn't convert to a bigger type than the original
1173         type of the computation.
1174
1175 2011-11-28  Richard Henderson  <rth@redhat.com>
1176
1177         * config/rs6000/rs6000.c (rs6000_expand_atomic_compare_and_swap):
1178         Handle overlap between retval and oldval.  Always compute boolval
1179         from CR0 EQ value.
1180
1181 2011-11-28  Jakub Jelinek  <jakub@redhat.com>
1182
1183         PR debug/50317
1184         * tree-ssa.c (execute_update_addresses_taken): Remove
1185         var ={v} {CLOBBER} stmts instead of rewriting them into
1186         var_N ={v} {CLOBBER}.
1187
1188         PR middle-end/50907
1189         * function.c (convert_jumps_to_returns): When redirecting an edge
1190         succ to EXIT_BLOCK_PTR, clear EDGE_CROSSING flag.
1191
1192         PR tree-optimization/50078
1193         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Copy over
1194         TREE_THIS_VOLATILE also from the old to new lhs resp. rhs.
1195
1196         PR tree-optimization/50682
1197         * tree-eh.c (maybe_remove_unreachable_handlers): New function.
1198         * tree-flow.h (maybe_remove_unreachable_handlers): New prototype.
1199         * tree-optimize.c (execute_cleanup_cfg_post_optimizing): Call it.
1200
1201 2011-11-28  Georg-Johann Lay  <avr@gjlay.de>
1202
1203         * doc/extend.texi (AVR Built-in Functions): Add documentation for
1204         __builtin_avr_map8 and __builtin_avr_map16.
1205
1206         * config/avr/avr.md: Document new %t and %T asm output codes.
1207         (define_c_enum "unspec"): Add UNSPEC_MAP_BITS.
1208         (adjust_len): Add map_bits.
1209         (map_bitsqi, map_bitshi): New insns.
1210         * config/avr/avr-protos.h (avr_out_map_bits): New.
1211         * config/avr/avr-protos.c (print_operand): Implement %t and %T.
1212         (adjust_insn_length): Handle ADJUST_LEN_MAP_BITS.
1213         (avr_double_int_push_digit): New function.
1214         (avr_map, avr_revert_map, avr_swap_map, avr_id_map): New functions.
1215         (avr_sig_map, avr_map_hamming_byte): New functions.
1216         (avr_out_swap_bits, avr_out_revert_bits, avr_move_bits,
1217         avr_out_map_bits): New functions.
1218         (enum avr_builtin_id): Add AVR_BUILTIN_MAP8, AVR_BUILTIN_MAP16.
1219         (avr_init_builtins): Populate __builtin_avr_map8, __builtin_avr_map16.
1220         (bdesc_2arg): Add __builtin_avr_map8, __builtin_avr_map16 ...
1221         (avr_expand_builtin): ...and expand them.
1222         * config/avr/avr-c.c (avr_cpu_cpp_builtins): New built-in defines:
1223         __BUILTIN_AVR_MAP8, __BUILTIN_AVR_MAP16.
1224
1225 2011-11-27  Richard Sandiford  <rdsandiford@googlemail.com>
1226
1227         PR target/51278
1228         * config/mips/mips.c (mips_rtx_costs): Handle baddu.
1229
1230 2011-11-27  Richard Sandiford  <rdsandiford@googlemail.com>
1231
1232         * config/mips/mips.c (mips16_unextended_reference_p): Test for BLKmode.
1233
1234 2011-11-27  Richard Sandiford  <rdsandiford@googlemail.com>
1235
1236         * config/mips/mips-protos.h (mips_emit_binary): Declare.
1237         * config/mips/mips.c (mips_emit_binary): Make global.
1238         (mips_set_mips16_mode): Turn off -mfix-r4000 in MIPS16 mode.
1239         (mips_conditional_register_usage): Don't treat LO and HI as
1240         register operands in MIPS16 mode.
1241         (mips_mulsidi3_gen_fn): Use {u,}mulsidi3_{32,64}bit_mips16
1242         for MIPS16 code.
1243         * config/mips/predicates.md (muldiv_target_operand): New predicate.
1244         (move_operand): Allow hilo_operand.
1245         * config/mips/mips.md (mul<mode>3): Explicitly specify LO as the
1246         target of MIPS16 multiplies, then move it into the target register.
1247         (mul<mode>3_internal, *macc2, *msac2): Use muldiv_target_operand.
1248         (<u>mulsidi3_32bit_mips16): New expander.
1249         (<u>mulsidi3_32bit): Use muldiv_target_operand.
1250         (<u>mulsidi3_32bit_r4000): Disable for ISA_HAS_DSP.
1251         (<u>mulsidi3_64bit): Require !TARGET_MIPS16.  Split into
1252         <u>mulsidi3_64bit_split.
1253         (<u>mulsidi3_64bit_mips16): New expander.
1254         (<u>mulsidi3_64bit_split): Likewise, using expansions from
1255         two previous define_splits.
1256         (<u>mulsidi3_64bit_hilo, *muls<u>_di, <u>msubsidi4): Use
1257         muldiv_target_operand.
1258         (<su>mulsi3_highpart): Use <su>mulsi3_highpart_split for MIPS16 code.
1259         (<su>mulsi3_highpart_internal): Require !TARGET_MIPS16.
1260         Split into <su>mulsi3_highpart_split.
1261         (<su>mulsi3_highpart_split): New expander.
1262         (<su>muldi3_highpart): Turn into a define_expand.
1263         Use <su>muldi3_highpart_split for MIPS16 code.
1264         (<su>muldi3_highpart_internal): Renamed from <su>muldi3_highpart.
1265         Require !TARGET_MIPS16.  Split into <su>muldi3_highpart_split.
1266         (<su>muldi3_highpart_split): New expander.
1267         (<u>mulditi3): Explicitly specify LO as the target of MIPS16
1268         multiplies, then move it into the target register.
1269         (<u>mulditi3_internal, <u>maddsidi4): Use muldiv_target_operand.
1270         (divmod<mode>4, udivmod<mode>4): Turn into define_expands.
1271         Use <u>divmod<mode>4_split for MIPS16 code, then explicitly
1272         move LO into operand 0.
1273         (divmod<mode>4_internal, udivmod<mode>4_internal): Renamed
1274         from <u>divmod<mode>4.  Use muldiv_target_operand.
1275         Require !TARGET_MIPS16.  Split into <u>divmod<mode>4_split.
1276         (<u>divmod<mode>4_split): New expander.
1277         (<u>divmod<GPR:mode>4_hilo_<HILO:mode>): Use muldiv_target_operand.
1278         (mfhi<GPR:mode>_<HILO:mode>): Use hilo_operand.
1279
1280 2011-11-27  Richard Sandiford  <rdsandiford@googlemail.com>
1281
1282         * hard-reg-set.h (target_hard_regs): Add x_accessible_reg_set
1283         and x_operand_reg_set.
1284         (accessible_reg_set, operand_reg_set): New macros.
1285         * reginfo.c (init_reg_sets): Initialize accessible_reg_set and
1286         operand_reg_set.
1287         (saved_accessible_reg_set, saved_operand_reg_set): New variables.
1288         (save_register_info): Save them.
1289         (restore_register_info): Restore them.
1290         (init_reg_sets_1): Limit operand_reg_set to accessible_reg_set.
1291         Remove NO_REGS registers from operand_reg_set.  Treat members
1292         of operand_reg_set as fixed.
1293         * recog.c (general_operand): Check operand_reg_set rather than NO_REGS.
1294         (register_operand, nonmemory_operand): Likewise.
1295         * varasm.c (make_decl_rtl): Always use DECL_MODE as the mode of
1296         register variables.  Check accessible_reg_set and operand_reg_set.
1297         * config/mips/mips.c (mips_conditional_register_usage): Remove
1298         inaccessible register from accessible_reg_set, rather than just
1299         making them fixed.
1300
1301 2011-11-27  Gerald Pfeifer  <gerald@pfeifer.com>
1302
1303         * config/pa/pa-linux.h (TARGET_GAS): Remove comment.
1304
1305 2011-11-26  Richard Henderson  <rth@redhat.com>
1306
1307         * config/arm/arm.c (arm_init_libfuncs): Call init_sync_libfuncs
1308         for Linux.
1309
1310 2011-11-26  Richard Henderson  <rth@redhat.com>
1311
1312         * optabs.c (expand_atomic_fetch_op): Always return result.
1313
1314         * optabs.c (init_sync_libfuncs_1): Include max in iteration.
1315
1316         * omp-low.c (expand_omp_atomic): Assume anything aligned to
1317         BIGGEST_ALIGNMENT is aligned.
1318
1319 2011-11-26  Richard Henderson  <rth@redhat.com>
1320
1321         * config/m68k/m68k.md (UNSPECV_CAS_1, UNSPECV_CAS_2): New.
1322         (UNSPECV_TAS_1, UNSPECV_TAS_2): New.
1323         (I): New mode iterator.
1324         (xz): New mode attribute.
1325         * config/m68k/sync.md: New file.
1326
1327         * config/m68k/linux.h (TARGET_INIT_LIBFUNCS): New.
1328         * config/m68k/m68k.c (m68k_init_sync_libfuncs): New.
1329
1330 2011-11-26  Nathan Sidwell  <nathan@acm.org>
1331
1332         PR gcov-profile/51297
1333         * gcov.c (main): Allocate initial names and sources arrays.
1334         (find_source): Don't check for null name or source arrays here.
1335
1336 2011-11-26  Jakub Jelinek  <jakub@redhat.com>
1337
1338         PR rtl-optimization/49912
1339         * cfgrtl.c (rtl_verify_flow_info_1): Ignore also EDGE_PRESERVE bit
1340         when counting n_branch.
1341
1342 2011-11-26  Uros Bizjak  <ubizjak@gmail.com>
1343
1344         * config/i386/sync.md (movdi_via_fpu): Add %Z insn suffixes.
1345
1346 2011-11-26  Joern Rennecke  <joern.rennecke@embecosm.com>
1347
1348         PR middle-end/50074
1349         * calls.c (mem_overlaps_already_clobbered_arg_p):
1350         Return false if no outgoing arguments have been stored so far.
1351
1352 2011-11-25  Georg-Johann Lay  <avr@gjlay.de>
1353
1354         * config/avr/avr.c (print_operand): Support code = 'i' for CONST_INT.
1355
1356 2011-11-24  Andrew MacLeod  <amacleod@redhat.com>
1357
1358         PR other/51011
1359         * tree.h (is_builtin_name): No longer external.
1360         * builtins.c (is_builtin_name): Make static.
1361         * varasm.c (incorporeal_function_p): __sync and __atomic external calls
1362         are not incorporeal and may need asm label processing.
1363
1364 2011-11-25  Georg-Johann Lay  <avr@gjlay.de>
1365
1366         PR target/50566
1367         * config/avr/avr-protos.h (avr_log_t): Add field .builtin.
1368         * config/avr/avr-log.c (avr_log_set_avr_log): Initialize it.
1369         Don't bypass TARGET_ALL_DEBUG.  Print self-info with ?.
1370         (avr_log_vadump): Support %D and %X to print double_int.
1371         (avr_double_int_pop_digit): New static function.
1372         (avr_dump_double_int_hex): New static function.
1373
1374 2011-11-24  Enkovich Ilya  <ilya.enkovich@intel.com>
1375
1376         PR target/51287
1377         * config/i386/i386.c (distance_non_agu_define_in_bb): Fix insn
1378         attr check.
1379
1380 2011-11-24  Andrew MacLeod  <amacleod@redhat.com>
1381
1382         * optab.c (maybe_emit_atomic_exchange): New.  Try to emit an
1383         atomic_exchange pattern.
1384         (maybe_emit_sync_lock_test_and_set): New.  Try to emit an exchange
1385         using __sync_lock_test_and_set.
1386         (maybe_emit_compare_and_swap_exchange_loop): New. Try to emit an
1387         exchange using a compare_and_swap loop.
1388         (expand_sync_lock_test_and_set): New.  Expand sync_lock_test_and_set.
1389         (expand_atomic_test_and_set): New.  Expand test_and_set operation.
1390         (expand_atomic_exchange): Use new maybe_emit_* functions.
1391         (expand_atomic_store): Use new maybe_emit_* functions.
1392         * builtins.c (expand_builtin_sync_lock_test_and_set): Call
1393         expand_sync_lock_test_and_set routine.
1394         (expand_builtin_atomic_exchange): Remove parameter from call.
1395         (expand_builtin_atomic_clear): Use atomic_clear pattern if present.
1396         (expand_builtin_atomic_test_and_set): Add target and simply call
1397         expand_atomic_test_and_set.
1398         (expand_builtin): Add target to expand_builtin_atomic_test_and_set.
1399         * expr.h (expand_atomic_exchange): Add parameter.
1400         (expand_sync_lock_test_and_set): New prototype.
1401         (expand_atomic_test_and_set, expand_atomic_clear): New prototypes.
1402
1403 2011-11-24  H.J. Lu  <hongjiu.lu@intel.com>
1404
1405         PR target/51134
1406         * config/i386/i386.h (processor_costs): Revert revision 181357.
1407         * config/i386/i386.c (cost models): Likewise.
1408         (core_cost): Likewise.
1409         (promote_duplicated_reg): Likewise.
1410         (promote_duplicated_reg_to_size): Likewise.
1411         (processor_target): Likewise.
1412         (expand_set_or_movmem_via_loop_with_iter): Likewise.
1413         (expand_set_or_movmem_via_loop): Likewise.
1414         (emit_strset): Likewise.
1415         (expand_movmem_epilogue): Likewise.
1416         (expand_setmem_epilogue): Likewise.
1417         (expand_movmem_prologue): Likewise.
1418         (expand_setmem_prologue): Likewise.
1419         (expand_constant_movmem_prologue): Likewise.
1420         (expand_constant_setmem_prologue): Likewise.
1421         (decide_alg): Likewise.
1422         (decide_alignment): Likewise.
1423         (ix86_expand_movmem): Likewise.
1424         (ix86_expand_setmem): Likewise.
1425         (ix86_slow_unaligned_access): Likewise.
1426         * config/i386/i386.md (strset): Likewise.
1427         * config/i386/sse.md (vec_dupv4si): Likewise.
1428         (vec_dupv2di): Likewise.
1429
1430 2011-11-24  Georg-Johann Lay  <avr@gjlay.de>
1431
1432         * config/avr/avr.md (*rotlhi2.15): Set length to 4.
1433
1434 2011-11-24  Razya Ladelsky  <razya@il.ibm.com>
1435
1436         * tree-data-ref.c (initialize_data_dependence_relation): Update
1437         comment for the self dependence case.
1438         (compute_self_dependence): Remove.
1439         * tree-vect-data-refs.c (vect_analyze_data_refs): Remove call to
1440         compute_self_dependenc.
1441
1442 2011-11-24  Alan Modra  <amodra@gmail.com>
1443
1444         * c-decl.c (warn_if_shadowing): Don't warn if shadowed
1445         identifier is from system header.
1446
1447 2011-11-23  Jakub Jelinek  <jakub@redhat.com>
1448
1449         PR target/51261
1450         * config/i386/i386.c (decide_alg): Initialize *dynamic_check
1451         even if !optimize.
1452
1453 2011-11-23  Vladimir Makarov  <vmakarov@redhat.com>
1454
1455         PR rtl-optimization/48455
1456         * doc/invoke.texi (-fira-region): Document default values.
1457
1458         * flags-types.h (enum ira_region): Add new value
1459         IRA_REGION_AUTODETECT.
1460
1461         * common.opt (fira-region): Set up initial value to
1462         IRA_REGION_AUTODETECT.
1463
1464         * toplev.c (process_options): Set up flag_ira_region depending on
1465         -O options.
1466
1467         * ira.c (ira.c): Remove optimize guard for ira_build.
1468
1469 2011-11-23  Chung-Lin Tang  <cltang@codesourcery.com>
1470
1471         PR rtl-optimization/50496
1472         * jump.c (redirect_jump): Assert fail on nlabel == NULL_RTX
1473         only after epilogue is created. Add comments.
1474
1475 2011-11-22  Richard Henderson  <rth@redhat.com>
1476
1477         * config/ia64/ia64.c (ia64_expand_atomic_op): Add model parameter.
1478         Generate the barrier required for the memory model.
1479         (rtx_needs_barrier): Handle UNSPEC_FETCHADD_REL, UNSPEC_CMPXCHG_REL.
1480         * config/ia64/ia64-protos.h: Update.
1481         * config/ia64/ia64.md (UNSPEC_FETCHADD_REL): New.
1482         (UNSPEC_CMPXCHG_REL): New.
1483         * config/ia64/sync.md (mem_thread_fence): New.
1484         (atomic_load<IMODE>, atomic_store<IMODE>): New.
1485         (atomic_compare_and_swap<IMODE>): New.
1486         (cmpxchg_acq_<I124MODE>, cmpxchg_acq_di): New.
1487         (atomic_exchange<IMODE>): New.
1488         (xchg_acq_<IMODE>): Rename from sync_lock_test_and_set<IMODE>.
1489         (atomic_<FETCHOP><IMODE>, atomic_nand<IMODE>): New.
1490         (atomic_fetch_<FETCHOP><IMODE>, atomic_fetch_nand<IMODE>): New.
1491         (atomic_<FETCHOP>_fetch<IMODE>, atomic_nand_fetch<IMODE>): New.
1492         (fetchadd_rel_<I48MODE>): New.
1493         (sync_<FETCHOP><IMODE>, sync_nand<IMODE>): Remove.
1494         (sync_old_<FETCHOP><IMODE>, sync_old_nand<IMODE>): Remove.
1495         (sync_new_<FETCHOP><IMODE>, sync_new_nand<IMODE>): Remove.
1496         (sync_compare_and_swap<IMODE>): Remove.
1497         (sync_lock_release<IMODE>): Remove.
1498
1499         * config/ia64/ia64.md: Use define_c_enum for UNSPEC_*
1500         and UNSPECV_* constants.
1501
1502 2011-11-22  Tom de Vries  <tom@codesourcery.com>
1503
1504         PR rtl-optimization/50764
1505         * sched-deps.c (sched_analyze_insn): Make sure frame-related insns are
1506         not moved past preceding jump.
1507
1508 2011-11-22  Jeff Law  <law@redhat.com>
1509
1510         * doc/contrib.texi: Add entry for David Binderman.
1511
1512 2011-11-22  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
1513
1514         * postreload.c (reload_combine): Mark reg_state as invalid at
1515         volatile insns if there has been a use already.
1516
1517 2011-11-21  Aldy Hernandez  <aldyh@redhat.com>
1518
1519         * opts.c (finish_options): Do not fail for -fgnu-tm.
1520         * gimple-streamer-out.c (output_gimple_stmt): Handle
1521         GIMPLE_TRANSACTION.
1522         * gimple-streamer-in.c (input_gimple_stmt): Same.
1523         * lto-cgraph.c (input_overwrite_node): Read tm_clone bit.
1524         (lto_output_node): Write tm_clone bit.
1525
1526 2011-11-22  Ian Lance Taylor  <iant@google.com>
1527
1528         * doc/install.texi (Configuration): Correct doc of
1529         --enable-build-poststage1-with-cxx: it is not experimental.
1530
1531 2011-11-22  Jakub Jelinek  <jakub@redhat.com>
1532
1533         PR tree-optimization/51074
1534         * fold-const.c (fold_binary_loc): Fix up VEC_INTERLEAVE_*_EXPR
1535         handling for BYTES_BIG_ENDIAN.
1536         * optabs.c (can_vec_perm_for_code_p): Likewise.
1537
1538 2011-11-22  Michael Matz  <matz@suse.de>
1539
1540         PR other/51125
1541         * trans-mem.c (expand_block_tm): Ignore clobbers.
1542
1543 2011-11-22  Iain Sandoe  <iains@gcc.gnu.org>
1544
1545         *  config/darwin.h (ENDFILE_SPEC): New.
1546         (DARWIN_CRT1_SPEC): Add crttms.o.
1547         (STARTFILE_SPEC): Likewise for dynamic libs and bundles.
1548         * config/i386.h (ENDFILE_SPEC): Amend to include crttme.o.
1549
1550 2011-11-22  Michael Matz  <matz@suse.de>
1551
1552         PR c++/51264
1553         * tree.c (iterative_hash_expr): Remove break after return.
1554
1555 2011-11-22  Iain Sandoe  <iains@gcc.gnu.org>
1556
1557         * target.def (tm_clone_table_section): New hook.
1558         * doc/tm.texi.in (TARGET_ASM_TM_CLONE_TABLE_SECTION): Define.
1559         * doc/tm.texi: Regenerate.
1560         * varasm.c (dump_tm_clone_pairs): Use target tm_clone_table_section.
1561         * output.h (default_clone_table_section): New prototype.
1562         * config/darwin.h (TARGET_ASM_TM_CLONE_TABLE_SECTION): New.
1563         * config/darwin-protos.h (darwin_tm_clone_table_section): New prototype.
1564         * config/darwin.c (darwin_tm_clone_table_section): New.
1565
1566 2011-11-21  Torvald Riegel  <triegel@redhat.com>
1567
1568         * trans-mem.c (diagnose_tm_1): Print an expression instead of a
1569         declaration in error messages for indirect calls.
1570
1571 2011-11-21  David S. Miller  <davem@davemloft.net>
1572
1573         * config/sparc/sparc.c (sparc_regmode_natural_size): New function
1574         implementing REGMODE_NATURAL_SIZE taking into consideration vector
1575         modes.
1576         (sparc_modes_tieable_p): Similarly for MODES_TIEABLE_P.
1577         * config/sparc/sparc-protos.h (sparc_regmode_natural_size,
1578         sparc_modes_tieable_p): Declare.
1579         * gcc/config/sparc/sparc.h (REGMODE_NATURAL_SIZE,
1580         MODES_TIEABLE_P): Use new helper functions.
1581
1582         Revert
1583         2011-11-16  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
1584
1585         PR middle-end/50325
1586         * expmed.c (store_bit_field_1): Use extract_bit_field on big
1587         endian targets if the source cannot be exactly covered by word
1588         mode chunks.
1589
1590 2011-11-21  Jakub Jelinek  <jakub@redhat.com>
1591
1592         PR debug/50827
1593         * var-tracking.c (loc_cmp): For ENTRY_VALUEs use ENTRY_VALUE_EXP
1594         macro instead of XEXP.
1595
1596 2011-11-21  Andreas Tobler  <andreast@fgznet.ch>
1597
1598         * configure: Regenerate.
1599
1600 2011-11-21  Georg-Johann Lay  <avr@gjlay.de>
1601
1602         * config/avr/avr.c (output_reload_in_const): Loading a byte with 0
1603         must not affect cc0.
1604         * config/avr/avr.md (*movhi, *movpsi, *movsi, *movsf): Zero to any
1605         register does not change cc0. Same for any constant to ld-register.
1606
1607 2011-11-21  Uros Bizjak  <ubizjak@gmail.com>
1608
1609         * config/i386/mmx.md (unspec) <UNSPEC_MOVNTQ, UNSPEC_PFRCP,
1610         UNSPEC_PFRCPIT1, UNSPEC_PFRCPIT2, UNSPEC_PFRSQRT, UNSPEC_PFRSQIT1>:
1611         Move from config/i386/i386.md
1612         (unspecv) <UNSPECV_EMMS, UNSPECV_FEMMS>: Ditto.
1613         * config/i386/sse.md (unspec) <UNSPEC_MOVNT,UNSPEC_MOVU, UNSPEC_LDDQU,
1614         UNSPEC_PSHUFB, UNSPEC_PSIGN, UNSPEC_PALIGNR, UNSPEC_EXTRQI,
1615         UNSPEC_EXTRQ, UNSPEC_INSERTQI, UNSPEC_INSERTQ, UNSPEC_BLENDV,
1616         UNSPEC_INSERTPS, UNSPEC_DP, UNSPEC_MOVNTDQA, UNSPEC_MPSADBW,
1617         UNSPEC_PHMINPOSUW, UNSPEC_PTEST, UNSPEC_PCMPESTR, UNSPEC_PCMPISTR,
1618         UNSPEC_FMADDSUB, UNSPEC_XOP_UNSIGNED_CMP, UNSPEC_XOP_TRUEFALSE,
1619         UNSPEC_XOP_PERMUTE, UNSPEC_FRCZ, UNSPEC_AESENC, UNSPEC_AESENCLAST,
1620         UNSPEC_AESDEC, UNSPEC_AESDECLAST, UNSPEC_AESIMC,
1621         UNSPEC_AESKEYGENASSIST, UNSPEC_PCLMUL, UNSPEC_PCMP, UNSPEC_VPERMIL,
1622         UNSPEC_VPERMIL2, UNSPEC_VPERMIL2F128, UNSPEC_CAST, UNSPEC_VTESTP,
1623         UNSPEC_VCVTPH2PS, UNSPEC_VCVTPS2PH, UNSPEC_VPERMSI, UNSPEC_VPERMDF,
1624         UNSPEC_VPERMSF, UNSPEC_VPERMTI, UNSPEC_GATHER, UNSPEC_VSIBADDR>: Ditto.
1625         (unspecv) <UNSPECV_LDMXCSR, UNSPECV_STMXCSR, UNSPECV_CLFLUSH,
1626         UNSPECV_MONITOR, UNSPECV_MWAIT, UNSPECV_VZEROALL, UNSPECV_VZEROUPPER>:
1627         Ditto.
1628         * config/i386/sync.md (unspec) <UNSPEC_LFENCE, UNSPEC_SFENCE,
1629         UNSPEC_MFENCE, UNSPEC_MOVA>: Ditto.
1630         (unspecv) <UNSPECV_CMPXCHG_1, UNSPECV_CMPXCHG_2, UNSPECV_CMPXCHG_3,
1631         UNSPECV_CMPXCHG_4, UNSPECV_XCHG, UNSPECV_LOCK>: Ditto.
1632         (sse2_lfence): Move from config/i386/sse.md.
1633         (*sse2_lfence): Ditto.
1634         (sse_sfence): Ditto.
1635         (*sse_sfence): Ditto.
1636         (sse2_mfence): Ditto.
1637         (mfence_sse2): Ditto.  Rename from *sse2_mfence.  Enable also
1638         for TARGET_64BIT.
1639         (mem_thread_fence): Use mfence_sse2.
1640
1641 2011-11-21  Georg-Johann Lay  <avr@gjlay.de>
1642
1643         * config/avr/avr.h (struct base_arch_s): Add field sfr_offset.
1644         * config/avr/avr-devices.c: Ditto. And initialize it.
1645         * config/avr/avr-c.c (avr_cpu_cpp_builtins): New built-in define
1646         __AVR_SFR_OFFSET__.
1647         * config/avr/avr-protos.h (out_movqi_r_mr, out_movqi_mr_r): Remove.
1648         (out_movhi_r_mr, out_movhi_mr_r): Remove.
1649         (out_movsi_r_mr, out_movsi_mr_r): Remove.
1650         * config/avr/avr.md (*cbi, *sbi): Use %i instead of %m-0x20.
1651         (*insv.io, *insv.not.io): Ditto.
1652         * config/avr/avr.c (out_movsi_r_mr, out_movsi_mr_r): Make static.
1653         (print_operand): Implement "%i" to print address as I/O address.
1654         (output_movqi): Clean up call of out_movqi_mr_r.
1655         (output_movhi): Clean up call of out_movhi_mr_r.
1656         (avr_file_start): Use avr_current_arch->sfr_offset instead of
1657         magic -0x20. Use TMP_REGNO, ZERO_REGNO instead of 0, 1.
1658         (avr_out_sbxx_branch): Use %i instead of %m-0x20.
1659         (out_movqi_r_mr, out_movqi_mr_r): Ditto. And make static.
1660         (out_movhi_r_mr, out_movhi_mr_r): Ditto. And use avr_asm_len.
1661         (out_shift_with_cnt): Clean up code: Use avr_asm_len.
1662         (output_movsisf): Use output_reload_insisf for all CONSTANT_P sources.
1663         (avr_out_movpsi): USE avr_out_reload_inpsi for all CONSTANT_P sources.
1664         Clean up call of avr_out_store_psi.
1665         (output_reload_in_const): Don't cut symbols longer than 2 bytes.
1666         (output_reload_insisf): Filter CONST_INT_P or CONST_DOUBLE_P to
1667         try if setting pre-cleared register is advantageous.
1668         (avr_out_plus_1): Use gen_int_mode instead of GEN_INT.
1669
1670 2011-11-20  Joey Ye  <joey.ye@arm.com>
1671
1672         * expr.c (expand_expr_real_1): Correctly handle strict volatile
1673         bitfield loads smaller than mode size.
1674
1675 2011-11-20  Richard Henderson  <rth@redhat.com>
1676
1677         * config/mips/mips.c (mips_init_libfuncs): Call init_sync_libfuncs.
1678
1679 2011-11-20  Uros Bizjak  <ubizjak@gmail.com>
1680
1681         PR target/51235
1682         * config/i386/i386.c (ix86_expand_vcond): Generate TARGET_XOP
1683         patterns for supported mode only.
1684
1685         PR target/51236
1686         * config/i386/i386.c (ix86_expand_builtin)
1687         <IX86_BUILTIN_GATHERALTSIV4DI>: Use CODE_FOR_avx2_gathersiv4di.
1688
1689 2011-11-20  Uros Bizjak  <ubizjak@gmail.com>
1690
1691         * config/i386/i386.md (UNSPEC_MOVNTI): Remove.
1692         (UNSPEC_MOVNTQ): New unspec.
1693         * config/i386/mmx.md (sse_movntq): Rename from sse_movntdi.
1694         Use UNSPEC_MOVNTQ instead of UNSPEC_MOVNT.
1695         * config/i386/sse.md (sse2_movnti<mode>): Use UNSPEC_MOVNT instead of
1696         UNSPEC_MOVNTI.
1697         (STORENT_MODE): Add DI and V4DI modes.
1698
1699 2011-11-20  Nathan Sidwell  <nathan@acm.org>
1700
1701         PR gcov-profile/51113
1702         * coverage.c (build_var): Propagate visibility for public
1703         decls.  Use make_decl_one_only for PIC correctness.
1704
1705         testsuite/
1706         * gcc.misc-tests/gcov-13.c: Check gcovpart-13b coverage
1707         * gcc.misc-tests/gcov-16.c: New.
1708         * gcc.misc-tests/gcov-17.c: New.
1709         * g++.dg/gcov/gcov-8.C: New.
1710         * g++.dg/gcov/gcov-9.C: New.
1711         * g++.dg/gcov/gcov-10.C: New.
1712
1713 2011-11-19  Eric Botcazou  <ebotcazou@adacore.com>
1714
1715         PR rtl-optimization/51187
1716         * reorg.c (relax_delay_slots): Do not consider a jump useless if there
1717         is a barrier between the jump and its target label.
1718
1719 2011-11-19  Patrick Marlier  <patrick.marlier@gmail.com>
1720
1721         PR middle-end/51211
1722         * tracer.c (ignore_bb_p): Don't copy GIMPLE_TRANSACTION.
1723
1724 2011-11-19  Eric Botcazou  <ebotcazou@adacore.com>
1725
1726         * expmed.c (store_bit_field_1): Revert bogus formatting change.
1727
1728 2011-11-19  Richard Earnshaw  <rearnsha@arm.com>
1729
1730         PR target/50493
1731         * config/arm/arm.c (neon_disambiguate_copy): Correctly handle partial
1732         overlap of src and dest operands.
1733
1734 2011-11-19  Iain Sandoe  <iains@gcc.gnu.org>
1735
1736         * config/darwin.h (ASM_DEBUG_SPEC): New.
1737         * config/darwin9.h (ASM_DEBUG_SPEC): New.
1738
1739 2011-11-18  Jan Hubicka  <jh@suse.cz>
1740
1741         * config/i386/i386.c (atom_cost): Disable SSE loop until alignment
1742         issues are fixed.
1743
1744 2011-11-18  Anatoly Sokolov  <aesok@post.ru>
1745
1746         * config/cris/cris.c (cris_function_value_regno_p): Make static.
1747         (TARGET_FUNCTION_VALUE_REGNO_P): Define.
1748         * config/cris/cris.h (FUNCTION_VALUE_REGNO_P): Remove.
1749         * config/cris/cris-protos.h (cris_function_value_regno_p): Remove.
1750
1751 2011-11-18  H.J. Lu  <hongjiu.lu@intel.com>
1752
1753         PR target/33944
1754         * doc/extend.texi: Document __builtin_ia32_movnti64.
1755
1756         * config/i386/emmintrin.h (_mm_stream_si64): New.
1757
1758         * config/i386/i386-builtin-types.def: Add VOID_FTYPE_PLONGLONG_LONGLONG.
1759
1760         * config/i386/i386.c (ix86_builtins): Add IX86_BUILTIN_MOVNTI64.
1761         (bdesc_special_args): Update __builtin_ia32_movnti.  Add
1762         __builtin_ia32_movnti64.
1763         (ix86_expand_special_args_builtin): Handle
1764         VOID_FTYPE_PLONGLONG_LONGLONG.
1765
1766         * config/i386/i386.md (UNSPEC_MOVNTI): New.
1767
1768         * config/i386/sse.md (sse2_movntsi): Renamed to ...
1769         (sse2_movnti<mode>): This.
1770
1771 2011-11-18  Georg-Johann Lay  <avr@gjlay.de>
1772
1773         PR target/49868
1774         * config/avr/avr.h (base_arch_s): Add field n_segments.
1775         (ADDR_SPACE_PGM1, ADDR_SPACE_PGM2, ADDR_SPACE_PGM3,
1776         ADDR_SPACE_PGM4, ADDR_SPACE_PGM5, ADDR_SPACE_PGMX): New address spaces.
1777         (AVR_HAVE_ELPM, AVR_HAVE_ELPMX): New defines.
1778         (INIT_EXPANDERS): New define.
1779         * config/avr/avr-protos.h (avr_mem_pgmx_p): New.
1780         (avr_init_expanders): New.
1781         (avr_emit_movmemhi, avr_out_movmem): New.
1782         (avr_xload_libgcc_p): New.
1783         * config/avr/avr-c.c (avr_register_target_pragmas): Register
1784         address spaces __pgm1, __pgm2,  __pgm3,  __pgm4  __pgm5,  __pgmx.
1785         (avr_cpu_cpp_builtins): Add built-in defines __PGM1,
1786         __PGM2, __PGM3, __PGM4, __PGM5, __PGMX.
1787         * config/avr/avr-devices.c (avr_arch_types): Set field n_segments.
1788
1789         * config/avr/avr.c (AVR_SECTION_PROGMEM): Change define to cover
1790         3 bits instead of just 1.
1791         (xstring_empty, xstring_e, rampz_rtx): New static GTYed variables.
1792         (progmem_section): Change from section to array of sections.
1793         (progmem_section_prefix): New static variable.
1794         (avr_file_start): Print set for __RAMPZ__
1795         (avr_option_override): Move initialization of RTXes from here...
1796         (avr_init_expanders): ...to this new function.
1797         (avr_pgm_segment): New static function.
1798         (avr_decl_pgm_p): Handle error_mark_node.
1799         (avr_mem_pgmx_p, avr_decl_pgmx_p): New static functions.
1800         (avr_out_xload, avr_find_unused_d_reg): New static functions.
1801         (expand_prologue, expand_epilogue): Use rampz_rtx.
1802         (print_operand): Hande CONST_STRING.
1803         (avr_xload_libgcc_p): New static function.
1804         (avr_out_lpm_no_lpmx, avr_out_lpm): Handle ELPM.
1805         (avr_progmem_p): Return 2 for 24-bit flash address space.
1806         (avr_out_sbxx_branch): Clean-up code from ASn macros.
1807         (out_movqi_r_mr, out_movqi_mr_r): Ditto. And recognize RAMPZ's
1808         address and print symbolically.
1809         (avr_asm_named_section, avr_section_type_flags,
1810         avr_encode_section_info, avr_asm_select_section,
1811         avr_addr_space_address_mode, avr_addr_space_pointer_mode,
1812         avr_addr_space_legitimate_address_p, avr_addr_space_convert,
1813         avr_addr_space_legitimize_address): Handle new address spaces.
1814         (avr_output_progmem_section_asm_op): New static function.
1815         (avr_asm_init_sections): Initialize progmem_section[].
1816         (adjust_insn_length): Handle ADJUST_LEN_XLOAD, ADJUST_LEN_MOVMEM.
1817         (avr_const_address_lo16): New static function.
1818         (avr_assemble_integer): Use it to handle 3-byte integers.
1819         (avr_emit_movmemhi, avr_out_movmem): New functions.
1820
1821         * config/avr/predicates.md (nox_general_operand): Handle new
1822         address spaces.
1823         * config/avr/avr.md (unspec): Add UNSPEC_MOVMEM.
1824         (adjust_len): Add xload, movmem.
1825         (SP_ADDR): New define_constants.
1826         (isa): Add "lpm", "lpmx", "elpm", "elpmx".
1827         (enabled): Handle them.
1828         (load<mode>_libgcc): New expander.
1829         (*load.<mode>.libgcc): Rename to load_<mode>_libgcc.
1830         (xload8_A, xload<mode>_A): New insn-and-splits.
1831         (xload_8, xload_<mode>_libgcc, xload_<mode>, loadmem_elpm): New insns.
1832         (mov<mode>): Handle new address spaces.
1833         (movmemhi): Rewrite using avr_emit_movmemhi.
1834         (MOVMEM_r_d): New mode attribute.
1835         (movmem_<mode>, movmem_qi_elpm): New insns.
1836         (setmemhi, *clrmemqi, *clrmemhi, strlenhi, *strlenhi): Unquote
1837         C-code.  Use label instead of hard-coded instrunction lengths.
1838
1839 2011-11-18  Martin Jambor  <mjambor@suse.cz>
1840
1841         PR tree-optimization/50605
1842         * gimple.c (is_gimple_ip_invariant_address): Also handle MEM_REFs
1843         of IPA invariant decls.
1844
1845 2011-11-18  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
1846
1847         * tree-outof-ssa.c (insert_back_edge_copies):  Add call to
1848         mark_dfs_back_edges.
1849
1850 2011-11-18  Iain Sandoe  <iains@gcc.gnu.org>
1851
1852         PR target/49992
1853         * configure.ac: Remove ranlib special-casing for Darwin.
1854         * configure: Regenerate.
1855
1856 2011-11-18  Uros Bizjak  <ubizjak@gmail.com>
1857
1858         PR tree-optimization/51118
1859         * fold-const.c (fold_checksum_tree): Check for TS_TYPED structure
1860         before using TREE_TYPE accessor on expr.
1861
1862 2011-11-17  Jan Hubicka  <jh@suse.cz>
1863
1864         PR bootstrap/51134
1865         * i386.c (atom_cost): Fix 32bit memset description.
1866         (expand_set_or_movmem_via_loop_with_iter): Output proper bounds check
1867         for epilogue loops.
1868         (expand_movmem_epilogue): Handle epilogues up to size 15 w/o producing
1869         byte loop.
1870         (decide_alg): sse_loop is not useable wthen SSE2 is disabled;
1871         when not optimizing always use rep movsb or lincall; do not produce
1872         word sized loops when optimizing memset for size (to avoid need
1873         for large constants).
1874         (ix86_expand_movmem): Get into sync with ix86_expand_setmem;
1875         choose unroll factors better; always do 128bit moves when producing
1876         SSE loops; do not produce loopy epilogue when size is too small.
1877         (promote_duplicated_reg_to_size): Do not look into desired alignments
1878         when doing vector expansion.
1879         (ix86_expand_setmem): Track better when promoted value is available;
1880         choose unroll factors more sanely. Output loopy epilogue only
1881         when needed.
1882
1883 2011-11-17  Steve Ellcey  <sje@cup.hp.com>
1884
1885         PR middle-end/51144
1886         * output.h (fprint_w): Remove.
1887         * final.c (fprint_w): Remove.
1888         (output_addr_const): Change fprint_w back to fprintf.
1889
1890 2011-11-17  Andrew Pinski  <apinski@cavium.com>
1891
1892         * config/host-linux.c (TRY_EMPTY_VM_SPACE): Define for MIPS.
1893
1894 2011-11-17  Andrew MacLeod  <amacleod@redhat.com>
1895
1896         * builtins.c (expand_builtin): Remove 4th parameter representing
1897         weak/strong mode when __atomic_compare_exchange becomes a library call.
1898
1899 2011-11-17  Richard Henderson  <rth@redhat.com>
1900
1901         * config/rs6000/rs6000.c (rs6000_expand_atomic_compare_and_swap): Get
1902         new pseudo for target after convert_modes.
1903         (rs6000_expand_atomic_exchange, rs6000_expand_atomic_op): Likewise.
1904
1905 2011-11-17  Richard Henderson  <rth@redhat.com>
1906
1907         * config/rs6000/rs6000.c (rs6000_expand_atomic_compare_and_swap): Get
1908         new pseudo for target after convert_modes.
1909         (rs6000_expand_atomic_exchange, rs6000_expand_atomic_op): Likewise.
1910
1911 2011-11-17  Richard Henderson  <rth@redhat.com>
1912
1913         * builtins.c (expand_builtin_mem_thread_fence): Remove.
1914         (expand_builtin_mem_signal_fence): Remove.
1915         (expand_builtin_atomic_thread_fence): Use expand_mem_thread_fence.
1916         (expand_builtin_sync_synchronize): Likewise.
1917         (expand_builtin_atomic_signal_fence): Use expand_mem_signal_fence.
1918         * optabs.c (expand_asm_memory_barrier): Split out from
1919         expand_builtin_mem_signal_fence.
1920         (expand_mem_thread_fence): New, a combination of code from
1921         expand_builtin_mem_thread_fence and expand_builtin_sync_synchronize.
1922         (expand_mem_signal_fence): Moved and renamed from
1923         expand_builtin_mem_signal_fence.
1924         (expand_atomic_exchange): Use expand_mem_thread_fence.
1925         (expand_atomic_load, expand_atomic_store): Likewise.
1926         * expr.h, optabs.h: Update decls.
1927
1928 2011-11-17  Bin Cheng  <bin.cheng@arm.com>
1929
1930         PR rtl-optimization/50663
1931         * cprop.c (implicit_set_indexes): New global variable.
1932         (insert_set_in_table): Add additional parameter and record implicit
1933         set information.
1934         (hash_scan_set): Add additional parameter and pass it to above.
1935         (hash_scan_insn): Pass false to hash_scan_set.
1936         (compute_hash_table_work): Pass true to hash_scan_set.
1937         (compute_cprop_data): Add implicit set to AVIN of block which the
1938         implicit set is recorded for.
1939         (one_cprop_pass): Handle implicit_set_indexes array.
1940
1941 2011-11-17  Michael Matz  <matz@suse.de>
1942
1943         PR middle-end/50644
1944         PR middle-end/50741
1945         * tree-ssa-live.c (mark_all_vars_used_1): Recurse only for decls of
1946         current function.
1947         (remove_unused_locals): Ditto.
1948
1949 2011-11-16  Richard Henderson  <rth@redhat.com>
1950
1951         * config/alpha/alpha.c (alpha_split_compare_and_swap_12): Copy
1952         ALIAS_SET_MEMORY_BARRIER when creating a new memory.
1953         (alpha_split_atomic_exchange_12): Likewise.
1954         * config/rs6000/rs6000.c (rs6000_adjust_atomic_subword): Likewise.
1955
1956 2011-11-16  Joseph Myers  <joseph@codesourcery.com>
1957
1958         * config/i386/i386elf.h (PREFERRED_DEBUGGING_TYPE): Remove.
1959
1960 2011-11-16  David Edelsohn  <dje.gcc@gmail.com>
1961
1962         * config/rs6000/rs6000.c (rs6000_xcoff_section_type_flags):
1963         Default to minimum alignment if decl is NULL.
1964
1965 2011-11-16  Uros Bizjak  <ubizjak@gmail.com>
1966
1967         * config/i386/sse.md (round<mode>2_vec_pack_sfix): Optimize V2DFmode
1968         sequence for AVX.
1969         (<sse4_1>_round<ssemodesuffix>_vec_pack_sfix<avxsizesuffix>): Ditto.
1970
1971 2011-11-16  Venkataramanan Kumar  <venkataramanan.kumar@amd.com>
1972
1973         * doc/invoke.texi: Document AMD bdver1 and btver1.
1974
1975 2011-11-16  Richard Earnshaw  <rearnsha@arm.com>
1976             Bernd Schmidt <bernds@coudesourcery.com>
1977             Sebastian Huber <sebastian.huber@embedded-brains.de>
1978
1979         PR target/49641
1980         * config/arm/arm.c (store_multiple_sequence): Avoid cases where
1981         the base reg is stored iff compiling for Thumb1.
1982
1983 2011-11-16  Razya Ladelsky  <razya@il.ibm.com>
1984
1985         PR tree-optimization/49960
1986         * tree-data-ref.c (initialize_data_dependence_relation): Add
1987         initializations.
1988         Remove call to compute_self_dependence.
1989         (compute_affine_dependence): Remove the !DDR_SELF_REFERENCE condition.
1990         (compute_self_dependence): Remove old code. Add call to
1991         compute_affine_dependence.
1992         (compute_all_dependences): Remove call to compute_self_dependence.
1993         Add call to compute_affine_dependence.
1994
1995 2011-11-16  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
1996
1997         PR middle-end/50325
1998         * expmed.c (store_bit_field_1): Use extract_bit_field on big
1999         endian targets if the source cannot be exactly covered by word
2000         mode chunks.
2001
2002 2011-11-15  Joseph Myers  <joseph@codesourcery.com>
2003
2004         * config/i386/i386elf.h (ASM_OUTPUT_ASCII): Change STRING_LIMIT to
2005         ELF_STRING_LIMIT.
2006
2007 2011-11-15  Richard Henderson  <rth@redhat.com>
2008
2009         * config/alpha/alpha.c (alpha_pre_atomic_barrier): New.
2010         (alpha_post_atomic_barrier): New.
2011         (alpha_split_atomic_op): New memmodel argument; honor it.
2012         (alpha_split_compare_and_swap): Take array of operands.  Honor
2013         memmodel; always set bool output
2014         (alpha_expand_compare_and_swap_12): Similarly.
2015         (alpha_split_compare_and_swap_12): Similarly.
2016         (alpha_split_atomic_exchange): Similarly.  Rename from
2017         alpha_split_lock_test_and_set.
2018         (alpha_expand_atomic_exchange_12): Similarly.  Rename from
2019         alpha_expand_lock_test_and_set_12.
2020         (alpha_split_atomic_exchange_12): Similarly.  Rename from
2021         alpha_split_lock_test_and_set_12.
2022         * config/alpha/alpha-protos.h: Update.
2023         * config/alpha/alpha.md (UNSPECV_CMPXCHG): New.
2024         * config/alpha/constraints.md ("w"): New.
2025         * config/alpha/predicates.md (mem_noofs_operand): New.
2026         * config/alpha/sync.md (atomic_compare_and_swap<mode>): Rename from
2027         sync_compare_and_swap<mode>; add the new parameters.
2028         (atomic_exchange<mode>): Update from sync_test_and_set<mode>.
2029         (atomic_fetch_<op><mode>): Update from sync_old_<op><mode>.
2030         (atomic_<op>_fetch<mode>): Update from sync_new_<op><mode>.
2031         (atomic_<op><mode>): Update from sync_<op><mode>.
2032
2033 2011-11-16  Tom de Vries  <tom@codesourcery.com>
2034
2035         * tree-ssa-tail-merge.c (replace_block_by): Add frequency of bb2 to bb1.
2036
2037 2011-11-16  Alan Modra  <amodra@gmail.com>
2038
2039         PR rtl-optimization/51051
2040         PR bootstrap/51086
2041         * function.c (thread_prologue_and_epilogue_insns): Guard
2042         emitting return with single_succ_p test.
2043
2044 2011-11-15  Joern Rennecke  <joern.rennecke@embecosm.com>
2045
2046         * config/epiphany/epiphany.md (mov<mode>cc): Fix code to
2047         get mode from CMP_OP1 if CMP_OP0 is VOIDmode.
2048
2049 2011-11-15  Uros Bizjak  <ubizjak@gmail.com>
2050
2051         * config/i386/sse.md (vec_pack_trunc_v2df): Optimize sequence for AVX.
2052         (vec_pack_sfix_trunc_v2df): Ditto.
2053         (vec_pack_sfix_v2df): Ditto.
2054         (vec_pack_sfix_trunc_v4df): Generate fix_truncv4dfv4si2 and
2055         avx_vec_concatv8si patterns.
2056         (vec_pack_sfix_v4df): Generate avx_cvtpd2dq256 and
2057         avx_vec_concatv8si patterns.
2058
2059 2011-11-15  Torvald Riegel  <triegel@redhat.com>
2060
2061         * c-parser.c (c_parser_transaction_expression): Require parentheses
2062         when parsing transaction expressions.
2063
2064 2011-11-15  Tristan Gingold  <gingold@adacore.com>
2065
2066         * incpath.c (get_added_cpp_dirs): New function.
2067         * incpath.h (get_added_cpp_dirs): Declare.
2068         * config/vms/vms-c.c (vms_c_register_includes): New function.
2069         (vms_std_modules): New variable.
2070         * config/vms/vms.h (TARGET_EXTRA_INCLUDES): Define.
2071         (vms_c_register_includes): Declare.
2072
2073 2011-11-15  Tristan Gingold  <gingold@adacore.com>
2074
2075         * c-family/c-pragma.h (pragma_extern_prefix): Declare.
2076         * c-family/c-pragma.c (pragma_extern_prefix): Make it public.
2077         * config/vms/vms-c.c (saved_extern_prefix): New variable.
2078         (vms_pragma_extern_prefix): New function.
2079         (vms_c_register_pragma): Register vms_pragma_extern_prefix.
2080
2081 2011-11-15  Georg-Johann Lay  <avr@gjlay.de>
2082
2083         PR target/49868
2084         * config/avr/avr.h (ADDR_SPACE_PGM): New address spaces.
2085         (REGISTER_TARGET_PRAGMAS): New define.
2086         * config/avr/avr-protos.h (avr_mem_pgm_p): New.
2087         (avr_load_libgcc_p): New.
2088         (avr_register_target_pragmas): New.
2089         (asm_output_external_libcall): Remove.
2090         (avr_log_t): Add field "progmem".  Order alphabetically.
2091         * config/avr/avr-log.c (avr_log_set_avr_log): Set avr_log.progmem.
2092         * config/avr/avr-c.c (langhooks.h): New include.
2093         (avr_register_target_pragmas): New function. Register address
2094         space __pgm.
2095         (avr_cpu_cpp_builtins): Add built-in define __PGM.
2096
2097         * config/avr/avr.c: Include "c-family/c-common.h".
2098         (TARGET_LEGITIMATE_ADDRESS_P): Remove define.
2099         (TARGET_LEGITIMIZE_ADDRESS): Remove define.
2100         (TARGET_ADDR_SPACE_SUBSET_P): Define to...
2101         (avr_addr_space_subset_p): ...this new static function.
2102         (TARGET_ADDR_SPACE_CONVERT): Define to...
2103         (avr_addr_space_convert): ...this new static function.
2104         (TARGET_ADDR_SPACE_ADDRESS_MODE): Define to...
2105         (avr_addr_space_address_mode): ...this new static function.
2106         (TARGET_ADDR_SPACE_POINTER_MODE): Define to...
2107         (avr_addr_space_pointer_mode): ...this new static function.
2108         (TARGET_ADDR_SPACE_LEGITIMATE_ADDRESS_P): Define to...
2109         (avr_addr_space_legitimate_address_p): ...this new static function.
2110         (TARGET_ADDR_SPACE_LEGITIMIZE_ADDRESS): Define to...
2111         (avr_addr_space_legitimize_address): ...this new static function.
2112         (avr_mode_code_base_reg_class): Handle address spaces.
2113         (avr_regno_mode_code_ok_for_base_p): Ditto.
2114         (lpm_addr_reg_rtx, lpm_reg_rtx, all_regs_rtx): New static variables.
2115         (avr_option_override): Initialize them.
2116         (output_reload_in_const): Use all_regs_rtx. Fix signedness of loop
2117         variables.
2118         (avr_pgm_segment): New static function.
2119         (avr_decl_pgm_p, avr_mem_pgm_p): New static functions.
2120         (avr_out_lpm, avr_out_lpm_no_lpmx): New static functions.
2121         (output_movqi, output_movhi, output_movsisf, avr_out_movpsi): Call
2122         avr_out_lpm to handle loads from progmem.
2123         (avr_load_libgcc_p): New static function.
2124         (avr_progmem_p): Test if decl is in flash.
2125         (avr_pgm_pointer_const_p): New static function.
2126         (avr_nonconst_pointer_addrspace): New static function.
2127         (avr_pgm_check_var_decl): New static function.
2128         (avr_insert_attributes): Use it.  Change error message to report
2129         cause (progmem or address space) when code wants to write to flash.
2130         (avr_section_type_flags): Unset section flag SECTION_BSS for
2131         data in progmem.
2132
2133         * config/avr/predicates.md (nop_general_operand): New predicate.
2134         (nox_general_operand): New predicate.
2135         * config/avr/avr.md (LPM_REGNO): New define_constant.
2136         (load<mode>_libgcc): New expander.
2137         (*load.<mode>.libgcc): New insn.
2138         (mov<mode>): Handle loads from non-generic AS.
2139         (movmemhi): Ditto.  Propagate address space information to newly
2140         created MEM.
2141         (movqi_insn, *movhi, *movpsi, *movsi, *movsf): Change predicate #1
2142         to nox_general_operand.
2143         (ashrqi3, ashrhi3, ashrsi3): Change predicate #1 to
2144         nop_general_operand.
2145         (ashlqi3, *ashlqi3, ashlhi3, ashlsi3): Ditto.
2146         (lshrqi3, *lshrqi3, lshrhi3, lshrsi3): Ditto.
2147         (split-lpmx): New split.
2148         (*ashlhi3_const, *ashlsi3_const, *ashrhi3_const, *ashrsi3_const,
2149         *lshrhi3_const, *lshrsi3_const): Indent, unquote C.
2150
2151 2011-11-15  Maxim Kuvyrkov  <maxim@codesourcery.com>
2152
2153         * ipa-cp.c (ipa_value_from_jfunc): Make global.
2154         (ipa_cst_from_jfunc): Remove, use ipa_value_from_jfunc instead.
2155         (get_indirect_edge_target): Rename, make global.
2156         (devirtualization_time_bonus, estimate_local_effects,)
2157         (ipcp_discover_new_direct_edges): Update.
2158         * ipa-inline-analysis.c (evaluate_conditions_for_edge):
2159         Generalize to also handle types.  Rename to ...
2160         (evaluate_properties_for_edge): Use instead of
2161         evaluate_conditions_for_edge.
2162         (estimate_edge_devirt_benefit): New function.
2163         (estimate_calls_size_and_time): Use it.
2164         (estimate_node_size_and_time, estimate_ipcp_clone_size_and_time,)
2165         (inline_merge_summary): Update.
2166         (do_estimate_edge_time, do_estimate_edge_growth): Update.  Calculate
2167         parameter information at the call site and pass it on to subroutines.
2168         * tree-inline.c (estimate_num_insns): Distinguish between direct and
2169         indirect calls.
2170         (init_inline_once): Set size and time costs or indirect calls.
2171         * tree-inline.h (eni_weights): Add indirect_call_cost.
2172
2173 2011-11-15  Tom de Vries  <tom@codesourcery.com>
2174
2175         PR tree-optimization/51005
2176         * tree-ssa-tail-merge.c (delete_basic_block_same_succ): Rename to
2177         mark_basic_block_deleted.
2178         (update_worklist): Inline purge_bbs.
2179         (purge_bbs, unlink_virtual_phi, update_vuses, vop_at_entry)
2180         (delete_block_update_dominator_info): Remove.
2181         (replace_block_by): Remove update_vops parameter.  Partially evaluate
2182         for update_vops == false.
2183         (apply_clusters): Remove update_vops parameter.  Remove update_vops
2184         argument in replace_block_by call.
2185         (update_debug_stmts): Remove MAY_HAVE_DEBUG_STMTS test.
2186         (tail_merge_optimize): Remove update_vops argument to apply_clusters.
2187         Remove call to purge_bbs.  Add calls to calculate_dominance_info and
2188         free_dominance_info.  Add MAY_HAVE_DEBUG_STMTS  before calling
2189         update_debug_stmts.  Mark vop var for renaming, if necessary.
2190
2191 2011-11-15  Bernd Schmidt  <bernds@codesourcery.com>
2192
2193         PR rtl-optimization/51051
2194         * cfgrtl.c (cfg_layout_can_merge_blocks_p): Return FALSE if the
2195         move would cause fallthrough into the exit block.
2196
2197 2011-11-14  Richard Henderson  <rth@redhat.com>
2198
2199         * config/rs6000/rs6000.c (emit_load_locked): Assert the mode is
2200         handled.
2201         (emit_store_conditional): Likewise.
2202         (rs6000_pre_atomic_barrier, rs6000_post_atomic_barrier): New.
2203         (rs6000_adjust_atomic_subword): New.
2204         (rs6000_mask_atomic_subword, rs6000_finish_atomic_subword): New.
2205         (rs6000_expand_atomic_op): Rename from rs6000_emit_sync; rewrite
2206         for pre-reload expansion.
2207         (rs6000_split_compare_and_swap, rs6000_split_compare_and_swapqhi,
2208         rs6000_expand_compare_and_swapqhi): Merge into ...
2209         (rs6000_expand_atomic_compare_and_swap): ... here.  New function.
2210         rs6000_split_lock_test_and_set; expand immediately.  Handle
2211         QImode and HImode.
2212         * config/rs6000/rs6000.md (UNSPEC_LWSYNC): Move and rename
2213         from UNSPECV_LWSYNC.
2214         * config/rs6000/sync.md (fetchopsi_constr, fetchopdi_constr): Remove.
2215         (mem_thread_fence): New.
2216         (hwsync): Rename from memory_barrier.
2217         (*hwsync): Rename from *sync_internal.
2218         (lwsync, *lwsync): Mirror hwsync implementation.
2219         (isync): Don't reference memory.
2220         (loadsync): New.
2221         (atomic_load<INT>, atomic_store<INT>): New.
2222         (ATOMIC): New mode iterator.
2223         (load_locked<ATOMIC>): Rename from load_locked_<GPR>.
2224         (store_conditional<ATOMIC>): Rename from store_conditional_<GPR>.
2225         (sync_compare_and_swap<GPR>): Remove.
2226         (sync_compare_and_swaphi, sync_compare_and_swapqi): Remove.
2227         (sync_compare_and_swapqhi_internal): Remove.
2228         (sync_lock_test_and_set<GPR>): Remove.
2229         (sync_<FETCHOP><INT1>): Remove.
2230         (*sync_<FETCHOP>si_internal, *sync_<FETCHOP>di_internal): Remove.
2231         (sync_nand<INT1>, *sync_nand<GPR>_internal): Remove.
2232         (sync_old_<FETCHOP><GPR>): Remove.
2233         (*sync_old_<FETCHOP>si_internal): Remove.
2234         (*sync_old_<FETCHOP>di_internal): Remove.
2235         (sync_old_nand<INT1>): Remove.
2236         (*sync_old_nand<GPR>_internal): Remove.
2237         (sync_new_<FETCHOP><GPR>): Remove.
2238         (*sync_new_<FETCHOP>si_internal): Remove.
2239         (*sync_new_<FETCHOP>di_internal): Remove.
2240         (sync_new_nand<INT1>): Remove.
2241         (*sync_new_nand<GPR>_internal): Remove.
2242         (*atomic_andsi, *atomic_anddi): Remove.
2243         (*sync_addshort_internal, *sync_subshort_internal): Remove.
2244         (*sync_andsi_internal, *sync_boolsi_internal): Remove.
2245         (*sync_boolcshort_internal): Remove.
2246         (sync_lock_release<INT1>): Remove.
2247         (atomic_compare_and_swap<INT1>): New.
2248         (atomic_exchange<INT1>): New.
2249         (atomic_<FETCHOP><INT1>, atomic_nand<INT1>): New.
2250         (atomic_fetch_<FETCHOP><INT1>, atomic_fetch_nand<INT1>): New.
2251         (atomic_<FETCHOP>_fetch<INT1>, atomic_nand_fetch<INT1>): New.
2252
2253 2011-11-14  Uros Bizjak  <ubizjak@gmail.com>
2254
2255         * config/i386/sse.md (round<mode>2): Use register_operand for
2256         operand 1 predicate.
2257         (round<mode>2_sfix): Ditto.
2258         (round<mode>2_vec_pack_sfix): Ditto for operand 1 and operand 2.
2259
2260 2011-11-14  Nathan Sidwell  <nathan@acm.org>
2261
2262         * gcov.c (canonicalize_name): Protect use of S_ISLNK.
2263
2264 2011-11-14  Jan Hubicka  <jh@suse.cz>
2265
2266         PR target/51126
2267         * config/i386/i386.c (core cost model): Correct pasto.
2268
2269 2011-11-14  Uros Bizjak  <ubizjak@gmail.com>
2270
2271         * config/i386/sse.md (round<mode>2_sfix): New expander.
2272         (round<mode>2_vec_pack_sfix): Ditto.
2273         (<sse4_1>_round<ssemodesuffix>_sfix<avxsizesuffix>): Ditto.
2274         (<sse4_1>_round<ssemodesuffix>_vec_pack_sfix<avxsizesuffix>): Ditto.
2275         * config/i386/builtin-types.def (V4SI_FTYPE_V4SF_ROUND,
2276         V8SI_FTYPE_V8SF_ROUND, V4SI_FTYPE_V2DF_V2DF_ROUND,
2277         V8SI_FTYPE_V4DF_V4DF_ROUND): New builtin types.
2278         * config/i386/i386.c (ix86_builtins): Add
2279         IX86_BUILTIN_{FLOORPD,CEILPD,ROUNDPD_AZ}_VEC_PACK_SFIX{,256} and
2280         IX86_BUILTIN_{FLOORPS,CEILPS,ROUNDPS_AZ}_SFIX{,256} defines.
2281         (bdesc_args): Add __builtin_ia32_{floorpd,ceilpd}_vec_pack_sfix{,256},
2282         __builtin_ia32_roundpd_az_vec_pack_sfix{,256},
2283         __builtin_ia32_{floorps,ceilps}_sfix{,256}and
2284         __builtin_ia32_roundps_az_sfix{,256} descriptions.
2285         (ix86_expand_sse_round_vec_pack_sfix): New.
2286         (ix86_expand_args_builtin): Handle V4SI_FTYPE_V4SF_ROUND,
2287         V8SI_FTYPE_V8SF_ROUND, V4SI_FTYPE_V2DF_V2DF_ROUND and
2288         V8SI_FTYPE_V4DF_V4DF_ROUND types.  Check last argument of
2289         CODE_FOR_sse4_1_roundpd_vec_pack_sfix, CODE_FOR_sse4_1_roundps_sfix,
2290         CODE_FOR_avx_roundpd_vec_pack_sfix256 and CODE_FOR_avx_roundps_sfix256.
2291         (ix86_builtin_vectorized_function): Handle
2292         BUILT_IN_{I,L,LL}FLOOR{,F}, BUILT_IN_{I,L,LL}CEIL{,F} and
2293         BUILT_IN_{I,L,LL}ROUND{,F}
2294
2295 2011-11-14  Jan Hubicka  <jh@suse.cz>
2296
2297         PR middle-end/50598
2298         * cgraph.h (varpool_externally_visible_p): Declare.
2299         (varpool_add_new_variable): Declare.
2300         * tree-emultls.c (get_emutls_init_templ_addr,
2301         new_emutls_decl): Use varpool_add_new_variable.
2302         * ipa.c (varpool_externally_visible_p): Export.
2303         * varpool.c (varpool_add_new_variable): New function.
2304
2305 2011-11-14  Michael Zolotukhin  <michael.v.zolotukhin@gmail.com>
2306             Jan Hubicka  <jh@suse.cz>
2307
2308         * config/i386/i386.h (processor_costs): Add second dimension to
2309         stringop_algs array.
2310         * config/i386/i386.c (cost models): Initialize second dimension of
2311         stringop_algs arrays.
2312         (core_cost): New costs based on generic64 costs with updated stringop
2313         values.
2314         (promote_duplicated_reg): Add support for vector modes, add
2315         declaration.
2316         (promote_duplicated_reg_to_size): Likewise.
2317         (processor_target): Set core costs for core variants.
2318         (expand_set_or_movmem_via_loop_with_iter): New function.
2319         (expand_set_or_movmem_via_loop): Enable reuse of the same iters in
2320         different loops, produced by this function.
2321         (emit_strset): New function.
2322         (expand_movmem_epilogue): Add epilogue generation for bigger sizes,
2323         use SSE-moves where possible.
2324         (expand_setmem_epilogue): Likewise.
2325         (expand_movmem_prologue): Likewise for prologue.
2326         (expand_setmem_prologue): Likewise.
2327         (expand_constant_movmem_prologue): Likewise.
2328         (expand_constant_setmem_prologue): Likewise.
2329         (decide_alg): Add new argument align_unknown.  Fix algorithm of
2330         strategy selection if TARGET_INLINE_ALL_STRINGOPS is set; Skip sse_loop
2331         (decide_alignment): Update desired alignment according to chosen move
2332         mode.
2333         (ix86_expand_movmem): Change unrolled_loop strategy to use SSE-moves.
2334         (ix86_expand_setmem): Likewise.
2335         (ix86_slow_unaligned_access): Implementation of new hook
2336         slow_unaligned_access.
2337         * config/i386/i386.md (strset): Enable half-SSE moves.
2338         * config/i386/sse.md (vec_dupv4si): Add expand for vec_dupv4si.
2339         (vec_dupv2di): Add expand for vec_dupv2di.
2340
2341 2011-11-14  Dimitrios Apostolou  <jimis@gmx.net>
2342
2343         PR bootstrap/51094
2344         PR middle-end/51116
2345         * config/elfos.h (TARGET_ASM_INTERNAL_LABEL): Remove.
2346         * varasm.c (default_elf_internal_label): Remove.
2347
2348 2011-11-14  Kai Tietz  <ktietz@redhat.com>
2349
2350         * gcov.c (generate_results): Add missing semicolon and correct indent.
2351
2352 2011-11-14  Ira Rosen  <ira.rosen@linaro.org>
2353
2354         PR bootstrap/51112
2355         * tree-vect-stmts.c (vectorizable_condition): Initialize comp_vectype.
2356
2357 2011-11-14  Mingjie Xing  <mingjie.xing@gmail.com>
2358
2359         * doc/invoke.texi (Wunused-result): Change @pxref{Variable Attributes}
2360         to @pxref{Function Attributes}.
2361
2362 2011-11-13  Oleg Endo  <oleg.endo@t-online.de>
2363
2364         PR target/50694
2365         * config/sh/sh.h (IS_LITTLE_ENDIAN_OPTION, UNSUPPORTED_SH2A):
2366         New macros.
2367         (DRIVER_SELF_SPECS): Use new macros to filter out unsupported options
2368         taking the default configuration into account.
2369
2370 2011-11-13  Jonathan Wakely  <jwakely.gcc@gmail.com>
2371
2372         * doc/install.texi (Specific): Fix anchor for
2373         x86_64-*-solaris2.1[0-9]*.
2374
2375 2011-11-13  Nathan Sidwell  <nathan@acm.org>
2376
2377         * gcov.c (source_prefix, source_length): New globals.
2378         (flag_relative_only): Likewise.
2379         (print_usage, options, process_args): Update.
2380         (generate_results): Use coverage.name, check
2381         flag_relative_only. Adjust messages.
2382         (find_source): Check source_prefix.
2383         (output_lines): Use coverage.name, adjust messages.
2384         * doc/gcov.texi (Invoking Gcov): Document new options.
2385
2386 2011-11-12  Jason Merrill  <jason@redhat.com>
2387
2388         PR c++/51060
2389         * gimplify.c (gimplify_target_expr): Add a clobber to the cleanup.
2390         (gimplify_modify_expr): Don't try to simplify it.
2391
2392 2011-11-12  Dimitrios Apostolou  <jimis@gmx.net>
2393
2394         PR bootstrap/51094
2395         * config/elfos.h (STRING_ASM_OP): Define.
2396         * varasm.c (default_elf_asm_output_limited_string): Use it.
2397
2398         PR bootstrap/51094
2399         * gcc/configure.ac: Check for stpcpy declaration.
2400         * system.h: Declare it if not.
2401         * config.in, configure: Regenerate.
2402
2403 2011-11-12  Richard Henderson  <rth@redhat.com>
2404
2405         * config/rs6000/rs6000.md (fix_trunc<SFDF>si2_stfiwx): Use
2406         nonimmediate_operand for the destination.
2407         (fixuns_trunc<SFDF>si2_stfiwx): Likewise.
2408
2409         * builtins.c (expand_builtin_compare_and_swap): If target is const0,
2410         don't pass the target to expand_atomic_compare_and_swap.
2411         (expand_builtin_atomic_compare_exchange): Likewise.
2412
2413         * config/sh/linux.h (TARGET_INIT_LIBFUNCS): New.
2414         * config/sh/sh.c (sh_init_sync_libfuncs): New.
2415
2416         * config/pa/pa-linux.h (TARGET_SYNC_LIBCALL): New.
2417         * config/pa/pa.h (TARGET_SYNC_LIBCALL): New default.
2418         * config/pa/pa.c (pa_init_libfuncs): Use init_sync_libfuncs.
2419
2420 2011-11-12  Iain Sandoe  <iains@gcc.gnu.org>
2421
2422         PR target/45233
2423         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
2424         Only expand a symbol ref. into an access when the entity is defined
2425         in the TU.
2426
2427 2011-11-12  Jan Hubicka  <jh@suse.cz>
2428
2429         PR bootstrap/50822
2430         * cgraphunit.c (output_weakrefs): Output really only weakrefs.
2431
2432 2011-11-12  Nathan Sidwell  <nathan@acm.org>
2433
2434         * gcov.c (struct name_map): New.
2435         (names, n_names, a_names): New global vars.
2436         (print_usage): Adjust usage.
2437         (generate_results): Canonicalize main file name.
2438         (release_structures): Adjust.
2439         (name_search, name_sort): New callbacks.
2440         (find_source): Look for and create a canonical name.
2441         (canonicalize_name): New.
2442         (make_gcov_file_name): Reimplement and fix mangling.
2443         (mangle_name): New.
2444         * doc/gcov.texi: Update documentation about path preservation.
2445
2446 2011-11-11  David S. Miller  <davem@davemloft.net>
2447
2448         * config/sparc/linux.h (ASM_GENERATE_INTERNAL_LABEL): Delete.
2449         * config/sparc/linux64.h (ASM_GENERATE_INTERNAL_LABEL): Delete.
2450
2451 2011-11-11  Jakub Jelinek  <jakub@redhat.com>
2452
2453         * config/i386/i386-protos.h (ix86_maybe_emit_epilogue_vzeroupper):
2454         New prototype.
2455         * config/i386/i386.c (ix86_maybe_emit_epilogue_vzeroupper): New
2456         function.
2457         (ix86_expand_epilogue): Use it.
2458         * config/i386/i386.md (return, simple_return): Call it in the
2459         expanders.
2460
2461         PR tree-optimization/51091
2462         * tree-stdarg.c (execute_optimize_stdarg): Ignore TREE_CLOBBER_P
2463         rhs also in the va_list_simple_ptr case.
2464
2465         PR tree-optimization/51058
2466         * tree-vect-slp.c (vect_remove_slp_scalar_calls): New function.
2467         (vect_schedule_slp): Call it.
2468         * tree-vect-stmts.c (vectorizable_call): If slp_node != NULL,
2469         don't replace scalar calls with setting of their lhs to zero here.
2470
2471         PR tree-optimization/51074
2472         * fold-const.c (vec_cst_ctor_to_array, fold_vec_perm): New functions.
2473         (fold_binary_loc): Handle VEC_EXTRACT_EVEN_EXPR,
2474         VEC_EXTRACT_ODD_EXPR, VEC_INTERLEAVE_HIGH_EXPR and
2475         VEC_INTERLEAVE_LOW_EXPR with VECTOR_CST or CONSTRUCTOR operands.
2476         (fold_ternary_loc): Handle VEC_PERM_EXPR with VECTOR_CST or
2477         CONSTRUCTOR operands.
2478         * tree-ssa-propagate.c (valid_gimple_rhs_p): Handle ternary
2479         expressions.
2480         * tree-vect-generic.c (lower_vec_perm): Mask sel_int elements
2481         to 0 .. 2 * elements - 1.
2482
2483 2011-11-11  Richard Henderson  <rth@redhat.com>
2484
2485         * gimple-pretty-print.c (dump_gimple_omp_atomic_load): Dump needed.
2486         (dump_gimple_omp_atomic_store): Likewise.
2487         * optabs.c (can_atomic_exchange_p): New.
2488         * optabs.h (can_atomic_exchange_p): Declare.
2489         * omp-low.c (expand_omp_atomic_load): Implement.
2490         (expand_omp_atomic_store): Likewise.
2491         (expand_omp_atomic): Update for new arguments to load/store.
2492
2493 2011-11-11  Eric Botcazou  <ebotcazou@adacore.com>
2494
2495         * cprop.c: Adjust outdated comments throughout.
2496         (hash_scan_set): Rename PAT parameter into SET.
2497         (cprop_pavloc): Rename into...
2498         (cprop_avloc): ...this.
2499         (cprop_absaltered): Rename into...
2500         (cprop_kill): ...this.
2501         (alloc_cprop_mem): Adjust for above renaming.
2502         (free_cprop_mem): Likewise.
2503         (compute_cprop_data): Likewise.
2504         (compute_local_properties): Rename TRANSP parameter into KILL and
2505         adjust throughout.  Rework comments.
2506         (try_replace_reg): Fix long line.
2507         (cprop_jump): Likewise.
2508         (constprop_register): Fix prototype and take INSN last.
2509         (cprop_insn): Adjust calls to above function.  Fix long lines.
2510         (bypass_block): Likewise.
2511         (one_cprop_pass): Likewise.
2512
2513 2011-11-11  Uros Bizjak  <ubizjak@gmail.com>
2514
2515         * config/alpha/elf.h (ELF_ASCII_ESCAPES): Rename from ESCAPES.
2516         (ELF_STRING_LIMIT): Rename from STRING_LIMIT.
2517
2518 2011-11-11  Jason Merrill  <jason@redhat.com>
2519
2520         * varasm.c (default_elf_asm_output_limited_string): #ifdef
2521         ELF_ASCII_ESCAPES.
2522         (default_elf_asm_output_ascii): Likewise.
2523
2524 2011-11-11  Uros Bizjak  <ubizjak@gmail.com>
2525
2526         PR target/50762
2527         * config/i386/constraints.md (j): New address constraint.
2528         * config/i386/predicates.md (lea_address_operand): Redefine as
2529         special predicate.
2530         * config/i386/i386.md (*lea_3_zext): Use "j" constraint for operand 1.
2531         (*lea_4_zext): Ditto.
2532
2533 2011-11-11  David S. Miller  <davem@davemloft.net>
2534
2535         Revert
2536         2011-11-05  David S. Miller  <davem@davemloft.net>
2537
2538         * config/sparc/sparc.md (UNSPEC_SHORT_LOAD): New unspec.
2539         (zero-extend_v8qi_vis, zero_extend_v4hi_vis): New expanders.
2540         (*zero_extend_v8qi_<P:mode>_insn,
2541         *zero_extend_v4hi_<P:mode>_insn): New insns.
2542         * config/sparc/sparc.c (vector_init_move_words,
2543         vector_init_prepare_elts, sparc_expand_vector_init_vis2,
2544         sparc_expand_vector_init_vis1): New functions.
2545         (vector_init_bshuffle): Rewrite to handle more cases and make use
2546         of locs[] array prepared by vector_init_prepare_elts.
2547         (vector_init_fpmerge, vector_init_faligndata): Delete.
2548         (sparc_expand_vector_init): Rewrite using new infrastructure.
2549
2550 2011-11-11  Jakub Jelinek  <jakub@redhat.com>
2551
2552         * opts-common.c (generate_canonical_option): Free opt_text
2553         it it has been allocated here and not stored anywhere.
2554
2555         * tree-vect-slp.c (vect_free_slp_tree): Also free SLP_TREE_CHILDREN
2556         vector.
2557         (vect_create_new_slp_node): Don't allocate node before checking stmt
2558         type.
2559         (vect_free_oprnd_info): Remove FREE_DEF_STMTS argument, always
2560         free def_stmts vectors and additionally free oprnd_info.
2561         (vect_build_slp_tree): Adjust callers.  Call it even if
2562         stop_recursion.  If vect_create_new_slp_node or
2563         vect_build_slp_tree fails, properly handle freeing memory.
2564         If it succeeded, clear def_stmts in oprnd_info.
2565
2566 2011-11-11  Dimitrios Apostolou  <jimis@gmx.net>
2567
2568         * defaults.h (ASM_OUTPUT_LABEL, ASM_OUTPUT_INTERNAL_LABEL): Expand on
2569         multiple lines for readability.
2570         * output.h (fprint_whex, fprint_w, fprint_ul, sprint_ul): Declare.
2571         (ASM_OUTPUT_LABELREF): Call fputs instead of asm_fprintf.
2572         * dwarf2asm.c (dw2_assemble_integer, dw2_asm_output_data,
2573         dw2_asm_data_uleb128, dw2_asm_delta_uleb128,
2574         dw2_asm_delta_sleb128): Convert fprintf calls to the new functions.
2575         * dwarf2out.c (dwarf2out_source_line): Call fprint_ul instead of
2576         fprintf.
2577         * final.c (fprint_whex, fprint_w, fprint_ul, sprint_ul): New functions
2578         serving as fast replacements for fprintf integer to string conversions.
2579         (sprint_ul_rev): Internal helper for the above.
2580         (output_addr_const) <CONST_INT>: Don't use fprintf.
2581         * varasm.c: Fix some whitespace inconsistencies.
2582         (default_elf_asm_output_limited_string): New.
2583         (default_elf_asm_output_ascii): Likewise.
2584         (default_elf_internal_label): Likewise.
2585         * config/elfos.h (ASM_GENERATE_INTERNAL_LABEL): Use sprint_ul and
2586         stpcpy instead of sprintf.
2587         (TARGET_ASM_INTERNAL_LABEL): Define as default_elf_internal_label.
2588         (ELF_ASCII_ESCAPES, ELF_STRING_LIMIT): Rename from old ESCAPES and
2589         STRING_LIMIT macros.
2590         (ASM_OUTPUT_LIMITED_STRING, ASM_OUTPUT_ASCII): Call functions that
2591         provide the same functionality.
2592         * config/i386/i386.c (print_reg): Call fprint_ul instead of fprintf.
2593
2594 2011-11-10  Andrew MacLeod  <amacleod@redhat.com>
2595
2596         * doc/extend.texi: Document __atomic_test_and_set and __atomic_clear.
2597
2598 2011-11-10  Andrew MacLeod  <amacleod@redhat.com>
2599
2600         PR middle-end/51038
2601         * builtins.c (expand_builtin_atomic_clear): New.  Expand atomic_clear.
2602         (expand_builtin_atomic_test_and_set): New.  Expand atomic test_and_set.
2603         (expand_builtin): Add cases for test_and_set and clear.
2604         * sync-builtins.def (BUILT_IN_ATOMIC_TEST_AND_SET): New.
2605         (BUILT_IN_ATOMIC_CLEAR): New.
2606
2607 2011-11-10  Roberto Agostino Vitillo  <ravitillo@lbl.gov>
2608
2609         PR debug/50983
2610         * dwarf2out.c (set_cur_line_info_table): Restore the last is_stmt
2611         value in the current line table.
2612
2613 2011-11-10  Nathan Sidwell  <nathan@acm.org>
2614
2615         * gcov.c (struct function_info): Make src an index, not a pointer.
2616         (struct source_info): Remove index and next source fields.
2617         (fn_end): New static var.
2618         (sources_index): Remove.
2619         (sources): Now a pointer to an array, not a list.
2620         (n_sources, a_sources): New.
2621         (process_file): Adjust for changes to read_graph_file. Insert
2622         functions into source lists and check line numbers here.
2623         (generate_results): Only allocate lines for sources with
2624         contents.  Adjust for source array.
2625         (release_structures): Likewise.
2626         (find_source): Return source index, adjust for source array.
2627         (read_graph_file): Return function list.  Don't insert into source
2628         lists here.
2629         (read_count_file): Take list of functions.
2630         (solve_flow_graph): Reverse the arc lists here.
2631         (add_line_counts): Adjust for source array.
2632
2633 2011-11-10  Jakub Jelinek  <jakub@redhat.com>
2634
2635         PR middle-end/51077
2636         * tree-object-size.c (addr_object_size): Check TREE_CODE of
2637         MEM_REF's operand rather than code of the MEM_REF itself.
2638
2639 2011-11-10  Andrew MacLeod  <amacleod@redhat.com>
2640
2641         PR rtl-optimization/51040
2642         * optabs.c (expand_atomic_fetch_op): Patchup code for NAND should
2643         be AND followed by NOT.
2644         * builtins.c (expand_builtin_atomic_fetch_op): Patchup code for NAND
2645         should be AND followed by NOT.
2646
2647 2011-11-10  Jakub Jelinek  <jakub@redhat.com>
2648
2649         * vec.h (VEC_BASE): If base is at offset 0 in the structure,
2650         use &(P)->base even if P is NULL.
2651
2652         PR rtl-optimization/51023
2653         * combine.c (simplify_comparison) <case SIGN_EXTEND>: Don't use
2654         val_signbit_known_clear_p for signed comparison narrowing
2655         optimization.  Don't check for non-VOIDmode, use
2656         HWI_COMPUTABLE_MODE_P macro.
2657         <case ZERO_EXTEND>: Don't check for non-VOIDmode.
2658         Optimize even when const_op is equal to GET_MODE_MASK (mode),
2659         don't optimize if const_op is negative.
2660
2661 2011-11-10  Richard Guenther  <rguenther@suse.de>
2662
2663         PR tree-optimization/51042
2664         * tree-ssa-pre.c (phi_translate_1): Avoid recursing on
2665         self-referential expressions.  Refactor code to avoid duplication.
2666
2667 2011-11-10  Richard Guenther  <rguenther@suse.de>
2668
2669         PR tree-optimization/51070
2670         * tree-loop-distribution.c (generate_builtin): Do not replace
2671         the loop with a builtin if the partition contains statements which
2672         results are used outside of the loop.
2673         (pass_loop_distribution): Verify and collect.
2674
2675 2011-11-10  Richard Guenther  <rguenther@suse.de>
2676
2677         PR tree-optimization/51030
2678         * tree-ssa-phiopt.c (jump_function_from_stmt): New function.
2679         (value_replacement): Use it to handle trivial non-empty
2680         intermediate blocks.
2681
2682 2011-11-10  Richard Guenther  <rguenther@suse.de>
2683
2684         PR middle-end/51071
2685         * gimple.c (gimple_has_side_effects): Remove checking code
2686         that doesn't belong here.
2687
2688 2011-11-10  Ira Rosen  <ira.rosen@linaro.org>
2689
2690         PR tree-optimization/51058
2691         * tree-vect-slp.c (vect_get_constant_vectors): Handle CALL_EXPR.
2692
2693 2011-11-10  Jakub Jelinek  <jakub@redhat.com>
2694
2695         PR tree-optimization/51000
2696         * tree-vect-patterns.c (vect_recog_bool_pattern): If adding
2697         a pattern stmt for a bool store, adjust DR_STMT too.
2698         Don't handle bool conversions to single bit precision lhs.
2699         * tree-vect-stmts.c (vect_remove_stores): If next is a pattern
2700         stmt, remove its related stmt and free its stmt_vinfo.
2701         (free_stmt_vec_info): Free also pattern stmt's vinfo and
2702         pattern def stmt's vinfo.
2703         * tree-vect-loop.c (destroy_loop_vec_info): Don't try to
2704         free pattern stmt's vinfo here.
2705         (vect_transform_loop): When calling vect_remove_stores,
2706         do gsi_next first and don't call gsi_remove.  If not strided
2707         store, free stmt vinfo for gsi_stmt (si) rather than stmt.
2708
2709 2011-11-09  Jakub Jelinek  <jakub@redhat.com>
2710
2711         PR target/50911
2712         * config/i386/i386.c (expand_vec_perm_interleave2): If d->vmode is
2713         V4SImode, !TARGET_SSE2 and punpck[lh]* is needed, change dremap.vmode
2714         to V4SFmode.
2715
2716         * function.h (requires_stack_frame_p): New prototype.
2717         * function.c (requires_stack_frame_p): No longer static.
2718         * config/i386/i386.c (ix86_finalize_stack_realign_flags): If
2719         stack_realign_fp was just a conservative guess for a function
2720         which doesn't use sp/fp/argp at all, clear frame_pointer_needed
2721         and stack realignment.
2722
2723 2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>
2724
2725         PR preprocessor/51061
2726         * incpath.c (merge_include_chains): Make sure to not pass null
2727         pointers to free_path.
2728
2729 2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>
2730
2731         * doc/invoke.texi ([Option Summary, C++ Language Options]):
2732         Add -Wzero-as-null-pointer-constant.
2733
2734 2011-11-07  Matthew Gretton-Dann  <matthew.gretton-dann@arm.com>
2735
2736         * config/arm/arm-cores.def: Add -mcpu=cortex-a7.
2737         * config/arm/arm-tables.opt: Regenerate.
2738         * config/arm/arm-tune.md: Likewise.
2739         * config/arm/bpabi.h (BE8_LINK_SPEC): Add Cortex A-7.
2740         * doc/invoke.texi: Document -mcpu=cortex-a7.
2741
2742 2011-11-09  Richard Guenther  <rguenther@suse.de>
2743
2744         Revert
2745         2011-11-09  Richard Guenther  <rguenther@suse.de>
2746
2747         * tree-cfg.c (verify_gimple_call): Verify that
2748         gimple_call_cannot_inline_p is returning a conservative
2749         correct result according to gimple_check_call_matching_types.
2750
2751 2011-11-09  Richard Guenther  <rguenther@suse.de>
2752
2753         PR tree-optimization/51039
2754         * tree-cfg.c (verify_gimple_call): Verify that
2755         gimple_call_cannot_inline_p is returning a conservative
2756         correct result according to gimple_check_call_matching_types.
2757         * ipa-inline-analysis.c (estimate_function_body_sizes): Remove
2758         code dealing with un-inlinablility.
2759         * gimple-streamer-in.c (input_gimple_stmt): Update the
2760         non-inlinable flag.
2761
2762 2011-11-09  Richard Guenther  <rguenther@suse.de>
2763
2764         PR tree-optimization/51039
2765         * tree-inline.c (setup_one_parameter): Always perform a
2766         valid gimple type change.
2767         (declare_return_variable): Likewise.
2768
2769 2011-11-09  Jakub Jelinek  <jakub@redhat.com>
2770
2771         * config/rs6000/vector.md (vcondv4sfv4si, vcondv4siv4sf,
2772         vconduv4sfv4si): New patterns.
2773         * config/rs6000/rs6000.c (rs6000_emit_vector_cond_expr): Handle
2774         different dest_mode from comparison mode.
2775
2776 2011-11-09  Richard Guenther  <rguenther@suse.de>
2777
2778         * gimple-fold.c (canonicalize_constructor_val): Mark
2779         address-taken variables addressable.
2780
2781 2011-11-09  Ira Rosen  <ira.rosen@linaro.org>
2782
2783         PR tree-optimization/51015
2784         * tree-vect-loop.c (vect_determine_vectorization_factor): Expect
2785         vectype to be set for pattern def stmts.
2786
2787 2011-11-09  Alan Modra  <amodra@gmail.com>
2788
2789         * function.c (bb_active_p): Delete.
2790         (dup_block_and_redirect, active_insn_between): New functions.
2791         (convert_jumps_to_returns, emit_return_for_exit): New functions,
2792         split out from..
2793         (thread_prologue_and_epilogue_insns): ..here.  Delete
2794         shadowing variables.  Don't do prologue register clobber tests
2795         when shrink wrapping already failed.  Delete all last_bb_active
2796         code.  Instead compute tail block candidates for duplicating
2797         exit path.  Remove these from antic set.  Duplicate tails when
2798         reached from both blocks needing a prologue/epilogue and
2799         blocks not needing such.
2800         * ifcvt.c (dead_or_predicable): Test both flag_shrink_wrap and
2801         HAVE_simple_return.
2802         * bb-reorder.c (get_uncond_jump_length): Make global.
2803         * bb-reorder.h (get_uncond_jump_length): Declare.
2804         * cfgrtl.c (rtl_create_basic_block): Comment typo fix.
2805         (rtl_split_edge): Likewise.  Warning fix.
2806         (rtl_duplicate_bb): New function.
2807         (rtl_cfg_hooks): Enable can_duplicate_block_p and duplicate_block.
2808         * Makefile.in (function.o): Update dependencies.
2809
2810 2011-11-08  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
2811             Georg-Johann Lay  <avr@gjlay.de>
2812
2813         * doc/tm.texi.in (MODE_CODE_BASE_REG_CLASS): Add address space
2814         argument.
2815         (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
2816         * doc/tm.texi: Regenerate.
2817
2818         * config/cris/cris.h (MODE_CODE_BASE_REG_CLASS): Add address
2819         space argument.
2820         (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
2821         * config/bfin/bfin.h (MODE_CODE_BASE_REG_CLASS): Likewise.
2822         (REGNO_MODE_CODE_OK_FOR_BASE_P): Likewise.
2823         * config/avr/avr.h (MODE_CODE_BASE_REG_CLASS): Add address space
2824         argument.
2825         (REGNO_MODE_CODE_OK_FOR_BASE_P): Ditto.
2826         * config/avr/avr-protos.h (avr_mode_code_base_reg_class): Ditto.
2827         (avr_regno_mode_code_ok_for_base_p): Ditto.
2828         * config/avr/avr.c (avr_mode_code_base_reg_class): Ditto.
2829         (avr_regno_mode_code_ok_for_base_p): Ditto.
2830         (avr_reg_ok_for_addr_p): Pass AS down to
2831         avr_regno_mode_code_ok_for_base_p.
2832
2833         * addresses.h (base_reg_class): Add address space argument.
2834         Pass to MODE_CODE_BASE_REG_CLASS.
2835         (ok_for_base_p_1): Add address space argument.  Pass to
2836         REGNO_MODE_CODE_OK_FOR_BASE_P.
2837         (regno_ok_for_base_p): Add address space argument.  Pass to
2838         ok_for_base_p_1.
2839
2840         * regrename.c (scan_rtx_address): Add address space argument.
2841         Pass address space to regno_ok_for_base_p and base_reg_class.
2842         Update recursive calls.
2843         (scan_rtx): Pass address space to scan_rtx_address.
2844         (build_def_use): Likewise.
2845         * regcprop.c (replace_oldest_value_addr): Add address space
2846         argument.  Pass to regno_ok_for_base_p and base_reg_class.
2847         Update recursive calls.
2848         (replace_oldest_value_mem): Pass address space to
2849         replace_oldest_value_addr.
2850         (copyprop_hardreg_forward_1): Likewise.
2851
2852         * reload.c (find_reloads_address_1): Add address space argument.
2853         Pass address space to base_reg_class and regno_ok_for_base_p.
2854         Update recursive calls.
2855         (find_reloads_address): Pass address space to base_reg_class,
2856         regno_ok_for_base_p, and find_reloads_address_1.
2857         (find_reloads): Pass address space to base_reg_class.
2858         (find_reloads_subreg_address): Likewise.
2859
2860         * ira-costs.c (record_reg_classes): Update calls to base_reg_class.
2861         (ok_for_base_p_nonstrict): Add address space argument.  Pass to
2862         ok_for_base_p_1.
2863         (record_address_regs): Add address space argument.  Pass to
2864         base_reg_class and ok_for_base_p_nonstrict.  Update recursive calls.
2865         (record_operand_costs): Pass address space to record_address_regs.
2866         (scan_one_insn): Likewise.
2867
2868         * caller-save.c (init_caller_save): Update call to base_reg_class.
2869         * ira-conflicts.c (ira_build_conflicts): Likewise.
2870         * reload1.c (maybe_fix_stack_asms): Likewise.
2871
2872 2011-11-08  Michael Matz  <matz@suse.de>
2873
2874         * gengtype.c (write_field_root): Avoid out-of-scope access of newv.
2875
2876         * tree-stdarg.c (execute_optimize_stdarg): Accept clobbers.
2877
2878         * tree.h (TREE_CLOBBER_P): New macro.
2879         * gimple.h (gimple_clobber_p): New inline function.
2880         * gimplify.c (gimplify_bind_expr): Add clobbers for all variables
2881         that go out of scope and live in memory.
2882         * tree-ssa-operands.c (get_expr_operands): Transfer volatility also
2883         for constructors.
2884         * cfgexpand.c (decl_to_stack_part): New static variable.
2885         (add_stack_var): Allocate it, and remember mapping.
2886         (fini_vars_expansion): Deallocate it.
2887         (stack_var_conflict_p): Add early outs.
2888         (visit_op, visit_conflict, add_scope_conflicts_1,
2889         add_scope_conflicts): New static functions.
2890         (expand_used_vars_for_block): Don't call add_stack_var_conflict, tidy.
2891         (expand_used_vars): Add scope conflicts.
2892         (expand_gimple_stmt_1): Expand clobbers to nothing.
2893         (expand_debug_expr): Ditto.
2894
2895         * tree-pretty-print.c (dump_generic_node): Dump clobbers nicely.
2896         * tree-ssa-live.c (remove_unused_locals): Remove clobbers that
2897         refer to otherwise unused locals.
2898         * tree-sra.c (build_accesses_from_assign): Ignore clobbers.
2899         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Clobbers of
2900         SSA names aren't necessary.
2901         (propagate_necessity): Accept and ignore constructors on the rhs, tidy.
2902         * gimple.c (walk_gimple_op): Accept constructors like mem_rhs.
2903         * tree-ssa-structalias.c (find_func_aliases): Clobbers don't store
2904         any known value.
2905         * tree-ssa-sccvn.c (vn_reference_lookup_3): Ditto, in particular they
2906         don't zero-initialize something.
2907         * tree-ssa-phiopt.c (cond_if_else_store_replacement_1): Ignore
2908         clobber RHS, we don't want PHI nodes with those.
2909
2910 2011-11-08  Jakub Jelinek  <jakub@redhat.com>
2911
2912         * config/i386/i386.c (ix86_preferred_simd_mode): Even for TARGET_AVX
2913         if not TARGET_PREFER_AVX128 return 32-byte integer vectors.
2914
2915 2011-11-08  Richard Guenther  <rguenther@suse.de>
2916
2917         PR tree-optimization/51012
2918         * ipa-prop.c (update_indirect_edges_after_inlining): Fixup
2919         non-inlinable state.
2920         * cgraph.c (cgraph_make_edge_direct): Likewise.
2921
2922 2011-11-08  Eric Botcazou  <ebotcazou@adacore.com>
2923
2924         PR rtl-optimization/47698
2925         * ifcvt.c (noce_operand_ok): Move around comment.
2926
2927 2011-11-08  Richard Guenther  <rguenther@suse.de>
2928
2929         PR lto/50999
2930         * lto-opts.c (append_to_collect_gcc_options): Split out from...
2931         (lto_write_options): ... here.  Prepend frontend specific flags.
2932
2933 2011-11-08  Jakub Jelinek  <jakub@redhat.com>
2934
2935         * config/i386/sse.md (*avx_vperm2f128<mode>3_nozero): Emit mask
2936         0x12 and 0x20 as vinsert[fi]128 instead of vperm2[fi]128.
2937
2938         * tree-vect-stmts.c (vectorizable_call): Add SLP_NODE argument.
2939         Handle vectorization of SLP calls.
2940         (vect_analyze_stmt): Adjust caller, add call to it for SLP too.
2941         (vect_transform_stmt): Adjust vectorizable_call caller, remove
2942         assertion.
2943         * tree-vect-slp.c (vect_get_and_check_slp_defs): For calls start
2944         with op_idx 3.
2945         (vect_build_slp_tree): Allow CALL_EXPR.
2946
2947 2011-11-08  Richard Guenther  <rguenther@suse.de>
2948
2949         * gimple-fold.c (canonicalize_constructor_val): Make sure
2950         we have referenced vars setup before adding to them.
2951
2952 2011-11-07  Richard Henderson  <rth@redhat.com>
2953             Aldy Hernandez  <aldyh@redhat.com>
2954             Andrew MacLeod  <amacleod@redhat.com>
2955             Torvald Riegel  <triegel@redhat.com>
2956
2957         Merged from transactional-memory.
2958
2959         * gtm-builtins.def: New file.
2960         * trans-mem.c: New file.
2961         * trans-mem.h: New file.
2962
2963         * opts.c (finish_options): Error out when using -flto and -fgnu-tm.
2964
2965         * config/i386/i386.c: Define TARGET_VECTORIZE* transactional variants.
2966         (ix86_handle_tm_regparm_attribute, struct bdesc_tm,
2967         ix86_builtin_tm_load, ix86_builtin_tm_store,
2968         ix86_init_tm_builtins): New.
2969         (ix86_init_builtins): Initialize TM builtins.
2970         (struct ix86_attribute_table): Add "*tm regparm".
2971         * config/i386/i386-builtin-types.def (PV2SI): Define.
2972         (PCV2SI): Define.
2973         Define V2SI_FTYPE_PCV2SI.
2974         Define V4SF_FTYPE_PCV4SF.
2975         Define V8SF_FTYPE_PCV8SF.
2976         Define VOID_PV2SI_V2SI.
2977
2978         * doc/invoke.texi (C Dialect Options): Document -fgnu-tm and
2979         tm-max-aggregate-size.
2980         * doc/tm.texi.in: Add TARGET_VECTORIZE_BUILTIN_TM_LOAD and
2981         TARGET_VECTORIZE_BUILTIN_TM_STORE hooks.
2982         * doc/tm.texi: Regenerate.
2983
2984         * attribs.c (apply_tm_attr): New.
2985         (init_attributes): Allow '*' prefix for overrides.
2986         (register_attribute): Likewise.
2987         * builtin-attrs.def (ATTR_TM_TMPURE, ATTR_TM_REGPARM): New.
2988         (ATTR_TM_NOTHROW_LIST, ATTR_TM_TMPURE_NOTHROW_LIST,
2989         ATTR_TM_PURE_TMPURE_NOTHROW_LIST, ATTR_TM_NORETURN_NOTHROW_LIST,
2990         ATTR_TM_CONST_NOTHROW_LIST, ATTR_TMPURE_MALLOC_NOTHROW_LIST,
2991         ATTR_TMPURE_NOTHROW_LIST): New.
2992         * builtin-types.def (BT_FN_I[1248]_VPTR, BT_FN_FLOAT_VPTR,
2993         BT_FN_DOUBLE_VPTR, BT_FN_LDOUBLE_VPTR, BT_FN_VOID_VPTR_I[1248],
2994         BT_FN_VOID_VPTR_FLOAT, BT_FN_VOID_VPTR_DOUBLE,
2995         BT_FN_VOID_VPTR_LDOUBLE, BT_FN_VOID_VPTR_SIZE): New.
2996         * builtins.def: Include gtm-builtins.def. Add comments regarding
2997         transactional memory synchronization.
2998         (DEF_TM_BUILTIN): New.
2999         * c-parser.c (struct c_parser): Add in_transaction.
3000         (c_parser_transaction, c_parser_transaction_expression,
3001         c_parser_transaction_cancel, c_parser_transaction_attributes): New.
3002         (c_parser_attribute_any_word): Split out from c_parser_attributes.
3003         (c_parser_statement_after_labels): Handle RID_TRANSACTION*.
3004         (c_parser_unary_expression): Same.
3005         * c-tree.h (c_finish_transaction): Declare.
3006         * c-typeck.c (c_finish_transaction): New.
3007         (build_function_call_vec): Call tm_malloc_replacement.
3008         * calls.c (is_tm_builtin): New.
3009         (flags_from_decl_or_type): Add ECF_TM_BUILTIN and ECF_TM_PURE.
3010         * cfgbuild.c (make_edges): Add edges for REG_TM notes.
3011         * cfgexpand.c (expand_call_stmt): Call
3012         mark_transaction_restart_calls.
3013         (gimple_expand_cfg): Free the tm_restart map.
3014         (mark_transaction_restart_calls): New.
3015         * cfgrtl.c (purge_dead_edges): Look for REG_TM notes.
3016         * cgraph.c (dump_cgraph_node): Handle tm_clone.
3017         * cgraph.h (struct cgraph_node): Add tm_clone field.
3018         (decl_is_tm_clone): New.
3019         (struct cgraph_local_info): Add tm_may_enter_irr.
3020         (cgraph_copy_node_for_versioning): Declare.
3021         * cgraphunit.c (cgraph_copy_node_for_versioning): Export;
3022         copy analyzed from old version.
3023         * combine.c (distribute_notes): Handle REG_TM notes.
3024         * common.opt: Add -fgnu-tm.
3025         * crtstuff.c (__TMC_LIST__, __TMC_END__): New.
3026         (__do_global_dtors_aux): Deregister clone table.
3027         (frame_dummy): Register clone table.
3028         * emit-rtl.c (try_split): Handle REG_TM. Early return if no function
3029         body.
3030         * gimple-low.c (lower_stmt): Handle GIMPLE_EH_ELSE and
3031         GIMPLE_TRANSACTION.
3032         (gimple_stmt_may_fallthru): Handle GIMPLE_EH_ELSE.
3033         * gimple-pretty-print.c: Include trans-mem.h.
3034         (dump_gimple_fmt): Add %x.
3035         (dump_gimple_call): Dump arguments for calls to _ITM_beginTransaction.
3036         (dump_gimple_eh_else, dump_gimple_transaction): New.
3037         (dump_gimple_stmt): Handle GIMPLE_EH_ELSE and GIMPLE_TRANSACTION.
3038         * gimple.c (gimple_build_eh_else, gimple_build_transaction): New.
3039         (walk_gimple_seq): Honor removed_stmt. Document usage of removed_stmt
3040         field.
3041         (walk_gimple_op): Handle GIMPLE_TRANSACTION.
3042         (walk_gimple_stmt): Initialize and honor removed_stmt.
3043         Handle GIMPLE_EH_ELSE and GIMPLE_TRANSACTION.
3044         (gimple_copy): Handle GIMPLE_EH_ELSE and GIMPLE_TRANSACTION.
3045         * gimple.def (GIMPLE_TRANSACTION, GIMPLE_EH_ELSE): New.
3046         * gimple.h (struct gimple_statement_eh_else,
3047         gimple_statement_transaction, GTMA_*): New.
3048         (gimple_statement_d): Add gimple_statement_eh_else and
3049         gimple_transaction.
3050         (gimple_build_eh_else, gimple_build_transaction,
3051         gimple_fold_call, diagnose_tm_safe_errors): Declare.
3052         (get_call_expr_in): Remove prototype.
3053         (gimple_has_substatements): Add GIMPLE_EH_ELSE and GIMPLE_TRANSACTION.
3054         (gimple_eh_else_n_body, gimple_eh_else_e_body,
3055         gimple_eh_else_set_n_body, gimple_eh_else_set_e_body,
3056         gimple_transaction_body, gimple_transaction_label,
3057         gimple_transaction_label_ptr, gimple_transaction_subcode,
3058         gimple_transaction_set_body, gimple_transaction_set_label,
3059         gimple_transaction_set_subcode): New.
3060         (struct walk_stmt_info): Use BOOL_BITFIELD; add removed_stmt.
3061         * gimplify.c (create_tmp_var_name): Use clean_symbol_name.
3062         (voidify_wrapper_expr): Handle TRANSACTION_EXPR.
3063         (gimplify_transaction): New.
3064         (gimplify_expr): Handle TRANSACTION_EXPR.
3065         * gsstruct.def (GSS_EH_ELSE, GSS_TRANSACTION): New.
3066         * ipa-inline.c (can_inline_edge_p): Do not inline TM safe calling
3067         TM pure functions.
3068         * Makefile.in: Add trans-mem.o and dependencies.
3069         (BUILTINS_DEF): Add gtm-builtins.def.
3070         (gimple-pretty-print.o): Depend on TRANS_MEM_H.
3071         (GTFILES): Add trans-mem.c.
3072         * omp-low.c (WALK_SUBSTMTS): Add GIMPLE_TRANSACTION.
3073         * output.h (record_tm_clone_pair, finish_tm_clone_pairs,
3074         get_tm_clone_pair): Declare.
3075         * params.def (PARAM_TM_MAX_AGGREGATE_SIZE): New.
3076         * passes.c (init_optimization_passes): Place transactional memory
3077         passes.
3078         * print-tree.c (print_node): Dump tm-clone.
3079         * recog.c (peep2_attempt): Handle REG_TM.
3080         * reg-notes.def (TM): New.
3081         * rtlanal.c (alloc_reg_note): Handle REG_TM.
3082         * target.def (builtin_tm_load, builtin_tm_store): New.
3083         * targhooks.c (default_builtin_tm_load_store): New.
3084         * targhooks.h (default_builtin_tm_load_store): Declare.
3085         * timevar.def (TV_TRANS_MEM): New.
3086         * toplev.c (compile_file): Call finish_tm_clone_pairs.
3087         * tree-cfg.c (make_edges): Handle GIMPLE_TRANSACTION.
3088         (cleanup_dead_labels): Handle GIMPLE_TRANSACTION. Avoid unnecessary
3089         writes into the statements to update labels.
3090         (is_ctrl_altering_stmt): Add TM ending statements. Handle
3091         GIMPLE_TRANSACTION.
3092         (verify_gimple_transaction): New.
3093         (verify_gimple_stmt): Handle GIMPLE_TRANSACTION.
3094         (verify_gimple_in_seq_2): Handle GIMPLE_EH_ELSE and GIMPLE_TRANSACTION.
3095         (gimple_redirect_edge_and_branch): Handle TM_TRANSACTION.
3096         (dump_function_to_file): Display [tm-clone] if applicable.
3097         * tree-eh.c (struct_ptr_eq): Make inline and move to tree.h.
3098         (struct_ptr_hash): Same.
3099         (collect_finally_tree): Handle GIMPLE_EH_ELSE.
3100         (replace_goto_queue_1): Likewise.
3101         (get_eh_else): New.
3102         (honor_protect_cleanup_actions): Handle GIMPLE_EH_ELSE.
3103         (lower_try_finally_nofallthru): Likewise.
3104         (lower_try_finally_onedest): Likewise.
3105         (lower_try_finally_copy): Likewise.
3106         (lower_try_finally_switch): Likewise.
3107         (lower_try_finally): Likewise.
3108         (decide_copy_try_finally): Likewise.
3109         (lower_eh_constructs_2): Likewise.
3110         (refactor_eh_r): Likewise.
3111         * tree-flow.h (struct gimple_df): Add tm_restart field.
3112         Define tm_restart_node.
3113         * tree-inline.c (remap_gimple_stmt): Handle GIMPLE_TRANSACTION.
3114         (estimate_num_insns): Likewise.
3115         (init_inline_once): Init tm_cost.
3116         * tree-inline.h (struct eni_weights_d): Add tm_cost.
3117         * tree-pass.h (pass_diagnose_tm_blocks, pass_lower_tm, pass_tm_init,
3118         pass_tm_mark, pass_tm_memopt, pass_tm_edges, pass_ipa_tm): Declare.
3119         * tree-pretty-print.c (dump_generic_node): Handle TRANSACTION_EXPR.
3120         * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Handle
3121         BUILT_IN_TM_MEMSET, BUILT_IN_TM_MEMCPY, BUILT_IN_TM_MEMMOVE.
3122         Add support for TM vector loads.  Add support for TM logging builtins.
3123         (call_may_clobber_ref_p_1): Add support for vector stores.
3124         * tree-ssa-structalias.c (find_func_aliases): Add support for TM
3125         vector stores and loads. Handle BUILT_IN_TM_MEMSET,
3126         BUILT_IN_TM_MEMCPY, BUILT_IN_TM_MEMMOVE.
3127         * tree.c (strip_invariant_refs): Moved from gimple.c to here.
3128         (local_define_builtin): Handle ECF_TM_PURE.
3129         (build_common_builtin_nodes): Set __builtin_eh_pointer to ECF_TM_PURE.
3130         * tree.def (TRANSACTION_EXPR): New.
3131         * tree.h (strip_invariant_refs): Moved from gimple.h to here.
3132         (TRANSACTION_EXPR_BODY, TRANSACTION_EXPR_CHECK,
3133         TRANSACTION_EXPR_OUTER, TRANSACTION_EXPR_RELAXED,
3134         BUILTIN_TM_LOAD_STORE_P, BUILTIN_TM_LOAD_P, BUILTIN_TM_STORE_P,
3135         CASE_BUILT_IN_TM_LOAD, CASE_BUILT_IN_TM_STORE): New.
3136         (ECF_TM_PURE, ECF_TM_BUILTIN): New.
3137         (struct tree_function_decl): Add tm_clone_flag.
3138         (struct_ptr_eq, struct_ptr_hash): New.
3139         (apply_tm_attr): Declare.
3140         (is_tm_safe_or_pure): New.
3141         (build_tm_abort_call, is_tm_safe, is_tm_pure,
3142         is_tm_may_cancel_outer, is_tm_ending_fndecl, record_tm_replacement,
3143         tm_malloc_replacement): Declare.
3144         * varasm.c (tm_clone_hash): New.
3145         (record_tm_clone_pair, finish_tm_clone_pairs, get_tm_clone_pair,
3146         dump_tm_clone_to_vec, dump_tm_clone_pairs, tm_alias_pair_cmp): New.
3147         (struct tm_alias_pair): New.  Declare VEC types for object.
3148
3149 2011-11-07  Richard Henderson  <rth@redhat.com>
3150
3151         * optabs.h (OTI_sync_compare_and_swap, OTI_sync_lock_test_and_set,
3152         OTI_sync_old_add, OTI_sync_old_sub, OTI_sync_old_ior,
3153         OTI_sync_old_and, OTI_sync_old_xor, OTI_sync_old_nand,
3154         OTI_sync_new_add, OTI_sync_new_sub, OTI_sync_new_ior,
3155         OTI_sync_new_and, OTI_sync_new_xor, OTI_sync_new_nand): Move and
3156         rename from the direct_optab_index enum.
3157         (sync_compare_and_swap_optab, sync_lock_test_and_set_optab,
3158         sync_old_add_optab, sync_old_sub_optab, sync_old_ior_optab,
3159         sync_old_and_optab, sync_old_xor_optab, sync_old_nand_optab,
3160         sync_new_add_optab, sync_new_sub_optab, sync_new_ior_optab,
3161         sync_new_and_optab, sync_new_xor_optab, sync_new_nand_optab): Read
3162         from the optab_table, not the direct_optab_table.
3163         (init_sync_libfuncs): Declare.
3164         (can_compare_and_swap_p): Update parameters.
3165         * optabs.c (init_sync_libfuncs_1, init_sync_libfuncs): New.
3166         (can_compare_and_swap_p): Add allow_libcall parameter; if true,
3167         test for the legacy compare-and-swap libcall.
3168         (expand_atomic_exchange): Use the legacy test-and-set libcall.
3169         (expand_atomic_compare_and_swap): Use the legacy CAS libcall.
3170         (struct atomic_op_functions): Update for optab type changes.
3171         (maybe_emit_op): Likewise.
3172         (expand_atomic_fetch_op): Use the legacy fetch-op libcalls.
3173         * builtins.c (fold_builtin_atomic_always_lock_free): Update call
3174         to can_compare_and_swap_p.
3175         * omp-low.c (expand_omp_atomic_fetch_op): Likewise.
3176         (expand_omp_atomic_pipeline): Likewise.
3177         * genopinit.c (optabs): Make sync_old_*_optab, sync_new_*_optab,
3178         sync_compare_and_swap_optab, sync_lock_test_and_set_optab regular
3179         optabs.
3180         * doc/md.texi (sync_compare_and_swap): Update docs for libcalls.
3181
3182 2011-11-07  Jakub Jelinek  <jakub@redhat.com>
3183
3184         * config/i386/i386-bultin-types.def (V8SI_FTYPE_V4DF_V4DF): Add.
3185         * config/i386/i386.c (enum ix86_builtins): Add
3186         IX86_BUILTIN_VEC_PACK_SFIX256.
3187         (bdesc_args): Add __builtin_ia32_vec_pack_sfix256.
3188         (ix86_expand_args_builtin): Handle V8SI_FTYPE_V4DF_V4DF.
3189         (ix86_builtin_vectorized_function): Also vectorize lrint using
3190         256-bit vectors for -mavx.
3191
3192 2011-11-07  Anatoly Sokolov  <aesok@post.ru>
3193
3194         * config/cris/constraints.md: New file.
3195         * config/cris/cris.h (REG_CLASS_FROM_LETTER, CONSTRAINT_LEN,
3196         CRIS_CONST_OK_FOR_LETTER_P, CONST_OK_FOR_CONSTRAINT_P,
3197         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_MEMORY_CONSTRAINT,
3198         EXTRA_CONSTRAINT, EXTRA_CONSTRAINT_Q, EXTRA_CONSTRAINT_R,
3199         EXTRA_CONSTRAINT_T, EXTRA_CONSTRAINT_S, EXTRA_CONSTRAINT_U): Remove.
3200         * config/cris/cris.c: Incule "tm-constrs.h".
3201         (cris_print_operand): Use satisfies_constraint_O.
3202         (cris_normal_notice_update_cc, cris_rtx_costs): Use
3203         satisfies_constraint_I.
3204         (cris_address_cost): Use satisfies_constraint_L.
3205         * config/cris/cris.md: Include "constraints.md".
3206         (*mov_side<mode>, *mov_sidesisf, *mov_side<mode>_mem,
3207         *mov_sidesisf_mem, *clear_side<mode>, *ext_sideqihi,
3208         *ext_side<mode>si, *op_side<mode>, *op_swap_side<mode>,
3209         *extopqihi_side, *extop<mode>si_side, *extopqihi_swap_side,
3210         *extop<mode>si_swap_side): Use satisfies_constraint_N and
3211         satisfies_constraint_J.
3212         (moversideqi movemsideqi mover2side peephole2): Use
3213         satisfies_constraint_N and satisfies_constraint_J.
3214         (andu peephole2): Use satisfies_constraint_I and
3215         satisfies_constraint_O.
3216
3217 2011-11-07  Uros Bizjak  <ubizjak@gmail.com>
3218
3219         * config/i386/i386.c (ix86_builtin_vectorized_function): Handle
3220         BUILT_IN_IRINT, BUILT_IN_IRINTF, BUILT_IN_LLRINT and BUILT_IN_LLRINTF.
3221
3222 2011-11-07  Andrew MacLeod  <amacleod@redhat.com>
3223
3224         * optabs.c (get_atomic_op_for_code): Fill in optab table at runtime so
3225         SWITCHABLE_TARGET can change the values during compilation.
3226         (expand_atomic_fetch_op): Handle parameter change ripples for
3227         get_atomic_op_for_code call.
3228
3229 2011-11-07  Andrew MacLeod  <amacleod@redhat.com>
3230
3231         * doc/extend.texi: Docuemnt behaviour change for __atomic_exchange and
3232         __atomic_store.
3233         * optabs.c (expand_atomic_exchange): Expand to __sync_lock_test_and_set
3234         only when originated from that builtin.
3235         (expand_atomic_store): Expand to __sync_lock_release when originated
3236         from that builtin.
3237         * builtins.c (expand_builtin_sync_lock_test_and_set): Add flag that
3238         expand_atomic_exchange call originated from here.
3239         (expand_builtin_sync_lock_release): Add flag that expand_atomic_store
3240         call originated from here.
3241         (expand_builtin_atomic_exchange): Add origination flag.
3242         (expand_builtin_atomic_store): Add origination flag.
3243         * expr.h (expand_atomic_exchange, expand_atomic_store): Add boolean
3244         parameters to indicate implementation fall back options.
3245
3246 2011-11-07  Georg-Johann Lay  <avr@gjlay.de>
3247
3248         * config/avr/avr.c (output_reload_in_const): Can handle CONSTANT_P
3249         now, not only CONST_INT and CONST_DOUBLE.
3250         (output_movqi): Use output_reload_in_const.
3251         (output_reload_inhi): Ditto.
3252         (output_reload_insisf): Move assertion to output_reload_in_const.
3253         (avr_out_reload_inpsi): Ditto.
3254
3255 2011-11-07  Nathan Sidwell  <nathan@acm.org>
3256
3257         * gcov.c (object_summary): Replace with ...
3258         (object_runs): ... this.
3259         (process_file): Remove functions with no data.
3260         (generate_results): Ignore files with no lines.
3261         (release_function): New helper, broken out of ...
3262         (release_structures): ... here.  Use it.
3263         (read_count_file): Adjust for new data file format.
3264         (output_lines): Use object_runs.
3265         * gcov-io.h (GCOV_TAG_OBJECT_SUMMARY): Obsolete.
3266         (struct gcov_ctr_info): Move definition.
3267         (struct gcov_fn_info): Add key field, use gcov_ctr_info for
3268         trailing array.
3269         (struct gcov_info): Add merge function array, remove mask and
3270         counts.  Trailing array is array of pointers to function info.
3271         * coverage.c (struct function_list): Replace counter numbers with
3272         counter arrays.  Add fndecl field.  GTYify.
3273         (counts_entry): Remove chain workspace.
3274         (functions_head): GTYify.
3275         (prg_n_ctrs): Remove.
3276         (fn_v_ctrs): New.
3277         (tree_ctr_tables): Remove.
3278         (read_counts_file): Cope with blank entries and expect program
3279         summaries before functions.  Don't warn on missing entries.
3280         (coverage_counter_alloc): Allocate individual function arrays.
3281         (tree_coverage_counter_ref, tree_coverage_counter_addr): Adjust
3282         for individual function arrays.
3283         (coverage_end_function): GTYify function list object. Finalize
3284         function's counter arrays.
3285         (build_var): New.  Create a counter-related variable with
3286         appropriate linkage.
3287         (build_fn_info_type): Adjust for new runtime structure.
3288         (build_fn_info_value): Rename to ...
3289         (build_fn_info): ... here.  Build new format data.
3290         (build_ctr_info_type, build_ctr_info_value): Remove.
3291         (build_info_type): New. Build new format data structure.
3292         (build_info): Adjust for new format data.
3293         (create_coverage): Likewise.
3294         * gcov-dump.c (tag_function): Recognize placeholders.
3295
3296 2011-11-07  Georg-Johann Lay  <avr@gjlay.de>
3297
3298         * config/avr/constraints.md (Cm2): New constraint for int -2.
3299         * config/avr/avr.md (addqi3): Use it. New alternatives for +/-2.
3300         (*negqihi2): New insn.
3301
3302 2011-11-07  H.J. Lu  <hongjiu.lu@intel.com>
3303
3304         * dwarf2cfi.c (dwarf2out_frame_debug_expr): Check
3305         HARD_FRAME_POINTER_REGNUM instead of hard_frame_pointer_rtx in Rule 18.
3306
3307 2011-11-07  Jakub Jelinek  <jakub@redhat.com>
3308
3309         * config/i386/i386.c (ix86_expand_builtin): If gather mask
3310         argument is known to have all high bits set, pass pc_rtx as
3311         second argument to the expander instead of op0.
3312         * config/i386/sse.md (*avx2_gathersi<mode>_2,
3313         *avx2_gatherdi<mode>_2): New patterns.
3314         * config/i386/avx2intrin.h (_mm256_i32gather_pd,
3315         _mm256_i64gather_pd, _mm256_i32gather_ps): Set mask using
3316         _mm256_cmp_pd with zero vector arguments and _CMP_EQ_OQ instead of
3317         _mm256_set1_pd.
3318
3319         PR tree-optimization/50789
3320         * tree-vect-stmts.c (process_use): Add force argument, avoid
3321         exist_non_indexing_operands_for_use_p check if true.
3322         (vect_mark_stmts_to_be_vectorized): Adjust callers.  Handle
3323         STMT_VINFO_GATHER_P.
3324         (gen_perm_mask): New function.
3325         (perm_mask_for_reverse): Use it.
3326         (reverse_vec_element): Rename to...
3327         (permute_vec_elements): ... this.  Add Y and MASK_VEC arguments,
3328         generalize for any permutations.
3329         (vectorizable_load): Adjust caller.  Handle STMT_VINFO_GATHER_P.
3330         * target.def (TARGET_VECTORIZE_BUILTIN_GATHER): New hook.
3331         * doc/tm.texi.in (TARGET_VECTORIZE_BUILTIN_GATHER): Document it.
3332         * doc/tm.texi: Regenerate.
3333         * tree-data-ref.c (initialize_data_dependence_relation,
3334         compute_self_dependence): No longer static.
3335         * tree-data-ref.h (initialize_data_dependence_relation,
3336         compute_self_dependence): New prototypes.
3337         * tree-vect-data-refs.c (vect_check_gather): New function.
3338         (vect_analyze_data_refs): Detect possible gather load data refs.
3339         * tree-vectorizer.h (struct _stmt_vec_info): Add gather_p field.
3340         (STMT_VINFO_GATHER_P): Define.
3341         (vect_check_gather): New prototype.
3342         * config/i386/i386-builtin-types.def: Add types for alternate
3343         gather builtins.
3344         * config/i386/sse.md (AVXMODE48P_DI): Remove.
3345         (VEC_GATHER_MODE): Rename mode_attr to...
3346         (VEC_GATHER_IDXSI): ... this.
3347         (VEC_GATHER_IDXDI, VEC_GATHER_SRCDI): New mode_attrs.
3348         (avx2_gathersi<mode>, *avx2_gathersi<mode>): Use <VEC_GATHER_IDXSI>
3349         instead of <VEC_GATHER_MODE>.
3350         (avx2_gatherdi<mode>): Use <VEC_GATHER_IDXDI> instead of
3351         <AVXMODE48P_DI> and <VEC_GATHER_SRCDI> instead of VEC_GATHER_MODE
3352         on src and mask operands.
3353         (*avx2_gatherdi<mode>): Likewise.  Use VEC_GATHER_MODE iterator
3354         instead of AVXMODE48P_DI.
3355         (avx2_gatherdi<mode>256, *avx2_gatherdi<mode>256): Removed.
3356         * config/i386/i386.c (enum ix86_builtins): Add
3357         IX86_BUILTIN_GATHERALTSIV4DF, IX86_BUILTIN_GATHERALTDIV8SF,
3358         IX86_BUILTIN_GATHERALTSIV4DI and IX86_BUILTIN_GATHERALTDIV8SI.
3359         (ix86_init_mmx_sse_builtins): Create those builtins.
3360         (ix86_expand_builtin): Handle those builtins and adjust expansions
3361         of other gather builtins.
3362         (ix86_vectorize_builtin_gather): New function.
3363         (TARGET_VECTORIZE_BUILTIN_GATHER): Define.
3364
3365 2011-11-07  Uros Bizjak  <ubizjak@gmail.com>
3366
3367         * config/i386/f16cintrin.h: Remove extra _X86INTRIN_H_INCLUDED check.
3368
3369 2011-11-07  Tristan Gingold  <gingold@adacore.com>
3370
3371         * config.gcc (*-*-*vms*): Set c_target_objs, cxx_target_objs.
3372         * config/vms/t-vms: Add vms-c.o rule.
3373         * config/vms/vms-c.c: New file.
3374         * config/vms/vms-protos.h (vms_c_register_pragma): New prototype.
3375         * config/vms/vms.h (REGISTER_TARGET_PRAGMAS): Define.
3376
3377 2011-11-07  Tristan Gingold  <gingold@adacore.com>
3378
3379         * config/alpha/vms.h (TARGET_OBJECT_SUFFIX,
3380         TARGET_EXECUTABLE_SUFFIX, TARGET_OS_CPP_BUILTINS,
3381         TARGET_ABI_OPEN_VMS, LONG_TYPE_SIZE, ADA_LONG_TYPE_SIZE,
3382         POINTER_SIZE, POINTERS_EXTEND_UNSIGNED): Move to config/vms/vms.h
3383         (SUBTARGET_OS_CPP_BUILTINS): Define.
3384         (TARGET_DEFAULT): Tune according to POINTER_SIZE.
3385         (MASK_RETURN_ADDR): Define in 64 bit mode.
3386         * config/ia64/vms.h: Likewise.
3387         * config/vms/vms.h: New file.
3388         * config/vms/vms64.h: New file.
3389         * config/alpha/vms64.h: Removed.
3390         * config/ia64/vms64.h: Removed.
3391         * config.gcc (alpha64-dec-*vms*, alpha*-dec-*vms*, ia64-hp-*vms*):
3392         Adjust for above change.
3393
3394 2011-11-07  Enkovich Ilya  <ilya.enkovich@intel.com>
3395
3396         PR target/50962
3397         * config/i386/i386-protos.h (ix86_use_lea_for_mov): New.
3398         * config/i386/i386.c (ix86_use_lea_for_mov): Likewise.
3399         * config/i386/i386.md (movsi_internal): Emit lea if profitable.
3400         (movdi_internal_rex64): Likewise.
3401
3402 2011-11-07  Sergey Ostanevich  <sergos.gnu@gmail.com>
3403
3404         PR rtl-optimization/47698
3405         * ifcvt.c (noce_operand_ok): Return false for mems with side effects.
3406
3407 2011-11-07  Tristan Gingold  <gingold@adacore.com>
3408
3409         * common/config/alpha/alpha-common.c (alpha_option_init_struct):
3410         New function.
3411         (TARGET_OPTION_INIT_STRUCT): Define.
3412         * config/alpha/alpha.c (TARGET_MIN_ANCHOR_OFFSET)
3413         (TARGET_MAX_ANCHOR_OFFSET)
3414         (TARGET_USE_BLOCKS_FOR_CONSTANT_P): Redefine.
3415
3416 2011-11-06  Quentin Neill  <quentin.neill@amd.com>
3417
3418         Fix r180999, update ChangeLog
3419         * config.gcc: Add f16cintrin.h.
3420         * config/i386/f16cintrin.h: Add missing endif.
3421
3422 2011-11-06  Sebastian Huber  <sebastian.huber@embedded-brains.de>
3423
3424         * config.gcc (arm*-*-rtemseabi*): New target.
3425         * config/arm/rtems-eabi.h: New.
3426         * config/arm/t-rtems-eabi: New.
3427
3428 2011-11-06  David S. Miller  <davem@davemloft.net>
3429
3430         * config/sparc/sparc.md (UNSPEC_SHORT_LOAD): Delete.
3431         (zero_extend_v8qi_vis, zero_extend_v4hi_vis,
3432         *zero_extend_v8qi_<P:mode>_insn,
3433         *zero_extend_v4hi_<P:mode>_insn): Express using vec_merge
3434         and vec_duplicate instead of using an UNSPEC.
3435
3436 2011-11-07  Alan Modra  <amodra@gmail.com>
3437
3438         PR target/30282
3439         * config/rs6000/rs6000.c (rs6000_emit_stack_reset): Always emit
3440         blockage for ABI_V4.
3441
3442 2011-11-06  Dave Korn  <dave.korn.cygwin@gmail.com>
3443
3444         * config/i386/cygwin.h (LIBGCJ_SONAME): Updated to match recent
3445         libgcj version bump.
3446         * config/i386/mingw32.h (LIBGCJ_SONAME): Likewise.
3447
3448 2011-11-06  Eric Botcazou  <ebotcazou@adacore.com>
3449
3450         * gcse.c: Adjust outdated comments throughout.
3451         (struct mem_conflict_info): New structure.
3452         (mems_conflict_for_gcse_p): Use it to communicate with caller.
3453         (load_killed_in_block_p): Pass it to note_stores.
3454         (hash_expr): Remove superfluous line break.
3455         (hash_scan_set): Rename PAT parameter into SET.
3456         (hash_scan_insn): Reorder cases.
3457         (canon_list_insert): Fix long line.
3458         (edge_list): Delete.
3459         (prune_expressions): Rename E local variable into EXPR.
3460         (compute_pre_data): Return struct edge_list * object.
3461         (pre_expr_reaches_here_p_work): Fix formatting.
3462         (process_insert_insn): Move around comment.
3463         (pre_edge_insert): Fix long line.
3464         (pre_insert_copies): Likewise.
3465         (gcse_emit_move_after): Swap SRC and DEST parameters.
3466         (pre_delete): Adjust call to gcse_emit_move_after.
3467         (pre_gcse): Take struct edge_list * parameter.  Fix long line.
3468         (one_pre_gcse_pass): Use flag_gcse_lm condition for all routines.
3469         Use a local list of edges.
3470         (hoist_code): Fix long line.  Adjust call to gcse_emit_move_after.
3471         (pre_ldst_expr_hash): Fix long line.
3472         (free_ldst_mems): Rename into...
3473         (free_ld_motion_mems): ...this.
3474         (first_ls_expr): Delete.
3475         (next_ls_expr): Likewise.
3476         (print_ldst_list): Do not use above two functions.
3477         (simple_mem): Adjust interface.
3478         (compute_ld_motion_mems): Fix formatting.
3479         (update_ld_motion_stores): Reuse local variable.
3480
3481 2011-11-06  Joseph Myers  <joseph@codesourcery.com>
3482
3483         * c-decl.c (shadow_tag_warned, grokdeclarator): Handle _Alignas
3484         specifiers.
3485         (build_null_declspecs): Initialize align_log and alignas_p fields.
3486         (declspecs_add_alignas): New.
3487         * c-parser.c (c_token_starts_declspecs): Handle RID_ALIGNAS.
3488         (c_parser_declspecs): Handle _Alignas specifiers.
3489         (c_parser_alignas_specifier): New.
3490         (c_parser_alignof_expression): Diagnose alignof use for non-C1X.
3491         Diagnose _Alignof (expression).
3492         * c-tree.h (struct c_declspecs): Add align_log and alignas_p fields.
3493         (declspecs_add_alignas): Declare.
3494         * ginclude/stddef.h (max_align_t): Define for C1X and C++11.
3495         * ginclude/stdalign.h: New.
3496         * Makefile.in (USER_H): Add stdalign.h.
3497
3498 2011-11-06  Joern Rennecke  <joern.rennecke@embecosm.com>
3499
3500         * regset.h (fixed_reg_set_regset): Declare.
3501         * dse.c: Include regset.h .
3502         (struct insn_info): Add member fixed_regs_live.
3503         (note_add_store_info): New typedef.
3504         (note_add_store): New function.
3505         (emit_inc_dec_insn_before): Expect arg to be of type insn_info_t.
3506         Use gen_add3_insn / gen_move_insn.
3507         Check new insn for unwanted clobbers before emitting it.
3508         (check_for_inc_dec): Rename to...
3509         (check_for_inc_dec_1:) ... this.  Return bool.  Take insn_info
3510         parameter.  Changed all callers in file.
3511         (check_for_inc_dec, copy_fixed_regs): New functions.
3512         (scan_insn): Set fixed_regs_live field of insn_info.
3513         * rtl.h (check_for_inc_dec): Update prototype.
3514         * postreload.c (reload_cse_simplify): Take new signature of
3515         check_ind_dec into account.
3516         * reginfo.c (fixed_reg_set_regset): New variable.
3517         (init_reg_sets_1): Initialize it.
3518
3519 2011-11-06  Jakub Jelinek  <jakub@redhat.com>
3520
3521         * tree-cfg.c (gimple_can_merge_blocks_p): For -O0 don't remove
3522         any user labels.
3523
3524 2011-11-06  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3525
3526         * config/pa/pa.c (pa_hpux_init_libfuncs): Rename to pa_init_libfuncs.
3527         Remove dependence of declaration and target define on definition of
3528         HPUX_LONG_DOUBLE_LIBRARY.  Update implementation.
3529
3530 2011-11-06  Andrew Macleod  <amacleod@redhat.com>
3531             Richard Henderson  <rth@redhat.com>
3532             Aldy Hernandez  <aldyh@redhat.com>
3533
3534         Merged from cxx-mem-model.
3535
3536         * cppbuiltin.c (define__GNUC__): Define __ATOMIC memory models
3537         * coretypes.h (enum memmodel): New.  enumerated memory model type.
3538         * Makefile.in (cppbuiltin.o) Add missing dependency on $(TREE_H)
3539         * genopinit,c (optabs): Add atomic direct optab handlers.
3540         * sync-builtins.def (BUILT_IN_ATOMIC_*): New builtins.
3541         * builtin-types.def (BT_CONST_VOLATILE_PTR,
3542         BT_FN_I{1,2,4,8,16}_CONST_VPTR_INT, BT_FN_VOID_VPTR_INT,
3543         BT_FN_BOOL_VPTR_INT, BT_FN_BOOL_SIZE_CONST_VPTR,
3544         BT_FN_I{1,2,4,8,16}_VPTR_I{1,2,4,8,16}_INT,
3545         BT_FN_VOID_VPTR_I{1,2,4,8,16}_INT, BT_FN_VOID_SIZE_VPTR_PTR_INT,
3546         BT_FN_VOID_SIZE_CONST_VPTR_PTR_INT, BT_FN_VOID_SIZE_VPTR_PTR_PTR_INT,
3547         BT_FN_BOOL_VPTR_PTR_I{1,2,4,8,16}_BOOL_INT_INT): New builtin types.
3548         * expr.h (expand_atomic_*): Add prototypes.
3549         (expand_{bool,val}_compare_and_swap): Remove prototypes.
3550         * c-typeck.c (build_function_call_vec): Don't reprocess __atomic
3551         parameters.
3552         * common.opt (Winvalid-memory-model): New warning flag.
3553         (finline-atomics): New. Flag to disable atomic inlining.
3554         * params.h (ALLOW_LOAD_DATA_RACES): New.
3555         (ALLOW_PACKED_LOAD_DATA_RACES): New.
3556         (ALLOW_PACKED_STORE_DATA_RACES): New.
3557         * params.def (PARAM_ALLOW_LOAD_DATA_RACES): New.
3558         (PARAM_ALLOW_PACKED_LOAD_DATA_RACES): New.
3559         (PARAM_ALLOW_PACKED_STORE_DATA_RACES): New.
3560         * builtins.c (is_builtin_name): Handle __atomic.
3561         (get_memmodel): New.  Extract memory model.
3562         (expand_expr_force_mode): New. Factor out common code for ensuring an
3563         integer argument is in the proper mode.
3564         (expand_builtin_sync_operation): Remove ignore param.  Always call
3565         expand_atomic_fetch_op instead of the old expanders.
3566         (expand_builtin_compare_and_swap,
3567         expand_builtin_sync_lock_test_and_set): Use expand_expr_force_mode,
3568         call atomic expanders instead of sync expanders.
3569         (expand_builtin_sync_lock_release): Call atomic_store expander.
3570         (expand_builtin_atomic_compare_exchange, expand_builtin_atomic_load,
3571         expand_builtin_atomic_store, expand_builtin_atomic_fetch_op): New.
3572         (expand_builtin_atomic_exchange): New.
3573         (fold_builtin_atomic_always_lock_free,
3574         expand_builtin_atomic_always_lock_free,
3575         fold_builtin_atomic_is_lock_free, expand_builtin_atomic_is_lock_free):
3576         New.
3577         (expand_builtin_mem_thread_fence, expand_builtin_atomic_thread_fence,
3578         expand_builtin_atomic_signal_fence): New.
3579         (expand_builtin_mem_signal_fence): New.
3580         (expand_builtin): Add cases for BUILT_IN_ATOMIC_*.
3581         (fold_builtin_2): Add cases for BUILT_IN_ATOMIC_{IS,ALWAYS}_LOCK_FREE.
3582         * optabs.h (DOI_atomic_*): Define new atomics.
3583         (atomic_*_optab): Define.
3584         (can_compare_and_swap_p, expand_atomic_compare_and_swap): New
3585         prototypes.
3586         * optabs.c (expand_sync_operation, expand_sync_fetch_operation): Remove.
3587         (expand_sync_lock_test_and_set): Remove.
3588         (expand_atomic_load, expand_atomic_store): New.
3589         (expand_atomic_exchange): New.
3590         (expand_atomic_compare_and_swap): New.  Implements
3591         atomic_compare_exchange via compare and swap.
3592         (struct atomic_op_functions): Opcode table struct for fetch ops.
3593         (get_atomic_op_for_code): New.  Return an opcode table entry.
3594         (maybe_emit_op): New.  Try to emit a fetch op.
3595         (expand_atomic_fetch_op): New.
3596         (expand_val_compare_and_swap_1): Remove.
3597         (expand_val_compare_and_swap, expand_bool_compare_and_swap): Remove.
3598         (expand_atomic_compare_and_swap): Rename from
3599         expand_atomic_compare_exchange.  Rewrite to return both success and
3600         oldval return values; expand via both atomic and sync optabs.
3601         (can_compare_and_swap_p): New.
3602         (expand_compare_and_swap_loop): Use expand_atomic_compare_and_swap.
3603         (maybe_gen_insn): Handle 7 and 8 operands.
3604         * omp-low.c (expand_omp_atomic_fetch_op): Don't test individual
3605         fetch_op optabs, only test can_compare_and_swap_p.  Use __atomic
3606         builtins instead of __sync builtins.
3607         (expand_omp_atomic_pipeline): Use can_compare_and_swap_p.
3608         * doc/extend.texi: Document __atomic built-in functions.
3609         * doc/invoke.texi: Document data race parameters.
3610         * doc/md.texi: Document atomic patterns.
3611         * config/i386/i386.md (UNSPEC_MOVA): New.
3612         (UNSPECV_CMPXCHG): Split into ...
3613         (UNSPECV_CMPXCHG_1, UNSPECV_CMPXCHG_2,
3614         UNSPECV_CMPXCHG_3, UNSPECV_CMPXCHG_4): New.
3615         * config/i386/sync.md (ATOMIC): New mode iterator.
3616         (atomic_load<ATOMIC>, atomic_store<ATOMIC>): New.
3617         (atomic_loaddi_fpu, atomic_storedi_fpu, movdi_via_fpu): New.
3618         (mem_thread_fence): Rename from memory_barrier.
3619         Handle the added memory model parameter.
3620         (mfence_nosse): Rename from memory_barrier_nosse.
3621         (sync_compare_and_swap<CASMODE>): Split into ...
3622         (atomic_compare_and_swap<SWI124>): this and ...
3623         (atomic_compare_and_swap<CASMODE>): this.  Handle the new parameters.
3624         (atomic_compare_and_swap_single<SWI>): Rename from
3625         sync_compare_and_swap<SWI>; rewrite to use split unspecs.
3626         (atomic_compare_and_swap_double<DCASMODE>): Rename from
3627         sync_double_compare_and_swap<DCASMODE>; rewrite to use split unspecs.
3628         (*atomic_compare_and_swap_doubledi_pic): Rename from
3629         sync_double_compare_and_swapdi_pic; rewrite to use split unspecs.
3630         (atomic_fetch_add<SWI>): Rename from sync_old_add<SWI>; add memory
3631         model parameter.
3632         (*atomic_fetch_add_cmp<SWI>): Similarly.
3633         (atomic_add<SWI>, atomic<any_logic><SWI>): Similarly.
3634         (atomic_sub<SWI>): Similarly.  Use x86_maybe_negate_const_int.
3635         (sync_lock_test_and_set<SWI>): Merge with ...
3636         (atomic_exchange<SWI>): ... this.
3637
3638 2011-11-6  Richard Guenther  <rguenther@suse.de>
3639
3640         * ipa-prop.c (ipa_modify_call_arguments): Re-compute inlinable flag.
3641
3642 2011-11-06  Ira Rosen  <ira.rosen@linaro.org>
3643
3644         * tree-vectorizer.h (vectorizable_condition): Add argument.
3645         * tree-vect-loop.c (vectorizable_reduction): Fail for condition
3646         in SLP.  Update calls to vectorizable_condition.
3647         * tree-vect-stmts.c (vect_is_simple_cond): Add basic block info to
3648         the arguments.  Pass it to vect_is_simple_use_1.
3649         (vectorizable_condition): Add slp_node to the arguments.  Support
3650         vectorization of basic blocks.  Fail for reduction in SLP.  Update
3651         calls to vect_is_simple_cond and vect_is_simple_use.  Support SLP:
3652         call vect_get_slp_defs to get vector operands.
3653         (vect_analyze_stmt): Update calls to vectorizable_condition.
3654         (vect_transform_stmt): Likewise.
3655         * tree-vect-slp.c (vect_create_new_slp_node): Handle COND_EXPR.
3656         (vect_get_and_check_slp_defs): Handle COND_EXPR.  Allow pattern
3657         def stmts.
3658         (vect_build_slp_tree): Handle COND_EXPR.
3659         (vect_analyze_slp_instance): Push pattern statements to root node.
3660         (vect_get_constant_vectors): Fix comments.  Handle COND_EXPR.
3661
3662 2011-11-05  David S. Miller  <davem@davemloft.net>
3663
3664         * config/sparc/sparc.md (UNSPEC_SHORT_LOAD): New unspec.
3665         (zero-extend_v8qi_vis, zero_extend_v4hi_vis): New expanders.
3666         (*zero_extend_v8qi_<P:mode>_insn,
3667         *zero_extend_v4hi_<P:mode>_insn): New insns.
3668         * config/sparc/sparc.c (vector_init_move_words,
3669         vector_init_prepare_elts, sparc_expand_vector_init_vis2,
3670         sparc_expand_vector_init_vis1): New functions.
3671         (vector_init_bshuffle): Rewrite to handle more cases and make use
3672         of locs[] array prepared by vector_init_prepare_elts.
3673         (vector_init_fpmerge, vector_init_faligndata): Delete.
3674         (sparc_expand_vector_init): Rewrite using new infrastructure.
3675
3676 2011-11-05  Joern Rennecke  <joern.rennecke@embecosm.com>
3677
3678         * config.gcc (epiphany-*-*): New architecture.
3679         (epiphany-*-elf): New configuration.
3680         * config/epiphany, common/config/epiphany : New directories.
3681         * doc/extend.texi (disinterrupt attribute): Add Epiphany.
3682         (interrupt attribute): Add Epiphany.
3683         (long_call, short_call attribute): Add Epiphany.
3684         * doc/invoke.texi (Options): Add Epiphany options.
3685         * doc/md.texi (Machine Constraints): Add Epiphany constraints.
3686         * doc/install.texi (Options specification):
3687         Add --with-stack-offset=@var{num} description.
3688         (host/target specific issues): Add epiphany-*-elf.
3689         * doc/contrib.texi (Contributors): Mention Epiphany port.
3690
3691 2011-11-05  Jakub Jelinek  <jakub@redhat.com>
3692
3693         PR tree-optimization/50693
3694         * tree-cfg.c (gimple_can_merge_blocks_p): Allow merging with
3695         non-forced user labels.
3696         (gimple_merge_blocks): Turn non-forced user labels into
3697         debug bind stmt with the label as first operand and reset value.
3698         (gimple_duplicate_bb): Don't duplicate label debug stmts.
3699         * dwarf2out.c (gen_label_die): Handle NOTE_INSN_DELETED_DEBUG_LABEL.
3700         * final.c (final_scan_insn): Likewise.
3701         (rest_of_clean_state): Don't dump NOTE_INSN_DELETED_DEBUG_LABEL.
3702         * var-tracking.c (debug_label_num): New variable.
3703         (delete_debug_insns): Don't delete DEBUG_INSNs for LABEL_DECLs,
3704         instead turn them into NOTE_INSN_DELETED_DEBUG_LABEL notes.
3705         * cfglayout.c (skip_insns_after_block, duplicate_insn_chain): Handle
3706         NOTE_INSN_DELETED_DEBUG_LABEL.
3707         (duplicate_insn_chain): Don't duplicate LABEL_DECL DEBUG_INSNs.
3708         * insn-notes.def (DELETED_DEBUG_LABEL): New note kind.
3709         * print-rtl.c (print_rtx): Handle NOTE_INSN_DELETED_DEBUG_LABEL.
3710         * gengtype.c (adjust_field_rtx_def): Likewise.
3711         * config/i386/i386.c (ix86_output_function_epilogue): For MachO
3712         clear CODE_LABEL_NUMBER of NOTE_INSN_DELETED_DEBUG_LABEL
3713         if their are at the end of function and nop hasn't been emitted.
3714         * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Likewise.
3715
3716 2011-11-05  Georg-Johann Lay  <avr@gjlay.de>
3717
3718         PR rtl-optimization/50448
3719         * cprop.c (try_replace_reg): Also try to replace uses of FROM that
3720         appear in SET_DEST.
3721
3722 2011-11-05  Peter Dufault  <dufault@hda.com>,
3723             Sebastian Huber  <sebastian.huber@embedded-brains.de>
3724
3725         * config/rs6000/rtems.h (SUBSUBTARGET_OVERRIDE_OPTIONS):
3726         Extend rs6000_spe handling.
3727
3728 2011-11-05  Ralf Corsépius  <ralf.corsepius@rtems.org>
3729
3730         * config/rs6000/t-rtems: Add -mcpu=8540/-mfloat-gprs=double multilib.
3731         Remove -mcpu=601 multilib.
3732         Remove -Dmpc8260 multilib.
3733         * config/rs6000/rtems.h: Allow --float-gprs=... to override grps
3734         on E500 targets.
3735
3736 2011-11-05  Quentin Neill  <quentin.neill@amd.com>
3737
3738         Piledriver f16cintrin.h fix.
3739         * config/i386/f16cintrin.h: Contents moved from immintrin.h.
3740         * config/i386/immintrin.h: Include f16cintrin.h.
3741         * config.gcc (i[34567]86-*-*, x86_64-*-*): Add f16cintrin.h.
3742
3743
3744 2011-11-04  Eric Botcazou  <ebotcazou@adacore.com>
3745
3746         PR c++/50608
3747         * c-parser.c (c_parser_postfix_expression) <RID_OFFSETOF>: Adjust call
3748         to fold_offsetof.
3749         * c-typeck.c (build_unary_op) <ADDR_EXPR>: Call fold_offsetof_1.
3750
3751 2011-11-04  Alan Modra  <amodra@gmail.com>
3752
3753         * reload1.c (gen_reload): Don't use REGNO on SUBREGs.
3754         * print-rtl.c (print_rtx): Don't segfault on negative regno.
3755
3756 2011-11-04  David S. Miller  <davem@davemloft.net>
3757
3758         PR target/49965
3759         * config/sparc/sparc.c (sparc_expand_conditional_move): Handle the
3760         fact that sparc_emit_float_lib_cmp modifies the comparison in
3761         operands[1].
3762
3763 2011-11-04  Ralf Corsépius  <ralf.corsepius@rtems.org>
3764
3765         * config/lm32/t-rtems: New.
3766         * config.gcc (lm32-*-rtems*): Add t-rtems.
3767
3768 2011-11-04  Eric Botcazou  <ebotcazou@adacore.com>
3769
3770         PR target/50979
3771         * config/sparc/sparc.h (ASM_CPU_SPEC): Pass -Av8 if -mcpu=v8.
3772
3773 2011-11-04  Jiangning Liu  <jiangning.liu@arm.com>
3774
3775         PR rtl-optimization/38644
3776         * config/arm/arm.c (thumb1_expand_epilogue): Add memory barrier
3777         for epilogue having stack adjustment.
3778
3779 2011-11-04  Georg-Johann Lay  <avr@gjlay.de>
3780
3781         PR target/50931
3782         * config/avr/avr-modes.def: New file defining PSImode.
3783         * config/avr/avr-c.c (__INT24_MAX__, __INT24_MIN__,
3784         __UINT24_MAX__): New built-in defines.
3785         * config/avr/avr.md (adjust_len): Add tstpsi, mov24,  reload_in24,
3786         ashlpsi, ashrpsi, lshrpsi.
3787         (QISI, QIDI, HISI, HIDI, MPUSH, rotx, rotsmode): Add PSI.
3788         (MOVMODE): New mode iterator.
3789         (movpsi): New expander.
3790         (movqi, movhi, movsi, movsf, movpsi): Write as one using MOVMODE.
3791         (*reload_inpsi, *movpsi): New insns.
3792         (*reload_inpsi): New RTL peephole.
3793         (addpsi3, *addpsi3_zero_extend.qi, *addpsi3_zero_extend.hi,
3794         *addpsi3_sign_extend.hi): New insns.
3795         (subpsi3, *subpsi3_zero_extend.qi, *subpsi3_zero_extend.hi,
3796         *subpsi3_sign_extend.hi): New insns.
3797         (divmodpsi4, udivmodpsi4): New define insn-and-split.
3798         (*divmodpsi4_call, *udivmodpsi4_call): New insns.
3799         (andpsi3, iorpsi3, xorpsi3): New insns.
3800         (*rotlpsi2.1, *rotlpsi2.23): New insns.
3801         (*rotw<mode>): Insn condition only allow even-sized modes.
3802         (*rotb<mode>): Insn condition allows odd-sized modes.
3803         (ashlpsi3, ashrpsi3, lshrpsi3, *addpsi3.lt0): New insns.
3804         (negpsi2, one_cmplpsi2): New insns.
3805         (extendqipsi2, extendhipsi2, extendpsisi2): New insns.
3806         (zero_extendqipsi2, zero_extendhipsi2, zero_extendpsisi2): New
3807         insn-and-splits.
3808         (*cmppsi, *negated_tstpsi, *reversed_tstpsi): New insns.
3809         (cbranchpsi4): New expander.
3810         * config/avr/constraints.md (Ca3, Co3, Cx3): New constraints.
3811         * config/avr/avr-protos.h (avr_out_tstpsi, avr_out_movpsi,
3812         avr_out_ashlpsi3, avr_out_ashrpsi3, avr_out_lshrpsi3,
3813         avr_out_reload_inpsi): New prototypes.
3814
3815         * config/avr/avr.c (TARGET_SCALAR_MODE_SUPPORTED_P): Define to...
3816         (avr_scalar_mode_supported_p): ...this new static function.
3817         (avr_asm_len): Always return "".
3818         (avr_out_load_psi, avr_out_store_psi): New static functions.
3819         (avr_out_movpsi, avr_out_reload_inpsi): New functions.
3820         (avr_out_tstpsi): New function.
3821         (avr_out_ashlpsi3, avr_out_ashrpsi3, avr_out_lshrpsi3): New functions.
3822         (avr_out_plus_1, output_reload_in_const): Handle 3-byte types.
3823         (avr_simplify_comparison_p): Ditto.
3824         (adjust_insn_length): Handle ADJUST_LEN_RELOAD_IN24,
3825         ADJUST_LEN_MOV24, ADJUST_LEN_TSTPSI, ADJUST_LEN_ASHLPSI,
3826         ADJUST_LEN_ASHRPSI, ADJUST_LEN_LSHRPSI.
3827         (avr_rtx_costs_1): Report PSI costs.
3828         (avr_libcall_value): Handle odd-sized parameters.
3829         (avr_init_builtin_int24): New static function to define built-in
3830         24-bit types __int24 and __uint24.
3831         (avr_init_builtins): Use it.
3832
3833 2011-11-04  Thomas Doerfler <thomas.doerfler@embedded-brains.de>
3834
3835         PR target/50989
3836         * config/arm/rtems-elf.h, config/arm/t-rtems: Add optional
3837         support for VFP floating point model.
3838
3839 2011-11-04  Tristan Gingold  <gingold@adacore.com>
3840
3841         * config/alpha/vms.h (ASM_OUTPUT_DEF): Do not switch section.
3842
3843 2011-11-04  Ira Rosen  <ira.rosen@linaro.org>
3844
3845         Unrevert:
3846         2011-10-24  Ira Rosen  <ira.rosen@linaro.org>
3847
3848         PR tree-optimization/50730
3849         * tree-vect-data-refs.c (vect_analyze_data_refs): Stop basic block
3850         analysis if encountered unsupported data-ref.
3851
3852 2011-11-04  Jakub Jelinek  <jakub@redhat.com>
3853
3854         * config/i386/i386.c (ix86_expand_vector_convert_uns_vsivsf): New
3855         function.
3856         * config/i386/i386-protos.h (ix86_expand_vector_convert_uns_vsivsf):
3857         New prototype.
3858         * config/i386/sse.md (floatuns<sseintvecmodelower><mode>2): Use it.
3859         For floatunsv8siv8sf2 require TARGET_AVX2.
3860
3861         * config/i386/i386.c (ix86_expand_adjust_ufix_to_sfix_si): Add
3862         XORP argument.  Subtract 0x1p31 instead of 0x1p32.  Use normal
3863         signalling comparison instead of non-signalling.  Store into
3864         *XORP pseudo holding 0x80000000 integers if 0x1p31 has been
3865         subtracted and 0 otherwise.
3866         * config/i386/i386-protos.h (ix86_expand_adjust_ufix_to_sfix_si):
3867         Adjust prototype.
3868         * config/i386/sse.md (fixuns_trunc<mode><sseintvecmodelower>2): Enable
3869         already for TARGET_SSE2.  Xor in vector initialized by
3870         ix86_expand_adjust_ufix_to_sfix_si at the end.
3871         (vec_pack_ufix_trunc_<mode>): Likewise.
3872
3873         * tree-vect-stmts.c (vectorizable_conversion): Rewritten to handle
3874         not just FLOAT_EXPR and FIX_TRUNC_EXPR, but also CONVERT_EXPR_CODE_P,
3875         WIDEN_MULT_EXPR and WIDEN_LSHIFT_EXPR to handle what
3876         vectorizable_type_demotion and vectorizable_type_promotion did.
3877         Additionally handle FLOAT_EXPR and FIX_TRUNC_EXPR where the integer
3878         is {,un}signed {char,short}.
3879         (vect_create_vectorized_demotion_stmts): Fix comment typo.  For
3880         recursive calls unconditionally use VEC_PACK_TRUNC_EXPR.
3881         Push vec_dest back to the vec_dsts vector at the end.
3882         (vect_create_vectorized_promotion_stmts): Don't recurse, do just
3883         one step.  Removed multi_step_cvt, vec_dsts, slp_node and
3884         prev_stmt_info arguments, add vec_dest argument.  Push always
3885         into vec_tmp, not just when multi_step_cvt != 0, replace *vec_oprdn0
3886         with vec_tmp at the end after freeing old *vec_oprnd0 vector.
3887         (vectorizable_type_demotion, vectorizable_type_promotion): Removed.
3888         (vect_analyze_stmt): Don't call vectorizable_type_demotion and
3889         vectorizable_type_promotion.  Call vectorizable_conversion even
3890         for SLP bb vectorization.
3891         (vect_transform_stmt): Call vectorizable_conversion instead of
3892         vectorizable_type_demotion and vectorizable_type_promotion.
3893         (supportable_widening_operation): Clear *multi_step_cvt first,
3894         simplify c1/c2 computation, free *interm_types vector on failure.
3895         (supportable_narrowing_operation): Clear *multi_step_cvt first,
3896         free *interm_types vector on failure, handle multi-step
3897         FIX_TRUNC_EXPR.
3898
3899 2011-11-04  Tristan Gingold  <gingold@adacore.com>
3900
3901         * config/alpha/alpha.c (alpha_write_linkage): Remove fundecl
3902         argument.  Conditionally generate crash debug info.  Adjust
3903         for alpha_funcs_tree removal.
3904         (machine_function): Add links field.
3905         (alpha_start_function): Conditionally generate crash debug info.
3906         (alpha_end_function): Adjust call to alpha_write_linkage.
3907         (alpha_funcs): Remove.
3908         (links_kind): Remove.
3909         (alpha_links): Remove num, target and lkind field.  Add func field.
3910         (alpha_links_tree): Remove.
3911         (alpha_funcs_tree): Remove.
3912         (alpha_need_linkage): Remove.
3913         (alpha_use_linkage): Change prototype.  Adjust.
3914         (alpha_write_one_linkage): Use ASM_OUTPUT_INTERNAL_LABEL.
3915         Use SYMBOL_REF_EXTERNAL_P and SYMBOL_REF_LOCAL_P macro.
3916         * config/alpha/alpha-protos.h (alpha_use_linkage): Update.
3917         (alpha_need_linkage): Remove.
3918         * config/alpha/alpha.md: Update calls to alpha_use_linkage.
3919         Adjust calls to alpha_need_linkage.
3920
3921 2011-11-03  Uros Bizjak  <ubizjak@gmail.com>
3922
3923         * sched-vis.c (print_value): Handle STRICT_LOW_PART.
3924
3925 2011-11-03  Uros Bizjak  <ubizjak@gmail.com>
3926
3927         * config/i386/i386.md (lround<X87MODEF:mode><SWI248x:mode>2,
3928         rint<mode>2, floor<mode>2, lfloor<MODEF:mode><SWI48:mode>2,
3929         btrunc<mode>2, lwp_lwpval<mode>3): Use operands[N] instead of operandN.
3930
3931 2011-11-03  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3932
3933         PR target/50978
3934         * config/arm/t-bpabi: New file.
3935         * config.gcc (arm*-*-linux*): Add arm/t-bpabi to tmake_file for
3936         arm*-*-linux-*eabi.
3937         (arm*-*-uclinux*): Add arm/t-bpabi to tmake_file for
3938         arm*-*-uclinux*eabi.
3939         (arm*-*-eabi*, arm*-*-symbianelf*): Add arm/t-bpabi to tmake_file
3940         for arm*-*-eabi*.
3941
3942 2011-11-03  Michael Matz  <matz@suse.de>
3943
3944         PR bootstrap/50857
3945         * configure.ac: Check for -fno-exceptions -fno-rtti.
3946         * configure: Regenerate.
3947         * Makefile.in (NOEXCEPTION_FLAGS): New flag.
3948         (ALL_CXXFLAGS): Use it.
3949
3950 2011-11-03  Uros Bizjak  <ubizjak@gmail.com>
3951
3952         * config/i386/i386.md: Use {} for multi-line preparation statements.
3953
3954 2011-11-03  Eric Botcazou  <ebotcazou@adacore.com>
3955
3956         * config/sparc/sparc.md (movtf_insn_sp32_no_fpu): Consolidate into...
3957         (movtf_insn_sp32): ...this.
3958         (movtf_insn_sp64_no_fpu): Consolidate into...
3959         (movtf_insn_sp64): ...this.
3960         (movtf_insn_sp64_hq): Do not test TARGET_FPU.
3961         * config/sparc/sparc.c (sparc_legitimate_address_p): Likewise.
3962
3963 2011-11-03  Tristan Gingold  <gingold@adacore.com>
3964
3965         * config/vms/vms.c (vms_patch_builtins): Fix typo.
3966
3967 2011-11-03  Richard Guenther  <rguenther@suse.de>
3968
3969         PR lto/44965
3970         * lto-opts.c: Re-implement.
3971         * lto-streamer.h (lto_register_user_option): Remove.
3972         (lto_read_file_options): Likewise.
3973         (lto_reissue_options): Likewise.