diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-28 13:52:38 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-28 16:07:29 +0200 |
| commit | 78183a155b833ded168e9f72055a8a0f01a5ad46 (patch) | |
| tree | b0dc9f4b34dc0de74d84b30d79c7c9c5ace1ab42 /validation/optim | |
| parent | dcb199646134ae0d264c72175a9ad8314f7836c8 (diff) | |
| download | sparse-dev-78183a155b833ded168e9f72055a8a0f01a5ad46.tar.gz | |
better check validity of phi-sources
Transformations made by try_to_simplify_bb() are invalid if
there isn't a one-to-one correspondence between the BB's parents
and the phi-sources of the phi-node(s) in the BB.
This correspondence is currently checked by checking if the number
of phi-sources and the number of parent are equal, but this is
only an approximation.
Change this check into an exact one, using the fact that BBs in
the parent list and phi-sources in the phi_list are in the same order.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim')
0 files changed, 0 insertions, 0 deletions