随着应用对处理器性能需求日益提高,超标量和深流水线已经成为当前嵌入式处理器的主流技术。但程序中普遍存在的条件分支是破坏超标量和深流水线连续运行的主要原因,由条件分支指令造成的流水线性能损失已经成为制约处理器性能提升的主要瓶颈,为了减少条件分支造成的流水线性能损失,现代处理器普遍采用分支预测技术。分支测技术在经过了2bit分支预测器,全局/局部历史分支预测器,Gshare分支预测器,神经网络分支预测器的发展后,现在已经日益成熟。为寻找进一步制约分支预测准确率的因素,本文对函数调用返回与分支预测的关系进行了理论和实验两方面的深入研究,主要内容如下:首先总结了国内外对这一课题的发展方向,主要体现在分支预测算法的发展过程和在各个发展阶段遇到的问题,以及解决问题的办法。重点介绍了神经网络分支预测器以及目前提高分支预测准确率的种种努力,提出了研究方向。其次,通过对函数调用和返回过程的深入分析,指出了函数调用返回过程中的分支别名现象,并对此提出了解决方案——离散函数调用分支别名的方法。在提出一种高效的算法仿真平台后,根据具体的实验,验证了离散函数调用的分支别名方法确实能够提高分支预测的准确率。然后,以CKCORE处理器为应用背景,对离散函数调用分支别名的神经网络方法进行了硬件实现,并利用system verilog平台对硬件实现进行了验证,进而讨论了新的验证工作带来的验证平台的变化。最后,总结全文,给出了现有消除函数调用分支别名方法继续改进发展的方向。