codegen: codegen_dotimes: pass loopidx and introduce retf