《晋书·宣帝纪》：亮闻大军且至，乃自帅众将芟上邽之麦。诸将皆惧，帝曰：“吾倍道疲惫，此晓兵者之所贪也。亮不敢据渭水，此易与耳。”进次汉阳，与亮相遇，帝列阵以待之。使将牛金轻骑饵之，兵才接而亮退，追至祁山。亮屯卤城，据南北二山，断水为重围。帝攻拔其围，亮宵遁。追击，破之，俘斩万计。
《资治通鉴》：郭淮、费曜等徼亮，亮破之，因大芟刈其麦，与懿遇于上邽之东。懿敛军依险，兵不得交，亮引还。懿后等寻亮至于卤城。张郃曰：“彼远来逆我，请战不得，谓我利不在战，欲以长计制之也。且祁山知大军已在近，情面自固，可止屯于此，分为奇兵，示出这以后，不宜进前而不敢逼，坐失民望也。今亮孤军食少，亦行去矣。”懿不从，故寻亮。既至，又爬山掘营，不愿战。贾栩、魏平数请战，因曰：“公畏蜀如虎，奈全国笑何!”懿病之。诸将咸请战。夏，五月，辛巳，懿乃使张郃攻无当监何平于南围，自案中道向亮。亮使魏延、高翔、吴班逆战，魏兵大北，汉人获甲着三千，懿还保营。六月，亮以粮尽退军。
《资治通鉴》此处记载取自裴注引证的《汉晋春秋》，该书以反曹魏、推重蜀汉为正统记，《晋书》为唐太宗掌管官修，观这以跋文，反有警后世之意，更不或许美化司马懿。
陈寿所著《三国志》诸葛亮、郭淮等人的传里，关于太和五年(231年)的祁山之役，也没提到过诸葛亮曾击破郭淮抢粮成功等事。
《三国志·蜀书·诸葛亮传》：建兴九年(231年)春，亮复出祁山，以木牛运，粮尽退军。与魏将张郃交兵，射杀郃。《三国志·魏书·郭淮传》：五年，蜀出卤城。是时，陇右无谷，议欲关中大运，淮以威恩抚循羌、胡，家使出谷;平其输调，军食用足，转扬武将军。
但是考虑到蜀汉国力自身便微小，消亡时全国军力也只不过十万二千，若诸葛亮此次北伐真的遭受了被斩俘万计这样的重大损失，以街亭之失为鉴，某些蜀汉将领亦或诸葛亮自己理应被问责，但是史籍中却没有记载任何将领被问责。依据《三国志·诸葛亮传》记载，诸葛亮第四次北伐撤离的本质原因依旧是粮尽退军而并非是由于遭受了多么重大损失。《三国志·蜀书·诸葛亮传》：建兴九年(231年)春，亮复出祁山，以木牛运，粮尽退军。与魏将张郃交兵，射杀郃。
且依据《三国志·李严传》的说法，诸葛亮之所以粮尽退军，这其间还有李严运粮不继的原因在内。《三国志·蜀书·李严传》：九年春，亮军祁山，平(此刻李严已改名为李平)催督运事。秋夏之际，值天霖雨，运粮不继，平遣从军狐忠、督军陈藩喻指，呼亮来还;亮承以退军。 [120] 陈寿的《三国志》乃西晋时期编著，亦存在为司马懿隐秘败绩的或许性，此等春秋笔法，不行尽数。因而此战究竟是司马懿打败蜀军，斩俘万计，仍是蜀军曾在卤城打败过司马懿，议论纷纷。
