六年春，亮出攻祁山，不克。冬，复出散关，围陈仓，粮尽退。魏将王双率军追亮，亮与战，破之，斩双，还汉中。

追汉军王双受诛，选自清刊本《三国演义》。据《三国演义》，蜀建兴三年（年），诸葛亮出兵陈仓，魏先锋王双出援。诸葛亮久战无功，退军返蜀，料定王双必追赶，途中设计诛王双。图为魏延出其不意地出现在王双面前，王双措手不及，被魏延斩于马下。

建兴六年春天，诸葛亮出军进攻祁山，未能取胜。这年冬天，再出军散关，包围陈仓县，因为粮尽退军。魏国将领王双率领军队追赶诸葛亮，诸葛亮与王双交战，打败王双的军队，杀了王双，带军回到汉中。

七年春，亮遣陈式攻武都、阴平，遂克定二郡。冬，亮徙府营于南山下原上，筑汉、乐二城。是岁，孙权称帝，与蜀约盟，共交分天下。

建兴七年春天，诸葛亮派遣陈式进攻武都、阴平，最终攻占、平定了这两个郡。这年冬天，诸葛亮将大本营迁移到终南山下的平原地带，建筑了汉、乐二城。这年，孙权称帝，与蜀国相邀结盟，约定两家平分天下。

八年秋，魏使司马懿由西城，张郃由子午，曹真由斜谷，欲攻汉中。丞相亮待之于城固、赤阪，大雨道绝，真等皆还。是岁，魏延破魏雍州刺史郭淮于阳谿。徙鲁王永为甘陵王，梁王理为安平王，皆以鲁、梁在吴分界故也。

建兴八年秋天，魏国派遣司马懿从西城、张郃从子午、曹真从斜谷出兵，准备进攻汉中。诸葛亮在城固、赤阪迎战，因为大雨栈道断绝，曹真等人皆退军。这一年魏延在阳谿打败了魏国雍州刺史郭淮的军队。后主改封鲁王刘永为甘陵王，改封梁王刘理为安平王，因为鲁、梁两地都与吴国接壤分界的缘故。

九年春二月，亮复出军围祁山，始以木牛运。魏司马懿、张郃救祁山。夏六月，亮粮尽退军，合追至青封，与亮交战，被箭死。秋八月，都护李平废徙梓潼郡。 []

建兴九年春二月，诸葛亮再次出军围攻祁山，开始以木牛运送军粮。魏国司马懿、张部领军抵御。夏六月，诸葛亮因粮尽退军，张郃追击到青封，与诸葛亮交战，被箭射死。秋八月，都护李平被废为平民，流放到梓潼郡。