Skip to content

aco: consider exec empty after divergent continue then divergent break

For:

loop {
   if (divergent)
      continue
   if (divergent)
      break
   //exec is potentially empty here
   loop {
      if (divergent)
         break
   }
}

If a subset of invocations take the continue and then the rest take the break, then exec will be empty after the break.

Merge request reports