Math.Atan2 và FPATAN

Question

Tôi đang viết một số mã toán học trong C#, buộc nó biên dịch cho x86 trong bản phát hành, tối ưu hóa và tôi đang xem xét việc tháo gỡ trong windbg. Nó thường khá tốt, thường viết tốt hơn so với tôi có thể (không phải là tôi là tất cả tốt tại hội đồng, nhưng có bạn đi).

Tuy nhiên, tôi đã nhận thấy rằng chức năng này:

static void TemporaryWork() 
{ 
    double x = 4; 
    double y = 3; 
    double z = Math.Atan2(x, y); 
} 

Được sản xuất tháo gỡ này:

001f0078 55    push ebp 
001f0079 8bec   mov  ebp,esp 
001f007b dd05a0001f00 fld  qword ptr ds:[1F00A0h] 
001f0081 83ec08   sub  esp,8 
001f0084 dd1c24   fstp qword ptr [esp] 
001f0087 dd05a8001f00 fld  qword ptr ds:[1F00A8h] 
001f008d 83ec08   sub  esp,8 
001f0090 dd1c24   fstp qword ptr [esp] 
001f0093 e86e9ba66f  call clr!GetHashFromBlob+0x94e09 (6fc59c06) (System.Math.Atan2(Double, Double), mdToken: 06000de7) 
001f0098 ddd8   fstp st(0) 
001f009a 5d    pop  ebp 
001f009b c3    ret 

Thậm chí nếu bạn không phải là một guru x86, bạn sẽ nhận thấy một cái gì đó kỳ lạ trong ở đó: có một cuộc gọi tới System.Math.Atan2. Như trong một cuộc gọi hàm.

Nhưng có thực sự là một x86 opcode rằng sẽ làm điều đó: FPATAN

Tại sao JITer gọi một chức năng khi có một hướng dẫn lắp ráp thực tế để làm các hoạt động? Tôi nghĩ rằng System.Math về cơ bản là một wrapper cho hướng dẫn lắp ráp bản địa. Hầu hết các hoạt động trong đó có opcodes lắp ráp trực tiếp. Nhưng đó rõ ràng không phải là trường hợp?

Có ai có bất kỳ thông tin nào về lý do khiến JITer không/không thể thực hiện tối ưu hóa khá rõ ràng này không?

Answer 1

Bạn có thể theo dõi lý do từ this answer, nó cho biết cách các hàm toán học này được ánh xạ bởi jitter.

Điều này sẽ đưa bạn đến hàm clr/src/classlibnative/float/comfloat.cpp, ComDouble :: Atan2(). Điều này giải thích lý do:

// the intrinsic for Atan2 does not produce Nan for Atan2(+-inf,+-inf) 
    if (IS_DBL_INFINITY(x) && IS_DBL_INFINITY(y)) { 
     return(x/y);  // create a NaN 
    } 
    return (double) atan2(x, y); 

Vì vậy, giải pháp khắc phục hành vi FPU không tuân thủ CLI.