建兴六年，诸葛亮命（）据箕谷（今陕西褒城北）以为疑兵，自己率主力取西北方向进攻祁山（今甘肃礼县东北）。前锋马谡在街亭（今甘肃庄浪东南）败阵，蜀军撤回。