炼石心劳竟何补。上一句是

五丈原头动地鼓，魏人畏蜀如畏虎。

将星堕空化为土，炼石心劳竟何补。

侯归上天多旧伍，羽为前驱飞后拒。

忠魂不逐降王车，长卫英孙朝烈祖。