// If a name is in this map, it is allowed only in listed packages,
// even if it has a linknamed definition.
var blockedLinknames = map[string][]string{
	// coroutines
	"runtime.coroswitch": {"iter"},
	"runtime.newcoro":    {"iter"},
	// weak references
	"internal/weak.runtime_registerWeakPointer": {"internal/weak"},
	"internal/weak.runtime_makeStrongFromWeak":  {"internal/weak"},
}

				runTests: "SystemRoots",
				env:      []string{"GOOS=ios", "CGO_ENABLED=1"},
				pkg:      "crypto/x509",
			})
	}

	// GOEXPERIMENT=rangefunc tests
	if !t.compileOnly {
		for _, pkg := range []string{"iter", "slices", "maps"} {
			t.registerTest("GOEXPERIMENT=rangefunc",
				&goTest{
					variant: pkg,
					short:   t.short,
					env:     []string{"GOEXPERIMENT=rangefunc"},
					pkg:     pkg,
				})
		}

    // We're expecting the original model to have a single CollectiveGatherV2Op
    // that gets split into 3 copies in the start_step_0, start_step_1 and
    // new_while_body functions. We use global iter id to set the instance key.
    // Therefore, we add an offset to the output of the global_iter_id_op to
    // make sure the instance keys are unique among them we replace the original
    // instance key as:

					q->pcond = q->link->link;
					bflag = 1;
				}
			}
			*/
			opc = int32(p.Pc)
			m = int(o.size)
			if p.Pc != int64(opc) {
				bflag = 1
			}

			//print("%v pc changed %d to %d in iter. %d\n", p, opc, (int32)p->pc, times);
			pc = int32(p.Pc + int64(m))

			if m%4 != 0 || p.Pc%4 != 0 {
				ctxt.Diag("pc invalid: %v size=%d", p, m)
			}

			if m/4 > len(out) {