diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2021-04-28 09:43:02 +0200 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2021-04-28 09:46:22 +0200 |
| commit | 852dd866e2faba95cb407c98d31a48b6aae66677 (patch) | |
| tree | 5fdf04f62c9004fc0406ef82636e0f496ff35fab /gcc/ada/seh_init.c | |
| parent | d91e7eab3a2c3957c2220ad71e62d9fc78cccb9b (diff) | |
| download | gcc-852dd866e2faba95cb407c98d31a48b6aae66677.zip gcc-852dd866e2faba95cb407c98d31a48b6aae66677.tar.gz gcc-852dd866e2faba95cb407c98d31a48b6aae66677.tar.bz2 | |
Fix loss of optimization of array iteration due to inlining
This helps loop-invariant motion to hoist complicated offset computations.
gcc/ada/
* gcc-interface/trans.c (language_function): Add comment.
(loop_info_d): Add fndecl and invariants fields.
(find_loop_for): Test fndecl instead of the context of var.
(find_loop): New function.
(Regular_Loop_to_gnu): Fold back into...
(Loop_Statement_to_gnu): ...this. Emit invariants on entry, if any.
(gnat_to_gnu) <N_Selected_Component>: Record nonconstant invariant
offset computations in loops when optimization is enabled.
* gcc-interface/utils2.c (gnat_invariant_expr): Handle BIT_AND_EXPR.
gcc/testsuite/
* gnat.dg/opt93.ads, gnat.dg/opt93.adb: New test.
Diffstat (limited to 'gcc/ada/seh_init.c')
0 files changed, 0 insertions, 0 deletions