Visual Studio 2008 Part 22

[過去ﾛｸﾞ] Visual Studio 2008 Part 22 (314ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

225: デフォルトの名無しさん [sage] 2018/09/16(日) 15:51:01.50 ID:zL1WUjLu

>>218
なお、逆アセンブルでコードバイトを表示させて確かめることは出来る。
正しいコードは出ている。(ただし不安定）
inline void fpu_getcw(unsigned short* cw) {
00DA1540 55               push        ebp
00DA1541 8B EC            mov         ebp,esp
__asm{
fnstcw [cw];
00DA1543 D9 7D 08         fnstcw      word ptr [cw]
}
}
00DA1546 5D               pop         ebp
00DA1547 C3               ret

fnstcwは D9 /7 で 7D なら [EBP+disp8] となり、 7D 08 は [EBP+08] となる。
つまりスタックポインタ+8の領域に書き戻せ、となる。
[ebp+0]は元のebpが入っているから、(pushしているので）
[ebp+4]にcallの戻り値アドレス
[ebp+8]にcw（第一引数）が入っていることになる。
これは正しいコードだ。
しかし再度試したが、確かに不安定だ。何故かは分からん。
inline取ってみても不安定のまま。

> そんなオペランドが使えるアセンブリ命令はx86/x64
> では存在しないので。
正直、/7の意味が分からないのだが、説明は
> /digit − 0 から7 までの数字で、命令のModR/M バイトがr/m（レジスタまたはメモリ）オペランドだけを使用することを示す。
> reg フィールドには、命令のオペコードを拡張する数字が入っている。(Intelのマニュアルより）
となっているのだが、これはどういう意味だ？
ModR/Mバイトが全部使えるとすると [ebp+disp8]出来ることになる。そしてそのコードは出ている。
ただし、動作は怪しいのも事実。
ModR/Mの一部しか使えない、ということか？

http://mevius.5ch.net/test/read.cgi/tech/1413180800/225

235: デフォルトの名無しさん [sage] 2018/09/16(日) 16:37:19.30 ID:zL1WUjLu

>>231
逆アセンブラ

for (int i=0;i<num;i++) norm += (double)r[i] * (double)r[i];
00000033 33 D2            xor         edx,edx
00000035 89 55 E8         mov         dword ptr [ebp-18h],edx
00000038 90               nop
00000039 EB 03            jmp         0000003E
0000003b FF 45 E8         inc         dword ptr [ebp-18h]
0000003e 8B 45 E8         mov         eax,dword ptr [ebp-18h]
00000041 3B 45 FC         cmp         eax,dword ptr [ebp-4]
00000044 7D 1B            jge         00000061
00000046 8B 45 F8         mov         eax,dword ptr [ebp-8]
00000049 8B 55 E8         mov         edx,dword ptr [ebp-18h]
0000004c DD 04 D0         fld         qword ptr [eax+edx*8]
0000004f 8B 45 F8         mov         eax,dword ptr [ebp-8]
00000052 8B 55 E8         mov         edx,dword ptr [ebp-18h]
00000055 DC 0C D0         fmul        qword ptr [eax+edx*8]
00000058 DC 45 F0         fadd        qword ptr [ebp-10h]
0000005b DD 5D F0         fstp        qword ptr [ebp-10h]
0000005e 90               nop
0000005f EB DA            jmp         0000003B
norm = sqrt(norm);
00000061 DD 45 F0         fld         qword ptr [ebp-10h]
00000064 83 EC 08         sub         esp,8
00000067 DD 1C 24         fstp        qword ptr [esp]
0000006a E8 0D 50 7B FF   call        FF7B507C
0000006f DD 5D D8         fstp        qword ptr [ebp-28h]
00000072 DD 45 D8         fld         qword ptr [ebp-28h]
00000075 DD 5D F0         fstp        qword ptr [ebp-10h]

http://mevius.5ch.net/test/read.cgi/tech/1413180800/235

236: デフォルトの名無しさん [sage] 2018/09/16(日) 16:37:34.94 ID:zL1WUjLu

>>231
逆アセンブラ（続き）

if (regulate) for (int i=0;i<num;i++) r[i] = (T)(r[i]/norm);
00000078 0F B6 45 08      movzx       eax,byte ptr [ebp+8]
0000007c 85 C0            test        eax,eax
0000007e 74 25            je          000000A5
00000080 33 D2            xor         edx,edx
00000082 89 55 EC         mov         dword ptr [ebp-14h],edx
00000085 90               nop
00000086 EB 03            jmp         0000008B
00000088 FF 45 EC         inc         dword ptr [ebp-14h]
0000008b 8B 45 EC         mov         eax,dword ptr [ebp-14h]
0000008e 3B 45 FC         cmp         eax,dword ptr [ebp-4]
00000091 7D 12            jge         000000A5
00000093 8B 45 F8         mov         eax,dword ptr [ebp-8]
00000096 8B 55 EC         mov         edx,dword ptr [ebp-14h]
00000099 DD 45 F0         fld         qword ptr [ebp-10h]
0000009c DC 3C D0         fdivr       qword ptr [eax+edx*8]
0000009f DD 1C D0         fstp        qword ptr [eax+edx*8]
000000a2 90               nop
000000a3 EB E3            jmp         00000088
return norm;
000000a5 DD 45 F0         fld         qword ptr [ebp-10h]
000000a8 DD 5D E0         fstp        qword ptr [ebp-20h]

http://mevius.5ch.net/test/read.cgi/tech/1413180800/236

244: デフォルトの名無しさん [sage] 2018/09/16(日) 17:22:07.21 ID:zL1WUjLu

>>240
現象確認した。こちらでも再現した。
逆アセンブルは、以下。(肝心のループ部分は次レス内）

正直、fld/fmul/fadd/fstpのループ部分は変わらず、
normのアドレスが [ebp-10h]（つまりローカル）から
ds:[00A4AD40h]（つまりグローバル）に変わっただけであり、
これで結果が変わるのはかなり奇妙な気もするが、何か見落としがあるのかも。

>>240逆アセンブル(static付加版）
template<typename T> static double calc_norm_and_regulate(int num, T* r, bool regulate){ // <float> for debug.
static double norm = 0;
for (int i=0;i<num;i++) norm += (double)r[i] * (double)r[i];
00000000 55               push        ebp
00000001 8B EC            mov         ebp,esp
00000003 83 EC 20         sub         esp,20h
00000006 89 4D FC         mov         dword ptr [ebp-4],ecx
00000009 89 55 F8         mov         dword ptr [ebp-8],edx
0000000c 83 3D 14 2E 38 00 00 cmp         dword ptr ds:[00382E14h],0
00000013 74 05            je          0000001A
00000015 E8 FF 52 30 68   call        68305319
0000001a 33 D2            xor         edx,edx
0000001c 89 55 F0         mov         dword ptr [ebp-10h],edx
0000001f 33 D2            xor         edx,edx
00000021 89 55 F4         mov         dword ptr [ebp-0Ch],edx
00000024 D9 EE            fldz
00000026 DD 5D E8         fstp        qword ptr [ebp-18h]
00000029 33 D2            xor         edx,edx
0000002b 89 55 F0         mov         dword ptr [ebp-10h],edx
0000002e 90               nop
0000002f EB 03            jmp         00000034

http://mevius.5ch.net/test/read.cgi/tech/1413180800/244

245: デフォルトの名無しさん [sage] 2018/09/16(日) 17:22:29.32 ID:zL1WUjLu

>>240逆アセンブル（続き）(static付加版）

00000031 FF 45 F0         inc         dword ptr [ebp-10h]
00000034 8B 45 F0         mov         eax,dword ptr [ebp-10h]
00000037 3B 45 FC         cmp         eax,dword ptr [ebp-4]
0000003a 7D 21            jge         0000005D
0000003c 8B 45 F8         mov         eax,dword ptr [ebp-8]
0000003f 8B 55 F0         mov         edx,dword ptr [ebp-10h]
00000042 DD 04 D0         fld         qword ptr [eax+edx*8]
00000045 8B 45 F8         mov         eax,dword ptr [ebp-8]
00000048 8B 55 F0         mov         edx,dword ptr [ebp-10h]
0000004b DC 0C D0         fmul        qword ptr [eax+edx*8]
0000004e DC 05 40 AD A4 00 fadd        qword ptr ds:[00A4AD40h]
00000054 DD 1D 40 AD A4 00 fstp        qword ptr ds:[00A4AD40h]
0000005a 90               nop
0000005b EB D4            jmp         00000031
norm = sqrt(norm);
0000005d DD 05 40 AD A4 00 fld         qword ptr ds:[00A4AD40h]
00000063 83 EC 08         sub         esp,8
00000066 DD 1C 24         fstp        qword ptr [esp]
00000069 E8 0E 50 88 FF   call        FF88507C
0000006e DD 5D E0         fstp        qword ptr [ebp-20h]
00000071 DD 45 E0         fld         qword ptr [ebp-20h]
00000074 DD 1D 40 AD A4 00 fstp        qword ptr ds:[00A4AD40h]

http://mevius.5ch.net/test/read.cgi/tech/1413180800/245

246: デフォルトの名無しさん [sage] 2018/09/16(日) 17:22:46.06 ID:zL1WUjLu

>>240逆アセンブル（続き）(static付加版）
if (regulate) for (int i=0;i<num;i++) r[i] = (T)(r[i]/norm);
0000007a 0F B6 45 08      movzx       eax,byte ptr [ebp+8]
0000007e 85 C0            test        eax,eax
00000080 74 28            je          000000AA
00000082 33 D2            xor         edx,edx
00000084 89 55 F4         mov         dword ptr [ebp-0Ch],edx
00000087 90               nop
00000088 EB 03            jmp         0000008D
0000008a FF 45 F4         inc         dword ptr [ebp-0Ch]
0000008d 8B 45 F4         mov         eax,dword ptr [ebp-0Ch]
00000090 3B 45 FC         cmp         eax,dword ptr [ebp-4]
00000093 7D 15            jge         000000AA
00000095 8B 45 F8         mov         eax,dword ptr [ebp-8]
00000098 8B 55 F4         mov         edx,dword ptr [ebp-0Ch]
0000009b DD 05 40 AD A4 00 fld         qword ptr ds:[00A4AD40h]
000000a1 DC 3C D0         fdivr       qword ptr [eax+edx*8]
000000a4 DD 1C D0         fstp        qword ptr [eax+edx*8]
000000a7 90               nop
000000a8 EB E0            jmp         0000008A
return norm;
000000aa DD 05 40 AD A4 00 fld         qword ptr ds:[00A4AD40h]
000000b0 DD 5D E8         fstp        qword ptr [ebp-18h]
}
000000b3 DD 45 E8         fld         qword ptr [ebp-18h]
000000b6 8B E5            mov         esp,ebp
000000b8 5D               pop         ebp
000000b9 C2 04 00         ret         4

http://mevius.5ch.net/test/read.cgi/tech/1413180800/246

249: デフォルトの名無しさん [sage] 2018/09/16(日) 20:54:27.39 ID:zL1WUjLu

>>240
さて再見したが、やはりstaticだけで直る理由は分からない。
なお、最適化ミスの場合は、逆アセンブラを読めば分かる。
今のところそれではない。

一応、>>191ソースのtemplate部の逆アセンブルを上げておく。（ただし重複するので頭のみ）
頭はこれ。続きが>>235,236。

template<typename T> static double calc_norm_and_regulate(int num, T* r, bool regulate){ // <float> for debug.
double norm = 0;
00000000 55               push        ebp
00000001 8B EC            mov         ebp,esp
00000003 83 EC 28         sub         esp,28h
00000006 89 4D FC         mov         dword ptr [ebp-4],ecx
00000009 89 55 F8         mov         dword ptr [ebp-8],edx
0000000c 83 3D 14 2E 76 00 00 cmp         dword ptr ds:[00762E14h],0
00000013 74 05            je          0000001A
00000015 E8 FF 52 1B 68   call        681B5319
0000001a 33 D2            xor         edx,edx
0000001c 89 55 E8         mov         dword ptr [ebp-18h],edx
0000001f 33 D2            xor         edx,edx
00000021 89 55 EC         mov         dword ptr [ebp-14h],edx
00000024 D9 EE            fldz
00000026 DD 5D F0         fstp        qword ptr [ebp-10h]
00000029 D9 EE            fldz
0000002b DD 5D E0         fstp        qword ptr [ebp-20h]
0000002e D9 EE            fldz
00000030 DD 5D F0         fstp        qword ptr [ebp-10h]

http://mevius.5ch.net/test/read.cgi/tech/1413180800/249

上下前次 1-新書関写板覧索設栞歴

あと 63 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.009s