自動ベクトル化

コンパイラーがループを解析し、複数のデータを1命令で処理するSIMD命令を使うコードに自動で書き換える最適化。GCCではGCC 12から-O2で有効になるが、コストモデルによって、データの重なりを実行時に確かめる必要があるループを対象にするかが変わる。

概念URI

https://comcomponent.com/knowledge/auto-vectorization/

別名・表記

Auto-vectorization / ループのベクトル化 / -ftree-vectorize

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• GNATは自動ベクトル化を利用します。GNATでコンパイルしたAdaのループもGCCの自動ベクトル化の対象になる。記事の測定（GCC 13.3.0）では、-O2のvery-cheapのコストモデルでは2値化と平滑化のループがベクトル化されなかった（検査を残した平滑化はループの中の検査の分岐が理由）。-O3ではdynamicのコストモデルとループのアンスイッチングにより、検査を残したままでもベクトル化されて、Cと同じ速さになった / 確度: 条件付きの関係 / 確認日: 2026-11-10 出典 出典

この概念を扱う記事

• 画像処理の境界外アクセスをSPARKで証明する ── 2値化・平滑化・ラベリングとCとの速度比較(言及)

一次資料

• https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html
• https://gcc.gnu.org/gcc-12/changes.html

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。