aco: consider blocks unreachable if they are in the logical cfg
authorRhys Perry <pendingchaos02@gmail.com>
Mon, 27 Apr 2020 12:53:59 +0000 (13:53 +0100)
committerMarge Bot <eric+marge@anholt.net>
Wed, 29 Apr 2020 11:07:09 +0000 (11:07 +0000)
commit9392ddab4399d796fdf37602f586965ec17f2b2a
treefdd49a00c3df3950fcd930904c6037ce289f9cd3
parent98675d34c115e3a8db9b6b74e8eca01af5fff101
aco: consider blocks unreachable if they are in the logical cfg

unreachable was true if the last block is unreachable in the linear cfg,
but it should also be true if it is unreachable in the logical cfg.

Fixes dEQP-VK.graphicsfuzz.for-with-ifs-and-return

Signed-off-by: Rhys Perry <pendingchaos02@gmail.com>
Fixes: 8d8c864beba399ae4ee2267f680d1f600ad32767
    ('aco: improve check for unreachable loop continue blocks')

Reviewed-by: Daniel Schürmann <daniel@schuermann.dev>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4764>
.gitlab-ci/deqp-radv-fiji-aco-fails.txt
.gitlab-ci/deqp-radv-navi10-aco-fails.txt
.gitlab-ci/deqp-radv-pitcairn-aco-fails.txt
.gitlab-ci/deqp-radv-polaris10-aco-fails.txt
.gitlab-ci/deqp-radv-vega10-aco-fails.txt
src/amd/compiler/aco_instruction_selection.cpp