Mindless ABI adherence

[Joseph S. Myers]

On Fri, 19 Oct 2001, Linus Torvalds wrote:

> can know that", and similar optimizations to the standard calling
> convention ("this function does not change memory" etc). 

Jan Hubicka once did support for auto-detecting pure functions
<URL: http://gcc.gnu.org/ml/gcc-patches/2000-04/msg00872.html > - I don't
know what happened to it.  He also did a patch
<URL: http://gcc.gnu.org/ml/gcc-patches/1999-08n/msg00601.html >
<URL: http://gcc.gnu.org/ml/gcc-patches/2000-04/msg00749.html > to mark
various functions in GCC as pure - and I think it would be worthwhile to
reconsider this and see again what this now does to GCC's code size and
speed.

-- 
Joseph S. Myers
jsm28@cam.ac.uk