[PATCH][ARM] Enable code hoisting with -Os (PR80155)

classic Classic list List threaded Threaded
14 messages Options
Reply | Threaded
Open this post in threaded view
|

[PATCH][ARM] Enable code hoisting with -Os (PR80155)

Wilco Dijkstra-2
While code hoisting generally improves codesize, it can affect performance
negatively.  Benchmarking shows it doesn't help SPEC and negatively affects
embedded benchmarks, so only enable code hoisting with -Os on Arm.

Bootstrap OK, OK for commit?

ChangeLog:
2019-09-11  Wilco Dijkstra  <[hidden email]>


        PR tree-optimization/80155
        * common/config/arm/arm-common.c (arm_option_optimization_table):
        Enable -fcode-hoisting with -Os.

--
diff --git a/gcc/common/config/arm/arm-common.c b/gcc/common/config/arm/arm-common.c
index 41a920f6dc96833e778faa8dbcc19beac483734c..b0d5fb300bf01acc1fb6f4631635f8a1bfe6441c 100644
--- a/gcc/common/config/arm/arm-common.c
+++ b/gcc/common/config/arm/arm-common.c
@@ -39,6 +39,8 @@ static const struct default_options arm_option_optimization_table[] =
     /* Enable section anchors by default at -O1 or higher.  */
     { OPT_LEVELS_1_PLUS, OPT_fsection_anchors, NULL, 1 },
     { OPT_LEVELS_1_PLUS, OPT_fsched_pressure, NULL, 1 },
+    /* Enable code hoisting only with -Os.  */
+    { OPT_LEVELS_SIZE, OPT_fcode_hoisting, NULL, 1 },
     { OPT_LEVELS_NONE, 0, NULL, 0 }
   };
 

Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Richard Biener-2
On Wed, Sep 11, 2019 at 5:50 PM Wilco Dijkstra <[hidden email]> wrote:
>
> While code hoisting generally improves codesize, it can affect performance
> negatively.  Benchmarking shows it doesn't help SPEC and negatively affects
> embedded benchmarks, so only enable code hoisting with -Os on Arm.
>
> Bootstrap OK, OK for commit?

Do we document target specific deviations from "default" behavior somewhere?
invoke.texi has

@item -fcode-hoisting
@opindex fcode-hoisting
Perform code hoisting.  Code hoisting tries to move the
evaluation of expressions executed on all paths to the function exit
as early as possible.  This is especially useful as a code size
optimization, but it often helps for code speed as well.
This flag is enabled by default at @option{-O2} and higher.


> ChangeLog:
> 2019-09-11  Wilco Dijkstra  <[hidden email]>
>
>
>         PR tree-optimization/80155
>         * common/config/arm/arm-common.c (arm_option_optimization_table):
>         Enable -fcode-hoisting with -Os.
>
> --
> diff --git a/gcc/common/config/arm/arm-common.c b/gcc/common/config/arm/arm-common.c
> index 41a920f6dc96833e778faa8dbcc19beac483734c..b0d5fb300bf01acc1fb6f4631635f8a1bfe6441c 100644
> --- a/gcc/common/config/arm/arm-common.c
> +++ b/gcc/common/config/arm/arm-common.c
> @@ -39,6 +39,8 @@ static const struct default_options arm_option_optimization_table[] =
>      /* Enable section anchors by default at -O1 or higher.  */
>      { OPT_LEVELS_1_PLUS, OPT_fsection_anchors, NULL, 1 },
>      { OPT_LEVELS_1_PLUS, OPT_fsched_pressure, NULL, 1 },
> +    /* Enable code hoisting only with -Os.  */
> +    { OPT_LEVELS_SIZE, OPT_fcode_hoisting, NULL, 1 },
>      { OPT_LEVELS_NONE, 0, NULL, 0 }
>    };
>
>
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Wilco Dijkstra-2
Hi Richard,

> Do we document target specific deviations from "default" behavior somewhere?

