66 // That is because we can compute the loop trip count
96 // expression 'count' in order to simplify the control
98 __attribute__((optnone)) int loop_rotate_test(int *src, unsigned count) {  in loop_rotate_test()  argument
101   while (count) {  in loop_rotate_test()
102     result += src[count - 1]; // DexLabel('target_loop_rotate_test')  in loop_rotate_test()
103     count--;  in loop_rotate_test()
109 // DexExpectWatchValue('src[count]', 13, on_line=ref('target_loop_rotate_test'))
119   unsigned count = 0;  in loop_vectorize_test()  local
123   while(count != 16) { // DexLabel('target_loop_vectorize_test')  in loop_vectorize_test()
124     tempArray[count] = src[count];  in loop_vectorize_test()
125     tempArray[count+1] = src[count+1]; // DexLabel('target_loop_vectorize_test_2')  in loop_vectorize_test()
126     tempArray[count+2] = src[count+2]; // DexLabel('target_loop_vectorize_test_3')  in loop_vectorize_test()
127     tempArray[count+3] = src[count+3]; // DexLabel('target_loop_vectorize_test_4')  in loop_vectorize_test()
128     dest[count] = tempArray[count]; // DexLabel('target_loop_vectorize_test_5')  in loop_vectorize_test()
129     dest[count+1] = tempArray[count+1]; // DexLabel('target_loop_vectorize_test_6')  in loop_vectorize_test()
130     dest[count+2] = tempArray[count+2]; // DexLabel('target_loop_vectorize_test_7')  in loop_vectorize_test()
131     dest[count+3] = tempArray[count+3]; // DexLabel('target_loop_vectorize_test_8')  in loop_vectorize_test()
132     count += 4; // DexLabel('target_loop_vectorize_test_9')  in loop_vectorize_test()
136 // DexLimitSteps('count', 4, 8, 12, 16, from_line=ref('target_loop_vectorize_test'), to_line=ref('t…
137 // DexExpectWatchValue('tempArray[count] == src[count]', 'true', on_line=ref('target_loop_vectorize…
138 // DexExpectWatchValue('tempArray[count+1] == src[count+1]', 'true', on_line=ref('target_loop_vecto…
139 // DexExpectWatchValue('tempArray[count+2] == src[count+2]', 'true', on_line=ref('target_loop_vecto…
140 // DexExpectWatchValue('tempArray[count+3] == src[count+3]', 'true', on_line=ref('target_loop_vecto…
141 // DexExpectWatchValue('dest[count] == tempArray[count]', 'true', on_line=ref('target_loop_vectoriz…
142 // DexExpectWatchValue('dest[count+1] == tempArray[count+1]', 'true', on_line=ref('target_loop_vect…
143 // DexExpectWatchValue('dest[count+2] == tempArray[count+2]', 'true', on_line=ref('target_loop_vect…
144 // DexExpectWatchValue('dest[count+3] == tempArray[count+3]', 'true', on_line=ref('target_loop_vect…
155   int count = counting_loop(16);  in main()  local
156   count += loop_rotate_test(B, 16);  in main()
159   return A[0] + count;  in main()