IR for FOR loops