}
    if (changed) {
      rewriter.finalizeOpModification(f);
      return success();
    } else {
      rewriter.cancelOpModification(f);
      return failure();
    }
  }
};

class HandleIf : public OpRewritePattern<TF::IfOp> {
  // Optional-agnostic pattern that propagates types across the program.
  using OpRewritePattern::OpRewritePattern;

  LogicalResult adjustBranch(TF::IfOp ifop, func::FuncOp branch,

	h.gp = gp
	// gp may not be running right now, but we can still get the M
	// it will run on since it's locked.
	h.mp = gp.lockedm.ptr()
	h.fv, h.regArgs, h.argp, h.argSize = fv, regArgs, argp, argSize
	h.handleF = h.handle // Avoid allocating closure during signal

	defer func() { testSigtrap = nil }()
	for i := 0; ; i++ {
		testSigtrap = h.inject
		noteclear(&h.done)
		h.err = ""

		if err := tkill(tid); err != nil {