1
2 // 畢業論文做Pascal編譯器，把編譯生成的中間代碼翻譯為 nasm 匯編調用 C 語言庫函數時，在輸出 float 部分出現問題。
3
4
5 // 先說明一下，我安排棧中數據 8字節對齊，不管數據實際大小，都分配 8字節，按最低字節尋址。
6 // 當然，調用 C 語言函數時的參數棧，還是按 i386 的來。
7
8
9 // C printf 格式化字符串
10 data.add( head + "c_format_float32 : db \'%f\', 0" );
11 data.add( head + "c_format_float64 : db \'%lf\', 0" );
12 data.add( head + "c_format_float64G: db \'%G\', 0" );
13
14
15 // 棧頂已經是 8字節的 ieee754 double 數據，然后
16 text.add( line + "push dword c_format_float64G" );
17 // 或 text.add( line + "push dword c_format_float64" ); 也正確
18 text.add( head + "call printf" );
19 text.add( head + "add esp, 12" );
20 // 生成可執行文件后，運行輸出正確
21
22
23 // 棧頂已經是 4字節的 ieee754 float 數據，且不等于0（次棧頂 4字節全零），然后
24 text.add( line + "push dword c_format_float32" );
25 text.add( head + "call printf" );
26 text.add( head + "add esp, 12" );
27 // 生成可執行文件后，運行輸出 0.000000
28
29
30 // 正確的是
31 // 棧頂已經是 4字節的 ieee754 float 數據，然后
32 // 先把4字節的float 轉為 8字節的double
33 text.add( line + "fld dword [esp]" );
34 text.add( head + "fstp qword [esp]" ); // 8字節對齊，未覆蓋棧中數據
35 text.add( head + "push dword c_format_float32" );
36 text.add( head + "call printf" );
37 text.add( head + "add esp, 12" );
38 // 生成可執行文件后，運行輸出正確
39
40
結論：
C 語言的 printf 使用 %f 來輸出 float 時，實際上先把 4字節的float轉化為 8字節的double，然后訪問了棧上的 8字節數據。
（環境：Ubuntu12.04 32位 intel i3 nasm gcc）