Welcome to MSDN Blogs Sign in | Join | Help

Rahul Soni's blog - Moved to www.dotnetscraps.com

Never assume the obvious is true!

News

  • Moved to http://www.dotnetscraps.com

    These postings are provided "AS IS" with no warranties, and confers no rights.
MSIL Trivia - 4 (Spot the difference)

I have created a very simple C# console application which gives me the following MSIL code when compiled... The next screenshot has almost the same code but with some special difference. Can you tell me what could have caused it and is it good or bad?

image

 

image

I will answer this in the comments (or next post as necessary) Happy.

Until then... Wave 

Cheers,
Rahul


Quote of the day:
I'm a great believer in luck, and I find the harder I work the more I have of it. - Thomas Jefferson
Posted: Wednesday, March 12, 2008 6:37 AM by rahulso
Filed under: ,

Comments

MSDN Blog Postings » MSIL Trivia - 4 (Spot the difference) said:

PingBack from http://msdnrss.thecoderblogs.com/2008/03/12/msil-trivia-4-spot-the-difference-2/

# March 12, 2008 1:59 AM

Anon. said:

You local variable (V_0) is of type Int16. One of those 16 bits is used for the sign, leaving 15 for a maximum value of 2^15 or 0x7FFF.

You then create a Int32 value, set to 0x7FFF, and then assign it to the above local. Next you output the value.

Up to this point, everything is OK.

Next, you increment V_0 by one. As already noted, signed 16-bit values have a maximum value of 32767, so it naturally overflows to -32768.

In your next version, you use checked addition and checked conversion (back to an Int16). This check detects the overflow and throws the appropriate exception.

Good or bad, it really depends on what you are trying to do. Some algorithms rely on rollovers. Human arithmetic typically do not expect such behavior.

# March 12, 2008 3:00 AM

Saurabh Singh said:

Perhaps, either you used C#(unless you used the Checked option, which is not the default in C#, by default it is unchecked) in the first and VB.Net in the second.

There is a check for overflow (add.ovf) only in VB.Net (as opposed to add in C# by default). Conv.ovf.i2 Converts an int16 on the stack to int32 and throws an exception on overflow.

So if your data overflowed in the second case you will get an exception, and in the 1st case you may see an unexpected result. This is what i feel.

# March 12, 2008 9:16 AM

rahulso said:

Great explanation Anon and Saurabh, you were pretty close too. That gives me very little scope to add to this comment :-)

But just to close the loop, I wanted to add that I didn't really modify the code in any way (I mean, I did't add checked{} manually into the code). Although, adding checked would do the same exact thing.

In fact, Anon was bang on target about what I had done. The only change which I did was while compiling I used the switch /checked and it generated the code appropriately for me.

Cheers,

Rahul

# March 13, 2008 12:36 PM
Leave a Comment

(required) 

(required) 

(optional)

(required) 

  
Enter Code Here: Required

Comment Notification

If you would like to receive an email when updates are made to this post, please register here

Subscribe to this post's comments using RSS

Page view tracker