《三国志·卷二十六·魏书二十六·郭淮》：五年，蜀出卤城。是时，陇右无谷，议欲关中大运，淮以威恩抚循羌、胡，家使出谷，平其输调，军食用足，转扬武将军。青龙二年，诸葛亮出斜谷，并田于兰坑。是时司马宣王屯渭南；淮策亮必争北原，宜先据之，议者多谓不然。淮曰：“若亮跨渭登原，连兵北山，隔绝陇道，摇荡民、夷，此非国之利也。”宣王善之，淮遂屯北原。堑垒未成，蜀兵大至，淮逆击之。后数日，亮盛兵西行，诸将皆谓欲攻西围，淮独以为此见形于西，欲使官兵重应之，必攻阳遂耳。其夜果攻阳遂，有备不得上。《晋书宣帝传》和《汉晋春秋》记载诸葛亮击败郭淮收割和破坏了魏军的麦子，与司马宣王交战斩杀魏军一万多人