①漢晉春秋曰：亮圍祁山，招鮮卑軻比能，比能等至故北地石城以應亮。於是魏大司馬曹真有疾，司馬宣王自荊州入朝，魏明帝曰：“西方事重，非君莫可付者。”乃使西屯長安，督張鄰、費曜、戴陵、郭淮等。宣王使曜、陵留精兵四千守上邽，餘眾悉出，西救祁山。郃欲分兵駐雍、郡，宣王曰：“抖前軍能獨當之者，將軍言是也；若不能當而分為前後，此楚之三軍所以為黥布禽也。”遂進。亮分兵留攻，自逆宣王於上邽。郭淮、費曜等徼亮。亮破之，因大芟刈其麥，與宣王遇於上邽之東，斂兵依險，軍不得交，亮引而還。宣王尋亮至於鹵城。張郃曰：“彼遠來逆我，請戰不得，謂我利在不戰，欲以長計製之也。且祁山知大軍以在近，人情自固，可止屯於此，分為奇兵，示出其後，不宜進前而不敢逼，坐失民望也。今亮縣軍食少，亦行去矣。”宣王不從，故尋亮。既至，又登山掘營，不肯戰。賈栩、魏平數請戰，因曰：“公畏蜀如虎，奈天下笑何!”宣王病之。諸將鹹請戰。五月辛巳，乃使張郃攻無當監何平於南圍，自案中道向亮。亮使魏延、高翔、吳班赴拒，大破之，獲甲首三千級，玄鎧五千領，角弩三十一百張，宣王還保營。
②郭衝五事曰：魏明帝自征蜀，幸長安，遣宣王督張鄰諸軍，雍、涼勁卒三十餘萬，潛軍密進，規向劍閣。亮時在祁山，旌旗利器，守在險要，十二更下，在者八萬。時魏軍始陳，番兵適交，參佐鹹以賊眾強盛，非力不製，宜權停下兵一月，以並聲勢。亮曰：“吾聞統武行師，以大信為本，得原失信，古人所惜；去者束裝以待期，妻子鶴望而計日，雖臨征難，又所不廢。”皆催遣令去。於是去者感悅，願留一戰，住者憤踴，思致死命。相謂曰：“諸葛公之恩，死猶不報也。”臨戰之日，莫不拔刃爭先，以一當十，殺張郃，卻宣王，一戰大克，此信之由也。難曰：臣鬆之案：亮前出祁山，魏明帝身至長安耳，此年不複自來。且亮大軍在關、隴，魏人何由得越亮徑向劍閣?亮既在戰場，本無久住之規，而方休兵還蜀，皆非經通之言。孫盛、習鑿齒搜求異同，罔有所遺，而並不載衝言，知其乖刺多矣。
③漢晉春秋曰：亮自至，數挑戰。宣王亦表固請戰。使衛尉辛毗持節以製之。薑維謂亮曰：“辛佐治仗節而到，賊不複出矣；”亮曰：“彼本無戰情，所以固請戰者，以示武於其眾耳。將在軍，君命有所不受，苟能製吾，豈千裏而請戰邪!”
魏氏春秋曰：亮使至，問其寢食及其事之煩簡，不問戎事。使對曰：“諸葛公夙興夜寐，罰二十以上，皆親孯焉；所啖食不至數升。”宣王曰：“亮將死矣。”
④魏書曰：亮糧盡勢窮，憂恚歐血，一夕燒營遁走，入穀，道發病卒。
漢晉春秋曰：亮卒於郭氏塢。
晉陽秋曰：有星赤而芒角，自東北西南流，投於亮營，三投再還，往大還小。俄而亮卒。
臣鬆之以為亮在渭濱，魏人躡跡，勝負之形，未可測量，而雲歐血，蓋因亮自亡而自誇大也。夫以孔明之略，豈為仲達歐血乎?及至劉琨喪師，與晉元帝箋亦雲“亮軍敗歐血”；此則引虛記以為言也。其雲入穀而卒，緣蜀人入穀發喪故也。
⑤漢晉春秋曰：楊儀等整軍而出，百姓奔告宣王，宣王追焉。薑維令儀反旗鳴鼓，若將向宣五者，宣王乃退，不敢逼。於是儀結陳而去，入穀然後發喪。宣王之退也，百姓為之諺曰：“死諸葛走生仲達。”或以告宣王，宣王曰：“吾能料生，不便料死也。”