tree 7a5d1c19397f95736c3d66e5da85b48d5bef1667
parent 3f657b9e679dc3a9f35f4a9f880f5da02ae86478
author James Price <jrprice@google.com> 1721849102 +0000
committer Dawn LUCI CQ <dawn-scoped@luci-project-accounts.iam.gserviceaccount.com> 1721849102 +0000

[spirv] Fix unreachable in loop continuing blocks

SPIR-V requires that continue blocks are structurally post-dominated
by back-edge blocks, and the presence of OpUnreachable (a function
terminator) can trip up this validation.

Use a transform to replace unreachable instructions nested inside loop
continuing blocks with regular branches.

Fixed: 354627692
Change-Id: Idd6f58e755f761ba8b8c966ac01619df53974177
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/199896
Reviewed-by: David Neto <dneto@google.com>
Commit-Queue: David Neto <dneto@google.com>