阳谿大破郭淮、费曜，最终汉军在逆袭下大破魏军。
第四次北伐.231年春天，诸葛亮再次进行北伐，以木牛运粮，包围祁山，又招揽鲜卑人轲比能，轲比能起兵到石城响应汉军。因曹魏大司马曹真病重，曹叡改派大将军司马懿为统帅屯于长安，领征西车骑将军张郃、后将军费曜、征蜀护军戴凌、雍州刺史兼建威将军郭淮等人抵抗。司马懿先派费曜、戴凌与四千精兵前往上邽防守，自己则率其他兵力解救祁山。张郃认为该分兵驻守雍、郿，但司马懿认为己方战斗力不如蜀汉军，若分军容易遭到诸葛亮各个击破，不及合军有利，便向西推进。