flow dialect ops are allowed inside of stream.executables.
Eventually we can have standardized ops that are not flow specific but
there's no pressing need.
diff --git a/compiler/src/iree/compiler/Dialect/Stream/Transforms/VerifyLowerings.cpp b/compiler/src/iree/compiler/Dialect/Stream/Transforms/VerifyLowerings.cpp
index 062b0e9..e7a535e 100644
--- a/compiler/src/iree/compiler/Dialect/Stream/Transforms/VerifyLowerings.cpp
+++ b/compiler/src/iree/compiler/Dialect/Stream/Transforms/VerifyLowerings.cpp
@@ -280,9 +280,11 @@
verifier.addIllegalDialect("tensor");
verifier.addIllegalDialect("linalg");
- // We don't allow the flow dialect except for inside of executables for which
- // we don't yet have a full mapping to in the stream dialect.
- // TODO(#7277): remove this carveout once we switch over to streams fully.
+ // We don't allow the flow dialect except for inside of executables where
+ // we don't yet have a full mapping to in the stream dialect (and may never).
+ // Ideally we'd not be using the flow ops inside at all at this point but
+ // that'd require some upstream ops (or something in codegen) for the tensor
+ // load and store behaviors as well as the workgroup info.
verifier.addIllegalDialect("flow");
verifier.addRecursivelyLegalOp<IREE::Stream::ExecutableOp>();
}
