aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2016-10-12[multiple changes]Arnaud Charlet10-55/+179
2016-10-12 Jerome Lambourg <lambourg@adacore.com> * init.c: Make sure to call finit on x86_64-vx7 to reinitialize the FPU unit. 2016-10-12 Arnaud Charlet <charlet@adacore.com> * lib-load.adb (Load_Unit): Generate an error message even when Error_Node is null. 2016-10-12 Ed Schonberg <schonberg@adacore.com> * lib-writ.adb (Write_ALI): Disable optimization related to transitive limited_with clauses for now. 2016-10-12 Javier Miranda <miranda@adacore.com> * sem_attr.adb (Analyze_Attribute_Old_Result): Generating C code handle 'old located in inlined _postconditions procedures. (Analyze_Attribute [Attribute_Result]): Handle 'result when rewriting the attribute as a reference to the formal parameter _Result of inlined _postconditions procedures. 2016-10-12 Tristan Gingold <gingold@adacore.com> * s-rident.ads (Profile_Info): Remove Max_Protected_Entries restriction from GNAT_Extended_Ravenscar * sem_ch9.adb (Analyze_Protected_Type_Declaration): Not a controlled type on restricted runtimes. 2016-10-12 Gary Dismukes <dismukes@adacore.com> * sem_ch3.adb (Derive_Subprogram): Add test for Is_Controlled of Parent_Type when determining whether an inherited subprogram with one of the special names Initialize, Adjust, or Finalize should be derived with its normal name even when inherited as a private operation (which would normally result in the inherited operation having a special "hidden" name). 2016-10-12 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Call): If a function call returns a limited view of a type replace it with the non-limited view, which must be available when compiling call. This was already done elsewhere for non-overloaded calls, but needs to be done after resolution if function name is overloaded. 2016-10-12 Javier Miranda <miranda@adacore.com> * a-tags.adb (IW_Membership [private]): new overloaded subprogram that factorizes the code needed to check if a given type implements an interface type. (IW_Membership [public]): invoke the new internal IW_Membership function. (Is_Descendant_At_Same_Level): Fix this routine to implement RM 3.9 (12.3/3) From-SVN: r241036
2016-10-12[multiple changes]Arnaud Charlet13-47/+136
2016-10-12 Tristan Gingold <gingold@adacore.com> * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Add support for a secondary procedure in case of missing Ada.Calendar.Delays * rtsfind.ads (RTU_Id): Add System_Relative_Delays. (RE_Id): Add RO_RD_Delay_For. * rtsfind.adb (Output_Entity_Name): Handle correctly units RO_XX. * s-rident.ads: Remove No_Relative_Delays restriction for GNAT_Extended_Ravenscar. 2016-10-12 Ed Schonberg <schonberg@adacore.com> * sem_elab.adb (Within_Initial_Condition): When deternining the context of the expression, use the original node if it is a pragma, because Check pragmas are rewritten as conditionals when assertions are not enabled. 2016-10-12 Bob Duff <duff@adacore.com> * spitbol_table.ads, spitbol_table.adb (Adjust, Finalize): Add "overriding". 2016-10-12 Bob Duff <duff@adacore.com> * a-strunb-shared.ads, a-strunb-shared.adb (Finalize): Make sure Finalize is idempotent. (Unreference): Check for Empty_Shared_String, in case the reference count of the empty string wraps around. Also add "not null" in various places that can't be null. 2016-10-12 Jerome Lambourg <lambourg@adacore.com> * init.c: Fix sigtramp with the x86_64-vx7-vxsim target on Windows host. 2016-10-12 Vadim Godunko <godunko@adacore.com> * s-os_lib.ads (Is_Owner_Readable_File): Renamed from Is_Readable_File. (Is_Owner_Writable_File): Renamed from Is_Writable_File. (Is_Readable_File): Renames Is_Read_Accessible_File. (Is_Writable_File): Renames Is_Write_Accessible_File. From-SVN: r241035
2016-10-12Add a helper function: create_tmp_reg_or_ssa_nameMartin Liska2-41/+34
* gimple-fold.c (create_tmp_reg_or_ssa_name): New function. (gimple_fold_builtin_memory_op): Use the function. (gimple_fold_builtin_strchr): Likewise. (gimple_fold_builtin_strcat): Likewise. (gimple_build): Likewise. From-SVN: r241030
2016-10-12sem_ch12.adb (Check_Formal_Package_Instance): Skip an internal formal entity ↵Ed Schonberg3-5/+24
without a parent only if... 2016-10-12 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Check_Formal_Package_Instance): Skip an internal formal entity without a parent only if the corresponding actual entity has a different kind. * exp_ch9.adb (Build_Class_Wide_Master): If the master is declared locally, insert the renaming declaration after the master declaration, to prevent access before elaboration in gigi. From-SVN: r241029
2016-10-12contracts.adb (Analyze_Contracts): For a type declaration, analyze an ↵Ed Schonberg2-0/+22
iterable aspect when present. 2016-10-12 Ed Schonberg <schonberg@adacore.com> * contracts.adb (Analyze_Contracts): For a type declaration, analyze an iterable aspect when present. From-SVN: r241028
2016-10-12* diagnostic.c (diagnostc_report_diagnostic): Fix formatting.Nathan Sidwell2-4/+10
From-SVN: r241027
2016-10-12[multiple changes]Arnaud Charlet7-21/+107
2016-10-12 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Check_Formal_Package_Instance): Handle properly an instance of a formal package with defaults, when defaulted parameters include tagged private types and array types. 2016-10-12 Tristan Gingold <gingold@adacore.com> * restrict.ads, restrict.adb (Restricted_Profile): Adjust comment, use Restricted_Tasking to compare restrictions. * s-rident.ads (Profile_Name): Add Restricted_Tasking and reorder literals. (Profile_Info): Set restrictions for Restricted_Tasking. 2016-10-12 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Analyze_Full_Type_Declaration): Set Ghost status of type before elaborating inherited operations, so that the Ghost status is set properly for them. * ghost.adb (Check_Ghost_Overriding): A ghost subprogram can override an abstract subprogram coming from an interface operation. From-SVN: r241026
2016-10-12re PR ada/64057 (possible issue in the shared implementation of ↵Eric Botcazou1-7/+11
Ada.Strings.Unbounded) 2016-10-12 Eric Botcazou <ebotcazou@adacore.com> PR ada/64057 * exp_ch5.adb (Is_Non_Local_Array): Return true for every array that is not a component or slice of an entity in the current scope. From-SVN: r241025
2016-10-12DWARF: space-optimize loc. descr. for integer literals on 32-bit targetsPierre-Marie de Rodat4-5/+64
This enhances location description generation so that the generated opcodes for integer literals are as space-efficient when HOST_WIDE_INT is 64-bits large than when it's 32-bits large. In particular, this reduces the size of the opcodes generated to produce big unsigned literals using small literal integers instead. gcc/ * dwarf2out.c (int_loc_descriptor): Generate opcodes for another equivalent 32-bit constant (modulo 2**32) when that yields smaller instructions. (size_of_int_loc_descriptor): Update accordingly. gcc/testsuite/ * gnat.dg/debug8.adb: New testcase. From-SVN: r241024
2016-10-12DWARF: fix scoping for descriptions of local typesPierre-Marie de Rodat4-0/+72
In Ada, it is possible to have nested subprograms in the following configuration: procedure Parent is type T; [...] procedure Child (Value : T) is begin [...] end Child; begin [...] end Parent; As we currently generate debugging information for Child first before Parent, the debug info for T appears in global scope since the DIE for Parent does not exist yet. This patch makes sure that when we generate early debug info for a nested function, we trigger generation for the parent function first. gcc/ * dwarf2out.c (dwarf2out_early_global_decl): For nested functions, call dwarf2out_decl on the parent function first. gcc/testsuite/ * gnat.dg/debug9.adb: New testcase. From-SVN: r241023
2016-10-12match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint on the ↵Richard Biener2-4/+7
conversion. 2016-10-12 Richard Biener <rguenther@suse.de> * match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint on the conversion. From-SVN: r241022
2016-10-122016-10-12 Richard Biener <rguenther@suse.de>Richard Biener7-21/+33
* tree-ssa-propagate.c (substitute_and_fold_dom_walker::before_dom_children): Do not ignore ASSERT_EXPRs but only preserve them. * tree-vrp.c (remove_range_assertions): Deal with ASSERT_EXPRs that have been propagated into. (vrp_finalize): Enable DCE for substitute_and_fold. * gcc.dg/tree-ssa/vrp35.c: Adjust. * gcc.dg/tree-ssa/vrp36.c: Likewise. * gcc.dg/tree-ssa/vrp46.c: Likewise. From-SVN: r241021
2016-10-12re PR middle-end/77920 (186.crafty doesn't compile)Richard Biener4-17/+41
2016-10-12 Richard Biener <rguenther@suse.de> PR tree-optimization/77920 * tree-vrp.c (simplify_div_or_mod_using_ranges): Simplify. (simplify_min_or_max_using_ranges): Pass in gsi and use it. (simplify_abs_using_ranges): Likewise. (simplify_conversion_using_ranges): Likewise. (simplify_stmt_using_ranges): Adjust. * gcc.dg/torture/pr77920.c: New testcase. From-SVN: r241020
2016-10-12re PR tree-optimization/77929 (ICE: verify_gimple failed (error: non-trivial ↵Jakub Jelinek4-3/+39
conversion at assignment)) PR tree-optimization/77929 * tree-ssa-reassoc.c (optimize_range_tests_var_bound): Handle (*ops)[ranges[i].idx]->op != ranges[i].exp case. * gcc.c-torture/compile/pr77929.c: New test. From-SVN: r241019
2016-10-11re PR target/77934 (pattern for mtvsrdd needs to use b constraint not r)Aaron Sawdey2-2/+8
2016-10-12 Aaron Sawdey <acsawdey@linux.vnet.ibm.com> PR target/77934 * config/rs6000/vmx.md (vsx_concat_<mode>): The mtvsrdd instruction needs a base register for arg 1. From-SVN: r241017
2016-10-12Daily bump.GCC Administrator1-1/+1
From-SVN: r241016
2016-10-12gcc/Jakub Jelinek17-15/+398
* common.opt (Wimplicit-fallthrough) Turn into alias to -Wimplicit-fallthrough=3. Remove EnabledBy. (Wimplicit-fallthrough=): New option. * gimplify.c (warn_implicit_fallthrough_r): Use OPT_Wimplicit_fallthrough_ instead of OPT_Wimplicit_fallthrough. * doc/invoke.texi (-Wimplicit-fallthrough): Document as alias to -Wimplicit-fallthrough=3. (-Wimplicit-fallthrough=): Document. gcc/c-family/ * c.opt (Wextra): Add as C/C++/ObjC/ObjC++ option. (Wimplicit-fallthrough=): Enable for these languages by -Wextra. * c-opts.c (sanitize_cpp_opts): Initialize cpp_opts->cpp_warn_implicit_fallthrough. gcc/testsuite/ * c-c++-common/Wimplicit-fallthrough-25.c: New test. * c-c++-common/Wimplicit-fallthrough-26.c: New test. * c-c++-common/Wimplicit-fallthrough-27.c: New test. * c-c++-common/Wimplicit-fallthrough-28.c: New test. * c-c++-common/Wimplicit-fallthrough-29.c: New test. * c-c++-common/Wimplicit-fallthrough-30.c: New test. * c-c++-common/Wimplicit-fallthrough-31.c: New test. * c-c++-common/Wimplicit-fallthrough-32.c: New test. * c-c++-common/Wimplicit-fallthrough-33.c: New test. libcpp/ * include/cpplib.h (struct cpp_options): Add cpp_warn_implicit_fallthrough. * init.c (cpp_create_reader): Initialize it to 0. * lex.c (fallthrough_comment_p): Handle different cpp_warn_implicit_fallthrough levels. Whitespace fixes. From-SVN: r241013
2016-10-11sparc.c (emit_scc_insn): Remove direct support for EQ and GEU in DImode if ↵Eric Botcazou11-244/+128
TARGET_SUBXC. * config/sparc/sparc.c (emit_scc_insn): Remove direct support for EQ and GEU in DImode if TARGET_SUBXC. * config/sparc/sparc.md (seqdi<W:mode>_zero): Remove TARGET_SUBXC. (seqdi<W:mode>_zero_subxc): Delete. (neg_seqdi<W:mode>_zero): Remove TARGET_VIS3. (neg_seqdi<W:mode>_zero_vis3): Delete. (plus_seqdi<W:mode>_zero): Likewise. (minus_seqdi<W:mode>_zero): Likewise. (plus_plus_sltu<W:mode>): Accept only register. (addx<W:mode>): Likewise. (plus_sltu<W:mode>_vis3): Likewise. (plus_plus_sltu<W:mode>_vis3): Likewise. (neg_sgeu<W:mode>_vis3): Delete. (minus_sgeu<W:mode>_vis3): Likewise. (addxc<W:mode>): Accept only registers. (neg_sltu<W:mode>_subxc): Write %%g0 instead of 0. (minus_neg_sltu<W:mode>_subxc): Accept only register. (neg_plus_sltu<W:mode>_subxc): Likewise. (minus_sltu<W:mode>_subxc): Write %%g0 instead of 0. (minus_minus_sltu<W:mode>_subxc): Accept only register. (sgeu<W:mode>_insn_subxc): Delete. (plus_sgeu<W:mode>_subxc): Likewise. (subxc<W:mode>): Accept only register. (scc splitter): Split always GEU again. From-SVN: r241012
2016-10-11iresolve.c (is_trig_resolved, [...]): Formatting fixes.Jakub Jelinek3-76/+77
* iresolve.c (is_trig_resolved, resolve_trig_call): Formatting fixes. * simplify.c (simplify_trig_call, degrees_f, radians_f, gfc_simplify_atrigd, gfc_simplify_cotan): Likewise. From-SVN: r241010
2016-10-11re PR tree-optimization/77424 (Identical statements in if-else branches)Jeff Law2-46/+12
PR tree-optimization/77424 * tree-ssa-threadupdate.c (thread_through_all_blocks): Remove dead conditionals. Assert that all e->aux fields are NULL. From-SVN: r241009
2016-10-11re PR fortran/77942 (ICE: Floating point exception, in gfc_simplify_cshift, ↵Steven G. Kargl4-2/+17
at fortran/simplify.c:1845) 2016-10-11 Steven G. Kargl <kargl@gcc.gnu.org> PR fortran/77942 * simplify.c (gfc_simplify_cshift): Check for zero. 2016-10-11 Steven G. Kargl <kargl@gcc.gnu.org> PR fortran/77942 * gfortran.dg/pr77942.f90 From-SVN: r241008
2016-10-11system-linux-armeb.ads (Backend_Overflow_Checks): Change to True.Eric Botcazou7-22/+32
* system-linux-armeb.ads (Backend_Overflow_Checks): Change to True. * system-linux-mips.ads (Backend_Overflow_Checks): Likewise. * system-linux-mips64el.ads (Backend_Overflow_Checks): Likewise. * system-linux-mipsel.ads (Backend_Overflow_Checks): Likewise. * system-linux-sparcv9.ads (Backend_Overflow_Checks): Likewise. * system-rtems.ads: Likewise. From-SVN: r241003
2016-10-11Split print_rtx into subroutinesDavid Malcolm2-396/+467
gcc/ChangeLog: * print-rtl.c (print_rtx): Rename "i" to "idx". Split out the operand-printing "switch" statement into... (print_rtx_operand_code_0): ...this new function, ... (print_rtx_operand_code_e): ...this new function, ... (print_rtx_operand_codes_E_and_V): ...this new function, ... (print_rtx_operand_code_i): ...this new function, ... (print_rtx_operand_code_r): ...this new function, ... (print_rtx_operand_code_u): ...this new function, ... (print_rtx_operand): ...and this new function. From-SVN: r241002
2016-10-11Fix bad commit for -fdec-math.Fritz Reese3-9/+12
2016-10-11 Fritz Reese <fritzoreese@gmail.com> Fix bad commit for -fdec-math. * iresolve.c (get_radians, get_degrees): Fix sloppy commit. * simplify.c (degrees_f, radians_f): Ditto. From-SVN: r241001
2016-10-11simplify.c (radians_f): Fix mpdr_mod.Jerry DeLisle3-2/+11
2016-10-11 Jerry DeLisle <jvdelisle@gcc.gnu.org> * simplify.c (radians_f): Fix mpdr_mod. * ireolce.c (get_degrees): Declare tmp. From-SVN: r241000
2016-10-11adaint.c: Include process.h, signal.h, dir.h and utime.h for DJGPP.Andris Pavenis2-7/+44
2016-10-11 Andris Pavenis <andris.pavenis@iki.fi> * adaint.c: Include process.h, signal.h, dir.h and utime.h for DJGPP. ISALPHA: include <ctype.h> and define to isalpha for DJGPP when IN_RTS is defined. (DIR_SEPARATOR) define to '\\' for DJGPP. (__gnat_get_file_names_case_sensitive): return 0 for DJGPP unless overriden in environment (__gnat_is_absolute_path): Support MS-DOS style absolute paths for DJGPP. (__gnat_portable_spawn): Use spewnvp for DJGPP. (__gnat_portable_no_block_spawn): Use spawnvp for DJGPP. (__gnat_portable_wait): Return 0 for DJGPP. From-SVN: r240999
2016-10-11Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP targetAndris Pavenis3-0/+171
2016-10-11 Andris Pavenis <andris.pavenis@iki.fi> * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP target (EH_MECHANISM): Define to -gcc for DJGPP * system-djgpp.ads: New file From-SVN: r240998
2016-10-11ctrl_c.c: Do not use macro SA_RESTART for DJGPP.Andris Pavenis7-7/+58
2016-10-11 Andris Pavenis <andris.pavenis@iki.fi> * ctrl_c.c: Do not use macro SA_RESTART for DJGPP. * gsocket.h: Do not support sockets for DJGPP. * init.c (__gnat_install_handler): Implememt for DJGPP * sysdep.c: Include <io.h> for DJGPP (_setmode): Define to setmode for DJGPP (__gnat_set_mode): Add implementation for DJGPP (__gnat_localtime_tzoff): Use localtime_r for DJGPP * terminals.c: Add DJGPP to list of unsupported platforms. * env.c (__gnat_clearenv): use _gnat_unsetenv on all entries for DJGPP From-SVN: r240997
2016-10-11alpha-passes.def: New file.Uros Bizjak6-22/+71
* config/alpha/alpha-passes.def: New file. * config/alpha/t-alpha: New file. * config/alpha/alpha-protos.h (gcc::context, rtl_opt_pass): Declare. (make_pass_handle_trap_shadows): New prototype. (make_pass_align_insns): Ditto. * config/alpha/alpha.c (alpha_option_override): Don't register passes here. * config.gcc (alpha*-*-*) Add alpha/t-alpha to tmake_file. From-SVN: r240996
2016-10-11re PR target/77924 (-mfloat128-type change broke AIX)Michael Meissner2-4/+11
2016-10-11 Michael Meissner <meissner@linux.vnet.ibm.com> PR target/77924 * config/rs6000/rs6000.c (rs6000_init_builtins): Only create the distinct __ibm128 IBM extended double type if long doubles are 128-bits and the default format for long double is IEEE 128-bit. From-SVN: r240994
2016-10-11configure: redirect -fsplit-stack compilation to dev/nullIan Lance Taylor1-1/+1
Avoid an error message in the middle of the configure output. Patch by Eric Botcazou. Reviewed-on: https://go-review.googlesource.com/30813 From-SVN: r240993
2016-10-11dwarf2out.c (DEBUG_STR_OFFSETS_SECTION): Remove conditional.Richard Biener2-10/+61
2016-10-11 Richard Biener <rguenther@suse.de> * dwarf2out.c (DEBUG_STR_OFFSETS_SECTION): Remove conditional. (init_sections_and_labels): Use DEBUG_DWO_STR_OFFSETS_SECTION. (verify_die): New function. (dwarf2out_finish): Call it. (output_line_info): Handle case of -gsplit-dwarf without DWARF2_ASM_LINE_DEBUG_INFO. From-SVN: r240992
2016-10-11re PR debug/77931 (PASS->FAIL: gdb.cp/namespace.exp: print ina)Richard Biener2-7/+16
2016-10-11 Richard Biener <rguenther@suse.de> PR debug/77931 * gimple-low.c (lower_gimple_bind): Handle arbitrary common sub-chains of BLOCK_VARS and gimple_bind_vars. From-SVN: r240991
2016-10-11Fix integer load reservation for -march=znver1 Venkataramanan Kumar2-4/+8
2016-10-11 Venkataramanan Kumar <Venkataramanan.kumar@amd.com> * config/i386/znver1.md : Fix imov/imovx load type reservations. From-SVN: r240990
2016-10-11New flag -fdec-math for COTAN and degree trig intrinsics.Fritz Reese13-5/+1463
2016-10-11 Fritz Reese <fritzoreese@gmail.com> New flag -fdec-math for COTAN and degree trig intrinsics. gcc/fortran/ * lang.opt: New flag -fdec-math. * options.c (set_dec_flags): Enable with -fdec. * invoke.texi, gfortran.texi, intrinsic.texi: Update documentation. * intrinsics.c (add_functions, do_simplify): New intrinsics with -fdec-math. * gfortran.h (gfc_isym_id): New isym GFC_ISYM_COTAN. * gfortran.h (gfc_resolve_atan2d, gfc_resolve_cotan, gfc_resolve_trigd, gfc_resolve_atrigd): New prototypes. * iresolve.c (resolve_trig_call, get_degrees, get_radians, is_trig_resolved, gfc_resolve_cotan, gfc_resolve_trigd, gfc_resolve_atrigd, gfc_resolve_atan2d): New functions. * intrinsics.h (gfc_simplify_atan2d, gfc_simplify_atrigd, gfc_simplify_cotan, gfc_simplify_trigd): New prototypes. * simplify.c (simplify_trig_call, degrees_f, radians_f, gfc_simplify_cotan, gfc_simplify_trigd, gfc_simplify_atrigd, gfc_simplify_atan2d): New functions. gcc/testsuite/gfortran.dg/ * dec_math.f90: New testsuite. From-SVN: r240989
2016-10-11Minor tweaksEric Botcazou1-5/+5
From-SVN: r240988
2016-10-11Fix gcc.dg/tree-ssa/pr59597.c failure for avrSenthil Kumar Selvaraj2-1/+8
Declare loop index variable j as a 32 bit int instead of assuming ints are 32 bits. The smaller int size on the avr makes prior passes optimize away the loop exit check (j < 10000000), as the constant is outside the range of a 16 bit int. gcc/testsuite/ChangeLog 2016-10-11 Senthil Kumar Selvaraj <senthil_kumar.selvaraj@atmel.com> * gcc.dg/tree-ssa/pr59597.c: Typedef __INT32_TYPE__ to i32. (main): Declare j as i32 instead of int. From-SVN: r240986
2016-10-11exp_dbug.adb (Debug_Renaming_Declaration): Process underlying types.Pierre-Marie de Rodat6-7/+98
* exp_dbug.adb (Debug_Renaming_Declaration): Process underlying types. Emit GNAT encodings for object renamings involving record components whose normalized bit offset is not null. * uintp.h (UI_No_Uint): Declare. * gcc-interface/gigi.h (can_materialize_object_renaming_p): New. * gcc-interface/utils.c (can_materialize_object_renaming_p): New function. * gcc-interface/trans.c (gnat_to_gnu) <N_Object_Renaming_Declaration>: In code generation mode, materialize all renamings as long as they need debug info and we are not optimizing. From-SVN: r240985
2016-10-11PR77710: fix triplet in builtin-sprintf-warn-4.cThomas Preud'homme2-4/+10
2016-10-11 Thomas Preud'homme <thomas.preudhomme@arm.com> gcc/testsuite/ PR testsuite/PR77710 * gcc.dg/tree-ssa/builtin-sprintf-warn-4.c: Use *-*-* as catch-all target triplet instead of *-*-*-*. From-SVN: r240979
2016-10-11utils2.c (build_binary_op): Add a NO_FOLD argument.Pierre-Marie de Rodat4-21/+47
* gcc-interface/utils2.c (build_binary_op): Add a NO_FOLD argument. Disable folding when true. * gcc-interface/gigi.h (choices_to_gnu): Remove declaration. (build_binary_op): Update signature and comment. * gcc-interface/decl.c (choices_to_gnu): Make static. Disable folding for all calls to build_binary_op. From-SVN: r240978
2016-10-11fe.h (Constant_Value): Declare.Tristan Gingold3-1/+18
* fe.h (Constant_Value): Declare. * gcc-interface/decl.c (compile_time_known_address_p): Also consider references to constants. From-SVN: r240977
2016-10-11trans.c (gnat_to_gnu): Adjust comment.Eric Botcazou2-6/+14
* gcc-interface/trans.c (gnat_to_gnu) <N_Op_Add>: Adjust comment. <N_Op_Minus>: Add comment and missing guard. * gcc-interface/trans.c (build_binary_op_trapv): Use an explicit test. From-SVN: r240976
2016-10-11utils.c (type_unsigned_for_rm): New predicate.Eric Botcazou6-24/+189
* gcc-interface/utils.c (type_unsigned_for_rm): New predicate. (make_type_from_size): Use it. (unchecked_convert): Likewise. Do not skip the extension step if the source type is not integral. From-SVN: r240975
2016-10-11c-common.c (warning_candidate_p): Change the return type to bool and return ↵Marek Polacek2-12/+19
true/false instead of 1/0. * c-common.c (warning_candidate_p): Change the return type to bool and return true/false instead of 1/0. (vector_mode_valid_p): Likewise. From-SVN: r240974
2016-10-11system-linux-ppc64.ads: Delete.Eric Botcazou4-190/+26
* system-linux-ppc64.ads: Delete. * system-linux-ppc.ads: Make 32-bit/64-bit neutral. * gcc-interface/Makefile.in (PowerPC/Linux): Simplify. Co-Authored-By: Tristan Gingold <gingold@adacore.com> From-SVN: r240973
2016-10-11Add missing fileEric Botcazou1-0/+23
From-SVN: r240972
2016-10-11sparc.opt (msubxc): New option.Eric Botcazou24-868/+1530
* config/sparc/sparc.opt (msubxc): New option. * doc/invoke.texi (SPARC options): Document it and tidy up. * doc/tm.texi.in (Condition Codes): Adjust SPARC example. * doc/tm.texi: Regenerate. * config/sparc/sparc-modes.def (CC_NOOV): Rename into... (CCNZ): ...this. (CCX_NOOV): Rename into... (CCXNZ): ...this. (CCC): New. (CCXC): Likewise. * config/sparc/predicates.m (fcc_register_operand): Simplify. (fcc0_register_operand): Likewise. (icc_register_operand): New. (icc_or_fcc_register_operand): Simplify. (nz_comparison_operator): New. (c_comparison_operator): Likewise. (noov_compare_operator): Rename into... (icc_comparison_operator): ...this. Use above predicates. (noov_compare64_operator): Rename into... (v9_comparison_operator): ...this and tidy up. (fcc_comparison_operator): New. (icc_or_fcc_comparison_operator): Likewise. (v9_register_compare_operator): Rename info... (v9_register_comparison_operator): ...this. * config/sparc/sparc.c (TARGET_FIXED_CONDITION_CODE_REGS): Define. (sparc_option_override): Remove redundant VIS masks and add MASK_SUBXC for Niagara-7. (sparc_fixed_condition_code_regs): New function. (select_cc_mode): Remove ATTRIBUTE_UNUSED. Adjust for CCNZ/CCXNZ renaming and add support for CCC/CCXC. (output_cbranch): Likewise. (sparc_print_operand): Likewise. (gen_v9_scc): Remove obsolete assertion. (emit_scc_insn): Emit RTL directly for EQ and NE. Add direct support for EQ in DImode if TARGET_SUBXC. Remove test on TARGET_VIS3 for GEU. (output_cbcond): Remove bogus handling of CC modes. (sparc_register_move_cost): Return 100 for NO_REGS. * config/sparc/sparc.md (W): New mode iterator. (length): Adjust for noov_compare64_operator renaming. (cmpsi_sne): New instruction. (cmpdi_sne): Likewise. (seqdi_special): Delete. (seqdi_special): Likewise. (snesi<P:mode>_special): Likewise. (snedi_special): Likewise. (snedi_special_vis3): Likewise. (snesi patterns): Use W iterator. (snedi patterns): Likewise. Add TARGET_SUBXC patterns. (sltu patterns): Likewise. (sgeu patterns): Likewise. (scc splitter): Do not split GEU in DImode if TARGET_SUBXC. (normal_branch): Use icc_comparison_operator predicate. (inverted_branch): Likewise. (cbcond_sp32): Use comparison_operator predicate. (cbcond_sp64): Likewise. (normal_int_branch_sp64): Adjust for renaming (inverted_int_branch_sp64): Likewise. (mov<I:mode>_cc_reg_sp64): Likewise. (movsf_cc_reg_sp6): Likewise. (movdf_cc_reg_sp64): Likewise. (movtf_cc_reg_hq_sp64): Likewise. (movtf_cc_reg_sp64): Likewise. (mov<I:mode>_cc_v9): Use icc_or_fcc_comparison_operator predicate. (movsf_cc_v9): Likewise. (movdf_cc_v9): Likewise. (movtf_cc_hq_v9): Likewise. (movtf_cc_v9): Likewise. (adddi3): Call gen_adddi3_sp32. (adddi3_insn_sp32): Rename to... (adddi3_sp32): ...this. Accept only register_operand as operand #1 and use CCCmode for the carry. (addx_extend_sp32): Use CCCmode for the carry. (addx_extend_sp64): Delete. (adddi3_extend_sp32): Use CCCmode for the carry. (cmp_plus patterns): Use CCNZ/CCXNZ mode and add C variants. (subdi3): Call gen_subdi3_sp32. (subdi3_insn_sp32): Rename to... (subdi3_sp32): ...this and use CCmode for the carry. (subx_extend_sp32): Use CCCmode for the carry. (subx_extend_sp64): Delete. (subdi3_extend_sp32): Use CCmode for the carry. (cmp_minus patterns): Use CCNZ/CCXNZ mode and add C variants. (negdi3): Call gen_negdi3_sp32. (negdi3_sp32): Use CCCmode for the carry. (cmp_neg patterns): Use CCNZ/CCXNZ mode and add C variants. (cmp_nz_ashift_1): Use CCNZ mode. (cmp_nz_set_ashift_1): Likewise. (ctrapsi4): Use comparison_operator predicate. (ctrapdi4): Likewise. (trapsi_insn): Use icc_comparison_operator predicate. (trapdi_insn): Likewise. (edge8 patterns): Use CCNZmode. (edge16 patterns): Likewise. (edge32 patterns): Likewise. From-SVN: r240971
2016-10-11visium-modes.def (CC_NOOV): Rename into...Eric Botcazou5-64/+152
* config/visium/visium-modes.def (CC_NOOV): Rename into... (CCNZ): ...this. (CC_BTST): Rename into... (CCC): ...this. * config/visium/predicates.md (real_add_operand): New. (visium_btst_operator): Rename into... (visium_equality_comparison_operator): ...this. (visium_noov_operator): Rename into... (visium_nz_comparison_operator): ...this. (visium_c_comparison_operator): New. (visium_branch_operator): Adjust and deal with all CC modes. * config/visium/visium.c (visium_adjust_cost): Adjust. (visium_split_double_add): Use the *_set_carry patterns. (visium_select_cc_mode): Add support for CCC mode and adjust. (output_cbranch): Adjust and use the carry-based operators for floating-point comparisons. * config/visium/visium.md (flags_subst_arith): Adjust. (addsi3_insn_set_carry): New instruction. (subsi3_insn_set_carry): Likewise. (negsi2_insn_set_carry): Likewise. (btst): Adjust. (cmp<mode>_sne): Likewise. (cbranch<mode>4): Use ordered_comparison_operator. (cbranch<mode>4_insn): Likewise. (cbranchsi4_btst_insn): Adjust. From-SVN: r240969
2016-10-11Remove RECORD_TYPE special-casing in std_canonical_va_list_typeTom de Vries2-4/+8
2016-10-11 Tom de Vries <tom@codesourcery.com> PR middle-end/77558 * builtins.c (std_canonical_va_list_type): Remove RECORD_TYPE special-casing. From-SVN: r240968
2016-10-11tree.h (build_complex_type): Add second parameter with default.Eric Botcazou3-9/+22
* tree.h (build_complex_type): Add second parameter with default. * tree.c (build_complex_type): Add NAMED second parameter and adjust recursive call. Create a TYPE_DECL only if NAMED is true. (build_common_tree_nodes): Pass true in calls to build_complex_type. From-SVN: r240967
generated by cgit v1.1 at 2025-09-02 23:14:12 +0000