On Mon, Jan 29, 2024 at 06:05:25PM -0800, H.J. Lu wrote:
> LRA may call forcce_const_mem on this insn in the function
>
> (gdb) call debug_tree (func_decl)
> <function_decl 0x7ffff2770900 __ct_base
> type <method_type 0x7ffff27511f8
> type <void_type 0x7ffff7690f18 void type_6 VOID
> align:8 warn_if_not_align:0 symtab:0 alias-set -1
> canonical-type 0x7ffff7690f18
> pointer_to_this <pointer_type 0x7ffff7697000>>
> QI
> size <integer_cst 0x7ffff768a2b8 constant 8>
> unit-size <integer_cst 0x7ffff768a2d0 constant 1>
> align:8 warn_if_not_align:0 symtab:0 alias-set -1
> canonical-type 0x7ffff27512a0 method basetype <record_type
> 0x7ffff264b0a8 function_summary>
> arg-types <tree_list 0x7ffff349acd0 value <pointer_type
> 0x7ffff26887e0>
> chain <tree_list 0x7ffff349ac58 value <pointer_type
> 0x7ffff264b2a0>
> chain <tree_list 0x7ffff48c0b68
> purpose <integer_cst 0x7ffff768a510 constant 0>
> value <boolean_type 0x7ffff7690b28 bool>
> chain <tree_list 0x7ffff7685d98 value <void_type
> 0x7ffff7690f18 void>>>>>
> pointer_to_this <pointer_type 0x7ffff258a888>>
> addressable asm_written used nothrow public static weak decl_5 QI
> /export/gnu/import/git/gitlab/x86-gcc/gcc/symbol-summary.h:268:1
> align:16 warn_if_not_align:0 context <record_type 0x7ffff264b0a8
> function_summary> initial <block 0x7ffff22c82a0> abstract_origin
> <function_decl 0x7ffff2750700 __ct >
> result <result_decl 0x7ffff22abd20 D.160175 type <void_type
> 0x7ffff7690f18 void>
> ignored VOID
> /export/gnu/import/git/gitlab/x86-gcc/gcc/symbol-summary.h:269:20
> align:8 warn_if_not_align:0 context <function_decl
> 0x7ffff2770900 __ct_base >>
> full-name "function_summary<T*>::function_summary(symbol_table*,
> bool = false) [with T = clone_info]"
> template-info <template_info 0x7ffff349ade8
> template <template_decl 0x7ffff26fbf80 __ct type <method_type
> 0x7ffff2701540>
> VOID
> /export/gnu/import/git/gitlab/x86-gcc/gcc/symbol-summary.h:268:1
> align:1 warn_if_not_align:0 context <record_type
> 0x7ffff27010a8 function_summary> result <function_decl 0x7ffff26fcc00
> __ct >
> parms <tree_list 0x7ffff37bc730 purpose <integer_cst
> 0x7ffff768a2d0 1>
> value <tree_vec 0x7ffff304ed00 type <template_decl
> 0x7ffff2646e00 function_summary>
> length:1
> elt:0 <tree_list 0x7ffff37bc708 value <type_decl
> 0x7ffff26f5c78 T>>>>
> full-name "template<class T>
> function_summary<T*>::function_summary(symbol_table*, bool)">
> args <tree_vec 0x7ffff30767a0 length:1 elt:0 <record_type
> 0x7ffff2987930 clone_info>>>
> use_template=1
> arguments <parm_decl 0x7ffff2773780 this
> type <pointer_type 0x7ffff2751348 type <record_type
> 0x7ffff264b0a8 function_summary>
> readonly sizes-gimplified public unsigned DI
> size <integer_cst 0x7ffff768a1c8 constant 64>
> unit-size <integer_cst 0x7ffff768a1e0 constant 8>
> align:64 warn_if_not_align:0 symtab:0 alias-set -1
> canonical-type 0x7ffff2751348>
> readonly used unsigned read DI
> /export/gnu/import/git/gitlab/x86-gcc/gcc/symbol-summary.h:269:20 size
> <integer_cst 0x7ffff768a1c8 64> unit-size <integer_cst 0x7ffff768a1e0
> 8>
> align:64 warn_if_not_align:0 context <function_decl
> 0x7ffff2770900 __ct_base > abstract_origin <parm_decl 0x7ffff274fa00
> this>
> (reg/f:DI 117 [ this ]) arg-type <pointer_type 0x7ffff2751348>
> incoming-rtl (reg:DI 5 di [ this ])
> chain <parm_decl 0x7ffff2773800 symtab type <pointer_type
> 0x7ffff264b2a0>
> used unsigned DI
> /export/gnu/import/git/gitlab/x86-gcc/gcc/symbol-summary.h:268:56 size
> <integer_cst 0x7ffff768a1c8 64> unit-size <integer_cst 0x7ffff768a1e0
> 8>
> align:64 warn_if_not_align:0 context <function_decl
> 0x7ffff2770900 __ct_base > abstract_origin <parm_decl 0x7ffff22c1b80
> symtab>
> (reg/v/f:DI 118 [ symtab ]) arg-type <pointer_type 0x7ffff264b2a0>
> incoming-rtl (reg:DI 4 si [ symtab ]) chain <parm_decl
> 0x7ffff2773880 ggc>>>
> struct-function 0x7ffff22cb228 chain <function_decl 0x7ffff2770800
> __ct_comp >>
> (gdb)
>
> in gcc master branch tree:
>
> (gdb) call debug_rtx (curr_insn)
> (insn 14 128 15 2 (set (reg:V2DI 121 [ _21 ])
> (vec_concat:V2DI (symbol_ref/i:DI
> ("_ZN16function_summaryIP10clone_infoE16symtab_insertionEP11cgraph_nodePv")
> [flags 0x3] <function_decl 0x7ffff2750e00 symtab_insertion>)
> (symbol_ref/i:DI
> ("_ZN16function_summaryIP10clone_infoE14symtab_removalEP11cgraph_nodePv")
> [flags 0x3] <function_decl 0x7ffff2750f00 symtab_removal>)))
> "/export/gnu/import/git/gitlab/x86-gcc/gcc/symbol-summary.h":36:22
> 7521 {vec_concatv2di}
> (expr_list:REG_DEAD (reg/f:DI 123)
> (expr_list:REG_DEAD (reg/f:DI 122)
> (expr_list:REG_EQUIV (vec_concat:V2DI (symbol_ref/i:DI
> ("_ZN16function_summaryIP10clone_infoE16symtab_insertionEP11cgraph_nodePv")
> [flags 0x3] <function_decl 0x7ffff2750e00 symtab_insertion>)
> (symbol_ref/i:DI
> ("_ZN16function_summaryIP10clone_infoE14symtab_removalEP11cgraph_nodePv")
> [flags 0x3] <function_decl 0x7ffff2750f00 symtab_removal>))
> (nil)))))
> (gdb)
>
> The referenced symbol,
> function_summary<clone_info*>::symtab_removal(cgraph_node*, void*),
> and the referencing function are in different COMDAT groups.
And is the referenced symbol non-public? If so, how does that work?
Jakub