Not as far as I know. The other option changes in arm-common.c are not mentioned
anywhere, neither is any of arm_option_override_internal.
 
If we want to keep documentation useful, we shouldn't clutter the generic options
with target-specific deviations from the default settings. What might be feasible is
adding a section for each target which describes changes from the default settings.

Wilco
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Richard Biener-2
On Thu, Sep 12, 2019 at 1:29 PM Wilco Dijkstra <[hidden email]> wrote:

>
> Hi Richard,
>
> > Do we document target specific deviations from "default" behavior somewhere?
>
> Not as far as I know. The other option changes in arm-common.c are not mentioned
> anywhere, neither is any of arm_option_override_internal.
>
> If we want to keep documentation useful, we shouldn't clutter the generic options
> with target-specific deviations from the default settings. What might be feasible is
> adding a section for each target which describes changes from the default settings.

Agreed.

Richard.

> Wilco
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Prathamesh Kulkarni-2
In reply to this post by Wilco Dijkstra-2
On Wed, 11 Sep 2019 at 11:50, Wilco Dijkstra <[hidden email]> wrote:
>
> While code hoisting generally improves codesize, it can affect performance
> negatively.  Benchmarking shows it doesn't help SPEC and negatively affects
> embedded benchmarks, so only enable code hoisting with -Os on Arm.
>
> Bootstrap OK, OK for commit?
Hi Wilco,
My only concern with the patch is that the issue isn't specific to
code-hoisting.
For this particular case (reproducible with pr77445-2.c), disabling
jump threading
doesn't cause the register spill with hoisting enabled.
Likewise disabling forwprop3 and forwprop4 prevents the spill.
The last time I tried, setting setting
max-jump-thread-duplication-stmts to 20 and
fsm-scale-path-stmts to 3, not only removed the spill but also
resulted in 9 more hoistings,
but regressed some other test on jump threading.
So I was wondering whether we should look into fine-tuning relevant params,
instead of disabling code hoisting entirely (we will end up regressing
some test cases either way) ?

Thanks,
Prathamesh

>
> ChangeLog:
> 2019-09-11  Wilco Dijkstra  <[hidden email]>
>
>
>         PR tree-optimization/80155
>         * common/config/arm/arm-common.c (arm_option_optimization_table):
>         Enable -fcode-hoisting with -Os.
>
> --
> diff --git a/gcc/common/config/arm/arm-common.c b/gcc/common/config/arm/arm-common.c
> index 41a920f6dc96833e778faa8dbcc19beac483734c..b0d5fb300bf01acc1fb6f4631635f8a1bfe6441c 100644
> --- a/gcc/common/config/arm/arm-common.c
> +++ b/gcc/common/config/arm/arm-common.c
> @@ -39,6 +39,8 @@ static const struct default_options arm_option_optimization_table[] =
>      /* Enable section anchors by default at -O1 or higher.  */
>      { OPT_LEVELS_1_PLUS, OPT_fsection_anchors, NULL, 1 },
>      { OPT_LEVELS_1_PLUS, OPT_fsched_pressure, NULL, 1 },
> +    /* Enable code hoisting only with -Os.  */
> +    { OPT_LEVELS_SIZE, OPT_fcode_hoisting, NULL, 1 },
>      { OPT_LEVELS_NONE, 0, NULL, 0 }
>    };
>
>
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Wilco Dijkstra-2
Hi Prathamesh,

> My only concern with the patch is that the issue isn't specific to
> code-hoisting.
> For this particular case (reproducible with pr77445-2.c), disabling
> jump threading
> doesn't cause the register spill with hoisting enabled.
> Likewise disabling forwprop3 and forwprop4 prevents the spill.
> The last time I tried, setting setting
> max-jump-thread-duplication-stmts to 20 and
> fsm-scale-path-stmts to 3, not only removed the spill but also
> resulted in 9 more hoistings,
> but regressed some other test on jump threading.
> So I was wondering whether we should look into fine-tuning relevant params,
> instead of disabling code hoisting entirely (we will end up regressing
> some test cases either way) ?

