+2021-07-12 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range-fold.cc (fold_using_range::range_of_builtin_ubsan_call):
+ Query relation between the 2 operands and use it.
+
+2021-07-12 Sergei Trofimovich <siarheit@google.com>
+
+ * doc/cfg.texi: Fix s/ei_safe_safe/ei_safe_edge/ typo.
+
+2021-07-12 Uroš Bizjak <ubizjak@gmail.com>
+
+ PR target/101424
+ * config/i386/predicates.md (vec_setm_sse41_operand):
+ Rename from vec_setm_operand.
+ (vec_setm_avx2_operand): New predicate.
+ * config/i386/sse.md (vec_set<V_128:mode>): Use V_128 mode iterator.
+ Use vec_setm_sse41_operand as operand 2 predicate.
+ (vec_set<V_256_512:mode): New expander.
+ * config/i386/mmx.md (vec_setv2hi): Use vec_setm_sse41_operand
+ as operand 2 predicate.
+
+2021-07-12 Andrew MacLeod <amacleod@redhat.com>
+
+ PR tree-optimization/101335
+ * range-op.cc (operator_cast::lhs_op1_relation): Delete.
+
+2021-07-12 Andrew Pinski <apinski@marvell.com>
+
+ * tree-ssa-phiopt.c (match_simplify_replacement): Move
+ insert of the sequence before the movement of the
+ statement. Check if to see if the statement is used
+ outside of the original phi to see if we should move it.
+
+2021-07-12 Richard Biener <rguenther@suse.de>
+
+ * dump-context.h (debug_dump_context::debug_dump_context):
+ Add FILE * parameter defaulted to stderr.
+ * dumpfile.c (debug_dump_context::debug_dump_context): Adjust.
+ * tree-vect-slp.c (dot_slp_tree): New functions.
+
+2021-07-12 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/101373
+ * tree-ssa-pre.c (prune_clobbered_mems): Also prune trapping
+ references when the BB may not return.
+ (compute_avail): Pass in the function we're working on and
+ replace cfun references with it. Externally throwing
+ const calls also possibly terminate the function.
+ (pass_pre::execute): Pass down the function we're working on.
+ * gcse.c (compute_hash_table_work): Externally throwing
+ const/pure calls also need record_last_mem_set_info.
+ * postreload-gcse.c (record_opr_changes): Looping or externally
+ throwing const/pure calls also need record_last_mem_set_info.
+
+2021-07-12 Uroš Bizjak <ubizjak@gmail.com>
+
+ * recog.c (memory_address_addr_space_p): Change the type to bool.
+ Return true/false instead of 1/0.
+ (offsettable_memref_p): Ditto.
+ (offsettable_nonstrict_memref_p): Ditto.
+ (offsettable_address_addr_space_p): Ditto.
+ Change the type of addressp indirect function to bool.
+ * recog.h (memory_address_addr_space_p): Change the type to bool.
+ (strict_memory_address_addr_space_p): Ditto.
+ (offsettable_memref_p): Ditto.
+ (offsettable_nonstrict_memref_p): Ditto.
+ (offsettable_address_addr_space_p): Ditto.
+ * reload.c (maybe_memory_address_addr_space_p): Ditto.
+ (strict_memory_address_addr_space_p): Change the type to bool.
+ Return true/false instead of 1/0.
+ (maybe_memory_address_addr_space_p): Change the type to bool.
+
+2021-07-12 Richard Biener <rguenther@suse.de>
+
+ * tree-vect-slp.c (vect_slp_region): Show the number of
+ SLP graph entries in the optimization message.
+
+2021-07-12 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/101394
+ * tree-ssa-pre.c (do_pre_regular_insertion): Avoid inserting
+ copies from abnormals for a full redundancy.
+
+2021-07-12 Richard Biener <rguenther@suse.de>
+
+ PR middle-end/101423
+ * gimple.c (gimple_could_trap_p_1): Internal function calls
+ do not trap.
+ * tree-eh.c (tree_could_trap_p): Likewise.
+
+2021-07-12 prathamesh.kulkarni <prathamesh.kulkarni@linaro.org>
+
+ PR target/66791
+ * config/arm/arm_neon.h (vmul_n_u32): Replace call to builtin with
+ __a * __b.
+ (vmulq_n_u32): Likewise.
+ (vmul_n_f32): Gate __a * __b on __FAST_MATH__.
+ (vmulq_n_f32): Likewise.
+ (vmul_n_f16): Likewise.
+ (vmulq_n_f16): Likewise.
+
+2021-07-12 Martin Liska <mliska@suse.cz>
+
+ PR sanitizer/101425
+ * gcc.c (check_offload_target_name): Call
+ candidates_list_and_hint only if we have a candidate.
+
+2021-07-12 prathamesh.kulkarni <prathamesh.kulkarni@linaro.org>
+
+ PR target/98435
+ * config/arm/neon.md (vec_init): Move to ...
+ * config/arm/vec-common.md (vec_init): ... here.
+ Change the pattern's mode to VDQX and gate it on VALID_MVE_MODE.
+
+2021-07-12 Roger Sayle <roger@nextmovesoftware.com>
+
+ PR tree-optimization/101403
+ * match.pd ((T)bswap(X)>>C): Correctly handle cases where
+ signedness of the shift is not the same as the signedness of
+ the type extension.
+
2021-07-09 Roger Sayle <roger@nextmovesoftware.com>
Uroš Bizjak <ubizjak@gmail.com>
+2021-07-12 Pierre-Marie de Rodat <derodat@adacore.com>
+
+ * adaint.c (__gnat_number_of_cpus): Replace "#ifdef" by "#if
+ defined".
+
+2021-07-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Add a
+ parallel type only when -fgnat-encodings=all is specified.
+ <E_Array_Type>: Use the PAT name and special suffixes only when
+ -fgnat-encodings=all is specified.
+ <E_Array_Subtype>: Build a special type for debugging purposes only
+ when -fgnat-encodings=all is specified. Add a parallel type or use
+ the PAT name only when -fgnat-encodings=all is specified.
+ <E_Record_Type>: Generate debug info for the inner record types only
+ when -fgnat-encodings=all is specified.
+ <E_Record_Subtype>: Use a debug type for an artificial subtype only
+ except when -fgnat-encodings=all is specified.
+ (elaborate_expression_1): Reset need_for_debug when possible only
+ except when -fgnat-encodings=all is specified.
+ (components_to_record): Use XV encodings for variable size only
+ when -fgnat-encodings=all is specified.
+ (associate_original_type_to_packed_array): Add a parallel type only
+ when -fgnat-encodings=all is specified.
+ * gcc-interface/misc.c (gnat_get_array_descr_info): Do not return
+ full information only when -fgnat-encodings=all is specified.
+ * gcc-interface/utils.c (make_packable_type): Add a parallel type
+ only when -fgnat-encodings=all is specified.
+ (maybe_pad_type): Make the inner type a debug type only except when
+ -fgnat-encodings=all is specified. Create an XVS type for variable
+ size only when -fgnat-encodings=all is specified.
+ (rest_of_record_type_compilation): Add a parallel type only when
+ -fgnat-encodings=all is specified.
+
+2021-07-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Use a
+ fixed lower bound if the index subtype is marked so, as well as a
+ more efficient formula for the upper bound if the array cannot be
+ superflat.
+ (flb_cannot_be_superflat): New predicate.
+ (cannot_be_superflat): Rename into...
+ (range_cannot_be_superfla): ...this. Minor tweak.
+
+2021-07-12 Bob Duff <duff@adacore.com>
+
+ * uintp.ads, types.h: New subtypes of Uint: Valid_Uint, Unat,
+ Upos, Nonzero_Uint with predicates. These correspond to new
+ field types in Gen_IL.
+ * gen_il-types.ads (Valid_Uint, Unat, Upos, Nonzero_Uint): New
+ field types.
+ * einfo-utils.ads, einfo-utils.adb, fe.h (Known_Alignment,
+ Init_Alignment): Use the initial zero value to represent
+ "unknown". This will ensure that if Alignment is called before
+ Set_Alignment, the compiler will blow up (if assertions are
+ enabled).
+ * atree.ads, atree.adb, atree.h, gen_il-gen.adb
+ (Get_Valid_32_Bit_Field): New generic low-level getter for
+ subtypes of Uint.
+ (Copy_Alignment): New procedure to copy Alignment field even
+ when Unknown.
+ (Init_Object_Size_Align, Init_Size_Align): Do not bypass the
+ Init_ procedures.
+ * exp_pakd.adb, freeze.adb, layout.adb, repinfo.adb,
+ sem_util.adb: Protect calls to Alignment with Known_Alignment.
+ Use Copy_Alignment when it might be unknown.
+ * gen_il-gen-gen_entities.adb (Alignment,
+ String_Literal_Length): Use type Unat instead of Uint, to ensure
+ that the field is always Set_ before we get it, and that it is
+ set to a nonnegative value.
+ (Enumeration_Pos): Unat.
+ (Enumeration_Rep): Valid_Uint. Can be negative, but must be
+ valid before fetching.
+ (Discriminant_Number): Upos.
+ (Renaming_Map): Remove.
+ * gen_il-gen-gen_nodes.adb (Char_Literal_Value, Reason): Unat.
+ (Intval, Corresponding_Integer_Value): Valid_Uint.
+ * gen_il-internals.ads: New functions for dealing with special
+ defaults and new subtypes of Uint.
+ * scans.ads: Correct comments.
+ * scn.adb (Post_Scan): Do not set Intval to No_Uint; that is no
+ longer allowed.
+ * sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Do
+ not set Enumeration_Rep to No_Uint; that is no longer allowed.
+ (Offset_Value): Protect calls to Alignment with Known_Alignment.
+ * sem_prag.adb (Set_Atomic_VFA): Do not use Uint_0 to mean
+ "unknown"; call Init_Alignment instead.
+ * sinfo.ads: Minor comment fix.
+ * treepr.adb: Deal with printing of new field types.
+ * einfo.ads, gen_il-fields.ads (Renaming_Map): Remove.
+ * gcc-interface/decl.c (gnat_to_gnu_entity): Use Known_Alignment
+ before calling Alignment. This preserve some probably buggy
+ behavior: if the alignment is not set, it previously defaulted
+ to Uint_0; we now make that explicit. Use Copy_Alignment,
+ because "Set_Alignment (Y, Alignment (X));" no longer works when
+ the Alignment of X has not yet been set.
+ * gcc-interface/trans.c (process_freeze_entity): Use
+ Copy_Alignment.
+
+2021-07-12 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-dwalin.ads: Adjust a few comments left and right.
+ (Line_Info_Register): Comment out unused components.
+ (Line_Info_Header): Add DWARF 5 support.
+ (Dwarf_Context): Likewise. Rename "prologue" into "header".
+ * libgnat/s-dwalin.adb: Alphabetize "with" clauses.
+ (DWARF constants): Add DWARF 5 support and reorder.
+ (For_Each_Row): Adjust.
+ (Initialize_Pass): Likewise.
+ (Initialize_State_Machine): Likewise and fix typo.
+ (Open): Add DWARF 5 support.
+ (Parse_Prologue): Rename into...
+ (Parse_Header): ...this and add DWARF 5 support.
+ (Read_And_Execute_Isn): Rename into...
+ (Read_And_Execute_Insn): ...this and adjust.
+ (To_File_Name): Change parameter name and add DWARF 5 support.
+ (Read_Entry_Format_Array): New procedure.
+ (Skip_Form): Add DWARF 5 support and reorder.
+ (Seek_Abbrev): Do not count entries and add DWARF 5 support.
+ (Debug_Info_Lookup): Add DWARF 5 support.
+ (Symbolic_Address.Set_Result): Likewise.
+ (Symbolic_Address): Adjust.
+
+2021-07-12 Bob Duff <duff@adacore.com>
+
+ * sem_ch13.adb (Duplicate_Clause): Add a helper routine
+ Check_One_Attr, with a parameter for the attribute_designator we
+ are looking for, and one for the attribute_designator of the
+ current node (which are usually the same). For Size and
+ Value_Size, call it twice, once for each.
+ * errout.ads: Fix a typo.
+
+2021-07-12 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_imgv.adb (Expand_Image_Attribute): Move rewriting to
+ attribute Put_Image to the beginning of expansion of attribute
+ Image.
+
2021-07-09 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/utils.c (finish_subprog_decl): Remove obsolete line.
+2021-07-12 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/79501
+ PR c++/100983
+ * g++.dg/cpp1z/class-deduction92.C: New test.
+ * g++.dg/cpp1z/class-deduction93.C: New test.
+ * g++.dg/cpp1z/class-deduction94.C: New test.
+ * g++.dg/cpp1z/class-deduction95.C: New test.
+
+2021-07-12 Uroš Bizjak <ubizjak@gmail.com>
+
+ PR target/101424
+ * gcc.target/i386/pr101424.c: New test.
+
+2021-07-12 Andrew MacLeod <amacleod@redhat.com>
+
+ * gcc.dg/tree-ssa/pr101335.c: New.
+
+2021-07-12 Andrew Pinski <apinski@marvell.com>
+
+ * gcc.dg/tree-ssa/pr96928-1.c: Update to similar as pr96928.c.
+
+2021-07-12 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/101373
+ * g++.dg/torture/pr101373.C: New testcase, XFAILed.
+ * gnat.dg/opt95.adb: Likewise.
+
+2021-07-12 Richard Biener <rguenther@suse.de>
+
+ * g++.dg/vect/slp-pr87105.cc: Adjust.
+ * gcc.dg/vect/bb-slp-pr54400.c: Likewise.
+
+2021-07-12 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/101394
+ * gcc.dg/torture/pr101394.c: New testcase.
+
+2021-07-12 Roger Sayle <roger@nextmovesoftware.com>
+ Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/101403
+ * gcc.dg/pr101403.c: Avoid (unimportant) uninitialized variable.
+
+2021-07-12 prathamesh.kulkarni <prathamesh.kulkarni@linaro.org>
+
+ PR target/66791
+ * gcc.target/arm/armv8_2-fp16-neon-2.c: Adjust.
+
+2021-07-12 prathamesh.kulkarni <prathamesh.kulkarni@linaro.org>
+
+ PR target/98435
+ * gcc.target/arm/simd/pr98435.c: New test.
+
+2021-07-12 Roger Sayle <roger@nextmovesoftware.com>
+
+ PR tree-optimization/101403
+ * gcc.dg/pr101403.c: New test case.
+
2021-07-10 John David Anglin <danglin@gcc.gnu.org>
* gcc.dg/torture/pr100329.c: Require target lra.
projects / thirdparty / gcc.git / commitdiff
