http://bugzilla.novell.com/show_bug.cgi?id=505375

User [email protected] added comment
http://bugzilla.novell.com/show_bug.cgi?id=505375#c2





--- Comment #2 from Rodrigo Kumpera <[email protected]>  2009-05-20 12:41:38 
MDT ---
The bug is pretty simple. The cprop pass is posed with the following IR:

int_add_imm R12 <- R12 [1] clobbers: 1
int_sub_imm R42 <- R12 [1] clobbers: 1

It will wrongly const propagate the add into the sub generating the following:

int_add_imm R12 <- R12 [1] clobbers: 1
int_sub_imm R42 <- R12 [0] clobbers: 1

This optimization is incorrect because add changes the value of R12 so the
result is not equivalent.

The fix is done, just waiting regression tests to finish.

-- 
Configure bugmail: http://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
_______________________________________________
mono-bugs maillist  -  [email protected]
http://lists.ximian.com/mailman/listinfo/mono-bugs

Reply via email to