C# Discussion Boards - CodeProject

Re: Strange IL code from simple C# expression

leppie23-Sep-05 3:01

leppie

23-Sep-05 3:01

IMO this is a compiler bug. From the IL you can see there is some funniness.

^{xacc-ide 0.0.15 now with C#, MSIL, C, XML, ASP.NET, Nemerle, MyXaml and HLSL coloring - Screenshots}

Re: Strange IL code from simple C# expression

Dave Kreskowiak23-Sep-05 5:55

Dave Kreskowiak

23-Sep-05 5:55

Andrew Kirillov wrote:
int i = 5;
i = i++;

Easy, 5. The value of i is incremented after the expression is evaluated.

In this example:

Andrew Kirillov wrote:
int i = 5;
i = ++i;

Here, i will be 6. The value of i is incremented before the expression is evaluated.

This is all defined functionality in the C# language specification. C and C++ do the same thing.
7.5.9 Postfix increment and decrement operators[^]

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Re: Strange IL code from simple C# expression

Andrew Kirillov23-Sep-05 6:26

Andrew Kirillov

23-Sep-05 6:26

Dave Kreskowiak wrote:
C and C++ do the same thing.

No ! I wrote it alredy. I've tested it with VS.NET 2003. C++ (managed and unmanaged) gives 6.

With best regards,
Andrew

Re: Strange IL code from simple C# expression

Wjousts23-Sep-05 6:45

Wjousts

23-Sep-05 6:45

Andrew Kirillov wrote:
No ! I wrote it alredy. I've tested it with VS.NET 2003. C++ (managed and unmanaged) gives 6.

Then I'd say the problem is with C++ not with C#.

Try this:

<br />
	int i = 5;<br />
	if (i++ == 5)<br />
	{<br />
		Console::WriteLine("Five");<br />
	}<br />
	else<br />
	{<br />
		Console::WriteLine("Six");<br />
	}<br />

In C# and C++ you should get "Five" as a result.

Re: Strange IL code from simple C# expression

Andrew Kirillov23-Sep-05 6:55

Andrew Kirillov

23-Sep-05 6:55

Wjousts wrote:
Try this:

....

In C# and C++ you should get "Five" as a result.

Yes, I know. It will be the same in both languages. I was interested in original code I wrote.

With best regards,
Andrew

Re: Strange IL code from simple C# expression

Wjousts23-Sep-05 8:56

Wjousts

23-Sep-05 8:56

Actually you are right, it should be 6 (in your original code) in both C++ and C#. Nasty trick question that. So it would appear to be a problem with the C# compiler.

Re: Strange IL code from simple C# expression

Dave Kreskowiak23-Sep-05 9:17

Dave Kreskowiak

23-Sep-05 9:17

After doing some digging, the evaluation rules are slightly different between the C++ language specifications and the C# specs. It's not a bug as far the specifications describes the process.

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Re: Strange IL code from simple C# expression

Wjousts23-Sep-05 9:30

Wjousts

23-Sep-05 9:30

No, I think it is a bug, evaulation rules or not. It's very easy to miss (and I did at first) but the prefix/postfix thing is irrelevant:

<br />
int i = 5;<br />
i = i++;<br />

versus

<br />
int i = 5;<br />
i = ++i;<br />

Should both end up with i = 6. i++ is the same as i = i + 1 (so is ++i) so really the both code snippets should become

<br />
int i = 5;<br />
i = i;<br />
i = i + 1;<br />

and

<br />
int i = 5;<br />
i = i + 1;<br />
i = i;<br />

It shouldn't matter if you do i = i first or i = i + 1 first the result should still be six.
As somebody else pointed out, it you do j = i++ then look at the value of j then the prefix/postfix part matters, but because you are putting the result back in to i it should be six either way.

Re: Strange IL code from simple C# expression

Dave Kreskowiak23-Sep-05 16:58

Dave Kreskowiak

23-Sep-05 16:58

According the doc's I read in the specifications, the result your seeing is the expected result of the expression.

C# in 2002, 2003, and 2005 do the exact same thing. The specifications between versions didn't change.

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Re: Strange IL code from simple C# expression

Wjousts24-Sep-05 3:33

Wjousts

24-Sep-05 3:33

The specifications concerning the behavor of postfix and prefix increment aren't relavent. The result should be 6 either way!
i = i++;
i gets assigned 5 and then i gets incremented. Therefore i = 6.

Re: Strange IL code from simple C# expression

Daniel Grunwald24-Sep-05 21:44

Daniel Grunwald

24-Sep-05 21:44

Wjousts wrote:
i gets assigned 5 and then i gets incremented. Therefore i = 6.

That's not the normal execution order.
The real execution order (in C#) is:
Read value of i
Increment i
Assign old value of i to i

Why should the "++" wait until after the assignment? It directly binds to "i":
AssignmentExpression: Left=i Op=Assign Right=[UnaryExpression: Op=PostIncrement Expr=i]

It behaves differently in C++ because C++ has very strange rules for execution order.

Re: Strange IL code from simple C# expression

Dave Kreskowiak25-Sep-05 1:37

Dave Kreskowiak

25-Sep-05 1:37

Wjousts wrote:
The specifications concerning the behavor of postfix and prefix increment aren't relavent.

WHAT?! Confused | :confused:

Then why have a language specification at all? They detail the inner workings of the instruction set and execution order.

According to the C/C++ language specifications, the value should be 6. Stop applying C/C++ specifications to C#.

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Re: Strange IL code from simple C# expression

Wjousts25-Sep-05 3:29

Wjousts

25-Sep-05 3:29

Dave Kreskowiak wrote:
WHAT?! Then why have a language specification at all? They detail the inner workings of the instruction set and execution order.

Not relevant to this problem.
You are still not getting this. i++ is logically equavalent to i=i+1 correct? If i do i=i+1 I should get the same value in i as I would if I just did i++, correct? So then:

<br />
int i = 5;<br />
i = i++;<br />

should give the same result as:

<br />
int i = 5;<br />
i = i;<br />
i = i + 1;<br />

Correct? Therefore i should equal 6. Show me where the flaw is? Both the assignment and the increment have to happen before the code has finished executing therefore it really doesn't matter which one happens first.
Compare these:

<br />
int i = 5;<br />
i++;<br />
Console.Writeline(i.ToString());<br />

<br />
int i = 5;<br />
++i;<br />
Console.Writeline(i.ToString());<br />

What's the output in both cases? Would you agree that the postfix or prefix notation doesn't change the output in this case?

Re: Strange IL code from simple C# expression

Dave Kreskowiak26-Sep-05 1:20

Dave Kreskowiak

26-Sep-05 1:20

Wjousts wrote:
i++ is logically equavalent to i=i+1 correct?

No, it's not! i++; is equivilent to i=i+1. Your flaw is not understand the execution order of the operators and assignments you're using. This works like you want it to:

int i = 5;
i++;
Console.WriteLine(i.ToString());

You're not understanding the procedures, order, and times in which each operation takes place. It's already been explained to you in the C# Language Specifications.

Wjousts wrote:
Would you agree that the postfix or prefix notation doesn't change the output in this case?

It's not the operators that are changing the output. It's, again, the execution order and times of the operators in question. What do you think the output of these are?:

int i = 5;
Console.WriteLine((i++).ToString());
 
int i = 5;
Console.WriteLine((++i).ToString());

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Re: Strange IL code from simple C# expression

Wjousts26-Sep-05 6:10

Wjousts

26-Sep-05 6:10

Dave Kreskowiak wrote:
Wjousts wrote:
i++ is logically equavalent to i=i+1 correct?

No, it's not! i++; is equivilent to i=i+1.

So no, you agree???
You're still missing the point. First, this wasn't my question. i = i++ is redudant and a silly thing to try and do in the first place! The point is that in that statement that the original poster posted the incremement part, the i++ is NEVER EXECUTED. Where in the C# specification does it say that the compiler will randomly ignore increment statements whenever it feel like it? Please so me the exact section that says that.
It's not an issue of execution order because ALL THE STATEMENTS ARE SUPPOSED TO BE EXECUTED!

Re: Strange IL code from simple C# expression

Dave Kreskowiak26-Sep-05 13:57

Dave Kreskowiak

26-Sep-05 13:57

Wjousts wrote:
No, it's not! i++; is equivilent to i=i+1.

So no, you agree???

Whoops! My typeo. i++ is equivelent to i=i+1. But, that not what i=i++; is saying.

Wjousts wrote:
It's not an issue of execution order because ALL THE STATEMENTS ARE SUPPOSED TO BE EXECUTED!

Yeah, all the statements are supposed to be executed, DUH! The problem is in which order the various PIECES of those statements are executed!

Want proof of the execution order of the expression? One more time...

int i = 5;
Console.WriteLine((i++).ToString());         ' Result:  5
 
int i = 5;
Console.WriteLine((++i).ToString());         ' Result:  6

I understand perfectly what the code is doing and I know exactly why it's coming up with the results it is. It's your argument that I don't get.

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Re: Strange IL code from simple C# expression

Wjousts26-Sep-05 23:21

Wjousts

26-Sep-05 23:21

Dave Kreskowiak wrote:
Whoops! My typeo. i++ is equivelent to i=i+1. But, that not what i=i++; is saying.

Huh Confused | :confused:

One more time:

<br />
int i = 5;<br />
Console.WriteLine((i++).ToString());         ' Result:  5<br />
Console.WriteLine(i).ToString();             // Result: 6<br />
<br />
int i = 5;<br />
Console.WriteLine((++i).ToString());         ' Result:  6<br />
Console.WriteLine(i).ToString();             // Result: 6<br />

You need to look at the value of i AFTER both commands have been executed, that is what you are still not seeing.

In fact, have you even looked at the IL generated by the original code?

<br />
  .locals init ([0] int32 i)<br />
  IL_0000:  ldc.i4.5					// load 5 onto stack as 32 bit int<br />
  IL_0001:  stloc.0						// assignment of i<br />
<br />
  IL_0002:  ldloc.0						// load local varible onto stack (5 is top of stack)<br />
  IL_0003:  dup								// Duplicate top value on stack (stack - 5,5)<br />
  IL_0004:  ldc.i4.1					// Load 1 onto stack (stack - 5,5,1)<br />
  IL_0005:  add								// Add top to values on stack - result 6 (stack - 5,6)<br />
  IL_0006:  stloc.0						// load 6 into i (stack - 5, i = 6)<br />
  IL_0007:  stloc.0						// load 5 into i (i = 5)<br />

This is the "strange" code the original poster referred to and you can see that it is indeed confused. My best intepretation of what it is trying to do is that it actually does the increment FIRST and then it does the assignment, but with the old value of i instead of the new value. That is why this is a bug. This isn't what it supposed to happen according to the language specification. Compare it to the IL from C++:

<br />
  .locals init ([0] int32 i)<br />
  IL_0000:  ldc.i4.5<br />
  IL_0001:  stloc.0						// Assign i	<br />
  <br />
  IL_0002:  ldloc.0						// push i onto stack (stack 5)<br />
  IL_0003:  stloc.0						// pop from stack and store in i (stack empty)		i = i<br />
  <br />
  IL_0004:  ldloc.0						// push i onto stack (stack 5)										<br />
  IL_0005:  ldc.i4.1					// push 1 onto stack (stack 5,1)<br />
  IL_0006:  add								// add (stack 6)											<br />
  IL_0007:  stloc.0						// pop from stack and store in i (stack empty) 		i++<br />

The C# compiler should generate the basically the same IL as C++ as doesn't.

-- modified at 5:21 Tuesday 27th September, 2005

Re: Strange IL code from simple C# expression

Dave Kreskowiak27-Sep-05 14:25

Dave Kreskowiak

27-Sep-05 14:25

Wjousts wrote:
You need to look at the value of i AFTER both commands have been executed, that is what you are still not seeing.

I'm looking at the value of i before the expression is evaluated, DURING THE EXPRESSION EVALUATION, AND after! And, I',m paying attention to the language specification that describes how each language evaluates and executes it's statements and expressions.

You're not. You just see the exact same syntax in two different languages and assume that they MUST work exactly the same and generate the exact same code and results. NOTHING could be further from the truth! Stop equating C# to C++! They are NOT the same!

Wjousts wrote:
In fact, have you even looked at the IL generated by the original code?

Yes, I have. And the code generated follow the C# language specification exactly. No surprise here. It does NOT, on the other hand, match the C++ language specification. No surprise here either...

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Re: Strange IL code from simple C# expression

Wjousts28-Sep-05 15:35

Wjousts

28-Sep-05 15:35

Dave Kreskowiak wrote:
I'm looking at the value of i before the expression is evaluated, DURING THE EXPRESSION EVALUATION, AND after!

No your not. Look at the original question. The question asked what is the value of i AFTER the code (all of it) has been executed.

Dave Kreskowiak wrote:
I',m paying attention to the language specification

Where in the specification does it say that i++ does nothing?

Re: Strange IL code from simple C# expression

Dave Kreskowiak29-Sep-05 0:29

Dave Kreskowiak

29-Sep-05 0:29

Wjousts wrote:
No your not. Look at the original question. The question asked what is the value of i AFTER the code (all of it) has been executed.

In order to explain WHY the result of the expression is what it is, you have to look at how the expression is evaluated. This is covered in the language specs and by looking at the IL.

Wjousts wrote:
Where in the specification does it say that i++ does nothing?

I never said it "did nothing". Where on earth did you get this?

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Re: Strange IL code from simple C# expression

Dave Kreskowiak23-Sep-05 7:46

Dave Kreskowiak

23-Sep-05 7:46

So it does... It looks like your right. So what's the point of all this?

RageInTheMachine9532
"...a pungent, ghastly, stinky piece of cheese!" -- The Roaming Gnome

Machine Names on Network

Greeky22-Sep-05 23:11

Greeky

22-Sep-05 23:11

how could i get machine names on network and show?

Re: Machine Names on Network

enjoycrack23-Sep-05 1:22

enjoycrack

23-Sep-05 1:22

hi there,

take a look on this article:
http://www.codeproject.com/csharp/CompPickerLib.asp

this might give u an idea.

Hope this helps

<< >>

Web Link in RichTextBox

Greeky22-Sep-05 22:31

Greeky

22-Sep-05 22:31

in a rich Textbox i wanna show some words as link (for example when u write www.codeproject.com , u see a web link ) but I wanna do the same for some words. After that I have to catch , this link whether is clicked or not.
How can I do ?

Re: Web Link in RichTextBox

enjoycrack23-Sep-05 1:25

enjoycrack

23-Sep-05 1:25

hi there,

this article might give u an idea on this
http://www.codeproject.com/cs/miscctrl/RichTextBoxLinks.asp

Hope this helps

<< >>

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.