[Mono-bugs] [Bug 61641][Wis] Changed - [PATCH] Suboptimal register allocation with `if' statements

[bugzilla-daemon@bugzilla.ximian.com]

Please do not reply to this email- if you want to comment on the bug, go to the
URL shown below and enter your comments there.

Changed by bmaurer@users.sf.net.

http://bugzilla.ximian.com/show_bug.cgi?id=61641

--- shadow/61641	2005-03-21 05:06:08.000000000 -0500
+++ shadow/61641.tmp.23303	2005-03-21 13:18:52.000000000 -0500
@@ -688,6 +688,15 @@
         ret;
 L1:     
         use y many times;
         branch L2;
 If x and y get allocated to the same register you get corruption.        
 
+
+------- Additional Comments From bmaurer@users.sf.net  2005-03-21 13:18 -------
+Paolo,
+
+In your test case, x would be marked as being live in and live out of
+the third bb. Thus, x and y would have overlapping live ranges and not
+be allocated to the same register.
+
+A similar test case could probably be constructed with today's ordering.