gcc-8.3/gcc/lra_final_code_change()
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
*参照元 [#cb5d69fa]
#backlinks
*説明 [#h79f9309]
-パス: [[gcc-8.3/gcc/lra-spills.c]]
-FIXME: これは何？
--説明
**引数 [#v4f4637d]
-なし
**返り値 [#afb252d2]
-なし
**参考 [#yd0a3eab]
*実装 [#q31e904c]
/* Final change of pseudos got hard registers into the c...
hard registers and removing temporary clobbers. */
void
lra_final_code_change (void)
{
int i, hard_regno;
basic_block bb;
rtx_insn *insn, *curr;
int max_regno = max_reg_num ();
-
--[[gcc-8.3/gcc/basic_block]]
--[[gcc-8.3/gcc/rtx_insn]]
--[[gcc-8.3/gcc/max_reg_num()]]
for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
if (lra_reg_info[i].nrefs != 0
&& (hard_regno = lra_get_regno_hard_regno (i)) >= 0)
SET_REGNO (regno_reg_rtx[i], hard_regno);
-
--[[gcc-8.3/gcc/lra_get_regno_hard_regno()]]
--[[gcc-8.3/gcc/SET_REGNO()]]
FOR_EACH_BB_FN (bb, cfun)
FOR_BB_INSNS_SAFE (bb, insn, curr)
if (INSN_P (insn))
{
-
--[[gcc-8.3/gcc/FOR_EACH_BB_FN()]]
--[[gcc-8.3/gcc/FOR_BB_INSNS_SAFE()]]
--[[gcc-8.3/gcc/INSN_P()]]
rtx pat = PATTERN (insn);
if (GET_CODE (pat) == CLOBBER && LRA_TEMP_CLOBBER_P (...
{
/* Remove clobbers temporarily created in LRA. W...
need them anymore and don't want to waste compiler
time processing them in a few subsequent passes. */
lra_invalidate_insn_data (insn);
delete_insn (insn);
continue;
}
-
--[[gcc-8.3/gcc/rtx]]
--[[gcc-8.3/gcc/PATTERN()]]
--[[gcc-8.3/gcc/GET_CODE()]]
--[[gcc-8.3/gcc/LRA_TEMP_CLOBBER_P()]]
--[[gcc-8.3/gcc/lra_invalidate_insn_data()]]
--[[gcc-8.3/gcc/delete_insn()]]
/* IRA can generate move insns involving pseudos. It...
better remove them earlier to speed up compiler a ...
It is also better to do it here as they might not ...
final RTL check in LRA, (e.g. insn moving a control
register into itself). So remove an useless move ...
unless next insn is USE marking the return reg (we...
save this as some subsequent optimizations assume ...
such original insns are saved). */
if (NONJUMP_INSN_P (insn) && GET_CODE (pat) == SET
&& REG_P (SET_SRC (pat)) && REG_P (SET_DEST (pat))
&& REGNO (SET_SRC (pat)) == REGNO (SET_DEST (pat))
&& (! return_regno_p (REGNO (SET_SRC (pat)))
|| ! regno_in_use_p (insn, REGNO (SET_SRC (pat)))))
{
lra_invalidate_insn_data (insn);
delete_insn (insn);
continue;
}
-
--[[gcc-8.3/gcc/NONJUMP_INSN_P()]]
--[[gcc-8.3/gcc/GET_CODE()]]
--[[gcc-8.3/gcc/REG_P()]]
--[[gcc-8.3/gcc/SET_SRC()]]
--[[gcc-8.3/gcc/SET_DEST()]]
--[[gcc-8.3/gcc/REGNO()]]
--[[gcc-8.3/gcc/return_regno_p()]]
--[[gcc-8.3/gcc/regno_in_use_p()]]
--[[gcc-8.3/gcc/lra_invalidate_insn_data()]]
--[[gcc-8.3/gcc/delete_insn()]]
lra_insn_recog_data_t id = lra_get_insn_recog_data (i...
struct lra_insn_reg *reg;
for (reg = id->regs; reg != NULL; reg = reg->next)
if (reg->regno >= FIRST_PSEUDO_REGISTER
&& lra_reg_info [reg->regno].nrefs == 0)
break;
-
--[[gcc-8.3/gcc/lra_insn_recog_data_t]]
--[[gcc-8.3/gcc/lra_insn_reg]]
if (reg != NULL)
{
/* Pseudos still can be in debug insns in some ve...
and complicated cases, e.g. the pseudo was removed by
inheritance and the debug insn is not EBBs where the
inheritance happened. It is difficult and time
consuming to find what hard register corresponds the
pseudo -- so just remove the debug insn. Another
solution could be assigning hard reg/memory but it
would be a misleading info. It is better not to have
info than have it wrong. */
lra_assert (DEBUG_INSN_P (insn));
lra_invalidate_insn_data (insn);
delete_insn (insn);
continue;
}
-
--[[gcc-8.3/gcc/lra_assert()]]
--[[gcc-8.3/gcc/DEBUG_INSN_P()]]
--[[gcc-8.3/gcc/lra_invalidate_insn_data()]]
--[[gcc-8.3/gcc/delete_insn()]]
struct lra_static_insn_data *static_id = id->insn_sta...
bool insn_change_p = false;
for (i = id->insn_static_data->n_operands - 1; i >= 0...
if ((DEBUG_INSN_P (insn) || ! static_id->operand[i]...
&& alter_subregs (id->operand_loc[i], ! DEBUG_INSN_P (...
{
lra_update_dup (id, i);
insn_change_p = true;
}
if (insn_change_p)
lra_update_operator_dups (id);
}
-
--[[gcc-8.3/gcc/lra_static_insn_data]]
--[[gcc-8.3/gcc/DEBUG_INSN_P()]]
--[[gcc-8.3/gcc/alter_subregs()]]
--[[gcc-8.3/gcc/lra_update_dup()]]
--[[gcc-8.3/gcc/lra_update_operator_dups()]]
}
*コメント [#hf507037]
終了行:
*参照元 [#cb5d69fa]
#backlinks
*説明 [#h79f9309]
-パス: [[gcc-8.3/gcc/lra-spills.c]]
-FIXME: これは何？
--説明
**引数 [#v4f4637d]
-なし
**返り値 [#afb252d2]
-なし
**参考 [#yd0a3eab]
*実装 [#q31e904c]
/* Final change of pseudos got hard registers into the c...
hard registers and removing temporary clobbers. */
void
lra_final_code_change (void)
{
int i, hard_regno;
basic_block bb;
rtx_insn *insn, *curr;
int max_regno = max_reg_num ();
-
--[[gcc-8.3/gcc/basic_block]]
--[[gcc-8.3/gcc/rtx_insn]]
--[[gcc-8.3/gcc/max_reg_num()]]
for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
if (lra_reg_info[i].nrefs != 0
&& (hard_regno = lra_get_regno_hard_regno (i)) >= 0)
SET_REGNO (regno_reg_rtx[i], hard_regno);
-
--[[gcc-8.3/gcc/lra_get_regno_hard_regno()]]
--[[gcc-8.3/gcc/SET_REGNO()]]
FOR_EACH_BB_FN (bb, cfun)
FOR_BB_INSNS_SAFE (bb, insn, curr)
if (INSN_P (insn))
{
-
--[[gcc-8.3/gcc/FOR_EACH_BB_FN()]]
--[[gcc-8.3/gcc/FOR_BB_INSNS_SAFE()]]
--[[gcc-8.3/gcc/INSN_P()]]
rtx pat = PATTERN (insn);
if (GET_CODE (pat) == CLOBBER && LRA_TEMP_CLOBBER_P (...
{
/* Remove clobbers temporarily created in LRA. W...
need them anymore and don't want to waste compiler
time processing them in a few subsequent passes. */
lra_invalidate_insn_data (insn);
delete_insn (insn);
continue;
}
-
--[[gcc-8.3/gcc/rtx]]
--[[gcc-8.3/gcc/PATTERN()]]
--[[gcc-8.3/gcc/GET_CODE()]]
--[[gcc-8.3/gcc/LRA_TEMP_CLOBBER_P()]]
--[[gcc-8.3/gcc/lra_invalidate_insn_data()]]
--[[gcc-8.3/gcc/delete_insn()]]
/* IRA can generate move insns involving pseudos. It...
better remove them earlier to speed up compiler a ...
It is also better to do it here as they might not ...
final RTL check in LRA, (e.g. insn moving a control
register into itself). So remove an useless move ...
unless next insn is USE marking the return reg (we...
save this as some subsequent optimizations assume ...
such original insns are saved). */
if (NONJUMP_INSN_P (insn) && GET_CODE (pat) == SET
&& REG_P (SET_SRC (pat)) && REG_P (SET_DEST (pat))
&& REGNO (SET_SRC (pat)) == REGNO (SET_DEST (pat))
&& (! return_regno_p (REGNO (SET_SRC (pat)))
|| ! regno_in_use_p (insn, REGNO (SET_SRC (pat)))))
{
lra_invalidate_insn_data (insn);
delete_insn (insn);
continue;
}
-
--[[gcc-8.3/gcc/NONJUMP_INSN_P()]]
--[[gcc-8.3/gcc/GET_CODE()]]
--[[gcc-8.3/gcc/REG_P()]]
--[[gcc-8.3/gcc/SET_SRC()]]
--[[gcc-8.3/gcc/SET_DEST()]]
--[[gcc-8.3/gcc/REGNO()]]
--[[gcc-8.3/gcc/return_regno_p()]]
--[[gcc-8.3/gcc/regno_in_use_p()]]
--[[gcc-8.3/gcc/lra_invalidate_insn_data()]]
--[[gcc-8.3/gcc/delete_insn()]]
lra_insn_recog_data_t id = lra_get_insn_recog_data (i...
struct lra_insn_reg *reg;
for (reg = id->regs; reg != NULL; reg = reg->next)
if (reg->regno >= FIRST_PSEUDO_REGISTER
&& lra_reg_info [reg->regno].nrefs == 0)
break;
-
--[[gcc-8.3/gcc/lra_insn_recog_data_t]]
--[[gcc-8.3/gcc/lra_insn_reg]]
if (reg != NULL)
{
/* Pseudos still can be in debug insns in some ve...
and complicated cases, e.g. the pseudo was removed by
inheritance and the debug insn is not EBBs where the
inheritance happened. It is difficult and time
consuming to find what hard register corresponds the
pseudo -- so just remove the debug insn. Another
solution could be assigning hard reg/memory but it
would be a misleading info. It is better not to have
info than have it wrong. */
lra_assert (DEBUG_INSN_P (insn));
lra_invalidate_insn_data (insn);
delete_insn (insn);
continue;
}
-
--[[gcc-8.3/gcc/lra_assert()]]
--[[gcc-8.3/gcc/DEBUG_INSN_P()]]
--[[gcc-8.3/gcc/lra_invalidate_insn_data()]]
--[[gcc-8.3/gcc/delete_insn()]]
struct lra_static_insn_data *static_id = id->insn_sta...
bool insn_change_p = false;
for (i = id->insn_static_data->n_operands - 1; i >= 0...
if ((DEBUG_INSN_P (insn) || ! static_id->operand[i]...
&& alter_subregs (id->operand_loc[i], ! DEBUG_INSN_P (...
{
lra_update_dup (id, i);
insn_change_p = true;
}
if (insn_change_p)
lra_update_operator_dups (id);
}
-
--[[gcc-8.3/gcc/lra_static_insn_data]]
--[[gcc-8.3/gcc/DEBUG_INSN_P()]]
--[[gcc-8.3/gcc/alter_subregs()]]
--[[gcc-8.3/gcc/lra_update_dup()]]
--[[gcc-8.3/gcc/lra_update_operator_dups()]]
}
*コメント [#hf507037]
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
