蜀漢建興七年，夏四月，孔明兵在祁山，分作三寨，專候魏兵。

　　却說司馬懿引兵到長安，張郃接見，備言前事。懿令郃為先鋒，戴陵為副將，引十萬兵到祁山，於渭水之南下寨。郭淮、孫禮入寨參見。懿問曰：“汝等曾與蜀兵對陣否？”二人答曰：“未也。”懿曰：“蜀兵千里而來，利在速戰；今來此不戰，必有謀也。隴西諸路，曾有信息否？”淮曰：“已有細作探得各郡十分用心，日夜隄防，並無他事。只有武都、陰平二……