akshayrdeodhar wrote: @Artem-B - I've split the tests into three files. For the emulated loops, having all 3 checks in the same file might make things ugly (and hard to look at?) The tests might be a pain, I'm looking for better ideas. https://github.com/llvm/llvm-project/pull/126159