.NET JIT có phải là một hàm nhỏ gọi một hàm nhỏ khác không?

Question

Tôi muốn biết - .NET JITter đệ quy nội tuyến các chức năng nhỏ được gọi là từ các chức năng nhỏ khác?

Chỉ cần ví dụ:

public static float Square(float value) 
{ 
    return value * value; 
} 

public static float Cube(float value) 
{ 
    return Square(value) * value; 
} 

Nếu tôi gọi Cube từ đâu đó, nó sẽ inline tất cả các cách, hoặc tôi sẽ kết thúc với một cuộc gọi chức năng để Square?

Và, nếu có, làm cách nào nó sẽ tái chế để làm nội tuyến? (Giả sử tôi đủ điên khùng để thực hiện một hàm Quartic hoặc Quintic theo cách tương tự.)

Answer 1

Thật không may là bạn đã chọn một ví dụ xấu. Trình biên dịch JIT x86 không phải là các phương thức inline trả về float. Không chắc chắn 100% lý do tại sao, tôi nghĩ rằng nó để tránh những vấn đề nhất quán khi phao được chuyển đổi thành một giá trị dấu phẩy động 80 bit trong FPU. Độ chính xác nội bộ là 80 bit nhưng các bit phụ này bị cắt bớt khi giá trị 80 bit bị cắt ngắn trở lại giá trị 32 bit khi nó được xóa trở lại bộ nhớ. Việc giữ giá trị trong FPU quá lâu sẽ ngăn chặn việc cắt ngắn này xảy ra và thay đổi kết quả tính toán.

Nếu bạn thay thế phao bằng cách double và biên dịch mã này:

static void Main(string[] args) { 
    Console.WriteLine(Cube(2.0)); 
} 

Sau đó, mã máy tính này được tạo ra khi tôi ưu JIT được kích hoạt:

00000000 push  ebp        ; setup stack frame 
00000001 mov   ebp,esp 
00000003 call  6DA2BEF0      ; Console.get_Out() 
00000008 fld   qword ptr ds:[010914B0h]  ; ST0 = 8.0 
0000000e sub   esp,8       ; setup argument for WriteLine 
00000011 fstp  qword ptr [esp] 
00000014 mov   ecx,eax       ; call Console.Out.WriteLine 
00000016 mov   eax,dword ptr [ecx] 
00000018 call  dword ptr [eax+000000D0h] 
0000001e pop   ebp        ; done 
0000001f ret 

không chỉ nó nội tuyến chức năng, nó đã có thể đánh giá các biểu thức tại thời gian biên dịch. Và trực tiếp vượt qua kết quả bằng cách gọi Console.WriteLine (8.0). Khá tốt huh?

Sử dụng kép, không nổi.