[過去ﾛｸﾞ] C++相談室 part164 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
514(3): デフォルトの名無しさん (ﾜｯﾁｮｲ b632-bpoS) [sage] 2023/07/21(金) 16:52:12.91 ID:PleiVI860(1) AAS
ちょいとコイツを見て欲しい。MSVC 14.36.32532でC++17かつセキュリティチェック無効（/GS-）
https://i.imgur.com/XGfeBgH.png
最小コードで再現するために、コマンドライン文字列を変な形式として扱ってるのは置いといて
変数rSizeが、引数argcのスタック領域（ebp+8）に割り当てられるんだけど、こんな最適化ある？
確かにargcは用済みだが、レジスタやローカルスタックではなくcdeclのconst引数にストアする？
523: デフォルトの名無しさん (ﾜｯﾁｮｲ a728-Nt2/) [sage] 2023/07/22(土) 15:21:09.39 ID:1sMnnOgP0(2/5) AAS
やっぱ
void foo() {
for (int i = 0; i < 100; i++) { .... }
for (int ii = 0; ii < 100; ii++) { ... }
...
for (int iiiiiiiiiiiiiiiiiiii = 0; iiiiiiiiiiiiiiiiiiii < 100; iiiiiiiiiiiiiiiiiiii++) { ... }
}
とかあってどのfor文でもループ変数のｱﾄﾞﾚｽをとるような式が書かれていなかったら
ローカル変数i、ii、...、iiiiiiiiiiiiiiiiiiが違うアドレスでなければならない理由は何も無いから
同じアドレスに割り当てになる可能性は高いと思う
でデータフロー解析するステップではもはやブロックの構造とか渡ってないから
そういう芸当をする同じロジックが>>514のようなことも当然するｷﾓｽ
※ 個人の感想です
524(2): デフォルトの名無しさん (ﾜｯﾁｮｲ a728-Nt2/) [sage] 2023/07/22(土) 15:31:39.00 ID:1sMnnOgP0(3/5) AAS
ていうか補足、
void bar(int& x);
というのがあって
for (int i = 0; i < 100; i++) { bar(i); }
for (int ii = 0; ii < 100; ii++) { bar(ii); }
for (int iiiiiiiiiiiiiiiiiiii = 0; iiiiiiiiiiiiiiiiiiii < 100; ii++) { bar(iiiiiiiiiiiiiiiiiiii); }
だった場合はこれは明示的にループ変数のアドレスをとっているわけではないが、
ｱﾄﾞﾚｽをとっているのと同じことなので
i、ii、...、iiiiiiiiiiiiiiiiii同じアドレスに割り当てになる可能性は無くなると思う
よかったなあ>>514、
527(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 5f32-vVS+) [sage] 2023/07/22(土) 17:02:04.17 ID:lBkog51W0(1) AAS
スコープを抜けたローカル変数であれば順当な割り当てに思えるのだけど
>>514が差し支えるのはコードインジェクションで引数を使い回すとかの横着
さりとてトップレベルのconstやvolatileは関数シグネチャに現れない訳で
cdeclであろうと引数の寿命は関数を抜けるまでだろうから極めて妥当なのか？
14.27.29110ではやらず、スタック量は逆に増え…増えたから節約してるのか
rbp+なら…いやそれも引数用スタック。C++20でvolatile非推奨化は有ったが
volatile引数への代入も引数スタックへの書き込みと思っちゃならんのかな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s