Roslyn biên dịch tối ưu hóa đi nhân chức năng cuộc gọi với zero

Question

Hôm qua tôi thấy hành vi kỳ lạ này trong mã của tôi # C:

Stack<long> s = new Stack<long>(); 

s.Push(1);   // stack contains [1] 
s.Push(2);   // stack contains [1|2] 
s.Push(3);   // stack contains [1|2|3] 

s.Push(s.Pop() * 0); // stack should contain [1|2|0] 

Console.WriteLine(string.Join("|", s.Reverse())); 

tôi cho rằng chương trình sẽ in 1|2|0 nhưng trên thực tế nó in 1|2|3|0.

Nhìn vào mã IL được tạo ra (thông qua ILSpy), bạn có thể thấy rằng s.Pop() * 0 được tối ưu hóa để đơn giản 0:

// ... 
IL_0022: ldloc.0 
IL_0023: ldc.i4.0 
IL_0024: conv.i8 
IL_0025: callvirt instance void class [System]System.Collections.Generic.Stack`1<int64>::Push(!0) 
// ... 

ILSpy decompilation:

Stack<long> s = new Stack<long>(); 
s.Push(1L); 
s.Push(2L); 
s.Push(3L); 
s.Push(0L); // <- the offending line 
Console.WriteLine(string.Join<long>("|", s.Reverse<long>())); 

Trước tiên tôi thử nghiệm này ban đầu dưới Windows 7 với Visual Studio 2015 Update 3 với cả chế độ Release (/optimize) và chế độ Debug và với các khung mục tiêu khác nhau (4.0, 4.5, 4.6 và 4.6.1). Trong tất cả 8 trường hợp, kết quả là giống nhau (1|2|3|0).

Sau đó, tôi đã thử nghiệm nó trong Windows 7 với Visual Studio 2013 Update 5 (một lần nữa với tất cả các kết hợp của chế độ Release/Debug và khung đích). Thật ngạc nhiên khi tuyên bố ở đây là không phải là được tối ưu hóa và mang lại kết quả mong đợi 1|2|0.

Vì vậy, tôi có thể kết luận rằng hành vi này không phụ thuộc vào /optimize cũng như cờ khung mục tiêu mà đúng hơn là trên phiên bản trình biên dịch đã sử dụng.

Không quan tâm Tôi đã viết một mã tương tự trong C++ và biên dịch nó bằng phiên bản gcc hiện tại. Ở đây một cuộc gọi hàm nhân với số không được tối ưu hóa đi và chức năng được thực hiện đúng.

Tôi nghĩ một tối ưu hóa như vậy sẽ chỉ hợp lệ nếu stack.Pop() là một hàm thuần túy (chắc chắn là không). Nhưng tôi do dự khi gọi đây là lỗi, tôi cho rằng đó chỉ là một tính năng mà tôi không biết?

Đây có phải là "tính năng" ở bất kỳ đâu được ghi lại và có cách nào (dễ) để vô hiệu hóa tối ưu hóa này không?

Answer 1

Vâng, đó chắc chắn là lỗi. < expr> * 0, không được tối ưu hóa thành 0 nếu < expr> có tác dụng phụ.

Cảm ơn bạn đã báo cáo sự cố !!

Bạn có thể theo dõi sự tiến bộ của lỗi/sửa chữa tại https://github.com/dotnet/roslyn/issues/13486