public static void EstablishDisabledLoops(GPUVerifier verifier, Implementation impl)
{
foreach (var region in verifier.RootRegion(impl).SubRegions())
{
if (!AccessesGlobalArrayOrUnsafeBarrier(region, verifier))
{
verifier.AddRegionWithLoopInvariantsDisabled(region);
}
}
}