蜀诸葛亮后主建兴三年春以丞相领益州牧率众征南中诸郡其秋悉平遂至滇池皆即其渠帅而用之六年冬出散关围陈仓魏将曹真拒之亮粮尽而还魏将王双率骑追亮亮与战破之斩双七年亮遣陈式攻武都阴平魏雍州刺史郭淮率众欲击式亮自出至建威淮退还遂平二郡。