Daily bump.
This commit is contained in:
parent
9693ecdf7e
commit
07bcbf9cc2
121
gcc/ChangeLog
121
gcc/ChangeLog
@ -1,3 +1,124 @@
|
||||
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>
|
||||
|
||||
|
@ -1 +1 @@
|
||||
20210712
|
||||
20210713
|
||||
|
@ -1,3 +1,141 @@
|
||||
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.
|
||||
|
@ -1,3 +1,14 @@
|
||||
2021-07-12 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/79501
|
||||
PR c++/100983
|
||||
* decl.c (grokfndecl): Don't require that deduction guides are
|
||||
declared at namespace scope. Check that class-scope deduction
|
||||
guides have the same access as the member class template.
|
||||
(grokdeclarator): Pretend class-scope deduction guides are static.
|
||||
* search.c (lookup_member): Don't use a BASELINK for (class-scope)
|
||||
deduction guides.
|
||||
|
||||
2021-07-10 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/82110
|
||||
|
@ -1,3 +1,62 @@
|
||||
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.
|
||||
|
@ -1,3 +1,9 @@
|
||||
2021-07-12 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
PR libstdc++/101411
|
||||
* include/std/span (as_writable_bytes): Add requires-clause.
|
||||
* testsuite/23_containers/span/101411.cc: New test.
|
||||
|
||||
2021-07-09 Matheus Castanho <msc@linux.ibm.com>
|
||||
|
||||
* include/std/mutex (__lock_impl): Check
|
||||
|
Loading…
Reference in New Issue
Block a user