[Mono-bugs] [Bug 42882][Nor] New - mini miscompiles code with backward branches into basic blocks

bugzilla-daemon@rocky.ximian.com bugzilla-daemon@rocky.ximian.com
Tue, 13 May 2003 07:57:20 -0400 (EDT)


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 vargaz@freemail.hu.

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

--- shadow/42882	Tue May 13 07:57:19 2003
+++ shadow/42882.tmp.24453	Tue May 13 07:57:20 2003
@@ -0,0 +1,28 @@
+Bug#: 42882
+Product: Mono/Runtime
+Version: unspecified
+OS: Debian Woody
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Normal
+Component: misc
+AssignedTo: mono-bugs@ximian.com                            
+ReportedBy: vargaz@freemail.hu               
+QAContact: mono-bugs@ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: mini miscompiles code with backward branches into basic blocks
+
+The attached testcase causes a segmentation fault when run with mini. It
+runs fine with MS.NET. The problem seem to be that split_bblock () splits
+a basic block in the wrong place, i.e. the outarg instruction is in the
+first basic block, while the call is in the other:
+
+LABEL BLOCK 4:
+ (stind.ref regoffset[0xffffffd8(%ebp)] iconst[136040416])
+ (outarg iconst[135661812])
+LABEL BLOCK 7:
+ (stind.ref regoffset[0xffffffd4(%ebp)] call)