tree 983a39e51cf48bb72bcbe552c5cbd39b888a1565
parent ff7c293141a9c60b31fd7ffe907af136661c54e1
author David Neto <dneto@google.com> 1618862072 +0000
committer Commit Bot service account <commit-bot@chromium.org> 1618862072 +0000

spriv-reader: handle loop-header with internal divergence

Handle the case where the OpBranchConditional in a loop header
branches to two distinct blocks inside the loop construct.
This is an if-selection in disguise.

Create an kIfSelection with the same set of blocks as the kLoop,
and with the continue target as the merge.

Fixed: tint:524
Change-Id: I5150d19a2b4388da409e2da6e68ffafdc5d21a9a
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/47560
Commit-Queue: David Neto <dneto@google.com>
Auto-Submit: David Neto <dneto@google.com>
Reviewed-by: Alan Baker <alanbaker@google.com>