// Implementation for all the operations defined in ODS (op definition spec).
//===----------------------------------------------------------------------===//

namespace {

// Verifies that every control operands are at the end of the list.
// Used by the constraint `ControlOperandsAfterAllData` in ODS.
LogicalResult VerifyControlOperandsAfterAllData(Operation *op) {
  bool found_control = false;

application/vnd.ms-powerpoint=powerpoint\n\
application/vnd.openxmlformats-officedocument.presentationml.presentation=powerpoint\n\
application/vnd.oasis.opendocument.text=odt\n\
application/vnd.oasis.opendocument.spreadsheet=ods\n\
application/vnd.oasis.opendocument.presentation=odp\n\
application/pdf=pdf\n\
application/x-fictionbook+xml=fb2\n\
application/e-pub+zip=epub\n\
application/x-ibooks+zip=ibooks\n\
text/plain=txt\n\

  // expected-remark@above {{Sinks: {24}}}
}

// -----

// Tests that the pass tracks control dependencies based on TF op registry
// statefulness flag, for ops not yet defined in ODS.

// CHECK-LABEL: func @tf_registry_ops
func.func @tf_registry_ops(
  // expected-remark@above {{ID: 8}}
  %arg0: tensor<!tf_type.string>, %arg1: tensor<!tf_type.string>) {
  tf_executor.graph {

     * application/vnd.openxmlformats-officedocument.presentationml.presentation=powerpoint<br>
     * application/vnd.oasis.opendocument.text=odt<br>
     * application/vnd.oasis.opendocument.spreadsheet=ods<br>
     * application/vnd.oasis.opendocument.presentation=odp<br>
     * application/pdf=pdf<br>
     * application/x-fictionbook+xml=fb2<br>
     * application/e-pub+zip=epub<br>

        <match type="string" offset="30"
               value="mimetypeapplication/vnd.oasis.opendocument.spreadsheet"/>
      </match>
    </magic>
    <glob pattern="*.ods"/>
    <sub-class-of type="application/zip"/>
  </mime-type>

  <mime-type type="application/vnd.oasis.opendocument.spreadsheet-template">
    <alias type="application/x-vnd.oasis.opendocument.spreadsheet-template"/>