六年春亮出攻祁山不克冬复出散关围陈仓粮尽退魏将王双率军追亮亮

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

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

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

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

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

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

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

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

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