The point is that -fcode-hoisting is the optimization that made some benchmarks
run significantly slower compared to older GCC versions. It's been more than 2.5
years without progress, so let's just fix it now in the obvious way.

Yes, there are likely better solutions. And if someone writes an acceptable patch
then we can easily enable hoisting again. Surely it is far better to have a fixed
compiler *now* rather than wait a few more years for a solution that has the
same effect but which might not be trivially backportable?

Cheers,
Wilco

Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Richard Biener-2
On Mon, Sep 16, 2019 at 2:59 PM Wilco Dijkstra <[hidden email]> wrote:

>
> Hi Prathamesh,
>
> > My only concern with the patch is that the issue isn't specific to
> > code-hoisting.
> > For this particular case (reproducible with pr77445-2.c), disabling
> > jump threading
> > doesn't cause the register spill with hoisting enabled.
> > Likewise disabling forwprop3 and forwprop4 prevents the spill.
> > The last time I tried, setting setting
> > max-jump-thread-duplication-stmts to 20 and
> > fsm-scale-path-stmts to 3, not only removed the spill but also
> > resulted in 9 more hoistings,
> > but regressed some other test on jump threading.
> > So I was wondering whether we should look into fine-tuning relevant params,
> > instead of disabling code hoisting entirely (we will end up regressing
> > some test cases either way) ?
>
> The point is that -fcode-hoisting is the optimization that made some benchmarks
> run significantly slower compared to older GCC versions. It's been more than 2.5
> years without progress, so let's just fix it now in the obvious way.

The issue with the bugzilla is that it lacked appropriate testcase(s) and thus
it is now a mess.  There are clear testcases (maybe not in the benchmarks you
care about) that benefit from code hoisting as enabler, mainly when control
flow can be then converted to data flow.  Also note that "size optimizations"
are important for all cases where followup transforms have size limits on the IL
in place.

Richard.

> Yes, there are likely better solutions. And if someone writes an acceptable patch
> then we can easily enable hoisting again. Surely it is far better to have a fixed
> compiler *now* rather than wait a few more years for a solution that has the
> same effect but which might not be trivially backportable?
>
> Cheers,
> Wilco
>
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Wilco Dijkstra-2
Hi Richard,

> The issue with the bugzilla is that it lacked appropriate testcase(s) and thus
> it is now a mess.  There are clear testcases (maybe not in the benchmarks you

Agreed - it's not clear whether any of the proposed changes would actually
help the original issue. My patch absolutely does.

> care about) that benefit from code hoisting as enabler, mainly when control
> flow can be then converted to data flow.  Also note that "size optimizations"
> are important for all cases where followup transforms have size limits on the IL
> in place.

The gain from -fcode-hoisting is about 0.2% overall on Thumb-2. Ie. it's definitely
useful, but there are much larger gains to be had from other tweaks [1]. So we can
live without it until a better solution is found.

[1] https://gcc.gnu.org/ml/gcc-patches/2019-07/msg01739.html

Wilco
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Richard Biener-2
On Tue, Sep 17, 2019 at 7:18 PM Wilco Dijkstra <[hidden email]> wrote:

>
> Hi Richard,
>
> > The issue with the bugzilla is that it lacked appropriate testcase(s) and thus
> > it is now a mess.  There are clear testcases (maybe not in the benchmarks you
>
> Agreed - it's not clear whether any of the proposed changes would actually
> help the original issue. My patch absolutely does.
>
> > care about) that benefit from code hoisting as enabler, mainly when control
> > flow can be then converted to data flow.  Also note that "size optimizations"
> > are important for all cases where followup transforms have size limits on the IL
> > in place.
>
> The gain from -fcode-hoisting is about 0.2% overall on Thumb-2. Ie. it's definitely
> useful, but there are much larger gains to be had from other tweaks [1]. So we can
> live without it until a better solution is found.

