Re: Re: Flat Short of MEMORY_BLOCK
Berend de Boer <[email protected]>
| Newsgroups | gmane.comp.lang.eiffel.gobo.general |
|---|---|
| Message-ID | <[email protected]> |
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 "Franck Arnaud" <[email protected]> writes: >> You guarantee that every C compiler on every platform does exactly >> what gcc -O2 does??? > > The main point was to disprove the original > statement. It just takes one counterexample to > disprove a "A is always B" statement. > > Now, less pedantically, I assume that gcc is a good > proxy to guess the behaviour of modern C compilers. If > someone provides evidence to the contrary, then fine, > we can see how much it helps and then discuss whether > this optimisation, if it is one, is worth it. I assume if SmartEiffel assumed that gcc was the backend and therefore left some optimizations to the C compiler, it would be far less optimal compiler. Just assuming the C compiler will take care of an issue, isn't a safe bet. That was the point you wanted to proof. Brian didn't want to trust the C compiler. - -- Live long and prosper, Berend de Boer (PGP public key: http://www.pobox.com/~berend/berend-public-key.txt) -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) Comment: Processed by Mailcrypt 3.5.8 <http://mailcrypt.sourceforge.net/> iD8DBQFAT1JFIyuuaiRyjTYRAo6EAJ4r4P7jyPu44U1WewP+LEvAbY31IwCgpBDr lY/aTjs2DJPZTl3sE7gC/xg= =dRoh -----END PGP SIGNATURE----- ------------------------ Yahoo! Groups Sponsor ---------------------~--> Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark Printer at MyInks.com. Free s/h on orders $50 or more to the US & Canada. http://www.c1tracking.com/l.asp?cid=5511 http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/saFolB/TM ---------------------------------------------------------------------~-> To Post a message, send it to: [email protected] To Unsubscribe, send a blank message to: [email protected] Yahoo! Groups Links <*> To visit your group on the web, go to: http://groups.yahoo.com/group/gobo-eiffel/ <*> To unsubscribe from this group, send an email to: [email protected] <*> Your use of Yahoo! Groups is subject to: http://docs.yahoo.com/info/terms/