Shouldn't a loop body be illegal if it uses the induction variable? https://github.com/pulp-platform/snitch-llvm/blob/f2821c40cde47502675d4b2ce01f37b17242981f/llvm/lib/Target/RISCV/Snitch/SNITCHFrepLoops.cpp#L715-L719