A "solution" for better eembc benchmark results?

The issues are all latent even w/o code-hoisting since you can do the
same transform at the source level.  Which is usually why I argue
trying to fix this in code-hoisting is not a complete fix.  Nor is turning
off random GIMPLE passes for specific benchmark regressions.

Anyway, it's arm maintainers call if you want to have such hacks in
place or not.

As a release manager I say that GCC isn't a benchmark compiler.

As the one "responsible" for the code-hoisting introduction I say that
as long as I don't have access to the actual benchmark I can't assess
wrongdoing of the pass nor suggest an appropriate place for optimization.

Richard.

>
> [1] https://gcc.gnu.org/ml/gcc-patches/2019-07/msg01739.html
>
> Wilco
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Prathamesh Kulkarni-2
On Wed, 18 Sep 2019 at 01:46, Richard Biener <[hidden email]> wrote:

>
> On Tue, Sep 17, 2019 at 7:18 PM Wilco Dijkstra <[hidden email]> wrote:
> >
> > Hi Richard,
> >
> > > The issue with the bugzilla is that it lacked appropriate testcase(s) and thus
> > > it is now a mess.  There are clear testcases (maybe not in the benchmarks you
> >
> > Agreed - it's not clear whether any of the proposed changes would actually
> > help the original issue. My patch absolutely does.
> >
> > > care about) that benefit from code hoisting as enabler, mainly when control
> > > flow can be then converted to data flow.  Also note that "size optimizations"
> > > are important for all cases where followup transforms have size limits on the IL
> > > in place.
> >
> > The gain from -fcode-hoisting is about 0.2% overall on Thumb-2. Ie. it's definitely
> > useful, but there are much larger gains to be had from other tweaks [1]. So we can
> > live without it until a better solution is found.
>
> A "solution" for better eembc benchmark results?
>
> The issues are all latent even w/o code-hoisting since you can do the
> same transform at the source level.  Which is usually why I argue
> trying to fix this in code-hoisting is not a complete fix.  Nor is turning
> off random GIMPLE passes for specific benchmark regressions.
>
> Anyway, it's arm maintainers call if you want to have such hacks in
> place or not.
>
> As a release manager I say that GCC isn't a benchmark compiler.
>
> As the one "responsible" for the code-hoisting introduction I say that
> as long as I don't have access to the actual benchmark I can't assess
> wrongdoing of the pass nor suggest an appropriate place for optimization.
Hi Richard,
The actual benchmark function for PR80155 is almost identical to FMS()
function defined in
pr77445-2.c, and the test-case reproduces the same issue as in the benchmark.

Thanks,
Prathamesh
>
> Richard.
>
> >
> > [1] https://gcc.gnu.org/ml/gcc-patches/2019-07/msg01739.html
> >
> > Wilco
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Prathamesh Kulkarni-2
On Wed, 18 Sep 2019 at 22:17, Prathamesh Kulkarni
<[hidden email]> wrote:

