Wuzhang Plains
351年3月、隴東に割拠する杜洪・張琚らが司馬勲の下へ使者を派遣し、関中一帯に勢力を広げていた前秦君主苻健の討伐を請うた。4月、司馬勲は要請に応じ、歩騎3万を率いて秦川に入った。だが、五丈原において迎撃に出た苻健に幾度も敗れ、南鄭まで撤退した。