aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2016-05-06re PR debug/70935 (ICE: verify_ssa failed (error: definition in block 9 does ↵Yuri Rumyantsev4-0/+56
not dominate use in block 12) w/ -O3 -g) gcc/ 2016-05-06 Yuri Rumyantsev <ysrumyan@gmail.com> PR debug/70935 * tree-ssa-loop-unswitch.c (find_loop_guard): Reject guard edge with loop latch destination. gcc/testsuite/ 2016-05-06 Yuri Rumyantsev <ysrumyan@gmail.com> PR debug/70935 * gcc.dg/torture/pr70935.c: New test. From-SVN: r235962
2016-05-06Manual changes to GCC coding style in tree-ssa-uninit.cMartin Liska2-222/+186
* tree-ssa-uninit.c: Apply manual changes to the GNU coding style. (prune_uninit_phi_opnds): Rename from prune_uninit_phi_opnds_in_unrealizable_paths. From-SVN: r235961
2016-05-06sh.opt (madjust-unroll, [...]): Remove deprecated options.Oleg Endo3-17/+7
gcc/ * config/sh/sh.opt (madjust-unroll, minvalid-symbols, msoft-atomic, mspace): Remove deprecated options. * doc/invoke.texi (SH options): Remove -mspace. From-SVN: r235960
2016-05-06sh.md (ic_invalidate_line_sh4a): Fix insn length.Oleg Endo2-1/+5
gcc/ * config/sh/sh.md (ic_invalidate_line_sh4a): Fix insn length. From-SVN: r235957
2016-05-06sh.md (*cmpeqsi_t): Remove combine insn pattern and similar corresponding ↵Oleg Endo2-39/+5
combine split pattern. gcc/ * config/sh/sh.md (*cmpeqsi_t): Remove combine insn pattern and similar corresponding combine split pattern. From-SVN: r235956
2016-05-06Fix ChangeLog formatting.Oleg Endo1-1/+1
From-SVN: r235955
2016-05-06re PR target/58219 ([SH] mov.l insn length is wrong on SH2A)Oleg Endo5-80/+239
gcc/ PR target/58219 * config/sh/predicates.md (long_displacement_mem_operand): New. * config/sh/sh.md (movsi_i): Allow for SH2A, disallow for any FPU. Add movi20, movi20s alternatives. Adjust length attribute for alternatives. (movsi_ie): Allow for any FPU. Adjust length attribute for alternatives. (movsi_i_lowpart): Add movi20, movi20s alternatives. Adjust length attribute for alternatives. (*mov<mode>): Use long_displacement_mem_operand for length attribute. (*movdi_i, movdf_k, movdf_i4, movsf_i, movsf_ie, movsf_ie_ra): Adjust length attribute for alternatives. gcc/testsuite/ PR target/58219 *gcc.target/sh/pr58219.c: New tests. From-SVN: r235954
2016-05-06re PR tree-optimization/70960 (ICE: tree check: expected ssa_name, have ↵Richard Biener4-0/+23
integer_cst in ifcvt_walk_pattern_tree, at tree-if-conv.c:2465) 2016-05-06 Richard Biener <rguenther@suse.de> PR tree-optimization/70960 * tree-if-conv.c (ifcvt_walk_pattern_tree): Handle non-SSA ops. * gfortran.fortran-torture/compile/pr70960.f90: New testcase. From-SVN: r235953
2016-05-06re PR target/52933 (SH Target: Use div0s for integer sign comparisons)Oleg Endo6-6/+192
gcc/ PR target/52933 * config/sh/sh.md (*cmp_div0s_7, *cmp_div0s_8): Add div0s variants. * config/sh/sh.c (sh_rtx_costs): Add another div0s case. gcc/testsuite/ PR target/52933 * gcc.target/sh/pr52933-1.c (test_31, test_32, test_33, test_34, test_35, test_36, test_37, test_38, test_39, test_40): New sub-tests. Adjust expected instruction counts. * gcc.target/sh/pr52933-2.c: Adjust expected instruction counts. From-SVN: r235952
2016-05-06re PR sanitizer/70875 (ICE in get_ubsan_type_info_for_type with ↵Marek Polacek4-1/+32
-fsanitize=undefined) PR sanitizer/70875 * ubsan.c (get_ubsan_type_info_for_type): Remove assert. * gcc.dg/ubsan/bounds-3.c: New test. From-SVN: r235951
2016-05-06re PR target/54089 ([SH] Refactor shift patterns)Oleg Endo4-1/+34
gcc/ PR target/54089 * config/sh/sh.md (*rotcr): Add another variant. gcc/testsuite/ PR target/54089 * gcc.target/sh/pr54089-1.c (test_24): Add new sub-test. From-SVN: r235950
2016-05-06re PR ada/70969 (bootstrap failure: s-unstyp.ads:40:15: violation of ↵Eric Botcazou9-7/+43
No_Elaboration_Code_All at line 42) PR ada/70969 * system-darwin-ppc64.ads: Add pragma No_Elaboration_Code_All. * system-linux-armeb.ads: Likewise. * system-linux-mips64el.ads: Likewise. * system-linux-mips.ads: Likewise. * system-linux-mipsel.ads: Likewise. * system-linux-ppc64.ads: Likewise. * system-linux-sparcv9.ads: Likewise. * system-rtems.ads: Likewise. From-SVN: r235946
2016-05-06re PR fortran/70931 (ICE with -g in native_encode_initializer, bei ↵Richard Biener4-1/+21
dwarf2out.c:17768) 2016-05-06 Richard Biener <rguenther@suse.de> PR middle-end/70931 * dwarf2out.c (native_encode_initializer): Skip zero-sized fields. * gfortran.dg/pr70931.f90: New testcase. From-SVN: r235944
2016-05-06re PR target/70941 (Test miscompiled with -O2.)Richard Biener4-8/+34
2016-05-06 Richard Biener <rguenther@suse.de> PR middle-end/70941 * fold-const.c (split_tree): Always convert to the original type before negating. * gcc.dg/torture/pr70941.c: New testcase. From-SVN: r235943
2016-05-06fwprop.c (fwprop): Remove duplicate cleanup_cfg call.Richard Biener2-9/+7
2016-05-06 Richard Biener <rguenther@suse.de> * fwprop.c (fwprop): Remove duplicate cleanup_cfg call. (fwprop_addr): Likewise. From-SVN: r235942
2016-05-06Daily bump.GCC Administrator1-1/+1
From-SVN: r235940
2016-05-06re PR target/70873 ([7 Regressio] 20% performance regression at 482.sphinx3 ↵Uros Bizjak4-33/+44
after r235442 with -O2 -m32 on Haswell.) PR target/70873 * config/i386/i386-protos.h (ix86_standard_x87sse_constant_load_p): New prototype. * config/i386/i386.c (ix86_standard_x87sse_constant_load_p): New. * config/i386/i386.md (push mem splitter): Use find_constant_src in the splitter condition. (FP load splitter): Use ix86_standard_x87sse_constant_load_p in the splitter condition. (FP float_extend load splitter): Ditto. From-SVN: r235936
2016-05-05i386.md (peehole2 patterns): Change true_regnum to REGNUM in all peephole2 ↵Uros Bizjak2-31/+40
patterns. * config/i386/i386.md (peehole2 patterns): Change true_regnum to REGNUM in all peephole2 patterns. (post-reload splitters): Change true_regnum to REGNUM in post-reload splitters. (zero_extend splitters): Use general_reg_operand and nonimmediate_gr_operand predicates. From-SVN: r235933
2016-05-05re PR tree-optimization/57206 (Auto-vectorization fails when array index is ↵Bin Cheng2-0/+16
an unsigned int expression) gcc/testsuite PR tree-optimization/57206 * gcc.dg/vect/pr57206.c: New test. From-SVN: r235926
2016-05-05Declare isnanf in gcc.dg/ipa/inline-8.cRainer Orth2-0/+5
* gcc.dg/ipa/inline-8.c (isnanf): Declare. From-SVN: r235925
2016-05-05* decl.c: Update comment.Jason Merrill1-1/+2
From-SVN: r235923
2016-05-05openmp.c (gfc_match_omp_clauses): Restructuralize...Jakub Jelinek2-587/+658
* openmp.c (gfc_match_omp_clauses): Restructuralize, so that clause parsing is done in a big switch based on gfc_peek_ascii_char and individual clauses under their first letters are sorted too. From-SVN: r235922
2016-05-05sse.md (<avx512>_fmadd_<mode>_mask3<round_name>): Use v constraint instead of x.Jakub Jelinek4-2/+36
* config/i386/sse.md (<avx512>_fmadd_<mode>_mask3<round_name>): Use v constraint instead of x. * gcc.target/i386/avx512f-vfmadd-1.c: New test. From-SVN: r235921
2016-05-05c-parser.c (c_parser_switch_statement): Add IF_P argument, parse it through ↵Jakub Jelinek6-5/+52
to c_parser_c99_block_statement. * c-parser.c (c_parser_switch_statement): Add IF_P argument, parse it through to c_parser_c99_block_statement. (c_parser_statement_after_labels): Adjust c_parser_switch_statement caller. * parser.c (cp_parser_selection_statement): For RID_SWITCH, pass if_p instead of NULL to cp_parser_implicitly_scoped_statement. * c-c++-common/Wdangling-else-4.c: New test. From-SVN: r235920
2016-05-05Daily bump.GCC Administrator1-1/+1
From-SVN: r235918
2016-05-05[RS6000] TARGET_RELOCATABLEAlan Modra8-46/+65
For ABI_V4, -mrelocatable and -fPIC both generate position independent code, with some extra "fixup" output for -mrelocatable. The similarity of these two options has led to the situation where the sysv4.h SUBTARGET_OVERRIDE_OPTIONS sets flag_pic on seeing -mrelocatable, and sets TARGET_RELOCATABLE on seeing -fPIC. That prevents LTO from properly optimizing position dependent executables, because the mutual dependence of the flags and the fact that LTO streaming records the state of rs6000_isa_flags, result in flag_pic being set when it shouldn't be. So, don't set TARGET_RELOCATABLE when -fPIC. Places that currently test TARGET_RELOCATABLE can instead test TARGET_RELOCATABLE || (DEFAULT_ABI == ABI_V4 && flag_pic > 1) or since TARGET_RELOCATABLE can only be enabled when ABI_V4, DEFAULT_ABI == ABI_V4 && (TARGET_RELOCATABLE || flag_pic > 1). Also, since flag_pic is set by -mrelocatable, a number of places that currently test TARGET_RELOCATABLE can be simplified. I also made -mrelocatable set TARGET_NO_FP_IN_TOC, allowing TARGET_RELOCATABLE to be removed from ASM_OUTPUT_SPECIAL_POOL_ENTRY_P. Reducing occurrences of TARGET_RELOCATABLE is a good thing. PR target/68662 * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): Don't set OPTION_MASK_RELOCATABLE when flag_pic == 2. Set TARGET_NO_FP_IN_TOC for -mrelocatable. (MINIMAL_TOC_SECTION_ASM_OP): Remove redundant TARGET_RELOCATABLE test. (ASM_OUTPUT_SPECIAL_POOL_ENTRY_P): Likewise. (ASM_PREFERRED_EH_DATA_FORMAT): Likewise. * config/rs6000/linux64.h (MINIMAL_TOC_SECTION_ASM_OP): Likewise. (ASM_OUTPUT_SPECIAL_POOL_ENTRY_P): Likewise. (ASM_PREFERRED_EH_DATA_FORMAT): Likewise. * config/rs6000/freebsd64.h (MINIMAL_TOC_SECTION_ASM_OP): Likewise. (ASM_OUTPUT_SPECIAL_POOL_ENTRY_P): Likewise. (ASM_PREFERRED_EH_DATA_FORMAT): Likewise. * config/rs6000/predicates.md (easy_fp_constant): Likewise. * config/rs6000/rs6000.c (rs6000_elf_output_toc_section_asm_op): Likewise. (rs6000_assemble_integer): Update TARGET_RELOCATABLE test. (rs6000_stack_info): Likewise. (rs6000_elf_asm_out_constructor): Likewise. (rs6000_elf_asm_out_destructor): Likewise. (rs6000_elf_declare_function_name): Likewise. * config/rs6000/rs6000.md (load_toc_aix_di): Likewise. * config/rs6000/rs6000.h (MASK_RELOCATABLE, MASK_MINIMAL_TOC): Don't define. From-SVN: r235914
2016-05-05[RS6000] Rewrite rs6000_frame_related to use simplify_replace_rtxAlan Modra2-70/+48
Modify SETs rather than using replace_rtx on the whole insn. Removes fragile hacks preventing USE and CLOBBER being modified. * config/rs6000/rs6000.c (rs6000_frame_related): Rewrite. From-SVN: r235913
2016-05-05[RS6000] out-of-line exit register restore funcsAlan Modra2-9/+21
* config/rs6000/rs6000.c (rs6000_savres_strategy): Don't use out-of-line gpr restore for one or two regs if that would add a save of lr. From-SVN: r235907
2016-05-04re PR target/70873 ([7 Regressio] 20% performance regression at 482.sphinx3 ↵Uros Bizjak2-56/+77
after r235442 with -O2 -m32 on Haswell.) PR target/70873 * config/i386/i386.md (TARGET_SSE_PARTIAL_REG_DEPENDENCY float_extend sf->df peephole2): Change to post-epilogue_completed late splitter. Use sse_reg_operand as operand 0 predicate. (TARGET_SSE_PARTIAL_REG_DEPENDENCY float_truncate df->sf peephole2): Ditto. (TARGET_SSE_PARTIAL_REG_DEPENDENCY float {si,di}->{sf,df} peephole2): Ditto. Emit the pattern using RTX. (TARGET_USE_VECTOR_FP_CONVERTS float_extend sf->df splitter): Use sse_reg_opreand as operand 0 predicate. Do not use true_regnum in the post-reload splitter. Use lowpart_subreg instead of gen_rtx_REG. (TARGET_USE_VECTOR_FP_CONVERTS float_truncate df->sf splitter): Ditto. (TARGET_USE_VECTOR_CONVERTS float si->{sf,df} splitter): Use sse_reg_operand as operand 0 predicate. (TARGET_SPLIT_MEM_OPND_FOR_FP_CONVERTS float_extend sf->df peephole2): Use sse_reg_opreand as operand 0 predicate. Use lowpart_subreg instead of gen_rtx_REG. (TARGET_SPLIT_MEM_OPND_FOR_FP_CONVERTS float_truncate sf->df peephole2): Ditto. From-SVN: r235906
2016-05-04shrink-wrap: Remove complicated simple_return manipulationsSegher Boessenkool4-374/+33
Now that cfgcleanup knows how to optimize with return statements, the epilogue insertion code doesn't have to deal with it itself anymore. * function.c (emit_use_return_register_into_block): Delete. (gen_return_pattern): Delete. (emit_return_into_block): Delete. (active_insn_between): Delete. (convert_jumps_to_returns): Delete. (emit_return_for_exit): Delete. (thread_prologue_and_epilogue_insns): Delete all code dealing with simple_return for shrink-wrapped blocks. * shrink-wrap.c (try_shrink_wrapping): Insert simple_return at the end of blocks that need one. (get_unconverted_simple_return): Delete. (convert_to_simple_return): Delete. * shrink-wrap.c (get_unconverted_simple_return): Delete declaration. (convert_to_simple_return): Ditto. From-SVN: r235905
2016-05-04cfgcleanup: Fold jumps and conditional branches with returnsSegher Boessenkool2-0/+127
This patch makes cfgcleanup optimize jumps to returns. There are three cases this handles: -- A jump to a return; this is simplified to just that return. -- A conditional branch to a return; simplified to a conditional return. -- A conditional branch that falls through to a return. This is simplified to a conditional return (with the condition inverted), falling through to a jump to the original destination. That jump can then be optimized further, as usual. This handles all cases the current function.c does, and a few it misses. * cfgcleanup.c (bb_is_just_return): New function. (try_optimize_cfg): Simplify jumps to return, branches to return, and branches around return. From-SVN: r235904
2016-05-04cfgcleanup: Bugfix in try_simplify_condjumpSegher Boessenkool2-0/+6
If the jump_block here contains just a return, we will crash later in invert_jump. Don't allow that case. * cfgcleanup.c (try_simplify_condjump): Don't try to simplify a branch to a return. From-SVN: r235903
2016-05-04re PR c++/70906 (ice in add_expr, at tree.c:7925)Jakub Jelinek7-4/+130
PR c++/70906 PR c++/70933 * tree-core.h (enum operand_equal_flag): Add OEP_HASH_CHECK. * tree.c (inchash::add_expr): If !IS_EXPR_CODE_CLASS (tclass), assert flags & OEP_HASH_CHECK, instead of asserting it never happens. Handle TARGET_EXPR. * fold-const.c (operand_equal_p): For hash verification, or in OEP_HASH_CHECK into flags. * g++.dg/opt/pr70906.C: New test. * g++.dg/opt/pr70933.C: New test. From-SVN: r235902
2016-05-04tree-ssa-coalesce.c (gimple_can_coalesce_p): Fix reference in head comment.Eric Botcazou2-2/+9
* tree-ssa-coalesce.c (gimple_can_coalesce_p): Fix reference in head comment. (compute_samebase_partition_bases): Fix typo. From-SVN: r235900
2016-05-04sse.md (vec_interleave_highv8sf, [...]): Remove constraints from expanders.Jakub Jelinek2-8/+12
* config/i386/sse.md (vec_interleave_highv8sf, vec_interleave_lowv8sf, vec_interleave_highv4df, vec_interleave_lowv4df): Remove constraints from expanders. From-SVN: r235898
2016-05-04s-osinte-gnu.ads (Get_Page_Size): Return int and use getpagesize instead of ↵Samuel Thibault2-4/+8
__getpagesize. * s-osinte-gnu.ads (Get_Page_Size): Return int and use getpagesize instead of __getpagesize. From-SVN: r235896
2016-05-04sse.md (sse2_movq128): Use v constraint instead of x.Jakub Jelinek4-2/+26
* config/i386/sse.md (sse2_movq128): Use v constraint instead of x. * gcc.target/i386/avx512vl-vmovq-1.c: New test. From-SVN: r235893
2016-05-04tree-inline.c (expand_call_inline): Fix path dealing with making lhs of call ↵Jan Hubicka2-1/+11
statement undefined. * tree-inline.c (expand_call_inline): Fix path dealing with making lhs of call statement undefined. From-SVN: r235889
2016-05-04cgraph.c (cgraph_node::call_for_symbol_thunks_and_aliases): Check ↵Jan Hubicka6-64/+123
availability on NODE, too. * cgraph.c (cgraph_node::call_for_symbol_thunks_and_aliases): Check availability on NODE, too. * cgraph.h (symtab_node::call_for_symbol_and_aliases): Likewise. (cgraph_node::call_for_symbol_and_aliases): Likewise. (varpool_node::call_for_symbol_and_aliase): Likewise. * ipa-pure-const.c (add_new_function): Analyze all bodies. (propagate_pure_const): Propagate across interposable functions, too. (skip_function_for_local_pure_const): Do not skip interposable bodies with aliases. (pass_local_pure_const::execute): Update. * gcc.dg/ipa/pure-const-3.c: New testcase. From-SVN: r235887
2016-05-04c.opt (Wdangling-else): New option.Marek Polacek12-43/+116
* c.opt (Wdangling-else): New option. * c-parser.c (c_parser_if_statement): Replace OPT_Wparentheses with OPT_Wdangling_else. * parser.c (cp_parser_selection_statement): Replace OPT_Wparentheses with OPT_Wdangling_else. * doc/invoke.texi: Document -Wdangling-else. * c-c++-common/Wdangling-else-1.c: New test. * c-c++-common/Wdangling-else-2.c: New test. * c-c++-common/Wdangling-else-3.c: New test. From-SVN: r235885
2016-05-04mips16-attributes.c: Skip if -mmicromips flag is present.Kwok Cheung Yeung2-0/+6
2016-05-04 Kwok Cheung Yeung <kcy@codesourcery.com> * gcc.target/mips/mips16-attributes.c: Skip if -mmicromips flag is present. From-SVN: r235881
2016-05-04re PR c/48778 (gcc 4.6 -Waddress adds unhelpful new warning case when using ↵Marek Polacek4-2/+39
from a macro) PR c/48778 * c-typeck.c (build_binary_op): Don't issue -Waddress warnings for macro expansions. * gcc.dg/Waddress-2.c: New test. From-SVN: r235878
2016-05-04config.gcc: Error out when conflicting multilib is detected.Thomas Preud'homme2-25/+32
2016-05-04 Thomas Preud'homme <thomas.preudhomme@arm.com> gcc/ * config.gcc: Error out when conflicting multilib is detected. Do not loop over multilibs since no combination is legal. From-SVN: r235877
2016-05-04[RS6000] Correct PIC_OFFSET_TABLE_REGNUMAlan Modra2-1/+5
Leaving this as r30 results in pic_offset_table_rtx of (reg 30) for -m64, which is completely bogus. Various rtl analysis predicate functions treat pic_offset_table_rtx specially.. * config/rs6000/rs6000.h (PIC_OFFSET_TABLE_REGNUM): Correct. From-SVN: r235876
2016-05-04[RS6000] Simplify sysv4.h TARGET_TOCAlan Modra2-4/+3
We can use the TARGET_* defines here. There isn't any reason to use the underlying variable and masks. Also, TARGET_RELOCATABLE implies TARGET_MINIMAL_TOC, so there is no need to test TARGET_RELOCATABLE. * config/rs6000/sysv4.h (TARGET_TOC): Simplify. From-SVN: r235875
2016-05-04[RS6000] Align .toc sectionAlan Modra2-3/+18
Lack of any .toc section alignment causes kexec and kdump failure when linking without the usual linker script. This of course is really a kexec-tools error, but it is also true that .toc ought to always be word aligned. * config/rs6000/rs6000.c (rs6000_elf_output_toc_section_asm_op): Align .toc. From-SVN: r235874
2016-05-04Update MIPS P5600 processor definition to avoid IMADDMatthew Fortune2-5/+8
gcc/ * config/mips/mips-cpus.def (p5600): Avoid IMADD by default. Clean up p5600 comments. From-SVN: r235873
2016-05-04match.pd: Add BIT_FIELD_REF canonicalizations and vector constructor ↵Richard Biener3-72/+117
simplifications. 2016-05-04 Richard Biener <rguenther@suse.de> * match.pd: Add BIT_FIELD_REF canonicalizations and vector constructor simplifications. * fold-const.c (fold_ternary_loc): Remove duplicate functionality here. From-SVN: r235871
2016-05-04predicates (post_inc_mem, [...]): New predicates.Oleg Endo5-8/+58
gcc/ * config/sh/predicates (post_inc_mem, pre_dec_mem): New predicates. * config/sh/sh-protos.h (sh_find_set_of_reg): Return null result if result.set_rtx is null instead of aborting. * config/sh/sh.h (USE_LOAD_POST_INCREMENT, USE_STORE_PRE_DECREMENT): Always enable. (USE_LOAD_PRE_DECREMENT, USE_STORE_POST_INCREMENT): Enable for SH2A. * config/sh/sh.md (*extend<mode>si2_predec, *mov<mode>_load_predec, *mov<mode>_store_postinc): New patterns. From-SVN: r235859
2016-05-04Remove duplicate (A & B) OP (C & B) in match.pd.Marc Glisse2-10/+11
2016-05-04 Marc Glisse <marc.glisse@inria.fr> * match.pd ((A | B) & (A | C)): Generalize to BIT_XOR_EXPR. Mark as commutative. Check both conversions are NOP. ((A & B) OP (C & B)): Remove. From-SVN: r235858
generated by cgit v1.1 at 2025-09-21 06:41:02 +0000