蜀魏洮西之役

蜀魏洮西之役，蜀漢延熙十年(247)魏雍、涼二州的羌人叛魏降蜀，蜀將姜維自隴右出兵接應，與魏雍州刺史郭淮、討蜀護軍夏侯霸戰於洮水之西。羌王白虎文、治無戴等率部降蜀，姜維徙之入蜀。