[参考译文] 编译器/TMS320C6657：循环优化

双手投票赞成George的建议。 嵌套取消引用是第一件要删除的事情。 我确实确认，在我过去的经验中，类似的数组是嵌套结构的成员，使用限制限定条件创建指向实际数据的本地指针，这对我有很大帮助。

george mock 说：

尝试创建scal_res2和res2局部变量，并限制修改它们。

这确实为我节省了很多周期！

下面是我所做的：

Word16 * restrict pres2；
Word16 * restrict pscal_res2；

pres2 = pG729A解码器->Postfilt.res2；
pscal_res2 = pG729A解码器->Postfilt.scal_res2;

。
。
。

用于(j=0；j<L_SUBFR；j++)
｛
	pscal_res2[j]= pres2[j]>>2;
} 

根据性能分析信息，我可以验证包含循环的函数的周期数是否已减少。 但是，在进行此修改后，.asm文件不会显示此循环的任何软件管道信息。  

您知道为什么会发生这种情况吗？

谢谢！

Negin  

NegIN 说：

您知道发生这种情况的原因吗？[/QUOT]

很遗憾，不是  请提交我上一篇文章中描述的测试案例。

谢谢，此致，

-George

George Mock 说：

请提交我上一篇文章中描述的测试案例。[/QUOT]

我已附加预处理文件。

编译器版本：8.1 .................................................................4.

编译器选项：

c:\\ti\\csv6\\utils\\bin\\gme"-k src="/POSTFILT.obj"building
file: c:/.../POSTFsrc.C'
'invoking: C6000 Compiler'
"C：/ti/ccsvsv6/tools/ti-CGt_pg_pg_premot_ipel=-f6600_compt_profilel_-c_ipel_ipel_in=-f_ipf_intr_ipel_f=-f=-f_j_f_ji_f_ji=-c=-fi_c=-fi_compt_c=-fi_c_jipel_f_f_f_f_c=-f6600_c_c_c_julf_c_c=-f_c_jipel_c_c=f_julf_c=-f_c_c_c_rebipio/f_c_c_c_c_c_c=-f_c_julf_c_c_c_ 8.1 8.1
(性能)如果您知道此循环将始终以<20>的倍数且至少<20>次执行，请尝试在循环之前添加"#pragma must迭代(20，20)"。
"C：/.../POSTFILT.C"，第158行：建议#3.0009万：(性能)如果您知道此循环将始终以<42>的倍数且至少<42>次执行，请尝试在循环之前添加"#pragma must迭代(42，42)"。
'完工建筑：C：/.../POSTFILT.C'
'' 

谢谢！

Negin

e2e.ti.com/.../POSTFILT.txt

rrlagic 说：

为此，您需要确保并告知编译器您的数据指针已对齐。

感谢您的评论！ 我尝试按照您的建议使用nassert：

