aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorVladimir N. Makarov <vmakarov@redhat.com>2023-09-28 09:41:18 -0400
committerVladimir N. Makarov <vmakarov@redhat.com>2023-09-28 09:42:02 -0400
commit0c8ecbcd3cf7d7187d2017ad02b663a57123b417 (patch)
tree82e13c022794ade1ab5432c5bf93dec6d3001600 /gcc
parentf194c684a28a5d449bd034a2c604d04ba465e4fe (diff)
downloadgcc-0c8ecbcd3cf7d7187d2017ad02b663a57123b417.zip
gcc-0c8ecbcd3cf7d7187d2017ad02b663a57123b417.tar.gz
gcc-0c8ecbcd3cf7d7187d2017ad02b663a57123b417.tar.bz2
[RA]: Add flag for checking IRA in progress
RISCV target developers need a flag to prevent creating insns in IRA which can not be split after RA as they will need a temporary reg. The patch introduces such flag. gcc/ChangeLog: * rtl.h (lra_in_progress): Change type to bool. (ira_in_progress): Add new extern. * ira.cc (ira_in_progress): New global. (pass_ira::execute): Set up ira_in_progress. * lra.cc: (lra_in_progress): Change type to bool and initialize. (lra): Use bool values for lra_in_progress. * lra-eliminations.cc (init_elim_table): Ditto.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ira.cc5
-rw-r--r--gcc/lra-eliminations.cc4
-rw-r--r--gcc/lra.cc8
-rw-r--r--gcc/rtl.h7
4 files changed, 16 insertions, 8 deletions
diff --git a/gcc/ira.cc b/gcc/ira.cc
index 0b0d460..d7530f0 100644
--- a/gcc/ira.cc
+++ b/gcc/ira.cc
@@ -5542,6 +5542,9 @@ bool ira_conflicts_p;
/* Saved between IRA and reload. */
static int saved_flag_ira_share_spill_slots;
+/* Set to true while in IRA. */
+bool ira_in_progress = false;
+
/* This is the main entry of IRA. */
static void
ira (FILE *f)
@@ -6110,7 +6113,9 @@ public:
}
unsigned int execute (function *) final override
{
+ ira_in_progress = true;
ira (dump_file);
+ ira_in_progress = false;
return 0;
}
diff --git a/gcc/lra-eliminations.cc b/gcc/lra-eliminations.cc
index 4daaff1..9ff4774 100644
--- a/gcc/lra-eliminations.cc
+++ b/gcc/lra-eliminations.cc
@@ -1294,14 +1294,14 @@ init_elim_table (void)
will cause, e.g., gen_rtx_REG (Pmode, STACK_POINTER_REGNUM) to
equal stack_pointer_rtx. We depend on this. Threfore we switch
off that we are in LRA temporarily. */
- lra_in_progress = 0;
+ lra_in_progress = false;
for (ep = reg_eliminate; ep < &reg_eliminate[NUM_ELIMINABLE_REGS]; ep++)
{
ep->from_rtx = gen_rtx_REG (Pmode, ep->from);
ep->to_rtx = gen_rtx_REG (Pmode, ep->to);
eliminable_reg_rtx[ep->from] = ep->from_rtx;
}
- lra_in_progress = 1;
+ lra_in_progress = true;
}
/* Function for initialization of elimination once per function. It
diff --git a/gcc/lra.cc b/gcc/lra.cc
index 361f84f..bcc00ff 100644
--- a/gcc/lra.cc
+++ b/gcc/lra.cc
@@ -2262,8 +2262,8 @@ update_inc_notes (void)
}
}
-/* Set to 1 while in lra. */
-int lra_in_progress;
+/* Set to true while in LRA. */
+bool lra_in_progress = false;
/* Start of pseudo regnos before the LRA. */
int lra_new_regno_start;
@@ -2360,7 +2360,7 @@ lra (FILE *f)
if (flag_checking)
check_rtl (false);
- lra_in_progress = 1;
+ lra_in_progress = true;
lra_live_range_iter = lra_coalesce_iter = lra_constraint_iter = 0;
lra_assignment_iter = lra_assignment_iter_after_spill = 0;
@@ -2552,7 +2552,7 @@ lra (FILE *f)
ira_restore_scratches (lra_dump_file);
lra_eliminate (true, false);
lra_final_code_change ();
- lra_in_progress = 0;
+ lra_in_progress = false;
if (live_p)
lra_clear_live_ranges ();
lra_live_ranges_finish ();
diff --git a/gcc/rtl.h b/gcc/rtl.h
index 102ad9b..8e59cd5 100644
--- a/gcc/rtl.h
+++ b/gcc/rtl.h
@@ -4108,8 +4108,11 @@ extern int epilogue_completed;
extern int reload_in_progress;
-/* Set to 1 while in lra. */
-extern int lra_in_progress;
+/* Set to true while in IRA. */
+extern bool ira_in_progress;
+
+/* Set to true while in LRA. */
+extern bool lra_in_progress;
/* This macro indicates whether you may create a new
pseudo-register. */