18.13 案例分析18-5：自动矢量优化