projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f0b6a9) | patch
Kill known equivalences before a new assignment in the path solver.
authorAldy Hernandez <aldyh@redhat.com>
Wed, 27 Oct 2021 16:22:16 +0000 (18:22 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Wed, 27 Oct 2021 18:15:00 +0000 (20:15 +0200)
commitaeb10f8d2a6e1267c981a62dc8163af3b7607797
tree00fcd3989eab2d835a6c1ae900994f804df50332tree | snapshot
parent2f0b6a971a051f6e687a15dd2fa4bf431381e551commit | diff
Kill known equivalences before a new assignment in the path solver.

Every time we have a killing statement, we must also kill the relations
seen so far.  This is similar to what we did for the equivs inherent in
PHIs along a path.

Tested on x86-64 and ppc64le Linux.

gcc/ChangeLog:

* gimple-range-path.cc
(path_range_query::range_defined_in_block): Call killing_def.
gcc/gimple-range-path.cc diff | blob | history
Domain: System / Toolchain;