>
> On Wed, 18 Sep 2019 at 01:46, Richard Biener <[hidden email]> wrote:
> >
> > On Tue, Sep 17, 2019 at 7:18 PM Wilco Dijkstra <[hidden email]> wrote:
> > >
> > > Hi Richard,
> > >
> > > > The issue with the bugzilla is that it lacked appropriate testcase(s) and thus
> > > > it is now a mess.  There are clear testcases (maybe not in the benchmarks you
> > >
> > > Agreed - it's not clear whether any of the proposed changes would actually
> > > help the original issue. My patch absolutely does.
> > >
> > > > care about) that benefit from code hoisting as enabler, mainly when control
> > > > flow can be then converted to data flow.  Also note that "size optimizations"
> > > > are important for all cases where followup transforms have size limits on the IL
> > > > in place.
> > >
> > > The gain from -fcode-hoisting is about 0.2% overall on Thumb-2. Ie. it's definitely
> > > useful, but there are much larger gains to be had from other tweaks [1]. So we can
> > > live without it until a better solution is found.
> >
> > A "solution" for better eembc benchmark results?
> >
> > The issues are all latent even w/o code-hoisting since you can do the
> > same transform at the source level.  Which is usually why I argue
> > trying to fix this in code-hoisting is not a complete fix.  Nor is turning
> > off random GIMPLE passes for specific benchmark regressions.
> >
> > Anyway, it's arm maintainers call if you want to have such hacks in
> > place or not.
> >
> > As a release manager I say that GCC isn't a benchmark compiler.
> >
> > As the one "responsible" for the code-hoisting introduction I say that
> > as long as I don't have access to the actual benchmark I can't assess
> > wrongdoing of the pass nor suggest an appropriate place for optimization.
> Hi Richard,
> The actual benchmark function for PR80155 is almost identical to FMS()
> function defined in
> pr77445-2.c, and the test-case reproduces the same issue as in the benchmark.
Hi,
The attached patch is another workaround for hoisting. The rationale
behind the patch is
to avoid "long range" hoistings  for a "large enough" CFG.

The patch walks dom tree for the block and finds the "furthest" dom
block, for which
intersect_p (availout_in_some, AVAIL_OUT (dom_block)) is true. The
"distance" is measured
in terms of dom depth.

We can have two params say param_hoist_n_bbs to determine "large enough"
CFG, and param_hoist_expr_dist, that avoids hoisting if the "distance"
exceeds the param threshold.
For the values (hardcoded) in the patch, it "works" for avoiding the
spill and does not regress ssa-pre-*.c and ssa-hoist-*.c
tests (the param values could be made target-specific). Does the
approach look reasonable ?
My concern with current version is that walking dom tree per block in
do_hoist_insertion can end up being
pretty expensive. Any suggestions on how we could speed that up ?

Alternatively, we could consider hoisting from "bottom up", one block
at a time, and keep a map to count number of
times an expr is hoisted and refuse hoisting the expr further up if it
exceeds target-specific param threshold ?

Thanks,
Prathamesh

>
> Thanks,
> Prathamesh
> >
> > Richard.
> >
> > >
> > > [1] https://gcc.gnu.org/ml/gcc-patches/2019-07/msg01739.html
> > >
> > > Wilco

pr80155-dist.diff (3K) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Richard Biener-2
In reply to this post by Prathamesh Kulkarni-2
On Wed, Sep 18, 2019 at 6:47 PM Prathamesh Kulkarni
<[hidden email]> wrote:

>
> On Wed, 18 Sep 2019 at 01:46, Richard Biener <[hidden email]> wrote:
> >
> > On Tue, Sep 17, 2019 at 7:18 PM Wilco Dijkstra <[hidden email]> wrote:
> > >
> > > Hi Richard,
> > >
> > > > The issue with the bugzilla is that it lacked appropriate testcase(s) and thus
> > > > it is now a mess.  There are clear testcases (maybe not in the benchmarks you
> > >
> > > Agreed - it's not clear whether any of the proposed changes would actually
> > > help the original issue. My patch absolutely does.
> > >
> > > > care about) that benefit from code hoisting as enabler, mainly when control
> > > > flow can be then converted to data flow.  Also note that "size optimizations"
> > > > are important for all cases where followup transforms have size limits on the IL
> > > > in place.
> > >
> > > The gain from -fcode-hoisting is about 0.2% overall on Thumb-2. Ie. it's definitely
> > > useful, but there are much larger gains to be had from other tweaks [1]. So we can
> > > live without it until a better solution is found.
> >
> > A "solution" for better eembc benchmark results?
> >
> > The issues are all latent even w/o code-hoisting since you can do the
> > same transform at the source level.  Which is usually why I argue
> > trying to fix this in code-hoisting is not a complete fix.  Nor is turning
> > off random GIMPLE passes for specific benchmark regressions.
> >
> > Anyway, it's arm maintainers call if you want to have such hacks in
> > place or not.
> >
> > As a release manager I say that GCC isn't a benchmark compiler.
> >
> > As the one "responsible" for the code-hoisting introduction I say that
> > as long as I don't have access to the actual benchmark I can't assess
> > wrongdoing of the pass nor suggest an appropriate place for optimization.
> Hi Richard,
> The actual benchmark function for PR80155 is almost identical to FMS()
> function defined in
> pr77445-2.c, and the test-case reproduces the same issue as in the benchmark.

