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

bugzilla-daemon@bugzilla.ximian.com bugzilla-daemon@bugzilla.ximian.com
Mon, 21 Mar 2005 13:18:52 -0500 (EST)

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.


--- 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 @@
         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 -------
+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.