================
@@ -220,6 +220,31 @@ def LoopLikeOpInterface :
OpInterface<"LoopLikeOpInterface"> {
/*defaultImplementation=*/[{
return ::mlir::failure();
}]
+ >,
+ InterfaceMethod<[{
+ Add a zero-trip-check around the loop to check if the loop body is ever
+ run and return the new loop inside the check. The loop body is moved
----------------
matthias-springer wrote:
This sounds like an implementation detail. Can an implementation choose to move
over the loop? I think this would be easier for `scf.for`. In that case I would
just write that the returned loop could be the same loop (moved) or a new loop
(and the the old loop is erased).
https://github.com/llvm/llvm-project/pull/80331
_______________________________________________
lldb-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-commits
