帝乃止。初，蜀将姜维闻毗来，谓亮曰：“辛毗杖节而至，贼不复出矣。”亮曰：“彼本无战心，所以固请者，以示武于其众耳。将在军，君命有所不受，苟能制吾，岂千里而请战邪！”帝弟孚书问军事，帝复书曰：“亮志大而不见机，多谋而少决，好兵而无权，虽提卒十万，已堕吾画中，破之必矣。”与之对垒百余日，会亮病卒，诸将烧营遁走，百姓奔告，帝出兵追之。亮长史杨仪反旗鸣鼓，若将距帝者。帝以穷寇不之逼，于是杨仪结阵而去。经日，乃行其营垒，观其遗事，获其图书、粮谷甚众。帝审其必死，曰：“天下奇才也。”辛毗以为尚未可知。帝曰：“军家所重，军书密计、兵马粮谷，今皆弃之，岂有人捐其五藏而可以生乎？宜急追之。”关中多蒺藜，帝使军士二千人著软材平底木屐前行，蒺藜悉著屐，然后马步俱进。追到赤岸，乃知亮死。审问，时百姓为之谚曰：“死诸葛走生仲达。”帝闻而笑曰：“吾便料生，不便料死故也。”先是，亮使至，帝问曰：“诸葛公起居何如，食可几米？”对曰：“三四升。”次问政事，曰：“二十罚已上皆自省览。”帝既而告人曰：“诸葛孔明其能久乎！”竟如其言。亮部将杨仪、魏延争权，仪斩延，并其众。帝欲乘隙而进，有诏不许。
三年，迁太尉，累增封邑。蜀将马岱入寇，帝遣将军牛金击走之，斩千余级。武都氐王苻双、强端帅其属六千余人来降。关东饥，帝运长安粟五百万斛于京师。
四年，获白鹿，献之。天子曰：“昔周公旦辅成王，有素雉之贡。今君受陕西之任，有白鹿之献，岂非忠诚协符，千载同契，俾乂邦家，以永厥休邪！”及辽东太守公孙文懿反，征帝诣京师。天子曰：“此不足以劳君，事欲必克，故以相烦耳。君度其行何计？”对曰：“弃城预走，上计也。据辽水以距大军，次计也。坐守襄平，此成擒耳。”天子曰：“其计将安出？”对曰：“惟明者能深度彼己，豫有所弃，此非其所及也。今悬军远征，将谓不能持久，必先距辽水而后守，此中下计也。”天子曰：“往还几时？”对曰：“往百日，还百日，攻百日，以六十日为休息，一年足矣。”是时大修宫室，加之以军旅，百姓饥弊。帝将即戎，乃谏曰：“昔周公营洛邑，萧何造未央，今宫室未备，臣之责也。然自河以北，百姓困穷，外内有役，势不并兴，宜假绝内务，以救时急。”
景初二年，帅牛金、胡遵等步骑四万发自京都。车驾送出西明门。诏弟孚、子师送过温，赐以谷帛牛酒，敕郡守典农以下皆往会焉。见父老故旧，宴饮累日。帝叹息，怅然有感，为歌曰：“天地开辟，日月重光。遭遇际会，毕力遐方。将扫群秽，还过故乡。肃清万里，总齐八荒。告成归老，待罪舞阳。”遂进师，经孤竹，越碣石，次于辽水。文懿果遣步骑数万，阻辽隧，坚壁而守，南北六七十里，以距帝。帝盛兵多张旗帜，出其南，贼尽锐赴之。乃泛舟潜济以出其北，与贼营相逼，沈舟焚梁，傍辽水作长围，弃贼而向襄平。诸将言曰：“不攻贼而作围，非所以示众也。”帝曰：“贼坚营高垒，欲以老吾兵也。攻之，正入其计，此王邑所以耻过昆阳也。古人曰，敌虽高垒，不得不与我战者，攻其所必救也。贼大众在此，则巢窟虚矣。我直指襄平，则人怀内惧，惧而求战，破之必矣。”遂整阵而过。贼见兵出其后，果邀之。帝谓诸将曰：“所以不攻其营，正欲致此，不可失也。”乃纵兵逆击，大破之，三战皆捷。贼保襄平，进军围之。初，文懿闻魏师之出也，请救于孙权。权亦出兵遥为之声援，遗文懿书曰：“司马公善用兵，变化若神，所向无前，深为弟忧之。”会霖潦，大水，平地数尺，三军恐，欲移营。帝令军中敢有言徙者斩。都督令史张静犯令，斩之，军中乃定。贼恃水，樵牧自若。诸将欲取之，皆不听。司马陈圭曰：“昔攻上庸，八部并进，昼夜不息，故能一旬之半，拔坚城，斩孟达。今者远来而更安缓，愚窃惑焉。”帝曰：“孟达众少而食支一年，吾将士四倍于达而粮不淹月，以一月图一年，安可不速？以四击一，正令半解，犹当为之。是以不计死伤，与粮竞也。今贼众我寡，贼饥我饱，水雨乃尔，功力不设，虽当促之，亦何所为。自发京师，不忧贼攻，但恐贼走。今贼粮垂尽，而围落未合，掠其牛马，抄其樵采，此故驱之走也。夫兵者诡道，善因事变。贼凭众恃雨，故虽饥困，未肯束手，当示无能以安之。取小利以惊之，非计也。”朝廷闻师遇雨，咸请召还。天子曰：“司马公临危制变，计日擒之矣。”既而雨止，遂合围。起土山地道，楯橹钩橦，发矢石雨下，昼夜攻之。时有长星，色白，有芒鬣，自襄平城西南流于东北，坠于梁水，城中震慑。文
