1 2023-02-27 Uroš Bizjak <ubizjak@gmail.com>
5 * config/i386/i386.md (fmodxf3): Enable for flag_finite_math_only only.
7 (fpremxf4_i387): Ditto.
9 (reminder<mode>3): Ditto.
10 (fprem1xf4_i387): Ditto.
12 2023-02-27 Roger Sayle <roger@nextmovesoftware.com>
14 * simplify-rtx.cc (simplify_unary_operation_1) <case FFS>: Avoid
15 generating FFS with mismatched operand and result modes, by using
16 an explicit SIGN_EXTEND/ZERO_EXTEND.
17 <case POPCOUNT>: Likewise, for POPCOUNT of ZERO_EXTEND.
18 <case PARITY>: Likewise, for PARITY of {ZERO,SIGN}_EXTEND.
20 2023-02-27 Patrick Palka <ppalka@redhat.com>
22 * hash-table.h (gt_pch_nx(hash_table<D>)): Remove static.
23 * lra-int.h (lra_change_class): Likewise.
24 * recog.h (which_op_alt): Likewise.
25 * sel-sched-ir.h (sel_bb_empty_or_nop_p): Declare inline
28 2023-02-27 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
30 * config/xtensa/xtensa-protos.h (xtensa_match_CLAMPS_imms_p):
32 * config/xtensa/xtensa.cc (xtensa_match_CLAMPS_imms_p):
34 * config/xtensa/xtensa.h (TARGET_CLAMPS): New macro definition.
35 * config/xtensa/xtensa.md (*xtensa_clamps): New insn pattern.
37 2023-02-27 Max Filippov <jcmvbkbc@gmail.com>
39 * config/xtensa/xtensa-dynconfig.cc (xtensa_get_config_v2)
40 (xtensa_get_config_v3): New functions.
42 2023-02-27 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
44 * config/aarch64/aarch64-simd.md (aarch64_abs<mode>): Fix typo in comment.
46 2023-02-27 Lulu Cheng <chenglulu@loongson.cn>
48 * config/host-linux.cc (TRY_EMPTY_VM_SPACE): Modify the value of
49 the macro to 0x1000000000.
51 2023-02-25 Gaius Mulley <gaiusmod2@gmail.com>
54 * doc/gm2.texi (-fm2-pathname): New option documented.
55 (-fm2-pathnameI): New option documented.
56 (-fm2-prefix=): New option documented.
57 (-fruntime-modules=): Update default module list.
59 2023-02-25 Max Filippov <jcmvbkbc@gmail.com>
62 * config/xtensa/xtensa-protos.h
63 (xtensa_prepare_expand_call): Rename to xtensa_expand_call.
64 * config/xtensa/xtensa.cc (xtensa_prepare_expand_call): Rename
65 to xtensa_expand_call.
66 (xtensa_expand_call): Emit the call and add a clobber expression
67 for the static chain to it in case of windowed ABI.
68 * config/xtensa/xtensa.md (call, call_value, sibcall)
69 (sibcall_value): Call xtensa_expand_call and complete expansion
70 right after that call.
72 2023-02-24 Richard Biener <rguenther@suse.de>
74 * vec.h (vec<T, A, vl_embed>::m_vecdata): Remove.
75 (vec<T, A, vl_embed>::m_vecpfx): Align as T to avoid
76 changing alignment of vec<T, A, vl_embed> and simplifying
78 (vec<T, A, vl_embed>::address): Compute as this + 1.
79 (vec<T, A, vl_embed>::embedded_size): Use sizeof the
80 vector instead of the offset of the m_vecdata member.
81 (auto_vec<T, N>::m_data): Turn storage into
82 uninitialized unsigned char.
83 (auto_vec<T, N>::auto_vec): Allow allocation of one
84 stack member. Initialize m_vec in a special way to
85 avoid later stringop overflow diagnostics.
86 * vec.cc (test_auto_alias): New.
87 (vec_cc_tests): Call it.
89 2023-02-24 Richard Biener <rguenther@suse.de>
91 * vec.h (vec<T, A, vl_embed>::lower_bound): Adjust to
92 take a const reference to the object, use address to
94 (vec<T, A, vl_embed>::contains): Use address to access data.
95 (vec<T, A, vl_embed>::operator[]): Use address instead of
96 m_vecdata to access data.
97 (vec<T, A, vl_embed>::iterate): Likewise.
98 (vec<T, A, vl_embed>::copy): Likewise.
99 (vec<T, A, vl_embed>::quick_push): Likewise.
100 (vec<T, A, vl_embed>::pop): Likewise.
101 (vec<T, A, vl_embed>::quick_insert): Likewise.
102 (vec<T, A, vl_embed>::ordered_remove): Likewise.
103 (vec<T, A, vl_embed>::unordered_remove): Likewise.
104 (vec<T, A, vl_embed>::block_remove): Likewise.
105 (vec<T, A, vl_heap>::address): Likewise.
107 2023-02-24 Martin Liska <mliska@suse.cz>
110 * asan.cc (asan_add_global): Use proper TU name for normal
111 global variables (and aux_base_name for the artificial one).
113 2023-02-24 Jakub Jelinek <jakub@redhat.com>
115 * config/i386/i386-builtin.def: Update description of BDESC
116 and BDESC_FIRST in file comment to include mask2.
118 2023-02-24 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
120 * config/aarch64/aarch64-cores.def (FLAGS): Update comment.
122 2023-02-24 Jakub Jelinek <jakub@redhat.com>
125 * cgraphclones.cc (duplicate_thunk_for_node): If no parameter
126 changes are needed, copy at least DECL_ARGUMENTS PARM_DECL
127 nodes and adjust their DECL_CONTEXT.
129 2023-02-24 Jakub Jelinek <jakub@redhat.com>
132 * config/i386/i386-builtin.def (__builtin_ia32_cvtne2ps2bf16_v16bf,
133 __builtin_ia32_cvtne2ps2bf16_v16bf_mask,
134 __builtin_ia32_cvtne2ps2bf16_v16bf_maskz,
135 __builtin_ia32_cvtne2ps2bf16_v8bf,
136 __builtin_ia32_cvtne2ps2bf16_v8bf_mask,
137 __builtin_ia32_cvtne2ps2bf16_v8bf_maskz,
138 __builtin_ia32_cvtneps2bf16_v8sf_mask,
139 __builtin_ia32_cvtneps2bf16_v8sf_maskz,
140 __builtin_ia32_cvtneps2bf16_v4sf_mask,
141 __builtin_ia32_cvtneps2bf16_v4sf_maskz,
142 __builtin_ia32_dpbf16ps_v8sf, __builtin_ia32_dpbf16ps_v8sf_mask,
143 __builtin_ia32_dpbf16ps_v8sf_maskz, __builtin_ia32_dpbf16ps_v4sf,
144 __builtin_ia32_dpbf16ps_v4sf_mask,
145 __builtin_ia32_dpbf16ps_v4sf_maskz): Require also
146 OPTION_MASK_ISA_AVX512VL.
148 2023-02-24 Sebastian Huber <sebastian.huber@embedded-brains.de>
150 * config/riscv/t-rtems: Keep only -mcmodel=medany 64-bit multilibs.
151 Add non-compact 32-bit multilibs.
153 2023-02-24 Junxian Zhu <zhujunxian@oss.cipunited.com>
155 * config/mips/mips.md (*clo<mode>2): New pattern.
157 2023-02-24 Prachi Godbole <prachi.godbole@imgtec.com>
159 * config/mips/mips.h (machine_function): New variable
160 use_hazard_barrier_return_p.
161 * config/mips/mips.md (UNSPEC_JRHB): New unspec.
162 (mips_hb_return_internal): New insn pattern.
163 * config/mips/mips.cc (mips_attribute_table): Add attribute
164 use_hazard_barrier_return.
165 (mips_use_hazard_barrier_return_p): New static function.
166 (mips_function_attr_inlinable_p): Likewise.
167 (mips_compute_frame_info): Set use_hazard_barrier_return_p.
168 Emit error for unsupported architecture choice.
169 (mips_function_ok_for_sibcall, mips_can_use_return_insn):
170 Return false for use_hazard_barrier_return.
171 (mips_expand_epilogue): Emit hazard barrier return.
172 * doc/extend.texi: Document use_hazard_barrier_return.
174 2023-02-23 Max Filippov <jcmvbkbc@gmail.com>
176 * config/xtensa/xtensa-dynconfig.cc (config.h, system.h)
177 (coretypes.h, diagnostic.h, intl.h): Use "..." instead of <...>
178 for the gcc-internal headers.
180 2023-02-23 Max Filippov <jcmvbkbc@gmail.com>
182 * config/xtensa/t-xtensa (xtensa-dynconfig.o): Use $(COMPILE)
183 and $(POSTCOMPILE) instead of manual dependency listing.
184 * config/xtensa/xtensa-dynconfig.c: Rename to ...
185 * config/xtensa/xtensa-dynconfig.cc: ... this.
187 2023-02-23 Arsen Arsenović <arsen@aarsen.me>
189 * doc/cfg.texi: Reorder index entries around @items.
190 * doc/cpp.texi: Ditto.
191 * doc/cppenv.texi: Ditto.
192 * doc/cppopts.texi: Ditto.
193 * doc/generic.texi: Ditto.
194 * doc/install.texi: Ditto.
195 * doc/extend.texi: Ditto.
196 * doc/invoke.texi: Ditto.
197 * doc/md.texi: Ditto.
198 * doc/rtl.texi: Ditto.
199 * doc/tm.texi.in: Ditto.
200 * doc/trouble.texi: Ditto.
201 * doc/tm.texi: Regenerate.
203 2023-02-23 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
205 * config/xtensa/xtensa.md: New peephole2 pattern that eliminates
206 the occurrence of general-purpose register used only once and for
207 transferring intermediate value.
209 2023-02-23 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
211 * config/xtensa/xtensa.cc (machine_function): Add new member
212 'eliminated_callee_saved_bmp'.
213 (xtensa_can_eliminate_callee_saved_reg_p): New function to
214 determine whether the register can be eliminated or not.
215 (xtensa_expand_prologue): Add invoking the above function and
216 elimination the use of callee-saved register by using its stack
217 slot through the stack pointer (or the frame pointer if needed)
219 (xtensa_expand_prologue): Modify to not emit register restoration
220 insn from its stack slot if the register is already eliminated.
222 2023-02-23 Jakub Jelinek <jakub@redhat.com>
224 PR translation/108890
225 * config/xtensa/xtensa-dynconfig.c (xtensa_load_config): Drop _()s
226 around fatal_error format strings.
228 2023-02-23 Richard Biener <rguenther@suse.de>
230 * tree-ssa-structalias.cc (handle_lhs_call): Do not
231 re-create rhsc, only truncate it.
233 2023-02-23 Jakub Jelinek <jakub@redhat.com>
236 * ipa-prop.cc (try_make_edge_direct_virtual_call): Handle
237 BUILT_IN_UNREACHABLE_TRAP like BUILT_IN_UNREACHABLE.
239 2023-02-23 Richard Biener <rguenther@suse.de>
241 * tree-if-conv.cc (tree_if_conversion): Properly manage
242 memory of refs and the contained data references.
244 2023-02-23 Richard Biener <rguenther@suse.de>
246 PR tree-optimization/108888
247 * tree-if-conv.cc (if_convertible_stmt_p): Set PLF_2 on
249 (predicate_statements): Only predicate calls with PLF_2.
251 2023-02-23 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
253 * config/xtensa/xtensa.md
254 (zero_cost_loop_start, zero_cost_loop_end, loop_end):
255 Add missing "SI:" to PLUS RTXes.
257 2023-02-23 Max Filippov <jcmvbkbc@gmail.com>
260 * config/xtensa/xtensa.cc (xtensa_expand_epilogue):
261 Emit (use (reg:SI A0_REG)) at the end in the sibling call
262 (i.e. the same place as (return) in the normal call).
264 2023-02-23 Max Filippov <jcmvbkbc@gmail.com>
267 2023-02-21 Max Filippov <jcmvbkbc@gmail.com>
270 * config/xtensa/xtensa.cc (xtensa_expand_epilogue): Drop emit_use
272 * config/xtensa/xtensa.md (sibcall, sibcall_internal)
273 (sibcall_value, sibcall_value_internal): Add 'use' expression
276 2023-02-23 Arsen Arsenović <arsen@aarsen.me>
278 * doc/cppdiropts.texi: Reorder @opindex commands to precede
279 @items they relate to.
280 * doc/cppopts.texi: Ditto.
281 * doc/cppwarnopts.texi: Ditto.
282 * doc/invoke.texi: Ditto.
283 * doc/lto.texi: Ditto.
285 2023-02-22 Andrew Stubbs <ams@codesourcery.com>
287 * internal-fn.cc (expand_MASK_CALL): New.
288 * internal-fn.def (MASK_CALL): New.
289 * internal-fn.h (expand_MASK_CALL): New prototype.
290 * omp-simd-clone.cc (simd_clone_adjust_argument_types): Set vector_type
291 for mask arguments also.
292 * tree-if-conv.cc: Include cgraph.h.
293 (if_convertible_stmt_p): Do if conversions for calls to SIMD calls.
294 (predicate_statements): Convert functions to IFN_MASK_CALL.
295 * tree-vect-loop.cc (vect_get_datarefs_in_loop): Recognise
296 IFN_MASK_CALL as a SIMD function call.
297 * tree-vect-stmts.cc (vectorizable_simd_clone_call): Handle
298 IFN_MASK_CALL as an inbranch SIMD function call.
299 Generate the mask vector arguments.
301 2023-02-22 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
303 * config/riscv/riscv-vector-builtins-bases.cc (class reducop): New class.
304 (class widen_reducop): Ditto.
305 (class freducop): Ditto.
306 (class widen_freducop): Ditto.
308 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
309 * config/riscv/riscv-vector-builtins-functions.def (vredsum): Add reduction support.
325 * config/riscv/riscv-vector-builtins-shapes.cc (struct reduc_alu_def): Ditto.
327 * config/riscv/riscv-vector-builtins-shapes.h: Ditto.
328 * config/riscv/riscv-vector-builtins-types.def (DEF_RVV_WI_OPS): New macro.
329 (DEF_RVV_WU_OPS): Ditto.
330 (DEF_RVV_WF_OPS): Ditto.
338 (vint16mf4_t): Ditto.
339 (vint16mf2_t): Ditto.
344 (vint32mf2_t): Ditto.
349 (vuint8mf8_t): Ditto.
350 (vuint8mf4_t): Ditto.
351 (vuint8mf2_t): Ditto.
356 (vuint16mf4_t): Ditto.
357 (vuint16mf2_t): Ditto.
358 (vuint16m1_t): Ditto.
359 (vuint16m2_t): Ditto.
360 (vuint16m4_t): Ditto.
361 (vuint16m8_t): Ditto.
362 (vuint32mf2_t): Ditto.
363 (vuint32m1_t): Ditto.
364 (vuint32m2_t): Ditto.
365 (vuint32m4_t): Ditto.
366 (vuint32m8_t): Ditto.
367 (vfloat32mf2_t): Ditto.
368 (vfloat32m1_t): Ditto.
369 (vfloat32m2_t): Ditto.
370 (vfloat32m4_t): Ditto.
371 (vfloat32m8_t): Ditto.
372 * config/riscv/riscv-vector-builtins.cc (DEF_RVV_WI_OPS): Ditto.
373 (DEF_RVV_WU_OPS): Ditto.
374 (DEF_RVV_WF_OPS): Ditto.
375 (required_extensions_p): Add reduction support.
376 (rvv_arg_type_info::get_base_vector_type): Ditto.
377 (rvv_arg_type_info::get_tree_type): Ditto.
378 * config/riscv/riscv-vector-builtins.h (enum rvv_base_type): Ditto.
379 * config/riscv/riscv.md: Ditto.
380 * config/riscv/vector-iterators.md (minu): Ditto.
381 * config/riscv/vector.md (@pred_reduc_<reduc><mode><vlmul1>): New patern.
382 (@pred_reduc_<reduc><mode><vlmul1_zve32>): Ditto.
383 (@pred_widen_reduc_plus<v_su><mode><vwlmul1>): Ditto.
384 (@pred_widen_reduc_plus<v_su><mode><vwlmul1_zve32>):Ditto.
385 (@pred_reduc_plus<order><mode><vlmul1>): Ditto.
386 (@pred_reduc_plus<order><mode><vlmul1_zve32>): Ditto.
387 (@pred_widen_reduc_plus<order><mode><vwlmul1>): Ditto.
389 2023-02-22 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
391 * config/riscv/iterators.md: New iterator.
392 * config/riscv/riscv-vector-builtins-bases.cc (class widen_binop): New class.
393 (enum ternop_type): New enum.
394 (class vmacc): New class.
396 (class vnmsac): Ditto.
397 (enum widen_ternop_type): New enum.
398 (class vmadd): Ditto.
399 (class vnmsub): Ditto.
400 (class iwmac): Ditto.
401 (class vwmacc): Ditto.
402 (class vwmaccu): Ditto.
403 (class vwmaccsu): Ditto.
404 (class vwmaccus): Ditto.
405 (class reverse_binop): Ditto.
406 (class vfmacc): Ditto.
407 (class vfnmsac): Ditto.
408 (class vfmadd): Ditto.
409 (class vfnmsub): Ditto.
410 (class vfnmacc): Ditto.
411 (class vfmsac): Ditto.
412 (class vfnmadd): Ditto.
413 (class vfmsub): Ditto.
414 (class vfwmacc): Ditto.
415 (class vfwnmacc): Ditto.
416 (class vfwmsac): Ditto.
417 (class vfwnmsac): Ditto.
418 (class float_misc): Ditto.
420 (class vfclass): Ditto.
421 (class vfcvt_x): Ditto.
422 (class vfcvt_rtz_x): Ditto.
423 (class vfcvt_f): Ditto.
424 (class vfwcvt_x): Ditto.
425 (class vfwcvt_rtz_x): Ditto.
426 (class vfwcvt_f): Ditto.
427 (class vfncvt_x): Ditto.
428 (class vfncvt_rtz_x): Ditto.
429 (class vfncvt_f): Ditto.
430 (class vfncvt_rod_f): Ditto.
432 * config/riscv/riscv-vector-builtins-bases.h:
433 * config/riscv/riscv-vector-builtins-functions.def (vzext): Ditto.
477 (vfcvt_rtz_x): Ditto.
478 (vfcvt_rtz_xu): Ditto.
482 (vfwcvt_rtz_x): Ditto.
483 (vfwcvt_rtz_xu): Ditto.
487 (vfncvt_rtz_x): Ditto.
488 (vfncvt_rtz_xu): Ditto.
490 (vfncvt_rod_f): Ditto.
491 * config/riscv/riscv-vector-builtins-shapes.cc (struct alu_def): Ditto.
492 (struct move_def): Ditto.
493 * config/riscv/riscv-vector-builtins-types.def (DEF_RVV_WEXTF_OPS): New macro.
494 (DEF_RVV_CONVERT_I_OPS): Ditto.
495 (DEF_RVV_CONVERT_U_OPS): Ditto.
496 (DEF_RVV_WCONVERT_I_OPS): Ditto.
497 (DEF_RVV_WCONVERT_U_OPS): Ditto.
498 (DEF_RVV_WCONVERT_F_OPS): Ditto.
499 (vfloat64m1_t): Ditto.
500 (vfloat64m2_t): Ditto.
501 (vfloat64m4_t): Ditto.
502 (vfloat64m8_t): Ditto.
503 (vint32mf2_t): Ditto.
512 (vuint32mf2_t): Ditto.
513 (vuint32m1_t): Ditto.
514 (vuint32m2_t): Ditto.
515 (vuint32m4_t): Ditto.
516 (vuint32m8_t): Ditto.
517 (vuint64m1_t): Ditto.
518 (vuint64m2_t): Ditto.
519 (vuint64m4_t): Ditto.
520 (vuint64m8_t): Ditto.
521 * config/riscv/riscv-vector-builtins.cc (DEF_RVV_CONVERT_I_OPS): Ditto.
522 (DEF_RVV_CONVERT_U_OPS): Ditto.
523 (DEF_RVV_WCONVERT_I_OPS): Ditto.
524 (DEF_RVV_WCONVERT_U_OPS): Ditto.
525 (DEF_RVV_WCONVERT_F_OPS): Ditto.
526 (DEF_RVV_F_OPS): Ditto.
527 (DEF_RVV_WEXTF_OPS): Ditto.
528 (required_extensions_p): Adjust for floating-point support.
529 (check_required_extensions): Ditto.
530 (unsigned_base_type_p): Ditto.
531 (get_mode_for_bitsize): Ditto.
532 (rvv_arg_type_info::get_base_vector_type): Ditto.
533 (rvv_arg_type_info::get_tree_type): Ditto.
534 * config/riscv/riscv-vector-builtins.def (v_f): New define.
540 * config/riscv/riscv-vector-builtins.h (enum rvv_base_type): New enum.
541 (function_expander::arg_mode): New function.
542 * config/riscv/vector-iterators.md (sof): New iterator.
548 (fixuns_trunc): Ditto.
550 * config/riscv/vector.md (@pred_broadcast<mode>): New pattern.
551 (@pred_<optab><mode>): Ditto.
552 (@pred_<optab><mode>_scalar): Ditto.
553 (@pred_<optab><mode>_reverse_scalar): Ditto.
554 (@pred_<copysign><mode>): Ditto.
555 (@pred_<copysign><mode>_scalar): Ditto.
556 (@pred_mul_<optab><mode>): Ditto.
557 (pred_mul_<optab><mode>_undef_merge): Ditto.
558 (*pred_<madd_nmsub><mode>): Ditto.
559 (*pred_<macc_nmsac><mode>): Ditto.
560 (*pred_mul_<optab><mode>): Ditto.
561 (@pred_mul_<optab><mode>_scalar): Ditto.
562 (*pred_mul_<optab><mode>_undef_merge_scalar): Ditto.
563 (*pred_<madd_nmsub><mode>_scalar): Ditto.
564 (*pred_<macc_nmsac><mode>_scalar): Ditto.
565 (*pred_mul_<optab><mode>_scalar): Ditto.
566 (@pred_neg_mul_<optab><mode>): Ditto.
567 (pred_neg_mul_<optab><mode>_undef_merge): Ditto.
568 (*pred_<nmadd_msub><mode>): Ditto.
569 (*pred_<nmacc_msac><mode>): Ditto.
570 (*pred_neg_mul_<optab><mode>): Ditto.
571 (@pred_neg_mul_<optab><mode>_scalar): Ditto.
572 (*pred_neg_mul_<optab><mode>_undef_merge_scalar): Ditto.
573 (*pred_<nmadd_msub><mode>_scalar): Ditto.
574 (*pred_<nmacc_msac><mode>_scalar): Ditto.
575 (*pred_neg_mul_<optab><mode>_scalar): Ditto.
576 (@pred_<misc_op><mode>): Ditto.
577 (@pred_class<mode>): Ditto.
578 (@pred_dual_widen_<optab><mode>): Ditto.
579 (@pred_dual_widen_<optab><mode>_scalar): Ditto.
580 (@pred_single_widen_<plus_minus:optab><mode>): Ditto.
581 (@pred_single_widen_<plus_minus:optab><mode>_scalar): Ditto.
582 (@pred_widen_mul_<optab><mode>): Ditto.
583 (@pred_widen_mul_<optab><mode>_scalar): Ditto.
584 (@pred_widen_neg_mul_<optab><mode>): Ditto.
585 (@pred_widen_neg_mul_<optab><mode>_scalar): Ditto.
586 (@pred_cmp<mode>): Ditto.
587 (*pred_cmp<mode>): Ditto.
588 (*pred_cmp<mode>_narrow): Ditto.
589 (@pred_cmp<mode>_scalar): Ditto.
590 (*pred_cmp<mode>_scalar): Ditto.
591 (*pred_cmp<mode>_scalar_narrow): Ditto.
592 (@pred_eqne<mode>_scalar): Ditto.
593 (*pred_eqne<mode>_scalar): Ditto.
594 (*pred_eqne<mode>_scalar_narrow): Ditto.
595 (@pred_merge<mode>_scalar): Ditto.
596 (@pred_fcvt_x<v_su>_f<mode>): Ditto.
597 (@pred_<fix_cvt><mode>): Ditto.
598 (@pred_<float_cvt><mode>): Ditto.
599 (@pred_widen_fcvt_x<v_su>_f<mode>): Ditto.
600 (@pred_widen_<fix_cvt><mode>): Ditto.
601 (@pred_widen_<float_cvt><mode>): Ditto.
602 (@pred_extend<mode>): Ditto.
603 (@pred_narrow_fcvt_x<v_su>_f<mode>): Ditto.
604 (@pred_narrow_<fix_cvt><mode>): Ditto.
605 (@pred_narrow_<float_cvt><mode>): Ditto.
606 (@pred_trunc<mode>): Ditto.
607 (@pred_rod_trunc<mode>): Ditto.
609 2023-02-22 Jakub Jelinek <jakub@redhat.com>
612 * cgraph.cc (cgraph_edge::redirect_call_stmt_to_callee,
613 cgraph_update_edges_for_call_stmt_node, cgraph_node::verify_node):
614 Handle BUILT_IN_UNREACHABLE_TRAP like BUILT_IN_UNREACHABLE.
615 * cgraphclones.cc (cgraph_node::create_clone): Likewise.
617 2023-02-22 Thomas Schwinge <thomas@codesourcery.com>
619 * common.opt (-Wcomplain-wrong-lang): New.
620 * doc/invoke.texi (-Wno-complain-wrong-lang): Document it.
621 * opts-common.cc (prune_options): Handle it.
622 * opts-global.cc (complain_wrong_lang): Use it.
624 2023-02-21 David Malcolm <dmalcolm@redhat.com>
627 * doc/invoke.texi: Document -fno-analyzer-suppress-followups.
629 2023-02-21 Max Filippov <jcmvbkbc@gmail.com>
632 * config/xtensa/xtensa.cc (xtensa_expand_epilogue): Drop emit_use
634 * config/xtensa/xtensa.md (sibcall, sibcall_internal)
635 (sibcall_value, sibcall_value_internal): Add 'use' expression
638 2023-02-21 Richard Biener <rguenther@suse.de>
640 PR tree-optimization/108691
641 * tree-ssa-dce.cc (eliminate_unnecessary_stmts): Remove
642 assert about calls_setjmp not becoming true when it was false.
644 2023-02-21 Richard Biener <rguenther@suse.de>
646 PR tree-optimization/108793
647 * tree-ssa-loop-niter.cc (number_of_iterations_until_wrap):
648 Use convert operands to niter_type when computing num.
650 2023-02-21 Richard Biener <rguenther@suse.de>
653 2023-02-13 Richard Biener <rguenther@suse.de>
655 PR tree-optimization/108691
656 * tree-cfg.cc (notice_special_calls): When the CFG is built
657 honor gimple_call_ctrl_altering_p.
658 * cfgexpand.cc (expand_call_stmt): Clear cfun->calls_setjmp
659 temporarily if the call is not control-altering.
660 * calls.cc (emit_call_1): Do not add REG_SETJMP if
661 cfun->calls_setjmp is not set. Do not alter cfun->calls_setjmp.
663 2023-02-21 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
665 * config/xtensa/xtensa.cc (xtensa_call_save_reg): Change to return
666 true if register A0 (return address register) when -Og is specified.
668 2023-02-20 Uroš Bizjak <ubizjak@gmail.com>
670 * config/i386/predicates.md
671 (general_x64constmem_operand): New predicate.
672 * config/i386/i386.md (*cmpqi_ext<mode>_1):
673 Use nonimm_x64constmem_operand.
674 (*cmpqi_ext<mode>_3): Use general_x64constmem_operand.
675 (*addqi_ext<mode>_1): Ditto.
676 (*testqi_ext<mode>_1): Ditto.
677 (*andqi_ext<mode>_1): Ditto.
678 (*andqi_ext<mode>_1_cc): Ditto.
679 (*<any_or:code>qi_ext<mode>_1): Ditto.
680 (*xorqi_ext<mode>_1_cc): Ditto.
682 2023-02-20 Jakub Jelinek <jakub2redhat.com>
685 * config/rs6000/rs6000.md (umaddditi4): Swap gen_maddlddi4 with
686 gen_umadddi4_highpart{,_le}.
688 2023-02-20 Kito Cheng <kito.cheng@sifive.com>
690 * config/riscv/riscv.md (prefetch): Use r instead of p for the
692 (riscv_prefetchi_<mode>): Ditto.
694 2023-02-20 Richard Biener <rguenther@suse.de>
696 PR tree-optimization/108816
697 * tree-vect-loop-manip.cc (vect_loop_versioning): Adjust
698 versioning condition split prerequesite, assert required
701 2023-02-20 Richard Biener <rguenther@suse.de>
703 PR tree-optimization/108825
704 * tree-ssa-loop-manip.cc (verify_loop_closed_ssa): For
705 loop-local verfication only verify there's no pending SSA
708 2023-02-20 Richard Biener <rguenther@suse.de>
710 PR tree-optimization/108819
711 * tree-ssa-loop-niter.cc (number_of_iterations_cltz): Check
712 we have an SSA name as iv_2 as expected.
714 2023-02-18 Jakub Jelinek <jakub@redhat.com>
716 PR tree-optimization/108819
717 * tree-ssa-reassoc.cc (update_ops): Fold new stmt in place.
719 2023-02-18 Jakub Jelinek <jakub@redhat.com>
722 * config/i386/i386-protos.h (ix86_replace_reg_with_reg): Declare.
723 * config/i386/i386-expand.cc (ix86_replace_reg_with_reg): New
725 * config/i386/i386.md: Replace replace_rtx calls in all peephole2s
726 with ix86_replace_reg_with_reg.
728 2023-02-18 Gerald Pfeifer <gerald@pfeifer.com>
730 * doc/invoke.texi (AVR Options): Update link to AVR-LibC.
732 2023-02-18 Xi Ruoyao <xry111@xry111.site>
734 * config.gcc (triplet_abi): Set its value based on $with_abi,
736 (la_canonical_triplet): Set it after $triplet_abi is set
738 * config/loongarch/t-linux (MULTILIB_OSDIRNAMES): Make the
739 multiarch tuple for lp64d "loongarch64-linux-gnu" (without
742 2023-02-18 Andrew Pinski <apinski@marvell.com>
744 * match.pd: Remove #if GIMPLE around the
747 2023-02-18 Andrew Pinski <apinski@marvell.com>
749 * value-query.h (get_range_query): Return the global ranges
752 2023-02-17 Siddhesh Poyarekar <siddhesh@gotplt.org>
754 * doc/invoke.texi (@item -Wall): Fix typo in
757 2023-02-17 Uroš Bizjak <ubizjak@gmail.com>
760 * config/i386/predicates.md
761 (nonimm_x64constmem_operand): New predicate.
762 * config/i386/i386.md (*addqi_ext<mode>_0): New insn pattern.
763 (*subqi_ext<mode>_0): Ditto.
764 (*andqi_ext<mode>_0): Ditto.
765 (*<any_or:code>qi_ext<mode>_0): Ditto.
767 2023-02-17 Uroš Bizjak <ubizjak@gmail.com>
770 * simplify-rtx.cc (simplify_context::simplify_subreg): Use
771 int_outermode instead of GET_MODE (tem) to prevent
772 VOIDmode from entering simplify_gen_subreg.
774 2023-02-17 Richard Biener <rguenther@suse.de>
776 PR tree-optimization/108821
777 * tree-ssa-loop-im.cc (sm_seq_valid_bb): We can also not
778 move volatile accesses.
780 2023-02-17 Richard Biener <rguenther@suse.de>
782 * tree-ssa.cc (ssa_undefined_value_p): Assert we are not
783 called on virtual operands.
784 * tree-ssa-sccvn.cc (vn_phi_lookup): Guard
785 ssa_undefined_value_p calls.
786 (vn_phi_insert): Likewise.
787 (set_ssa_val_to): Likewise.
788 (visit_phi): Avoid extra work with equivalences for
789 virtual operand PHIs.
791 2023-02-17 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
793 * config/riscv/riscv-vector-builtins-bases.cc (class mask_logic): New
795 (class mask_nlogic): Ditto.
796 (class mask_notlogic): Ditto.
798 (class vmclr): Ditto.
799 (class vmset): Ditto.
800 (class vmnot): Ditto.
801 (class vcpop): Ditto.
802 (class vfirst): Ditto.
803 (class mask_misc): Ditto.
804 (class viota): Ditto.
807 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
808 * config/riscv/riscv-vector-builtins-functions.def (vmand): Ditto.
827 * config/riscv/riscv-vector-builtins-shapes.cc (struct alu_def): Ditto.
828 (struct mask_alu_def): Ditto.
830 * config/riscv/riscv-vector-builtins-shapes.h: Ditto.
831 * config/riscv/riscv-vector-builtins.cc: Ditto.
832 * config/riscv/riscv-vsetvl.cc (pass_vsetvl::cleanup_insns): Fix bug
833 for dest it scalar RVV intrinsics.
834 * config/riscv/vector-iterators.md (sof): New iterator.
835 * config/riscv/vector.md (@pred_<optab>n<mode>): New pattern.
836 (@pred_<optab>not<mode>): New pattern.
837 (@pred_popcount<VB:mode><P:mode>): New pattern.
838 (@pred_ffs<VB:mode><P:mode>): New pattern.
839 (@pred_<misc_op><mode>): New pattern.
840 (@pred_iota<mode>): New pattern.
841 (@pred_series<mode>): New pattern.
843 2023-02-17 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
845 * config/riscv/riscv-vector-builtins-functions.def (vadc): Rename.
849 * config/riscv/riscv-vector-builtins.cc: Ditto.
851 2023-02-17 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
852 kito-cheng <kito.cheng@sifive.com>
854 * config/riscv/riscv-protos.h (sew64_scalar_helper): New function.
855 * config/riscv/riscv-v.cc (has_vi_variant_p): Adjust.
856 (sew64_scalar_helper): New function.
857 * config/riscv/vector.md: Normalization.
859 2023-02-17 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
861 * config/riscv/riscv-vector-builtins-functions.def (vsetvlmax): Rearrange.
923 2023-02-17 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
925 * config/riscv/vector.md (@pred_<optab><mode>): Rearrange.
926 (@pred_<optab><mode>_scalar): Ditto.
927 (*pred_<optab><mode>_scalar): Ditto.
928 (*pred_<optab><mode>_extended_scalar): Ditto.
930 2023-02-17 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
932 * config/riscv/riscv-protos.h (riscv_run_selftests): Remove 'extern'.
933 (init_builtins): Ditto.
934 (mangle_builtin_type): Ditto.
935 (verify_type_context): Ditto.
936 (handle_pragma_vector): Ditto.
937 (builtin_decl): Ditto.
938 (expand_builtin): Ditto.
939 (const_vec_all_same_in_range_p): Ditto.
940 (legitimize_move): Ditto.
941 (emit_vlmax_op): Ditto.
942 (emit_nonvlmax_op): Ditto.
947 (get_avl_type): Ditto.
948 (calculate_ratio): Ditto.
949 (enum vlmul_type): Ditto.
951 (neg_simm5_p): Ditto.
952 (has_vi_variant_p): Ditto.
954 2023-02-17 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
956 * config/riscv/riscv-protos.h (simm32_p): Remove.
957 * config/riscv/riscv-v.cc (simm32_p): Ditto.
958 * config/riscv/vector.md: Use immediate_operand
959 instead of riscv_vector::simm32_p.
961 2023-02-16 Gerald Pfeifer <gerald@pfeifer.com>
963 * doc/invoke.texi (Optimize Options): Reword the explanation
964 getting minimal, maximal and default values of a parameter.
966 2023-02-16 Patrick Palka <ppalka@redhat.com>
968 * addresses.h: Mechanically drop 'static' from 'static inline'
969 functions via s/^static inline/inline/g.
971 * attribs.h: Likewise.
972 * basic-block.h: Likewise.
973 * bitmap.h: Likewise.
974 * cfghooks.h: Likewise.
975 * cfgloop.h: Likewise.
976 * cgraph.h: Likewise.
977 * cselib.h: Likewise.
978 * data-streamer.h: Likewise.
981 * diagnostic.h: Likewise.
982 * dominance.h: Likewise.
983 * dumpfile.h: Likewise.
984 * emit-rtl.h: Likewise.
985 * except.h: Likewise.
986 * expmed.h: Likewise.
988 * fixed-value.h: Likewise.
989 * gengtype.h: Likewise.
990 * gimple-expr.h: Likewise.
991 * gimple-iterator.h: Likewise.
992 * gimple-predict.h: Likewise.
993 * gimple-range-fold.h: Likewise.
994 * gimple-ssa.h: Likewise.
995 * gimple.h: Likewise.
996 * graphite.h: Likewise.
997 * hard-reg-set.h: Likewise.
998 * hash-map.h: Likewise.
999 * hash-set.h: Likewise.
1000 * hash-table.h: Likewise.
1001 * hwint.h: Likewise.
1002 * input.h: Likewise.
1003 * insn-addr.h: Likewise.
1004 * internal-fn.h: Likewise.
1005 * ipa-fnsummary.h: Likewise.
1006 * ipa-icf-gimple.h: Likewise.
1007 * ipa-inline.h: Likewise.
1008 * ipa-modref.h: Likewise.
1009 * ipa-prop.h: Likewise.
1010 * ira-int.h: Likewise.
1012 * lra-int.h: Likewise.
1014 * lto-streamer.h: Likewise.
1015 * memmodel.h: Likewise.
1016 * omp-general.h: Likewise.
1017 * optabs-query.h: Likewise.
1018 * optabs.h: Likewise.
1019 * plugin.h: Likewise.
1020 * pretty-print.h: Likewise.
1021 * range.h: Likewise.
1022 * read-md.h: Likewise.
1023 * recog.h: Likewise.
1025 * rtl-iter.h: Likewise.
1027 * sbitmap.h: Likewise.
1028 * sched-int.h: Likewise.
1029 * sel-sched-ir.h: Likewise.
1031 * sparseset.h: Likewise.
1032 * ssa-iterators.h: Likewise.
1033 * system.h: Likewise.
1034 * target-globals.h: Likewise.
1035 * target.h: Likewise.
1036 * timevar.h: Likewise.
1037 * tree-chrec.h: Likewise.
1038 * tree-data-ref.h: Likewise.
1039 * tree-iterator.h: Likewise.
1040 * tree-outof-ssa.h: Likewise.
1041 * tree-phinodes.h: Likewise.
1042 * tree-scalar-evolution.h: Likewise.
1043 * tree-sra.h: Likewise.
1044 * tree-ssa-alias.h: Likewise.
1045 * tree-ssa-live.h: Likewise.
1046 * tree-ssa-loop-manip.h: Likewise.
1047 * tree-ssa-loop.h: Likewise.
1048 * tree-ssa-operands.h: Likewise.
1049 * tree-ssa-propagate.h: Likewise.
1050 * tree-ssa-sccvn.h: Likewise.
1051 * tree-ssa.h: Likewise.
1052 * tree-ssanames.h: Likewise.
1053 * tree-streamer.h: Likewise.
1054 * tree-switch-conversion.h: Likewise.
1055 * tree-vectorizer.h: Likewise.
1057 * wide-int.h: Likewise.
1059 2023-02-16 Jakub Jelinek <jakub@redhat.com>
1061 PR tree-optimization/108657
1062 * tree-ssa-dse.cc (initialize_ao_ref_for_dse): If lhs of stmt
1063 exists and is not a SSA_NAME, call ao_ref_init even if the stmt
1064 is a call to internal or builtin function.
1066 2023-02-16 Jonathan Wakely <jwakely@redhat.com>
1068 * doc/invoke.texi (C++ Dialect Options): Suggest adding a
1069 using-declaration to unhide functions.
1071 2023-02-16 Jakub Jelinek <jakub@redhat.com>
1073 PR tree-optimization/108783
1074 * tree-ssa-reassoc.cc (eliminate_redundant_comparison): If lcode
1075 is equal to TREE_CODE (t), op1 to newop1 and op2 to newop2, set
1076 t to curr->op. Otherwise, punt if either newop1 or newop2 are
1077 SSA_NAME_OCCURS_IN_ABNORMAL_PHI SSA_NAMEs.
1079 2023-02-16 Richard Biener <rguenther@suse.de>
1081 PR tree-optimization/108791
1082 * tree-ssa-forwprop.cc (optimize_vector_load): Build
1083 the ADDR_EXPR of a TARGET_MEM_REF using a more meaningful
1086 2023-02-15 Eric Botcazou <ebotcazou@adacore.com>
1089 * config/i386/i386.cc (ix86_compute_frame_layout): Disable the
1090 effects of -fstack-clash-protection for TARGET_STACK_PROBE.
1091 (ix86_expand_prologue): Likewise.
1093 2023-02-15 Jan-Benedict Glaw <jbglaw@lug-owl.de>
1095 * config/bpf/bpf.cc (bpf_option_override): Fix doubled space.
1097 2023-02-15 Uroš Bizjak <ubizjak@gmail.com>
1099 * config/i386/i386.md (*cmpqi_ext<mode>_1): Use
1100 int248_register_operand predicate in zero_extract sub-RTX.
1101 (*cmpqi_ext<mode>_2): Ditto.
1102 (*cmpqi_ext<mode>_3): Ditto.
1103 (*cmpqi_ext<mode>_4): Ditto.
1104 (*extzvqi_mem_rex64): Ditto.
1106 (*insvqi_1_mem_rex64): Ditto.
1107 (@insv<mode>_1): Ditto.
1111 (*extendqi<SWI24:mode>_ext_1): Ditto.
1112 (*addqi_ext<mode>_1): Ditto.
1113 (*addqi_ext<mode>_2): Ditto.
1114 (*subqi_ext<mode>_2): Ditto.
1115 (*testqi_ext<mode>_1): Ditto.
1116 (*testqi_ext<mode>_2): Ditto.
1117 (*andqi_ext<mode>_1): Ditto.
1118 (*andqi_ext<mode>_1_cc): Ditto.
1119 (*andqi_ext<mode>_2): Ditto.
1120 (*<any_or:code>qi_ext<mode>_1): Ditto.
1121 (*<any_or:code>qi_ext<mode>_2): Ditto.
1122 (*xorqi_ext<mode>_1_cc): Ditto.
1123 (*negqi_ext<mode>_2): Ditto.
1124 (*ashlqi_ext<mode>_2): Ditto.
1125 (*<any_shiftrt:insn>qi_ext<mode>_2): Ditto.
1127 2023-02-15 Uroš Bizjak <ubizjak@gmail.com>
1129 * config/i386/predicates.md (int248_register_operand):
1130 Rename from extr_register_operand.
1131 * config/i386/i386.md (*extv<mode>): Update for renamed predicate.
1132 (*extzx<mode>): Ditto.
1133 (*ashl<dwi>3_doubleword_mask): Use int248_register_operand predicate.
1134 (*ashl<mode>3_mask): Ditto.
1135 (*<any_shiftrt:insn><mode>3_mask): Ditto.
1136 (*<any_shiftrt:insn><dwi>3_doubleword_mask): Ditto.
1137 (*<any_rotate:insn><mode>3_mask): Ditto.
1138 (*<btsc><mode>_mask): Ditto.
1139 (*btr<mode>_mask): Ditto.
1140 (*jcc_bt<mode>_mask_1): Ditto.
1142 2023-02-15 Richard Biener <rguenther@suse.de>
1145 * df-core.cc (df_worklist_propagate_forward): Put later
1146 blocks on worklist and only earlier blocks on pending.
1147 (df_worklist_propagate_backward): Likewise.
1148 (df_worklist_dataflow_doublequeue): Change the iteration
1149 to process new blocks in the same iteration if that
1150 maintains the iteration order.
1152 2023-02-15 Marek Polacek <polacek@redhat.com>
1154 PR middle-end/106080
1155 * gimple-ssa-warn-access.cc (is_auto_decl): Remove. Use auto_var_p
1158 2023-02-15 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1160 * config/riscv/predicates.md: Refine codes.
1161 * config/riscv/riscv-protos.h (RVV_VUNDEF): New macro.
1162 * config/riscv/riscv-v.cc: Refine codes.
1163 * config/riscv/riscv-vector-builtins-bases.cc (enum ternop_type): New
1165 (class imac): New class.
1166 (enum widen_ternop_type): New enum.
1167 (class iwmac): New class.
1169 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1170 * config/riscv/riscv-vector-builtins-functions.def (vmacc): Ditto.
1178 * config/riscv/riscv-vector-builtins.cc
1179 (function_builder::apply_predication): Adjust for multiply-add support.
1180 (function_expander::add_vundef_operand): Refine codes.
1181 (function_expander::use_ternop_insn): New function.
1182 (function_expander::use_widen_ternop_insn): Ditto.
1183 * config/riscv/riscv-vector-builtins.h: New function.
1184 * config/riscv/vector.md (@pred_mul_<optab><mode>): New pattern.
1185 (pred_mul_<optab><mode>_undef_merge): Ditto.
1186 (*pred_<madd_nmsub><mode>): Ditto.
1187 (*pred_<macc_nmsac><mode>): Ditto.
1188 (*pred_mul_<optab><mode>): Ditto.
1189 (@pred_mul_<optab><mode>_scalar): Ditto.
1190 (*pred_mul_<optab><mode>_undef_merge_scalar): Ditto.
1191 (*pred_<madd_nmsub><mode>_scalar): Ditto.
1192 (*pred_<macc_nmsac><mode>_scalar): Ditto.
1193 (*pred_mul_<optab><mode>_scalar): Ditto.
1194 (*pred_mul_<optab><mode>_undef_merge_extended_scalar): Ditto.
1195 (*pred_<madd_nmsub><mode>_extended_scalar): Ditto.
1196 (*pred_<macc_nmsac><mode>_extended_scalar): Ditto.
1197 (*pred_mul_<optab><mode>_extended_scalar): Ditto.
1198 (@pred_widen_mul_plus<su><mode>): Ditto.
1199 (@pred_widen_mul_plus<su><mode>_scalar): Ditto.
1200 (@pred_widen_mul_plussu<mode>): Ditto.
1201 (@pred_widen_mul_plussu<mode>_scalar): Ditto.
1202 (@pred_widen_mul_plusus<mode>_scalar): Ditto.
1204 2023-02-15 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1206 * config/riscv/predicates.md (vector_mask_operand): Refine the codes.
1207 (vector_all_trues_mask_operand): New predicate.
1208 (vector_undef_operand): New predicate.
1209 (ltge_operator): New predicate.
1210 (comparison_except_ltge_operator): New predicate.
1211 (comparison_except_eqge_operator): New predicate.
1212 (ge_operator): New predicate.
1213 * config/riscv/riscv-v.cc (has_vi_variant_p): Add compare support.
1214 * config/riscv/riscv-vector-builtins-bases.cc (class icmp): New class.
1216 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1217 * config/riscv/riscv-vector-builtins-functions.def (vmseq): Ditto.
1227 * config/riscv/riscv-vector-builtins-shapes.cc
1228 (struct return_mask_def): Adjust for compare support.
1229 * config/riscv/riscv-vector-builtins.cc
1230 (function_expander::use_compare_insn): New function.
1231 * config/riscv/riscv-vector-builtins.h
1232 (function_expander::add_integer_operand): Ditto.
1233 * config/riscv/riscv.cc (riscv_print_operand): Add compare support.
1234 * config/riscv/riscv.md: Add vector min/max attributes.
1235 * config/riscv/vector-iterators.md (xnor): New iterator.
1236 * config/riscv/vector.md (@pred_cmp<mode>): New pattern.
1237 (*pred_cmp<mode>): Ditto.
1238 (*pred_cmp<mode>_narrow): Ditto.
1239 (@pred_ltge<mode>): Ditto.
1240 (*pred_ltge<mode>): Ditto.
1241 (*pred_ltge<mode>_narrow): Ditto.
1242 (@pred_cmp<mode>_scalar): Ditto.
1243 (*pred_cmp<mode>_scalar): Ditto.
1244 (*pred_cmp<mode>_scalar_narrow): Ditto.
1245 (@pred_eqne<mode>_scalar): Ditto.
1246 (*pred_eqne<mode>_scalar): Ditto.
1247 (*pred_eqne<mode>_scalar_narrow): Ditto.
1248 (*pred_cmp<mode>_extended_scalar): Ditto.
1249 (*pred_cmp<mode>_extended_scalar_narrow): Ditto.
1250 (*pred_eqne<mode>_extended_scalar): Ditto.
1251 (*pred_eqne<mode>_extended_scalar_narrow): Ditto.
1252 (@pred_ge<mode>_scalar): Ditto.
1253 (@pred_<optab><mode>): Ditto.
1254 (@pred_n<optab><mode>): Ditto.
1255 (@pred_<optab>n<mode>): Ditto.
1256 (@pred_not<mode>): Ditto.
1258 2023-02-15 Martin Jambor <mjambor@suse.cz>
1261 * ipa-sra.cc (push_param_adjustments_for_index): Do not omit
1262 creation of non-scalar replacements even if IPA-CP knows their
1265 2023-02-15 Jakub Jelinek <jakub@redhat.com>
1269 * config/rs6000/rs6000.md (<u>maddditi4): Change into umaddditi4 only
1270 expander, change operand 3 to be TImode, emit maddlddi4 and
1271 umadddi4_highpart{,_le} with its low half and finally add the high
1274 2023-02-15 Martin Liska <mliska@suse.cz>
1276 * doc/invoke.texi: Document --param=asan-kernel-mem-intrinsic-prefix.
1278 2023-02-15 Richard Biener <rguenther@suse.de>
1280 * sanopt.cc (sanitize_asan_mark_unpoison): Use bitmap
1281 for with_poison and alias worklist to it.
1282 (sanitize_asan_mark_poison): Likewise.
1284 2023-02-15 Richard Biener <rguenther@suse.de>
1287 * config/i386/i386-features.cc (scalar_chain::add_to_queue):
1288 Combine bitmap test and set.
1289 (scalar_chain::add_insn): Likewise.
1290 (scalar_chain::analyze_register_chain): Remove redundant
1291 attempt to add to queue and instead strengthen assert.
1292 Sink common attempts to mark the def dual-mode.
1293 (scalar_chain::add_to_queue): Remove redundant insn bitmap
1296 2023-02-15 Richard Biener <rguenther@suse.de>
1299 * config/i386/i386-features.cc (convert_scalars_to_vector):
1300 Switch candidates bitmaps to tree view before building the chains.
1302 2023-02-15 Hans-Peter Nilsson <hp@axis.com>
1304 * reload1.cc (gen_reload): Correct rtx parameter for fatal_insn
1305 "failure trying to reload" call.
1307 2023-02-15 Hans-Peter Nilsson <hp@axis.com>
1309 * gdbinit.in (phrs): New command.
1310 * sel-sched-dump.cc (debug_hard_reg_set): Remove debug-function.
1311 * ira-color.cc (debug_hard_reg_set): New, calling print_hard_reg_set.
1313 2023-02-14 David Faust <david.faust@oracle.com>
1316 * config/bpf/constraints.md (q): New memory constraint.
1317 * config/bpf/bpf.md (zero_extendhidi2): Use it here.
1318 (zero_extendqidi2): Likewise.
1319 (zero_extendsidi2): Likewise.
1320 (*mov<MM:mode>): Likewise.
1322 2023-02-14 Andrew Pinski <apinski@marvell.com>
1324 PR tree-optimization/108355
1325 PR tree-optimization/96921
1326 * match.pd: Add pattern for "1 - bool_val".
1328 2023-02-14 Richard Biener <rguenther@suse.de>
1330 * tree-ssa-sccvn.cc (vn_phi_compute_hash): Key skipping
1331 basic block index hashing on the availability of ->cclhs.
1332 (vn_phi_eq): Avoid re-doing sanity checks for CSE but
1333 rely on ->cclhs availability.
1334 (vn_phi_lookup): Set ->cclhs only when we are eventually
1335 going to CSE the PHI.
1336 (vn_phi_insert): Likewise.
1338 2023-02-14 Eric Botcazou <ebotcazou@adacore.com>
1340 * gimplify.cc (gimplify_save_expr): Add missing guard.
1342 2023-02-14 Richard Biener <rguenther@suse.de>
1344 PR tree-optimization/108782
1345 * tree-vect-loop.cc (vect_phi_first_order_recurrence_p):
1346 Make sure we're not vectorizing an inner loop.
1348 2023-02-14 Jakub Jelinek <jakub@redhat.com>
1351 * params.opt (-param=asan-kernel-mem-intrinsic-prefix=): New param.
1352 * asan.h (asan_memfn_rtl): Declare.
1353 * asan.cc (asan_memfn_rtls): New variable.
1354 (asan_memfn_rtl): New function.
1355 * builtins.cc (expand_builtin): If
1356 param_asan_kernel_mem_intrinsic_prefix and function is
1357 kernel-{,hw}address sanitized, emit calls to
1358 __{,hw}asan_{memcpy,memmove,memset} rather than
1359 {memcpy,memmove,memset}. Use sanitize_flags_p (SANITIZE_ADDRESS)
1360 instead of flag_sanitize & SANITIZE_ADDRESS to check if
1361 asan_intercepted_p functions shouldn't be expanded inline.
1363 2023-02-14 Richard Sandiford <richard.sandiford@arm.com>
1365 PR tree-optimization/96373
1366 * tree-vect-stmts.cc (vectorizable_operation): Predicate trapping
1367 operations on the loop mask. Reject partial vectors if this isn't
1370 2023-02-13 Richard Sandiford <richard.sandiford@arm.com>
1372 PR rtl-optimization/108681
1373 * lra-spills.cc (lra_final_code_change): Extend subreg replacement
1374 code to handle bare uses and clobbers.
1376 2023-02-13 Vladimir N. Makarov <vmakarov@redhat.com>
1378 * ira.cc (ira_update_equiv_info_by_shuffle_insn): Clear equiv
1379 caller_save_p flag when clearing defined_p flag.
1380 (setup_reg_equiv): Ditto.
1381 * lra-constraints.cc (lra_constraints): Ditto.
1383 2023-02-13 Uroš Bizjak <ubizjak@gmail.com>
1386 * config/i386/predicates.md (extr_register_operand):
1387 New special predicate.
1388 * config/i386/i386.md (*extv<mode>): Use extr_register_operand
1389 as operand 1 predicate.
1390 (*exzv<mode>): Ditto.
1391 (*extendqi<SWI24:mode>_ext_1): New insn pattern.
1393 2023-02-13 Richard Biener <rguenther@suse.de>
1395 PR tree-optimization/28614
1396 * tree-ssa-sccvn.cc (can_track_predicate_on_edge): Avoid
1397 walking all edges in most cases.
1398 (vn_nary_op_insert_pieces_predicated): Avoid repeated
1399 calls to can_track_predicate_on_edge unless checking is
1401 (process_bb): Instead call it once here for each edge
1402 we register possibly multiple predicates on.
1404 2023-02-13 Richard Biener <rguenther@suse.de>
1406 PR tree-optimization/108691
1407 * tree-cfg.cc (notice_special_calls): When the CFG is built
1408 honor gimple_call_ctrl_altering_p.
1409 * cfgexpand.cc (expand_call_stmt): Clear cfun->calls_setjmp
1410 temporarily if the call is not control-altering.
1411 * calls.cc (emit_call_1): Do not add REG_SETJMP if
1412 cfun->calls_setjmp is not set. Do not alter cfun->calls_setjmp.
1414 2023-02-13 Stefan Schulze Frielinghaus <stefansf@linux.ibm.com>
1417 * config/s390/s390.cc (s390_bb_fallthru_entry_likely): Remove.
1418 (struct s390_sched_state): Initialise to zero.
1419 (s390_sched_variable_issue): For better debuggability also emit
1421 (s390_sched_init): Unconditionally reset scheduler state.
1423 2023-02-13 Richard Sandiford <richard.sandiford@arm.com>
1425 * ifcvt.h (noce_if_info::cond_inverted): New field.
1426 * ifcvt.cc (cond_move_convert_if_block): Swap the then and else
1427 values when cond_inverted is true.
1428 (noce_find_if_block): Allow the condition to be inverted when
1429 handling conditional moves.
1431 2023-02-13 Stefan Schulze Frielinghaus <stefansf@linux.ibm.com>
1433 * config/s390/predicates.md (execute_operation): Use
1434 constrain_operands instead of extract_constrain_insn in order to
1435 determine wheter there exists a valid alternative.
1437 2023-02-13 Claudiu Zissulescu <claziss@gmail.com>
1439 * common/config/arc/arc-common.cc (arc_option_optimization_table):
1440 Remove millicode from list.
1442 2023-02-13 Martin Liska <mliska@suse.cz>
1444 * doc/invoke.texi: Document ira-simple-lra-insn-threshold.
1446 2023-02-13 Richard Biener <rguenther@suse.de>
1448 PR tree-optimization/106722
1449 * tree-ssa-dce.cc (mark_last_stmt_necessary): Return
1450 whether we marked a stmt.
1451 (mark_control_dependent_edges_necessary): When
1452 mark_last_stmt_necessary didn't mark any stmt make sure
1453 to mark its control dependent edges.
1454 (propagate_necessity): Likewise.
1456 2023-02-13 Kito Cheng <kito.cheng@sifive.com>
1458 * config/riscv/riscv.h (RISCV_DWARF_VLENB): New.
1459 (DWARF_FRAME_REGISTERS): New.
1460 (DWARF_REG_TO_UNWIND_COLUMN): New.
1462 2023-02-12 Gerald Pfeifer <gerald@pfeifer.com>
1464 * doc/sourcebuild.texi: Remove (broken) direct reference to
1465 "The GNU configure and build system".
1467 2023-02-12 Jin Ma <jinma@linux.alibaba.com>
1469 * config/riscv/riscv.cc (riscv_adjust_libcall_cfi_prologue): Change
1470 gen_add3_insn to gen_rtx_SET.
1471 (riscv_adjust_libcall_cfi_epilogue): Likewise.
1473 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1475 * config/riscv/riscv-vector-builtins-bases.cc (class sat_op): New class.
1476 (class vnclip): Ditto.
1478 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1479 * config/riscv/riscv-vector-builtins-functions.def (vaadd): Ditto.
1488 * config/riscv/vector-iterators.md (su): Add instruction.
1491 * config/riscv/vector.md (@pred_<sat_op><mode>): New pattern.
1492 (@pred_<sat_op><mode>_scalar): Ditto.
1493 (*pred_<sat_op><mode>_scalar): Ditto.
1494 (*pred_<sat_op><mode>_extended_scalar): Ditto.
1495 (@pred_narrow_clip<v_su><mode>): Ditto.
1496 (@pred_narrow_clip<v_su><mode>_scalar): Ditto.
1498 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1500 * config/riscv/constraints.md (Wbr): Remove unused constraint.
1501 * config/riscv/predicates.md: Fix move operand predicate.
1502 * config/riscv/riscv-vector-builtins-bases.cc (class vnshift): New class.
1503 (class vncvt_x): Ditto.
1504 (class vmerge): Ditto.
1505 (class vmv_v): Ditto.
1507 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1508 * config/riscv/riscv-vector-builtins-functions.def (vsra): Ditto.
1515 * config/riscv/riscv-vector-builtins-shapes.cc (struct narrow_alu_def): Ditto.
1516 (struct move_def): Ditto.
1518 * config/riscv/riscv-vector-builtins-shapes.h: Ditto.
1519 * config/riscv/riscv-vector-builtins.cc (DEF_RVV_WEXTI_OPS): New variable.
1520 (DEF_RVV_WEXTU_OPS): Ditto
1521 * config/riscv/riscv-vector-builtins.def (x_x_w): Fix type for suffix.
1526 * config/riscv/riscv.cc (riscv_print_operand): Refine ASM printting rule.
1527 * config/riscv/vector-iterators.md (nmsac):New iterator.
1528 (nmsub): New iterator.
1529 * config/riscv/vector.md (@pred_merge<mode>): New pattern.
1530 (@pred_merge<mode>_scalar): New pattern.
1531 (*pred_merge<mode>_scalar): New pattern.
1532 (*pred_merge<mode>_extended_scalar): New pattern.
1533 (@pred_narrow_<optab><mode>): New pattern.
1534 (@pred_narrow_<optab><mode>_scalar): New pattern.
1535 (@pred_trunc<mode>): New pattern.
1537 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1539 * config/riscv/riscv-vector-builtins-bases.cc (class vmadc): New class.
1540 (class vmsbc): Ditto.
1541 (BASE): Define new class.
1542 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1543 * config/riscv/riscv-vector-builtins-functions.def (vmadc): New define.
1545 * config/riscv/riscv-vector-builtins-shapes.cc (struct return_mask_def):
1548 * config/riscv/riscv-vector-builtins-shapes.h: Ditto.
1549 * config/riscv/riscv-vector-builtins.cc
1550 (function_expander::use_exact_insn): Adjust for new support
1551 * config/riscv/riscv-vector-builtins.h
1552 (function_base::has_merge_operand_p): New function.
1553 * config/riscv/vector-iterators.md: New iterator.
1554 * config/riscv/vector.md (@pred_madc<mode>): New pattern.
1555 (@pred_msbc<mode>): Ditto.
1556 (@pred_madc<mode>_scalar): Ditto.
1557 (@pred_msbc<mode>_scalar): Ditto.
1558 (*pred_madc<mode>_scalar): Ditto.
1559 (*pred_madc<mode>_extended_scalar): Ditto.
1560 (*pred_msbc<mode>_scalar): Ditto.
1561 (*pred_msbc<mode>_extended_scalar): Ditto.
1562 (@pred_madc<mode>_overflow): Ditto.
1563 (@pred_msbc<mode>_overflow): Ditto.
1564 (@pred_madc<mode>_overflow_scalar): Ditto.
1565 (@pred_msbc<mode>_overflow_scalar): Ditto.
1566 (*pred_madc<mode>_overflow_scalar): Ditto.
1567 (*pred_madc<mode>_overflow_extended_scalar): Ditto.
1568 (*pred_msbc<mode>_overflow_scalar): Ditto.
1569 (*pred_msbc<mode>_overflow_extended_scalar): Ditto.
1571 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1573 * config/riscv/riscv-protos.h (simm5_p): Add vadc/vsbc support.
1574 * config/riscv/riscv-v.cc (simm32_p): Ditto.
1575 * config/riscv/riscv-vector-builtins-bases.cc (class vadc): New class.
1576 (class vsbc): Ditto.
1578 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1579 * config/riscv/riscv-vector-builtins-functions.def (vadc): Ditto.
1581 * config/riscv/riscv-vector-builtins-shapes.cc
1582 (struct no_mask_policy_def): Ditto.
1584 * config/riscv/riscv-vector-builtins-shapes.h: Ditto.
1585 * config/riscv/riscv-vector-builtins.cc
1586 (rvv_arg_type_info::get_base_vector_type): Add vadc/vsbc support.
1587 (rvv_arg_type_info::get_tree_type): Ditto.
1588 (function_expander::use_exact_insn): Ditto.
1589 * config/riscv/riscv-vector-builtins.h (enum rvv_base_type): Ditto.
1590 (function_base::use_mask_predication_p): New function.
1591 * config/riscv/vector-iterators.md: New iterator.
1592 * config/riscv/vector.md (@pred_adc<mode>): New pattern.
1593 (@pred_sbc<mode>): Ditto.
1594 (@pred_adc<mode>_scalar): Ditto.
1595 (@pred_sbc<mode>_scalar): Ditto.
1596 (*pred_adc<mode>_scalar): Ditto.
1597 (*pred_adc<mode>_extended_scalar): Ditto.
1598 (*pred_sbc<mode>_scalar): Ditto.
1599 (*pred_sbc<mode>_extended_scalar): Ditto.
1601 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1603 * config/riscv/vector.md: use "zero" reg.
1605 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1607 * config/riscv/riscv-vector-builtins-bases.cc (class widen_binop): New
1609 (class vwmulsu): Ditto.
1610 (class vwcvt): Ditto.
1611 (BASE): Add integer widening support.
1612 * config/riscv/riscv-vector-builtins-bases.h: Ditto
1613 * config/riscv/riscv-vector-builtins-functions.def (vwadd): New class.
1616 (vwmulu): New class.
1617 (vwmulsu): New class.
1618 (vwaddu): New class.
1619 (vwsubu): New class.
1620 (vwcvt_x): New class.
1621 (vwcvtu_x): New class.
1622 * config/riscv/riscv-vector-builtins-shapes.cc (struct alu_def): New
1624 (struct widen_alu_def): New class.
1626 * config/riscv/riscv-vector-builtins-shapes.h: New class.
1627 * config/riscv/riscv-vector-builtins.cc
1628 (rvv_arg_type_info::get_base_vector_type): Add integer widening support.
1629 (rvv_arg_type_info::get_tree_type): Ditto.
1630 * config/riscv/riscv-vector-builtins.def (x_x_v): Change into "x_v"
1632 * config/riscv/riscv-vector-builtins.h (enum rvv_base_type): Add integer
1634 * config/riscv/riscv-vsetvl.cc (change_insn): Fix reg_equal use bug.
1635 * config/riscv/riscv.h (X0_REGNUM): New constant.
1636 * config/riscv/vector-iterators.md: New iterators.
1637 * config/riscv/vector.md
1638 (@pred_dual_widen_<any_widen_binop:optab><any_extend:su><mode>): New
1640 (@pred_dual_widen_<any_widen_binop:optab><any_extend:su><mode>_scalar):
1642 (@pred_single_widen_<plus_minus:optab><any_extend:su><mode>): Ditto.
1643 (@pred_single_widen_<plus_minus:optab><any_extend:su><mode>_scalar):
1645 (@pred_widen_mulsu<mode>): Ditto.
1646 (@pred_widen_mulsu<mode>_scalar): Ditto.
1647 (@pred_<optab><mode>): Ditto.
1649 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1650 kito-cheng <kito.cheng@sifive.com>
1652 * common/config/riscv/riscv-common.cc: Add flag for 'V' extension.
1653 * config/riscv/riscv-vector-builtins-bases.cc (class vmulh): New class.
1655 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1656 * config/riscv/riscv-vector-builtins-functions.def (vmulh): Add vmulh
1660 * config/riscv/riscv-vector-builtins-types.def (DEF_RVV_FULL_V_I_OPS):
1662 (DEF_RVV_FULL_V_U_OPS): Ditto.
1663 (vint8mf8_t): Ditto.
1664 (vint8mf4_t): Ditto.
1665 (vint8mf2_t): Ditto.
1670 (vint16mf4_t): Ditto.
1671 (vint16mf2_t): Ditto.
1672 (vint16m1_t): Ditto.
1673 (vint16m2_t): Ditto.
1674 (vint16m4_t): Ditto.
1675 (vint16m8_t): Ditto.
1676 (vint32mf2_t): Ditto.
1677 (vint32m1_t): Ditto.
1678 (vint32m2_t): Ditto.
1679 (vint32m4_t): Ditto.
1680 (vint32m8_t): Ditto.
1681 (vint64m1_t): Ditto.
1682 (vint64m2_t): Ditto.
1683 (vint64m4_t): Ditto.
1684 (vint64m8_t): Ditto.
1685 (vuint8mf8_t): Ditto.
1686 (vuint8mf4_t): Ditto.
1687 (vuint8mf2_t): Ditto.
1688 (vuint8m1_t): Ditto.
1689 (vuint8m2_t): Ditto.
1690 (vuint8m4_t): Ditto.
1691 (vuint8m8_t): Ditto.
1692 (vuint16mf4_t): Ditto.
1693 (vuint16mf2_t): Ditto.
1694 (vuint16m1_t): Ditto.
1695 (vuint16m2_t): Ditto.
1696 (vuint16m4_t): Ditto.
1697 (vuint16m8_t): Ditto.
1698 (vuint32mf2_t): Ditto.
1699 (vuint32m1_t): Ditto.
1700 (vuint32m2_t): Ditto.
1701 (vuint32m4_t): Ditto.
1702 (vuint32m8_t): Ditto.
1703 (vuint64m1_t): Ditto.
1704 (vuint64m2_t): Ditto.
1705 (vuint64m4_t): Ditto.
1706 (vuint64m8_t): Ditto.
1707 * config/riscv/riscv-vector-builtins.cc (DEF_RVV_FULL_V_I_OPS): Ditto.
1708 (DEF_RVV_FULL_V_U_OPS): Ditto.
1709 (check_required_extensions): Add vmulh support.
1710 (rvv_arg_type_info::get_tree_type): Ditto.
1711 * config/riscv/riscv-vector-builtins.h (RVV_REQUIRE_FULL_V): Ditto.
1712 (enum rvv_base_type): Ditto.
1713 * config/riscv/riscv.opt: Add 'V' extension flag.
1714 * config/riscv/vector-iterators.md (su): New iterator.
1715 * config/riscv/vector.md (@pred_mulh<v_su><mode>): New pattern.
1716 (@pred_mulh<v_su><mode>_scalar): Ditto.
1717 (*pred_mulh<v_su><mode>_scalar): Ditto.
1718 (*pred_mulh<v_su><mode>_extended_scalar): Ditto.
1720 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1722 * config/riscv/iterators.md: Add sign_extend/zero_extend.
1723 * config/riscv/riscv-vector-builtins-bases.cc (class ext): New class.
1725 * config/riscv/riscv-vector-builtins-bases.h: Add vsext/vzext support.
1726 * config/riscv/riscv-vector-builtins-functions.def (vsext): New macro
1729 * config/riscv/riscv-vector-builtins-shapes.cc (struct alu_def): Adjust
1730 for vsext/vzext support.
1731 * config/riscv/riscv-vector-builtins-types.def (DEF_RVV_WEXTI_OPS): New
1733 (DEF_RVV_QEXTI_OPS): Ditto.
1734 (DEF_RVV_OEXTI_OPS): Ditto.
1735 (DEF_RVV_WEXTU_OPS): Ditto.
1736 (DEF_RVV_QEXTU_OPS): Ditto.
1737 (DEF_RVV_OEXTU_OPS): Ditto.
1738 (vint16mf4_t): Ditto.
1739 (vint16mf2_t): Ditto.
1740 (vint16m1_t): Ditto.
1741 (vint16m2_t): Ditto.
1742 (vint16m4_t): Ditto.
1743 (vint16m8_t): Ditto.
1744 (vint32mf2_t): Ditto.
1745 (vint32m1_t): Ditto.
1746 (vint32m2_t): Ditto.
1747 (vint32m4_t): Ditto.
1748 (vint32m8_t): Ditto.
1749 (vint64m1_t): Ditto.
1750 (vint64m2_t): Ditto.
1751 (vint64m4_t): Ditto.
1752 (vint64m8_t): Ditto.
1753 (vuint16mf4_t): Ditto.
1754 (vuint16mf2_t): Ditto.
1755 (vuint16m1_t): Ditto.
1756 (vuint16m2_t): Ditto.
1757 (vuint16m4_t): Ditto.
1758 (vuint16m8_t): Ditto.
1759 (vuint32mf2_t): Ditto.
1760 (vuint32m1_t): Ditto.
1761 (vuint32m2_t): Ditto.
1762 (vuint32m4_t): Ditto.
1763 (vuint32m8_t): Ditto.
1764 (vuint64m1_t): Ditto.
1765 (vuint64m2_t): Ditto.
1766 (vuint64m4_t): Ditto.
1767 (vuint64m8_t): Ditto.
1768 * config/riscv/riscv-vector-builtins.cc (DEF_RVV_WEXTI_OPS): Ditto.
1769 (DEF_RVV_QEXTI_OPS): Ditto.
1770 (DEF_RVV_OEXTI_OPS): Ditto.
1771 (DEF_RVV_WEXTU_OPS): Ditto.
1772 (DEF_RVV_QEXTU_OPS): Ditto.
1773 (DEF_RVV_OEXTU_OPS): Ditto.
1774 (rvv_arg_type_info::get_base_vector_type): Add sign_exted/zero_extend
1776 (rvv_arg_type_info::get_tree_type): Ditto.
1777 * config/riscv/riscv-vector-builtins.h (enum rvv_base_type): Ditto.
1778 * config/riscv/vector-iterators.md (z): New attribute.
1779 * config/riscv/vector.md (@pred_<optab><mode>_vf2): New pattern.
1780 (@pred_<optab><mode>_vf4): Ditto.
1781 (@pred_<optab><mode>_vf8): Ditto.
1783 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1785 * config/riscv/iterators.md: Add saturating Addition && Subtraction.
1786 * config/riscv/riscv-v.cc (has_vi_variant_p): Ditto.
1787 * config/riscv/riscv-vector-builtins-bases.cc (BASE): Ditto.
1788 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1789 * config/riscv/riscv-vector-builtins-functions.def (vsadd): New def.
1793 * config/riscv/vector-iterators.md (sll.vi): Adjust for Saturating
1798 * config/riscv/vector.md (@pred_<optab><mode>): New pattern.
1799 (@pred_<optab><mode>_scalar): New pattern.
1800 (*pred_<optab><mode>_scalar): New pattern.
1801 (*pred_<optab><mode>_extended_scalar): New pattern.
1803 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1805 * config/riscv/iterators.md: Add neg and not.
1806 * config/riscv/riscv-vector-builtins-bases.cc (class unop): New class.
1808 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1809 * config/riscv/riscv-vector-builtins-functions.def (vadd): Rename binop
1830 * config/riscv/riscv-vector-builtins-shapes.cc (struct binop_def): Ditto.
1831 (struct alu_def): Ditto.
1833 * config/riscv/riscv-vector-builtins-shapes.h: Ditto.
1834 * config/riscv/riscv-vector-builtins.cc: Support unary C/C/++.
1835 * config/riscv/vector-iterators.md: New iterator.
1836 * config/riscv/vector.md (@pred_<optab><mode>): New pattern
1838 2023-02-12 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1840 * config/riscv/riscv-vsetvl.cc (pass_vsetvl::compute_probabilities): Skip exit block.
1842 2023-02-11 Jakub Jelinek <jakub@redhat.com>
1845 * ipa-cp.cc (ipa_agg_value_from_jfunc): Return NULL_TREE also if
1846 item->offset bit position is too large to be representable as
1847 unsigned int byte position.
1849 2023-02-11 Gerald Pfeifer <gerald@pfeifer.com>
1851 * doc/extend.texi (Other Builtins): Adjust link to WG14 N965.
1853 2023-02-10 Vladimir N. Makarov <vmakarov@redhat.com>
1855 * ira.cc (update_equiv_regs): Set up ira_reg_equiv for
1856 valid_combine only when ira_use_lra_p is true.
1858 2023-02-10 Vladimir N. Makarov <vmakarov@redhat.com>
1860 * params.opt (ira-simple-lra-insn-threshold): Add new param.
1861 * ira.cc (ira): Use the param to switch on simple LRA.
1863 2023-02-10 Andrew MacLeod <amacleod@redhat.com>
1865 PR tree-optimization/108687
1866 * gimple-range-cache.cc (ranger_cache::range_on_edge): Revert
1867 back to RFD_NONE mode for calculations.
1868 (ranger_cache::propagate_cache): Call the internal edge range API
1869 with RFD_READ_ONLY instead of changing the external routine.
1871 2023-02-10 Andrew MacLeod <amacleod@redhat.com>
1873 PR tree-optimization/108520
1874 * gimple-range-infer.cc (check_assume_func): Invoke
1875 gimple_range_global directly instead using global_range_query.
1876 * value-query.cc (get_range_global): Add function context and
1877 avoid calling nonnull_arg_p if not cfun.
1878 (gimple_range_global): Add function context pointer.
1879 * value-query.h (imple_range_global): Add function context.
1881 2023-02-10 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
1883 * config/riscv/constraints.md (Wdm): Adjust constraint.
1884 (Wbr): New constraint.
1885 * config/riscv/predicates.md (reg_or_int_operand): New predicate.
1886 * config/riscv/riscv-protos.h (emit_pred_op): Remove function.
1887 (emit_vlmax_op): New function.
1888 (emit_nonvlmax_op): Ditto.
1890 (neg_simm5_p): Ditto.
1891 (has_vi_variant_p): Ditto.
1892 * config/riscv/riscv-v.cc (emit_pred_op): Adjust function.
1893 (emit_vlmax_op): New function.
1894 (emit_nonvlmax_op): Ditto.
1895 (expand_const_vector): Adjust function.
1896 (legitimize_move): Ditto.
1897 (simm32_p): New function.
1899 (neg_simm5_p): Ditto.
1900 (has_vi_variant_p): Ditto.
1901 * config/riscv/riscv-vector-builtins-bases.cc (class vrsub): New class.
1903 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
1904 * config/riscv/riscv-vector-builtins-functions.def (vmin): Remove
1907 (vminu): Remove signed cases.
1909 (vdiv): Remove unsigned cases.
1911 (vdivu): Remove signed cases.
1920 * config/riscv/riscv-vector-builtins.cc (DEF_RVV_U_OPS): New macro.
1921 * config/riscv/riscv.h: change VL/VTYPE as fixed reg.
1922 * config/riscv/vector-iterators.md: New iterators.
1923 * config/riscv/vector.md (@pred_broadcast<mode>): Adjust pattern for vx
1925 (@pred_<optab><mode>_scalar): New pattern.
1926 (@pred_sub<mode>_reverse_scalar): Ditto.
1927 (*pred_<optab><mode>_scalar): Ditto.
1928 (*pred_<optab><mode>_extended_scalar): Ditto.
1929 (*pred_sub<mode>_reverse_scalar): Ditto.
1930 (*pred_sub<mode>_extended_reverse_scalar): Ditto.
1932 2023-02-10 Richard Biener <rguenther@suse.de>
1934 PR tree-optimization/108724
1935 * tree-vect-stmts.cc (vectorizable_operation): Avoid
1936 using word_mode vectors when vector lowering will
1937 decompose them to elementwise operations.
1939 2023-02-10 Jakub Jelinek <jakub@redhat.com>
1942 2023-02-09 Martin Liska <mliska@suse.cz>
1945 * doc/extend.texi: Document that the function
1946 does not work correctly for old VIA processors.
1948 2023-02-10 Andrew Pinski <apinski@marvell.com>
1949 Andrew Macleod <amacleod@redhat.com>
1951 PR tree-optimization/108684
1952 * tree-ssa-dce.cc (simple_dce_from_worklist):
1953 Check all ssa names and not just non-vdef ones
1954 before accepting the inline-asm.
1955 Call unlink_stmt_vdef on the statement before
1958 2023-02-09 Vladimir N. Makarov <vmakarov@redhat.com>
1960 * ira.h (struct ira_reg_equiv_s): Add new field caller_save_p.
1961 * ira.cc (validate_equiv_mem): Check memref address variance.
1962 (no_equiv): Clear caller_save_p flag.
1963 (update_equiv_regs): Define caller save equivalence for
1965 (setup_reg_equiv): Clear defined_p flag for caller save equivalence.
1966 * lra-constraints.cc (lra_copy_reg_equiv): Add new arg
1967 call_save_p. Use caller save equivalence depending on the arg.
1968 (split_reg): Adjust the call.
1970 2023-02-09 Jakub Jelinek <jakub@redhat.com>
1973 * common/config/i386/cpuinfo.h (get_zhaoxin_cpu): Formatting fixes.
1974 (cpu_indicator_init): Call get_available_features for all CPUs with
1975 max_level >= 1, rather than just Intel, AMD or Zhaoxin. Formatting
1978 2023-02-09 Jakub Jelinek <jakub@redhat.com>
1980 PR tree-optimization/108688
1981 * match.pd (bit_field_ref [bit_insert]): Simplify BIT_FIELD_REF
1982 of BIT_INSERT_EXPR extracting exactly all inserted bits even
1983 when without mode precision. Formatting fixes.
1985 2023-02-09 Andrew Pinski <apinski@marvell.com>
1987 PR tree-optimization/108688
1988 * match.pd (bit_field_ref [bit_insert]): Avoid generating
1989 BIT_FIELD_REFs of non-mode-precision integral operands.
1991 2023-02-09 Martin Liska <mliska@suse.cz>
1994 * doc/extend.texi: Document that the function
1995 does not work correctly for old VIA processors.
1997 2023-02-09 Andreas Schwab <schwab@suse.de>
1999 * lto-wrapper.cc (merge_and_complain): Handle
2000 -funwind-tables and -fasynchronous-unwind-tables.
2001 (append_compiler_options): Likewise.
2003 2023-02-09 Richard Biener <rguenther@suse.de>
2005 PR tree-optimization/26854
2006 * tree-into-ssa.cc (update_ssa): Turn blocks_to_update to tree
2007 view around insert_updated_phi_nodes_for.
2008 * tree-ssa-alias.cc (maybe_skip_until): Allocate visited bitmap
2010 (walk_aliased_vdefs_1): Likewise.
2012 2023-02-08 Gerald Pfeifer <gerald@pfeifer.com>
2014 * doc/include/gpl_v3.texi: Change fsf.org to www.fsf.org.
2016 2023-02-08 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
2019 * config.gcc (tm_mlib_file): Define new variable.
2021 2023-02-08 Jakub Jelinek <jakub@redhat.com>
2023 PR tree-optimization/108692
2024 * tree-vect-patterns.cc (vect_widened_op_tree): If rhs_code is
2025 widened_code which is different from code, don't call
2026 vect_look_through_possible_promotion but instead just check op is
2027 SSA_NAME with integral type for which vect_is_simple_use is true
2028 and call set_op on this_unprom.
2030 2023-02-08 Andrea Corallo <andrea.corallo@arm.com>
2032 * config/aarch64/aarch64-protos.h (aarch_ra_sign_key): Remove
2034 * config/aarch64/aarch64.cc (aarch_ra_sign_key): Remove
2036 * config/aarch64/aarch64.opt (aarch64_ra_sign_key): Rename
2037 to 'aarch_ra_sign_key'.
2038 * config/arm/aarch-common.cc (aarch_ra_sign_key): Remove
2040 * config/arm/arm-protos.h (aarch_ra_sign_key): Likewise.
2041 * config/arm/arm.cc (enum aarch_key_type): Remove definition.
2042 * config/arm/arm.opt: Define.
2044 2023-02-08 Richard Sandiford <richard.sandiford@arm.com>
2046 PR tree-optimization/108316
2047 * tree-vect-stmts.cc (get_load_store_type): When using
2048 internal functions for gather/scatter, make sure that the type
2049 of the offset argument is consistent with the offset vector type.
2051 2023-02-08 Vladimir N. Makarov <vmakarov@redhat.com>
2054 2023-02-07 Vladimir N. Makarov <vmakarov@redhat.com>
2056 * ira.h (struct ira_reg_equiv_s): Add new field caller_save_p.
2057 * ira.cc (validate_equiv_mem): Check memref address variance.
2058 (update_equiv_regs): Define caller save equivalence for
2060 (setup_reg_equiv): Clear defined_p flag for caller save equivalence.
2061 * lra-constraints.cc (lra_copy_reg_equiv): Add new arg
2062 call_save_p. Use caller save equivalence depending on the arg.
2063 (split_reg): Adjust the call.
2065 2023-02-08 Jakub Jelinek <jakub@redhat.com>
2067 * tree.def (SAD_EXPR): Remove outdated comment about missing
2070 2023-02-07 Marek Polacek <polacek@redhat.com>
2072 * doc/invoke.texi: Update -fchar8_t documentation.
2074 2023-02-07 Vladimir N. Makarov <vmakarov@redhat.com>
2076 * ira.h (struct ira_reg_equiv_s): Add new field caller_save_p.
2077 * ira.cc (validate_equiv_mem): Check memref address variance.
2078 (update_equiv_regs): Define caller save equivalence for
2080 (setup_reg_equiv): Clear defined_p flag for caller save equivalence.
2081 * lra-constraints.cc (lra_copy_reg_equiv): Add new arg
2082 call_save_p. Use caller save equivalence depending on the arg.
2083 (split_reg): Adjust the call.
2085 2023-02-07 Richard Biener <rguenther@suse.de>
2087 PR tree-optimization/26854
2088 * gimple-fold.cc (has_use_on_stmt): Look at stmt operands
2089 instead of immediate uses.
2091 2023-02-07 Jakub Jelinek <jakub@redhat.com>
2093 PR tree-optimization/106923
2094 * ipa-split.cc (execute_split_functions): Don't split returns_twice
2097 2023-02-07 Jakub Jelinek <jakub@redhat.com>
2099 PR tree-optimization/106433
2100 * cgraph.cc (set_const_flag_1): Recurse on simd clones too.
2101 (cgraph_node::set_pure_flag): Call set_pure_flag_1 on simd clones too.
2103 2023-02-07 Jan Hubicka <jh@suse.cz>
2105 * config/i386/x86-tune.def (X86_TUNE_AVX256_OPTIMAL): Turn off
2108 2023-02-06 Andrew Stubbs <ams@codesourcery.com>
2110 * config/gcn/mkoffload.cc (gcn_stack_size): New global variable.
2111 (process_asm): Create a constructor for GCN_STACK_SIZE.
2112 (main): Parse the -mstack-size option.
2114 2023-02-06 Alex Coplan <alex.coplan@arm.com>
2117 * config/aarch64/aarch64-simd.md (aarch64_bfmlal<bt>_lane<q>v4sf):
2118 Use correct constraint for operand 3.
2120 2023-02-06 Martin Jambor <mjambor@suse.cz>
2122 * ipa-sra.cc (adjust_parameter_descriptions): Fix a typo in a dump.
2124 2023-02-06 Xi Ruoyao <xry111@xry111.site>
2126 * config/loongarch/loongarch.md (bytepick_w_ashift_amount):
2127 New define_int_iterator.
2128 (bytepick_d_ashift_amount): Likewise.
2129 (bytepick_imm): New define_int_attr.
2130 (bytepick_w_lshiftrt_amount): Likewise.
2131 (bytepick_d_lshiftrt_amount): Likewise.
2132 (bytepick_w_<bytepick_imm>): New define_insn template.
2133 (bytepick_w_<bytepick_imm>_extend): Likewise.
2134 (bytepick_d_<bytepick_imm>): Likewise.
2135 (bytepick_w): Remove unused define_insn.
2136 (bytepick_d): Likewise.
2137 (UNSPEC_BYTEPICK_W): Remove unused unspec.
2138 (UNSPEC_BYTEPICK_D): Likewise.
2139 * config/loongarch/predicates.md (const_0_to_3_operand):
2140 Remove unused define_predicate.
2141 (const_0_to_7_operand): Likewise.
2143 2023-02-06 Jakub Jelinek <jakub@redhat.com>
2145 PR tree-optimization/108655
2146 * ubsan.cc (sanitize_unreachable_fn): For -funreachable-traps
2147 or -fsanitize=unreachable -fsanitize-trap=unreachable return
2148 BUILT_IN_UNREACHABLE_TRAP decl rather than BUILT_IN_TRAP.
2150 2023-02-05 Gerald Pfeifer <gerald@pfeifer.com>
2152 * doc/install.texi (Specific): Remove PW32.
2154 2023-02-03 Jakub Jelinek <jakub@redhat.com>
2156 PR tree-optimization/108647
2157 * range-op.cc (operator_equal::op1_range,
2158 operator_not_equal::op1_range): Don't test op2 bound
2159 equality if op2.undefined_p (), instead set_varying.
2160 (operator_lt::op1_range, operator_le::op1_range,
2161 operator_gt::op1_range, operator_ge::op1_range): Return false if
2163 (operator_lt::op2_range, operator_le::op2_range,
2164 operator_gt::op2_range, operator_ge::op2_range): Return false if
2167 2023-02-03 Aldy Hernandez <aldyh@redhat.com>
2169 PR tree-optimization/108639
2170 * value-range.cc (irange::legacy_equal_p): Compare nonzero bits as
2172 (irange::operator==): Same.
2174 2023-02-03 Aldy Hernandez <aldyh@redhat.com>
2176 PR tree-optimization/108647
2177 * range-op-float.cc (foperator_lt::op1_range): Handle undefined ranges.
2178 (foperator_lt::op2_range): Same.
2179 (foperator_le::op1_range): Same.
2180 (foperator_le::op2_range): Same.
2181 (foperator_gt::op1_range): Same.
2182 (foperator_gt::op2_range): Same.
2183 (foperator_ge::op1_range): Same.
2184 (foperator_ge::op2_range): Same.
2185 (foperator_unordered_lt::op1_range): Same.
2186 (foperator_unordered_lt::op2_range): Same.
2187 (foperator_unordered_le::op1_range): Same.
2188 (foperator_unordered_le::op2_range): Same.
2189 (foperator_unordered_gt::op1_range): Same.
2190 (foperator_unordered_gt::op2_range): Same.
2191 (foperator_unordered_ge::op1_range): Same.
2192 (foperator_unordered_ge::op2_range): Same.
2194 2023-02-03 Andrew MacLeod <amacleod@redhat.com>
2196 PR tree-optimization/107570
2197 * tree-vrp.cc (remove_and_update_globals): Reset SCEV.
2199 2023-02-03 Gaius Mulley <gaiusmod2@gmail.com>
2201 * doc/gm2.texi (Internals): Remove from menu.
2202 (Using): Comment out ifnohtml conditional.
2203 (Documentation): Use gcc url.
2204 (License): Node simplified.
2205 (Copying): New node. Include gpl_v3_without_node.
2206 (Contributing): Node simplified.
2207 (Internals): Commented out.
2208 (Libraries): Node simplified.
2213 2023-02-03 Christophe Lyon <christophe.lyon@arm.com>
2215 * config/arm/mve.md (mve_vabavq_p_<supf><mode>): Add length
2217 (mve_vqshluq_m_n_s<mode>): Likewise.
2218 (mve_vshlq_m_<supf><mode>): Likewise.
2219 (mve_vsriq_m_n_<supf><mode>): Likewise.
2220 (mve_vsubq_m_<supf><mode>): Likewise.
2222 2023-02-03 Martin Jambor <mjambor@suse.cz>
2225 * ipa-sra.cc (push_param_adjustments_for_index): Remove a size check
2226 when comparing to an IPA-CP value.
2227 (dump_list_of_param_indices): New function.
2228 (adjust_parameter_descriptions): Check for mismatching IPA-CP values.
2229 Dump removed candidates using dump_list_of_param_indices.
2230 * ipa-param-manipulation.cc
2231 (ipa_param_body_adjustments::modify_expression): Add assert checking
2232 sizes of a VIEW_CONVERT_EXPR will match.
2233 (ipa_param_body_adjustments::modify_assignment): Likewise.
2235 2023-02-03 Monk Chiang <monk.chiang@sifive.com>
2237 * config/riscv/riscv.h: Remove VL_REGS, VTYPE_REGS class.
2238 * config/riscv/riscv.cc: Ditto.
2240 2023-02-03 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2242 * config/riscv/vector-iterators.md (sll.vi): Fix constraint bug.
2246 * config/riscv/vector.md: Ditto.
2248 2023-02-03 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2250 * config/riscv/predicates.md (pmode_reg_or_uimm5_operand): New predicate.
2251 * config/riscv/riscv-vector-builtins-bases.cc: New class.
2252 * config/riscv/riscv-vector-builtins-functions.def (vsll): Ditto.
2255 * config/riscv/riscv-vector-builtins.cc: Ditto.
2256 * config/riscv/vector.md (@pred_<optab><mode>_scalar): New pattern.
2258 2023-02-02 Iain Sandoe <iain@sandoe.co.uk>
2260 * toplev.cc (toplev::main): Only print the version information header
2261 from toplevel main().
2263 2023-02-02 Paul-Antoine Arras <pa@codesourcery.com>
2265 * config/gcn/gcn-valu.md (cond_<expander><mode>): Add
2266 cond_{ashl|ashr|lshr}
2268 2023-02-02 Richard Sandiford <richard.sandiford@arm.com>
2270 PR rtl-optimization/108086
2271 * rtl-ssa/insns.h (insn_info): Make m_num_defs a full unsigned int.
2272 Adjust size-related commentary accordingly.
2274 2023-02-02 Richard Sandiford <richard.sandiford@arm.com>
2276 PR rtl-optimization/108508
2277 * rtl-ssa/accesses.cc (function_info::split_clobber_group): When
2278 the splay tree search gives the first clobber in the second group,
2279 make sure that the root of the first clobber group is updated
2280 correctly. Enter the new clobber group into the definition splay
2283 2023-02-02 Jin Ma <jinma@linux.alibaba.com>
2285 * common/config/riscv/riscv-common.cc (riscv_compute_multilib):
2286 Fix finding best match score.
2288 2023-02-02 Jakub Jelinek <jakub@redhat.com>
2291 PR rtl-optimization/108463
2293 * cselib.cc (cselib_current_insn): Move declaration earlier.
2294 (cselib_hasher::equal): For debug only locs, temporarily override
2295 cselib_current_insn to their l->setting_insn for the
2296 rtx_equal_for_cselib_1 call, so that unsuccessful comparisons don't
2297 promote some debug locs.
2298 * sched-deps.cc (sched_analyze_2) <case MEM>: For MEMs in DEBUG_INSNs
2299 when using cselib call cselib_lookup_from_insn on the address but
2300 don't substitute it.
2302 2023-02-02 Richard Biener <rguenther@suse.de>
2304 PR middle-end/108625
2305 * genmatch.cc (expr::gen_transform): Also disallow resimplification
2306 from pushing to lseq with force_leaf.
2307 (dt_simplify::gen_1): Likewise.
2309 2023-02-02 Andrew Stubbs <ams@codesourcery.com>
2311 * config/gcn/gcn-run.cc: Include libgomp-gcn.h.
2312 (struct kernargs): Replace the common content with kernargs_abi.
2313 (struct heap): Delete.
2314 (main): Read GCN_STACK_SIZE envvar.
2315 Allocate space for the device stacks.
2316 Write the new kernargs fields.
2317 * config/gcn/gcn.cc (gcn_option_override): Remove stack_size_opt.
2318 (default_requested_args): Remove PRIVATE_SEGMENT_BUFFER_ARG and
2319 PRIVATE_SEGMENT_WAVE_OFFSET_ARG.
2320 (gcn_addr_space_convert): Mask the QUEUE_PTR_ARG content.
2321 (gcn_expand_prologue): Move the TARGET_PACKED_WORK_ITEMS to the top.
2322 Set up the stacks from the values in the kernargs, not private.
2323 (gcn_expand_builtin_1): Match the stack configuration in the prologue.
2324 (gcn_hsa_declare_function_name): Turn off the private segment.
2325 (gcn_conditional_register_usage): Ensure QUEUE_PTR is fixed.
2326 * config/gcn/gcn.h (FIXED_REGISTERS): Fix the QUEUE_PTR register.
2327 * config/gcn/gcn.opt (mstack-size): Change the description.
2329 2023-02-02 Andre Vieira <andre.simoesdiasvieira@arm.com>
2332 * config/arm/arm.h (VALID_MVE_PRED_MODE): Add V2QI.
2333 * config/arm/arm.cc (thumb2_legitimate_address_p): Use HImode for
2334 addressing MVE predicate modes.
2335 (mve_bool_vec_to_const): Change to represent correct MVE predicate
2337 (arm_hard_regno_mode_ok): Use VALID_MVE_PRED_MODE instead of checking
2339 (arm_vector_mode_supported_p): Likewise.
2340 (arm_mode_to_pred_mode): Add V2QI.
2341 * config/arm/arm-builtins.cc (UNOP_PRED_UNONE_QUALIFIERS): New
2343 (UNOP_PRED_PRED_QUALIFIERS): New qualifier
2344 (BINOP_PRED_UNONE_PRED_QUALIFIERS): New qualifier.
2345 (v2qi_UP): New macro.
2346 (v4bi_UP): New macro.
2347 (v8bi_UP): New macro.
2348 (v16bi_UP): New macro.
2349 (arm_expand_builtin_args): Make it able to expand the new predicate
2351 * config/arm/arm-modes.def (V2QI): New mode.
2352 * config/arm/arm-simd-builtin-types.def (Pred1x16_t, Pred2x8_t
2353 Pred4x4_t): Remove unused predicate builtin types.
2354 * config/arm/arm_mve.h (__arm_vctp16q, __arm_vctp32q, __arm_vctp64q,
2355 __arm_vctp8q, __arm_vpnot, __arm_vctp8q_m, __arm_vctp64q_m,
2356 __arm_vctp32q_m, __arm_vctp16q_m): Use predicate modes.
2357 * config/arm/arm_mve_builtins.def (vctp16q, vctp32q, vctp64q, vctp8q,
2358 vpnot, vctp8q_m, vctp16q_m, vctp32q_m, vctp64q_m): Likewise.
2359 * config/arm/constraints.md (DB): Check for VALID_MVE_PRED_MODE instead
2360 of MODE_VECTOR_BOOL.
2361 * config/arm/iterators.md (MVE_7, MVE_7_HI): Add V2QI
2362 (MVE_VPRED): Likewise.
2363 (MVE_vpred): Add V2QI and map upper case predicate modes to lower case.
2364 (MVE_vctp): New mode attribute.
2368 * config/arm/mve.md (mve_vctp<mode1>qhi): Rename this...
2369 (mve_vctp<MVE_vctp>q<MVE_vpred>): ... to this. And use new mode
2371 (mve_vpnothi): Rename this...
2372 (mve_vpnotv16bi): ... to this.
2373 (mve_vctp<mode1>q_mhi): Rename this...
2374 (mve_vctp<MVE_vctp>q_m<MVE_vpred>):... to this.
2375 (mve_vldrdq_gather_base_z_<supf>v2di,
2376 mve_vldrdq_gather_offset_z_<supf>v2di,
2377 mve_vldrdq_gather_shifted_offset_z_<supf>v2di,
2378 mve_vstrdq_scatter_base_p_<supf>v2di,
2379 mve_vstrdq_scatter_offset_p_<supf>v2di,
2380 mve_vstrdq_scatter_offset_p_<supf>v2di_insn,
2381 mve_vstrdq_scatter_shifted_offset_p_<supf>v2di,
2382 mve_vstrdq_scatter_shifted_offset_p_<supf>v2di_insn,
2383 mve_vstrdq_scatter_base_wb_p_<supf>v2di,
2384 mve_vldrdq_gather_base_wb_z_<supf>v2di,
2385 mve_vldrdq_gather_base_nowb_z_<supf>v2di,
2386 mve_vldrdq_gather_base_wb_z_<supf>v2di_insn): Use V2QI insead of HI for
2388 * config/arm/unspecs.md (VCTP8Q, VCTP16Q, VCTP32Q, VCTP64Q): Replace
2390 (VCTP): ... with this.
2391 (VCTP8Q_M, VCTP16Q_M, VCTP32Q_M, VCTP64Q_M): Replace these...
2392 (VCTP_M): ... with this.
2393 * config/arm/vfp.md (*thumb2_movhi_vfp, *thumb2_movhi_fp16): Use
2394 VALID_MVE_PRED_MODE instead of checking for MODE_VECTOR_BOOL class.
2396 2023-02-02 Andre Vieira <andre.simoesdiasvieira@arm.com>
2399 * config/arm/arm.cc (arm_hard_regno_mode_ok): Use new MACRO.
2400 (arm_modes_tieable_p): Make MVE predicate modes tieable.
2401 * config/arm/arm.h (VALID_MVE_PRED_MODE): New define.
2402 * simplify-rtx.cc (simplify_context::simplify_subreg): Teach
2403 simplify_subreg to simplify subregs where the outermode is not scalar.
2405 2023-02-02 Andre Vieira <andre.simoesdiasvieira@arm.com>
2408 * config/arm/arm-builtins.cc (arm_simd_builtin_type): Rewrite to use
2409 new qualifiers parameter and use unsigned short type for MVE predicate.
2410 (arm_init_builtin): Call arm_simd_builtin_type with qualifiers
2412 (arm_init_crypto_builtins): Likewise.
2414 2023-02-02 Jakub Jelinek <jakub@redhat.com>
2417 * builtins.def (BUILT_IN_UNREACHABLE_TRAP): New builtin.
2418 * internal-fn.def (TRAP): Remove.
2419 * internal-fn.cc (expand_TRAP): Remove.
2420 * tree.cc (build_common_builtin_nodes): Define
2421 BUILT_IN_UNREACHABLE_TRAP if not yet defined.
2422 (builtin_decl_unreachable): Use BUILT_IN_UNREACHABLE_TRAP
2423 instead of BUILT_IN_TRAP.
2424 * gimple.cc (gimple_build_builtin_unreachable): Remove
2425 emitting internal function for BUILT_IN_TRAP.
2426 * asan.cc (maybe_instrument_call): Handle BUILT_IN_UNREACHABLE_TRAP.
2427 * cgraph.cc (cgraph_edge::verify_corresponds_to_fndecl): Handle
2428 BUILT_IN_UNREACHABLE_TRAP instead of BUILT_IN_TRAP.
2429 * ipa-devirt.cc (possible_polymorphic_call_target_p): Handle
2430 BUILT_IN_UNREACHABLE_TRAP.
2431 * builtins.cc (expand_builtin, is_inexpensive_builtin): Likewise.
2432 * tree-cfg.cc (verify_gimple_call,
2433 pass_warn_function_return::execute): Likewise.
2434 * attribs.cc (decl_attributes): Don't report exclusions on
2435 BUILT_IN_UNREACHABLE_TRAP either.
2437 2023-02-02 liuhongt <hongtao.liu@intel.com>
2439 PR tree-optimization/108601
2440 * tree-vectorizer.h (vect_can_peel_nonlinear_iv_p): Removed.
2442 (vectorizable_nonlinear_induction): Remove
2443 vect_can_peel_nonlinear_iv_p.
2444 (vect_can_peel_nonlinear_iv_p): Don't peel
2445 nonlinear iv(mult or shift) for epilog when vf is not
2446 constant and moved the defination to ..
2447 * tree-vect-loop-manip.cc (vect_can_peel_nonlinear_iv_p):
2450 2023-02-02 Jakub Jelinek <jakub@redhat.com>
2452 PR middle-end/108435
2453 * tree-nested.cc (convert_nonlocal_omp_clauses)
2454 <case OMP_CLAUSE_LASTPRIVATE>: If info->new_local_var_chain and *seq
2455 is not a GIMPLE_BIND, wrap the sequence into a new GIMPLE_BIND
2456 before calling declare_vars.
2457 (convert_nonlocal_omp_clauses) <case OMP_CLAUSE_LINEAR>: Merge
2458 with the OMP_CLAUSE_LASTPRIVATE handling except for whether
2459 seq is initialized to &OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (clause)
2460 or &OMP_CLAUSE_LINEAR_GIMPLE_SEQ (clause).
2462 2023-02-01 Tamar Christina <tamar.christina@arm.com>
2464 * common/config/aarch64/aarch64-common.cc
2465 (struct aarch64_option_extension): Add native_detect and document struct
2467 (all_extensions): Set new field native_detect.
2468 * config/aarch64/aarch64.cc (struct aarch64_option_extension): Delete
2471 2023-02-01 Martin Liska <mliska@suse.cz>
2473 * ipa-devirt.cc (odr_types_equivalent_p): Respect *warned
2476 2023-02-01 Andrew MacLeod <amacleod@redhat.com>
2478 PR tree-optimization/108356
2479 * gimple-range-cache.cc (ranger_cache::range_on_edge): Always
2480 do a search of the DOM tree for a range.
2482 2023-02-01 Martin Liska <mliska@suse.cz>
2485 * cgraphunit.cc (walk_polymorphic_call_targets): Insert
2486 ony non-null values.
2487 * ipa.cc (walk_polymorphic_call_targets): Likewise.
2489 2023-02-01 Martin Liska <mliska@suse.cz>
2492 * gcc.cc (LINK_COMPRESS_DEBUG_SPEC): Report error only for
2495 2023-02-01 Jakub Jelinek <jakub@redhat.com>
2498 * ree.cc (combine_reaching_defs): Don't return false for paradoxical
2499 subregs in DEBUG_INSNs.
2501 2023-02-01 Richard Sandiford <richard.sandiford@arm.com>
2503 * compare-elim.cc (find_flags_uses_in_insn): Guard use of SET_SRC.
2505 2023-02-01 Andreas Krebbel <krebbel@linux.ibm.com>
2507 * config/s390/s390.cc (s390_restore_gpr_p): New function.
2508 (s390_preserve_gpr_arg_in_range_p): New function.
2509 (s390_preserve_gpr_arg_p): New function.
2510 (s390_preserve_fpr_arg_p): New function.
2511 (s390_register_info_stdarg_fpr): Rename to ...
2512 (s390_register_info_arg_fpr): ... this. Add -mpreserve-args handling.
2513 (s390_register_info_stdarg_gpr): Rename to ...
2514 (s390_register_info_arg_gpr): ... this. Add -mpreserve-args handling.
2515 (s390_register_info): Use the renamed functions above.
2516 (s390_optimize_register_info): Likewise.
2517 (save_fpr): Generate CFI for -mpreserve-args.
2518 (save_gprs): Generate CFI for -mpreserve-args. Drop return value.
2519 (s390_emit_prologue): Adjust to changed calling convention of save_gprs.
2520 (s390_optimize_prologue): Likewise.
2521 * config/s390/s390.opt: New option -mpreserve-args
2523 2023-02-01 Andreas Krebbel <krebbel@linux.ibm.com>
2525 * config/s390/s390.cc (save_gprs): Use gen_frame_mem.
2526 (restore_gprs): Likewise.
2527 (s390_emit_stack_tie): Make the stack_tie to be dependent on the
2528 frame pointer if a frame-pointer is used.
2529 (s390_emit_prologue): Emit stack_tie when frame-pointer is needed.
2530 * config/s390/s390.md (stack_tie): Add a register operand and
2532 (@stack_tie<mode>): ... this.
2534 2023-02-01 Andreas Krebbel <krebbel@linux.ibm.com>
2536 * dwarf2cfi.cc (dwarf2out_frame_debug_cfa_restore): Add
2538 (dwarf2out_frame_debug): Add case for REG_CFA_NORESTORE.
2539 * reg-notes.def (REG_CFA_NOTE): New reg note definition.
2541 2023-02-01 Richard Biener <rguenther@suse.de>
2543 PR middle-end/108500
2544 * dominance.cc (assign_dfs_numbers): Replace recursive DFS
2545 with tree traversal algorithm.
2547 2023-02-01 Jason Merrill <jason@redhat.com>
2549 * doc/invoke.texi: Document -Wno-changes-meaning.
2551 2023-02-01 David Malcolm <dmalcolm@redhat.com>
2553 * doc/invoke.texi (Static Analyzer Options): Add notes about
2554 limitations of -fanalyzer.
2556 2023-01-31 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2558 * config/riscv/constraints.md (vj): New.
2560 * config/riscv/iterators.md: Add more opcode.
2561 * config/riscv/predicates.md (vector_arith_operand): New.
2562 (vector_neg_arith_operand): New.
2563 (vector_shift_operand): New.
2564 * config/riscv/riscv-vector-builtins-bases.cc (class binop): New.
2565 * config/riscv/riscv-vector-builtins-bases.h: (vadd): New.
2582 * config/riscv/riscv-vector-builtins-functions.def (vadd): New.
2599 * config/riscv/riscv-vector-builtins-shapes.cc (struct binop_def): New.
2600 * config/riscv/riscv-vector-builtins-shapes.h (binop): New.
2601 * config/riscv/riscv-vector-builtins.cc (DEF_RVV_I_OPS): New.
2602 (DEF_RVV_U_OPS): New.
2603 (rvv_arg_type_info::get_base_vector_type): Handle
2604 RVV_BASE_shift_vector.
2605 (rvv_arg_type_info::get_tree_type): Ditto.
2606 * config/riscv/riscv-vector-builtins.h (enum rvv_base_type): Add
2607 RVV_BASE_shift_vector.
2608 * config/riscv/riscv.cc (riscv_print_operand): Handle 'V'.
2609 * config/riscv/vector-iterators.md: Handle more opcode.
2610 * config/riscv/vector.md (@pred_<optab><mode>): New.
2612 2023-01-31 Philipp Tomsich <philipp.tomsich@vrull.eu>
2615 * config/aarch64/aarch64.cc (aarch_macro_fusion_pair_p): Check
2618 2023-01-31 Richard Sandiford <richard.sandiford@arm.com>
2620 PR tree-optimization/108608
2621 * tree-vect-loop.cc (vect_transform_reduction): Handle single
2622 def-use cycles that involve function calls rather than tree codes.
2624 2023-01-31 Andrew MacLeod <amacleod@redhat.com>
2626 PR tree-optimization/108385
2627 * gimple-range-gori.cc (gori_compute::compute_operand_range):
2628 Allow VARYING computations to continue if there is a relation.
2629 * range-op.cc (pointer_plus_operator::op2_range): New.
2631 2023-01-31 Andrew MacLeod <amacleod@redhat.com>
2633 PR tree-optimization/108359
2634 * range-op.cc (range_operator::wi_fold_in_parts_equiv): New.
2635 (range_operator::fold_range): If op1 is equivalent to op2 then
2636 invoke new fold_in_parts_equiv to operate on sub-components.
2637 * range-op.h (wi_fold_in_parts_equiv): New prototype.
2639 2023-01-31 Andrew MacLeod <amacleod@redhat.com>
2641 * gimple-range-gori.cc (gori_compute::compute_operand_range): Do
2642 not abort calculations if there is a valid relation available.
2643 (gori_compute::refine_using_relation): Pass correct relation trio.
2644 (gori_compute::compute_operand1_range): Create trio and use it.
2645 (gori_compute::compute_operand2_range): Ditto.
2646 * range-op.cc (operator_plus::op1_range): Use correct trio member.
2647 (operator_minus::op1_range): Use correct trio member.
2648 * value-relation.cc (value_relation::create_trio): New.
2649 * value-relation.h (value_relation::create_trio): New prototype.
2651 2023-01-31 Jakub Jelinek <jakub@redhat.com>
2654 * config/i386/i386-expand.cc
2655 (ix86_convert_const_wide_int_to_broadcast): Return nullptr if
2656 CONST_WIDE_INT_NUNITS (op) times HOST_BITS_PER_WIDE_INT isn't
2657 equal to bitsize of mode.
2659 2023-01-31 Jakub Jelinek <jakub@redhat.com>
2661 PR rtl-optimization/108596
2662 * bb-reorder.cc (fix_up_fall_thru_edges): Handle the case where cur_bb
2663 ends with asm goto and has a crossing fallthrough edge to the same bb
2664 that contains at least one of its labels by restoring EDGE_CROSSING
2665 flag even on possible edge from cur_bb to new_bb successor.
2667 2023-01-31 Jakub Jelinek <jakub@redhat.com>
2670 * config/i386/avx512erintrin.h (_mm512_exp2a23_round_pd,
2671 _mm512_exp2a23_round_ps, _mm512_rcp28_round_pd, _mm512_rcp28_round_ps,
2672 _mm512_rsqrt28_round_pd, _mm512_rsqrt28_round_ps): Use
2673 _mm512_undefined_pd () or _mm512_undefined_ps () instead of using
2674 uninitialized automatic variable __W.
2676 2023-01-31 Gerald Pfeifer <gerald@pfeifer.com>
2678 * doc/include/fdl.texi: Change fsf.org to www.fsf.org.
2680 2023-01-30 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2682 * config/riscv/riscv-protos.h (get_vector_mode): New function.
2683 * config/riscv/riscv-v.cc (get_vector_mode): Ditto.
2684 * config/riscv/riscv-vector-builtins-bases.cc (enum lst_type): New enum.
2685 (class loadstore): Adjust for indexed loads/stores support.
2687 * config/riscv/riscv-vector-builtins-bases.h: New function declare.
2688 * config/riscv/riscv-vector-builtins-functions.def (vluxei8): Ditto.
2704 * config/riscv/riscv-vector-builtins-shapes.cc
2705 (struct indexed_loadstore_def): New class.
2707 * config/riscv/riscv-vector-builtins-shapes.h: Ditto.
2708 * config/riscv/riscv-vector-builtins.cc (required_extensions_p): Adjust
2709 for indexed loads/stores support.
2710 (check_required_extensions): Ditto.
2711 (rvv_arg_type_info::get_base_vector_type): New function.
2712 (rvv_arg_type_info::get_tree_type): Ditto.
2713 (function_builder::add_unique_function): Adjust for indexed loads/stores
2715 (function_expander::use_exact_insn): New function.
2716 * config/riscv/riscv-vector-builtins.h (enum rvv_base_type): Adjust for
2717 indexed loads/stores support.
2718 (struct rvv_arg_type_info): Ditto.
2719 (function_expander::index_mode): New function.
2720 (function_base::apply_tail_policy_p): Ditto.
2721 (function_base::apply_mask_policy_p): Ditto.
2722 * config/riscv/vector-iterators.md (unspec): New unspec.
2723 * config/riscv/vector.md (unspec): Ditto.
2724 (@pred_indexed_<order>load<VNX1_QHSD:mode><VNX1_QHSDI:mode>): New
2726 (@pred_indexed_<order>store<VNX1_QHSD:mode><VNX1_QHSDI:mode>): Ditto.
2727 (@pred_indexed_<order>load<VNX2_QHSD:mode><VNX2_QHSDI:mode>): Ditto.
2728 (@pred_indexed_<order>store<VNX2_QHSD:mode><VNX2_QHSDI:mode>): Ditto.
2729 (@pred_indexed_<order>load<VNX4_QHSD:mode><VNX4_QHSDI:mode>): Ditto.
2730 (@pred_indexed_<order>store<VNX4_QHSD:mode><VNX4_QHSDI:mode>): Ditto.
2731 (@pred_indexed_<order>load<VNX8_QHSD:mode><VNX8_QHSDI:mode>): Ditto.
2732 (@pred_indexed_<order>store<VNX8_QHSD:mode><VNX8_QHSDI:mode>): Ditto.
2733 (@pred_indexed_<order>load<VNX16_QHS:mode><VNX16_QHSI:mode>): Ditto.
2734 (@pred_indexed_<order>store<VNX16_QHS:mode><VNX16_QHSI:mode>): Ditto.
2735 (@pred_indexed_<order>load<VNX32_QH:mode><VNX32_QHI:mode>): Ditto.
2736 (@pred_indexed_<order>store<VNX32_QH:mode><VNX32_QHI:mode>): Ditto.
2737 (@pred_indexed_<order>load<VNX64_Q:mode><VNX64_Q:mode>): Ditto.
2738 (@pred_indexed_<order>store<VNX64_Q:mode><VNX64_Q:mode>): Ditto.
2740 2023-01-30 Flavio Cruz <flaviocruz@gmail.com>
2742 * config.gcc: Recognize x86_64-*-gnu* targets and include
2744 * config/i386/gnu64.h: Define configuration for new target
2745 including ld.so location.
2747 2023-01-30 Philipp Tomsich <philipp.tomsich@vrull.eu>
2749 * config/aarch64/aarch64-cores.def (AARCH64_CORE): Update
2750 ampere1a to include SM4.
2752 2023-01-30 Andrew Pinski <apinski@marvell.com>
2754 PR tree-optimization/108582
2755 * tree-ssa-phiopt.cc (match_simplify_replacement): Add check
2756 for middlebb to have no phi nodes.
2758 2023-01-30 Richard Biener <rguenther@suse.de>
2760 PR tree-optimization/108574
2761 * tree-ssa-sccvn.cc (visit_phi): Instead of swapping
2762 sameval and def, ignore the equivalence if there's the
2763 danger of oscillating between two values.
2765 2023-01-30 Andreas Schwab <schwab@suse.de>
2767 * common/config/riscv/riscv-common.cc
2768 (riscv_option_optimization_table)
2769 [TARGET_DEFAULT_ASYNC_UNWIND_TABLES]: Enable
2770 -fasynchronous-unwind-tables and -funwind-tables.
2771 * config.gcc (riscv*-*-linux*): Define
2772 TARGET_DEFAULT_ASYNC_UNWIND_TABLES.
2774 2023-01-30 YunQiang Su <yunqiang.su@cipunited.com>
2776 * Makefile.in (CROSS_SYSTEM_HEADER_DIR): set according the
2777 value of includedir.
2779 2023-01-30 Richard Biener <rguenther@suse.de>
2782 * cgraph.cc (possibly_call_in_translation_unit_p): Relax
2785 2023-01-30 liuhongt <hongtao.liu@intel.com>
2787 * config/i386/i386.opt: Change AVX512FP16 to AVX512-FP16.
2788 * doc/invoke.texi: Ditto.
2790 2023-01-29 Jan Hubicka <hubicka@ucw.cz>
2792 * ipa-utils.cc: Include calls.h, cfgloop.h and cfganal.h
2793 (stmt_may_terminate_function_p): If assuming return or EH
2794 volatile asm is safe.
2795 (find_always_executed_bbs): Fix handling of terminating BBS and
2796 infinite loops; add debug output.
2797 * tree-ssa-alias.cc (stmt_kills_ref_p): Fix debug output
2799 2023-01-28 Philipp Tomsich <philipp.tomsich@vrull.eu>
2801 * config/aarch64/aarch64.cc (aarch64_uxt_size): fix an
2802 off-by-one in checking the permissible shift-amount.
2804 2023-01-28 Gerald Pfeifer <gerald@pfeifer.com>
2806 * doc/extend.texi (Named Address Spaces): Update link to the
2809 2023-01-28 Gerald Pfeifer <gerald@pfeifer.com>
2811 * doc/standards.texi (Standards): Fix markup.
2813 2023-01-28 Gerald Pfeifer <gerald@pfeifer.com>
2815 * doc/standards.texi (Standards): Update link to Objective-C book.
2817 2023-01-28 Gerald Pfeifer <gerald@pfeifer.com>
2819 * doc/invoke.texi (Instrumentation Options): Update reference to
2822 2023-01-28 Gerald Pfeifer <gerald@pfeifer.com>
2824 * doc/standards.texi: Update Go1 link.
2826 2023-01-28 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2828 * config/riscv/predicates.md (pmode_reg_or_0_operand): New predicate.
2829 * config/riscv/riscv-vector-builtins-bases.cc (class loadstore):
2832 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
2833 * config/riscv/riscv-vector-builtins-functions.def (vlse): New class.
2835 * config/riscv/riscv-vector-builtins.cc
2836 (function_expander::use_contiguous_load_insn): Support vlse/vsse.
2837 * config/riscv/vector.md (@pred_strided_load<mode>): New md pattern.
2838 (@pred_strided_store<mode>): Ditto.
2840 2023-01-28 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2842 * config/riscv/vector.md (tail_policy_op_idx): Remove.
2843 (mask_policy_op_idx): Remove.
2844 (avl_type_op_idx): Remove.
2846 2023-01-27 Richard Sandiford <richard.sandiford@arm.com>
2848 PR tree-optimization/96373
2849 * tree.h (sign_mask_for): Declare.
2850 * tree.cc (sign_mask_for): New function.
2851 (signed_or_unsigned_type_for): For vector types, try to use the
2852 related_int_vector_mode.
2853 * genmatch.cc (commutative_op): Handle conditional internal functions.
2854 * match.pd: Fold an IFN_COND_MUL+copysign into an IFN_COND_XOR+and.
2856 2023-01-27 Richard Sandiford <richard.sandiford@arm.com>
2858 * tree-vectorizer.cc (vector_costs::compare_inside_loop_cost):
2859 Use the likely minimum VF when bounding the denominators to
2860 the estimated number of iterations.
2862 2023-01-27 Richard Biener <rguenther@suse.de>
2865 * doc/invoke.texi (-shared): Clarify effect on -ffast-math
2866 and -Ofast FP environment side-effects.
2868 2023-01-27 Richard Biener <rguenther@suse.de>
2871 * config/mips/gnu-user.h (GNU_USER_TARGET_MATHFILE_SPEC):
2872 Don't add crtfastmath.o for -shared.
2874 2023-01-27 Richard Biener <rguenther@suse.de>
2877 * config/ia64/linux.h (ENDFILE_SPEC): Don't add crtfastmath.o
2880 2023-01-27 Richard Biener <rguenther@suse.de>
2883 * config/alpha/linux.h (ENDFILE_SPEC): Don't add
2884 crtfastmath.o for -shared.
2886 2023-01-27 Andrew MacLeod <amacleod@redhat.com>
2888 PR tree-optimization/108306
2889 * range-op.cc (operator_lshift::fold_range): Return [0, 0] not
2890 varying for shifts that are always out of void range.
2891 (operator_rshift::fold_range): Return [0, 0] not
2892 varying for shifts that are always out of void range.
2894 2023-01-27 Andrew MacLeod <amacleod@redhat.com>
2896 PR tree-optimization/108447
2897 * gimple-range-fold.cc (old_using_range::relation_fold_and_or):
2898 Do not attempt to fold HONOR_NAN types.
2900 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2902 * config/riscv/riscv-vector-builtins-shapes.cc (struct loadstore_def):
2903 Remove _m suffix for "vop_m" C++ overloaded API name.
2905 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2907 * config/riscv/riscv-vector-builtins-bases.cc (BASE): Add vlm/vsm support.
2908 * config/riscv/riscv-vector-builtins-bases.h: Ditto.
2909 * config/riscv/riscv-vector-builtins-functions.def (vlm): New define.
2911 * config/riscv/riscv-vector-builtins-shapes.cc (struct loadstore_def): Add vlm/vsm support.
2912 * config/riscv/riscv-vector-builtins-types.def (DEF_RVV_B_OPS): Ditto.
2920 * config/riscv/riscv-vector-builtins.cc (DEF_RVV_B_OPS): Ditto.
2921 (rvv_arg_type_info::get_tree_type): Ditto.
2922 (function_expander::use_contiguous_load_insn): Ditto.
2923 * config/riscv/vector.md (@pred_store<mode>): Ditto.
2925 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2927 * config/riscv/riscv-vsetvl.cc (vsetvl_insn_p): Add condition to avoid ICE.
2928 (vsetvl_discard_result_insn_p): New function.
2929 (reg_killed_by_bb_p): rename to find_reg_killed_by.
2930 (find_reg_killed_by): New name.
2931 (get_vl): allow it to be called by more functions.
2932 (has_vsetvl_killed_avl_p): Add condition.
2933 (get_avl): allow it to be called by more functions.
2934 (insn_should_be_added_p): New function.
2935 (get_all_nonphi_defs): Refine function.
2936 (get_all_sets): Ditto.
2937 (get_same_bb_set): New function.
2938 (any_insn_in_bb_p): Ditto.
2939 (any_set_in_bb_p): Ditto.
2940 (get_vl_vtype_info): Add VLMAX forward optimization.
2941 (source_equal_p): Fix issues.
2942 (extract_single_source): Refine.
2943 (avl_info::multiple_source_equal_p): New function.
2944 (avl_info::operator==): Adjust for final version.
2945 (vl_vtype_info::operator==): Ditto.
2946 (vl_vtype_info::same_avl_p): Ditto.
2947 (vector_insn_info::parse_insn): Ditto.
2948 (vector_insn_info::available_p): New function.
2949 (vector_insn_info::merge): Adjust for final version.
2950 (vector_insn_info::dump): Add hard_empty.
2951 (pass_vsetvl::hard_empty_block_p): New function.
2952 (pass_vsetvl::backward_demand_fusion): Adjust for final version.
2953 (pass_vsetvl::forward_demand_fusion): Ditto.
2954 (pass_vsetvl::demand_fusion): Ditto.
2955 (pass_vsetvl::cleanup_illegal_dirty_blocks): New function.
2956 (pass_vsetvl::compute_local_properties): Adjust for final version.
2957 (pass_vsetvl::can_refine_vsetvl_p): Ditto.
2958 (pass_vsetvl::refine_vsetvls): Ditto.
2959 (pass_vsetvl::commit_vsetvls): Ditto.
2960 (pass_vsetvl::propagate_avl): New function.
2961 (pass_vsetvl::lazy_vsetvl): Adjust for new version.
2962 * config/riscv/riscv-vsetvl.h (enum def_type): New enum.
2964 2023-01-27 Jakub Jelinek <jakub@redhat.com>
2967 * doc/extend.texi: Fix up return type of __builtin_va_arg_pack_len
2970 2023-01-27 Jakub Jelinek <jakub@redhat.com>
2973 * cgraph.cc (cgraph_edge::verify_corresponds_to_fndecl): Allow
2974 redirection of calls to __builtin_trap in addition to redirection
2975 to __builtin_unreachable.
2977 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2979 * config/riscv/riscv-vsetvl.cc (before_p): Fix bug.
2981 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2983 * config/riscv/riscv-vsetvl.cc (gen_vsetvl_pat): Refine function args.
2984 (emit_vsetvl_insn): Ditto.
2986 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2988 * config/riscv/vector.md: Fix constraints.
2990 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
2992 * config/riscv/vector-iterators.md: Add TARGET_MIN_VLEN > 32 predicates.
2994 2023-01-27 Patrick Palka <ppalka@redhat.com>
2995 Jakub Jelinek <jakub@redhat.com>
2997 * tree-core.h (tree_code_type, tree_code_length): For
2998 C++17 and later, add inline keyword, otherwise don't define
2999 the arrays, but declare extern arrays.
3000 * tree.cc (tree_code_type, tree_code_length): Define these
3001 arrays for C++14 and older.
3003 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3005 * config/riscv/riscv-vsetvl.h: Change it into public.
3007 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3009 * config/riscv/riscv-passes.def (INSERT_PASS_BEFORE): Reorder VSETVL
3012 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3014 * config/riscv/riscv-vsetvl.cc (pass_vsetvl::execute): Always call split_all_insns.
3016 2023-01-27 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3018 * config/riscv/vector.md: Fix incorrect attributes.
3020 2023-01-27 Richard Biener <rguenther@suse.de>
3023 * config/loongarch/gnu-user.h (GNU_USER_TARGET_MATHFILE_SPEC):
3024 Don't add crtfastmath.o for -shared.
3026 2023-01-27 Alexandre Oliva <oliva@gnu.org>
3028 * doc/options.texi (option, RejectNegative): Mention that
3029 -g-started options are also implicitly negatable.
3031 2023-01-26 Kito Cheng <kito.cheng@sifive.com>
3033 * config/riscv/riscv-vector-builtins.cc (register_builtin_types):
3034 Use get_typenode_from_name to get fixed-width integer type
3036 * config/riscv/riscv-vector-builtins.def: Update define with
3037 fixed-width integer type nodes.
3039 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3041 * config/riscv/riscv-vsetvl.cc (same_bb_and_before_p): Remove it.
3042 (real_insn_and_same_bb_p): New function.
3043 (same_bb_and_after_or_equal_p): Remove it.
3044 (before_p): New function.
3045 (reg_killed_by_bb_p): Ditto.
3046 (has_vsetvl_killed_avl_p): Ditto.
3047 (get_vl): Move location so that we can call it.
3048 (anticipatable_occurrence_p): Fix issue of AVL=REG support.
3049 (available_occurrence_p): Ditto.
3050 (dominate_probability_p): Remove it.
3051 (can_backward_propagate_p): Remove it.
3052 (get_all_nonphi_defs): New function.
3053 (get_all_predecessors): Ditto.
3054 (any_insn_in_bb_p): Ditto.
3055 (insert_vsetvl): Adjust AVL REG.
3056 (source_equal_p): New function.
3057 (extract_single_source): Ditto.
3058 (avl_info::single_source_equal_p): Ditto.
3059 (avl_info::operator==): Adjust for AVL=REG.
3060 (vl_vtype_info::same_avl_p): Ditto.
3061 (vector_insn_info::set_demand_info): Remove it.
3062 (vector_insn_info::compatible_p): Adjust for AVL=REG.
3063 (vector_insn_info::compatible_avl_p): New function.
3064 (vector_insn_info::merge): Adjust AVL=REG.
3065 (vector_insn_info::dump): Ditto.
3066 (pass_vsetvl::merge_successors): Remove it.
3067 (enum fusion_type): New enum.
3068 (pass_vsetvl::get_backward_fusion_type): New function.
3069 (pass_vsetvl::backward_demand_fusion): Adjust for AVL=REG.
3070 (pass_vsetvl::forward_demand_fusion): Ditto.
3071 (pass_vsetvl::demand_fusion): Ditto.
3072 (pass_vsetvl::prune_expressions): Ditto.
3073 (pass_vsetvl::compute_local_properties): Ditto.
3074 (pass_vsetvl::cleanup_vsetvls): Ditto.
3075 (pass_vsetvl::commit_vsetvls): Ditto.
3076 (pass_vsetvl::init): Ditto.
3077 * config/riscv/riscv-vsetvl.h (enum fusion_type): New enum.
3078 (enum merge_type): New enum.
3080 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3082 * config/riscv/riscv-vsetvl.cc
3083 (vector_infos_manager::vector_infos_manager): Add probability.
3084 (vector_infos_manager::dump): Ditto.
3085 (pass_vsetvl::compute_probabilities): Ditto.
3086 * config/riscv/riscv-vsetvl.h (struct vector_block_info): Ditto.
3088 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3090 * config/riscv/riscv-vsetvl.cc (vector_insn_info::operator==): Remove dirty_pat.
3091 (vector_insn_info::merge): Ditto.
3092 (vector_insn_info::dump): Ditto.
3093 (pass_vsetvl::merge_successors): Ditto.
3094 (pass_vsetvl::backward_demand_fusion): Ditto.
3095 (pass_vsetvl::forward_demand_fusion): Ditto.
3096 (pass_vsetvl::commit_vsetvls): Ditto.
3097 * config/riscv/riscv-vsetvl.h: Ditto.
3099 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3101 * config/riscv/riscv-vsetvl.cc (add_label_notes): Rename insn to
3104 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3106 * config/riscv/riscv-vsetvl.cc (pass_vsetvl::backward_demand_fusion): Refine codes.
3108 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3110 * config/riscv/riscv-vsetvl.cc (pass_vsetvl::forward_demand_fusion):
3111 Add pre-check for redundant flow.
3113 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3115 * config/riscv/riscv-vsetvl.cc (vector_infos_manager::create_bitmap_vectors): New function.
3116 (vector_infos_manager::free_bitmap_vectors): Ditto.
3117 (pass_vsetvl::pre_vsetvl): Adjust codes.
3118 * config/riscv/riscv-vsetvl.h: New function declaration.
3120 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3122 * config/riscv/riscv-vsetvl.cc (can_backward_propagate_p): Fix for null iter_bb.
3123 (vector_insn_info::set_demand_info): New function.
3124 (pass_vsetvl::emit_local_forward_vsetvls): Adjust for refinement of Phase 3.
3125 (pass_vsetvl::merge_successors): Ditto.
3126 (pass_vsetvl::compute_global_backward_infos): Ditto.
3127 (pass_vsetvl::backward_demand_fusion): Ditto.
3128 (pass_vsetvl::forward_demand_fusion): Ditto.
3129 (pass_vsetvl::demand_fusion): New function.
3130 (pass_vsetvl::lazy_vsetvl): Adjust for refinement of phase 3.
3131 * config/riscv/riscv-vsetvl.h: New function declaration.
3133 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3135 * config/riscv/riscv-vsetvl.cc (vector_insn_info::operator>=): Fix available condition.
3137 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3139 * config/riscv/riscv-vsetvl.cc (change_vsetvl_insn): New function.
3140 (pass_vsetvl::compute_global_backward_infos): Simplify codes.
3142 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3144 * config/riscv/riscv-vsetvl.cc (loop_basic_block_p): Adjust function.
3145 (backward_propagate_worthwhile_p): Fix non-worthwhile.
3147 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3149 * config/riscv/riscv-vsetvl.cc (change_insn): Adjust in_group in validate_change.
3151 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3153 * config/riscv/riscv-vsetvl.cc (vector_infos_manager::all_same_avl_p): New function.
3154 (pass_vsetvl::can_refine_vsetvl_p): Add AVL check.
3155 (pass_vsetvl::commit_vsetvls): Ditto.
3156 * config/riscv/riscv-vsetvl.h: New function declaration.
3158 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3160 * config/riscv/vector.md:
3162 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3164 * config/riscv/riscv-vector-builtins-bases.cc (class loadstore): use
3166 * config/riscv/riscv-vector-builtins.cc
3167 (function_expander::add_mem_operand): Refine function.
3168 (function_expander::use_contiguous_load_insn): Adjust new
3170 (function_expander::use_contiguous_store_insn): Ditto.
3171 * config/riscv/riscv-vector-builtins.h: Refine function.
3172 * config/riscv/vector.md (@pred_store<mode>): New pattern.
3174 2023-01-26 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
3176 * config/riscv/riscv-vector-builtins.cc: Change to scalar pointer.
3178 2023-01-26 Marek Polacek <polacek@redhat.com>
3180 PR middle-end/108543
3181 * opts.cc (parse_sanitizer_options): Don't always clear SANITIZE_ADDRESS
3182 if it was previously set.
3184 2023-01-26 Jakub Jelinek <jakub@redhat.com>
3186 PR tree-optimization/108540
3187 * range-op-float.cc (foperator_equal::fold_range): If both op1 and op2
3188 are singletons, use range_true even if op1 != op2
3189 when one range is [-0.0, -0.0] and another [0.0, 0.0]. Similarly,
3190 even if intersection of the ranges is empty and one has
3191 zero low bound and another zero high bound, use range_true_and_false
3192 rather than range_false.
3193 (foperator_not_equal::fold_range): If both op1 and op2
3194 are singletons, use range_false even if op1 != op2
3195 when one range is [-0.0, -0.0] and another [0.0, 0.0]. Similarly,
3196 even if intersection of the ranges is empty and one has
3197 zero low bound and another zero high bound, use range_true_and_false
3198 rather than range_true.
3200 2023-01-26 Jakub Jelinek <jakub@redhat.com>
3202 * value-relation.cc (kind_string): Add const.
3203 (rr_negate_table, rr_swap_table, rr_intersect_table,
3204 rr_union_table, rr_transitive_table): Add static const, change
3205 element type from relation_kind to unsigned char.
3206 (relation_negate, relation_swap, relation_intersect, relation_union,
3207 relation_transitive): Cast rr_*_table element to relation_kind.
3208 (relation_to_code): Add static const.
3209 (relation_tests): Assert VREL_LAST is smaller than UCHAR_MAX.
3211 2023-01-26 Richard Biener <rguenther@suse.de>
3213 PR tree-optimization/108547
3214 * gimple-predicate-analysis.cc (value_sat_pred_p):
3217 2023-01-26 Siddhesh Poyarekar <siddhesh@gotplt.org>
3219 PR tree-optimization/108522
3220 * tree-object-size.cc (compute_object_offset): Make EXPR
3221 argument non-const. Call component_ref_field_offset.
3223 2023-01-26 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
3225 * config/aarch64/aarch64-option-extensions.def (cssc): Specify
3226 FEATURE_STRING field.
3228 2023-01-26 Gerald Pfeifer <gerald@pfeifer.com>
3230 * doc/sourcebuild.texi: Refer to projects as GCC and GDB.
3232 2023-01-25 Iain Sandoe <iain@sandoe.co.uk>
3236 * gcc.cc: Provide default specs for Modula-2 so that when the
3237 language is not built-in better diagnostics are emitted for
3238 attempts to use .mod or .m2i file extensions.
3240 2023-01-25 Andrea Corallo <andrea.corallo@arm.com>
3242 * config/arm/mve.md (mve_vqnegq_s<mode>): Fix spacing.
3244 2023-01-25 Andrea Corallo <andrea.corallo@arm.com>
3246 * config/arm/mve.md (mve_vqabsq_s<mode>): Fix spacing.
3248 2023-01-25 Andrea Corallo <andrea.corallo@arm.com>
3250 * config/arm/mve.md (mve_vnegq_f<mode>, mve_vnegq_s<mode>):
3253 2023-01-25 Andrea Corallo <andrea.corallo@arm.com>
3255 * config/arm/mve.md (@mve_vclzq_s<mode>): Fix spacing.
3257 2023-01-25 Andrea Corallo <andrea.corallo@arm.com>
3259 * config/arm/mve.md (mve_vclsq_s<mode>): Fix spacing.
3261 2023-01-25 Richard Biener <rguenther@suse.de>
3263 PR tree-optimization/108523
3264 * tree-ssa-sccvn.cc (visit_phi): Avoid using the exclusive
3265 backedge value for the result when using predication to
3268 2023-01-25 Richard Biener <rguenther@suse.de>
3270 * doc/lto.texi (Command line options): Reword and update reference
3271 to removed lto_read_all_file_options.
3273 2023-01-25 Richard Sandiford <richard.sandiford@arm.com>
3275 * config/aarch64/aarch64.md (umax<mode>3): Separate the CNT and CSSC
3278 2023-01-25 Gerald Pfeifer <gerald@pfeifer.com>
3280 * doc/contrib.texi: Add Jose E. Marchesi.
3282 2023-01-25 Jakub Jelinek <jakub@redhat.com>
3284 PR tree-optimization/108498
3285 * gimple-ssa-store-merging.cc (class store_operand_info):
3286 End coment with full stop rather than comma.
3287 (split_group): Likewise.
3288 (merged_store_group::apply_stores): Clear string_concatenation if
3289 start or end aren't on a byte boundary.
3291 2023-01-25 Siddhesh Poyarekar <siddhesh@gotplt.org>
3292 Jakub Jelinek <jakub@redhat.com>
3294 PR tree-optimization/108522
3295 * tree-object-size.cc (compute_object_offset): Use
3296 TREE_OPERAND(ref, 2) for COMPONENT_REF when available.
3298 2023-01-24 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
3300 * config/xtensa/xtensa.md:
3301 Fix exit from loops detecting references before overwriting in the
3304 2023-01-24 Vladimir N. Makarov <vmakarov@redhat.com>
3306 * lra-constraints.cc (get_hard_regno): Remove final_p arg. Always
3307 do elimination but only for hard register.
3308 (operands_match_p, uses_hard_regs_p, process_alt_operands): Adjust
3309 calls of get_hard_regno.
3311 2023-01-24 Stefan Schulze Frielinghaus <stefansf@linux.ibm.com>
3313 * config/s390/s390-d.cc (s390_d_target_versions): Fix detection
3316 2023-01-24 Andre Vieira <andre.simoesdiasvieira@arm.com>
3319 * config/arm/mve.md (mve_vstrbq_p_<supf><mode>, mve_vstrhq_p_fv8hf,
3320 mve_vstrhq_p_<supf><mode>, mve_vstrwq_p_<supf>v4si): Add memory operand
3323 2023-01-24 Xianmiao Qu <cooper.qu@linux.alibaba.com>
3325 * config.gcc(csky-*-linux*): Define CSKY_ENABLE_MULTILIB
3326 and only include 'csky/t-csky-linux' when enable multilib.
3327 * config/csky/csky-linux-elf.h(SYSROOT_SUFFIX_SPEC): Don't
3328 define it when disable multilib.
3330 2023-01-24 Richard Biener <rguenther@suse.de>
3332 PR tree-optimization/108500
3333 * dominance.h (calculate_dominance_info): Add parameter
3334 to indicate fast-query compute, defaulted to true.
3335 * dominance.cc (calculate_dominance_info): Honor
3336 fast-query compute parameter.
3337 * tree-cfgcleanup.cc (cleanup_tree_cfg_noloop): Do
3338 not compute the dominator fast-query DFS numbers.
3340 2023-01-24 Eric Biggers <ebiggers@google.com>
3343 * optc-save-gen.awk: Fix copy-and-paste error.
3345 2023-01-24 Jakub Jelinek <jakub@redhat.com>
3348 * cgraphbuild.cc: Include gimplify.h.
3349 (record_reference): Replace VAR_DECLs with DECL_HAS_VALUE_EXPR_P with
3350 their corresponding DECL_VALUE_EXPR expressions after unsharing.
3352 2023-01-24 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
3355 * config.gcc (tm_file): Move the variable out of loop.
3357 2023-01-24 Lulu Cheng <chenglulu@loongson.cn>
3358 Yang Yujie <yangyujie@loongson.cn>
3361 * config/loongarch/loongarch.cc (loongarch_classify_address):
3362 Add precessint for CONST_INT.
3363 (loongarch_print_operand_reloc): Operand modifier 'c' is supported.
3364 (loongarch_print_operand): Increase the processing of '%c'.
3365 * doc/extend.texi: Adds documents for LoongArch operand modifiers.
3366 And port the public operand modifiers information to this document.
3368 2023-01-23 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
3370 * doc/invoke.texi (-mbranch-protection): Update documentation.
3372 2023-01-23 Richard Biener <rguenther@suse.de>
3375 * config/sparc/freebsd.h (ENDFILE_SPEC): Don't add crtfastmath.o
3377 * config/sparc/linux.h (ENDFILE_SPEC): Likewise.
3378 * config/sparc/linux64.h (ENDFILE_SPEC): Likewise.
3379 * config/sparc/sp-elf.h (ENDFILE_SPEC): Likewise.
3380 * config/sparc/sp64-elf.h (ENDFILE_SPEC): Likewise.
3382 2023-01-23 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
3384 * config/arm/aout.h (ra_auth_code): Add entry in enum.
3385 * config/arm/arm.cc (emit_multi_reg_push): Add RA_AUTH_CODE register
3386 to dwarf frame expression.
3387 (arm_emit_multi_reg_pop): Restore RA_AUTH_CODE register.
3388 (arm_expand_prologue): Update frame related information and reg notes
3389 for pac/pacbit insn.
3390 (arm_regno_class): Check for pac pseudo reigster.
3391 (arm_dbx_register_number): Assign ra_auth_code register number in dwarf.
3392 (arm_init_machine_status): Set pacspval_needed to zero.
3393 (arm_debugger_regno): Check for PAC register.
3394 (arm_unwind_emit_sequence): Print .save directive with ra_auth_code
3396 (arm_unwind_emit_set): Add entry for IP_REGNUM in switch case.
3397 (arm_unwind_emit): Update REG_CFA_REGISTER case._
3398 * config/arm/arm.h (FIRST_PSEUDO_REGISTER): Modify.
3399 (DWARF_PAC_REGNUM): Define.
3400 (IS_PAC_REGNUM): Likewise.
3401 (enum reg_class): Add PAC_REG entry.
3402 (machine_function): Add pacbti_needed state to structure.
3403 * config/arm/arm.md (RA_AUTH_CODE): Define.
3405 2023-01-23 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
3407 * config.gcc ($tm_file): Update variable.
3408 * config/arm/arm-mlib.h: Create new header file.
3409 * config/arm/t-rmprofile (MULTI_ARCH_DIRS_RM): Rename mbranch-protection
3410 multilib arch directory.
3411 (MULTILIB_REUSE): Add multilib reuse rules.
3412 (MULTILIB_MATCHES): Add multilib match rules.
3414 2023-01-23 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
3416 * config/arm/arm-cpus.in (cortex-m85): Define new CPU.
3417 * config/arm/arm-tables.opt: Regenerate.
3418 * config/arm/arm-tune.md: Likewise.
3419 * doc/invoke.texi (Arm Options): Document -mcpu=cortex-m85.
3420 * (-mfix-cmse-cve-2021-35465): Likewise.
3422 2023-01-23 Richard Biener <rguenther@suse.de>
3424 PR tree-optimization/108482
3425 * tree-vect-generic.cc (expand_vector_operations): Fold remaining
3426 .LOOP_DIST_ALIAS calls.
3428 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3430 * config.gcc (arm*-*-*): Add 'aarch-bti-insert.o' object.
3431 * config/arm/arm-protos.h: Update.
3432 * config/arm/aarch-common-protos.h: Declare
3433 'aarch_bti_arch_check'.
3434 * config/arm/arm.cc (aarch_bti_enabled) Update.
3435 (aarch_bti_j_insn_p, aarch_pac_insn_p, aarch_gen_bti_c)
3436 (aarch_gen_bti_j, aarch_bti_arch_check): New functions.
3437 * config/arm/arm.md (bti_nop): New insn.
3438 * config/arm/t-arm (PASSES_EXTRA): Add 'arm-passes.def'.
3439 (aarch-bti-insert.o): New target.
3440 * config/arm/unspecs.md (VUNSPEC_BTI_NOP): New unspec.
3441 * config/arm/aarch-bti-insert.cc (rest_of_insert_bti): Verify arch
3443 (gate): Make use of 'aarch_bti_arch_check'.
3444 * config/arm/arm-passes.def: New file.
3445 * config/aarch64/aarch64.cc (aarch_bti_arch_check): New function.
3447 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3449 * config.gcc (aarch64*-*-*): Rename 'aarch64-bti-insert.o' into
3450 'aarch-bti-insert.o'.
3451 * config/aarch64/aarch64-protos.h: Remove 'aarch64_bti_enabled'
3453 * config/aarch64/aarch64.cc (aarch_bti_enabled): Rename.
3454 (aarch_bti_j_insn_p, aarch_pac_insn_p): New functions.
3455 (aarch64_output_mi_thunk)
3456 (aarch64_print_patchable_function_entry)
3457 (aarch64_file_end_indicate_exec_stack): Update renamed function
3458 calls to renamed functions.
3459 * config/aarch64/aarch64-c.cc (aarch64_update_cpp_builtins): Likewise.
3460 * config/aarch64/t-aarch64 (aarch-bti-insert.o): Update
3462 * config/aarch64/aarch64-bti-insert.cc: Delete.
3463 * config/arm/aarch-bti-insert.cc: New file including and
3464 generalizing code from aarch64-bti-insert.cc.
3465 * config/arm/aarch-common-protos.h: Update.
3467 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3469 * config/arm/arm.h (arm_arch8m_main): Declare it.
3470 * config/arm/arm-protos.h (arm_current_function_pac_enabled_p):
3472 * config/arm/arm.cc (arm_arch8m_main): Define it.
3473 (arm_option_reconfigure_globals): Set arm_arch8m_main.
3474 (arm_compute_frame_layout, arm_expand_prologue)
3475 (thumb2_expand_return, arm_expand_epilogue)
3476 (arm_conditional_register_usage): Update for pac codegen.
3477 (arm_current_function_pac_enabled_p): New function.
3478 (aarch_bti_enabled) New function.
3479 (use_return_insn): Return zero when pac is enabled.
3480 * config/arm/arm.md (pac_ip_lr_sp, pacbti_ip_lr_sp, aut_ip_lr_sp):
3482 * config/arm/unspecs.md (UNSPEC_PAC_NOP)
3483 (VUNSPEC_PACBTI_NOP, VUNSPEC_AUT_NOP): Add unspecs.
3485 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3487 * config/arm/t-rmprofile: Add multilib rules for march +pacbti and
3490 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3491 Tejas Belagod <tbelagod@arm.com>
3493 * config/arm/arm.cc (arm_file_start): Emit EABI attributes for
3494 Tag_PAC_extension, Tag_BTI_extension, TAG_BTI_use, TAG_PACRET_use.
3496 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3497 Tejas Belagod <tbelagod@arm.com>
3498 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
3500 * ginclude/unwind-arm-common.h (_Unwind_VRS_RegClass): Introduce
3501 new pseudo register class _UVRSC_PAC.
3503 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3504 Tejas Belagod <tbelagod@arm.com>
3506 * config/arm/arm-c.cc (arm_cpu_builtins): Define
3507 __ARM_FEATURE_BTI_DEFAULT, __ARM_FEATURE_PAC_DEFAULT,
3508 __ARM_FEATURE_PAUTH and __ARM_FEATURE_BTI.
3510 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3511 Tejas Belagod <tbelagod@arm.com>
3513 * doc/sourcebuild.texi: Document arm_pacbti_hw.
3515 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3516 Tejas Belagod <tbelagod@arm.com>
3517 Richard Earnshaw <Richard.Earnshaw@arm.com>
3519 * config/arm/arm.cc (arm_configure_build_target): Parse and validate
3520 -mbranch-protection option and initialize appropriate data structures.
3521 * config/arm/arm.opt (-mbranch-protection): New option.
3522 * doc/invoke.texi (Arm Options): Document it.
3524 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3525 Tejas Belagod <tbelagod@arm.com>
3527 * config/arm/arm.h (TARGET_HAVE_PACBTI): New macro.
3528 * config/arm/arm-cpus.in (pacbti): New feature.
3529 * doc/invoke.texi (Arm Options): Document it.
3531 2023-01-23 Andrea Corallo <andrea.corallo@arm.com>
3532 Tejas Belagod <tbelagod@arm.com>
3534 * common/config/aarch64/aarch64-common.cc: Include aarch-common.h.
3535 (all_architectures): Fix comment.
3536 (aarch64_parse_extension): Rename return type, enum value names.
3537 * config/aarch64/aarch64-c.cc (aarch64_update_cpp_builtins): Rename
3538 factored out aarch_ra_sign_scope and aarch_ra_sign_key variables.
3539 Also rename corresponding enum values.
3540 * config/aarch64/aarch64-opts.h (aarch64_function_type): Factor
3541 out aarch64_function_type and move it to common code as
3542 aarch_function_type in aarch-common.h.
3543 * config/aarch64/aarch64-protos.h: Include common types header,
3544 move out types aarch64_parse_opt_result and aarch64_key_type to
3546 * config/aarch64/aarch64.cc: Move mbranch-protection parsing types
3547 and functions out into aarch-common.h and aarch-common.cc. Fix up
3548 all the name changes resulting from the move.
3549 * config/aarch64/aarch64.md: Fix up aarch64_ra_sign_key type name change
3551 * config/aarch64/aarch64.opt: Include aarch-common.h to import
3552 type move. Fix up name changes from factoring out common code and
3554 * config/arm/aarch-common-protos.h: Export factored out routines to both
3556 * config/arm/aarch-common.cc: Include newly factored out types.
3557 Move all mbranch-protection code and data structures from
3559 * config/arm/aarch-common.h: New header that declares types shared
3560 between aarch32 and aarch64 backends.
3561 * config/arm/arm-protos.h: Declare types and variables that are
3562 made common to aarch64 and aarch32 backends - aarch_ra_sign_key,
3563 aarch_ra_sign_scope and aarch_enable_bti.
3564 * config/arm/arm.opt (config/arm/aarch-common.h): Include header.
3565 (aarch_ra_sign_scope, aarch_enable_bti): Declare variable.
3566 * config/arm/arm.cc: Add missing includes.
3568 2023-01-23 Tobias Burnus <tobias@codesourcery.com>
3570 * doc/install.texi (amdgcn, nvptx): Require newlib 4.3.0.
3572 2023-01-23 Richard Biener <rguenther@suse.de>
3574 PR tree-optimization/108449
3575 * cgraphunit.cc (check_global_declaration): Do not turn
3576 undefined statics into externs.
3578 2023-01-22 Dimitar Dimitrov <dimitar@dinux.eu>
3580 * config/pru/pru.h (CLZ_DEFINED_VALUE_AT_ZERO): Fix value for QI
3582 * config/pru/pru.md (clz): Fix generated code for QI and HI
3585 2023-01-22 Cupertino Miranda <cupertino.miranda@oracle.com>
3587 * config/v850/v850.cc (v850_select_section): Put const volatile
3588 objects into read-only sections.
3590 2023-01-20 Tejas Belagod <tejas.belagod@arm.com>
3592 * config/aarch64/arm_neon.h (vmull_p64, vmull_high_p64, vaeseq_u8,
3593 vaesdq_u8, vaesmcq_u8, vaesimcq_u8): Gate under "nothing+aes".
3594 (vsha1*_u32, vsha256*_u32): Gate under "nothing+sha2".
3596 2023-01-20 Jakub Jelinek <jakub@redhat.com>
3598 PR tree-optimization/108457
3599 * tree-ssa-loop-niter.cc (build_cltz_expr): Use
3600 SCALAR_INT_TYPE_MODE (utype) directly as C[LT]Z_DEFINED_VALUE_AT_ZERO
3601 argument instead of a temporary. Formatting fixes.
3603 2023-01-19 Jakub Jelinek <jakub@redhat.com>
3605 PR tree-optimization/108447
3606 * value-relation.cc (rr_union_table): Fix VREL_UNDEFINED row order.
3607 (relation_tests): Add self-tests for relation_{intersect,union}
3609 * selftest.h (relation_tests): Declare.
3610 * function-tests.cc (test_ranges): Call it.
3612 2023-01-19 H.J. Lu <hjl.tools@gmail.com>
3615 * config/i386/i386-expand.cc (ix86_expand_builtin): Check
3616 invalid third argument to __builtin_ia32_prefetch.
3618 2023-01-19 Jakub Jelinek <jakub@redhat.com>
3620 PR middle-end/108459
3621 * omp-expand.cc (expand_omp_for_init_counts): Use fold_build1 rather
3622 than fold_unary for NEGATE_EXPR.
3624 2023-01-19 Christophe Lyon <christophe.lyon@arm.com>
3627 * config/aarch64/aarch64.cc (aarch64_layout_arg): Improve
3628 comment. Move assert about alignment a bit later.
3630 2023-01-19 Jakub Jelinek <jakub@redhat.com>
3632 PR tree-optimization/108440
3633 * tree-ssa-forwprop.cc: Include gimple-range.h.
3634 (simplify_rotate): For the forms with T2 wider than T and shift counts of
3635 Y and B - Y add & (B - 1) masking for the rotate count if Y could be equal
3636 to B. For the forms with T2 wider than T and shift counts of
3637 Y and (-Y) & (B - 1), don't punt if range could be [B, B2], but only if
3638 range doesn't guarantee Y < B or Y = N * B. If range doesn't guarantee
3639 Y < B, also add & (B - 1) masking for the rotate count. Use lazily created
3640 pass specific ranger instead of get_global_range_query.
3641 (pass_forwprop::execute): Disable that ranger at the end of pass if it has
3644 2023-01-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
3646 * config/aarch64/aarch64-simd.md (aarch64_simd_vec_set<mode>): Use
3647 exact_log2 (INTVAL (operands[2])) >= 0 as condition for gating
3649 (aarch64_simd_vec_copy_lane<mode>): Likewise.
3650 (aarch64_simd_vec_copy_lane_<vswap_width_name><mode>): Likewise.
3652 2023-01-19 Alexandre Oliva <oliva@adacore.com>
3655 * sched-deps.cc (sched_analyze_2): Skip cselib address lookup
3658 2023-01-18 Martin Jambor <mjambor@suse.cz>
3661 * cgraph.cc (cgraph_node::remove): Check whether nodes up the
3662 lcone_of chain also do not need the body.
3664 2023-01-18 Richard Biener <rguenther@suse.de>
3667 2022-12-16 Richard Biener <rguenther@suse.de>
3669 PR middle-end/108086
3670 * tree-inline.cc (remap_ssa_name): Do not unshare the
3671 result from the decl_map.
3673 2023-01-18 Murray Steele <murray.steele@arm.com>
3676 * config/arm/arm_mve.h (__arm_vst1q_p_u8): Use prefixed intrinsic
3678 (__arm_vst1q_p_s8): Likewise.
3679 (__arm_vld1q_z_u8): Likewise.
3680 (__arm_vld1q_z_s8): Likewise.
3681 (__arm_vst1q_p_u16): Likewise.
3682 (__arm_vst1q_p_s16): Likewise.
3683 (__arm_vld1q_z_u16): Likewise.
3684 (__arm_vld1q_z_s16): Likewise.
3685 (__arm_vst1q_p_u32): Likewise.
3686 (__arm_vst1q_p_s32): Likewise.
3687 (__arm_vld1q_z_u32): Likewise.
3688 (__arm_vld1q_z_s32): Likewise.
3689 (__arm_vld1q_z_f16): Likewise.
3690 (__arm_vst1q_p_f16): Likewise.
3691 (__arm_vld1q_z_f32): Likewise.
3692 (__arm_vst1q_p_f32): Likewise.
3694 2023-01-18 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
3696 * config/xtensa/xtensa.md (xorsi3_internal):
3697 Rename from the original of "xorsi3".
3698 (xorsi3): New expansion pattern that emits addition rather than
3699 bitwise-XOR when the second source is a constant of -2147483648
3702 2023-01-18 Kewen Lin <linkw@linux.ibm.com>
3703 Andrew Pinski <apinski@marvell.com>
3706 * config/rs6000/rs6000-overload.def (VEC_VSUBCUQ): Fix typo
3707 vec_vsubcuqP with vec_vsubcuq.
3709 2023-01-18 Kewen Lin <linkw@linux.ibm.com>
3712 * config/rs6000/rs6000.cc (rs6000_opaque_type_invalid_use_p): Add the
3713 support for invalid uses of MMA opaque type in function arguments.
3715 2023-01-18 liuhongt <hongtao.liu@intel.com>
3718 * config/i386/cygwin.h (ENDFILE_SPEC): Link crtfastmath.o
3719 whenever -mdaz-ftz is specified. Don't link crtfastmath.o when
3720 -share or -mno-daz-ftz is specified.
3721 * config/i386/darwin.h (ENDFILE_SPEC): Ditto.
3722 * config/i386/mingw32.h (ENDFILE_SPEC): Ditto.
3724 2023-01-17 Jose E. Marchesi <jose.marchesi@oracle.com>
3726 * config/bpf/bpf.cc (bpf_option_override): Disable
3729 2023-01-17 Jakub Jelinek <jakub@redhat.com>
3731 PR tree-optimization/106523
3732 * tree-ssa-forwprop.cc (simplify_rotate): For the
3733 patterns with (-Y) & (B - 1) in one operand's shift
3734 count and Y in another, if T2 has wider precision than T,
3735 punt if Y could have a value in [B, B2 - 1] range.
3737 2023-01-16 H.J. Lu <hjl.tools@gmail.com>
3740 * config/i386/i386.cc (x86_output_mi_thunk): Disable
3741 -mforce-indirect-call for PIC in 32-bit mode.
3743 2023-01-16 Jan Hubicka <hubicka@ucw.cz>
3746 * ipa-modref.cc (modref_access_analysis::analyze): Use
3747 find_always_executed_bbs.
3748 * ipa-sra.cc (process_scan_results): Likewise.
3749 * ipa-utils.cc (stmt_may_terminate_function_p): New function.
3750 (find_always_executed_bbs): New function.
3751 * ipa-utils.h (stmt_may_terminate_function_p): Declare.
3752 (find_always_executed_bbs): Declare.
3754 2023-01-16 Jan Hubicka <jh@suse.cz>
3756 * config/i386/i386.cc (ix86_vectorize_builtin_scatter): Guard scatter
3757 by TARGET_USE_SCATTER.
3758 * config/i386/i386.h (TARGET_USE_SCATTER_2PARTS,
3759 TARGET_USE_SCATTER_4PARTS, TARGET_USE_SCATTER): New macros.
3760 * config/i386/x86-tune.def (TARGET_USE_SCATTER_2PARTS,
3761 TARGET_USE_SCATTER_4PARTS, TARGET_USE_SCATTER): New tunes.
3762 (X86_TUNE_AVOID_256FMA_CHAINS, X86_TUNE_AVOID_512FMA_CHAINS): Disable
3763 for znver4. (X86_TUNE_USE_GATHER): Disable for zen4.
3765 2023-01-16 Richard Biener <rguenther@suse.de>
3768 * config/sol2.h (ENDFILE_SPEC): Don't add crtfastmath.o for -shared.
3770 2023-01-16 Stam Markianos-Wright <stam.markianos-wright@arm.com>
3774 * config/arm/arm_mve.h (__ARM_mve_coerce2): Split types.
3775 (__ARM_mve_coerce3): Likewise.
3777 2023-01-16 Andrew Carlotti <andrew.carlotti@arm.com>
3779 * tree-ssa-loop-niter.cc (build_popcount_expr): Add IFN support.
3781 2023-01-16 Andrew Carlotti <andrew.carlotti@arm.com>
3783 * tree-ssa-loop-niter.cc (number_of_iterations_cltz): New.
3784 (number_of_iterations_bitcount): Add call to the above.
3785 (number_of_iterations_exit_assumptions): Add EQ_EXPR case for
3786 c[lt]z idiom recognition.
3788 2023-01-16 Andrew Carlotti <andrew.carlotti@arm.com>
3790 * doc/sourcebuild.texi: Add missing target attributes.
3792 2023-01-16 Andrew Carlotti <andrew.carlotti@arm.com>
3794 PR tree-optimization/94793
3795 * tree-scalar-evolution.cc (expression_expensive_p): Add checks
3797 * tree-ssa-loop-niter.cc (build_cltz_expr): New.
3798 (number_of_iterations_cltz_complement): New.
3799 (number_of_iterations_bitcount): Add call to the above.
3801 2023-01-16 Jonathan Wakely <jwakely@redhat.com>
3803 * doc/extend.texi (Common Function Attributes): Fix grammar.
3805 2023-01-16 Jakub Jelinek <jakub@redhat.com>
3808 * config/riscv/riscv-vsetvl.h: Add space in between Copyright and (C).
3809 * config/riscv/riscv-vsetvl.cc: Likewise.
3811 2023-01-16 Jakub Jelinek <jakub@redhat.com>
3814 * config/i386/xmmintrin.h (_mm_undefined_ps): Temporarily
3815 disable -Winit-self using pragma GCC diagnostic ignored.
3816 * config/i386/emmintrin.h (_mm_undefined_pd, _mm_undefined_si128):
3818 * config/i386/avxintrin.h (_mm256_undefined_pd, _mm256_undefined_ps,
3819 _mm256_undefined_si256): Likewise.
3820 * config/i386/avx512fintrin.h (_mm512_undefined_pd,
3821 _mm512_undefined_ps, _mm512_undefined_epi32): Likewise.
3822 * config/i386/avx512fp16intrin.h (_mm_undefined_ph,
3823 _mm256_undefined_ph, _mm512_undefined_ph): Likewise.
3825 2023-01-16 Kewen Lin <linkw@linux.ibm.com>
3828 * config/rs6000/rs6000.cc (rs6000_opaque_type_invalid_use_p): Add the
3829 support for invalid uses in inline asm, factor out the checking and
3830 erroring to lambda function check_and_error_invalid_use.
3832 2023-01-15 Aldy Hernandez <aldyh@redhat.com>
3834 PR tree-optimization/107608
3835 * range-op-float.cc (range_operator_float::fold_range): Avoid
3836 folding into INF when flag_trapping_math.
3837 * value-range.h (frange::known_isinf): Return false for possible NANs.
3839 2023-01-15 Xianmiao Qu <cooper.qu@linux.alibaba.com>
3841 * config.gcc (csky-*-*): Support --with-float=softfp.
3843 2023-01-14 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
3845 * config/xtensa/xtensa-protos.h (order_regs_for_local_alloc):
3846 Rename to xtensa_adjust_reg_alloc_order.
3847 * config/xtensa/xtensa.cc (xtensa_adjust_reg_alloc_order):
3848 Ditto. And also remove code to reorder register numbers for
3849 leaf functions, rename the tables, and adjust the allocation
3850 order for the call0 ABI to use register A0 more.
3851 (xtensa_leaf_regs): Remove.
3852 * config/xtensa/xtensa.h (REG_ALLOC_ORDER): Cosmetics.
3853 (order_regs_for_local_alloc): Rename as the above.
3854 (LEAF_REGISTERS, LEAF_REG_REMAP, leaf_function): Remove.
3856 2023-01-14 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
3858 * config/aarch64/aarch64-sve.md (aarch64_vec_duplicate_vq<mode>_le):
3859 Change to define_insn_and_split to fold ldr+dup to ld1rq.
3860 * config/aarch64/predicates.md (aarch64_sve_dup_ld1rq_operand): New.
3862 2023-01-14 Alexandre Oliva <oliva@adacore.com>
3864 * hash-table.h (is_deleted): Precheck !is_empty.
3865 (mark_deleted): Postcheck !is_empty.
3866 (copy constructor): Test is_empty before is_deleted.
3868 2023-01-14 Alexandre Oliva <oliva@adacore.com>
3871 * config/arm/arm.md (movmisaligndi): Prefer aligned SImode
3874 2023-01-13 Eric Botcazou <ebotcazou@adacore.com>
3876 PR rtl-optimization/108274
3877 * function.cc (thread_prologue_and_epilogue_insns): Also update the
3878 DF information for calls in a few more cases.
3880 2023-01-13 John David Anglin <danglin@gcc.gnu.org>
3882 * config/pa/pa-linux.h (TARGET_SYNC_LIBCALL): Delete define.
3883 * config/pa/pa.cc (pa_init_libfuncs): Use MAX_SYNC_LIBFUNC_SIZE
3885 * config/pa/pa.h (TARGET_SYNC_LIBCALLS): Use flag_sync_libcalls.
3886 (MAX_SYNC_LIBFUNC_SIZE): Define.
3887 (TARGET_CPU_CPP_BUILTINS): Define __SOFTFP__ when soft float is
3889 * config/pa/pa.md (atomic_storeqi): Emit __atomic_exchange_1
3890 libcall when sync libcalls are disabled.
3891 (atomic_storehi, atomic_storesi, atomic_storedi): Likewise.
3892 (atomic_loaddi): Emit __atomic_load_8 libcall when sync libcalls
3893 are disabled on 32-bit target.
3894 * config/pa/pa.opt (matomic-libcalls): New option.
3895 * doc/invoke.texi (HPPA Options): Update.
3897 2023-01-13 Alexander Monakov <amonakov@ispras.ru>
3899 PR rtl-optimization/108117
3900 PR rtl-optimization/108132
3901 * sched-deps.cc (deps_analyze_insn): Do not schedule across
3902 calls before reload.
3904 2023-01-13 Srinath Parvathaneni <srinath.parvathaneni@arm.com>
3906 * common/config/arm/arm-common.cc (arm_canon_arch_option_1): Ignore cde
3907 options for -mlibarch.
3908 * config/arm/arm-cpus.in (begin cpu cortex-m55): Add cde options.
3909 * doc/invoke.texi (CDE): Document options for Cortex-M55 CPU.
3911 2023-01-13 Qing Zhao <qing.zhao@oracle.com>
3913 * attribs.cc (strict_flex_array_level_of): Move this function to ...
3914 * attribs.h (strict_flex_array_level_of): Remove the declaration.
3915 * gimple-array-bounds.cc (array_bounds_checker::check_array_ref):
3916 replace the referece to strict_flex_array_level_of with
3918 * tree.cc (component_ref_size): Likewise.
3920 2023-01-13 Richard Biener <rguenther@suse.de>
3923 * config/arm/linux-eabi.h (ENDFILE_SPEC): Don't add
3924 crtfastmath.o for -shared.
3925 * config/arm/unknown-elf.h (STARTFILE_SPEC): Likewise.
3927 2023-01-13 Richard Biener <rguenther@suse.de>
3930 * config/aarch64/aarch64-elf-raw.h (ENDFILE_SPEC): Don't add
3931 crtfastmath.o for -shared.
3932 * config/aarch64/aarch64-freebsd.h (GNU_USER_TARGET_MATHFILE_SPEC):
3934 * config/aarch64/aarch64-linux.h (GNU_USER_TARGET_MATHFILE_SPEC):
3937 2023-01-13 Richard Sandiford <richard.sandiford@arm.com>
3939 * config/aarch64/aarch64.cc (aarch64_dwarf_frame_reg_mode): New
3941 (TARGET_DWARF_FRAME_REG_MODE): Define.
3943 2023-01-13 Richard Biener <rguenther@suse.de>
3946 * config/aarch64/aarch64.cc (aarch64_gimple_fold_builtin): Don't
3947 update EH info on the fly.
3949 2023-01-13 Richard Biener <rguenther@suse.de>
3951 PR tree-optimization/108387
3952 * tree-ssa-sccvn.cc (visit_nary_op): Check for SSA_NAME
3953 value before inserting expression into the tables.
3955 2023-01-12 Andrew Pinski <apinski@marvell.com>
3956 Roger Sayle <roger@nextmovesoftware.com>
3958 PR tree-optimization/92342
3959 * match.pd ((m1 CMP m2) * d -> (m1 CMP m2) ? d : 0):
3960 Use tcc_comparison and :c for the multiply.
3961 (b & -(a CMP c) -> (a CMP c)?b:0): New pattern.
3963 2023-01-12 Christophe Lyon <christophe.lyon@arm.com>
3964 Richard Sandiford <richard.sandiford@arm.com>
3967 * config/aarch64/aarch64.cc (aarch64_function_arg_alignment):
3968 Check DECL_PACKED for bitfield.
3969 (aarch64_layout_arg): Warn when parameter passing ABI changes.
3970 (aarch64_function_arg_boundary): Do not warn here.
3971 (aarch64_gimplify_va_arg_expr): Warn when parameter passing ABI
3974 2023-01-12 Christophe Lyon <christophe.lyon@arm.com>
3975 Richard Sandiford <richard.sandiford@arm.com>
3977 * config/aarch64/aarch64.cc (aarch64_function_arg_alignment): Fix
3979 (aarch64_layout_arg): Factorize warning conditions.
3980 (aarch64_function_arg_boundary): Fix typo.
3981 * function.cc (currently_expanding_function_start): New variable.
3982 (expand_function_start): Handle
3983 currently_expanding_function_start.
3984 * function.h (currently_expanding_function_start): Declare.
3986 2023-01-12 Richard Biener <rguenther@suse.de>
3988 PR tree-optimization/99412
3989 * tree-ssa-reassoc.cc (is_phi_for_stmt): Remove.
3990 (swap_ops_for_binary_stmt): Remove reduction handling.
3991 (rewrite_expr_tree_parallel): Adjust.
3992 (reassociate_bb): Likewise.
3993 * tree-parloops.cc (build_new_reduction): Handle MINUS_EXPR.
3995 2023-01-12 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
3997 * config/xtensa/xtensa.md (ctzsi2, ffssi2):
3998 Rearrange the emitting codes.
4000 2023-01-12 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
4002 * config/xtensa/xtensa.md (*btrue):
4003 Correct value of the attribute "length" that depends on
4004 TARGET_DENSITY and operands, and add '?' character to the register
4005 constraint of the compared operand.
4007 2023-01-12 Alexandre Oliva <oliva@adacore.com>
4009 * hash-table.h (expand): Check elements and deleted counts.
4012 2023-01-11 Roger Sayle <roger@nextmovesoftware.com>
4014 PR tree-optimization/71343
4015 * tree-ssa-sccvn.cc (visit_nary_op) <case LSHIFT_EXPR>: Make
4016 the value number of the expression X << C the same as the value
4017 number for the multiplication X * (1<<C).
4019 2023-01-11 David Faust <david.faust@oracle.com>
4022 * config/bpf/bpf.cc (bpf_print_operand): Correct handling for
4023 floating point modes.
4025 2023-01-11 Eric Botcazou <ebotcazou@adacore.com>
4027 PR tree-optimization/108199
4028 * tree-sra.cc (sra_modify_expr): Deal with reverse storage order
4029 for bit-field references.
4031 2023-01-11 Kewen Lin <linkw@linux.ibm.com>
4033 * config/rs6000/rs6000.cc (rs6000_option_override_internal): Make
4034 OPTION_MASK_P10_FUSION implicit setting honour Power10 tuning setting.
4035 * config/rs6000/rs6000-cpus.def (ISA_3_1_MASKS_SERVER): Remove
4036 OPTION_MASK_P10_FUSION.
4038 2023-01-11 Richard Biener <rguenther@suse.de>
4040 PR tree-optimization/107767
4041 * tree-cfgcleanup.cc (phi_alternatives_equal): Export.
4042 * tree-cfgcleanup.h (phi_alternatives_equal): Declare.
4043 * tree-switch-conversion.cc (switch_conversion::collect):
4044 Count unique non-default targets accounting for later
4045 merging opportunities.
4047 2023-01-11 Martin Liska <mliska@suse.cz>
4049 PR middle-end/107976
4050 * params.opt: Limit JT params.
4051 * stmt.cc (emit_case_dispatch_table): Use auto_vec.
4053 2023-01-11 Richard Biener <rguenther@suse.de>
4055 PR tree-optimization/108352
4056 * tree-ssa-threadbackward.cc
4057 (back_threader_profitability::profitable_path_p): Adjust
4058 heuristic that allows non-multi-way branch threads creating
4060 * doc/invoke.texi (--param fsm-scale-path-blocks): Remove.
4061 (--param fsm-scale-path-stmts): Adjust.
4062 * params.opt (--param=fsm-scale-path-blocks=): Remove.
4063 (-param=fsm-scale-path-stmts=): Adjust description.
4065 2023-01-11 Richard Biener <rguenther@suse.de>
4067 PR tree-optimization/108353
4068 * tree-ssa-propagate.cc (cfg_blocks_back, ssa_edge_worklist_back):
4070 (add_ssa_edge): Simplify.
4071 (add_control_edge): Likewise.
4072 (ssa_prop_init): Likewise.
4073 (ssa_prop_fini): Likewise.
4074 (ssa_propagation_engine::ssa_propagate): Likewise.
4076 2023-01-11 Andreas Krebbel <krebbel@linux.ibm.com>
4078 * config/s390/s390.md (*not<mode>): New pattern.
4080 2023-01-11 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
4082 * config/xtensa/xtensa.cc (xtensa_insn_cost):
4083 Let insn cost for size be obtained by applying COSTS_N_INSNS()
4084 to instruction length and then dividing by 3.
4086 2023-01-10 Richard Biener <rguenther@suse.de>
4088 PR tree-optimization/106293
4089 * tree-ssa-dse.cc (dse_classify_store): Use a worklist to
4090 process degenerate PHI defs.
4092 2023-01-10 Roger Sayle <roger@nextmovesoftware.com>
4094 PR rtl-optimization/106421
4095 * cprop.cc (bypass_block): Check that DEST is local to this
4096 function (non-NULL) before calling find_edge.
4098 2023-01-10 Martin Jambor <mjambor@suse.cz>
4101 * ipa-param-manipulation.h (ipa_param_body_adjustments): New members
4102 sort_replacements, lookup_first_base_replacement and
4103 m_sorted_replacements_p.
4104 * ipa-param-manipulation.cc: Define INCLUDE_ALGORITHM.
4105 (ipa_param_body_adjustments::register_replacement): Set
4106 m_sorted_replacements_p to false.
4107 (compare_param_body_replacement): New function.
4108 (ipa_param_body_adjustments::sort_replacements): Likewise.
4109 (ipa_param_body_adjustments::common_initialization): Call
4111 (ipa_param_body_adjustments::ipa_param_body_adjustments): Initialize
4112 m_sorted_replacements_p.
4113 (ipa_param_body_adjustments::lookup_replacement_1): Rework to use
4115 (ipa_param_body_adjustments::lookup_first_base_replacement): New
4117 (ipa_param_body_adjustments::modify_call_stmt): Use
4118 lookup_first_base_replacement.
4119 * omp-simd-clone.cc (ipa_simd_modify_function_body): Call
4120 adjustments->sort_replacements.
4122 2023-01-10 Richard Biener <rguenther@suse.de>
4124 PR tree-optimization/108314
4125 * tree-vect-stmts.cc (vectorizable_condition): Do not
4126 perform BIT_NOT_EXPR optimization for EXTRACT_LAST_REDUCTION.
4128 2023-01-10 Xianmiao Qu <cooper.qu@linux.alibaba.com>
4130 * config/csky/csky-linux-elf.h (SYSROOT_SUFFIX_SPEC): New.
4132 2023-01-10 Xianmiao Qu <cooper.qu@linux.alibaba.com>
4134 * config/csky/csky.h (MULTILIB_DEFAULTS): Fix float abi option.
4136 2023-01-10 Xianmiao Qu <cooper.qu@linux.alibaba.com>
4138 * config/csky/csky.cc (csky_cpu_cpp_builtins): Add builtin
4139 defines for soft float abi.
4141 2023-01-10 Xianmiao Qu <cooper.qu@linux.alibaba.com>
4143 * config/csky/csky.md (smart_bseti): Change condition to CSKY_ISA_FEATURE (E1).
4144 (smart_bclri): Likewise.
4145 (fast_bseti): Change condition to CSKY_ISA_FEATURE (E2).
4146 (fast_bclri): Likewise.
4147 (fast_cmpnesi_i): Likewise.
4148 (*fast_cmpltsi_i): Likewise.
4149 (*fast_cmpgeusi_i): Likewise.
4151 2023-01-10 Xianmiao Qu <cooper.qu@linux.alibaba.com>
4153 * config/csky/csky_insn_fpuv3.md (l<frm_pattern><fixsuop><mode>si2): Test
4154 flag_fp_int_builtin_inexact || !flag_trapping_math.
4155 (<frm_pattern><mode>2): Likewise.
4157 2023-01-10 Andreas Krebbel <krebbel@linux.ibm.com>
4159 * config/s390/s390.cc (s390_register_info): Check call_used_regs
4160 instead of hard-coding the register numbers for call saved
4162 (s390_optimize_register_info): Likewise.
4164 2023-01-09 Eric Botcazou <ebotcazou@adacore.com>
4166 * doc/gm2.texi (Overview): Fix @node markers.
4167 (Using): Likewise. Remove subsections that were moved to Overview
4168 from the menu and move others around.
4170 2023-01-09 Richard Biener <rguenther@suse.de>
4172 PR middle-end/108209
4173 * genmatch.cc (commutative_op): Fix return value for
4174 user-id with non-commutative first replacement.
4176 2023-01-09 Jakub Jelinek <jakub@redhat.com>
4179 * calls.cc (expand_call): For calls with
4180 TYPE_NO_NAMED_ARGS_STDARG_P (funtype) use zero for n_named_args.
4183 2023-01-09 Richard Biener <rguenther@suse.de>
4186 * cfgexpand.cc (discover_nonconstant_array_refs_r): Volatile
4187 qualified accesses also force objects to memory.
4189 2023-01-09 Martin Liska <mliska@suse.cz>
4192 * lto-cgraph.cc (compute_ltrans_boundary): Do not insert
4193 NULL (deleleted value) to a hash_set.
4195 2023-01-08 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
4197 * config/xtensa/xtensa.md (*splice_bits):
4198 New insn_and_split pattern.
4200 2023-01-07 Takayuki 'January June' Suwa <jjsuwa_sys3175@yahoo.co.jp>
4202 * config/xtensa/xtensa.cc
4203 (xtensa_split_imm_two_addends, xtensa_emit_add_imm):
4204 New helper functions.
4205 (xtensa_set_return_address, xtensa_output_mi_thunk):
4206 Change to use the helper function.
4207 (xtensa_emit_adjust_stack_ptr): Ditto.
4208 And also change to try reusing the content of scratch register
4209 A9 if the register is not modified in the function body.
4211 2023-01-07 LIU Hao <lh_mouse@126.com>
4213 PR middle-end/108300
4214 * config/xtensa/xtensa-dynconfig.c: Define `WIN32_LEAN_AND_MEAN`
4216 * diagnostic-color.cc: Likewise.
4217 * plugin.cc: Likewise.
4218 * prefix.cc: Likewise.
4220 2023-01-06 Joseph Myers <joseph@codesourcery.com>
4222 * doc/extend.texi (__builtin_tgmath): Do not restate standard rule
4223 for handling real integer types.
4225 2023-01-06 Tamar Christina <tamar.christina@arm.com>
4228 2022-12-12 Tamar Christina <tamar.christina@arm.com>
4230 * config/aarch64/aarch64-simd.md (*aarch64_simd_movv2hf): New.
4231 (mov<mode>, movmisalign<mode>, aarch64_dup_lane<mode>,
4232 aarch64_store_lane0<mode>, aarch64_simd_vec_set<mode>,
4233 @aarch64_simd_vec_copy_lane<mode>, vec_set<mode>,
4234 reduc_<optab>_scal_<mode>, reduc_<fmaxmin>_scal_<mode>,
4235 aarch64_reduc_<optab>_internal<mode>, aarch64_get_lane<mode>,
4236 vec_init<mode><Vel>, vec_extract<mode><Vel>): Support V2HF.
4237 (aarch64_simd_dupv2hf): New.
4238 * config/aarch64/aarch64.cc (aarch64_classify_vector_mode):
4240 * config/aarch64/iterators.md (VHSDF_P): New.
4241 (V2F, VMOVE, nunits, Vtype, Vmtype, Vetype, stype, VEL,
4242 Vel, q, vp): Add V2HF.
4243 * config/arm/types.md (neon_fp_reduc_add_h): New.
4245 2023-01-06 Martin Liska <mliska@suse.cz>
4247 PR middle-end/107966
4248 * doc/options.texi: Fix Var documentation in internal manual.
4250 2023-01-05 Roger Sayle <roger@nextmovesoftware.com>
4253 2023-01-03 Roger Sayle <roger@nextmovesoftware.com>
4255 * config/i386/i386-expand.cc (ix86_expand_int_movcc): Rewrite
4256 RTL expansion to allow condition (mask) to be shared/reused,
4257 by avoiding overwriting pseudos and adding REG_EQUAL notes.
4259 2023-01-05 Iain Sandoe <iain@sandoe.co.uk>
4261 * common.opt: Add -static-libgm2.
4262 * config/darwin.h (LINK_SPEC): Handle static-libgm2.
4263 * doc/gm2.texi: Document static-libgm2.
4264 * gcc.cc (driver_handle_option): Allow static-libgm2.
4266 2023-01-05 Tejas Joshi <TejasSanjay.Joshi@amd.com>
4268 * common/config/i386/i386-common.cc (processor_alias_table):
4269 Use CPU_ZNVER4 for znver4.
4270 * config/i386/i386.md: Add znver4.md.
4271 * config/i386/znver4.md: New.
4273 2023-01-04 Jakub Jelinek <jakub@redhat.com>
4275 PR tree-optimization/108253
4276 * tree-vrp.cc (maybe_set_nonzero_bits): Handle var with pointer
4279 2023-01-04 Jakub Jelinek <jakub@redhat.com>
4281 PR middle-end/108237
4282 * generic-match-head.cc: Include tree-pass.h.
4283 (canonicalize_math_p, optimize_vectors_before_lowering_p): Define
4284 to false if cfun and cfun->curr_properties has PROP_gimple_opt_math
4285 resp. PROP_gimple_lvec property set.
4287 2023-01-04 Jakub Jelinek <jakub@redhat.com>
4290 * convert.cc (do_narrow): Punt for MULT_EXPR if original
4291 type doesn't wrap around and -fsanitize=signed-integer-overflow
4293 * fold-const.cc (fold_unary_loc) <CASE_CONVERT>: Likewise.
4295 2023-01-04 Hu, Lin1 <lin1.hu@intel.com>
4297 * common/config/i386/cpuinfo.h (get_intel_cpu): Handle Emeraldrapids.
4298 * common/config/i386/i386-common.cc: Add Emeraldrapids.
4300 2023-01-04 Hu, Lin1 <lin1.hu@intel.com>
4302 * common/config/i386/cpuinfo.h (get_intel_cpu): Remove case 0xb5
4305 2023-01-03 Sandra Loosemore <sandra@codesourcery.com>
4307 * cgraph.h (struct cgraph_node): Add gc_candidate bit, modify
4308 default constructor to initialize it.
4309 * cgraphunit.cc (expand_all_functions): Save gc_candidate functions
4310 for last and iterate to handle recursive calls. Delete leftover
4311 candidates at the end.
4312 * omp-simd-clone.cc (simd_clone_create): Set gc_candidate bit
4314 * tree-vect-stmts.cc (vectorizable_simd_clone_call): Clear
4315 gc_candidate bit when a clone is used.
4317 2023-01-03 Florian Weimer <fweimer@redhat.com>
4320 2023-01-02 Florian Weimer <fweimer@redhat.com>
4322 * dwarf2cfi.cc (init_return_column_size): Remove.
4323 (init_one_dwarf_reg_size): Adjust.
4324 (generate_dwarf_reg_sizes): New function. Extracted
4325 from expand_builtin_init_dwarf_reg_sizes.
4326 (expand_builtin_init_dwarf_reg_sizes): Call
4327 generate_dwarf_reg_sizes.
4328 * target.def (init_dwarf_reg_sizes_extra): Adjust
4330 * config/msp430/msp430.cc
4331 (msp430_init_dwarf_reg_sizes_extra): Adjust.
4332 * config/rs6000/rs6000.cc
4333 (rs6000_init_dwarf_reg_sizes_extra): Likewise.
4334 * doc/tm.texi: Update.
4336 2023-01-03 Florian Weimer <fweimer@redhat.com>
4339 2023-01-02 Florian Weimer <fweimer@redhat.com>
4341 * debug.h (dwarf_reg_sizes_constant): Declare.
4342 * dwarf2cfi.cc (dwarf_reg_sizes_constant): New function.
4344 2023-01-03 Siddhesh Poyarekar <siddhesh@gotplt.org>
4346 PR tree-optimization/105043
4347 * doc/extend.texi (Object Size Checking): Split out into two
4348 subsections and mention _FORTIFY_SOURCE.
4350 2023-01-03 Roger Sayle <roger@nextmovesoftware.com>
4352 * config/i386/i386-expand.cc (ix86_expand_int_movcc): Rewrite
4353 RTL expansion to allow condition (mask) to be shared/reused,
4354 by avoiding overwriting pseudos and adding REG_EQUAL notes.
4356 2023-01-03 Roger Sayle <roger@nextmovesoftware.com>
4359 * config/i386/i386-features.cc
4360 (general_scalar_chain::compute_convert_gain) <case PLUS>: Consider
4361 the gain/cost of converting a MEM operand.
4363 2023-01-03 Jakub Jelinek <jakub@redhat.com>
4365 PR middle-end/108264
4366 * expr.cc (store_expr): For stores into SUBREG_PROMOTED_* targets
4367 from source which doesn't have scalar integral mode first convert
4370 2023-01-03 Jakub Jelinek <jakub@redhat.com>
4372 PR rtl-optimization/108263
4373 * cfgrtl.cc (fixup_reorder_chain): Avoid trying to redirect
4376 2023-01-02 Alexander Monakov <amonakov@ispras.ru>
4379 * config/i386/lujiazui.md (lujiazui_div): New automaton.
4380 (lua_div): New unit.
4381 (lua_idiv_qi): Correct unit in the reservation.
4382 (lua_idiv_qi_load): Ditto.
4383 (lua_idiv_hi): Ditto.
4384 (lua_idiv_hi_load): Ditto.
4385 (lua_idiv_si): Ditto.
4386 (lua_idiv_si_load): Ditto.
4387 (lua_idiv_di): Ditto.
4388 (lua_idiv_di_load): Ditto.
4389 (lua_fdiv_SF): Ditto.
4390 (lua_fdiv_SF_load): Ditto.
4391 (lua_fdiv_DF): Ditto.
4392 (lua_fdiv_DF_load): Ditto.
4393 (lua_fdiv_XF): Ditto.
4394 (lua_fdiv_XF_load): Ditto.
4395 (lua_ssediv_SF): Ditto.
4396 (lua_ssediv_load_SF): Ditto.
4397 (lua_ssediv_V4SF): Ditto.
4398 (lua_ssediv_load_V4SF): Ditto.
4399 (lua_ssediv_V8SF): Ditto.
4400 (lua_ssediv_load_V8SF): Ditto.
4401 (lua_ssediv_SD): Ditto.
4402 (lua_ssediv_load_SD): Ditto.
4403 (lua_ssediv_V2DF): Ditto.
4404 (lua_ssediv_load_V2DF): Ditto.
4405 (lua_ssediv_V4DF): Ditto.
4406 (lua_ssediv_load_V4DF): Ditto.
4408 2023-01-02 Florian Weimer <fweimer@redhat.com>
4410 * debug.h (dwarf_reg_sizes_constant): Declare.
4411 * dwarf2cfi.cc (dwarf_reg_sizes_constant): New function.
4413 2023-01-02 Florian Weimer <fweimer@redhat.com>
4415 * dwarf2cfi.cc (init_return_column_size): Remove.
4416 (init_one_dwarf_reg_size): Adjust.
4417 (generate_dwarf_reg_sizes): New function. Extracted
4418 from expand_builtin_init_dwarf_reg_sizes.
4419 (expand_builtin_init_dwarf_reg_sizes): Call
4420 generate_dwarf_reg_sizes.
4421 * target.def (init_dwarf_reg_sizes_extra): Adjust
4423 * config/msp430/msp430.cc
4424 (msp430_init_dwarf_reg_sizes_extra): Adjust.
4425 * config/rs6000/rs6000.cc
4426 (rs6000_init_dwarf_reg_sizes_extra): Likewise.
4427 * doc/tm.texi: Update.
4429 2023-01-02 Jakub Jelinek <jakub@redhat.com>
4431 * gcc.cc (process_command): Update copyright notice dates.
4432 * gcov-dump.cc (print_version): Ditto.
4433 * gcov.cc (print_version): Ditto.
4434 * gcov-tool.cc (print_version): Ditto.
4435 * gengtype.cc (create_file): Ditto.
4436 * doc/cpp.texi: Bump @copying's copyright year.
4437 * doc/cppinternals.texi: Ditto.
4438 * doc/gcc.texi: Ditto.
4439 * doc/gccint.texi: Ditto.
4440 * doc/gcov.texi: Ditto.
4441 * doc/install.texi: Ditto.
4442 * doc/invoke.texi: Ditto.
4444 2023-01-01 Roger Sayle <roger@nextmovesoftware.com>
4445 Uroš Bizjak <ubizjak@gmail.com>
4447 * config/i386/i386.md (extendditi2): New define_insn.
4448 (define_split): Use DWIH mode iterator to treat new extendditi2
4449 identically to existing extendsidi2_1.
4450 (define_peephole2): Likewise.
4451 (define_peephole2): Likewise.
4452 (define_Split): Likewise.
4455 Copyright (C) 2023 Free Software Foundation, Inc.
4457 Copying and distribution of this file, with or without modification,
4458 are permitted in any medium without royalty provided the copyright
4459 notice and this notice are preserved.