Re: [repost]Eorros for me, in the assembly history



\\\o///annabee wrote:
På Wed, 4 Jan 2006 22:40:53 +0000 (UTC), skrev Alex McDonald <alex_mcd@xxxxxxxxxxxxxxx>:

\\\o///annabee wrote:

På Wed, 4 Jan 2006 21:50:13 +0000 (UTC), skrev Alex McDonald <alex_mcd@xxxxxxxxxxxxxxx>:

\\\o///annabee wrote:

På 4 Jan 2006 08:46:33 -0800, skrev randyhyde@xxxxxxxxxxxxx <randyhyde@xxxxxxxxxxxxx>:

Not that many people actually *prove* that their software is correct,
mind you :-)




No. Thats impossible, but provides a nice playground for you to play the "dancing master".



Google for "provably correct software" and prove it to yourself that you're a garrulous dimwit.



Why dont you post a link to the actual fact?


What, that you're an idiot? Just look in your outbox.


Theres so many insane answers to those words it would take me a week to debug it.



Don't bother then, and stay in the dark. Just stop posting nonsense.


Sure.

Here is what I found on page 7 and 8:

Of what?

(And the previuos pages was just a lot of talentless mumbojumbo with NULL content)

To which you propose adding your own variety of talentless mumbo-jumbo.


Bytecode :


[snipped]


The bytecode program is the translation of the following C fragment: S = 0; while(n > 0) S += n--;


Now, lets take a look at the "bytecode" in asm

Oh dear...


naive HLL approach :

mov D$S 0
While D$n > 0
    dec n$
    mov eax D$n
    add D$S eax
End_While

Completely wrong. n-- is post-decrement.


How simple it would be written in reality.

Virtual reality, through a cloud of mind bending drugs...


xor eax eax while ecx > 0 dec ecx add eax ecx End_While

Wrong again. Same reason.



When people can mess it up to such insane levels, I take it as a complement to be called nitwit by somebody of you statue.

:))) No offense, nuclearplant !


Blimey, what are you on? I don't want any, whatever it is. It's permanently blown your frontal lobes. This reply of yours has exactly 0% to do with proving software correct, and 100% to do with you being gormless. Give up before you fuse what's left of your brain.


--
Regards
Alex McDonald
.



Relevant Pages