(二年二月)
公有济世宁国之勋,克定礻固乱之功,重之以死王事,宜加殊礼。其令公卿议制。(《晋书·景帝纪》)
卷十一·魏十一 ◇ 诏恤洮西死事者
(正元二年十月)
朕以寡德,不能式遏寇虐,乃令蜀贼陆梁边陲。洮西之战,至取负败,将士死亡,计以千数,或没命战场,冤魂不反,或牵制虏手,流离异域,吾深痛愍,为之悼心。其令所在郡典农及安抚夷二护军各部大吏,慰恤其门户,无差赋役一年。其力战死事者,皆如旧科,勿有所漏。(《魏志·高贵乡公纪》)
卷十一·魏十一 ◇ 敛埋洮西事死吏民诏
(正元二年十一月)
往者洮西之战,将吏士民,或临阵战亡,或沉溺洮水,骸骨不收,弃于原野,吾常痛之。其告征西将军、安西将军,各令部人于战处及水次钩求尸丧,收敛藏埋,以慰存亡。(《魏志·高贵乡公纪》)
卷十一·魏十一 ◇ 犒赐破蜀将士诏
(甘露元年七月)
兵未极武,丑虏摧破,斩首获生,动以万计,自顷战克,无如此者。今遣使者犒赐将士,大会临飨,饮宴终日,称朕意焉。(《魏志·高贵乡公纪》)