『三国志』蜀志に伝がある。