魏齐王正始九年(248)，魏将郭淮领兵进击响应蜀国起兵的凉州卢水胡首领治无戴，探知治无戴家属留在西海(今青海湖)，逐领兵西进。治无戴为救家人急由武威折返，与郭淮激战于龙夷(今海晏县三角城)以北(今海晏、刚察境内)的山区。治无戴兵败，经今刚察县北部山区，越祁连山归河西走廊，随蜀将姜维迁往四川。
