魏将军王双率骑追亮，亮与战，破之，斩双。七年，亮遣陈式攻武都、阴平。