調試或效能分析 .NET 程式時，查看 IL 代碼是基礎，但最終執行的是 CLR 即時編譯 (JIT) 生成的機器碼。Visual Studio 提供「反組譯」視窗（斷點處右鍵 → Go To Disassembly），但預設 Debug 模式下 JIT 為了方便調試，不會啟用最佳化，產出的組合語言與實際 Release 運行環境差異極大。本文詳述如何配置環境，獲取真實運行時的優化後 ASM 代碼。
pdb-only。這會生成符號表但不內嵌完整偵錯資訊，允許 JIT 充分優化。Suppress JIT optimization on module load（模組載入時抑制 JIT 優化）Enable Just My Code（僅啟用我的代碼）完成上述設定，附加偵錯器至運行中的 Release 進程，即可在反組譯視窗看到真實優化後的機器碼。
array[i] = Math.XXX(array[i]); 迴圈調用註：不同 CPU 架構（如 SSE/AVX 支援差異）可能產出不同指令序列，本文結果僅供參考。
Math.Sqrt、Math.Sin、Math.Cos — JIT 直接內聯為對應 x87 浮點指令，零呼叫開銷，效能等同手寫組合語言。
// Math.Sqrt(array[i])
00000092 fild dword ptr [eax+edx*4+8] ; 載入整數轉雙精度
00000096 fsqrt ; 硬體開平方根指令
00000098 fstp qword ptr [ebx+edx*8+8] ; 存回陣列
// Math.Sin(array[i])
00000092 fild dword ptr [eax+edx*4+8]
00000096 fsin ; 硬體正弦指令
00000098 fstp qword ptr [ebx+edx*8+8]
結論：這三個函數是 JIT 優化的標竿，無任何托管/非托管轉換開銷。
Math.Asin, Math.Acos, Math.Tan, Math.Atan, Math.Floor, Math.Ceiling, Math.Log, Math.Exp, Math.Pow, Math.Round 及所有以 h 結尾的雙曲函數（Sinh, Cosh, Tanh 等）。
反組譯視圖僅顯示 call 7935A4AB 這類間接呼叫，無法見到真實實現（VS 已知 Bug：顯示地址錯誤）。IL 層面可見標記為 cil managed internalcall，意為「將呼叫 CLR 內部非托管實現」。
以 Math.Tan 為例，透過 SOS 擴展 (!u / !DumpMD) 定位真實非托管入口點 7A2C37FB：
Unmanaged code (7A2C37FB):
7A2C37FB 55 push ebp
7A2C37FC 8BEC mov ebp,esp
7A2C37FE DD4508 fld qword ptr [ebp+8] ; 載入參數
7A2C3801 D9F2 fptan ; x87 正切指令
7A2C3803 DDD8 fstp st(0) ; 棄用 st(1) 餘數
7A2C3805 5D pop ebp
7A2C3806 C20800 ret 8 ; 返回，清理 8 位元組參數
疑點：fptan 也是單條硬體指令，為何不像 fsin 那樣直接內聯？推測與定義域檢查、精度處理、歷史包袱有關。其餘函數同理，皆為非托管實現，可能涉及多層內部呼叫。
// Math.Abs(double/float)
00000086 fld qword ptr [ebx+edx*8+8]
0000008a fabs ; 浮點絕對值指令
0000008c fstp qword ptr [ebx+edx*8+8]
// Math.Abs(int) - 含溢位檢查
0000008e mov ecx, dword ptr [eax+esi*4+8] ; 載入參數
00000092 test ecx, ecx
00000094 jl 0000009A ; 負數跳轉
00000096 mov eax, ecx ; 正數直接返回
00000098 jmp 0000009F
0000009a call 75F1E728 ; 負數呼叫 Math.AbsHelper
0000009f mov dword ptr [ebp-24h], eax
...
AbsHelper 內部：檢查 Int32.MinValue (-2147483648) 溢位情況（其絕對值超出 Int32 範圍），若溢位則拋出 OverflowException，否則 neg ecx 取反返回。
// 自寫無檢查版本 - JIT 內聯極簡指令
static public int FastAbs(int a) { return (a >= 0) ? a : -a; }
// ASM:
00000091 mov eax, dword ptr [ebx+ecx*4+8]
00000095 test eax, eax
00000097 jge 0000009D
00000099 neg eax
0000009b jmp 0000009D
0000009d ...
啟示：確定不會遇到 Int32.MinValue 時，自寫三元運算子版本效能碾壓 BCL 實現。
純托管實現，無特殊優化，但 JIT 會內聯消除呼叫開銷。
| 函數類別 | JIT 行為 | 效能特徵 | 建議 |
|---|---|---|---|
| Sqrt/Sin/Cos | 直接內聯 FPU 指令 | 極致，等同組合語言 | 放心大膽用 |
| Tan/Log/Exp/Pow 等 | 呼叫非托管內部實現 | 有呼叫開銷，但核心仍用硬體指令 | 熱路徑考慮查表/近似算法 |
| Abs(float/double) | 內聯 fabs | 極快 | 直接使用 |
| Abs(int/long) | 含分支+溢位檢查呼叫 | 明顯較慢 | 確定安全時自寫 a >= 0 ? a : -a |
| Max/Min | 托管代碼內聯 | 一般 | 正常使用 |
掌握 JIT 代碼生成特性，是寫出高效能 .NET 代碼的關鍵進階技能。建議開發者養成定期檢視 Release 模式下反組譯代碼的習慣，尤其在數學密集型、遊戲引擎、金融運算等效能敏感場景。
