Bruno Haible wrote:
I think we should change the documentation of 'assume' to say that when it invokes functions, these functions should be marked '__attribute__ ((__always_inline__))', otherwise performance will be worse than without the 'assume', not better.
I suggest something simpler and a little more general. The Emacs documentation for 'eassume' says this:
This can improve performance in some cases, though it can degrade performance in others. It's often suboptimal for COND to call external functions or access volatile storage. and we could migrate that into the documentation for 'assume'.