图像分析中常见的使用Conditional Remove的优化类型（2）：Array Reduction

另一种常见的类型属于Array Reduction。

 A reduction combines array section elements to generate a scalar result.（利用向量得到某些标量结果）

此种类型常见的有：

1. 单个向量求和（水平投影？），
2. 两个向量求点积（只支持TSint16、TUchar8和TSchar8），
3. 求单个向量内元素中的最大、最小值及其对应下标。

特别是通过遍历整个向量来寻得最大、最小值及其下标的过程，其实就是选择排序。对于TSint32类型的数组其代码如下

//test_min_s16_s16_s32 int i = 0; short s16_src[2048]; short min_val = 0; for(i=0;i<2048;i++)//existence of vector dependence. { if(min_val > s16_src[i]) { min_val = s16_src[i]; } } //test_min_u8_s16_s32 int i = 0; unsigned char u8_src[2048]; short min_val = 0; for(i=0;i<2048;i++)//existence of vector dependence { if(min_val > u8_src[i]) { min_val = u8_src[i]; } } //test_min_s16_s32_s32 int i = 0; short s16_src[2048]; int min_val = 0; for(i=0;i<2048;i++)//LOOP WAS VECTORIZED. { if(min_val > s16_src[i]) { min_val = s16_src[i]; } } //test_min_u8_s32_s32 int i = 0; unsigned char u8_src[2048]; int min_val = 0; for(i=0;i<2048;i++)// LOOP WAS VECTORIZED. { if(min_val > u8_src[i]) { min_val = u8_src[i]; } }

此时，ICC可以轻松将上面的代码像Array clip那样，利用pcmpgtd和一系列逻辑操作进行向量化，但是如果都改成short，则无法进行自动向量化。这个问题到现在都没有解决，但是从经验可以得知，这种Reduction运算，无论向量是那种类型，所有标量，比如sum, max_val, max_idx, min_val, min_idx的类型都要定义成TSint32（涉及下标时，循环的计数器也要定义成TSint32），才能使ICC11.1成功自动向量化。