So on that code-hoisting identifies the redudnant
transitions[S1]++;
stmts, but only the load and increment because it doesn't hoist stores.
I think that's ultimately useful and would be even profitable if we manage
to hoist the stores as well.  If you have access to the actual benchmark
you can do this transform in the source and measure the effect.

Richard.

> Thanks,
> Prathamesh
> >
> > Richard.
> >
> > >
> > > [1] https://gcc.gnu.org/ml/gcc-patches/2019-07/msg01739.html
> > >
> > > Wilco
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Richard Biener-2
In reply to this post by Prathamesh Kulkarni-2
On Thu, Sep 19, 2019 at 3:28 AM Prathamesh Kulkarni
<[hidden email]> wrote:

>
> On Wed, 18 Sep 2019 at 22:17, Prathamesh Kulkarni
> <[hidden email]> wrote:
> >
> > On Wed, 18 Sep 2019 at 01:46, Richard Biener <[hidden email]> wrote:
> > >
> > > On Tue, Sep 17, 2019 at 7:18 PM Wilco Dijkstra <[hidden email]> wrote:
> > > >
> > > > Hi Richard,
> > > >
> > > > > The issue with the bugzilla is that it lacked appropriate testcase(s) and thus
> > > > > it is now a mess.  There are clear testcases (maybe not in the benchmarks you
> > > >
> > > > Agreed - it's not clear whether any of the proposed changes would actually
> > > > help the original issue. My patch absolutely does.
> > > >
> > > > > care about) that benefit from code hoisting as enabler, mainly when control
> > > > > flow can be then converted to data flow.  Also note that "size optimizations"
> > > > > are important for all cases where followup transforms have size limits on the IL
> > > > > in place.
> > > >
> > > > The gain from -fcode-hoisting is about 0.2% overall on Thumb-2. Ie. it's definitely
> > > > useful, but there are much larger gains to be had from other tweaks [1]. So we can
> > > > live without it until a better solution is found.
> > >
> > > A "solution" for better eembc benchmark results?
> > >
> > > The issues are all latent even w/o code-hoisting since you can do the
> > > same transform at the source level.  Which is usually why I argue
> > > trying to fix this in code-hoisting is not a complete fix.  Nor is turning
> > > off random GIMPLE passes for specific benchmark regressions.
> > >
> > > Anyway, it's arm maintainers call if you want to have such hacks in
> > > place or not.
> > >
> > > As a release manager I say that GCC isn't a benchmark compiler.
> > >
> > > As the one "responsible" for the code-hoisting introduction I say that
> > > as long as I don't have access to the actual benchmark I can't assess
> > > wrongdoing of the pass nor suggest an appropriate place for optimization.
> > Hi Richard,
> > The actual benchmark function for PR80155 is almost identical to FMS()
> > function defined in
> > pr77445-2.c, and the test-case reproduces the same issue as in the benchmark.
> Hi,
> The attached patch is another workaround for hoisting. The rationale
> behind the patch is
> to avoid "long range" hoistings  for a "large enough" CFG.

But that isn't a good heuristic.  The issue with coming up with a good heuristic
is that we'd need to evaluate the effect on register pressure which, on GIMPLE
at least, can be only approximated.  The insertion phase of PRE isn't a good
place to do that, the only place you could reasonably decide on this is
the elimination phase which sees the earlier inserted load and increment
and needs to decide whether to replace the later load and increment with
the loaded value.  But in the end this boils down to do scheduling and
register rematerialization on GIMPLE based on the value graph which is
of course possible but not implemented and if implemented is probably
better done as a standalone pass.

