#include <stdio.h> #include "ImC/imc_extension.h" int __imc_get_loop_pass_count(int loop_id) { // printf("__imc_get_loop_pass_count() called\r\n"); #if(imcENABLE_STATIC_LOOP_PASS_COUNT) return imcLOOP_PASS_COUNT; #else return 0; #endif }