The program adpcm contains 27 loops, some of them are context sensitive.

The number of iterations of the loops in the program is input dependent. There are 83 global variables influencing control flow.

When the program is run as is the result is: 

No. of iterations for main_L1 = 2
No. of iterations for main_L2 = 2
No. of iterations for main_L3 = 2
Maximum no. of iterations per invocation for main_L3_decode1_L2 is 10, sum is 20
Maximum no. of iterations per invocation for main_L3_decode1_L1 is 10, sum is 20
Maximum no. of iterations per invocation for main_L3_decode1_filtez3_L1 is 5, sum is 10
Maximum no. of iterations per invocation for main_L3_decode1_filtez4_L1 is 5, sum is 20
Maximum no. of iterations per invocation for main_L3_decode1_upzero3_L1 is 6, sum is 6
Maximum no. of iterations per invocation for main_L3_decode1_upzero3_L2 is 6, sum is 6
Maximum no. of iterations per invocation for main_L3_decode1_upzero4_L1 is 6, sum is 6
Maximum no. of iterations per invocation for main_L3_decode1_upzero4_L2 is 6, sum is 6
Maximum no. of iterations per invocation for main_L2_encode1_L1 is 10, sum is 20
Maximum no. of iterations per invocation for main_L2_encode1_L2 is 22, sum is 44
Maximum no. of iterations per invocation for main_L2_encode1_filtez1_L1 is 5, sum is 10
Maximum no. of iterations per invocation for main_L2_encode1_filtez2_L1 is 5, sum is 10
Maximum no. of iterations per invocation for main_L2_encode1_quantl1_L1 is 30, sum is 31
Maximum no. of iterations per invocation for main_L2_encode1_upzero1_L1 is 6, sum is 6
Maximum no. of iterations per invocation for main_L2_encode1_upzero1_L2 is 6, sum is 6
Maximum no. of iterations per invocation for main_L2_encode1_upzero2_L1 is 6, sum is 6
Maximum no. of iterations per invocation for main_L2_encode1_upzero2_L2 is 0, sum is 0
Maximum no. of iterations per invocation for main_L1_my_cos1_my_sin1_L3 is 2424, sum is 3273
Maximum no. of iterations per invocation for main_L1_my_cos1_my_sin1_L2 is 999, sum is 999
Maximum no. of iterations per invocation for main_L1_my_cos1_my_sin1_L1 is 0, sum is 0
No. of iterations for main_reset1_L4 = 11
No. of iterations for main_reset1_L3 = 23
No. of iterations for main_reset1_L2 = 6
No. of iterations for main_reset1_L1 = 6