> The patch walks dom tree for the block and finds the "furthest" dom
> block, for which
> intersect_p (availout_in_some, AVAIL_OUT (dom_block)) is true. The
> "distance" is measured
> in terms of dom depth.
>
> We can have two params say param_hoist_n_bbs to determine "large enough"
> CFG, and param_hoist_expr_dist, that avoids hoisting if the "distance"
> exceeds the param threshold.
> For the values (hardcoded) in the patch, it "works" for avoiding the
> spill and does not regress ssa-pre-*.c and ssa-hoist-*.c
> tests (the param values could be made target-specific). Does the
> approach look reasonable ?

As said, not really.  First you only see parts of the expression hoisted;
in the testcase it's *transitions + 1 where you first see _1 = *transition
and then _2 = _1 + 1; if it were *transitions + _3 and _3 dies here then
hoisting doesn't make register pressure worse; if it were _4 + _3 and
both operands die here then hoisting decreases register pressure.

On x86 I don't see any spilling so the other question is whether this
is really a register pressure issue?

> My concern with current version is that walking dom tree per block in
> do_hoist_insertion can end up being
> pretty expensive. Any suggestions on how we could speed that up ?

You can probably use the DFS numbers directly?

> Alternatively, we could consider hoisting from "bottom up", one block
> at a time, and keep a map to count number of
> times an expr is hoisted and refuse hoisting the expr further up if it
> exceeds target-specific param threshold ?

Hoisting piggy-backs on the ANTIC data flow solution so that doesn't work
in the current framework.  In fact the current framework relies on top-down
operation to not hoist things one at a time.

Richard.

> Thanks,
> Prathamesh
> >
> > Thanks,
> > Prathamesh
> > >
> > > Richard.
> > >
> > > >
> > > > [1] https://gcc.gnu.org/ml/gcc-patches/2019-07/msg01739.html
> > > >
> > > > Wilco
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH][ARM] Enable code hoisting with -Os (PR80155)

Joey Ye-5
In reply to this post by Wilco Dijkstra-2
Committed to ARM/arm-9-branch

On Wed, Sep 11, 2019 at 4:50 PM Wilco Dijkstra <[hidden email]> wrote:

>
> While code hoisting generally improves codesize, it can affect performance
> negatively.  Benchmarking shows it doesn't help SPEC and negatively affects
> embedded benchmarks, so only enable code hoisting with -Os on Arm.
>
> Bootstrap OK, OK for commit?
>
> ChangeLog:
> 2019-09-11  Wilco Dijkstra  <[hidden email]>
>
>
>         PR tree-optimization/80155
>         * common/config/arm/arm-common.c (arm_option_optimization_table):
>         Enable -fcode-hoisting with -Os.
>
> --
> diff --git a/gcc/common/config/arm/arm-common.c b/gcc/common/config/arm/arm-common.c
> index 41a920f6dc96833e778faa8dbcc19beac483734c..b0d5fb300bf01acc1fb6f4631635f8a1bfe6441c 100644
> --- a/gcc/common/config/arm/arm-common.c
> +++ b/gcc/common/config/arm/arm-common.c
> @@ -39,6 +39,8 @@ static const struct default_options arm_option_optimization_table[] =
>      /* Enable section anchors by default at -O1 or higher.  */
>      { OPT_LEVELS_1_PLUS, OPT_fsection_anchors, NULL, 1 },
>      { OPT_LEVELS_1_PLUS, OPT_fsched_pressure, NULL, 1 },
> +    /* Enable code hoisting only with -Os.  */
> +    { OPT_LEVELS_SIZE, OPT_fcode_hoisting, NULL, 1 },
>      { OPT_LEVELS_NONE, 0, NULL, 0 }
>    };
>
>