const llvm::DenseSet<ResourceHandle> &read_only_vars) {
  return moveLoopInvariantCode(
      loopLike.getLoopRegions(),
      [&](Value value, Region *) {
        return loopLike.isDefinedOutsideOfLoop(value);
      },
      [&](Operation *op, Region *region) {
        return ShouldMoveOutOfRegion(op, region, read_only_vars);
      },
      [&](Operation *op, Region *) { loopLike.moveOutOfLoop(op); });
}

  results.add<WhileResultOperandsMatchAndImplicitCapture>(context);
}

SmallVector<Region*> WhileOp::getLoopRegions() { return {&getBody()}; }

bool WhileOp::isDefinedOutsideOfLoop(Value value) {
  // TODO(jpienaar): This is to overly conservative and disables anything other
  // than constant hoisting initially.
  return false;
}

  // tf.IfOp to scf.If op first and then legalize it to tfl.if to reduce
  // code redundancy.
}

def TFL_WhileOp : Op<TFL_Dialect, "while", [
    DeclareOpInterfaceMethods<LoopLikeOpInterface, ["isDefinedOutsideOfLoop"]>,
    SingleBlockImplicitTerminator<"YieldOp">,
    DeclareOpInterfaceMethods<TFL_RuntimeVerification>]> {
  let summary = [{While loop}];

  let description = [{