ローカル変數(shù)のプッシュ/ポップ命令を備えた C/C コンパイラー
概要
従來(lái)の C/C コンパイラーは、スタック ポインターを増やすことによってローカル変數(shù)を作成します（ESP）1回。ただし、プッシュ/ポップ命令を使用すると、コードがよりコンパクトになり、潛在的に高速になる可能性があります。この記事では、この最適化を提供するコンパイラについて説明します。
コンパイラのサポート
調(diào)査によると、4 つの主要な x86 コンパイラ (GCC、Clang、ICC、MSVC) は現(xiàn)在、push/ を使用していません。ローカル変數(shù)を作成するためのポップ命令。代わりに、sub rsp, c を使用してスタック ポインタを減らす、古い方法のバリエーションが好まれています。
プッシュ/ポップの利點(diǎn)
ローカル変數(shù)にプッシュ/ポップを使用すると、いくつかの利點(diǎn)があります。
- コードサイズの削減: プッシュ命令は、 sub/mov ペアの場(chǎng)合は 9 ～ 11 バイト。
- 潛在的なパフォーマンス向上: スタック エンジンを備えた CPU では、プッシュ操作で発生するスタック同期 UOP が sub RSP よりも少なくなり、高速化される可能性があります。特定のシナリオ。
プッシュ/ポップを避けるべき場(chǎng)合
プッシュ/ポップ中有益な場(chǎng)合もありますが、すべての場(chǎng)合にお?jiǎng)幛幛扦毪铯堡扦悉ⅳ辘蓼护?。たとえば、[rsp x] アドレッシング モードと混合すると、余分なスタック同期 UOP が発生する可能性があります。
実際の使用例
次の関數(shù)を考えてみましょう:
int extfunc(int *,int *);
void foo() {
int a=1, b=2;
extfunc(&a, &b);
}
を使用してコンパイルを改善しましたPush/pop:
# compiled for the x86-64 System V calling convention:
# integer args in rdi, rsi (,rdx, rcx, r8, r9)
push 2 # only 2 bytes
lea rdi, [rsp + 4]
mov dword ptr [rdi], 1
mov rsi, rsp # special case for lea rsi, [rsp + 0]
call extfunc(int*, int*)
pop rax # alternative to add rsp,8
ret
注: この例では、push 命令の最後の 4 バイトを lea 命令の最初の 4 バイトとオーバーラップさせることで、コンパクトさと速度を最適化します。 .
結(jié)論
プッシュ/ポップ命令は、コードサイズとパフォーマンス上の利點(diǎn)を提供します。ローカル変數(shù)は、現(xiàn)在主流の C/C コンパイラでは使用されていません。これは、余分なスタック同期 UOP が発生する可能性と、スタック オフセットの管理が複雑であることが原因であると考えられます。ただし、ハードウェアとコンパイラの最適化が進(jìn)むにつれて、ローカル変數(shù)のプッシュ/ポップが將來(lái)的により広く採(cǎi)用される可能性があります。
以上がC/C コンパイラはローカル変數(shù)の作成にプッシュ/ポップ命令を利用しますか?の詳細(xì)內(nèi)容です。詳細(xì)については、PHP 中國(guó)語(yǔ) Web サイトの他の関連記事を參照してください。
ホットAIツール
Undress AI Tool
脫衣畫(huà)像を無(wú)料で
Undresser.AI Undress
リアルなヌード寫(xiě)真を作成する AI 搭載アプリ
AI Clothes Remover
寫(xiě)真から衣服を削除するオンライン AI ツール。
Clothoff.io
AI衣類リムーバー
Video Face Swap
完全無(wú)料の AI 顔交換ツールを使用して、あらゆるビデオの顔を簡(jiǎn)単に交換できます。
人気の記事
ホットツール
メモ帳++7.3.1
使いやすく無(wú)料のコードエディター
SublimeText3 中國(guó)語(yǔ)版
中國(guó)語(yǔ)版、とても使いやすい
ゼンドスタジオ 13.0.1
強(qiáng)力な PHP 統(tǒng)合開(kāi)発環(huán)境
ドリームウィーバー CS6
ビジュアル Web 開(kāi)発ツール
SublimeText3 Mac版
神レベルのコード編集ソフト（SublimeText3）
ホットトピック
8641
17
1787
16
1730
56
1581
29
1448
31
c多型：関數(shù)は一種の多型を過(guò)負(fù)荷にしていますか？
Jun 20, 2025 am 12:05 AM
はい、関數(shù)の過(guò)負(fù)荷はCの多型形態(tài)であり、特に時(shí)間の多型をコンパイルします。 1。関數(shù)の過(guò)負(fù)荷により、同じ名前が異なるパラメーターリストを持つ複數(shù)の関數(shù)が許可されます。 2。コンパイラは、提供されたパラメーターに基づいてコンパイル時(shí)間に呼び出す関數(shù)を決定します。 3.ランタイムの多型とは異なり、機(jī)能過(guò)負(fù)荷は実行時(shí)に余分なオーバーヘッドがなく、実裝が簡(jiǎn)単ですが、柔軟性が低くなります。
Cのさまざまな種類の多型は何ですか？説明した
Jun 20, 2025 am 12:08 AM
Cには、コンパイルタイム多型とランタイム多型の2つの主要な多型タイプがあります。 1.コンピレーション時(shí)間の多型は、関數(shù)の過(guò)負(fù)荷とテンプレートを通じて実裝され、高い効率を提供しますが、コード膨満につながる可能性があります。 2。ランタイムの多型は、仮想関數(shù)と継承を通じて実裝され、柔軟性を提供しますが、パフォーマンスオーバーヘッドを提供します。
C：多型は本當(dāng)に便利ですか？
Jun 20, 2025 am 12:01 AM
はい、Cの多型は非常に便利です。 1）新しいタイプを簡(jiǎn)単に追加できる柔軟性を提供します。 2）コードの再利用を促進(jìn)し、重複を減らします。 3）メンテナンスを簡(jiǎn)素化し、コードの拡張と適応が容易になります。パフォーマンスとメモリ管理の課題にもかかわらず、その利點(diǎn)は複雑なシステムで特に重要です。
C Destructors：一般的なエラー
Jun 20, 2025 am 12:12 AM
c Destructorscanleadtoseveralcommonerrors.toavoidhem：1）preventdobledeletionbysettingpointerstonullptrorusings.2）handleExceptionSeptionsEnterstructorsbyCatchingingthem.3）usevirtualDestructorurcorurcorurcorructorsinbaseclasseClassessoperproperpolymorphictedestruction.4
c Pythonを知っている人のためのチュートリアル
Jul 01, 2025 am 01:11 AM
Pythonの移籍を研究する人は、最も直接的な混亂を抱えています。なぜPythonのように書(shū)くことができないのですか？構(gòu)文はより複雑ですが、基礎(chǔ)となる制御機(jī)能とパフォーマンスの利點(diǎn)を提供します。 1。構(gòu)文構(gòu)造の観點(diǎn)から、Cはインデントの代わりに巻き毛のブレース{}を使用してコードブロックを整理し、可変型を明示的に宣言する必要があります。 2。タイプシステムとメモリ管理の観點(diǎn)から、Cには自動(dòng)ガベージ収集メカニズムがなく、メモリを手動(dòng)で管理し、リリースのリリースに注意を払う必要があります。 RAIIテクノロジーは、リソース管理を支援できます。 3。関數(shù)とクラスの定義では、Cは修飾子、コンストラクター、デストラクタを明示的にアクセスし、オペレーターの過(guò)負(fù)荷などの高度な機(jī)能をサポートする必要があります。 4。標(biāo)準(zhǔn)ライブラリに関しては、STLは強(qiáng)力なコンテナとアルゴリズムを提供しますが、一般的なプログラミングのアイデアに適応する必要があります。 5
Cの多型：例を備えた包括的なガイド
Jun 21, 2025 am 12:11 AM
Cの多型は、ランタイム多型とコンパイル時(shí)間の多型に分けられます。 1.ランタイムの多型は仮想関數(shù)を通じて実裝され、正しい方法を?qū)g行時(shí)に動(dòng)的に呼び出すことができます。 2。コンパイル時(shí)間の多型は、関數(shù)の過(guò)負(fù)荷とテンプレートを通じて実裝され、より高いパフォーマンスと柔軟性を提供します。
Cの多型のさまざまな形態(tài)は何ですか？
Jun 20, 2025 am 12:21 AM
C MolymorphismsCompile-Time、Runtime、andTemplatePolymorphism.1）Compile-TimepolymorphismusEssondoperatorover overloading forefficiency.2）runtimepolymorphismploysvirtualFunctionsforfibility.3）TemplatePolateMismorphismablePhismeNableencenericProgrommingfo
c多型：コーディングスタイル
Jun 19, 2025 am 12:25 AM
c多形は、compile-timeandruntimepolymorphismの組み合わせ、forbothefficiencyandflexibility.toharnesitspowerstyly：1）usesmartpointerslikestd :: unique_ptrformemorymanagement、2）sureseclaseshavevirtulirvirtulaructors、3）
