diff options
author | Aldy Hernandez <aldyh@redhat.com> | 2021-10-14 15:00:46 +0200 |
---|---|---|
committer | Aldy Hernandez <aldyh@redhat.com> | 2021-10-14 15:43:41 +0200 |
commit | 27dea0b42c773a53817960d006160642892fe145 (patch) | |
tree | f6cc4ef30055858562d1725a793b99b4e41b3aa2 /gcc/ggc-none.c | |
parent | ebdf180e15d0ae18bfcb2bd822d7f096743cd4fb (diff) | |
download | gcc-27dea0b42c773a53817960d006160642892fe145.zip gcc-27dea0b42c773a53817960d006160642892fe145.tar.gz gcc-27dea0b42c773a53817960d006160642892fe145.tar.bz2 |
Add FIXME note to backward threader.
There's a limitation in the path discovery bits in the backward
threader that I ran into recently and I'd like to document it so we
don't lose track of it.
Basically we stop looking if we find a threadable path through a PHI,
without taking into account that there could be multiple
paths through a PHI that resolve the path. For example:
x_5 = PHI <10(4), 20(5), ...>
if (x_5 > 5)
I don't remember how we ended up skipping this, but it could existing
behavior from the old bits. It probably skipped multiple threads
through a PHI since the generic copier couldn't re-using existing
threading paths anyhow.
Documenting for later fixing.
gcc/ChangeLog:
* tree-ssa-threadbackward.c (back_threader::resolve_phi): Add
FIXME note.
Diffstat (limited to 'gcc/ggc-none.c')
0 files changed, 0 insertions, 0 deletions