In article <2024Apr13.192715@mips.complang.tuwien.ac.at>,   
   Anton Ertl  wrote:   
   >minforth@gmx.net (minforth) writes:   
   >>mhx wrote:   
   >>   
   >>> The local version loses track of constants.   
   >>   
   >>Interesting aspect. Within the test words all 3dup variants had been   
   >>inlined, I assume.   
   >>However inlining semanthically identic words with locals is   
   >>"not commutative", to grossly abuse the algebraic expression. Hmm...   
   >   
   >I think mathematicians have a word for what you mean, but it's not   
   >"commutative".   
   >   
   >Anyway, it's not specific to locals.  Everything that loses   
   >information will affect everything that comes afterwards.  E.g., in   
   >Gforth we have a literal stack that only represents literals on the   
   >data stack.  So anything that moves values from the data stack (e.g.,   
   >to the return stack) will lose the information about the constant.   
      
   To cite Andrew Tannenbaum:   
   "global optimisation and symbolic debugging are each others   
   arch enemies"   
      
   >- anton   
   --   
   Don't praise the day before the evening. One swallow doesn't make spring.   
   You must not say "hey" before you have crossed the bridge. Don't sell the   
   hide of the bear until you shot it. Better one bird in the hand than ten in   
   the air. First gain is a cat purring.            - the Wise from Antrim -   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)