tf_executor.yield
          }
          tf_executor.fetch %control : !tf_executor.control
        }
        return
      }
    ```
  }];
}

def StackOpsDecompositionPass : Pass<"tf-stack-ops-decomposition", "ModuleOp"> {
  let summary = "Decompose stack operations into local variable operations. Needs "
           "static shapes.";