《资治通鉴·卷第七十二》记载：郭淮、费曜等徼亮，亮破之，因大芟刈其麦，与懿遇于上邽之东。懿敛军依险，兵不得交，亮引还。懿等寻亮后至于卤城。张郃曰：“彼远来逆我，请战不得，谓我利不在战，欲以长计制之也。且祁山知大军已在近，人情自固，可止屯于此，分为奇兵，示出其后，不宜进前而不敢逼，坐失民望也。今亮孤军食少，亦行去矣。”懿不从，故寻亮。既至，又登山掘营，不肯战。贾诩、魏平数请战，因曰：“公畏蜀如虎，奈天下笑何！”懿病之。诸将咸请战。夏，五月，辛已，懿乃使张郃攻无当监何平于南围，自案中道向亮。亮使魏延、高翔、吴班逆战，魏兵大败，汉人获甲着三千，懿还保营。六月，亮以粮尽退军，司马懿遣张郃追之。郃进至木门(今甘肃天水西南)，与亮战，蜀人乘高布伏，弓弩乱发，飞矢中郃右膝而卒。