《蜀志》曰：明帝自征蜀，至长安，遣张合诸军劲卒四十馀万，潜军密进，规向剑阁。诸葛亮有战士万二千。时魏军始阵，幡兵适交，参佐咸以敌众强多，非力所制控，权停下兵一月，以并声势。亮曰：“吾闻用武行师，以大信为本，得原失信，古人所惜。去者束装以待期，妻子企踵而计日。”乃敕速遣。于是去者感悦，愿留一战，往者愤踊，咸思致命。临战之日，莫不拔刃争先，以一当十，杀张合，却司马宣王，一战大克，此之由也。