ysyx:测试永远不够

  尽管指令匹配的部分早就已经完成,但这并不代表代码方面就不会再检测出漏洞。cpu-test这个测试集文件夹里面的测试代码只是覆盖了一部分内容,即使是全部通过,你的代码也仍有可能是错误的。

  当我在处理其他内容时,突然间nemu就卡在了代码某处提示地址错误。重新打开difftest,定位到某处jal跳转发生问题,PC寄存器的参考值和实际值不对应。此时问题就来了:难道是我的指令写的有问题?但是这些都是检验过的指令,为什么会报错?

  多次检查之后才发现,原来是补充的J型立即数的符号拓展宏一处代码写错了。本来是BITS(30,21),失误写成了BITS(31,21)。 就是这一处错误,导致nemu遇到这条特殊的jal指令时不能正确拓展立即数,导致最终跳转地址计算错误。而在之前的指令测试环节,测试集里所有的jal指令都很巧的在这个bit上没有出现立即数拓展问题,导致这个问题被掩盖了起来,直到今天才发现并修补。所以,随时做好自己以前写过的代码会被测试环节发掘出新问题的准备。此外,我们也可以意识到,对待一个大工程,测试真的是一个十分重要的环节。比如用来快速定位寄存器问题的difftest,在测试方面做好基础工程真的能省下大量debug时间,节省很多功夫。包括itrace mtrace ftrace dtrace等,早点完成对后续开发有很大帮助。

posted @ 2024-07-30 23:45  namezhyp  阅读(28)  评论(0编辑  收藏  举报