十二年春，亮悉大众由斜谷出，以流马运，据武功五丈原，与司马宣王对于渭南。