================ @@ -0,0 +1,48 @@ +; REQUIRES: asserts +; RUN: opt <%s -p "loop(loop-idiom)" -verify-scev -o /dev/null ---------------- fhahn wrote: You might as well check the IR output and remove `REQUIRES: asserts` https://github.com/llvm/llvm-project/pull/150916