[Mono-bugs] [Bug 80489][Nor] New - computation involving shifts on longlong gives incorrect result

[bugzilla-daemon at 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 erven.rohou at st.com.

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

--- shadow/80489	2007-01-10 07:30:00.000000000 -0500
+++ shadow/80489.tmp.26974	2007-01-10 07:30:00.000000000 -0500
@@ -0,0 +1,42 @@
+Bug#: 80489
+Product: Mono: Runtime
+Version: 1.2
+OS: 
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Normal
+Component: JIT
+AssignedTo: lupus at ximian.com                            
+ReportedBy: erven.rohou at st.com               
+QAContact: mono-bugs at ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: computation involving shifts on longlong gives incorrect result
+
+Description of Problem:
+A simple computation with shifts on long long (actually implementating a
+rotate) gives an incorrect result.
+
+Steps to reproduce the problem:
+1. Put all attached files in the same directory.
+2. Running the attached binary (foo) should reproduce the problem. An exit
+code of 0 means correct output, 1 means incorrect.
+
+Actual Results: 1
+
+Expected Results: 0
+
+How often does this happen? 
+With this example, always. However, small changes to the source code (C or
+bytecode) often give the correct result.
+
+Additional Information:
+mono-1.1.18 and mono-1.2.2.1 give an incorrect output. ilrun gives the
+correct output. The bytecode is simple and short enough that it can be
+analyzed by hand.
+The source code is in C (foo.c). It was compiled with our GCC port to CLI.
+I attached also a .s file.
+Native compilation (GCC for x86) also gives the correct answer.