_nassert (((Word16) pres2 % 8 == 0)；
_nassert(((Word16) pscal_res2 % 8 ==0)；
#pragma must迭代(40，40，40)
#pragma展开(8) 

用于(j=0；j<L_SUBFR；j++)
｛
	pscal_res2[j]= pres2[j]>>2;
} 

不添加pragma和nassert的函数的平均循环数为2031。

添加nassert后，它增加到2115，但包括pragma (使用nassert)后，它减少到1940。

我仍然无法在.asm文件中看到任何软件管道信息(甚至不是“不合格循环”)，这就好像连循环都不被识别为循环。

您认为我可以进一步优化环路吗？ 我已在上一篇帖子中提交了测试案例，并希望您提供建议。

谢谢！

Negin

NegIN 说：

我尝试按照您的建议使用nassert [/QUOT]

实际上，这会导致函数产生错误的结果。 我还收到以下警告：

#770-D从指针转换为较小的整数 

如何解决此问题有什么想法？

谢谢！

Negin

Keith Barkley 说：

指针是否为16位？[/QUOT]

它们是32位：

您好！

正如George建议的那样，循环可能会完全展开。 我无法在测试中再现这种情况。 但是，循环计数报告是由函数的其余部分而不是所考虑的循环引起的。 加载，移动，存储-是非常简单的顺序，并受益于SIMD的使用。 我期待着SHR2的指示，但我已经老了，现在事情变得更好了。 考虑片段：

#pragma FUNC_Cannot内联( mytest )；
#pragma function_options ( mytest,"--opt_level3--opt_for_speed5")；

void mytest(void)
{
const Int16 * restrict src =(Int16 *) mysrc；
Int16 *限制DST =(Int16 *) mydst；
int i；

_nassert (((int) src % 8 ==0)；
_nassert (((int) dst % 8 ==0)；
#pragma must迭代(40，40，40)

对于(i = 0；i < 40；I++)
DST[I]= src [I]>> 2;
} 

此零件的装配体如下所示：

我的测试：
;**------------------ *;*
1304--------------------------- 	C1美元=有源;;*1304------------------
	src =(int (*)[14][1200])C1美元+1.9712万;;;*1305---------------</s>1305
	dst =(int (*)[14][1200])C1美元+2.4512万;;;**-----------
	U15美元 =(短持续时间(*)[4]) src；
;**------------------ 	U18美元 =(短(*)[4])DST；
;*1312	--------------------------- L1美元=10;;**------------------
	#pragma must迭代(10，10，10)
;**	--------------------------- //以下循环按系数(4)展开
;**------------------ 	#pragma loop_flags(4098u)
;**------------------ 	G2：
;* 13.1313万--------------- 	*U18美元++{8}=_dshr2(*U15美元++{8}，2)；
;*1312	--------------------------- 如果( L1美元 = L1美元-1 )转到G2;;;**------------------
	返回； 

大家可以看到，循环的结构非常简单，这一点通过流水线信息得到了确认

;* 循环展开多个 ：4x
；* 已知最小行程计数 ：10.
;* 已知最大行程计数 ：10.
;* 已知最大跳闸计数因子 ：10
；* 循环带依赖关系绑定(^):0
;* 未分区的资源绑定 ：1
；* 分区资源绑定(*)：1;*
资源分区：
;* A侧B侧
;* .L单位 0 0
;* .S单位 0 1*;*
D单位 1* 1*;*
M单位 0 0
;* X交叉路径 0 1*;*
.T地址路径 1* 1*;*
长读取路径 0 0
;* 长写入路径 0 0
;* 逻辑操作(.lS) 0 0 (.L或.S单位)
;* 附加操作(.LSD) 0 0 (.L或.S或.D单位)
;* Bound (.L .S .LS) 0 1*;*
Bound (.L .S .D .LS .LSD) 1* 1*;*;*

正在搜索软件管道计划...
;* II =1并联7次迭代的计划
;* 完成
;*;*
循环将被上载
;* 折叠的脱毛阶段 ：0
；* 折叠的Prologue阶段 ：0
；* 所需的最小内存垫：0字节
；*
；* 最小安全跳闸计数 ：1 (展开后)
;*------------------ *
$C$L43:;管道循环PROLOGUE

SPLOOPD 1. ；7. ;(P)||
MVC S2 B7,ILC

;**------------------ *
$C$L44：；管道循环内核
$C$DW$L$mytest3美元$B：
LDDW .d1T1 * A3++，A5：A4 ;|1313|(P)<0,0>
无操作 4.
DSHR2 .S2X A5：A4，2，B5：B4 ;|1313|(P)<0,5>

SPKERNEL 6,0||
STDW .d2T2 B5：B4，* B6++ ;|1313|<0,6>$C$DW$L$mytest3美元$E:;**------------------


*$C$L45:
;管道环EPILOGUE;**------------------
* 

我希望它能成对运行，但它只需四个步骤就能处理它们！ 因此，对于10个未滚动的行程计数，应该只需几十个周期即可完成。 未滚动的版本可能会更快。 我会检查其他功能的性能。

至于您看到的警告，它与_nassert()中的类型转换有关。 如果按住Ctrl键并单击以查找其声明，您将看到

extern _code_access void _nassert (int)； 

这是警告的根本原因。 您必须转换到(int)。